Trace number 4484534

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
pb-oll-rs-2024 2025-05-06SAT (TO)100 3600.03 3609.32

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
MD5SUMb5103574c4a35f60a2227b90ce19b385
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.748043
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4447
Total number of constraints4926
Number of constraints which are clauses4205
Number of constraints which are cardinality constraints (but not clauses)721
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint27
Number of terms in the objective function 4447
Biggest coefficient in the objective function 2128
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 12580
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2128
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 12580
Number of bits of the biggest sum of numbers14
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] solving
0.00/0.03	c #variables 4447 #constraints 4926
0.00/0.03	c SMALL=int, LARGE=long long
0.00/0.03	c bounds - >= -2128 @ 0.012033
0.00/0.03	c stratification level: 3
0.00/0.09	c bounds - >= -2062 @ 0.018626
0.00/0.09	c bounds - >= -2059 @ 0.018953
0.00/0.09	c bounds - >= -2055 @ 0.019508
0.00/0.09	c bounds - >= -2052 @ 0.020484
0.00/0.09	c bounds - >= -2049 @ 0.020937
0.00/0.09	c bounds - >= -2046 @ 0.020985
0.00/0.09	c bounds - >= -2043 @ 0.02103
0.00/0.09	c bounds - >= -2039 @ 0.021922
0.00/0.09	c bounds - >= -2033 @ 0.023035
0.00/0.09	c bounds - >= -2027 @ 0.024239
0.00/0.09	c bounds - >= -2021 @ 0.025425
0.00/0.09	c bounds - >= -2018 @ 0.025929
0.00/0.09	c bounds - >= -2015 @ 0.025968
0.00/0.09	c bounds - >= -2009 @ 0.02698
0.00/0.09	c bounds - >= -2006 @ 0.027738
0.00/0.09	c bounds - >= -2000 @ 0.029149
0.00/0.09	c bounds - >= -1997 @ 0.029943
0.00/0.09	c bounds - >= -1994 @ 0.030276
0.00/0.09	c bounds - >= -1991 @ 0.030984
0.00/0.09	c bounds - >= -1982 @ 0.031527
0.00/0.09	c bounds - >= -1979 @ 0.032322
0.00/0.09	c bounds - >= -1976 @ 0.033026
0.00/0.09	c bounds - >= -1973 @ 0.034032
0.00/0.09	c bounds - >= -1970 @ 0.034357
0.00/0.09	c bounds - >= -1967 @ 0.035906
0.00/0.09	c bounds - >= -1964 @ 0.037022
0.00/0.09	c bounds - >= -1961 @ 0.038317
0.00/0.09	c bounds - >= -1952 @ 0.039312
0.00/0.09	c bounds - >= -1949 @ 0.040012
0.00/0.09	c bounds - >= -1946 @ 0.041777
0.00/0.09	c bounds - >= -1943 @ 0.042981
0.00/0.09	c bounds - >= -1940 @ 0.043024
0.00/0.09	c finalizing WCE round: reformulating cores
224.02/224.71	c #Conflicts:       1000 | #Constraints:       5996
224.02/224.71	c #Conflicts:       2000 | #Constraints:       6998
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:       3000 | #Constraints:       6997
224.02/224.71	c #Conflicts:       4000 | #Constraints:       7999
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:       5000 | #Constraints:       7402
224.02/224.71	c #Conflicts:       6000 | #Constraints:       8404
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:       7000 | #Constraints:       7408
224.02/224.71	c #Conflicts:       8000 | #Constraints:       8410
224.02/224.71	c #Conflicts:       9000 | #Constraints:       9414
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      10000 | #Constraints:       8132
224.02/224.71	c #Conflicts:      11000 | #Constraints:       9134
224.02/224.71	c #Conflicts:      12000 | #Constraints:      10136
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      13000 | #Constraints:       8579
224.02/224.71	c #Conflicts:      14000 | #Constraints:       9581
224.02/224.71	c #Conflicts:      15000 | #Constraints:      10583
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      16000 | #Constraints:       8813
224.02/224.71	c #Conflicts:      17000 | #Constraints:       9815
224.02/224.71	c #Conflicts:      18000 | #Constraints:      10817
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      19000 | #Constraints:       8837
224.02/224.71	c #Conflicts:      20000 | #Constraints:       9839
224.02/224.71	c #Conflicts:      21000 | #Constraints:      10841
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      22000 | #Constraints:       8646
224.02/224.71	c #Conflicts:      23000 | #Constraints:       9648
224.02/224.71	c #Conflicts:      24000 | #Constraints:      10652
224.02/224.71	c bounds 150 >= -1940 @ 62.315
224.02/224.71	c #Conflicts:      25000 | #Constraints:      11652
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      26000 | #Constraints:       9254
224.02/224.71	c #Conflicts:      27000 | #Constraints:      10254
224.02/224.71	c #Conflicts:      28000 | #Constraints:      11254
224.02/224.71	c #Conflicts:      29000 | #Constraints:      12254
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      30000 | #Constraints:       9648
224.02/224.71	c #Conflicts:      31000 | #Constraints:      10648
224.02/224.71	c #Conflicts:      32000 | #Constraints:      11648
224.02/224.71	c #Conflicts:      33000 | #Constraints:      12648
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      34000 | #Constraints:       9845
224.02/224.71	c #Conflicts:      35000 | #Constraints:      10845
224.02/224.71	c #Conflicts:      36000 | #Constraints:      11845
224.02/224.71	c #Conflicts:      37000 | #Constraints:      12845
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      38000 | #Constraints:       9851
224.02/224.71	c #Conflicts:      39000 | #Constraints:      10851
224.02/224.71	c #Conflicts:      40000 | #Constraints:      11851
224.02/224.71	c #Conflicts:      41000 | #Constraints:      12851
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      42000 | #Constraints:       9660
224.02/224.71	c #Conflicts:      43000 | #Constraints:      10660
224.02/224.71	c #Conflicts:      44000 | #Constraints:      11660
224.02/224.71	c #Conflicts:      45000 | #Constraints:      12660
224.02/224.71	c #Conflicts:      46000 | #Constraints:      13660
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      47000 | #Constraints:      10255
224.02/224.71	c #Conflicts:      48000 | #Constraints:      11255
224.02/224.71	c #Conflicts:      49000 | #Constraints:      12255
224.02/224.71	c #Conflicts:      50000 | #Constraints:      13255
224.02/224.71	c #Conflicts:      51000 | #Constraints:      14255
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      52000 | #Constraints:      10669
224.02/224.71	c #Conflicts:      53000 | #Constraints:      11669
224.02/224.71	c #Conflicts:      54000 | #Constraints:      12669
224.02/224.71	c #Conflicts:      55000 | #Constraints:      13669
224.02/224.71	c #Conflicts:      56000 | #Constraints:      14669
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      57000 | #Constraints:      10874
224.02/224.71	c #Conflicts:      58000 | #Constraints:      11874
224.02/224.71	c #Conflicts:      59000 | #Constraints:      12874
224.02/224.71	c #Conflicts:      60000 | #Constraints:      13874
224.02/224.71	c #Conflicts:      61000 | #Constraints:      14874
224.02/224.71	c INPROCESSING
224.02/224.71	c GARBAGE COLLECT
224.02/224.71	c #Conflicts:      62000 | #Constraints:      10868
224.02/224.71	c #Conflicts:      63000 | #Constraints:      11868
224.02/224.71	c #Conflicts:      64000 | #Constraints:      12868
224.02/224.71	c #Conflicts:      65000 | #Constraints:      13868
224.02/224.71	c bounds 149 >= -1940 @ 222.383
224.02/224.71	c stratification level: 2
227.12/227.88	c bounds 149 >= -1903 @ 222.48
227.12/227.88	c bounds 149 >= -1901 @ 222.5
227.12/227.88	c bounds 149 >= -1897 @ 222.511
227.12/227.88	c bounds 149 >= -1895 @ 222.534
227.12/227.88	c bounds 149 >= -1893 @ 222.555
227.12/227.88	c bounds 149 >= -1889 @ 222.577
227.12/227.88	c bounds 149 >= -1883 @ 222.598
227.12/227.88	c bounds 149 >= -1881 @ 222.616
227.12/227.88	c bounds 149 >= -1879 @ 222.636
227.12/227.88	c bounds 149 >= -1877 @ 222.656
227.12/227.88	c bounds 149 >= -1875 @ 222.677
227.12/227.88	c bounds 149 >= -1873 @ 222.698
227.12/227.88	c bounds 149 >= -1869 @ 222.72
227.12/227.88	c bounds 149 >= -1865 @ 222.743
227.12/227.88	c bounds 149 >= -1863 @ 222.757
227.12/227.88	c bounds 149 >= -1859 @ 222.773
227.12/227.88	c bounds 149 >= -1857 @ 222.79
227.12/227.88	c bounds 149 >= -1853 @ 222.806
227.12/227.88	c bounds 149 >= -1851 @ 222.821
227.12/227.88	c bounds 149 >= -1849 @ 222.837
227.12/227.88	c bounds 149 >= -1847 @ 222.854
227.12/227.88	c bounds 149 >= -1841 @ 222.869
227.12/227.88	c bounds 149 >= -1839 @ 222.884
227.12/227.88	c bounds 149 >= -1835 @ 222.903
227.12/227.88	c bounds 149 >= -1833 @ 222.919
227.12/227.88	c bounds 149 >= -1829 @ 222.94
227.12/227.88	c bounds 149 >= -1827 @ 222.954
227.12/227.88	c bounds 149 >= -1823 @ 222.972
227.12/227.88	c bounds 149 >= -1821 @ 222.994
227.12/227.88	c bounds 149 >= -1819 @ 223.009
227.12/227.88	c bounds 149 >= -1815 @ 223.026
227.12/227.88	c bounds 149 >= -1813 @ 223.041
227.12/227.88	c bounds 149 >= -1807 @ 223.06
227.12/227.88	c bounds 149 >= -1805 @ 223.077
227.12/227.88	c bounds 149 >= -1803 @ 223.089
227.12/227.88	c bounds 149 >= -1799 @ 223.106
227.12/227.88	c bounds 149 >= -1795 @ 223.126
227.12/227.88	c bounds 149 >= -1793 @ 223.147
227.12/227.88	c bounds 149 >= -1789 @ 223.165
227.12/227.88	c bounds 149 >= -1787 @ 223.183
227.12/227.88	c bounds 149 >= -1785 @ 223.202
227.12/227.88	c bounds 149 >= -1781 @ 223.221
227.12/227.88	c bounds 149 >= -1779 @ 223.24
227.12/227.88	c bounds 149 >= -1777 @ 223.259
227.12/227.88	c bounds 149 >= -1773 @ 223.28
227.12/227.88	c bounds 149 >= -1769 @ 223.303
227.12/227.88	c bounds 149 >= -1767 @ 223.324
227.12/227.88	c bounds 149 >= -1765 @ 223.346
227.12/227.88	c bounds 149 >= -1763 @ 223.363
227.12/227.88	c bounds 149 >= -1759 @ 223.381
227.12/227.88	c bounds 149 >= -1757 @ 223.399
227.12/227.88	c bounds 149 >= -1753 @ 223.419
227.12/227.88	c bounds 149 >= -1751 @ 223.439
227.12/227.88	c bounds 149 >= -1749 @ 223.46
227.12/227.88	c bounds 149 >= -1747 @ 223.478
227.12/227.88	c bounds 149 >= -1743 @ 223.502
227.12/227.88	c bounds 149 >= -1741 @ 223.523
227.12/227.88	c bounds 149 >= -1739 @ 223.546
227.12/227.88	c bounds 149 >= -1735 @ 223.572
227.12/227.88	c bounds 149 >= -1733 @ 223.599
227.12/227.88	c bounds 149 >= -1731 @ 223.625
227.12/227.88	c bounds 149 >= -1729 @ 223.65
227.12/227.88	c bounds 149 >= -1727 @ 223.683
227.12/227.88	c bounds 149 >= -1723 @ 223.712
227.12/227.88	c bounds 149 >= -1721 @ 223.739
227.12/227.88	c bounds 149 >= -1717 @ 223.764
227.12/227.88	c bounds 149 >= -1713 @ 223.789
227.12/227.88	c bounds 149 >= -1709 @ 223.815
227.12/227.88	c bounds 149 >= -1707 @ 223.835
227.12/227.88	c bounds 149 >= -1705 @ 223.858
227.12/227.88	c bounds 149 >= -1701 @ 223.881
227.12/227.88	c bounds 149 >= -1699 @ 223.901
227.12/227.88	c bounds 149 >= -1697 @ 223.923
227.12/227.88	c bounds 149 >= -1695 @ 223.943
227.12/227.88	c bounds 149 >= -1693 @ 223.964
227.12/227.88	c bounds 149 >= -1691 @ 223.988
227.12/227.88	c bounds 149 >= -1689 @ 224.014
227.12/227.88	c bounds 149 >= -1685 @ 224.041
227.12/227.88	c bounds 149 >= -1683 @ 224.065
227.12/227.88	c bounds 149 >= -1681 @ 224.088
227.12/227.88	c bounds 149 >= -1677 @ 224.116
227.12/227.88	c bounds 149 >= -1675 @ 224.139
227.12/227.88	c bounds 149 >= -1671 @ 224.167
227.12/227.88	c bounds 149 >= -1669 @ 224.191
227.12/227.88	c bounds 149 >= -1667 @ 224.215
227.12/227.88	c bounds 149 >= -1665 @ 224.238
227.12/227.88	c bounds 149 >= -1663 @ 224.263
227.12/227.88	c bounds 149 >= -1661 @ 224.287
227.12/227.88	c bounds 149 >= -1659 @ 224.315
227.12/227.88	c bounds 149 >= -1657 @ 224.34
227.12/227.88	c bounds 149 >= -1655 @ 224.373
227.12/227.88	c bounds 149 >= -1653 @ 224.401
227.12/227.88	c bounds 149 >= -1651 @ 224.426
227.12/227.88	c bounds 149 >= -1649 @ 224.455
227.12/227.88	c bounds 149 >= -1647 @ 224.485
227.12/227.88	c bounds 149 >= -1645 @ 224.514
227.12/227.88	c bounds 149 >= -1643 @ 224.541
227.12/227.88	c bounds 149 >= -1641 @ 224.567
227.12/227.88	c bounds 149 >= -1639 @ 224.593
227.12/227.88	c bounds 149 >= -1637 @ 224.621
227.12/227.88	c bounds 149 >= -1635 @ 224.643
227.12/227.88	c bounds 149 >= -1633 @ 224.666
227.12/227.88	c bounds 149 >= -1631 @ 224.685
227.12/227.88	c bounds 149 >= -1629 @ 224.708
227.12/227.88	c bounds 149 >= -1625 @ 224.729
227.12/227.88	c bounds 149 >= -1623 @ 224.753
227.12/227.88	c bounds 149 >= -1621 @ 224.783
227.12/227.88	c bounds 149 >= -1619 @ 224.806
227.12/227.88	c bounds 149 >= -1615 @ 224.826
227.12/227.88	c bounds 149 >= -1613 @ 224.85
227.12/227.88	c bounds 149 >= -1611 @ 224.875
227.12/227.88	c bounds 149 >= -1609 @ 224.896
227.12/227.88	c bounds 149 >= -1605 @ 224.923
227.12/227.88	c bounds 149 >= -1603 @ 224.951
227.12/227.88	c bounds 149 >= -1601 @ 224.974
227.12/227.88	c bounds 149 >= -1599 @ 225.007
227.12/227.88	c bounds 149 >= -1597 @ 225.035
227.12/227.88	c bounds 149 >= -1595 @ 225.067
227.12/227.88	c bounds 149 >= -1591 @ 225.092
227.12/227.88	c bounds 149 >= -1589 @ 225.126
227.12/227.88	c bounds 149 >= -1587 @ 225.15
227.12/227.88	c bounds 149 >= -1583 @ 225.179
227.12/227.88	c bounds 149 >= -1581 @ 225.213
227.12/227.88	c bounds 149 >= -1579 @ 225.242
227.12/227.88	c bounds 149 >= -1577 @ 225.277
227.12/227.88	c bounds 149 >= -1575 @ 225.308
227.12/227.88	c bounds 149 >= -1573 @ 225.341
227.12/227.88	c bounds 149 >= -1571 @ 225.373
227.12/227.88	c bounds 149 >= -1569 @ 225.405
270.10/270.97	c bounds 149 >= -1567 @ 225.44
270.10/270.97	c bounds 149 >= -1565 @ 225.474
270.10/270.97	c bounds 149 >= -1563 @ 225.506
270.10/270.97	c bounds 149 >= -1561 @ 225.547
270.10/270.97	c bounds 149 >= -1557 @ 225.593
270.10/270.97	c bounds 149 >= -1555 @ 225.632
270.10/270.97	c bounds 149 >= -1553 @ 225.672
270.10/270.97	c bounds 149 >= -1551 @ 225.716
270.10/270.97	c bounds 149 >= -1549 @ 225.757
270.10/270.97	c bounds 149 >= -1547 @ 225.803
270.10/270.97	c bounds 149 >= -1545 @ 225.851
270.10/270.97	c bounds 149 >= -1543 @ 225.905
270.10/270.97	c bounds 149 >= -1539 @ 225.963
270.10/270.97	c bounds 149 >= -1537 @ 226.028
270.10/270.97	c bounds 149 >= -1535 @ 226.11
270.10/270.97	c bounds 149 >= -1533 @ 226.187
270.10/270.97	c bounds 149 >= -1531 @ 226.271
270.10/270.97	c bounds 149 >= -1529 @ 226.347
270.10/270.97	c bounds 149 >= -1527 @ 226.442
270.10/270.97	c bounds 149 >= -1525 @ 226.549
270.10/270.97	c bounds 149 >= -1523 @ 226.659
270.10/270.97	c bounds 149 >= -1521 @ 227.114
270.10/270.97	c #Conflicts:      66000 | #Constraints:      15114
270.10/270.97	c INPROCESSING
270.10/270.97	c GARBAGE COLLECT
270.10/270.97	c #Conflicts:      67000 | #Constraints:      10709
270.10/270.97	c #Conflicts:      68000 | #Constraints:      11709
270.10/270.97	c #Conflicts:      69000 | #Constraints:      12709
270.10/270.97	c #Conflicts:      70000 | #Constraints:      13709
270.10/270.97	c #Conflicts:      71000 | #Constraints:      14709
270.10/270.97	c #Conflicts:      72000 | #Constraints:      15709
270.10/270.97	c INPROCESSING
270.10/270.97	c GARBAGE COLLECT
270.10/270.97	c #Conflicts:      73000 | #Constraints:      11300
270.10/270.97	c #Conflicts:      74000 | #Constraints:      12300
270.10/270.97	c #Conflicts:      75000 | #Constraints:      13300
270.10/270.97	c finalizing WCE round: reformulating cores
511.04/512.59	c #Conflicts:      76000 | #Constraints:      14306
511.04/512.59	c #Conflicts:      77000 | #Constraints:      15308
511.04/512.59	c #Conflicts:      78000 | #Constraints:      16310
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:      79000 | #Constraints:      11711
511.04/512.59	c #Conflicts:      80000 | #Constraints:      12713
511.04/512.59	c #Conflicts:      81000 | #Constraints:      13715
511.04/512.59	c #Conflicts:      82000 | #Constraints:      14726
511.04/512.59	c #Conflicts:      83000 | #Constraints:      15728
511.04/512.59	c #Conflicts:      84000 | #Constraints:      16732
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:      85000 | #Constraints:      11919
511.04/512.59	c #Conflicts:      86000 | #Constraints:      12921
511.04/512.59	c #Conflicts:      87000 | #Constraints:      13923
511.04/512.59	c #Conflicts:      88000 | #Constraints:      14927
511.04/512.59	c #Conflicts:      89000 | #Constraints:      15929
511.04/512.59	c #Conflicts:      90000 | #Constraints:      16931
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:      91000 | #Constraints:      11913
511.04/512.59	c #Conflicts:      92000 | #Constraints:      12918
511.04/512.59	c #Conflicts:      93000 | #Constraints:      13920
511.04/512.59	c #Conflicts:      94000 | #Constraints:      14922
511.04/512.59	c #Conflicts:      95000 | #Constraints:      15926
511.04/512.59	c #Conflicts:      96000 | #Constraints:      16928
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:      97000 | #Constraints:      11756
511.04/512.59	c #Conflicts:      98000 | #Constraints:      12758
511.04/512.59	c #Conflicts:      99000 | #Constraints:      13762
511.04/512.59	c #Conflicts:     100000 | #Constraints:      14764
511.04/512.59	c #Conflicts:     101000 | #Constraints:      15766
511.04/512.59	c #Conflicts:     102000 | #Constraints:      16770
511.04/512.59	c #Conflicts:     103000 | #Constraints:      17772
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     104000 | #Constraints:      12373
511.04/512.59	c #Conflicts:     105000 | #Constraints:      13375
511.04/512.59	c #Conflicts:     106000 | #Constraints:      14377
511.04/512.59	c #Conflicts:     107000 | #Constraints:      15381
511.04/512.59	c #Conflicts:     108000 | #Constraints:      16383
511.04/512.59	c #Conflicts:     109000 | #Constraints:      17385
511.04/512.59	c #Conflicts:     110000 | #Constraints:      18389
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     111000 | #Constraints:      12783
511.04/512.59	c #Conflicts:     112000 | #Constraints:      13785
511.04/512.59	c #Conflicts:     113000 | #Constraints:      14787
511.04/512.59	c #Conflicts:     114000 | #Constraints:      15791
511.04/512.59	c #Conflicts:     115000 | #Constraints:      16793
511.04/512.59	c #Conflicts:     116000 | #Constraints:      17795
511.04/512.59	c #Conflicts:     117000 | #Constraints:      18799
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     118000 | #Constraints:      12997
511.04/512.59	c #Conflicts:     119000 | #Constraints:      13999
511.04/512.59	c #Conflicts:     120000 | #Constraints:      15001
511.04/512.59	c #Conflicts:     121000 | #Constraints:      16005
511.04/512.59	c #Conflicts:     122000 | #Constraints:      17007
511.04/512.59	c #Conflicts:     123000 | #Constraints:      18009
511.04/512.59	c #Conflicts:     124000 | #Constraints:      19013
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     125000 | #Constraints:      13024
511.04/512.59	c #Conflicts:     126000 | #Constraints:      14026
511.04/512.59	c #Conflicts:     127000 | #Constraints:      15028
511.04/512.59	c #Conflicts:     128000 | #Constraints:      16033
511.04/512.59	c #Conflicts:     129000 | #Constraints:      17035
511.04/512.59	c #Conflicts:     130000 | #Constraints:      18049
511.04/512.59	c #Conflicts:     131000 | #Constraints:      19067
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     132000 | #Constraints:      12872
511.04/512.59	c #Conflicts:     133000 | #Constraints:      13874
511.04/512.59	c #Conflicts:     134000 | #Constraints:      14878
511.04/512.59	c #Conflicts:     135000 | #Constraints:      15880
511.04/512.59	c #Conflicts:     136000 | #Constraints:      16882
511.04/512.59	c #Conflicts:     137000 | #Constraints:      17886
511.04/512.59	c #Conflicts:     138000 | #Constraints:      18888
511.04/512.59	c #Conflicts:     139000 | #Constraints:      19890
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
511.04/512.59	c #Conflicts:     140000 | #Constraints:      13504
511.04/512.59	c #Conflicts:     141000 | #Constraints:      14506
511.04/512.59	c #Conflicts:     142000 | #Constraints:      15508
511.04/512.59	c #Conflicts:     143000 | #Constraints:      16512
511.04/512.59	c #Conflicts:     144000 | #Constraints:      17514
511.04/512.59	c #Conflicts:     145000 | #Constraints:      18516
511.04/512.59	c #Conflicts:     146000 | #Constraints:      19520
511.04/512.59	c #Conflicts:     147000 | #Constraints:      20522
511.04/512.59	c INPROCESSING
511.04/512.59	c GARBAGE COLLECT
667.91/669.82	c #Conflicts:     148000 | #Constraints:      13947
667.91/669.82	c #Conflicts:     149000 | #Constraints:      14949
667.91/669.82	c #Conflicts:     150000 | #Constraints:      15951
667.91/669.82	c #Conflicts:     151000 | #Constraints:      16955
667.91/669.82	c #Conflicts:     152000 | #Constraints:      17957
667.91/669.82	c #Conflicts:     153000 | #Constraints:      18959
667.91/669.82	c #Conflicts:     154000 | #Constraints:      19963
667.91/669.82	c #Conflicts:     155000 | #Constraints:      20965
667.91/669.82	c INPROCESSING
667.91/669.82	c GARBAGE COLLECT
667.91/669.82	c #Conflicts:     156000 | #Constraints:      14184
667.91/669.82	c #Conflicts:     157000 | #Constraints:      15186
667.91/669.82	c #Conflicts:     158000 | #Constraints:      16188
667.91/669.82	c #Conflicts:     159000 | #Constraints:      17192
667.91/669.82	c #Conflicts:     160000 | #Constraints:      18194
667.91/669.82	c #Conflicts:     161000 | #Constraints:      19196
667.91/669.82	c #Conflicts:     162000 | #Constraints:      20200
667.91/669.82	c #Conflicts:     163000 | #Constraints:      21202
667.91/669.82	c INPROCESSING
667.91/669.82	c GARBAGE COLLECT
667.91/669.82	c #Conflicts:     164000 | #Constraints:      14189
667.91/669.82	c #Conflicts:     165000 | #Constraints:      15191
667.91/669.82	c #Conflicts:     166000 | #Constraints:      16193
667.91/669.82	c #Conflicts:     167000 | #Constraints:      17197
667.91/669.82	c #Conflicts:     168000 | #Constraints:      18199
667.91/669.82	c #Conflicts:     169000 | #Constraints:      19201
667.91/669.82	c #Conflicts:     170000 | #Constraints:      20205
667.91/669.82	c #Conflicts:     171000 | #Constraints:      21207
667.91/669.82	c INPROCESSING
667.91/669.82	c GARBAGE COLLECT
667.91/669.82	c #Conflicts:     172000 | #Constraints:      13993
667.91/669.82	c #Conflicts:     173000 | #Constraints:      14995
667.91/669.82	c #Conflicts:     174000 | #Constraints:      15999
667.91/669.82	c #Conflicts:     175000 | #Constraints:      17001
667.91/669.82	c #Conflicts:     176000 | #Constraints:      18003
667.91/669.82	c #Conflicts:     177000 | #Constraints:      19007
667.91/669.82	c #Conflicts:     178000 | #Constraints:      20009
667.91/669.82	c #Conflicts:     179000 | #Constraints:      21011
667.91/669.82	c #Conflicts:     180000 | #Constraints:      22015
667.91/669.82	c INPROCESSING
667.91/669.82	c GARBAGE COLLECT
667.91/669.82	c #Conflicts:     181000 | #Constraints:      14618
667.91/669.82	c #Conflicts:     182000 | #Constraints:      15620
667.91/669.82	c #Conflicts:     183000 | #Constraints:      16622
667.91/669.82	c #Conflicts:     184000 | #Constraints:      17626
667.91/669.82	c bounds 129 >= -1521 @ 645.579
667.91/669.82	c bounds 129 >= -1516 @ 645.619
667.91/669.82	c bounds 129 >= -1514 @ 645.655
667.91/669.82	c bounds 129 >= -1512 @ 645.691
667.91/669.82	c bounds 129 >= -1510 @ 645.721
667.91/669.82	c bounds 129 >= -1508 @ 645.761
667.91/669.82	c bounds 129 >= -1506 @ 645.81
667.91/669.82	c bounds 129 >= -1504 @ 645.862
667.91/669.82	c bounds 129 >= -1502 @ 645.913
667.91/669.82	c bounds 129 >= -1500 @ 645.997
667.91/669.82	c bounds 129 >= -1498 @ 646.064
667.91/669.82	c bounds 129 >= -1496 @ 646.144
667.91/669.82	c bounds 129 >= -1494 @ 646.234
667.91/669.82	c bounds 129 >= -1492 @ 646.529
667.91/669.82	c bounds 129 >= -1490 @ 646.75
667.91/669.82	c bounds 129 >= -1488 @ 646.842
667.91/669.82	c bounds 129 >= -1486 @ 647.197
667.91/669.82	c bounds 129 >= -1484 @ 647.338
667.91/669.82	c bounds 129 >= -1482 @ 648.203
667.91/669.82	c bounds 129 >= -1480 @ 649.089
667.91/669.82	c bounds 129 >= -1478 @ 649.924
667.91/669.82	c bounds 129 >= -1476 @ 650.543
667.91/669.82	c bounds 129 >= -1474 @ 650.67
667.91/669.82	c #Conflicts:     185000 | #Constraints:      18792
667.91/669.82	c #Conflicts:     186000 | #Constraints:      19792
667.91/669.82	c #Conflicts:     187000 | #Constraints:      20792
667.91/669.82	c #Conflicts:     188000 | #Constraints:      21792
667.91/669.82	c finalizing WCE round: reformulating cores
714.20/716.22	c #Conflicts:     189000 | #Constraints:      22797
714.20/716.22	c INPROCESSING
714.20/716.22	c GARBAGE COLLECT
714.20/716.22	c #Conflicts:     190000 | #Constraints:      15127
714.20/716.22	c #Conflicts:     191000 | #Constraints:      16132
714.20/716.22	c #Conflicts:     192000 | #Constraints:      17134
714.20/716.22	c #Conflicts:     193000 | #Constraints:      18139
714.20/716.22	c #Conflicts:     194000 | #Constraints:      19144
714.20/716.22	c #Conflicts:     195000 | #Constraints:      20149
714.20/716.22	c #Conflicts:     196000 | #Constraints:      21157
714.20/716.22	c #Conflicts:     197000 | #Constraints:      22159
714.20/716.22	c #Conflicts:     198000 | #Constraints:      23164
714.20/716.22	c INPROCESSING
714.20/716.22	c GARBAGE COLLECT
714.20/716.22	c #Conflicts:     199000 | #Constraints:      15310
714.20/716.22	c #Conflicts:     200000 | #Constraints:      16312
714.20/716.22	c #Conflicts:     201000 | #Constraints:      17314
714.20/716.22	c bounds 120 >= -1474 @ 700.57
714.20/716.22	c bounds 120 >= -1472 @ 702.253
714.20/716.22	c bounds 120 >= -1470 @ 702.7
714.20/716.22	c #Conflicts:     202000 | #Constraints:      18351
714.20/716.22	c finalizing WCE round: reformulating cores
719.89/721.95	c #Conflicts:     203000 | #Constraints:      19354
719.89/721.95	c #Conflicts:     204000 | #Constraints:      20356
719.89/721.95	c bounds 119 >= -1470 @ 713.907
719.89/721.95	c bounds 118 >= -1470 @ 715.162
719.89/721.95	c stratification level: 1
721.68/723.72	c bounds 118 >= -1387 @ 715.359
721.68/723.72	c bounds 118 >= -1384 @ 715.366
721.68/723.72	c bounds 118 >= -1383 @ 715.373
721.68/723.72	c bounds 118 >= -1382 @ 715.381
721.68/723.72	c bounds 118 >= -1379 @ 715.394
721.68/723.72	c bounds 118 >= -1376 @ 715.402
721.68/723.72	c bounds 118 >= -1373 @ 715.408
721.68/723.72	c bounds 118 >= -1370 @ 715.416
721.68/723.72	c bounds 118 >= -1367 @ 715.425
721.68/723.72	c bounds 118 >= -1364 @ 715.432
721.68/723.72	c bounds 118 >= -1361 @ 715.439
721.68/723.72	c bounds 118 >= -1359 @ 715.452
721.68/723.72	c bounds 118 >= -1356 @ 715.464
721.68/723.72	c bounds 118 >= -1354 @ 715.471
721.68/723.72	c bounds 118 >= -1353 @ 715.479
721.68/723.72	c bounds 118 >= -1352 @ 715.491
721.68/723.72	c bounds 118 >= -1351 @ 715.502
721.68/723.72	c bounds 118 >= -1350 @ 715.51
721.68/723.72	c bounds 118 >= -1348 @ 715.518
721.68/723.72	c bounds 118 >= -1347 @ 715.526
721.68/723.72	c bounds 118 >= -1344 @ 715.533
721.68/723.72	c bounds 118 >= -1341 @ 715.541
721.68/723.72	c bounds 118 >= -1340 @ 715.551
721.68/723.72	c bounds 118 >= -1337 @ 715.566
721.68/723.72	c bounds 118 >= -1334 @ 715.571
721.68/723.72	c bounds 118 >= -1333 @ 715.582
721.68/723.72	c bounds 118 >= -1332 @ 715.6
721.68/723.72	c bounds 118 >= -1331 @ 715.611
721.68/723.72	c bounds 118 >= -1330 @ 715.616
721.68/723.72	c bounds 118 >= -1329 @ 715.622
721.68/723.72	c bounds 118 >= -1328 @ 715.629
721.68/723.72	c bounds 118 >= -1327 @ 715.635
721.68/723.72	c bounds 118 >= -1325 @ 715.643
721.68/723.72	c bounds 118 >= -1322 @ 715.649
721.68/723.72	c bounds 118 >= -1319 @ 715.656
721.68/723.72	c bounds 118 >= -1316 @ 715.671
721.68/723.72	c bounds 118 >= -1314 @ 715.693
721.68/723.72	c bounds 118 >= -1313 @ 715.701
721.68/723.72	c bounds 118 >= -1312 @ 715.707
721.68/723.72	c bounds 118 >= -1311 @ 715.71
721.68/723.72	c bounds 118 >= -1308 @ 715.72
721.68/723.72	c bounds 118 >= -1307 @ 715.726
721.68/723.72	c bounds 118 >= -1306 @ 715.733
721.68/723.72	c bounds 118 >= -1305 @ 715.736
721.68/723.72	c bounds 118 >= -1304 @ 715.741
721.68/723.72	c bounds 118 >= -1303 @ 715.746
721.68/723.72	c bounds 118 >= -1300 @ 715.76
721.68/723.72	c bounds 118 >= -1299 @ 715.772
721.68/723.72	c bounds 118 >= -1298 @ 715.782
721.68/723.72	c bounds 118 >= -1295 @ 715.799
721.68/723.72	c bounds 118 >= -1294 @ 715.815
721.68/723.72	c bounds 118 >= -1293 @ 715.838
721.68/723.72	c bounds 118 >= -1292 @ 715.844
721.68/723.72	c bounds 118 >= -1289 @ 715.857
721.68/723.72	c bounds 118 >= -1288 @ 715.876
721.68/723.72	c bounds 118 >= -1287 @ 715.887
721.68/723.72	c bounds 118 >= -1286 @ 715.897
721.68/723.72	c bounds 118 >= -1285 @ 715.902
721.68/723.72	c bounds 118 >= -1282 @ 715.925
721.68/723.72	c bounds 118 >= -1281 @ 715.935
721.68/723.72	c bounds 118 >= -1280 @ 715.948
721.68/723.72	c bounds 118 >= -1279 @ 715.963
721.68/723.72	c bounds 118 >= -1278 @ 715.977
721.68/723.72	c bounds 118 >= -1277 @ 715.986
721.68/723.72	c bounds 118 >= -1276 @ 716.001
721.68/723.72	c bounds 118 >= -1275 @ 716.019
721.68/723.72	c bounds 118 >= -1274 @ 716.034
721.68/723.72	c bounds 118 >= -1271 @ 716.039
721.68/723.72	c bounds 118 >= -1268 @ 716.047
721.68/723.72	c bounds 118 >= -1266 @ 716.06
721.68/723.72	c bounds 118 >= -1264 @ 716.074
721.68/723.72	c bounds 118 >= -1261 @ 716.087
721.68/723.72	c bounds 118 >= -1260 @ 716.103
721.68/723.72	c bounds 118 >= -1258 @ 716.113
721.68/723.72	c bounds 118 >= -1255 @ 716.124
721.68/723.72	c bounds 118 >= -1252 @ 716.131
721.68/723.72	c bounds 118 >= -1251 @ 716.139
721.68/723.72	c bounds 118 >= -1250 @ 716.147
721.68/723.72	c bounds 118 >= -1249 @ 716.15
721.68/723.72	c bounds 118 >= -1246 @ 716.158
721.68/723.72	c bounds 118 >= -1245 @ 716.167
721.68/723.72	c bounds 118 >= -1244 @ 716.182
721.68/723.72	c bounds 118 >= -1242 @ 716.196
721.68/723.72	c bounds 118 >= -1241 @ 716.205
721.68/723.72	c bounds 118 >= -1240 @ 716.217
721.68/723.72	c bounds 118 >= -1239 @ 716.226
721.68/723.72	c bounds 118 >= -1238 @ 716.23
721.68/723.72	c bounds 118 >= -1237 @ 716.249
721.68/723.72	c bounds 118 >= -1236 @ 716.259
721.68/723.72	c bounds 118 >= -1235 @ 716.269
721.68/723.72	c bounds 118 >= -1234 @ 716.281
721.68/723.72	c bounds 118 >= -1232 @ 716.287
721.68/723.72	c bounds 118 >= -1231 @ 716.303
721.68/723.72	c bounds 118 >= -1230 @ 716.31
721.68/723.72	c bounds 118 >= -1229 @ 716.315
721.68/723.72	c bounds 118 >= -1228 @ 716.322
721.68/723.72	c bounds 118 >= -1227 @ 716.331
721.68/723.72	c bounds 118 >= -1226 @ 716.345
721.68/723.72	c bounds 118 >= -1225 @ 716.359
721.68/723.72	c bounds 118 >= -1224 @ 716.372
721.68/723.72	c bounds 118 >= -1223 @ 716.381
721.68/723.72	c bounds 118 >= -1222 @ 716.389
721.68/723.72	c bounds 118 >= -1221 @ 716.403
721.68/723.72	c bounds 118 >= -1220 @ 716.416
721.68/723.72	c bounds 118 >= -1219 @ 716.438
721.68/723.72	c bounds 118 >= -1218 @ 716.45
721.68/723.72	c bounds 118 >= -1217 @ 716.48
721.68/723.72	c bounds 118 >= -1216 @ 716.496
721.68/723.72	c bounds 118 >= -1215 @ 716.511
721.68/723.72	c bounds 118 >= -1214 @ 716.531
721.68/723.72	c bounds 118 >= -1212 @ 716.551
721.68/723.72	c bounds 118 >= -1211 @ 716.567
721.68/723.72	c bounds 118 >= -1209 @ 716.583
721.68/723.72	c bounds 118 >= -1206 @ 716.596
721.68/723.72	c bounds 118 >= -1205 @ 716.618
721.68/723.72	c bounds 118 >= -1204 @ 716.633
721.68/723.72	c bounds 118 >= -1203 @ 716.65
721.68/723.72	c bounds 118 >= -1202 @ 716.661
721.68/723.72	c bounds 118 >= -1201 @ 716.666
721.68/723.72	c bounds 118 >= -1200 @ 716.683
721.68/723.72	c bounds 118 >= -1199 @ 716.688
721.68/723.72	c bounds 118 >= -1198 @ 716.725
721.68/723.72	c bounds 118 >= -1196 @ 716.744
721.68/723.72	c bounds 118 >= -1195 @ 716.757
721.68/723.72	c bounds 118 >= -1194 @ 716.771
721.68/723.72	c bounds 118 >= -1193 @ 716.782
721.68/723.72	c bounds 118 >= -1192 @ 716.795
721.68/723.72	c bounds 118 >= -1191 @ 716.812
721.68/723.72	c bounds 118 >= -1190 @ 716.816
724.37/726.46	c bounds 118 >= -1189 @ 716.842
724.37/726.46	c bounds 118 >= -1188 @ 716.853
724.37/726.46	c bounds 118 >= -1187 @ 716.865
724.37/726.46	c bounds 118 >= -1186 @ 716.88
724.37/726.46	c bounds 118 >= -1185 @ 716.898
724.37/726.46	c bounds 118 >= -1184 @ 716.906
724.37/726.46	c bounds 118 >= -1183 @ 716.93
724.37/726.46	c bounds 118 >= -1182 @ 716.953
724.37/726.46	c bounds 118 >= -1181 @ 716.965
724.37/726.46	c bounds 118 >= -1180 @ 716.989
724.37/726.46	c bounds 118 >= -1179 @ 717.008
724.37/726.46	c bounds 118 >= -1178 @ 717.02
724.37/726.46	c bounds 118 >= -1177 @ 717.031
724.37/726.46	c bounds 118 >= -1176 @ 717.048
724.37/726.46	c bounds 118 >= -1175 @ 717.079
724.37/726.46	c bounds 118 >= -1174 @ 717.094
724.37/726.46	c bounds 118 >= -1173 @ 717.097
724.37/726.46	c bounds 118 >= -1171 @ 717.135
724.37/726.46	c bounds 118 >= -1170 @ 717.161
724.37/726.46	c bounds 118 >= -1169 @ 717.179
724.37/726.46	c bounds 118 >= -1168 @ 717.196
724.37/726.46	c bounds 118 >= -1167 @ 717.219
724.37/726.46	c bounds 118 >= -1166 @ 717.239
724.37/726.46	c bounds 118 >= -1165 @ 717.258
724.37/726.46	c bounds 118 >= -1164 @ 717.269
724.37/726.46	c bounds 118 >= -1161 @ 717.282
724.37/726.46	c bounds 118 >= -1159 @ 717.296
724.37/726.46	c bounds 118 >= -1156 @ 717.308
724.37/726.46	c bounds 118 >= -1155 @ 717.32
724.37/726.46	c bounds 118 >= -1154 @ 717.325
724.37/726.46	c bounds 118 >= -1152 @ 717.341
724.37/726.46	c bounds 118 >= -1151 @ 717.352
724.37/726.46	c bounds 118 >= -1150 @ 717.357
724.37/726.46	c bounds 118 >= -1149 @ 717.37
724.37/726.46	c bounds 118 >= -1147 @ 717.385
724.37/726.46	c bounds 118 >= -1146 @ 717.403
724.37/726.46	c bounds 118 >= -1143 @ 717.423
724.37/726.46	c bounds 118 >= -1142 @ 717.433
724.37/726.46	c bounds 118 >= -1141 @ 717.445
724.37/726.46	c bounds 118 >= -1139 @ 717.46
724.37/726.46	c bounds 118 >= -1138 @ 717.472
724.37/726.46	c bounds 118 >= -1137 @ 717.482
724.37/726.46	c bounds 118 >= -1136 @ 717.503
724.37/726.46	c bounds 118 >= -1135 @ 717.523
724.37/726.46	c bounds 118 >= -1134 @ 717.537
724.37/726.46	c bounds 118 >= -1133 @ 717.553
724.37/726.46	c bounds 118 >= -1132 @ 717.556
724.37/726.46	c bounds 118 >= -1131 @ 717.576
724.37/726.46	c bounds 118 >= -1130 @ 717.591
724.37/726.46	c bounds 118 >= -1129 @ 717.61
724.37/726.46	c bounds 118 >= -1128 @ 717.635
724.37/726.46	c bounds 118 >= -1127 @ 717.654
724.37/726.46	c bounds 118 >= -1126 @ 717.673
724.37/726.46	c bounds 118 >= -1125 @ 717.693
724.37/726.46	c bounds 118 >= -1124 @ 717.714
724.37/726.46	c bounds 118 >= -1123 @ 717.738
724.37/726.46	c bounds 118 >= -1122 @ 717.756
724.37/726.46	c bounds 118 >= -1121 @ 717.772
724.37/726.46	c bounds 118 >= -1118 @ 717.797
724.37/726.46	c bounds 118 >= -1116 @ 717.82
724.37/726.46	c bounds 118 >= -1115 @ 717.839
724.37/726.46	c bounds 118 >= -1114 @ 717.854
724.37/726.46	c bounds 118 >= -1113 @ 717.88
724.37/726.46	c bounds 118 >= -1112 @ 717.897
724.37/726.46	c bounds 118 >= -1111 @ 717.913
724.37/726.46	c bounds 118 >= -1108 @ 717.945
724.37/726.46	c bounds 118 >= -1107 @ 717.971
724.37/726.46	c bounds 118 >= -1106 @ 717.987
724.37/726.46	c bounds 118 >= -1105 @ 718.004
724.37/726.46	c bounds 118 >= -1102 @ 718.026
724.37/726.46	c bounds 118 >= -1101 @ 718.049
724.37/726.46	c bounds 118 >= -1100 @ 718.081
724.37/726.46	c bounds 118 >= -1099 @ 718.104
724.37/726.46	c bounds 118 >= -1098 @ 718.123
724.37/726.46	c bounds 118 >= -1097 @ 718.142
724.37/726.46	c bounds 118 >= -1096 @ 718.159
724.37/726.46	c bounds 118 >= -1093 @ 718.177
724.37/726.46	c bounds 118 >= -1091 @ 718.195
724.37/726.46	c bounds 118 >= -1090 @ 718.215
724.37/726.46	c bounds 118 >= -1089 @ 718.241
724.37/726.46	c bounds 118 >= -1088 @ 718.275
724.37/726.46	c bounds 118 >= -1087 @ 718.294
724.37/726.46	c bounds 118 >= -1086 @ 718.314
724.37/726.46	c bounds 118 >= -1085 @ 718.338
724.37/726.46	c bounds 118 >= -1084 @ 718.364
724.37/726.46	c bounds 118 >= -1082 @ 718.39
724.37/726.46	c bounds 118 >= -1081 @ 718.407
724.37/726.46	c bounds 118 >= -1080 @ 718.429
724.37/726.46	c bounds 118 >= -1079 @ 718.456
724.37/726.46	c bounds 118 >= -1078 @ 718.474
724.37/726.46	c bounds 118 >= -1077 @ 718.497
724.37/726.46	c bounds 118 >= -1076 @ 718.525
724.37/726.46	c bounds 118 >= -1075 @ 718.557
724.37/726.46	c bounds 118 >= -1074 @ 718.581
724.37/726.46	c bounds 118 >= -1073 @ 718.613
724.37/726.46	c bounds 118 >= -1072 @ 718.641
724.37/726.46	c bounds 118 >= -1071 @ 718.669
724.37/726.46	c bounds 118 >= -1070 @ 718.692
724.37/726.46	c bounds 118 >= -1068 @ 718.725
724.37/726.46	c bounds 118 >= -1067 @ 718.75
724.37/726.46	c bounds 118 >= -1066 @ 718.786
724.37/726.46	c bounds 118 >= -1065 @ 718.813
724.37/726.46	c bounds 118 >= -1064 @ 718.845
724.37/726.46	c bounds 118 >= -1063 @ 718.872
724.37/726.46	c bounds 118 >= -1062 @ 718.897
724.37/726.46	c bounds 118 >= -1061 @ 718.926
724.37/726.46	c bounds 118 >= -1060 @ 718.953
724.37/726.46	c bounds 118 >= -1059 @ 718.98
724.37/726.46	c bounds 118 >= -1058 @ 719.004
724.37/726.46	c bounds 118 >= -1057 @ 719.024
724.37/726.46	c bounds 118 >= -1056 @ 719.056
724.37/726.46	c bounds 118 >= -1055 @ 719.091
724.37/726.46	c bounds 118 >= -1054 @ 719.129
724.37/726.46	c bounds 118 >= -1053 @ 719.156
724.37/726.46	c bounds 118 >= -1052 @ 719.176
724.37/726.46	c bounds 118 >= -1051 @ 719.196
724.37/726.46	c bounds 118 >= -1050 @ 719.232
724.37/726.46	c bounds 118 >= -1048 @ 719.259
724.37/726.46	c bounds 118 >= -1047 @ 719.28
724.37/726.46	c bounds 118 >= -1046 @ 719.303
724.37/726.46	c bounds 118 >= -1045 @ 719.32
724.37/726.46	c bounds 118 >= -1044 @ 719.342
724.37/726.46	c bounds 118 >= -1043 @ 719.364
724.37/726.46	c bounds 118 >= -1042 @ 719.37
724.37/726.46	c bounds 118 >= -1041 @ 719.391
724.37/726.46	c bounds 118 >= -1040 @ 719.415
724.37/726.46	c bounds 118 >= -1039 @ 719.439
724.37/726.46	c bounds 118 >= -1038 @ 719.467
736.95/739.01	c bounds 118 >= -1037 @ 719.491
736.95/739.01	c bounds 118 >= -1036 @ 719.538
736.95/739.01	c bounds 118 >= -1035 @ 719.572
736.95/739.01	c bounds 118 >= -1032 @ 719.602
736.95/739.01	c bounds 118 >= -1029 @ 719.627
736.95/739.01	c bounds 118 >= -1028 @ 719.649
736.95/739.01	c bounds 118 >= -1027 @ 719.673
736.95/739.01	c bounds 118 >= -1026 @ 719.7
736.95/739.01	c bounds 118 >= -1025 @ 719.726
736.95/739.01	c bounds 118 >= -1023 @ 719.752
736.95/739.01	c bounds 118 >= -1022 @ 719.78
736.95/739.01	c bounds 118 >= -1021 @ 719.807
736.95/739.01	c bounds 118 >= -1020 @ 719.835
736.95/739.01	c bounds 118 >= -1019 @ 719.859
736.95/739.01	c bounds 118 >= -1018 @ 719.886
736.95/739.01	c bounds 118 >= -1017 @ 719.911
736.95/739.01	c bounds 118 >= -1016 @ 719.95
736.95/739.01	c bounds 118 >= -1015 @ 719.982
736.95/739.01	c bounds 118 >= -1014 @ 720.014
736.95/739.01	c bounds 118 >= -1013 @ 720.04
736.95/739.01	c bounds 118 >= -1012 @ 720.066
736.95/739.01	c bounds 118 >= -1011 @ 720.092
736.95/739.01	c bounds 118 >= -1010 @ 720.119
736.95/739.01	c bounds 118 >= -1009 @ 720.151
736.95/739.01	c bounds 118 >= -1008 @ 720.19
736.95/739.01	c bounds 118 >= -1007 @ 720.222
736.95/739.01	c bounds 118 >= -1006 @ 720.253
736.95/739.01	c bounds 118 >= -1004 @ 720.278
736.95/739.01	c bounds 118 >= -1003 @ 720.301
736.95/739.01	c bounds 118 >= -1002 @ 720.329
736.95/739.01	c bounds 118 >= -1001 @ 720.356
736.95/739.01	c bounds 118 >= -1000 @ 720.388
736.95/739.01	c bounds 118 >= -999 @ 720.413
736.95/739.01	c bounds 118 >= -998 @ 720.44
736.95/739.01	c bounds 118 >= -997 @ 720.471
736.95/739.01	c bounds 118 >= -996 @ 720.507
736.95/739.01	c bounds 118 >= -995 @ 720.542
736.95/739.01	c bounds 118 >= -994 @ 720.572
736.95/739.01	c bounds 118 >= -993 @ 720.606
736.95/739.01	c bounds 118 >= -992 @ 720.645
736.95/739.01	c bounds 118 >= -991 @ 720.676
736.95/739.01	c bounds 118 >= -990 @ 720.709
736.95/739.01	c bounds 118 >= -989 @ 720.745
736.95/739.01	c bounds 118 >= -988 @ 720.777
736.95/739.01	c bounds 118 >= -987 @ 720.806
736.95/739.01	c bounds 118 >= -986 @ 720.854
736.95/739.01	c bounds 118 >= -985 @ 720.888
736.95/739.01	c bounds 118 >= -984 @ 720.925
736.95/739.01	c bounds 118 >= -983 @ 720.957
736.95/739.01	c bounds 118 >= -982 @ 720.997
736.95/739.01	c bounds 118 >= -981 @ 721.023
736.95/739.01	c bounds 118 >= -980 @ 721.052
736.95/739.01	c bounds 118 >= -979 @ 721.076
736.95/739.01	c bounds 118 >= -978 @ 721.102
736.95/739.01	c bounds 118 >= -977 @ 721.129
736.95/739.01	c bounds 118 >= -976 @ 721.154
736.95/739.01	c bounds 118 >= -975 @ 721.182
736.95/739.01	c bounds 118 >= -974 @ 721.206
736.95/739.01	c bounds 118 >= -973 @ 721.233
736.95/739.01	c bounds 118 >= -972 @ 721.256
736.95/739.01	c bounds 118 >= -971 @ 721.282
736.95/739.01	c bounds 118 >= -970 @ 721.313
736.95/739.01	c bounds 118 >= -969 @ 721.362
736.95/739.01	c bounds 118 >= -968 @ 721.385
736.95/739.01	c bounds 118 >= -967 @ 721.414
736.95/739.01	c bounds 118 >= -966 @ 721.437
736.95/739.01	c bounds 118 >= -965 @ 721.457
736.95/739.01	c bounds 118 >= -964 @ 721.488
736.95/739.01	c bounds 118 >= -963 @ 721.517
736.95/739.01	c bounds 118 >= -962 @ 721.54
736.95/739.01	c bounds 118 >= -961 @ 721.567
736.95/739.01	c bounds 118 >= -960 @ 721.595
736.95/739.01	c bounds 118 >= -959 @ 721.616
736.95/739.01	c bounds 118 >= -958 @ 721.641
736.95/739.01	c bounds 118 >= -957 @ 721.66
736.95/739.01	c bounds 118 >= -956 @ 721.675
736.95/739.01	c bounds 118 >= -955 @ 721.688
736.95/739.01	c bounds 118 >= -954 @ 721.701
736.95/739.01	c bounds 118 >= -953 @ 721.718
736.95/739.01	c bounds 118 >= -952 @ 721.733
736.95/739.01	c bounds 118 >= -951 @ 721.749
736.95/739.01	c bounds 118 >= -950 @ 721.779
736.95/739.01	c bounds 118 >= -949 @ 721.814
736.95/739.01	c bounds 118 >= -948 @ 721.838
736.95/739.01	c bounds 118 >= -947 @ 721.955
736.95/739.01	c bounds 118 >= -946 @ 721.993
736.95/739.01	c bounds 118 >= -945 @ 722.036
736.95/739.01	c bounds 118 >= -944 @ 722.066
736.95/739.01	c bounds 118 >= -943 @ 722.106
736.95/739.01	c bounds 118 >= -942 @ 722.189
736.95/739.01	c bounds 118 >= -941 @ 722.246
736.95/739.01	c bounds 118 >= -940 @ 722.296
736.95/739.01	c bounds 118 >= -939 @ 722.354
736.95/739.01	c bounds 118 >= -938 @ 722.391
736.95/739.01	c bounds 118 >= -937 @ 722.517
736.95/739.01	c bounds 118 >= -936 @ 722.656
736.95/739.01	c bounds 118 >= -935 @ 722.76
736.95/739.01	c bounds 118 >= -934 @ 722.823
736.95/739.01	c bounds 118 >= -933 @ 722.951
736.95/739.01	c bounds 118 >= -932 @ 723.027
736.95/739.01	c bounds 118 >= -931 @ 723.19
736.95/739.01	c bounds 118 >= -930 @ 723.763
736.95/739.01	c bounds 118 >= -929 @ 723.888
736.95/739.01	c bounds 118 >= -928 @ 724.048
736.95/739.01	c bounds 118 >= -927 @ 724.129
736.95/739.01	c bounds 118 >= -926 @ 724.632
736.95/739.01	c bounds 118 >= -925 @ 724.852
736.95/739.01	c bounds 118 >= -924 @ 725.016
736.95/739.01	c bounds 118 >= -923 @ 725.076
736.95/739.01	c bounds 118 >= -922 @ 725.14
736.95/739.01	c bounds 118 >= -921 @ 725.283
736.95/739.01	c bounds 118 >= -920 @ 725.638
736.95/739.01	c bounds 118 >= -919 @ 725.651
736.95/739.01	c bounds 118 >= -918 @ 725.845
736.95/739.01	c bounds 118 >= -917 @ 725.875
736.95/739.01	c bounds 118 >= -916 @ 725.905
736.95/739.01	c bounds 118 >= -915 @ 726.211
736.95/739.01	c bounds 118 >= -914 @ 726.502
736.95/739.01	c bounds 118 >= -913 @ 726.822
736.95/739.01	c bounds 118 >= -912 @ 726.984
736.95/739.01	c bounds 118 >= -911 @ 727.899
736.95/739.01	c bounds 118 >= -910 @ 728.151
736.95/739.01	c bounds 118 >= -909 @ 728.299
736.95/739.01	c bounds 118 >= -908 @ 728.563
736.95/739.01	c bounds 118 >= -907 @ 729.552
736.95/739.01	c bounds 118 >= -906 @ 730.022
736.95/739.01	c #Conflicts:     205000 | #Constraints:      22767
736.95/739.01	c bounds 118 >= -905 @ 730.821
736.95/739.01	c bounds 118 >= -904 @ 731.14
736.95/739.01	c bounds 118 >= -903 @ 731.212
736.95/739.01	c bounds 118 >= -902 @ 731.851
756.19/758.39	c bounds 118 >= -901 @ 731.929
756.19/758.39	c bounds 118 >= -900 @ 732.026
756.19/758.39	c bounds 118 >= -899 @ 732.186
756.19/758.39	c bounds 118 >= -898 @ 732.265
756.19/758.39	c bounds 118 >= -897 @ 732.309
756.19/758.39	c bounds 118 >= -896 @ 732.407
756.19/758.39	c bounds 118 >= -895 @ 732.484
756.19/758.39	c bounds 118 >= -894 @ 732.628
756.19/758.39	c bounds 118 >= -893 @ 733.028
756.19/758.39	c bounds 118 >= -892 @ 733.3
756.19/758.39	c bounds 118 >= -891 @ 733.797
756.19/758.39	c bounds 118 >= -890 @ 735.429
756.19/758.39	c bounds 118 >= -889 @ 735.896
756.19/758.39	c bounds 118 >= -888 @ 736.152
756.19/758.39	c bounds 118 >= -887 @ 736.33
756.19/758.39	c bounds 118 >= -885 @ 736.395
756.19/758.39	c bounds 118 >= -884 @ 740.369
756.19/758.39	c bounds 118 >= -883 @ 742.402
756.19/758.39	c bounds 118 >= -882 @ 743.473
756.19/758.39	c bounds 118 >= -881 @ 744.732
756.19/758.39	c #Conflicts:     206000 | #Constraints:      23922
756.19/758.39	c finalizing WCE round: reformulating cores
1132.63/1135.79	c #Conflicts:     207000 | #Constraints:      24925
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     208000 | #Constraints:      16174
1132.63/1135.79	c #Conflicts:     209000 | #Constraints:      17201
1132.63/1135.79	c #Conflicts:     210000 | #Constraints:      18203
1132.63/1135.79	c #Conflicts:     211000 | #Constraints:      19207
1132.63/1135.79	c #Conflicts:     212000 | #Constraints:      20209
1132.63/1135.79	c #Conflicts:     213000 | #Constraints:      21211
1132.63/1135.79	c #Conflicts:     214000 | #Constraints:      22215
1132.63/1135.79	c #Conflicts:     215000 | #Constraints:      23217
1132.63/1135.79	c #Conflicts:     216000 | #Constraints:      24219
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     217000 | #Constraints:      15841
1132.63/1135.79	c #Conflicts:     218000 | #Constraints:      16843
1132.63/1135.79	c #Conflicts:     219000 | #Constraints:      17847
1132.63/1135.79	c #Conflicts:     220000 | #Constraints:      18849
1132.63/1135.79	c #Conflicts:     221000 | #Constraints:      19851
1132.63/1135.79	c #Conflicts:     222000 | #Constraints:      20855
1132.63/1135.79	c #Conflicts:     223000 | #Constraints:      21857
1132.63/1135.79	c #Conflicts:     224000 | #Constraints:      22859
1132.63/1135.79	c #Conflicts:     225000 | #Constraints:      23863
1132.63/1135.79	c #Conflicts:     226000 | #Constraints:      24865
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     227000 | #Constraints:      16393
1132.63/1135.79	c #Conflicts:     228000 | #Constraints:      17395
1132.63/1135.79	c #Conflicts:     229000 | #Constraints:      18397
1132.63/1135.79	c #Conflicts:     230000 | #Constraints:      19401
1132.63/1135.79	c #Conflicts:     231000 | #Constraints:      20403
1132.63/1135.79	c #Conflicts:     232000 | #Constraints:      21405
1132.63/1135.79	c #Conflicts:     233000 | #Constraints:      22409
1132.63/1135.79	c #Conflicts:     234000 | #Constraints:      23411
1132.63/1135.79	c #Conflicts:     235000 | #Constraints:      24413
1132.63/1135.79	c #Conflicts:     236000 | #Constraints:      25417
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     237000 | #Constraints:      16799
1132.63/1135.79	c #Conflicts:     238000 | #Constraints:      17801
1132.63/1135.79	c #Conflicts:     239000 | #Constraints:      18803
1132.63/1135.79	c #Conflicts:     240000 | #Constraints:      19807
1132.63/1135.79	c #Conflicts:     241000 | #Constraints:      20809
1132.63/1135.79	c #Conflicts:     242000 | #Constraints:      21811
1132.63/1135.79	c #Conflicts:     243000 | #Constraints:      22815
1132.63/1135.79	c #Conflicts:     244000 | #Constraints:      23817
1132.63/1135.79	c #Conflicts:     245000 | #Constraints:      24819
1132.63/1135.79	c #Conflicts:     246000 | #Constraints:      25823
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     247000 | #Constraints:      17006
1132.63/1135.79	c #Conflicts:     248000 | #Constraints:      18008
1132.63/1135.79	c #Conflicts:     249000 | #Constraints:      19010
1132.63/1135.79	c #Conflicts:     250000 | #Constraints:      20014
1132.63/1135.79	c #Conflicts:     251000 | #Constraints:      21016
1132.63/1135.79	c #Conflicts:     252000 | #Constraints:      22018
1132.63/1135.79	c #Conflicts:     253000 | #Constraints:      23022
1132.63/1135.79	c #Conflicts:     254000 | #Constraints:      24024
1132.63/1135.79	c #Conflicts:     255000 | #Constraints:      25026
1132.63/1135.79	c #Conflicts:     256000 | #Constraints:      26030
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     257000 | #Constraints:      17017
1132.63/1135.79	c #Conflicts:     258000 | #Constraints:      18019
1132.63/1135.79	c #Conflicts:     259000 | #Constraints:      19021
1132.63/1135.79	c #Conflicts:     260000 | #Constraints:      20025
1132.63/1135.79	c #Conflicts:     261000 | #Constraints:      21027
1132.63/1135.79	c #Conflicts:     262000 | #Constraints:      22029
1132.63/1135.79	c #Conflicts:     263000 | #Constraints:      23033
1132.63/1135.79	c #Conflicts:     264000 | #Constraints:      24035
1132.63/1135.79	c #Conflicts:     265000 | #Constraints:      25037
1132.63/1135.79	c #Conflicts:     266000 | #Constraints:      26041
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     267000 | #Constraints:      16816
1132.63/1135.79	c #Conflicts:     268000 | #Constraints:      17818
1132.63/1135.79	c #Conflicts:     269000 | #Constraints:      18822
1132.63/1135.79	c #Conflicts:     270000 | #Constraints:      19824
1132.63/1135.79	c #Conflicts:     271000 | #Constraints:      20826
1132.63/1135.79	c #Conflicts:     272000 | #Constraints:      21830
1132.63/1135.79	c #Conflicts:     273000 | #Constraints:      22832
1132.63/1135.79	c #Conflicts:     274000 | #Constraints:      23834
1132.63/1135.79	c #Conflicts:     275000 | #Constraints:      24838
1132.63/1135.79	c #Conflicts:     276000 | #Constraints:      25840
1132.63/1135.79	c #Conflicts:     277000 | #Constraints:      26842
1132.63/1135.79	c INPROCESSING
1132.63/1135.79	c GARBAGE COLLECT
1132.63/1135.79	c #Conflicts:     278000 | #Constraints:      17427
1132.63/1135.79	c #Conflicts:     279000 | #Constraints:      18429
1132.63/1135.79	c #Conflicts:     280000 | #Constraints:      19431
1497.88/1501.95	c #Conflicts:     281000 | #Constraints:      20435
1497.88/1501.95	c #Conflicts:     282000 | #Constraints:      21437
1497.88/1501.95	c #Conflicts:     283000 | #Constraints:      22439
1497.88/1501.95	c #Conflicts:     284000 | #Constraints:      23443
1497.88/1501.95	c #Conflicts:     285000 | #Constraints:      24445
1497.88/1501.95	c #Conflicts:     286000 | #Constraints:      25447
1497.88/1501.95	c #Conflicts:     287000 | #Constraints:      26451
1497.88/1501.95	c #Conflicts:     288000 | #Constraints:      27453
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     289000 | #Constraints:      17861
1497.88/1501.95	c #Conflicts:     290000 | #Constraints:      18863
1497.88/1501.95	c #Conflicts:     291000 | #Constraints:      19865
1497.88/1501.95	c #Conflicts:     292000 | #Constraints:      20869
1497.88/1501.95	c #Conflicts:     293000 | #Constraints:      21871
1497.88/1501.95	c #Conflicts:     294000 | #Constraints:      22873
1497.88/1501.95	c #Conflicts:     295000 | #Constraints:      23877
1497.88/1501.95	c #Conflicts:     296000 | #Constraints:      24879
1497.88/1501.95	c #Conflicts:     297000 | #Constraints:      25881
1497.88/1501.95	c #Conflicts:     298000 | #Constraints:      26885
1497.88/1501.95	c #Conflicts:     299000 | #Constraints:      27887
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     300000 | #Constraints:      18098
1497.88/1501.95	c #Conflicts:     301000 | #Constraints:      19100
1497.88/1501.95	c #Conflicts:     302000 | #Constraints:      20102
1497.88/1501.95	c #Conflicts:     303000 | #Constraints:      21106
1497.88/1501.95	c #Conflicts:     304000 | #Constraints:      22108
1497.88/1501.95	c #Conflicts:     305000 | #Constraints:      23110
1497.88/1501.95	c #Conflicts:     306000 | #Constraints:      24114
1497.88/1501.95	c #Conflicts:     307000 | #Constraints:      25116
1497.88/1501.95	c #Conflicts:     308000 | #Constraints:      26118
1497.88/1501.95	c #Conflicts:     309000 | #Constraints:      27122
1497.88/1501.95	c #Conflicts:     310000 | #Constraints:      28124
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     311000 | #Constraints:      18137
1497.88/1501.95	c #Conflicts:     312000 | #Constraints:      19139
1497.88/1501.95	c #Conflicts:     313000 | #Constraints:      20141
1497.88/1501.95	c #Conflicts:     314000 | #Constraints:      21145
1497.88/1501.95	c #Conflicts:     315000 | #Constraints:      22147
1497.88/1501.95	c #Conflicts:     316000 | #Constraints:      23149
1497.88/1501.95	c #Conflicts:     317000 | #Constraints:      24153
1497.88/1501.95	c #Conflicts:     318000 | #Constraints:      25155
1497.88/1501.95	c #Conflicts:     319000 | #Constraints:      26157
1497.88/1501.95	c #Conflicts:     320000 | #Constraints:      27161
1497.88/1501.95	c #Conflicts:     321000 | #Constraints:      28163
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     322000 | #Constraints:      17980
1497.88/1501.95	c #Conflicts:     323000 | #Constraints:      18982
1497.88/1501.95	c #Conflicts:     324000 | #Constraints:      19986
1497.88/1501.95	c #Conflicts:     325000 | #Constraints:      20988
1497.88/1501.95	c #Conflicts:     326000 | #Constraints:      21990
1497.88/1501.95	c #Conflicts:     327000 | #Constraints:      22994
1497.88/1501.95	c #Conflicts:     328000 | #Constraints:      23996
1497.88/1501.95	c #Conflicts:     329000 | #Constraints:      24998
1497.88/1501.95	c #Conflicts:     330000 | #Constraints:      26002
1497.88/1501.95	c #Conflicts:     331000 | #Constraints:      27004
1497.88/1501.95	c #Conflicts:     332000 | #Constraints:      28006
1497.88/1501.95	c #Conflicts:     333000 | #Constraints:      29010
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     334000 | #Constraints:      18630
1497.88/1501.95	c #Conflicts:     335000 | #Constraints:      19632
1497.88/1501.95	c #Conflicts:     336000 | #Constraints:      20634
1497.88/1501.95	c #Conflicts:     337000 | #Constraints:      21638
1497.88/1501.95	c #Conflicts:     338000 | #Constraints:      22640
1497.88/1501.95	c #Conflicts:     339000 | #Constraints:      23642
1497.88/1501.95	c #Conflicts:     340000 | #Constraints:      24646
1497.88/1501.95	c #Conflicts:     341000 | #Constraints:      25648
1497.88/1501.95	c #Conflicts:     342000 | #Constraints:      26650
1497.88/1501.95	c #Conflicts:     343000 | #Constraints:      27654
1497.88/1501.95	c #Conflicts:     344000 | #Constraints:      28656
1497.88/1501.95	c #Conflicts:     345000 | #Constraints:      29658
1497.88/1501.95	c INPROCESSING
1497.88/1501.95	c GARBAGE COLLECT
1497.88/1501.95	c #Conflicts:     346000 | #Constraints:      19058
1497.88/1501.95	c #Conflicts:     347000 | #Constraints:      20060
1497.88/1501.95	c #Conflicts:     348000 | #Constraints:      21062
1497.88/1501.95	c #Conflicts:     349000 | #Constraints:      22066
1497.88/1501.95	c #Conflicts:     350000 | #Constraints:      23068
1497.88/1501.95	c #Conflicts:     351000 | #Constraints:      24070
1497.88/1501.95	c #Conflicts:     352000 | #Constraints:      25074
1497.88/1501.95	c #Conflicts:     353000 | #Constraints:      26076
1497.88/1501.95	c #Conflicts:     354000 | #Constraints:      27078
1497.88/1501.95	c #Conflicts:     355000 | #Constraints:      28082
1850.26/1855.22	c #Conflicts:     356000 | #Constraints:      29084
1850.26/1855.22	c #Conflicts:     357000 | #Constraints:      30086
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     358000 | #Constraints:      19256
1850.26/1855.22	c #Conflicts:     359000 | #Constraints:      20258
1850.26/1855.22	c #Conflicts:     360000 | #Constraints:      21260
1850.26/1855.22	c #Conflicts:     361000 | #Constraints:      22264
1850.26/1855.22	c #Conflicts:     362000 | #Constraints:      23266
1850.26/1855.22	c #Conflicts:     363000 | #Constraints:      24268
1850.26/1855.22	c #Conflicts:     364000 | #Constraints:      25272
1850.26/1855.22	c #Conflicts:     365000 | #Constraints:      26274
1850.26/1855.22	c #Conflicts:     366000 | #Constraints:      27276
1850.26/1855.22	c #Conflicts:     367000 | #Constraints:      28280
1850.26/1855.22	c #Conflicts:     368000 | #Constraints:      29282
1850.26/1855.22	c #Conflicts:     369000 | #Constraints:      30284
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     370000 | #Constraints:      19284
1850.26/1855.22	c #Conflicts:     371000 | #Constraints:      20286
1850.26/1855.22	c #Conflicts:     372000 | #Constraints:      21288
1850.26/1855.22	c #Conflicts:     373000 | #Constraints:      22292
1850.26/1855.22	c #Conflicts:     374000 | #Constraints:      23294
1850.26/1855.22	c #Conflicts:     375000 | #Constraints:      24296
1850.26/1855.22	c #Conflicts:     376000 | #Constraints:      25300
1850.26/1855.22	c #Conflicts:     377000 | #Constraints:      26302
1850.26/1855.22	c #Conflicts:     378000 | #Constraints:      27304
1850.26/1855.22	c #Conflicts:     379000 | #Constraints:      28308
1850.26/1855.22	c #Conflicts:     380000 | #Constraints:      29310
1850.26/1855.22	c #Conflicts:     381000 | #Constraints:      30312
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     382000 | #Constraints:      19121
1850.26/1855.22	c #Conflicts:     383000 | #Constraints:      20123
1850.26/1855.22	c #Conflicts:     384000 | #Constraints:      21127
1850.26/1855.22	c #Conflicts:     385000 | #Constraints:      22129
1850.26/1855.22	c #Conflicts:     386000 | #Constraints:      23131
1850.26/1855.22	c #Conflicts:     387000 | #Constraints:      24135
1850.26/1855.22	c #Conflicts:     388000 | #Constraints:      25137
1850.26/1855.22	c #Conflicts:     389000 | #Constraints:      26139
1850.26/1855.22	c #Conflicts:     390000 | #Constraints:      27143
1850.26/1855.22	c #Conflicts:     391000 | #Constraints:      28145
1850.26/1855.22	c #Conflicts:     392000 | #Constraints:      29147
1850.26/1855.22	c #Conflicts:     393000 | #Constraints:      30151
1850.26/1855.22	c #Conflicts:     394000 | #Constraints:      31153
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     395000 | #Constraints:      19775
1850.26/1855.22	c #Conflicts:     396000 | #Constraints:      20777
1850.26/1855.22	c #Conflicts:     397000 | #Constraints:      21779
1850.26/1855.22	c #Conflicts:     398000 | #Constraints:      22783
1850.26/1855.22	c #Conflicts:     399000 | #Constraints:      23785
1850.26/1855.22	c #Conflicts:     400000 | #Constraints:      24787
1850.26/1855.22	c #Conflicts:     401000 | #Constraints:      25791
1850.26/1855.22	c #Conflicts:     402000 | #Constraints:      26793
1850.26/1855.22	c #Conflicts:     403000 | #Constraints:      27795
1850.26/1855.22	c #Conflicts:     404000 | #Constraints:      28799
1850.26/1855.22	c #Conflicts:     405000 | #Constraints:      29801
1850.26/1855.22	c #Conflicts:     406000 | #Constraints:      30803
1850.26/1855.22	c #Conflicts:     407000 | #Constraints:      31807
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     408000 | #Constraints:      20236
1850.26/1855.22	c #Conflicts:     409000 | #Constraints:      21238
1850.26/1855.22	c #Conflicts:     410000 | #Constraints:      22240
1850.26/1855.22	c #Conflicts:     411000 | #Constraints:      23244
1850.26/1855.22	c #Conflicts:     412000 | #Constraints:      24246
1850.26/1855.22	c #Conflicts:     413000 | #Constraints:      25248
1850.26/1855.22	c #Conflicts:     414000 | #Constraints:      26252
1850.26/1855.22	c #Conflicts:     415000 | #Constraints:      27254
1850.26/1855.22	c #Conflicts:     416000 | #Constraints:      28256
1850.26/1855.22	c #Conflicts:     417000 | #Constraints:      29260
1850.26/1855.22	c #Conflicts:     418000 | #Constraints:      30262
1850.26/1855.22	c #Conflicts:     419000 | #Constraints:      31264
1850.26/1855.22	c #Conflicts:     420000 | #Constraints:      32268
1850.26/1855.22	c INPROCESSING
1850.26/1855.22	c GARBAGE COLLECT
1850.26/1855.22	c #Conflicts:     421000 | #Constraints:      20478
1850.26/1855.22	c #Conflicts:     422000 | #Constraints:      21480
1850.26/1855.22	c #Conflicts:     423000 | #Constraints:      22482
1850.26/1855.22	c #Conflicts:     424000 | #Constraints:      23486
1850.26/1855.22	c #Conflicts:     425000 | #Constraints:      24488
1850.26/1855.22	c #Conflicts:     426000 | #Constraints:      25490
1850.26/1855.22	c #Conflicts:     427000 | #Constraints:      26494
1850.26/1855.22	c #Conflicts:     428000 | #Constraints:      27496
1850.26/1855.22	c #Conflicts:     429000 | #Constraints:      28498
1850.26/1855.22	c #Conflicts:     430000 | #Constraints:      29502
2097.71/2103.34	c #Conflicts:     431000 | #Constraints:      30504
2097.71/2103.34	c #Conflicts:     432000 | #Constraints:      31506
2097.71/2103.34	c #Conflicts:     433000 | #Constraints:      32510
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     434000 | #Constraints:      20526
2097.71/2103.34	c #Conflicts:     435000 | #Constraints:      21528
2097.71/2103.34	c #Conflicts:     436000 | #Constraints:      22530
2097.71/2103.34	c #Conflicts:     437000 | #Constraints:      23534
2097.71/2103.34	c #Conflicts:     438000 | #Constraints:      24536
2097.71/2103.34	c #Conflicts:     439000 | #Constraints:      25538
2097.71/2103.34	c #Conflicts:     440000 | #Constraints:      26542
2097.71/2103.34	c #Conflicts:     441000 | #Constraints:      27544
2097.71/2103.34	c #Conflicts:     442000 | #Constraints:      28546
2097.71/2103.34	c #Conflicts:     443000 | #Constraints:      29550
2097.71/2103.34	c #Conflicts:     444000 | #Constraints:      30552
2097.71/2103.34	c #Conflicts:     445000 | #Constraints:      31554
2097.71/2103.34	c #Conflicts:     446000 | #Constraints:      32558
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     447000 | #Constraints:      20368
2097.71/2103.34	c #Conflicts:     448000 | #Constraints:      21370
2097.71/2103.34	c #Conflicts:     449000 | #Constraints:      22374
2097.71/2103.34	c #Conflicts:     450000 | #Constraints:      23376
2097.71/2103.34	c #Conflicts:     451000 | #Constraints:      24378
2097.71/2103.34	c #Conflicts:     452000 | #Constraints:      25382
2097.71/2103.34	c #Conflicts:     453000 | #Constraints:      26384
2097.71/2103.34	c #Conflicts:     454000 | #Constraints:      27386
2097.71/2103.34	c #Conflicts:     455000 | #Constraints:      28390
2097.71/2103.34	c #Conflicts:     456000 | #Constraints:      29392
2097.71/2103.34	c #Conflicts:     457000 | #Constraints:      30394
2097.71/2103.34	c #Conflicts:     458000 | #Constraints:      31398
2097.71/2103.34	c #Conflicts:     459000 | #Constraints:      32400
2097.71/2103.34	c #Conflicts:     460000 | #Constraints:      33402
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     461000 | #Constraints:      20977
2097.71/2103.34	c #Conflicts:     462000 | #Constraints:      21979
2097.71/2103.34	c #Conflicts:     463000 | #Constraints:      22981
2097.71/2103.34	c #Conflicts:     464000 | #Constraints:      23985
2097.71/2103.34	c #Conflicts:     465000 | #Constraints:      24987
2097.71/2103.34	c #Conflicts:     466000 | #Constraints:      25989
2097.71/2103.34	c #Conflicts:     467000 | #Constraints:      26993
2097.71/2103.34	c #Conflicts:     468000 | #Constraints:      27995
2097.71/2103.34	c #Conflicts:     469000 | #Constraints:      28997
2097.71/2103.34	c #Conflicts:     470000 | #Constraints:      30001
2097.71/2103.34	c #Conflicts:     471000 | #Constraints:      31003
2097.71/2103.34	c #Conflicts:     472000 | #Constraints:      32005
2097.71/2103.34	c #Conflicts:     473000 | #Constraints:      33009
2097.71/2103.34	c #Conflicts:     474000 | #Constraints:      34011
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     475000 | #Constraints:      21400
2097.71/2103.34	c #Conflicts:     476000 | #Constraints:      22402
2097.71/2103.34	c #Conflicts:     477000 | #Constraints:      23404
2097.71/2103.34	c #Conflicts:     478000 | #Constraints:      24408
2097.71/2103.34	c #Conflicts:     479000 | #Constraints:      25410
2097.71/2103.34	c #Conflicts:     480000 | #Constraints:      26412
2097.71/2103.34	c #Conflicts:     481000 | #Constraints:      27416
2097.71/2103.34	c #Conflicts:     482000 | #Constraints:      28418
2097.71/2103.34	c #Conflicts:     483000 | #Constraints:      29420
2097.71/2103.34	c #Conflicts:     484000 | #Constraints:      30424
2097.71/2103.34	c #Conflicts:     485000 | #Constraints:      31426
2097.71/2103.34	c #Conflicts:     486000 | #Constraints:      32428
2097.71/2103.34	c #Conflicts:     487000 | #Constraints:      33432
2097.71/2103.34	c #Conflicts:     488000 | #Constraints:      34434
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     489000 | #Constraints:      21614
2097.71/2103.34	c #Conflicts:     490000 | #Constraints:      22616
2097.71/2103.34	c #Conflicts:     491000 | #Constraints:      23618
2097.71/2103.34	c #Conflicts:     492000 | #Constraints:      24622
2097.71/2103.34	c #Conflicts:     493000 | #Constraints:      25624
2097.71/2103.34	c #Conflicts:     494000 | #Constraints:      26626
2097.71/2103.34	c #Conflicts:     495000 | #Constraints:      27630
2097.71/2103.34	c #Conflicts:     496000 | #Constraints:      28632
2097.71/2103.34	c #Conflicts:     497000 | #Constraints:      29634
2097.71/2103.34	c #Conflicts:     498000 | #Constraints:      30638
2097.71/2103.34	c #Conflicts:     499000 | #Constraints:      31640
2097.71/2103.34	c #Conflicts:     500000 | #Constraints:      32642
2097.71/2103.34	c #Conflicts:     501000 | #Constraints:      33646
2097.71/2103.34	c bounds 101 >= -895 @ 2072.42
2097.71/2103.34	c #Conflicts:     502000 | #Constraints:      34650
2097.71/2103.34	c INPROCESSING
2097.71/2103.34	c GARBAGE COLLECT
2097.71/2103.34	c #Conflicts:     503000 | #Constraints:      21668
2097.71/2103.34	c #Conflicts:     504000 | #Constraints:      22670
2138.20/2143.94	c #Conflicts:     505000 | #Constraints:      23672
2138.20/2143.94	c #Conflicts:     506000 | #Constraints:      24676
2138.20/2143.94	c #Conflicts:     507000 | #Constraints:      25678
2138.20/2143.94	c #Conflicts:     508000 | #Constraints:      26680
2138.20/2143.94	c #Conflicts:     509000 | #Constraints:      27684
2138.20/2143.94	c #Conflicts:     510000 | #Constraints:      28686
2138.20/2143.94	c #Conflicts:     511000 | #Constraints:      29688
2138.20/2143.94	c #Conflicts:     512000 | #Constraints:      30692
2138.20/2143.94	c bounds 101 >= -880 @ 2116.79
2138.20/2143.94	c bounds 101 >= -861 @ 2116.85
2138.20/2143.94	c bounds 101 >= -860 @ 2116.85
2138.20/2143.94	c bounds 101 >= -859 @ 2116.86
2138.20/2143.94	c bounds 101 >= -858 @ 2116.88
2138.20/2143.94	c bounds 101 >= -857 @ 2116.89
2138.20/2143.94	c bounds 101 >= -856 @ 2116.91
2138.20/2143.94	c bounds 101 >= -855 @ 2116.93
2138.20/2143.94	c bounds 101 >= -854 @ 2116.96
2138.20/2143.94	c bounds 101 >= -853 @ 2116.98
2138.20/2143.94	c bounds 101 >= -852 @ 2116.99
2138.20/2143.94	c bounds 101 >= -851 @ 2117
2138.20/2143.94	c bounds 101 >= -850 @ 2117.01
2138.20/2143.94	c bounds 101 >= -849 @ 2117.03
2138.20/2143.94	c bounds 101 >= -848 @ 2117.04
2138.20/2143.94	c bounds 101 >= -847 @ 2117.05
2138.20/2143.94	c bounds 101 >= -846 @ 2117.06
2138.20/2143.94	c bounds 101 >= -845 @ 2117.07
2138.20/2143.94	c bounds 101 >= -844 @ 2117.08
2138.20/2143.94	c bounds 101 >= -843 @ 2117.09
2138.20/2143.94	c bounds 101 >= -842 @ 2117.1
2138.20/2143.94	c bounds 101 >= -841 @ 2117.12
2138.20/2143.94	c bounds 101 >= -840 @ 2117.14
2138.20/2143.94	c bounds 101 >= -839 @ 2117.15
2138.20/2143.94	c bounds 101 >= -838 @ 2117.16
2138.20/2143.94	c bounds 101 >= -837 @ 2117.18
2138.20/2143.94	c bounds 101 >= -836 @ 2117.19
2138.20/2143.94	c bounds 101 >= -835 @ 2117.2
2138.20/2143.94	c bounds 101 >= -834 @ 2117.21
2138.20/2143.94	c bounds 101 >= -833 @ 2117.23
2138.20/2143.94	c bounds 101 >= -832 @ 2117.24
2138.20/2143.94	c bounds 101 >= -831 @ 2117.26
2138.20/2143.94	c bounds 101 >= -830 @ 2117.27
2138.20/2143.94	c bounds 101 >= -829 @ 2117.29
2138.20/2143.94	c bounds 101 >= -828 @ 2117.31
2138.20/2143.94	c bounds 101 >= -827 @ 2117.33
2138.20/2143.94	c bounds 101 >= -826 @ 2117.34
2138.20/2143.94	c bounds 101 >= -825 @ 2117.38
2138.20/2143.94	c bounds 101 >= -824 @ 2117.4
2138.20/2143.94	c bounds 101 >= -823 @ 2117.42
2138.20/2143.94	c bounds 101 >= -822 @ 2117.44
2138.20/2143.94	c bounds 101 >= -821 @ 2117.48
2138.20/2143.94	c bounds 101 >= -820 @ 2117.5
2138.20/2143.94	c bounds 101 >= -819 @ 2117.59
2138.20/2143.94	c bounds 101 >= -818 @ 2117.64
2138.20/2143.94	c bounds 101 >= -817 @ 2117.69
2138.20/2143.94	c bounds 101 >= -816 @ 2117.73
2138.20/2143.94	c bounds 101 >= -815 @ 2117.74
2138.20/2143.94	c bounds 101 >= -814 @ 2117.78
2138.20/2143.94	c bounds 101 >= -813 @ 2117.8
2138.20/2143.94	c bounds 101 >= -812 @ 2117.83
2138.20/2143.94	c bounds 101 >= -811 @ 2117.84
2138.20/2143.94	c bounds 101 >= -810 @ 2117.86
2138.20/2143.94	c bounds 101 >= -809 @ 2117.87
2138.20/2143.94	c bounds 101 >= -808 @ 2117.91
2138.20/2143.94	c bounds 101 >= -807 @ 2117.92
2138.20/2143.94	c bounds 101 >= -806 @ 2117.94
2138.20/2143.94	c bounds 101 >= -805 @ 2117.96
2138.20/2143.94	c bounds 101 >= -804 @ 2117.99
2138.20/2143.94	c bounds 101 >= -803 @ 2118
2138.20/2143.94	c #Conflicts:     513000 | #Constraints:      32401
2138.20/2143.94	c bounds 101 >= -802 @ 2118.03
2138.20/2143.94	c bounds 101 >= -801 @ 2118.06
2138.20/2143.94	c bounds 101 >= -800 @ 2118.47
2138.20/2143.94	c #Conflicts:     514000 | #Constraints:      33464
2138.20/2143.94	c bounds 101 >= -799 @ 2119.17
2138.20/2143.94	c bounds 101 >= -798 @ 2119.24
2138.20/2143.94	c bounds 101 >= -797 @ 2119.29
2138.20/2143.94	c bounds 101 >= -796 @ 2119.3
2138.20/2143.94	c bounds 101 >= -795 @ 2119.32
2138.20/2143.94	c bounds 101 >= -794 @ 2119.35
2138.20/2143.94	c bounds 101 >= -793 @ 2119.37
2138.20/2143.94	c bounds 101 >= -792 @ 2119.4
2138.20/2143.94	c bounds 101 >= -791 @ 2119.43
2138.20/2143.94	c bounds 101 >= -790 @ 2119.46
2138.20/2143.94	c bounds 101 >= -789 @ 2119.48
2138.20/2143.94	c bounds 101 >= -788 @ 2119.5
2138.20/2143.94	c bounds 101 >= -787 @ 2119.55
2138.20/2143.94	c bounds 101 >= -786 @ 2119.56
2138.20/2143.94	c bounds 101 >= -785 @ 2119.59
2138.20/2143.94	c bounds 101 >= -784 @ 2119.62
2138.20/2143.94	c bounds 101 >= -783 @ 2119.67
2138.20/2143.94	c bounds 101 >= -782 @ 2119.71
2138.20/2143.94	c bounds 101 >= -781 @ 2119.73
2138.20/2143.94	c bounds 101 >= -780 @ 2119.78
2138.20/2143.94	c bounds 101 >= -779 @ 2119.92
2138.20/2143.94	c bounds 101 >= -778 @ 2119.94
2138.20/2143.94	c bounds 101 >= -777 @ 2120.09
2138.20/2143.94	c #Conflicts:     515000 | #Constraints:      34737
2138.20/2143.94	c bounds 101 >= -776 @ 2121.82
2138.20/2143.94	c bounds 101 >= -775 @ 2121.86
2138.20/2143.94	c bounds 101 >= -774 @ 2121.92
2138.20/2143.94	c bounds 101 >= -773 @ 2122.27
2138.20/2143.94	c bounds 101 >= -772 @ 2122.58
2138.20/2143.94	c bounds 101 >= -771 @ 2122.65
2138.20/2143.94	c bounds 101 >= -770 @ 2122.79
2138.20/2143.94	c bounds 101 >= -769 @ 2123.29
2138.20/2143.94	c bounds 101 >= -768 @ 2123.34
2138.20/2143.94	c bounds 101 >= -767 @ 2123.48
2138.20/2143.94	c bounds 101 >= -766 @ 2123.5
2138.20/2143.94	c bounds 101 >= -765 @ 2123.64
2138.20/2143.94	c bounds 101 >= -764 @ 2123.65
2138.20/2143.94	c bounds 101 >= -763 @ 2123.99
2138.20/2143.94	c bounds 101 >= -762 @ 2124.11
2138.20/2143.94	c bounds 101 >= -761 @ 2124.11
2138.20/2143.94	c bounds 101 >= -760 @ 2124.16
2138.20/2143.94	c bounds 101 >= -759 @ 2124.19
2138.20/2143.94	c bounds 101 >= -758 @ 2124.24
2138.20/2143.94	c bounds 101 >= -757 @ 2124.33
2138.20/2143.94	c bounds 101 >= -756 @ 2124.38
2138.20/2143.94	c bounds 101 >= -755 @ 2124.5
2138.20/2143.94	c bounds 101 >= -754 @ 2124.53
2138.20/2143.94	c bounds 101 >= -753 @ 2124.58
2138.20/2143.94	c bounds 101 >= -752 @ 2124.66
2138.20/2143.94	c bounds 101 >= -751 @ 2124.91
2138.20/2143.94	c bounds 101 >= -750 @ 2124.93
2138.20/2143.94	c bounds 101 >= -749 @ 2124.94
2138.20/2143.94	c #Conflicts:     516000 | #Constraints:      36229
2189.78/2195.65	c bounds 101 >= -748 @ 2125.04
2189.78/2195.65	c bounds 101 >= -747 @ 2125.06
2189.78/2195.65	c bounds 101 >= -746 @ 2125.11
2189.78/2195.65	c bounds 101 >= -745 @ 2125.12
2189.78/2195.65	c bounds 101 >= -744 @ 2125.18
2189.78/2195.65	c bounds 101 >= -743 @ 2125.25
2189.78/2195.65	c bounds 101 >= -742 @ 2125.27
2189.78/2195.65	c bounds 101 >= -741 @ 2125.28
2189.78/2195.65	c bounds 101 >= -740 @ 2125.33
2189.78/2195.65	c bounds 101 >= -739 @ 2125.38
2189.78/2195.65	c bounds 101 >= -738 @ 2125.44
2189.78/2195.65	c bounds 101 >= -737 @ 2125.64
2189.78/2195.65	c bounds 101 >= -736 @ 2126.15
2189.78/2195.65	c bounds 101 >= -735 @ 2126.96
2189.78/2195.65	c bounds 101 >= -734 @ 2127
2189.78/2195.65	c bounds 101 >= -733 @ 2127.04
2189.78/2195.65	c INPROCESSING
2189.78/2195.65	c GARBAGE COLLECT
2189.78/2195.65	c bounds 101 >= -732 @ 2128.56
2189.78/2195.65	c bounds 101 >= -731 @ 2128.65
2189.78/2195.65	c #Conflicts:     517000 | #Constraints:      22869
2189.78/2195.65	c #Conflicts:     518000 | #Constraints:      23869
2189.78/2195.65	c bounds 101 >= -730 @ 2131.55
2189.78/2195.65	c #Conflicts:     519000 | #Constraints:      24945
2189.78/2195.65	c bounds 101 >= -729 @ 2131.93
2189.78/2195.65	c #Conflicts:     520000 | #Constraints:      25961
2189.78/2195.65	c #Conflicts:     521000 | #Constraints:      26961
2189.78/2195.65	c #Conflicts:     522000 | #Constraints:      27961
2189.78/2195.65	c #Conflicts:     523000 | #Constraints:      28961
2189.78/2195.65	c #Conflicts:     524000 | #Constraints:      29961
2189.78/2195.65	c #Conflicts:     525000 | #Constraints:      30961
2189.78/2195.65	c #Conflicts:     526000 | #Constraints:      31961
2189.78/2195.65	c #Conflicts:     527000 | #Constraints:      32961
2189.78/2195.65	c bounds 101 >= -728 @ 2156.42
2189.78/2195.65	c bounds 101 >= -727 @ 2156.83
2189.78/2195.65	c bounds 101 >= -726 @ 2156.85
2189.78/2195.65	c bounds 101 >= -725 @ 2156.88
2189.78/2195.65	c bounds 101 >= -724 @ 2156.89
2189.78/2195.65	c #Conflicts:     528000 | #Constraints:      34162
2189.78/2195.65	c bounds 101 >= -723 @ 2156.99
2189.78/2195.65	c bounds 101 >= -722 @ 2157.01
2189.78/2195.65	c bounds 101 >= -721 @ 2157.06
2189.78/2195.65	c bounds 101 >= -720 @ 2157.08
2189.78/2195.65	c bounds 101 >= -719 @ 2157.8
2189.78/2195.65	c bounds 101 >= -718 @ 2157.89
2189.78/2195.65	c bounds 101 >= -717 @ 2158.08
2189.78/2195.65	c bounds 101 >= -716 @ 2158.12
2189.78/2195.65	c #Conflicts:     529000 | #Constraints:      35354
2189.78/2195.65	c bounds 101 >= -715 @ 2161.54
2189.78/2195.65	c bounds 101 >= -714 @ 2162.13
2189.78/2195.65	c bounds 101 >= -713 @ 2162.22
2189.78/2195.65	c #Conflicts:     530000 | #Constraints:      36555
2189.78/2195.65	c #Conflicts:     531000 | #Constraints:      37555
2189.78/2195.65	c INPROCESSING
2189.78/2195.65	c GARBAGE COLLECT
2189.78/2195.65	c #Conflicts:     532000 | #Constraints:      23849
2189.78/2195.65	c bounds 101 >= -712 @ 2164.02
2189.78/2195.65	c bounds 101 >= -711 @ 2164.06
2189.78/2195.65	c #Conflicts:     533000 | #Constraints:      25013
2189.78/2195.65	c #Conflicts:     534000 | #Constraints:      26013
2189.78/2195.65	c bounds 101 >= -710 @ 2165.21
2189.78/2195.65	c bounds 101 >= -709 @ 2165.24
2189.78/2195.65	c bounds 101 >= -708 @ 2165.24
2189.78/2195.65	c bounds 101 >= -707 @ 2165.24
2189.78/2195.65	c bounds 101 >= -706 @ 2165.24
2189.78/2195.65	c bounds 101 >= -705 @ 2165.24
2189.78/2195.65	c bounds 101 >= -704 @ 2165.24
2189.78/2195.65	c bounds 101 >= -703 @ 2165.25
2189.78/2195.65	c bounds 101 >= -702 @ 2165.25
2189.78/2195.65	c bounds 101 >= -701 @ 2165.25
2189.78/2195.65	c #Conflicts:     535000 | #Constraints:      27233
2189.78/2195.65	c bounds 101 >= -700 @ 2165.26
2189.78/2195.65	c bounds 101 >= -699 @ 2165.26
2189.78/2195.65	c bounds 101 >= -698 @ 2165.27
2189.78/2195.65	c bounds 101 >= -697 @ 2165.27
2189.78/2195.65	c #Conflicts:     536000 | #Constraints:      28283
2189.78/2195.65	c bounds 101 >= -696 @ 2165.42
2189.78/2195.65	c #Conflicts:     537000 | #Constraints:      29350
2189.78/2195.65	c bounds 101 >= -695 @ 2166.1
2189.78/2195.65	c bounds 101 >= -694 @ 2166.1
2189.78/2195.65	c #Conflicts:     538000 | #Constraints:      30361
2189.78/2195.65	c #Conflicts:     539000 | #Constraints:      31361
2189.78/2195.65	c #Conflicts:     540000 | #Constraints:      32361
2189.78/2195.65	c #Conflicts:     541000 | #Constraints:      33361
2189.78/2195.65	c bounds 101 >= -693 @ 2169.38
2189.78/2195.65	c bounds 101 >= -692 @ 2169.4
2189.78/2195.65	c #Conflicts:     542000 | #Constraints:      34498
2189.78/2195.65	c #Conflicts:     543000 | #Constraints:      35498
2189.78/2195.65	c #Conflicts:     544000 | #Constraints:      36498
2189.78/2195.65	c bounds 101 >= -691 @ 2170.99
2189.78/2195.65	c #Conflicts:     545000 | #Constraints:      37580
2189.78/2195.65	c #Conflicts:     546000 | #Constraints:      38580
2189.78/2195.65	c INPROCESSING
2189.78/2195.65	c GARBAGE COLLECT
2189.78/2195.65	c #Conflicts:     547000 | #Constraints:      24650
2189.78/2195.65	c bounds 101 >= -690 @ 2172.78
2189.78/2195.65	c bounds 101 >= -689 @ 2172.78
2189.78/2195.65	c #Conflicts:     548000 | #Constraints:      25675
2189.78/2195.65	c #Conflicts:     549000 | #Constraints:      26675
2189.78/2195.65	c finalizing WCE round: reformulating cores
2515.99/2522.62	c #Conflicts:     550000 | #Constraints:      27678
2515.99/2522.62	c #Conflicts:     551000 | #Constraints:      28680
2515.99/2522.62	c bounds 100 >= -859 @ 2178.02
2515.99/2522.62	c #Conflicts:     552000 | #Constraints:      29684
2515.99/2522.62	c #Conflicts:     553000 | #Constraints:      30686
2515.99/2522.62	c #Conflicts:     554000 | #Constraints:      31690
2515.99/2522.62	c #Conflicts:     555000 | #Constraints:      32692
2515.99/2522.62	c #Conflicts:     556000 | #Constraints:      33694
2515.99/2522.62	c #Conflicts:     557000 | #Constraints:      34698
2515.99/2522.62	c #Conflicts:     558000 | #Constraints:      35700
2515.99/2522.62	c #Conflicts:     559000 | #Constraints:      36702
2515.99/2522.62	c #Conflicts:     560000 | #Constraints:      37706
2515.99/2522.62	c #Conflicts:     561000 | #Constraints:      38708
2515.99/2522.62	c INPROCESSING
2515.99/2522.62	c GARBAGE COLLECT
2515.99/2522.62	c #Conflicts:     562000 | #Constraints:      24657
2515.99/2522.62	c #Conflicts:     563000 | #Constraints:      25659
2515.99/2522.62	c #Conflicts:     564000 | #Constraints:      26661
2515.99/2522.62	c #Conflicts:     565000 | #Constraints:      27665
2515.99/2522.62	c #Conflicts:     566000 | #Constraints:      28667
2515.99/2522.62	c #Conflicts:     567000 | #Constraints:      29669
2515.99/2522.62	c #Conflicts:     568000 | #Constraints:      30673
2515.99/2522.62	c bounds 100 >= -836 @ 2242.71
2515.99/2522.62	c #Conflicts:     569000 | #Constraints:      31677
2515.99/2522.62	c #Conflicts:     570000 | #Constraints:      32679
2515.99/2522.62	c #Conflicts:     571000 | #Constraints:      33683
2515.99/2522.62	c #Conflicts:     572000 | #Constraints:      34685
2515.99/2522.62	c #Conflicts:     573000 | #Constraints:      35687
2515.99/2522.62	c #Conflicts:     574000 | #Constraints:      36691
2515.99/2522.62	c #Conflicts:     575000 | #Constraints:      37693
2515.99/2522.62	c #Conflicts:     576000 | #Constraints:      38695
2515.99/2522.62	c INPROCESSING
2515.99/2522.62	c GARBAGE COLLECT
2515.99/2522.62	c #Conflicts:     577000 | #Constraints:      24599
2515.99/2522.62	c #Conflicts:     578000 | #Constraints:      25601
2515.99/2522.62	c #Conflicts:     579000 | #Constraints:      26603
2515.99/2522.62	c #Conflicts:     580000 | #Constraints:      27607
2515.99/2522.62	c #Conflicts:     581000 | #Constraints:      28609
2515.99/2522.62	c #Conflicts:     582000 | #Constraints:      29611
2515.99/2522.62	c #Conflicts:     583000 | #Constraints:      30615
2515.99/2522.62	c #Conflicts:     584000 | #Constraints:      31617
2515.99/2522.62	c #Conflicts:     585000 | #Constraints:      32619
2515.99/2522.62	c #Conflicts:     586000 | #Constraints:      33623
2515.99/2522.62	c #Conflicts:     587000 | #Constraints:      34625
2515.99/2522.62	c #Conflicts:     588000 | #Constraints:      35627
2515.99/2522.62	c #Conflicts:     589000 | #Constraints:      36631
2515.99/2522.62	c #Conflicts:     590000 | #Constraints:      37633
2515.99/2522.62	c #Conflicts:     591000 | #Constraints:      38635
2515.99/2522.62	c INPROCESSING
2515.99/2522.62	c GARBAGE COLLECT
2515.99/2522.62	c #Conflicts:     592000 | #Constraints:      24383
2515.99/2522.62	c #Conflicts:     593000 | #Constraints:      25385
2515.99/2522.62	c #Conflicts:     594000 | #Constraints:      26389
2515.99/2522.62	c #Conflicts:     595000 | #Constraints:      27391
2515.99/2522.62	c #Conflicts:     596000 | #Constraints:      28393
2515.99/2522.62	c bounds 100 >= -798 @ 2370.1
2515.99/2522.62	c #Conflicts:     597000 | #Constraints:      29399
2515.99/2522.62	c #Conflicts:     598000 | #Constraints:      30401
2515.99/2522.62	c #Conflicts:     599000 | #Constraints:      31403
2515.99/2522.62	c #Conflicts:     600000 | #Constraints:      32407
2515.99/2522.62	c #Conflicts:     601000 | #Constraints:      33409
2515.99/2522.62	c #Conflicts:     602000 | #Constraints:      34411
2515.99/2522.62	c bounds 100 >= -790 @ 2398.26
2515.99/2522.62	c #Conflicts:     603000 | #Constraints:      35417
2515.99/2522.62	c #Conflicts:     604000 | #Constraints:      36419
2515.99/2522.62	c #Conflicts:     605000 | #Constraints:      37421
2515.99/2522.62	c #Conflicts:     606000 | #Constraints:      38425
2515.99/2522.62	c #Conflicts:     607000 | #Constraints:      39427
2515.99/2522.62	c INPROCESSING
2515.99/2522.62	c GARBAGE COLLECT
2515.99/2522.62	c #Conflicts:     608000 | #Constraints:      24931
2515.99/2522.62	c #Conflicts:     609000 | #Constraints:      25933
2515.99/2522.62	c #Conflicts:     610000 | #Constraints:      26935
2515.99/2522.62	c bounds 100 >= -778 @ 2439.77
2515.99/2522.62	c #Conflicts:     611000 | #Constraints:      27941
2515.99/2522.62	c bounds 100 >= -778 @ 2439.92
2515.99/2522.62	c #Conflicts:     612000 | #Constraints:      28945
2515.99/2522.62	c bounds 100 >= -774 @ 2443.58
2515.99/2522.62	c #Conflicts:     613000 | #Constraints:      29949
2515.99/2522.62	c #Conflicts:     614000 | #Constraints:      30951
2515.99/2522.62	c #Conflicts:     615000 | #Constraints:      31955
2515.99/2522.62	c #Conflicts:     616000 | #Constraints:      32957
2515.99/2522.62	c #Conflicts:     617000 | #Constraints:      33959
2515.99/2522.62	c #Conflicts:     618000 | #Constraints:      34963
2515.99/2522.62	c #Conflicts:     619000 | #Constraints:      35965
2515.99/2522.62	c #Conflicts:     620000 | #Constraints:      36967
2515.99/2522.62	c bounds 100 >= -762 @ 2495.21
2515.99/2522.62	c #Conflicts:     621000 | #Constraints:      37973
2822.12/2829.57	c #Conflicts:     622000 | #Constraints:      38975
2822.12/2829.57	c #Conflicts:     623000 | #Constraints:      39977
2822.12/2829.57	c INPROCESSING
2822.12/2829.57	c GARBAGE COLLECT
2822.12/2829.57	c #Conflicts:     624000 | #Constraints:      25347
2822.12/2829.57	c #Conflicts:     625000 | #Constraints:      26349
2822.12/2829.57	c #Conflicts:     626000 | #Constraints:      27351
2822.12/2829.57	c #Conflicts:     627000 | #Constraints:      28355
2822.12/2829.57	c #Conflicts:     628000 | #Constraints:      29357
2822.12/2829.57	c #Conflicts:     629000 | #Constraints:      30359
2822.12/2829.57	c #Conflicts:     630000 | #Constraints:      31363
2822.12/2829.57	c #Conflicts:     631000 | #Constraints:      32365
2822.12/2829.57	c #Conflicts:     632000 | #Constraints:      33367
2822.12/2829.57	c #Conflicts:     633000 | #Constraints:      34371
2822.12/2829.57	c #Conflicts:     634000 | #Constraints:      35373
2822.12/2829.57	c #Conflicts:     635000 | #Constraints:      36375
2822.12/2829.57	c #Conflicts:     636000 | #Constraints:      37379
2822.12/2829.57	c #Conflicts:     637000 | #Constraints:      38381
2822.12/2829.57	c #Conflicts:     638000 | #Constraints:      39383
2822.12/2829.57	c #Conflicts:     639000 | #Constraints:      40387
2822.12/2829.57	c INPROCESSING
2822.12/2829.57	c GARBAGE COLLECT
2822.12/2829.57	c #Conflicts:     640000 | #Constraints:      25598
2822.12/2829.57	c #Conflicts:     641000 | #Constraints:      26600
2822.12/2829.57	c #Conflicts:     642000 | #Constraints:      27602
2822.12/2829.57	c #Conflicts:     643000 | #Constraints:      28606
2822.12/2829.57	c #Conflicts:     644000 | #Constraints:      29608
2822.12/2829.57	c #Conflicts:     645000 | #Constraints:      30610
2822.12/2829.57	c bounds 100 >= -729 @ 2586.64
2822.12/2829.57	c #Conflicts:     646000 | #Constraints:      31616
2822.12/2829.57	c #Conflicts:     647000 | #Constraints:      32618
2822.12/2829.57	c #Conflicts:     648000 | #Constraints:      33620
2822.12/2829.57	c bounds 100 >= -725 @ 2597.43
2822.12/2829.57	c bounds 100 >= -723 @ 2599.5
2822.12/2829.57	c #Conflicts:     649000 | #Constraints:      34628
2822.12/2829.57	c #Conflicts:     650000 | #Constraints:      35630
2822.12/2829.57	c bounds 100 >= -720 @ 2604.86
2822.12/2829.57	c bounds 100 >= -720 @ 2605.36
2822.12/2829.57	c #Conflicts:     651000 | #Constraints:      36636
2822.12/2829.57	c bounds 100 >= -717 @ 2609.11
2822.12/2829.57	c #Conflicts:     652000 | #Constraints:      37640
2822.12/2829.57	c #Conflicts:     653000 | #Constraints:      38644
2822.12/2829.57	c #Conflicts:     654000 | #Constraints:      39646
2822.12/2829.57	c #Conflicts:     655000 | #Constraints:      40648
2822.12/2829.57	c INPROCESSING
2822.12/2829.57	c GARBAGE COLLECT
2822.12/2829.57	c #Conflicts:     656000 | #Constraints:      25502
2822.12/2829.57	c #Conflicts:     657000 | #Constraints:      26504
2822.12/2829.57	c #Conflicts:     658000 | #Constraints:      27506
2822.12/2829.57	c #Conflicts:     659000 | #Constraints:      28510
2822.12/2829.57	c #Conflicts:     660000 | #Constraints:      29512
2822.12/2829.57	c #Conflicts:     661000 | #Constraints:      30514
2822.12/2829.57	c bounds 100 >= -704 @ 2642.05
2822.12/2829.57	c #Conflicts:     662000 | #Constraints:      31518
2822.12/2829.57	c #Conflicts:     663000 | #Constraints:      32522
2822.12/2829.57	c #Conflicts:     664000 | #Constraints:      33524
2822.12/2829.57	c bounds 100 >= -700 @ 2655.36
2822.12/2829.57	c #Conflicts:     665000 | #Constraints:      34528
2822.12/2829.57	c #Conflicts:     666000 | #Constraints:      35530
2822.12/2829.57	c #Conflicts:     667000 | #Constraints:      36532
2822.12/2829.57	c #Conflicts:     668000 | #Constraints:      37536
2822.12/2829.57	c #Conflicts:     669000 | #Constraints:      38538
2822.12/2829.57	c #Conflicts:     670000 | #Constraints:      39540
2822.12/2829.57	c #Conflicts:     671000 | #Constraints:      40544
2822.12/2829.57	c INPROCESSING
2822.12/2829.57	c GARBAGE COLLECT
2822.12/2829.57	c #Conflicts:     672000 | #Constraints:      25255
2822.12/2829.57	c bounds 100 >= -689 @ 2721.83
2822.12/2829.57	c bounds 100 >= -689 @ 2721.83
2822.12/2829.57	c bounds 100 >= -689 @ 2721.86
2822.12/2829.57	c #Conflicts:     673000 | #Constraints:      26263
2822.12/2829.57	c #Conflicts:     674000 | #Constraints:      27265
2822.12/2829.57	c #Conflicts:     675000 | #Constraints:      28269
2822.12/2829.57	c #Conflicts:     676000 | #Constraints:      29271
2822.12/2829.57	c #Conflicts:     677000 | #Constraints:      30273
2822.12/2829.57	c #Conflicts:     678000 | #Constraints:      31277
2822.12/2829.57	c #Conflicts:     679000 | #Constraints:      32279
2822.12/2829.57	c #Conflicts:     680000 | #Constraints:      33281
2822.12/2829.57	c #Conflicts:     681000 | #Constraints:      34285
2822.12/2829.57	c #Conflicts:     682000 | #Constraints:      35287
2822.12/2829.57	c #Conflicts:     683000 | #Constraints:      36289
2822.12/2829.57	c #Conflicts:     684000 | #Constraints:      37293
2822.12/2829.57	c #Conflicts:     685000 | #Constraints:      38295
2822.12/2829.57	c bounds 100 >= -670 @ 2798.84
2822.12/2829.57	c bounds 100 >= -668 @ 2798.89
2822.12/2829.57	c bounds 100 >= -667 @ 2798.92
2822.12/2829.57	c bounds 100 >= -666 @ 2798.95
2822.12/2829.57	c bounds 100 >= -665 @ 2799.04
2822.12/2829.57	c bounds 100 >= -664 @ 2799.22
2822.12/2829.57	c bounds 100 >= -663 @ 2799.31
2822.12/2829.57	c bounds 100 >= -662 @ 2799.92
2822.12/2829.57	c bounds 100 >= -661 @ 2800.29
2904.72/2912.38	c bounds 100 >= -660 @ 2800.45
2904.72/2912.38	c bounds 100 >= -659 @ 2801.42
2904.72/2912.38	c #Conflicts:     686000 | #Constraints:      39603
2904.72/2912.38	c #Conflicts:     687000 | #Constraints:      40603
2904.72/2912.38	c #Conflicts:     688000 | #Constraints:      41603
2904.72/2912.38	c INPROCESSING
2904.72/2912.38	c GARBAGE COLLECT
2904.72/2912.38	c #Conflicts:     689000 | #Constraints:      26180
2904.72/2912.38	c #Conflicts:     690000 | #Constraints:      27180
2904.72/2912.38	c #Conflicts:     691000 | #Constraints:      28180
2904.72/2912.38	c #Conflicts:     692000 | #Constraints:      29180
2904.72/2912.38	c #Conflicts:     693000 | #Constraints:      30180
2904.72/2912.38	c #Conflicts:     694000 | #Constraints:      31180
2904.72/2912.38	c #Conflicts:     695000 | #Constraints:      32180
2904.72/2912.38	c #Conflicts:     696000 | #Constraints:      33180
2904.72/2912.38	c #Conflicts:     697000 | #Constraints:      34180
2904.72/2912.38	c bounds 100 >= -658 @ 2816.35
2904.72/2912.38	c #Conflicts:     698000 | #Constraints:      35232
2904.72/2912.38	c #Conflicts:     699000 | #Constraints:      36232
2904.72/2912.38	c #Conflicts:     700000 | #Constraints:      37232
2904.72/2912.38	c #Conflicts:     701000 | #Constraints:      38232
2904.72/2912.38	c #Conflicts:     702000 | #Constraints:      39232
2904.72/2912.38	c #Conflicts:     703000 | #Constraints:      40232
2904.72/2912.38	c #Conflicts:     704000 | #Constraints:      41232
2904.72/2912.38	c #Conflicts:     705000 | #Constraints:      42232
2904.72/2912.38	c INPROCESSING
2904.72/2912.38	c GARBAGE COLLECT
2904.72/2912.38	c #Conflicts:     706000 | #Constraints:      26665
2904.72/2912.38	c #Conflicts:     707000 | #Constraints:      27665
2904.72/2912.38	c #Conflicts:     708000 | #Constraints:      28665
2904.72/2912.38	c #Conflicts:     709000 | #Constraints:      29665
2904.72/2912.38	c #Conflicts:     710000 | #Constraints:      30665
2904.72/2912.38	c #Conflicts:     711000 | #Constraints:      31665
2904.72/2912.38	c #Conflicts:     712000 | #Constraints:      32665
2904.72/2912.38	c bounds 100 >= -657 @ 2834.05
2904.72/2912.38	c bounds 100 >= -656 @ 2834.08
2904.72/2912.38	c bounds 100 >= -655 @ 2834.11
2904.72/2912.38	c bounds 100 >= -654 @ 2834.11
2904.72/2912.38	c bounds 100 >= -653 @ 2834.13
2904.72/2912.38	c bounds 100 >= -652 @ 2834.18
2904.72/2912.38	c bounds 100 >= -651 @ 2834.22
2904.72/2912.38	c #Conflicts:     713000 | #Constraints:      33933
2904.72/2912.38	c bounds 100 >= -650 @ 2834.41
2904.72/2912.38	c bounds 100 >= -649 @ 2834.49
2904.72/2912.38	c bounds 100 >= -648 @ 2834.54
2904.72/2912.38	c #Conflicts:     714000 | #Constraints:      35083
2904.72/2912.38	c bounds 100 >= -647 @ 2834.95
2904.72/2912.38	c bounds 100 >= -646 @ 2835.11
2904.72/2912.38	c #Conflicts:     715000 | #Constraints:      36160
2904.72/2912.38	c bounds 100 >= -645 @ 2835.23
2904.72/2912.38	c bounds 100 >= -644 @ 2835.28
2904.72/2912.38	c #Conflicts:     716000 | #Constraints:      37273
2904.72/2912.38	c bounds 100 >= -643 @ 2835.42
2904.72/2912.38	c #Conflicts:     717000 | #Constraints:      38316
2904.72/2912.38	c #Conflicts:     718000 | #Constraints:      39316
2904.72/2912.38	c #Conflicts:     719000 | #Constraints:      40316
2904.72/2912.38	c #Conflicts:     720000 | #Constraints:      41316
2904.72/2912.38	c #Conflicts:     721000 | #Constraints:      42316
2904.72/2912.38	c #Conflicts:     722000 | #Constraints:      43316
2904.72/2912.38	c INPROCESSING
2904.72/2912.38	c GARBAGE COLLECT
2904.72/2912.38	c #Conflicts:     723000 | #Constraints:      27418
2904.72/2912.38	c bounds 100 >= -642 @ 2838.88
2904.72/2912.38	c #Conflicts:     724000 | #Constraints:      28476
2904.72/2912.38	c #Conflicts:     725000 | #Constraints:      29476
2904.72/2912.38	c #Conflicts:     726000 | #Constraints:      30476
2904.72/2912.38	c #Conflicts:     727000 | #Constraints:      31476
2904.72/2912.38	c #Conflicts:     728000 | #Constraints:      32476
2904.72/2912.38	c #Conflicts:     729000 | #Constraints:      33476
2904.72/2912.38	c #Conflicts:     730000 | #Constraints:      34476
2904.72/2912.38	c #Conflicts:     731000 | #Constraints:      35476
2904.72/2912.38	c #Conflicts:     732000 | #Constraints:      36476
2904.72/2912.38	c #Conflicts:     733000 | #Constraints:      37476
2904.72/2912.38	c #Conflicts:     734000 | #Constraints:      38476
2904.72/2912.38	c #Conflicts:     735000 | #Constraints:      39476
2904.72/2912.38	c #Conflicts:     736000 | #Constraints:      40476
2904.72/2912.38	c #Conflicts:     737000 | #Constraints:      41476
2904.72/2912.38	c #Conflicts:     738000 | #Constraints:      42476
2904.72/2912.38	c #Conflicts:     739000 | #Constraints:      43476
2904.72/2912.38	c INPROCESSING
2904.72/2912.38	c GARBAGE COLLECT
2904.72/2912.38	c #Conflicts:     740000 | #Constraints:      27423
2904.72/2912.38	c #Conflicts:     741000 | #Constraints:      28423
2904.72/2912.38	c #Conflicts:     742000 | #Constraints:      29423
2904.72/2912.38	c #Conflicts:     743000 | #Constraints:      30423
2904.72/2912.38	c #Conflicts:     744000 | #Constraints:      31423
2904.72/2912.38	c #Conflicts:     745000 | #Constraints:      32423
2904.72/2912.38	c #Conflicts:     746000 | #Constraints:      33423
2904.72/2912.38	c #Conflicts:     747000 | #Constraints:      34423
2904.72/2912.38	c #Conflicts:     748000 | #Constraints:      35423
2904.72/2912.38	c #Conflicts:     749000 | #Constraints:      36423
2904.72/2912.38	c #Conflicts:     750000 | #Constraints:      37423
3112.50/3120.69	c #Conflicts:     751000 | #Constraints:      38423
3112.50/3120.69	c #Conflicts:     752000 | #Constraints:      39423
3112.50/3120.69	c #Conflicts:     753000 | #Constraints:      40423
3112.50/3120.69	c #Conflicts:     754000 | #Constraints:      41423
3112.50/3120.69	c #Conflicts:     755000 | #Constraints:      42423
3112.50/3120.69	c #Conflicts:     756000 | #Constraints:      43423
3112.50/3120.69	c INPROCESSING
3112.50/3120.69	c GARBAGE COLLECT
3112.50/3120.69	c #Conflicts:     757000 | #Constraints:      27199
3112.50/3120.69	c #Conflicts:     758000 | #Constraints:      28199
3112.50/3120.69	c #Conflicts:     759000 | #Constraints:      29199
3112.50/3120.69	c #Conflicts:     760000 | #Constraints:      30199
3112.50/3120.69	c #Conflicts:     761000 | #Constraints:      31199
3112.50/3120.69	c #Conflicts:     762000 | #Constraints:      32199
3112.50/3120.69	c #Conflicts:     763000 | #Constraints:      33199
3112.50/3120.69	c #Conflicts:     764000 | #Constraints:      34199
3112.50/3120.69	c #Conflicts:     765000 | #Constraints:      35199
3112.50/3120.69	c #Conflicts:     766000 | #Constraints:      36199
3112.50/3120.69	c #Conflicts:     767000 | #Constraints:      37199
3112.50/3120.69	c #Conflicts:     768000 | #Constraints:      38199
3112.50/3120.69	c #Conflicts:     769000 | #Constraints:      39199
3112.50/3120.69	c #Conflicts:     770000 | #Constraints:      40199
3112.50/3120.69	c #Conflicts:     771000 | #Constraints:      41199
3112.50/3120.69	c #Conflicts:     772000 | #Constraints:      42199
3112.50/3120.69	c #Conflicts:     773000 | #Constraints:      43199
3112.50/3120.69	c #Conflicts:     774000 | #Constraints:      44199
3112.50/3120.69	c INPROCESSING
3112.50/3120.69	c GARBAGE COLLECT
3112.50/3120.69	c #Conflicts:     775000 | #Constraints:      27784
3112.50/3120.69	c #Conflicts:     776000 | #Constraints:      28784
3112.50/3120.69	c #Conflicts:     777000 | #Constraints:      29784
3112.50/3120.69	c #Conflicts:     778000 | #Constraints:      30784
3112.50/3120.69	c #Conflicts:     779000 | #Constraints:      31784
3112.50/3120.69	c #Conflicts:     780000 | #Constraints:      32784
3112.50/3120.69	c #Conflicts:     781000 | #Constraints:      33784
3112.50/3120.69	c #Conflicts:     782000 | #Constraints:      34784
3112.50/3120.69	c #Conflicts:     783000 | #Constraints:      35784
3112.50/3120.69	c #Conflicts:     784000 | #Constraints:      36784
3112.50/3120.69	c #Conflicts:     785000 | #Constraints:      37784
3112.50/3120.69	c #Conflicts:     786000 | #Constraints:      38784
3112.50/3120.69	c #Conflicts:     787000 | #Constraints:      39784
3112.50/3120.69	c #Conflicts:     788000 | #Constraints:      40784
3112.50/3120.69	c #Conflicts:     789000 | #Constraints:      41784
3112.50/3120.69	c #Conflicts:     790000 | #Constraints:      42784
3112.50/3120.69	c #Conflicts:     791000 | #Constraints:      43784
3112.50/3120.69	c #Conflicts:     792000 | #Constraints:      44784
3112.50/3120.69	c INPROCESSING
3112.50/3120.69	c GARBAGE COLLECT
3112.50/3120.69	c #Conflicts:     793000 | #Constraints:      28181
3112.50/3120.69	c #Conflicts:     794000 | #Constraints:      29181
3112.50/3120.69	c #Conflicts:     795000 | #Constraints:      30181
3112.50/3120.69	c #Conflicts:     796000 | #Constraints:      31181
3112.50/3120.69	c #Conflicts:     797000 | #Constraints:      32181
3112.50/3120.69	c #Conflicts:     798000 | #Constraints:      33181
3112.50/3120.69	c #Conflicts:     799000 | #Constraints:      34181
3112.50/3120.69	c #Conflicts:     800000 | #Constraints:      35181
3112.50/3120.69	c #Conflicts:     801000 | #Constraints:      36181
3112.50/3120.69	c #Conflicts:     802000 | #Constraints:      37181
3112.50/3120.69	c #Conflicts:     803000 | #Constraints:      38181
3112.50/3120.69	c #Conflicts:     804000 | #Constraints:      39181
3112.50/3120.69	c #Conflicts:     805000 | #Constraints:      40181
3112.50/3120.69	c #Conflicts:     806000 | #Constraints:      41181
3112.50/3120.69	c #Conflicts:     807000 | #Constraints:      42181
3112.50/3120.69	c #Conflicts:     808000 | #Constraints:      43181
3112.50/3120.69	c #Conflicts:     809000 | #Constraints:      44181
3112.50/3120.69	c #Conflicts:     810000 | #Constraints:      45181
3112.50/3120.69	c INPROCESSING
3112.50/3120.69	c GARBAGE COLLECT
3112.50/3120.69	c #Conflicts:     811000 | #Constraints:      28371
3112.50/3120.69	c #Conflicts:     812000 | #Constraints:      29371
3112.50/3120.69	c #Conflicts:     813000 | #Constraints:      30371
3112.50/3120.69	c #Conflicts:     814000 | #Constraints:      31371
3112.50/3120.69	c #Conflicts:     815000 | #Constraints:      32371
3112.50/3120.69	c #Conflicts:     816000 | #Constraints:      33371
3112.50/3120.69	c #Conflicts:     817000 | #Constraints:      34371
3112.50/3120.69	c #Conflicts:     818000 | #Constraints:      35371
3112.50/3120.69	c #Conflicts:     819000 | #Constraints:      36371
3112.50/3120.69	c #Conflicts:     820000 | #Constraints:      37371
3112.50/3120.69	c #Conflicts:     821000 | #Constraints:      38371
3112.50/3120.69	c #Conflicts:     822000 | #Constraints:      39371
3112.50/3120.69	c #Conflicts:     823000 | #Constraints:      40371
3112.50/3120.69	c #Conflicts:     824000 | #Constraints:      41371
3112.50/3120.69	c #Conflicts:     825000 | #Constraints:      42371
3112.50/3120.69	c #Conflicts:     826000 | #Constraints:      43371
3352.62/3361.33	c #Conflicts:     827000 | #Constraints:      44371
3352.62/3361.33	c #Conflicts:     828000 | #Constraints:      45371
3352.62/3361.33	c INPROCESSING
3352.62/3361.33	c GARBAGE COLLECT
3352.62/3361.33	c #Conflicts:     829000 | #Constraints:      28370
3352.62/3361.33	c #Conflicts:     830000 | #Constraints:      29370
3352.62/3361.33	c #Conflicts:     831000 | #Constraints:      30370
3352.62/3361.33	c #Conflicts:     832000 | #Constraints:      31370
3352.62/3361.33	c #Conflicts:     833000 | #Constraints:      32370
3352.62/3361.33	c #Conflicts:     834000 | #Constraints:      33370
3352.62/3361.33	c #Conflicts:     835000 | #Constraints:      34370
3352.62/3361.33	c #Conflicts:     836000 | #Constraints:      35370
3352.62/3361.33	c #Conflicts:     837000 | #Constraints:      36370
3352.62/3361.33	c #Conflicts:     838000 | #Constraints:      37370
3352.62/3361.33	c #Conflicts:     839000 | #Constraints:      38370
3352.62/3361.33	c #Conflicts:     840000 | #Constraints:      39370
3352.62/3361.33	c #Conflicts:     841000 | #Constraints:      40370
3352.62/3361.33	c #Conflicts:     842000 | #Constraints:      41370
3352.62/3361.33	c #Conflicts:     843000 | #Constraints:      42370
3352.62/3361.33	c #Conflicts:     844000 | #Constraints:      43370
3352.62/3361.33	c #Conflicts:     845000 | #Constraints:      44370
3352.62/3361.33	c #Conflicts:     846000 | #Constraints:      45370
3352.62/3361.33	c INPROCESSING
3352.62/3361.33	c GARBAGE COLLECT
3352.62/3361.33	c #Conflicts:     847000 | #Constraints:      28170
3352.62/3361.33	c #Conflicts:     848000 | #Constraints:      29170
3352.62/3361.33	c #Conflicts:     849000 | #Constraints:      30170
3352.62/3361.33	c #Conflicts:     850000 | #Constraints:      31170
3352.62/3361.33	c #Conflicts:     851000 | #Constraints:      32170
3352.62/3361.33	c #Conflicts:     852000 | #Constraints:      33170
3352.62/3361.33	c #Conflicts:     853000 | #Constraints:      34170
3352.62/3361.33	c #Conflicts:     854000 | #Constraints:      35170
3352.62/3361.33	c #Conflicts:     855000 | #Constraints:      36170
3352.62/3361.33	c #Conflicts:     856000 | #Constraints:      37170
3352.62/3361.33	c #Conflicts:     857000 | #Constraints:      38170
3352.62/3361.33	c #Conflicts:     858000 | #Constraints:      39170
3352.62/3361.33	c #Conflicts:     859000 | #Constraints:      40170
3352.62/3361.33	c #Conflicts:     860000 | #Constraints:      41170
3352.62/3361.33	c #Conflicts:     861000 | #Constraints:      42170
3352.62/3361.33	c #Conflicts:     862000 | #Constraints:      43170
3352.62/3361.33	c #Conflicts:     863000 | #Constraints:      44170
3352.62/3361.33	c #Conflicts:     864000 | #Constraints:      45170
3352.62/3361.33	c #Conflicts:     865000 | #Constraints:      46170
3352.62/3361.33	c INPROCESSING
3352.62/3361.33	c GARBAGE COLLECT
3352.62/3361.33	c #Conflicts:     866000 | #Constraints:      28772
3352.62/3361.33	c #Conflicts:     867000 | #Constraints:      29772
3352.62/3361.33	c #Conflicts:     868000 | #Constraints:      30772
3352.62/3361.33	c #Conflicts:     869000 | #Constraints:      31772
3352.62/3361.33	c #Conflicts:     870000 | #Constraints:      32772
3352.62/3361.33	c #Conflicts:     871000 | #Constraints:      33772
3352.62/3361.33	c #Conflicts:     872000 | #Constraints:      34772
3352.62/3361.33	c #Conflicts:     873000 | #Constraints:      35772
3352.62/3361.33	c #Conflicts:     874000 | #Constraints:      36772
3352.62/3361.33	c #Conflicts:     875000 | #Constraints:      37772
3352.62/3361.33	c #Conflicts:     876000 | #Constraints:      38772
3352.62/3361.33	c #Conflicts:     877000 | #Constraints:      39772
3352.62/3361.33	c #Conflicts:     878000 | #Constraints:      40772
3352.62/3361.33	c #Conflicts:     879000 | #Constraints:      41772
3352.62/3361.33	c #Conflicts:     880000 | #Constraints:      42772
3352.62/3361.33	c #Conflicts:     881000 | #Constraints:      43772
3352.62/3361.33	c #Conflicts:     882000 | #Constraints:      44772
3352.62/3361.33	c #Conflicts:     883000 | #Constraints:      45772
3352.62/3361.33	c #Conflicts:     884000 | #Constraints:      46772
3352.62/3361.33	c INPROCESSING
3352.62/3361.33	c GARBAGE COLLECT
3352.62/3361.33	c #Conflicts:     885000 | #Constraints:      29177
3352.62/3361.33	c #Conflicts:     886000 | #Constraints:      30177
3352.62/3361.33	c #Conflicts:     887000 | #Constraints:      31177
3352.62/3361.33	c #Conflicts:     888000 | #Constraints:      32177
3352.62/3361.33	c #Conflicts:     889000 | #Constraints:      33177
3352.62/3361.33	c #Conflicts:     890000 | #Constraints:      34177
3352.62/3361.33	c #Conflicts:     891000 | #Constraints:      35177
3352.62/3361.33	c #Conflicts:     892000 | #Constraints:      36177
3352.62/3361.33	c #Conflicts:     893000 | #Constraints:      37177
3352.62/3361.33	c #Conflicts:     894000 | #Constraints:      38177
3352.62/3361.33	c #Conflicts:     895000 | #Constraints:      39177
3352.62/3361.33	c #Conflicts:     896000 | #Constraints:      40177
3352.62/3361.33	c #Conflicts:     897000 | #Constraints:      41177
3352.62/3361.33	c #Conflicts:     898000 | #Constraints:      42177
3352.62/3361.33	c #Conflicts:     899000 | #Constraints:      43177
3352.62/3361.33	c #Conflicts:     900000 | #Constraints:      44177
3352.62/3361.33	c #Conflicts:     901000 | #Constraints:      45177
3352.62/3361.33	c #Conflicts:     902000 | #Constraints:      46177
3352.62/3361.33	c #Conflicts:     903000 | #Constraints:      47177
3600.01/3609.31	c #Conflicts:     904000 | #Constraints:      48177
3600.01/3609.31	c #Conflicts:     905000 | #Constraints:      49177
3600.01/3609.31	c #Conflicts:     906000 | #Constraints:      50177
3600.01/3609.31	c #Conflicts:     907000 | #Constraints:      51177
3600.01/3609.31	c #Conflicts:     908000 | #Constraints:      52177
3600.01/3609.31	c #Conflicts:     909000 | #Constraints:      53177
3600.01/3609.31	c #Conflicts:     910000 | #Constraints:      54177
3600.01/3609.31	c #Conflicts:     911000 | #Constraints:      55177
3600.01/3609.31	c #Conflicts:     912000 | #Constraints:      56177
3600.01/3609.31	c #Conflicts:     913000 | #Constraints:      57177
3600.01/3609.31	c #Conflicts:     914000 | #Constraints:      58177
3600.01/3609.31	c #Conflicts:     915000 | #Constraints:      59177
3600.01/3609.31	c #Conflicts:     916000 | #Constraints:      60177
3600.01/3609.31	c #Conflicts:     917000 | #Constraints:      61177
3600.01/3609.31	c #Conflicts:     918000 | #Constraints:      62177
3600.01/3609.31	c #Conflicts:     919000 | #Constraints:      63177
3600.01/3609.31	c #Conflicts:     920000 | #Constraints:      64177
3600.01/3609.31	c #Conflicts:     921000 | #Constraints:      65177
3600.01/3609.31	c #Conflicts:     922000 | #Constraints:      66177
3600.01/3609.31	c #Conflicts:     923000 | #Constraints:      67177
3600.01/3609.31	c #Conflicts:     924000 | #Constraints:      68177
3600.01/3609.31	c #Conflicts:     925000 | #Constraints:      69177
3600.01/3609.31	c #Conflicts:     926000 | #Constraints:      70177
3600.01/3609.31	c #Conflicts:     927000 | #Constraints:      71177
3600.01/3609.31	c #Conflicts:     928000 | #Constraints:      72177
3600.01/3609.31	c #Conflicts:     929000 | #Constraints:      73177
3600.01/3609.31	c #Conflicts:     930000 | #Constraints:      74177
3600.01/3609.31	c #Conflicts:     931000 | #Constraints:      75177
3600.01/3609.31	c Program interrupted by user.
3600.01/3609.31	c cpu time 3575.18 s
3600.01/3609.31	c deterministic time 323786852281 3.24e+11
3600.01/3609.31	c optimization time 2780.45 s
3600.01/3609.31	c total solve time 794.719 s
3600.01/3609.31	c core-guided solve time 794.719 s
3600.01/3609.31	c propagation time 2698.08 s
3600.01/3609.31	c conflict analysis time 482.913 s
3600.01/3609.31	c propagations 315902982
3600.01/3609.31	c resolve steps 5585228
3600.01/3609.31	c decisions 28811753
3600.01/3609.31	c conflicts 931482
3600.01/3609.31	c restarts 2042
3600.01/3609.31	c inprocessing phases 85
3600.01/3609.31	c input clauses 6118
3600.01/3609.31	c input cardinalities 2682
3600.01/3609.31	c input general constraints 3694
3600.01/3609.31	c input average constraint length 315.11
3600.01/3609.31	c input average constraint degree 98.78
3600.01/3609.31	c learned clauses 135043
3600.01/3609.31	c learned cardinalities 1703
3600.01/3609.31	c learned general constraints 795224
3600.01/3609.31	c learned average constraint length 1810.19
3600.01/3609.31	c learned average constraint degree 1724723.99
3600.01/3609.31	c watched constraints 253268
3600.01/3609.31	c counting constraints 545650
3600.01/3609.31	c gcd simplifications 15495
3600.01/3609.31	c detected cardinalities 44
3600.01/3609.31	c weakened non-implied lits 149762089
3600.01/3609.31	c weakened non-implying lits 40974
3600.01/3609.31	c original variables 4447
3600.01/3609.31	c clausal propagations 53419020
3600.01/3609.31	c cardinality propagations 13873812
3600.01/3609.31	c watched propagations 12671347
3600.01/3609.31	c counting propagations 226181155
3600.01/3609.31	c watch lookups 75545734161
3600.01/3609.31	c watch backjump lookups 73824945602
3600.01/3609.31	c watch checks 69543645065
3600.01/3609.31	c propagation checks 101114012141
3600.01/3609.31	c constraint additions 3068155389
3600.01/3609.31	c trail pops 345645187
3600.01/3609.31	c formula constraints 4926
3600.01/3609.31	c learned constraints 931970
3600.01/3609.31	c bound constraints 863
3600.01/3609.31	c core-guided constraints 6705
3600.01/3609.31	c encountered formula constraints 2236503
3600.01/3609.31	c encountered learned constraints 3385834
3600.01/3609.31	c encountered bound constraints 169
3600.01/3609.31	c encountered core-guided constraints 894204
3600.01/3609.31	c LP total time 0 s
3600.01/3609.31	c LP solve time 0 s
3600.01/3609.31	c LP constraints added 0
3600.01/3609.31	c LP constraints removed 0
3600.01/3609.31	c LP pivots internal 0
3600.01/3609.31	c LP pivots root 0
3600.01/3609.31	c LP calls 0
3600.01/3609.31	c LP optimalities 0
3600.01/3609.31	c LP no pivot count 0
3600.01/3609.31	c LP infeasibilities 0
3600.01/3609.31	c LP valid Farkas constraints 0
3600.01/3609.31	c LP learned Farkas constraints 0
3600.01/3609.31	c LP basis resets 0
3600.01/3609.31	c LP cycling count 0
3600.01/3609.31	c LP singular count 0
3600.01/3609.31	c LP no primal count 0
3600.01/3609.31	c LP no farkas count 0
3600.01/3609.31	c LP other issue count 0
3600.01/3609.31	c LP Gomory cuts 0
3600.01/3609.31	c LP learned cuts 0
3600.01/3609.31	c LP deleted cuts 0
3600.01/3609.31	c LP encountered Gomory constraints 0
3600.01/3609.31	c LP encountered Farkas constraints 0
3600.01/3609.31	c LP encountered learned Farkas constraints 0
3600.01/3609.31	c CG auxiliary variables introduced 2579
3600.01/3609.31	c CG solutions found 8
3600.01/3609.31	c CG cores constructed 814
3600.01/3609.31	c CG core cardinality constraints returned 107
3600.01/3609.31	c CG unit cores 0
3600.01/3609.31	c CG single cores 671
3600.01/3609.31	c CG blocks removed during cardinality reduction 1
3600.01/3609.31	c CG first core best 1
3600.01/3609.31	c CG decision core best 48
3600.01/3609.31	c CG core reduction tie 94
3600.01/3609.31	c CG core degree average 1.18
3600.01/3609.31	c CG core slack average 9.86
3600.01/3609.31	c CG exhausted 20
3600.01/3609.31	c CG exhaust time 2372.48 s
3600.01/3609.31	c CG trimmed 417
3600.01/3609.31	c CG trim time 1.96528 s
3600.01/3609.31	c CG minimized 0
3600.01/3609.31	c CG minimize time 0 s
3600.01/3609.31	c CG am1 prop time 0.617749 s
3600.01/3609.31	c CG # am1s reformulated 122
3600.01/3609.31	c CG lower bound derived from am1s 200
3600.01/3609.31	c CG # clausal cores 767
3600.01/3609.31	c CG # cardinality cores 119
3600.01/3609.31	c CG # pb cores 71
3600.01/3609.31	c CG # pb reforms 105
3600.01/3609.31	c CG # cores discarded because of pb reform 0
3600.01/3609.31	d LOWERBOUND -642
3600.01/3609.31	d NCORES 814
3600.01/3609.31	d NPBCORES 71
3600.01/3609.31	d NPBREFORM 105
3600.01/3609.31	d NTRIMMED 417
3600.01/3609.31	d NEXHAUSTED 20
3600.01/3609.31	d NAM1S 122
3600.01/3609.31	d AM1LB 200
3600.01/3609.31	o 100
3600.01/3609.31	s SATISFIABLE
3600.01/3609.31	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

Verifier Data 

OK	100

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: 63665 MiB (62972 MiB free)
  memory of node 1: 64507 MiB (63629 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484534-1751292654/watcher-4484534-1751292654 -o /tmp/evaluation-result-4484534-1751292654/solver-4484534-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42303 --watchdog 3760 pb-oll-rs HOME/instance-4484534-1751292654.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42348, runsolver pid=42343

[startup+0.100058 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129610584/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=23352 memory=10900 CPUtime=0.08 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 1273 0 0 0 5 3 0 0 20 0 1 0 44943116 23912448 2725 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 5838 2725 1312 243 0 2087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 23352 KiB
Current children cumulated memory: 10900 KiB

[startup+0.205525 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129598740/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=26624 memory=16352 CPUtime=0.19 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 2087 0 0 0 15 4 0 0 20 0 1 0 44943116 27262976 4088 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 6656 4088 1344 243 0 2905 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26624 KiB
Current children cumulated memory: 16352 KiB

[startup+0.305328 s]*
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129580628/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=32516 memory=21088 CPUtime=0.28 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 3295 0 0 0 24 4 0 0 20 0 1 0 44943116 33296384 5272 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 8129 5272 1344 243 0 4378 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32516 KiB
Current children cumulated memory: 21088 KiB

[startup+0.700156 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129572816/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=50752 memory=33876 CPUtime=0.67 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 5970 0 0 0 61 6 0 0 20 0 1 0 44943116 51970048 8469 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 12688 8469 1344 243 0 8937 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 50752 KiB
Current children cumulated memory: 33876 KiB

[startup+1.50015 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129525624/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=78868 memory=62884 CPUtime=1.47 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 11165 0 0 0 139 8 0 0 20 0 1 0 44943116 80760832 15721 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 19717 15721 1344 243 0 15966 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 78868 KiB
Current children cumulated memory: 62884 KiB

[startup+3.10542 s]
/proc/loadavg: 0.82 1.06 1.40 5/265 42362
/proc/meminfo: memFree=129319980/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=127272 memory=109144 CPUtime=3.07 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 18653 0 0 0 294 13 0 0 20 0 1 0 44943116 130326528 27286 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 31818 27286 1344 243 0 28067 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127272 KiB
Current children cumulated memory: 109144 KiB

[startup+6.30016 s]
/proc/loadavg: 1.08 1.11 1.41 5/266 42363
/proc/meminfo: memFree=129203080/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=202540 memory=168692 CPUtime=6.25 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 27420 0 0 0 606 19 0 0 20 0 1 0 44943116 207400960 42173 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 50635 42173 1344 243 0 46884 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 202540 KiB
Current children cumulated memory: 168692 KiB

[startup+12.7002 s]
/proc/loadavg: 1.31 1.16 1.43 5/266 42363
/proc/meminfo: memFree=128944388/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=293768 memory=253296 CPUtime=12.64 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 39389 0 0 0 1236 28 0 0 20 0 1 0 44943116 300818432 63324 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 73442 63324 1344 243 0 69691 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 293768 KiB
Current children cumulated memory: 253296 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.30 1.47 5/266 42364
/proc/meminfo: memFree=128737420/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=311244 memory=277260 CPUtime=25.39 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 42839 0 0 0 2498 41 0 0 20 0 1 0 44943116 318713856 69315 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 77811 69315 1344 243 0 74060 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 311244 KiB
Current children cumulated memory: 277260 KiB

[startup+51.1054 s]
/proc/loadavg: 2.68 1.53 1.54 5/266 42364
/proc/meminfo: memFree=128393284/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=493664 memory=377752 CPUtime=50.93 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 60786 0 0 0 5027 66 0 0 20 0 1 0 44943116 505511936 94438 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 123416 94438 1344 243 0 119665 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 493664 KiB
Current children cumulated memory: 377752 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.93 1.68 5/266 42373
/proc/meminfo: memFree=128019512/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=516836 memory=482356 CPUtime=101.96 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 72145 0 0 0 10097 99 0 0 20 0 1 0 44943116 529240064 120589 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 129209 120589 1344 243 0 125458 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 516836 KiB
Current children cumulated memory: 482356 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.32 1.83 5/266 42375
/proc/meminfo: memFree=127881592/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=679116 memory=548800 CPUtime=161.79 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 81058 0 0 0 16053 126 0 0 20 0 1 0 44943116 695414784 137200 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 169779 137200 1344 243 0 166028 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 679116 KiB
Current children cumulated memory: 548800 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.65 1.97 5/265 42377
/proc/meminfo: memFree=127600848/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=860900 memory=678956 CPUtime=221.63 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 107421 0 0 0 21998 165 0 0 20 0 1 0 44943116 881561600 169739 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 215225 169739 1344 243 0 211474 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 860900 KiB
Current children cumulated memory: 678956 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.93 2.12 5/266 42380
/proc/meminfo: memFree=127501152/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=917352 memory=749320 CPUtime=281.48 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 118251 0 0 0 27932 216 0 0 20 0 1 0 44943116 939368448 187330 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 229338 187330 1344 243 0 225587 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 917352 KiB
Current children cumulated memory: 749320 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.15 2.25 5/264 42382
/proc/meminfo: memFree=127299944/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=933260 memory=839740 CPUtime=341.31 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 125140 0 0 0 33877 254 0 0 20 0 1 0 44943116 955658240 209935 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 233315 209935 1344 243 0 229564 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 933260 KiB
Current children cumulated memory: 839740 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 3.31 2.36 5/265 42385
/proc/meminfo: memFree=127165004/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=933516 memory=867772 CPUtime=401.15 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 125453 0 0 0 39816 299 0 0 20 0 1 0 44943116 955920384 216943 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 233379 216943 1344 243 0 229628 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 933516 KiB
Current children cumulated memory: 867772 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.47 2.47 5/264 42387
/proc/meminfo: memFree=127048508/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1151384 memory=931940 CPUtime=460.98 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 127163 0 0 0 45763 335 0 0 20 0 1 0 44943116 1179017216 232985 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 287846 232985 1344 243 0 284095 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 1269296 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.01 5/264 42563
/proc/meminfo: memFree=127363176/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1269296 CPUtime=2914.69 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197814 0 0 0 289192 2277 0 0 20 0 1 0 44943116 1622138880 317324 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 317324 1344 243 0 392279 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1269296 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/264 42565
/proc/meminfo: memFree=127348020/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1269296 CPUtime=2974.55 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197815 0 0 0 295147 2308 0 0 20 0 1 0 44943116 1622138880 317324 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 317324 1344 243 0 392279 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1269296 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/264 42578
/proc/meminfo: memFree=127305652/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1284656 CPUtime=3034.39 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197820 0 0 0 301104 2335 0 0 20 0 1 0 44943116 1622138880 321164 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 321164 1344 243 0 392279 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1284656 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.01 5/264 42587
/proc/meminfo: memFree=127248420/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1319600 CPUtime=3094.25 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197826 0 0 0 307062 2363 0 0 20 0 1 0 44943116 1622138880 329900 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 329900 1344 243 0 392279 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1319600 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/264 42589
/proc/meminfo: memFree=127212780/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1356464 CPUtime=3154.09 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197841 0 0 0 313027 2382 0 0 20 0 1 0 44943116 1622138880 339116 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 339116 1344 243 0 392279 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1356464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/264 42592
/proc/meminfo: memFree=127178152/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1394608 CPUtime=3213.94 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197847 0 0 0 318992 2402 0 0 20 0 1 0 44943116 1622138880 348652 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 348652 1344 243 0 392279 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1394608 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.01 5/265 42595
/proc/meminfo: memFree=127138240/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3273.8 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197847 0 0 0 324956 2424 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/265 42597
/proc/meminfo: memFree=127138232/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3333.66 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197847 0 0 0 330921 2445 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42598
/proc/meminfo: memFree=127138192/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3393.52 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197865 0 0 0 336894 2458 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3393.52 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/265 42600
/proc/meminfo: memFree=127135460/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3453.37 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197868 0 0 0 342870 2467 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/265 42603
/proc/meminfo: memFree=127133540/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3513.22 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197871 0 0 0 348847 2475 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/265 42605
/proc/meminfo: memFree=127133404/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1584120 memory=1425072 CPUtime=3573.07 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197873 0 0 0 354826 2481 0 0 20 0 1 0 44943116 1622138880 356268 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396030 356268 1344 243 0 392279 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 1584120 KiB
Current children cumulated memory: 1425072 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 42606
/proc/meminfo: memFree=127133484/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1585072 memory=1425584 CPUtime=3600.01 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197988 0 0 0 357517 2484 0 0 20 0 1 0 44943116 1623113728 356396 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396268 356396 1344 243 0 392517 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1585072 KiB
Current children cumulated memory: 1425584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.18 s, system=24.8464 s

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

[startup+3609.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 42606
/proc/meminfo: memFree=127133484/131249996 swapFree=33010684/33010684
[pid=42348] ppid=42343 vsize=1585072 memory=1425584 CPUtime=3600.01 cores=4,6
/proc/42348/stat : 42348 (pb-oll-rs) R 42343 42348 42292 0 -1 4194304 197988 0 0 0 357517 2484 0 0 20 0 1 0 44943116 1623113728 356396 18446744073709551615 4218880 5211445 140722862893504 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 28172288 140722862897564 140722862897641 140722862897641 140722862903243 0
/proc/42348/statm: 396268 356396 1344 243 0 392517 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1585072 KiB
Current children cumulated memory: 1425584 KiB

Child status: 0

Real time (s): 3609.32
CPU time (s): 3600.03
CPU user time (s): 3575.18
CPU system time (s): 24.8464
CPU usage (%): 99.7427
Max. virtual memory (cumulated for all children) (KiB): 1585072
Max. memory (cumulated for all children) (KiB): 1425584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.18
system time used= 24.8464
maximum resident set size= 1425840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198003
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306
involuntary context switches= 1918


# summary of solver processes directly reported to runsolver:
#   pid: 42348
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3575.18
#   total CPU system time (s): 24.8464

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73883 second user time and 15.8074 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-30 16:10:54
IDJOB=4484534
IDBENCH=146659
IDSOLVER=3345
FILE ID=nodeC021/4484534-1751292654
RUNJOBID= nodeC021-1751292654-42303
SLURM_JOB_ID= 9594264
Free space on /tmp= 433064 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:30:4.5:0.5:100.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484534-1751292654/watcher-4484534-1751292654 -o /tmp/evaluation-result-4484534-1751292654/solver-4484534-1751292654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751292654-42303 --watchdog 3760  pb-oll-rs HOME/instance-4484534-1751292654.opb

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

MD5SUM BENCH= b5103574c4a35f60a2227b90ce19b385
RANDOM SEED=394225421

nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3600.076
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3355.337
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.765
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3530.816
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3599.783
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3499.349
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3600.265
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
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		: 3600.107
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129642136 kB
MemAvailable:   129757708 kB
Buffers:            3280 kB
Cached:           922720 kB
SwapCached:            0 kB
Active:           347640 kB
Inactive:         654204 kB
Active(anon):      93904 kB
Inactive(anon):        0 kB
Active(file):     253736 kB
Inactive(file):   654204 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2028 kB
Writeback:             4 kB
AnonPages:         78992 kB
Mapped:           102992 kB
Shmem:             18060 kB
KReclaimable:      93340 kB
Slab:             179768 kB
SReclaimable:      93340 kB
SUnreclaim:        86428 kB
KernelStack:        4128 kB
PageTables:         2852 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     348108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432584 MiB
End job on nodeC021 at 2025-06-30 17:11:04