Trace number 4454725

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
mixed-bag 2024-07-19? (TO) 3600.1 3612.5

DiagnosticValue
AM1LB667
LOWERBOUND804
NAM1S666
NCORES137
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED2
SCIPUB875

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
MD5SUM4613bd71ebda28f991e46514414d76dd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1035
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
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.22	c RoundingSat 2
0.00/0.22	c branch 
0.00/0.22	c commit 
0.00/0.22	c with Papilo
0.00/0.22	c with SCIP
0.00/0.22	c [STEP] parsing instance
0.00/0.22	c [STEP] preprocessing with Papilo
0.00/0.26	c [STEP] solving with SCIP
299.05/300.40	c [STEP] preprocessing done, loading into solver
299.05/300.41	c [STEP] solving
299.05/300.41	c #variables 1629 #constraints 3199
299.05/300.41	c SMALL=int, LARGE=long long
299.05/300.41	d SCIPUB 875
299.05/300.41	c bounds - >= 0 @ 298.908
299.05/300.41	c stratification level: 0
300.75/302.10	c bounds - >= 668 @ 298.915
300.75/302.10	c bounds - >= 669 @ 298.916
300.75/302.10	c bounds - >= 670 @ 298.916
300.75/302.10	c bounds - >= 671 @ 298.916
300.75/302.10	c bounds - >= 672 @ 298.916
300.75/302.10	c bounds - >= 673 @ 298.916
300.75/302.10	c bounds - >= 674 @ 298.916
300.75/302.10	c bounds - >= 675 @ 298.916
300.75/302.10	c bounds - >= 676 @ 298.917
300.75/302.10	c bounds - >= 677 @ 298.917
300.75/302.10	c bounds - >= 678 @ 298.917
300.75/302.10	c bounds - >= 679 @ 298.917
300.75/302.10	c bounds - >= 680 @ 298.917
300.75/302.10	c bounds - >= 681 @ 298.917
300.75/302.10	c bounds - >= 682 @ 298.917
300.75/302.10	c bounds - >= 683 @ 298.917
300.75/302.10	c bounds - >= 684 @ 298.918
300.75/302.10	c bounds - >= 685 @ 298.918
300.75/302.10	c bounds - >= 686 @ 298.918
300.75/302.10	c bounds - >= 687 @ 298.918
300.75/302.10	c bounds - >= 688 @ 298.918
300.75/302.10	c bounds - >= 689 @ 298.919
300.75/302.10	c bounds - >= 690 @ 298.919
300.75/302.10	c bounds - >= 691 @ 298.919
300.75/302.10	c bounds - >= 692 @ 298.919
300.75/302.10	c bounds - >= 693 @ 298.919
300.75/302.10	c bounds - >= 694 @ 298.919
300.75/302.10	c bounds - >= 695 @ 298.919
300.75/302.10	c bounds - >= 696 @ 298.919
300.75/302.10	c bounds - >= 697 @ 298.919
300.75/302.10	c bounds - >= 698 @ 298.919
300.75/302.10	c bounds - >= 699 @ 298.919
300.75/302.10	c bounds - >= 700 @ 298.919
300.75/302.10	c bounds - >= 701 @ 298.919
300.75/302.10	c bounds - >= 702 @ 298.919
300.75/302.10	c bounds - >= 703 @ 298.919
300.75/302.10	c bounds - >= 704 @ 298.919
300.75/302.10	c bounds - >= 705 @ 298.919
300.75/302.10	c bounds - >= 706 @ 298.919
300.75/302.10	c bounds - >= 707 @ 298.919
300.75/302.10	c bounds - >= 708 @ 298.919
300.75/302.10	c bounds - >= 709 @ 298.919
300.75/302.10	c bounds - >= 710 @ 298.919
300.75/302.10	c bounds - >= 711 @ 298.919
300.75/302.10	c bounds - >= 712 @ 298.919
300.75/302.10	c bounds - >= 713 @ 298.92
300.75/302.10	c bounds - >= 714 @ 298.92
300.75/302.10	c bounds - >= 715 @ 298.92
300.75/302.10	c bounds - >= 716 @ 298.92
300.75/302.10	c bounds - >= 717 @ 298.921
300.75/302.10	c bounds - >= 718 @ 298.921
300.75/302.10	c bounds - >= 719 @ 298.921
300.75/302.10	c bounds - >= 720 @ 298.922
300.75/302.10	c bounds - >= 721 @ 298.922
300.75/302.10	c bounds - >= 722 @ 298.922
300.75/302.10	c bounds - >= 723 @ 298.922
300.75/302.10	c bounds - >= 724 @ 298.923
300.75/302.10	c bounds - >= 725 @ 298.923
300.75/302.10	c bounds - >= 726 @ 298.923
300.75/302.10	c bounds - >= 727 @ 298.923
300.75/302.10	c bounds - >= 728 @ 298.924
300.75/302.10	c bounds - >= 729 @ 298.924
300.75/302.10	c bounds - >= 730 @ 298.924
300.75/302.10	c bounds - >= 731 @ 298.925
300.75/302.10	c bounds - >= 732 @ 298.925
300.75/302.10	c bounds - >= 733 @ 298.925
300.75/302.10	c bounds - >= 734 @ 298.925
300.75/302.10	c bounds - >= 735 @ 298.925
300.75/302.10	c bounds - >= 736 @ 298.925
300.75/302.10	c bounds - >= 737 @ 298.925
300.75/302.10	c bounds - >= 738 @ 298.925
300.75/302.10	c bounds - >= 739 @ 298.925
300.75/302.10	c bounds - >= 740 @ 298.925
300.75/302.10	c bounds - >= 741 @ 298.925
300.75/302.10	c bounds - >= 742 @ 298.926
300.75/302.10	c bounds - >= 743 @ 298.926
300.75/302.10	c bounds - >= 744 @ 298.926
300.75/302.10	c bounds - >= 745 @ 298.926
300.75/302.10	c bounds - >= 746 @ 298.927
300.75/302.10	c bounds - >= 747 @ 298.927
300.75/302.10	c bounds - >= 748 @ 298.927
300.75/302.10	c bounds - >= 749 @ 298.928
300.75/302.10	c bounds - >= 750 @ 298.928
300.75/302.10	c bounds - >= 751 @ 298.928
300.75/302.10	c bounds - >= 752 @ 298.928
300.75/302.10	c bounds - >= 753 @ 298.929
300.75/302.10	c bounds - >= 754 @ 298.929
300.75/302.10	c bounds - >= 755 @ 298.929
300.75/302.10	c bounds - >= 756 @ 298.929
300.75/302.10	c bounds - >= 757 @ 298.929
300.75/302.10	c bounds - >= 758 @ 298.929
300.75/302.10	c bounds - >= 759 @ 298.929
300.75/302.10	c bounds - >= 760 @ 298.93
300.75/302.10	c bounds - >= 761 @ 298.93
300.75/302.10	c bounds - >= 762 @ 298.93
300.75/302.10	c bounds - >= 763 @ 298.93
300.75/302.10	c bounds - >= 764 @ 298.93
300.75/302.10	c bounds - >= 765 @ 298.93
300.75/302.10	c bounds - >= 766 @ 298.93
300.75/302.10	c bounds - >= 767 @ 298.931
300.75/302.10	c bounds - >= 768 @ 298.931
300.75/302.10	c bounds - >= 769 @ 298.931
300.75/302.10	c bounds - >= 770 @ 298.932
300.75/302.10	c bounds - >= 771 @ 298.932
300.75/302.10	c bounds - >= 772 @ 298.932
300.75/302.10	c bounds - >= 773 @ 298.933
300.75/302.10	c bounds - >= 774 @ 298.933
300.75/302.10	c bounds - >= 775 @ 298.933
300.75/302.10	c bounds - >= 776 @ 298.933
300.75/302.10	c bounds - >= 777 @ 298.933
300.75/302.10	c bounds - >= 778 @ 298.933
300.75/302.10	c bounds - >= 779 @ 298.933
300.75/302.10	c bounds - >= 780 @ 298.933
300.75/302.10	c bounds - >= 781 @ 298.933
300.75/302.10	c bounds - >= 782 @ 298.933
300.75/302.10	c bounds - >= 783 @ 298.933
300.75/302.10	c bounds - >= 784 @ 298.933
300.75/302.10	c bounds - >= 785 @ 298.934
300.75/302.10	c bounds - >= 786 @ 298.934
300.75/302.10	c bounds - >= 787 @ 298.934
300.75/302.10	c bounds - >= 788 @ 298.935
300.75/302.10	c bounds - >= 789 @ 298.935
300.75/302.10	c bounds - >= 790 @ 298.935
300.75/302.10	c bounds - >= 791 @ 298.935
300.75/302.10	c bounds - >= 792 @ 298.935
300.75/302.10	c bounds - >= 793 @ 298.936
300.75/302.10	c bounds - >= 794 @ 298.936
300.75/302.10	c bounds - >= 795 @ 298.936
300.75/302.10	c bounds - >= 796 @ 298.937
300.75/302.10	c bounds - >= 797 @ 298.937
300.75/302.10	c bounds - >= 798 @ 298.937
300.75/302.10	c bounds - >= 799 @ 298.937
300.75/302.10	c bounds - >= 800 @ 298.937
300.75/302.10	c bounds - >= 801 @ 298.937
300.75/302.10	c bounds - >= 802 @ 298.938
300.75/302.10	c bounds - >= 803 @ 298.938
300.75/302.10	c #Conflicts:       1000 | #Constraints:       5139
300.75/302.10	c #Conflicts:       2000 | #Constraints:       6139
300.75/302.10	c INPROCESSING
300.75/302.10	c GARBAGE COLLECT
300.75/302.10	c #Conflicts:       3000 | #Constraints:       5984
300.75/302.10	c #Conflicts:       4000 | #Constraints:       6984
300.75/302.10	c INPROCESSING
300.75/302.10	c GARBAGE COLLECT
300.75/302.10	c #Conflicts:       5000 | #Constraints:       6374
349.16/350.70	c #Conflicts:       6000 | #Constraints:       7374
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:       7000 | #Constraints:       6367
349.16/350.70	c #Conflicts:       8000 | #Constraints:       7367
349.16/350.70	c #Conflicts:       9000 | #Constraints:       8367
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      10000 | #Constraints:       7068
349.16/350.70	c #Conflicts:      11000 | #Constraints:       8068
349.16/350.70	c #Conflicts:      12000 | #Constraints:       9068
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      13000 | #Constraints:       7523
349.16/350.70	c #Conflicts:      14000 | #Constraints:       8523
349.16/350.70	c #Conflicts:      15000 | #Constraints:       9523
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      16000 | #Constraints:       7752
349.16/350.70	c #Conflicts:      17000 | #Constraints:       8752
349.16/350.70	c #Conflicts:      18000 | #Constraints:       9752
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      19000 | #Constraints:       7762
349.16/350.70	c #Conflicts:      20000 | #Constraints:       8762
349.16/350.70	c #Conflicts:      21000 | #Constraints:       9762
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      22000 | #Constraints:       7567
349.16/350.70	c #Conflicts:      23000 | #Constraints:       8567
349.16/350.70	c #Conflicts:      24000 | #Constraints:       9567
349.16/350.70	c #Conflicts:      25000 | #Constraints:      10567
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      26000 | #Constraints:       8172
349.16/350.70	c #Conflicts:      27000 | #Constraints:       9172
349.16/350.70	c #Conflicts:      28000 | #Constraints:      10172
349.16/350.70	c #Conflicts:      29000 | #Constraints:      11172
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      30000 | #Constraints:       8572
349.16/350.70	c #Conflicts:      31000 | #Constraints:       9572
349.16/350.70	c #Conflicts:      32000 | #Constraints:      10572
349.16/350.70	c #Conflicts:      33000 | #Constraints:      11572
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      34000 | #Constraints:       8753
349.16/350.70	c #Conflicts:      35000 | #Constraints:       9753
349.16/350.70	c #Conflicts:      36000 | #Constraints:      10753
349.16/350.70	c #Conflicts:      37000 | #Constraints:      11753
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      38000 | #Constraints:       8766
349.16/350.70	c #Conflicts:      39000 | #Constraints:       9766
349.16/350.70	c #Conflicts:      40000 | #Constraints:      10766
349.16/350.70	c #Conflicts:      41000 | #Constraints:      11766
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      42000 | #Constraints:       8570
349.16/350.70	c #Conflicts:      43000 | #Constraints:       9570
349.16/350.70	c #Conflicts:      44000 | #Constraints:      10570
349.16/350.70	c #Conflicts:      45000 | #Constraints:      11570
349.16/350.70	c #Conflicts:      46000 | #Constraints:      12570
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      47000 | #Constraints:       9170
349.16/350.70	c #Conflicts:      48000 | #Constraints:      10170
349.16/350.70	c #Conflicts:      49000 | #Constraints:      11170
349.16/350.70	c #Conflicts:      50000 | #Constraints:      12170
349.16/350.70	c #Conflicts:      51000 | #Constraints:      13170
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      52000 | #Constraints:       9568
349.16/350.70	c #Conflicts:      53000 | #Constraints:      10568
349.16/350.70	c #Conflicts:      54000 | #Constraints:      11568
349.16/350.70	c #Conflicts:      55000 | #Constraints:      12568
349.16/350.70	c #Conflicts:      56000 | #Constraints:      13568
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      57000 | #Constraints:       9771
349.16/350.70	c #Conflicts:      58000 | #Constraints:      10771
349.16/350.70	c #Conflicts:      59000 | #Constraints:      11771
349.16/350.70	c #Conflicts:      60000 | #Constraints:      12771
349.16/350.70	c #Conflicts:      61000 | #Constraints:      13771
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      62000 | #Constraints:       9774
349.16/350.70	c #Conflicts:      63000 | #Constraints:      10774
349.16/350.70	c #Conflicts:      64000 | #Constraints:      11774
349.16/350.70	c #Conflicts:      65000 | #Constraints:      12774
349.16/350.70	c #Conflicts:      66000 | #Constraints:      13774
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      67000 | #Constraints:       9573
349.16/350.70	c #Conflicts:      68000 | #Constraints:      10573
349.16/350.70	c #Conflicts:      69000 | #Constraints:      11573
349.16/350.70	c #Conflicts:      70000 | #Constraints:      12573
349.16/350.70	c #Conflicts:      71000 | #Constraints:      13573
349.16/350.70	c #Conflicts:      72000 | #Constraints:      14573
349.16/350.70	c INPROCESSING
349.16/350.70	c GARBAGE COLLECT
349.16/350.70	c #Conflicts:      73000 | #Constraints:      10179
435.73/437.62	c #Conflicts:      74000 | #Constraints:      11179
435.73/437.62	c #Conflicts:      75000 | #Constraints:      12179
435.73/437.62	c #Conflicts:      76000 | #Constraints:      13179
435.73/437.62	c #Conflicts:      77000 | #Constraints:      14179
435.73/437.62	c #Conflicts:      78000 | #Constraints:      15179
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:      79000 | #Constraints:      10579
435.73/437.62	c #Conflicts:      80000 | #Constraints:      11579
435.73/437.62	c #Conflicts:      81000 | #Constraints:      12579
435.73/437.62	c #Conflicts:      82000 | #Constraints:      13579
435.73/437.62	c #Conflicts:      83000 | #Constraints:      14579
435.73/437.62	c #Conflicts:      84000 | #Constraints:      15579
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:      85000 | #Constraints:      10779
435.73/437.62	c #Conflicts:      86000 | #Constraints:      11779
435.73/437.62	c #Conflicts:      87000 | #Constraints:      12779
435.73/437.62	c #Conflicts:      88000 | #Constraints:      13779
435.73/437.62	c #Conflicts:      89000 | #Constraints:      14779
435.73/437.62	c #Conflicts:      90000 | #Constraints:      15779
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:      91000 | #Constraints:      10774
435.73/437.62	c #Conflicts:      92000 | #Constraints:      11774
435.73/437.62	c #Conflicts:      93000 | #Constraints:      12774
435.73/437.62	c #Conflicts:      94000 | #Constraints:      13774
435.73/437.62	c #Conflicts:      95000 | #Constraints:      14774
435.73/437.62	c #Conflicts:      96000 | #Constraints:      15774
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:      97000 | #Constraints:      10575
435.73/437.62	c #Conflicts:      98000 | #Constraints:      11575
435.73/437.62	c #Conflicts:      99000 | #Constraints:      12575
435.73/437.62	c #Conflicts:     100000 | #Constraints:      13575
435.73/437.62	c #Conflicts:     101000 | #Constraints:      14575
435.73/437.62	c #Conflicts:     102000 | #Constraints:      15575
435.73/437.62	c #Conflicts:     103000 | #Constraints:      16575
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     104000 | #Constraints:      11175
435.73/437.62	c #Conflicts:     105000 | #Constraints:      12175
435.73/437.62	c #Conflicts:     106000 | #Constraints:      13175
435.73/437.62	c #Conflicts:     107000 | #Constraints:      14175
435.73/437.62	c #Conflicts:     108000 | #Constraints:      15175
435.73/437.62	c #Conflicts:     109000 | #Constraints:      16175
435.73/437.62	c #Conflicts:     110000 | #Constraints:      17175
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     111000 | #Constraints:      11574
435.73/437.62	c #Conflicts:     112000 | #Constraints:      12574
435.73/437.62	c #Conflicts:     113000 | #Constraints:      13574
435.73/437.62	c #Conflicts:     114000 | #Constraints:      14574
435.73/437.62	c #Conflicts:     115000 | #Constraints:      15574
435.73/437.62	c #Conflicts:     116000 | #Constraints:      16574
435.73/437.62	c #Conflicts:     117000 | #Constraints:      17574
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     118000 | #Constraints:      11774
435.73/437.62	c #Conflicts:     119000 | #Constraints:      12774
435.73/437.62	c #Conflicts:     120000 | #Constraints:      13774
435.73/437.62	c #Conflicts:     121000 | #Constraints:      14774
435.73/437.62	c #Conflicts:     122000 | #Constraints:      15774
435.73/437.62	c #Conflicts:     123000 | #Constraints:      16774
435.73/437.62	c #Conflicts:     124000 | #Constraints:      17774
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     125000 | #Constraints:      11776
435.73/437.62	c #Conflicts:     126000 | #Constraints:      12776
435.73/437.62	c #Conflicts:     127000 | #Constraints:      13776
435.73/437.62	c #Conflicts:     128000 | #Constraints:      14776
435.73/437.62	c #Conflicts:     129000 | #Constraints:      15776
435.73/437.62	c #Conflicts:     130000 | #Constraints:      16776
435.73/437.62	c #Conflicts:     131000 | #Constraints:      17776
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     132000 | #Constraints:      11581
435.73/437.62	c #Conflicts:     133000 | #Constraints:      12581
435.73/437.62	c #Conflicts:     134000 | #Constraints:      13581
435.73/437.62	c #Conflicts:     135000 | #Constraints:      14581
435.73/437.62	c #Conflicts:     136000 | #Constraints:      15581
435.73/437.62	c #Conflicts:     137000 | #Constraints:      16581
435.73/437.62	c #Conflicts:     138000 | #Constraints:      17581
435.73/437.62	c #Conflicts:     139000 | #Constraints:      18581
435.73/437.62	c INPROCESSING
435.73/437.62	c GARBAGE COLLECT
435.73/437.62	c #Conflicts:     140000 | #Constraints:      12181
435.73/437.62	c #Conflicts:     141000 | #Constraints:      13181
435.73/437.62	c #Conflicts:     142000 | #Constraints:      14181
435.73/437.62	c #Conflicts:     143000 | #Constraints:      15181
435.73/437.62	c #Conflicts:     144000 | #Constraints:      16181
435.73/437.62	c #Conflicts:     145000 | #Constraints:      17181
563.54/565.97	c #Conflicts:     146000 | #Constraints:      18181
563.54/565.97	c #Conflicts:     147000 | #Constraints:      19181
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     148000 | #Constraints:      12579
563.54/565.97	c #Conflicts:     149000 | #Constraints:      13579
563.54/565.97	c #Conflicts:     150000 | #Constraints:      14579
563.54/565.97	c #Conflicts:     151000 | #Constraints:      15579
563.54/565.97	c #Conflicts:     152000 | #Constraints:      16579
563.54/565.97	c #Conflicts:     153000 | #Constraints:      17579
563.54/565.97	c #Conflicts:     154000 | #Constraints:      18579
563.54/565.97	c #Conflicts:     155000 | #Constraints:      19579
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     156000 | #Constraints:      12781
563.54/565.97	c #Conflicts:     157000 | #Constraints:      13781
563.54/565.97	c #Conflicts:     158000 | #Constraints:      14781
563.54/565.97	c #Conflicts:     159000 | #Constraints:      15781
563.54/565.97	c #Conflicts:     160000 | #Constraints:      16781
563.54/565.97	c #Conflicts:     161000 | #Constraints:      17781
563.54/565.97	c #Conflicts:     162000 | #Constraints:      18781
563.54/565.97	c #Conflicts:     163000 | #Constraints:      19781
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     164000 | #Constraints:      12783
563.54/565.97	c #Conflicts:     165000 | #Constraints:      13783
563.54/565.97	c #Conflicts:     166000 | #Constraints:      14783
563.54/565.97	c #Conflicts:     167000 | #Constraints:      15783
563.54/565.97	c #Conflicts:     168000 | #Constraints:      16783
563.54/565.97	c #Conflicts:     169000 | #Constraints:      17783
563.54/565.97	c #Conflicts:     170000 | #Constraints:      18783
563.54/565.97	c #Conflicts:     171000 | #Constraints:      19783
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     172000 | #Constraints:      12576
563.54/565.97	c #Conflicts:     173000 | #Constraints:      13576
563.54/565.97	c #Conflicts:     174000 | #Constraints:      14576
563.54/565.97	c #Conflicts:     175000 | #Constraints:      15576
563.54/565.97	c #Conflicts:     176000 | #Constraints:      16576
563.54/565.97	c #Conflicts:     177000 | #Constraints:      17576
563.54/565.97	c #Conflicts:     178000 | #Constraints:      18576
563.54/565.97	c #Conflicts:     179000 | #Constraints:      19576
563.54/565.97	c #Conflicts:     180000 | #Constraints:      20576
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     181000 | #Constraints:      13176
563.54/565.97	c #Conflicts:     182000 | #Constraints:      14176
563.54/565.97	c #Conflicts:     183000 | #Constraints:      15176
563.54/565.97	c #Conflicts:     184000 | #Constraints:      16176
563.54/565.97	c #Conflicts:     185000 | #Constraints:      17176
563.54/565.97	c #Conflicts:     186000 | #Constraints:      18176
563.54/565.97	c #Conflicts:     187000 | #Constraints:      19176
563.54/565.97	c #Conflicts:     188000 | #Constraints:      20176
563.54/565.97	c #Conflicts:     189000 | #Constraints:      21176
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     190000 | #Constraints:      13579
563.54/565.97	c #Conflicts:     191000 | #Constraints:      14579
563.54/565.97	c #Conflicts:     192000 | #Constraints:      15579
563.54/565.97	c #Conflicts:     193000 | #Constraints:      16579
563.54/565.97	c #Conflicts:     194000 | #Constraints:      17579
563.54/565.97	c #Conflicts:     195000 | #Constraints:      18579
563.54/565.97	c #Conflicts:     196000 | #Constraints:      19579
563.54/565.97	c #Conflicts:     197000 | #Constraints:      20579
563.54/565.97	c #Conflicts:     198000 | #Constraints:      21579
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     199000 | #Constraints:      13786
563.54/565.97	c #Conflicts:     200000 | #Constraints:      14786
563.54/565.97	c #Conflicts:     201000 | #Constraints:      15786
563.54/565.97	c #Conflicts:     202000 | #Constraints:      16786
563.54/565.97	c #Conflicts:     203000 | #Constraints:      17786
563.54/565.97	c #Conflicts:     204000 | #Constraints:      18786
563.54/565.97	c #Conflicts:     205000 | #Constraints:      19786
563.54/565.97	c #Conflicts:     206000 | #Constraints:      20786
563.54/565.97	c #Conflicts:     207000 | #Constraints:      21786
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     208000 | #Constraints:      13784
563.54/565.97	c #Conflicts:     209000 | #Constraints:      14784
563.54/565.97	c #Conflicts:     210000 | #Constraints:      15784
563.54/565.97	c #Conflicts:     211000 | #Constraints:      16784
563.54/565.97	c #Conflicts:     212000 | #Constraints:      17784
563.54/565.97	c #Conflicts:     213000 | #Constraints:      18784
563.54/565.97	c #Conflicts:     214000 | #Constraints:      19784
563.54/565.97	c #Conflicts:     215000 | #Constraints:      20784
563.54/565.97	c #Conflicts:     216000 | #Constraints:      21784
563.54/565.97	c INPROCESSING
563.54/565.97	c GARBAGE COLLECT
563.54/565.97	c #Conflicts:     217000 | #Constraints:      13586
563.54/565.97	c #Conflicts:     218000 | #Constraints:      14586
707.12/710.06	c #Conflicts:     219000 | #Constraints:      15586
707.12/710.06	c #Conflicts:     220000 | #Constraints:      16586
707.12/710.06	c #Conflicts:     221000 | #Constraints:      17586
707.12/710.06	c #Conflicts:     222000 | #Constraints:      18586
707.12/710.06	c #Conflicts:     223000 | #Constraints:      19586
707.12/710.06	c #Conflicts:     224000 | #Constraints:      20586
707.12/710.06	c #Conflicts:     225000 | #Constraints:      21586
707.12/710.06	c #Conflicts:     226000 | #Constraints:      22586
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     227000 | #Constraints:      14191
707.12/710.06	c #Conflicts:     228000 | #Constraints:      15191
707.12/710.06	c #Conflicts:     229000 | #Constraints:      16191
707.12/710.06	c #Conflicts:     230000 | #Constraints:      17191
707.12/710.06	c #Conflicts:     231000 | #Constraints:      18191
707.12/710.06	c #Conflicts:     232000 | #Constraints:      19191
707.12/710.06	c #Conflicts:     233000 | #Constraints:      20191
707.12/710.06	c #Conflicts:     234000 | #Constraints:      21191
707.12/710.06	c #Conflicts:     235000 | #Constraints:      22191
707.12/710.06	c #Conflicts:     236000 | #Constraints:      23191
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     237000 | #Constraints:      14587
707.12/710.06	c #Conflicts:     238000 | #Constraints:      15587
707.12/710.06	c #Conflicts:     239000 | #Constraints:      16587
707.12/710.06	c #Conflicts:     240000 | #Constraints:      17587
707.12/710.06	c #Conflicts:     241000 | #Constraints:      18587
707.12/710.06	c #Conflicts:     242000 | #Constraints:      19587
707.12/710.06	c #Conflicts:     243000 | #Constraints:      20587
707.12/710.06	c #Conflicts:     244000 | #Constraints:      21587
707.12/710.06	c #Conflicts:     245000 | #Constraints:      22587
707.12/710.06	c #Conflicts:     246000 | #Constraints:      23587
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     247000 | #Constraints:      14789
707.12/710.06	c #Conflicts:     248000 | #Constraints:      15789
707.12/710.06	c #Conflicts:     249000 | #Constraints:      16789
707.12/710.06	c #Conflicts:     250000 | #Constraints:      17789
707.12/710.06	c #Conflicts:     251000 | #Constraints:      18789
707.12/710.06	c #Conflicts:     252000 | #Constraints:      19789
707.12/710.06	c #Conflicts:     253000 | #Constraints:      20789
707.12/710.06	c #Conflicts:     254000 | #Constraints:      21789
707.12/710.06	c #Conflicts:     255000 | #Constraints:      22789
707.12/710.06	c #Conflicts:     256000 | #Constraints:      23789
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     257000 | #Constraints:      14785
707.12/710.06	c #Conflicts:     258000 | #Constraints:      15785
707.12/710.06	c #Conflicts:     259000 | #Constraints:      16785
707.12/710.06	c #Conflicts:     260000 | #Constraints:      17785
707.12/710.06	c #Conflicts:     261000 | #Constraints:      18785
707.12/710.06	c #Conflicts:     262000 | #Constraints:      19785
707.12/710.06	c #Conflicts:     263000 | #Constraints:      20785
707.12/710.06	c #Conflicts:     264000 | #Constraints:      21785
707.12/710.06	c #Conflicts:     265000 | #Constraints:      22785
707.12/710.06	c #Conflicts:     266000 | #Constraints:      23785
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     267000 | #Constraints:      14584
707.12/710.06	c #Conflicts:     268000 | #Constraints:      15584
707.12/710.06	c #Conflicts:     269000 | #Constraints:      16584
707.12/710.06	c #Conflicts:     270000 | #Constraints:      17584
707.12/710.06	c #Conflicts:     271000 | #Constraints:      18584
707.12/710.06	c #Conflicts:     272000 | #Constraints:      19584
707.12/710.06	c #Conflicts:     273000 | #Constraints:      20584
707.12/710.06	c #Conflicts:     274000 | #Constraints:      21584
707.12/710.06	c #Conflicts:     275000 | #Constraints:      22584
707.12/710.06	c #Conflicts:     276000 | #Constraints:      23584
707.12/710.06	c #Conflicts:     277000 | #Constraints:      24584
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     278000 | #Constraints:      15186
707.12/710.06	c #Conflicts:     279000 | #Constraints:      16186
707.12/710.06	c #Conflicts:     280000 | #Constraints:      17186
707.12/710.06	c #Conflicts:     281000 | #Constraints:      18186
707.12/710.06	c #Conflicts:     282000 | #Constraints:      19186
707.12/710.06	c #Conflicts:     283000 | #Constraints:      20186
707.12/710.06	c #Conflicts:     284000 | #Constraints:      21186
707.12/710.06	c #Conflicts:     285000 | #Constraints:      22186
707.12/710.06	c #Conflicts:     286000 | #Constraints:      23186
707.12/710.06	c #Conflicts:     287000 | #Constraints:      24186
707.12/710.06	c #Conflicts:     288000 | #Constraints:      25186
707.12/710.06	c INPROCESSING
707.12/710.06	c GARBAGE COLLECT
707.12/710.06	c #Conflicts:     289000 | #Constraints:      15584
707.12/710.06	c #Conflicts:     290000 | #Constraints:      16584
707.12/710.06	c #Conflicts:     291000 | #Constraints:      17584
707.12/710.06	c #Conflicts:     292000 | #Constraints:      18584
707.12/710.06	c #Conflicts:     293000 | #Constraints:      19584
876.27/879.89	c #Conflicts:     294000 | #Constraints:      20584
876.27/879.89	c #Conflicts:     295000 | #Constraints:      21584
876.27/879.89	c #Conflicts:     296000 | #Constraints:      22584
876.27/879.89	c #Conflicts:     297000 | #Constraints:      23584
876.27/879.89	c #Conflicts:     298000 | #Constraints:      24584
876.27/879.89	c #Conflicts:     299000 | #Constraints:      25584
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     300000 | #Constraints:      15781
876.27/879.89	c #Conflicts:     301000 | #Constraints:      16781
876.27/879.89	c #Conflicts:     302000 | #Constraints:      17781
876.27/879.89	c #Conflicts:     303000 | #Constraints:      18781
876.27/879.89	c #Conflicts:     304000 | #Constraints:      19781
876.27/879.89	c #Conflicts:     305000 | #Constraints:      20781
876.27/879.89	c #Conflicts:     306000 | #Constraints:      21781
876.27/879.89	c #Conflicts:     307000 | #Constraints:      22781
876.27/879.89	c #Conflicts:     308000 | #Constraints:      23781
876.27/879.89	c #Conflicts:     309000 | #Constraints:      24781
876.27/879.89	c #Conflicts:     310000 | #Constraints:      25781
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     311000 | #Constraints:      15784
876.27/879.89	c #Conflicts:     312000 | #Constraints:      16784
876.27/879.89	c #Conflicts:     313000 | #Constraints:      17784
876.27/879.89	c #Conflicts:     314000 | #Constraints:      18784
876.27/879.89	c #Conflicts:     315000 | #Constraints:      19784
876.27/879.89	c #Conflicts:     316000 | #Constraints:      20784
876.27/879.89	c #Conflicts:     317000 | #Constraints:      21784
876.27/879.89	c #Conflicts:     318000 | #Constraints:      22784
876.27/879.89	c #Conflicts:     319000 | #Constraints:      23784
876.27/879.89	c #Conflicts:     320000 | #Constraints:      24784
876.27/879.89	c #Conflicts:     321000 | #Constraints:      25784
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     322000 | #Constraints:      15579
876.27/879.89	c #Conflicts:     323000 | #Constraints:      16579
876.27/879.89	c #Conflicts:     324000 | #Constraints:      17579
876.27/879.89	c #Conflicts:     325000 | #Constraints:      18579
876.27/879.89	c #Conflicts:     326000 | #Constraints:      19579
876.27/879.89	c #Conflicts:     327000 | #Constraints:      20579
876.27/879.89	c #Conflicts:     328000 | #Constraints:      21579
876.27/879.89	c #Conflicts:     329000 | #Constraints:      22579
876.27/879.89	c #Conflicts:     330000 | #Constraints:      23579
876.27/879.89	c #Conflicts:     331000 | #Constraints:      24579
876.27/879.89	c #Conflicts:     332000 | #Constraints:      25579
876.27/879.89	c #Conflicts:     333000 | #Constraints:      26579
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     334000 | #Constraints:      16192
876.27/879.89	c #Conflicts:     335000 | #Constraints:      17192
876.27/879.89	c #Conflicts:     336000 | #Constraints:      18192
876.27/879.89	c #Conflicts:     337000 | #Constraints:      19192
876.27/879.89	c #Conflicts:     338000 | #Constraints:      20192
876.27/879.89	c #Conflicts:     339000 | #Constraints:      21192
876.27/879.89	c #Conflicts:     340000 | #Constraints:      22192
876.27/879.89	c #Conflicts:     341000 | #Constraints:      23192
876.27/879.89	c #Conflicts:     342000 | #Constraints:      24192
876.27/879.89	c #Conflicts:     343000 | #Constraints:      25192
876.27/879.89	c #Conflicts:     344000 | #Constraints:      26192
876.27/879.89	c #Conflicts:     345000 | #Constraints:      27192
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     346000 | #Constraints:      16590
876.27/879.89	c #Conflicts:     347000 | #Constraints:      17590
876.27/879.89	c #Conflicts:     348000 | #Constraints:      18590
876.27/879.89	c #Conflicts:     349000 | #Constraints:      19590
876.27/879.89	c #Conflicts:     350000 | #Constraints:      20590
876.27/879.89	c #Conflicts:     351000 | #Constraints:      21590
876.27/879.89	c #Conflicts:     352000 | #Constraints:      22590
876.27/879.89	c #Conflicts:     353000 | #Constraints:      23590
876.27/879.89	c #Conflicts:     354000 | #Constraints:      24590
876.27/879.89	c #Conflicts:     355000 | #Constraints:      25590
876.27/879.89	c #Conflicts:     356000 | #Constraints:      26590
876.27/879.89	c #Conflicts:     357000 | #Constraints:      27590
876.27/879.89	c INPROCESSING
876.27/879.89	c GARBAGE COLLECT
876.27/879.89	c #Conflicts:     358000 | #Constraints:      16794
876.27/879.89	c #Conflicts:     359000 | #Constraints:      17794
876.27/879.89	c #Conflicts:     360000 | #Constraints:      18794
876.27/879.89	c #Conflicts:     361000 | #Constraints:      19794
876.27/879.89	c #Conflicts:     362000 | #Constraints:      20794
876.27/879.89	c #Conflicts:     363000 | #Constraints:      21794
876.27/879.89	c #Conflicts:     364000 | #Constraints:      22794
876.27/879.89	c #Conflicts:     365000 | #Constraints:      23794
876.27/879.89	c #Conflicts:     366000 | #Constraints:      24794
876.27/879.89	c #Conflicts:     367000 | #Constraints:      25794
876.27/879.89	c #Conflicts:     368000 | #Constraints:      26794
1072.05/1076.38	c #Conflicts:     369000 | #Constraints:      27794
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     370000 | #Constraints:      16797
1072.05/1076.38	c #Conflicts:     371000 | #Constraints:      17797
1072.05/1076.38	c #Conflicts:     372000 | #Constraints:      18797
1072.05/1076.38	c #Conflicts:     373000 | #Constraints:      19797
1072.05/1076.38	c #Conflicts:     374000 | #Constraints:      20797
1072.05/1076.38	c #Conflicts:     375000 | #Constraints:      21797
1072.05/1076.38	c #Conflicts:     376000 | #Constraints:      22797
1072.05/1076.38	c #Conflicts:     377000 | #Constraints:      23797
1072.05/1076.38	c #Conflicts:     378000 | #Constraints:      24797
1072.05/1076.38	c #Conflicts:     379000 | #Constraints:      25797
1072.05/1076.38	c #Conflicts:     380000 | #Constraints:      26797
1072.05/1076.38	c #Conflicts:     381000 | #Constraints:      27797
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     382000 | #Constraints:      16591
1072.05/1076.38	c #Conflicts:     383000 | #Constraints:      17591
1072.05/1076.38	c #Conflicts:     384000 | #Constraints:      18591
1072.05/1076.38	c #Conflicts:     385000 | #Constraints:      19591
1072.05/1076.38	c #Conflicts:     386000 | #Constraints:      20591
1072.05/1076.38	c #Conflicts:     387000 | #Constraints:      21591
1072.05/1076.38	c #Conflicts:     388000 | #Constraints:      22591
1072.05/1076.38	c #Conflicts:     389000 | #Constraints:      23591
1072.05/1076.38	c #Conflicts:     390000 | #Constraints:      24591
1072.05/1076.38	c #Conflicts:     391000 | #Constraints:      25591
1072.05/1076.38	c #Conflicts:     392000 | #Constraints:      26591
1072.05/1076.38	c #Conflicts:     393000 | #Constraints:      27591
1072.05/1076.38	c #Conflicts:     394000 | #Constraints:      28591
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     395000 | #Constraints:      17195
1072.05/1076.38	c #Conflicts:     396000 | #Constraints:      18195
1072.05/1076.38	c #Conflicts:     397000 | #Constraints:      19195
1072.05/1076.38	c #Conflicts:     398000 | #Constraints:      20195
1072.05/1076.38	c #Conflicts:     399000 | #Constraints:      21195
1072.05/1076.38	c #Conflicts:     400000 | #Constraints:      22195
1072.05/1076.38	c #Conflicts:     401000 | #Constraints:      23195
1072.05/1076.38	c #Conflicts:     402000 | #Constraints:      24195
1072.05/1076.38	c #Conflicts:     403000 | #Constraints:      25195
1072.05/1076.38	c #Conflicts:     404000 | #Constraints:      26195
1072.05/1076.38	c #Conflicts:     405000 | #Constraints:      27195
1072.05/1076.38	c #Conflicts:     406000 | #Constraints:      28195
1072.05/1076.38	c #Conflicts:     407000 | #Constraints:      29195
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     408000 | #Constraints:      17598
1072.05/1076.38	c #Conflicts:     409000 | #Constraints:      18598
1072.05/1076.38	c #Conflicts:     410000 | #Constraints:      19598
1072.05/1076.38	c #Conflicts:     411000 | #Constraints:      20598
1072.05/1076.38	c #Conflicts:     412000 | #Constraints:      21598
1072.05/1076.38	c #Conflicts:     413000 | #Constraints:      22598
1072.05/1076.38	c #Conflicts:     414000 | #Constraints:      23598
1072.05/1076.38	c #Conflicts:     415000 | #Constraints:      24598
1072.05/1076.38	c #Conflicts:     416000 | #Constraints:      25598
1072.05/1076.38	c #Conflicts:     417000 | #Constraints:      26598
1072.05/1076.38	c #Conflicts:     418000 | #Constraints:      27598
1072.05/1076.38	c #Conflicts:     419000 | #Constraints:      28598
1072.05/1076.38	c #Conflicts:     420000 | #Constraints:      29598
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     421000 | #Constraints:      17794
1072.05/1076.38	c #Conflicts:     422000 | #Constraints:      18794
1072.05/1076.38	c #Conflicts:     423000 | #Constraints:      19794
1072.05/1076.38	c #Conflicts:     424000 | #Constraints:      20794
1072.05/1076.38	c #Conflicts:     425000 | #Constraints:      21794
1072.05/1076.38	c #Conflicts:     426000 | #Constraints:      22794
1072.05/1076.38	c #Conflicts:     427000 | #Constraints:      23794
1072.05/1076.38	c #Conflicts:     428000 | #Constraints:      24794
1072.05/1076.38	c #Conflicts:     429000 | #Constraints:      25794
1072.05/1076.38	c #Conflicts:     430000 | #Constraints:      26794
1072.05/1076.38	c #Conflicts:     431000 | #Constraints:      27794
1072.05/1076.38	c #Conflicts:     432000 | #Constraints:      28794
1072.05/1076.38	c #Conflicts:     433000 | #Constraints:      29794
1072.05/1076.38	c INPROCESSING
1072.05/1076.38	c GARBAGE COLLECT
1072.05/1076.38	c #Conflicts:     434000 | #Constraints:      17796
1072.05/1076.38	c #Conflicts:     435000 | #Constraints:      18796
1072.05/1076.38	c #Conflicts:     436000 | #Constraints:      19796
1072.05/1076.38	c #Conflicts:     437000 | #Constraints:      20796
1072.05/1076.38	c #Conflicts:     438000 | #Constraints:      21796
1072.05/1076.38	c #Conflicts:     439000 | #Constraints:      22796
1072.05/1076.38	c #Conflicts:     440000 | #Constraints:      23796
1072.05/1076.38	c #Conflicts:     441000 | #Constraints:      24796
1072.05/1076.38	c #Conflicts:     442000 | #Constraints:      25796
1072.05/1076.38	c #Conflicts:     443000 | #Constraints:      26796
1244.94/1249.84	c #Conflicts:     444000 | #Constraints:      27796
1244.94/1249.84	c #Conflicts:     445000 | #Constraints:      28796
1244.94/1249.84	c #Conflicts:     446000 | #Constraints:      29796
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     447000 | #Constraints:      17591
1244.94/1249.84	c #Conflicts:     448000 | #Constraints:      18591
1244.94/1249.84	c #Conflicts:     449000 | #Constraints:      19591
1244.94/1249.84	c #Conflicts:     450000 | #Constraints:      20591
1244.94/1249.84	c #Conflicts:     451000 | #Constraints:      21591
1244.94/1249.84	c #Conflicts:     452000 | #Constraints:      22591
1244.94/1249.84	c #Conflicts:     453000 | #Constraints:      23591
1244.94/1249.84	c #Conflicts:     454000 | #Constraints:      24591
1244.94/1249.84	c #Conflicts:     455000 | #Constraints:      25591
1244.94/1249.84	c #Conflicts:     456000 | #Constraints:      26591
1244.94/1249.84	c #Conflicts:     457000 | #Constraints:      27591
1244.94/1249.84	c #Conflicts:     458000 | #Constraints:      28591
1244.94/1249.84	c #Conflicts:     459000 | #Constraints:      29591
1244.94/1249.84	c #Conflicts:     460000 | #Constraints:      30591
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     461000 | #Constraints:      18193
1244.94/1249.84	c #Conflicts:     462000 | #Constraints:      19193
1244.94/1249.84	c #Conflicts:     463000 | #Constraints:      20193
1244.94/1249.84	c #Conflicts:     464000 | #Constraints:      21193
1244.94/1249.84	c #Conflicts:     465000 | #Constraints:      22193
1244.94/1249.84	c #Conflicts:     466000 | #Constraints:      23193
1244.94/1249.84	c #Conflicts:     467000 | #Constraints:      24193
1244.94/1249.84	c #Conflicts:     468000 | #Constraints:      25193
1244.94/1249.84	c #Conflicts:     469000 | #Constraints:      26193
1244.94/1249.84	c #Conflicts:     470000 | #Constraints:      27193
1244.94/1249.84	c #Conflicts:     471000 | #Constraints:      28193
1244.94/1249.84	c #Conflicts:     472000 | #Constraints:      29193
1244.94/1249.84	c #Conflicts:     473000 | #Constraints:      30193
1244.94/1249.84	c #Conflicts:     474000 | #Constraints:      31193
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     475000 | #Constraints:      18588
1244.94/1249.84	c #Conflicts:     476000 | #Constraints:      19588
1244.94/1249.84	c #Conflicts:     477000 | #Constraints:      20588
1244.94/1249.84	c #Conflicts:     478000 | #Constraints:      21588
1244.94/1249.84	c #Conflicts:     479000 | #Constraints:      22588
1244.94/1249.84	c #Conflicts:     480000 | #Constraints:      23588
1244.94/1249.84	c #Conflicts:     481000 | #Constraints:      24588
1244.94/1249.84	c #Conflicts:     482000 | #Constraints:      25588
1244.94/1249.84	c #Conflicts:     483000 | #Constraints:      26588
1244.94/1249.84	c #Conflicts:     484000 | #Constraints:      27588
1244.94/1249.84	c #Conflicts:     485000 | #Constraints:      28588
1244.94/1249.84	c #Conflicts:     486000 | #Constraints:      29588
1244.94/1249.84	c #Conflicts:     487000 | #Constraints:      30588
1244.94/1249.84	c #Conflicts:     488000 | #Constraints:      31588
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     489000 | #Constraints:      18782
1244.94/1249.84	c #Conflicts:     490000 | #Constraints:      19782
1244.94/1249.84	c #Conflicts:     491000 | #Constraints:      20782
1244.94/1249.84	c #Conflicts:     492000 | #Constraints:      21782
1244.94/1249.84	c #Conflicts:     493000 | #Constraints:      22782
1244.94/1249.84	c #Conflicts:     494000 | #Constraints:      23782
1244.94/1249.84	c #Conflicts:     495000 | #Constraints:      24782
1244.94/1249.84	c #Conflicts:     496000 | #Constraints:      25782
1244.94/1249.84	c #Conflicts:     497000 | #Constraints:      26782
1244.94/1249.84	c #Conflicts:     498000 | #Constraints:      27782
1244.94/1249.84	c #Conflicts:     499000 | #Constraints:      28782
1244.94/1249.84	c #Conflicts:     500000 | #Constraints:      29782
1244.94/1249.84	c #Conflicts:     501000 | #Constraints:      30782
1244.94/1249.84	c #Conflicts:     502000 | #Constraints:      31782
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     503000 | #Constraints:      18774
1244.94/1249.84	c #Conflicts:     504000 | #Constraints:      19774
1244.94/1249.84	c #Conflicts:     505000 | #Constraints:      20774
1244.94/1249.84	c #Conflicts:     506000 | #Constraints:      21774
1244.94/1249.84	c #Conflicts:     507000 | #Constraints:      22774
1244.94/1249.84	c #Conflicts:     508000 | #Constraints:      23774
1244.94/1249.84	c #Conflicts:     509000 | #Constraints:      24774
1244.94/1249.84	c #Conflicts:     510000 | #Constraints:      25774
1244.94/1249.84	c #Conflicts:     511000 | #Constraints:      26774
1244.94/1249.84	c #Conflicts:     512000 | #Constraints:      27774
1244.94/1249.84	c #Conflicts:     513000 | #Constraints:      28774
1244.94/1249.84	c #Conflicts:     514000 | #Constraints:      29774
1244.94/1249.84	c #Conflicts:     515000 | #Constraints:      30774
1244.94/1249.84	c #Conflicts:     516000 | #Constraints:      31774
1244.94/1249.84	c INPROCESSING
1244.94/1249.84	c GARBAGE COLLECT
1244.94/1249.84	c #Conflicts:     517000 | #Constraints:      18569
1244.94/1249.84	c #Conflicts:     518000 | #Constraints:      19569
1455.88/1461.46	c #Conflicts:     519000 | #Constraints:      20569
1455.88/1461.46	c #Conflicts:     520000 | #Constraints:      21569
1455.88/1461.46	c #Conflicts:     521000 | #Constraints:      22569
1455.88/1461.46	c #Conflicts:     522000 | #Constraints:      23569
1455.88/1461.46	c #Conflicts:     523000 | #Constraints:      24569
1455.88/1461.46	c #Conflicts:     524000 | #Constraints:      25569
1455.88/1461.46	c #Conflicts:     525000 | #Constraints:      26569
1455.88/1461.46	c #Conflicts:     526000 | #Constraints:      27569
1455.88/1461.46	c #Conflicts:     527000 | #Constraints:      28569
1455.88/1461.46	c #Conflicts:     528000 | #Constraints:      29569
1455.88/1461.46	c #Conflicts:     529000 | #Constraints:      30569
1455.88/1461.46	c #Conflicts:     530000 | #Constraints:      31569
1455.88/1461.46	c #Conflicts:     531000 | #Constraints:      32569
1455.88/1461.46	c INPROCESSING
1455.88/1461.46	c GARBAGE COLLECT
1455.88/1461.46	c #Conflicts:     532000 | #Constraints:      19171
1455.88/1461.46	c #Conflicts:     533000 | #Constraints:      20171
1455.88/1461.46	c #Conflicts:     534000 | #Constraints:      21171
1455.88/1461.46	c #Conflicts:     535000 | #Constraints:      22171
1455.88/1461.46	c #Conflicts:     536000 | #Constraints:      23171
1455.88/1461.46	c #Conflicts:     537000 | #Constraints:      24171
1455.88/1461.46	c #Conflicts:     538000 | #Constraints:      25171
1455.88/1461.46	c #Conflicts:     539000 | #Constraints:      26171
1455.88/1461.46	c #Conflicts:     540000 | #Constraints:      27171
1455.88/1461.46	c #Conflicts:     541000 | #Constraints:      28171
1455.88/1461.46	c #Conflicts:     542000 | #Constraints:      29171
1455.88/1461.46	c #Conflicts:     543000 | #Constraints:      30171
1455.88/1461.46	c #Conflicts:     544000 | #Constraints:      31171
1455.88/1461.46	c #Conflicts:     545000 | #Constraints:      32171
1455.88/1461.46	c #Conflicts:     546000 | #Constraints:      33171
1455.88/1461.46	c INPROCESSING
1455.88/1461.46	c GARBAGE COLLECT
1455.88/1461.46	c #Conflicts:     547000 | #Constraints:      19567
1455.88/1461.46	c #Conflicts:     548000 | #Constraints:      20567
1455.88/1461.46	c #Conflicts:     549000 | #Constraints:      21567
1455.88/1461.46	c #Conflicts:     550000 | #Constraints:      22567
1455.88/1461.46	c #Conflicts:     551000 | #Constraints:      23567
1455.88/1461.46	c #Conflicts:     552000 | #Constraints:      24567
1455.88/1461.46	c #Conflicts:     553000 | #Constraints:      25567
1455.88/1461.46	c #Conflicts:     554000 | #Constraints:      26567
1455.88/1461.46	c #Conflicts:     555000 | #Constraints:      27567
1455.88/1461.46	c #Conflicts:     556000 | #Constraints:      28567
1455.88/1461.46	c #Conflicts:     557000 | #Constraints:      29567
1455.88/1461.46	c #Conflicts:     558000 | #Constraints:      30567
1455.88/1461.46	c #Conflicts:     559000 | #Constraints:      31567
1455.88/1461.46	c #Conflicts:     560000 | #Constraints:      32567
1455.88/1461.46	c #Conflicts:     561000 | #Constraints:      33567
1455.88/1461.46	c INPROCESSING
1455.88/1461.46	c GARBAGE COLLECT
1455.88/1461.46	c #Conflicts:     562000 | #Constraints:      19770
1455.88/1461.46	c #Conflicts:     563000 | #Constraints:      20770
1455.88/1461.46	c #Conflicts:     564000 | #Constraints:      21770
1455.88/1461.46	c #Conflicts:     565000 | #Constraints:      22770
1455.88/1461.46	c #Conflicts:     566000 | #Constraints:      23770
1455.88/1461.46	c #Conflicts:     567000 | #Constraints:      24770
1455.88/1461.46	c #Conflicts:     568000 | #Constraints:      25770
1455.88/1461.46	c #Conflicts:     569000 | #Constraints:      26770
1455.88/1461.46	c #Conflicts:     570000 | #Constraints:      27770
1455.88/1461.46	c #Conflicts:     571000 | #Constraints:      28770
1455.88/1461.46	c #Conflicts:     572000 | #Constraints:      29770
1455.88/1461.46	c #Conflicts:     573000 | #Constraints:      30770
1455.88/1461.46	c #Conflicts:     574000 | #Constraints:      31770
1455.88/1461.46	c #Conflicts:     575000 | #Constraints:      32770
1455.88/1461.46	c #Conflicts:     576000 | #Constraints:      33770
1455.88/1461.46	c INPROCESSING
1455.88/1461.46	c GARBAGE COLLECT
1455.88/1461.46	c #Conflicts:     577000 | #Constraints:      19776
1455.88/1461.46	c #Conflicts:     578000 | #Constraints:      20776
1455.88/1461.46	c #Conflicts:     579000 | #Constraints:      21776
1455.88/1461.46	c #Conflicts:     580000 | #Constraints:      22776
1455.88/1461.46	c #Conflicts:     581000 | #Constraints:      23776
1455.88/1461.46	c #Conflicts:     582000 | #Constraints:      24776
1455.88/1461.46	c #Conflicts:     583000 | #Constraints:      25776
1455.88/1461.46	c #Conflicts:     584000 | #Constraints:      26776
1455.88/1461.46	c #Conflicts:     585000 | #Constraints:      27776
1455.88/1461.46	c #Conflicts:     586000 | #Constraints:      28776
1455.88/1461.46	c #Conflicts:     587000 | #Constraints:      29776
1455.88/1461.46	c #Conflicts:     588000 | #Constraints:      30776
1455.88/1461.46	c #Conflicts:     589000 | #Constraints:      31776
1455.88/1461.46	c #Conflicts:     590000 | #Constraints:      32776
1455.88/1461.46	c #Conflicts:     591000 | #Constraints:      33776
1455.88/1461.46	c INPROCESSING
1455.88/1461.46	c GARBAGE COLLECT
1455.88/1461.46	c #Conflicts:     592000 | #Constraints:      19575
1455.88/1461.46	c #Conflicts:     593000 | #Constraints:      20575
1694.64/1700.94	c #Conflicts:     594000 | #Constraints:      21575
1694.64/1700.94	c #Conflicts:     595000 | #Constraints:      22575
1694.64/1700.94	c #Conflicts:     596000 | #Constraints:      23575
1694.64/1700.94	c #Conflicts:     597000 | #Constraints:      24575
1694.64/1700.94	c #Conflicts:     598000 | #Constraints:      25575
1694.64/1700.94	c #Conflicts:     599000 | #Constraints:      26575
1694.64/1700.94	c #Conflicts:     600000 | #Constraints:      27575
1694.64/1700.94	c #Conflicts:     601000 | #Constraints:      28575
1694.64/1700.94	c #Conflicts:     602000 | #Constraints:      29575
1694.64/1700.94	c #Conflicts:     603000 | #Constraints:      30575
1694.64/1700.94	c #Conflicts:     604000 | #Constraints:      31575
1694.64/1700.94	c #Conflicts:     605000 | #Constraints:      32575
1694.64/1700.94	c #Conflicts:     606000 | #Constraints:      33575
1694.64/1700.94	c #Conflicts:     607000 | #Constraints:      34575
1694.64/1700.94	c INPROCESSING
1694.64/1700.94	c GARBAGE COLLECT
1694.64/1700.94	c #Conflicts:     608000 | #Constraints:      20176
1694.64/1700.94	c #Conflicts:     609000 | #Constraints:      21176
1694.64/1700.94	c #Conflicts:     610000 | #Constraints:      22176
1694.64/1700.94	c #Conflicts:     611000 | #Constraints:      23176
1694.64/1700.94	c #Conflicts:     612000 | #Constraints:      24176
1694.64/1700.94	c #Conflicts:     613000 | #Constraints:      25176
1694.64/1700.94	c #Conflicts:     614000 | #Constraints:      26176
1694.64/1700.94	c #Conflicts:     615000 | #Constraints:      27176
1694.64/1700.94	c #Conflicts:     616000 | #Constraints:      28176
1694.64/1700.94	c #Conflicts:     617000 | #Constraints:      29176
1694.64/1700.94	c #Conflicts:     618000 | #Constraints:      30176
1694.64/1700.94	c #Conflicts:     619000 | #Constraints:      31176
1694.64/1700.94	c #Conflicts:     620000 | #Constraints:      32176
1694.64/1700.94	c #Conflicts:     621000 | #Constraints:      33176
1694.64/1700.94	c #Conflicts:     622000 | #Constraints:      34176
1694.64/1700.94	c #Conflicts:     623000 | #Constraints:      35176
1694.64/1700.94	c INPROCESSING
1694.64/1700.94	c GARBAGE COLLECT
1694.64/1700.94	c #Conflicts:     624000 | #Constraints:      20576
1694.64/1700.94	c #Conflicts:     625000 | #Constraints:      21576
1694.64/1700.94	c #Conflicts:     626000 | #Constraints:      22576
1694.64/1700.94	c #Conflicts:     627000 | #Constraints:      23576
1694.64/1700.94	c #Conflicts:     628000 | #Constraints:      24576
1694.64/1700.94	c #Conflicts:     629000 | #Constraints:      25576
1694.64/1700.94	c #Conflicts:     630000 | #Constraints:      26576
1694.64/1700.94	c #Conflicts:     631000 | #Constraints:      27576
1694.64/1700.94	c #Conflicts:     632000 | #Constraints:      28576
1694.64/1700.94	c #Conflicts:     633000 | #Constraints:      29576
1694.64/1700.94	c #Conflicts:     634000 | #Constraints:      30576
1694.64/1700.94	c #Conflicts:     635000 | #Constraints:      31576
1694.64/1700.94	c #Conflicts:     636000 | #Constraints:      32576
1694.64/1700.94	c #Conflicts:     637000 | #Constraints:      33576
1694.64/1700.94	c #Conflicts:     638000 | #Constraints:      34576
1694.64/1700.94	c #Conflicts:     639000 | #Constraints:      35576
1694.64/1700.94	c INPROCESSING
1694.64/1700.94	c GARBAGE COLLECT
1694.64/1700.94	c #Conflicts:     640000 | #Constraints:      20773
1694.64/1700.94	c #Conflicts:     641000 | #Constraints:      21773
1694.64/1700.94	c #Conflicts:     642000 | #Constraints:      22773
1694.64/1700.94	c #Conflicts:     643000 | #Constraints:      23773
1694.64/1700.94	c #Conflicts:     644000 | #Constraints:      24773
1694.64/1700.94	c #Conflicts:     645000 | #Constraints:      25773
1694.64/1700.94	c #Conflicts:     646000 | #Constraints:      26773
1694.64/1700.94	c #Conflicts:     647000 | #Constraints:      27773
1694.64/1700.94	c #Conflicts:     648000 | #Constraints:      28773
1694.64/1700.94	c #Conflicts:     649000 | #Constraints:      29773
1694.64/1700.94	c #Conflicts:     650000 | #Constraints:      30773
1694.64/1700.94	c #Conflicts:     651000 | #Constraints:      31773
1694.64/1700.94	c #Conflicts:     652000 | #Constraints:      32773
1694.64/1700.94	c #Conflicts:     653000 | #Constraints:      33773
1694.64/1700.94	c #Conflicts:     654000 | #Constraints:      34773
1694.64/1700.94	c #Conflicts:     655000 | #Constraints:      35773
1694.64/1700.94	c INPROCESSING
1694.64/1700.94	c GARBAGE COLLECT
1694.64/1700.94	c #Conflicts:     656000 | #Constraints:      20776
1694.64/1700.94	c #Conflicts:     657000 | #Constraints:      21776
1694.64/1700.94	c #Conflicts:     658000 | #Constraints:      22776
1694.64/1700.94	c #Conflicts:     659000 | #Constraints:      23776
1694.64/1700.94	c #Conflicts:     660000 | #Constraints:      24776
1694.64/1700.94	c #Conflicts:     661000 | #Constraints:      25776
1694.64/1700.94	c #Conflicts:     662000 | #Constraints:      26776
1694.64/1700.94	c #Conflicts:     663000 | #Constraints:      27776
1694.64/1700.94	c #Conflicts:     664000 | #Constraints:      28776
1694.64/1700.94	c #Conflicts:     665000 | #Constraints:      29776
1694.64/1700.94	c #Conflicts:     666000 | #Constraints:      30776
1694.64/1700.94	c #Conflicts:     667000 | #Constraints:      31776
1694.64/1700.94	c #Conflicts:     668000 | #Constraints:      32776
1694.64/1700.94	c #Conflicts:     669000 | #Constraints:      33776
1933.39/1940.45	c #Conflicts:     670000 | #Constraints:      34776
1933.39/1940.45	c #Conflicts:     671000 | #Constraints:      35776
1933.39/1940.45	c INPROCESSING
1933.39/1940.45	c GARBAGE COLLECT
1933.39/1940.45	c #Conflicts:     672000 | #Constraints:      20572
1933.39/1940.45	c #Conflicts:     673000 | #Constraints:      21572
1933.39/1940.45	c #Conflicts:     674000 | #Constraints:      22572
1933.39/1940.45	c #Conflicts:     675000 | #Constraints:      23572
1933.39/1940.45	c #Conflicts:     676000 | #Constraints:      24572
1933.39/1940.45	c #Conflicts:     677000 | #Constraints:      25572
1933.39/1940.45	c #Conflicts:     678000 | #Constraints:      26572
1933.39/1940.45	c #Conflicts:     679000 | #Constraints:      27572
1933.39/1940.45	c #Conflicts:     680000 | #Constraints:      28572
1933.39/1940.45	c #Conflicts:     681000 | #Constraints:      29572
1933.39/1940.45	c #Conflicts:     682000 | #Constraints:      30572
1933.39/1940.45	c #Conflicts:     683000 | #Constraints:      31572
1933.39/1940.45	c #Conflicts:     684000 | #Constraints:      32572
1933.39/1940.45	c #Conflicts:     685000 | #Constraints:      33572
1933.39/1940.45	c #Conflicts:     686000 | #Constraints:      34572
1933.39/1940.45	c #Conflicts:     687000 | #Constraints:      35572
1933.39/1940.45	c #Conflicts:     688000 | #Constraints:      36572
1933.39/1940.45	c INPROCESSING
1933.39/1940.45	c GARBAGE COLLECT
1933.39/1940.45	c #Conflicts:     689000 | #Constraints:      21168
1933.39/1940.45	c #Conflicts:     690000 | #Constraints:      22168
1933.39/1940.45	c #Conflicts:     691000 | #Constraints:      23168
1933.39/1940.45	c #Conflicts:     692000 | #Constraints:      24168
1933.39/1940.45	c #Conflicts:     693000 | #Constraints:      25168
1933.39/1940.45	c #Conflicts:     694000 | #Constraints:      26168
1933.39/1940.45	c #Conflicts:     695000 | #Constraints:      27168
1933.39/1940.45	c #Conflicts:     696000 | #Constraints:      28168
1933.39/1940.45	c #Conflicts:     697000 | #Constraints:      29168
1933.39/1940.45	c #Conflicts:     698000 | #Constraints:      30168
1933.39/1940.45	c #Conflicts:     699000 | #Constraints:      31168
1933.39/1940.45	c #Conflicts:     700000 | #Constraints:      32168
1933.39/1940.45	c #Conflicts:     701000 | #Constraints:      33168
1933.39/1940.45	c #Conflicts:     702000 | #Constraints:      34168
1933.39/1940.45	c #Conflicts:     703000 | #Constraints:      35168
1933.39/1940.45	c #Conflicts:     704000 | #Constraints:      36168
1933.39/1940.45	c #Conflicts:     705000 | #Constraints:      37168
1933.39/1940.45	c INPROCESSING
1933.39/1940.45	c GARBAGE COLLECT
1933.39/1940.45	c #Conflicts:     706000 | #Constraints:      21571
1933.39/1940.45	c #Conflicts:     707000 | #Constraints:      22571
1933.39/1940.45	c #Conflicts:     708000 | #Constraints:      23571
1933.39/1940.45	c #Conflicts:     709000 | #Constraints:      24571
1933.39/1940.45	c #Conflicts:     710000 | #Constraints:      25571
1933.39/1940.45	c #Conflicts:     711000 | #Constraints:      26571
1933.39/1940.45	c #Conflicts:     712000 | #Constraints:      27571
1933.39/1940.45	c #Conflicts:     713000 | #Constraints:      28571
1933.39/1940.45	c #Conflicts:     714000 | #Constraints:      29571
1933.39/1940.45	c #Conflicts:     715000 | #Constraints:      30571
1933.39/1940.45	c #Conflicts:     716000 | #Constraints:      31571
1933.39/1940.45	c #Conflicts:     717000 | #Constraints:      32571
1933.39/1940.45	c #Conflicts:     718000 | #Constraints:      33571
1933.39/1940.45	c #Conflicts:     719000 | #Constraints:      34571
1933.39/1940.45	c #Conflicts:     720000 | #Constraints:      35571
1933.39/1940.45	c #Conflicts:     721000 | #Constraints:      36571
1933.39/1940.45	c #Conflicts:     722000 | #Constraints:      37571
1933.39/1940.45	c INPROCESSING
1933.39/1940.45	c GARBAGE COLLECT
1933.39/1940.45	c #Conflicts:     723000 | #Constraints:      21778
1933.39/1940.45	c #Conflicts:     724000 | #Constraints:      22778
1933.39/1940.45	c #Conflicts:     725000 | #Constraints:      23778
1933.39/1940.45	c #Conflicts:     726000 | #Constraints:      24778
1933.39/1940.45	c #Conflicts:     727000 | #Constraints:      25778
1933.39/1940.45	c #Conflicts:     728000 | #Constraints:      26778
1933.39/1940.45	c #Conflicts:     729000 | #Constraints:      27778
1933.39/1940.45	c #Conflicts:     730000 | #Constraints:      28778
1933.39/1940.45	c #Conflicts:     731000 | #Constraints:      29778
1933.39/1940.45	c #Conflicts:     732000 | #Constraints:      30778
1933.39/1940.45	c #Conflicts:     733000 | #Constraints:      31778
1933.39/1940.45	c #Conflicts:     734000 | #Constraints:      32778
1933.39/1940.45	c #Conflicts:     735000 | #Constraints:      33778
1933.39/1940.45	c #Conflicts:     736000 | #Constraints:      34778
1933.39/1940.45	c #Conflicts:     737000 | #Constraints:      35778
1933.39/1940.45	c #Conflicts:     738000 | #Constraints:      36778
1933.39/1940.45	c #Conflicts:     739000 | #Constraints:      37778
1933.39/1940.45	c INPROCESSING
1933.39/1940.45	c GARBAGE COLLECT
1933.39/1940.45	c #Conflicts:     740000 | #Constraints:      21775
1933.39/1940.45	c #Conflicts:     741000 | #Constraints:      22775
1933.39/1940.45	c #Conflicts:     742000 | #Constraints:      23775
1933.39/1940.45	c #Conflicts:     743000 | #Constraints:      24775
1933.39/1940.45	c #Conflicts:     744000 | #Constraints:      25775
1933.39/1940.45	c #Conflicts:     745000 | #Constraints:      26775
2221.88/2229.83	c #Conflicts:     746000 | #Constraints:      27775
2221.88/2229.83	c #Conflicts:     747000 | #Constraints:      28775
2221.88/2229.83	c #Conflicts:     748000 | #Constraints:      29775
2221.88/2229.83	c #Conflicts:     749000 | #Constraints:      30775
2221.88/2229.83	c #Conflicts:     750000 | #Constraints:      31775
2221.88/2229.83	c #Conflicts:     751000 | #Constraints:      32775
2221.88/2229.83	c #Conflicts:     752000 | #Constraints:      33775
2221.88/2229.83	c #Conflicts:     753000 | #Constraints:      34775
2221.88/2229.83	c #Conflicts:     754000 | #Constraints:      35775
2221.88/2229.83	c #Conflicts:     755000 | #Constraints:      36775
2221.88/2229.83	c #Conflicts:     756000 | #Constraints:      37775
2221.88/2229.83	c INPROCESSING
2221.88/2229.83	c GARBAGE COLLECT
2221.88/2229.83	c #Conflicts:     757000 | #Constraints:      21587
2221.88/2229.83	c #Conflicts:     758000 | #Constraints:      22587
2221.88/2229.83	c #Conflicts:     759000 | #Constraints:      23587
2221.88/2229.83	c #Conflicts:     760000 | #Constraints:      24587
2221.88/2229.83	c #Conflicts:     761000 | #Constraints:      25587
2221.88/2229.83	c #Conflicts:     762000 | #Constraints:      26587
2221.88/2229.83	c #Conflicts:     763000 | #Constraints:      27587
2221.88/2229.83	c #Conflicts:     764000 | #Constraints:      28587
2221.88/2229.83	c #Conflicts:     765000 | #Constraints:      29587
2221.88/2229.83	c #Conflicts:     766000 | #Constraints:      30587
2221.88/2229.83	c #Conflicts:     767000 | #Constraints:      31587
2221.88/2229.83	c #Conflicts:     768000 | #Constraints:      32587
2221.88/2229.83	c #Conflicts:     769000 | #Constraints:      33587
2221.88/2229.83	c #Conflicts:     770000 | #Constraints:      34587
2221.88/2229.83	c #Conflicts:     771000 | #Constraints:      35587
2221.88/2229.83	c #Conflicts:     772000 | #Constraints:      36587
2221.88/2229.83	c #Conflicts:     773000 | #Constraints:      37587
2221.88/2229.83	c #Conflicts:     774000 | #Constraints:      38587
2221.88/2229.83	c INPROCESSING
2221.88/2229.83	c GARBAGE COLLECT
2221.88/2229.83	c #Conflicts:     775000 | #Constraints:      22183
2221.88/2229.83	c #Conflicts:     776000 | #Constraints:      23183
2221.88/2229.83	c #Conflicts:     777000 | #Constraints:      24183
2221.88/2229.83	c #Conflicts:     778000 | #Constraints:      25183
2221.88/2229.83	c #Conflicts:     779000 | #Constraints:      26183
2221.88/2229.83	c #Conflicts:     780000 | #Constraints:      27183
2221.88/2229.83	c #Conflicts:     781000 | #Constraints:      28183
2221.88/2229.83	c #Conflicts:     782000 | #Constraints:      29183
2221.88/2229.83	c #Conflicts:     783000 | #Constraints:      30183
2221.88/2229.83	c #Conflicts:     784000 | #Constraints:      31183
2221.88/2229.83	c #Conflicts:     785000 | #Constraints:      32183
2221.88/2229.83	c #Conflicts:     786000 | #Constraints:      33183
2221.88/2229.83	c #Conflicts:     787000 | #Constraints:      34183
2221.88/2229.83	c #Conflicts:     788000 | #Constraints:      35183
2221.88/2229.83	c #Conflicts:     789000 | #Constraints:      36183
2221.88/2229.83	c #Conflicts:     790000 | #Constraints:      37183
2221.88/2229.83	c #Conflicts:     791000 | #Constraints:      38183
2221.88/2229.83	c #Conflicts:     792000 | #Constraints:      39183
2221.88/2229.83	c INPROCESSING
2221.88/2229.83	c GARBAGE COLLECT
2221.88/2229.83	c #Conflicts:     793000 | #Constraints:      22585
2221.88/2229.83	c #Conflicts:     794000 | #Constraints:      23585
2221.88/2229.83	c #Conflicts:     795000 | #Constraints:      24585
2221.88/2229.83	c #Conflicts:     796000 | #Constraints:      25585
2221.88/2229.83	c #Conflicts:     797000 | #Constraints:      26585
2221.88/2229.83	c #Conflicts:     798000 | #Constraints:      27585
2221.88/2229.83	c #Conflicts:     799000 | #Constraints:      28585
2221.88/2229.83	c #Conflicts:     800000 | #Constraints:      29585
2221.88/2229.83	c #Conflicts:     801000 | #Constraints:      30585
2221.88/2229.83	c #Conflicts:     802000 | #Constraints:      31585
2221.88/2229.83	c #Conflicts:     803000 | #Constraints:      32585
2221.88/2229.83	c #Conflicts:     804000 | #Constraints:      33585
2221.88/2229.83	c #Conflicts:     805000 | #Constraints:      34585
2221.88/2229.83	c #Conflicts:     806000 | #Constraints:      35585
2221.88/2229.83	c #Conflicts:     807000 | #Constraints:      36585
2221.88/2229.83	c #Conflicts:     808000 | #Constraints:      37585
2221.88/2229.83	c #Conflicts:     809000 | #Constraints:      38585
2221.88/2229.83	c #Conflicts:     810000 | #Constraints:      39585
2221.88/2229.83	c INPROCESSING
2221.88/2229.83	c GARBAGE COLLECT
2221.88/2229.83	c #Conflicts:     811000 | #Constraints:      22787
2221.88/2229.83	c #Conflicts:     812000 | #Constraints:      23787
2221.88/2229.83	c #Conflicts:     813000 | #Constraints:      24787
2221.88/2229.83	c #Conflicts:     814000 | #Constraints:      25787
2221.88/2229.83	c #Conflicts:     815000 | #Constraints:      26787
2221.88/2229.83	c #Conflicts:     816000 | #Constraints:      27787
2221.88/2229.83	c #Conflicts:     817000 | #Constraints:      28787
2221.88/2229.83	c #Conflicts:     818000 | #Constraints:      29787
2221.88/2229.83	c #Conflicts:     819000 | #Constraints:      30787
2221.88/2229.83	c #Conflicts:     820000 | #Constraints:      31787
2221.88/2229.83	c #Conflicts:     821000 | #Constraints:      32787
2507.88/2516.71	c #Conflicts:     822000 | #Constraints:      33787
2507.88/2516.71	c #Conflicts:     823000 | #Constraints:      34787
2507.88/2516.71	c #Conflicts:     824000 | #Constraints:      35787
2507.88/2516.71	c #Conflicts:     825000 | #Constraints:      36787
2507.88/2516.71	c #Conflicts:     826000 | #Constraints:      37787
2507.88/2516.71	c #Conflicts:     827000 | #Constraints:      38787
2507.88/2516.71	c #Conflicts:     828000 | #Constraints:      39787
2507.88/2516.71	c INPROCESSING
2507.88/2516.71	c GARBAGE COLLECT
2507.88/2516.71	c #Conflicts:     829000 | #Constraints:      22787
2507.88/2516.71	c #Conflicts:     830000 | #Constraints:      23787
2507.88/2516.71	c #Conflicts:     831000 | #Constraints:      24787
2507.88/2516.71	c #Conflicts:     832000 | #Constraints:      25787
2507.88/2516.71	c #Conflicts:     833000 | #Constraints:      26787
2507.88/2516.71	c #Conflicts:     834000 | #Constraints:      27787
2507.88/2516.71	c #Conflicts:     835000 | #Constraints:      28787
2507.88/2516.71	c #Conflicts:     836000 | #Constraints:      29787
2507.88/2516.71	c #Conflicts:     837000 | #Constraints:      30787
2507.88/2516.71	c #Conflicts:     838000 | #Constraints:      31787
2507.88/2516.71	c #Conflicts:     839000 | #Constraints:      32787
2507.88/2516.71	c #Conflicts:     840000 | #Constraints:      33787
2507.88/2516.71	c #Conflicts:     841000 | #Constraints:      34787
2507.88/2516.71	c #Conflicts:     842000 | #Constraints:      35787
2507.88/2516.71	c #Conflicts:     843000 | #Constraints:      36787
2507.88/2516.71	c #Conflicts:     844000 | #Constraints:      37787
2507.88/2516.71	c #Conflicts:     845000 | #Constraints:      38787
2507.88/2516.71	c #Conflicts:     846000 | #Constraints:      39787
2507.88/2516.71	c INPROCESSING
2507.88/2516.71	c GARBAGE COLLECT
2507.88/2516.71	c #Conflicts:     847000 | #Constraints:      22581
2507.88/2516.71	c #Conflicts:     848000 | #Constraints:      23581
2507.88/2516.71	c #Conflicts:     849000 | #Constraints:      24581
2507.88/2516.71	c #Conflicts:     850000 | #Constraints:      25581
2507.88/2516.71	c #Conflicts:     851000 | #Constraints:      26581
2507.88/2516.71	c #Conflicts:     852000 | #Constraints:      27581
2507.88/2516.71	c #Conflicts:     853000 | #Constraints:      28581
2507.88/2516.71	c #Conflicts:     854000 | #Constraints:      29581
2507.88/2516.71	c #Conflicts:     855000 | #Constraints:      30581
2507.88/2516.71	c #Conflicts:     856000 | #Constraints:      31581
2507.88/2516.71	c #Conflicts:     857000 | #Constraints:      32581
2507.88/2516.71	c #Conflicts:     858000 | #Constraints:      33581
2507.88/2516.71	c #Conflicts:     859000 | #Constraints:      34581
2507.88/2516.71	c #Conflicts:     860000 | #Constraints:      35581
2507.88/2516.71	c #Conflicts:     861000 | #Constraints:      36581
2507.88/2516.71	c #Conflicts:     862000 | #Constraints:      37581
2507.88/2516.71	c #Conflicts:     863000 | #Constraints:      38581
2507.88/2516.71	c #Conflicts:     864000 | #Constraints:      39581
2507.88/2516.71	c #Conflicts:     865000 | #Constraints:      40581
2507.88/2516.71	c INPROCESSING
2507.88/2516.71	c GARBAGE COLLECT
2507.88/2516.71	c #Conflicts:     866000 | #Constraints:      23186
2507.88/2516.71	c #Conflicts:     867000 | #Constraints:      24186
2507.88/2516.71	c #Conflicts:     868000 | #Constraints:      25186
2507.88/2516.71	c #Conflicts:     869000 | #Constraints:      26186
2507.88/2516.71	c #Conflicts:     870000 | #Constraints:      27186
2507.88/2516.71	c #Conflicts:     871000 | #Constraints:      28186
2507.88/2516.71	c #Conflicts:     872000 | #Constraints:      29186
2507.88/2516.71	c #Conflicts:     873000 | #Constraints:      30186
2507.88/2516.71	c #Conflicts:     874000 | #Constraints:      31186
2507.88/2516.71	c #Conflicts:     875000 | #Constraints:      32186
2507.88/2516.71	c #Conflicts:     876000 | #Constraints:      33186
2507.88/2516.71	c #Conflicts:     877000 | #Constraints:      34186
2507.88/2516.71	c #Conflicts:     878000 | #Constraints:      35186
2507.88/2516.71	c #Conflicts:     879000 | #Constraints:      36186
2507.88/2516.71	c #Conflicts:     880000 | #Constraints:      37186
2507.88/2516.71	c #Conflicts:     881000 | #Constraints:      38186
2507.88/2516.71	c #Conflicts:     882000 | #Constraints:      39186
2507.88/2516.71	c #Conflicts:     883000 | #Constraints:      40186
2507.88/2516.71	c #Conflicts:     884000 | #Constraints:      41186
2507.88/2516.71	c INPROCESSING
2507.88/2516.71	c GARBAGE COLLECT
2507.88/2516.71	c #Conflicts:     885000 | #Constraints:      23590
2507.88/2516.71	c #Conflicts:     886000 | #Constraints:      24590
2507.88/2516.71	c #Conflicts:     887000 | #Constraints:      25590
2507.88/2516.71	c #Conflicts:     888000 | #Constraints:      26590
2507.88/2516.71	c #Conflicts:     889000 | #Constraints:      27590
2507.88/2516.71	c #Conflicts:     890000 | #Constraints:      28590
2507.88/2516.71	c #Conflicts:     891000 | #Constraints:      29590
2507.88/2516.71	c #Conflicts:     892000 | #Constraints:      30590
2507.88/2516.71	c #Conflicts:     893000 | #Constraints:      31590
2507.88/2516.71	c #Conflicts:     894000 | #Constraints:      32590
2507.88/2516.71	c #Conflicts:     895000 | #Constraints:      33590
2507.88/2516.71	c #Conflicts:     896000 | #Constraints:      34590
2507.88/2516.71	c #Conflicts:     897000 | #Constraints:      35590
2507.88/2516.71	c #Conflicts:     898000 | #Constraints:      36590
2753.12/2762.75	c #Conflicts:     899000 | #Constraints:      37590
2753.12/2762.75	c #Conflicts:     900000 | #Constraints:      38590
2753.12/2762.75	c #Conflicts:     901000 | #Constraints:      39590
2753.12/2762.75	c #Conflicts:     902000 | #Constraints:      40590
2753.12/2762.75	c #Conflicts:     903000 | #Constraints:      41590
2753.12/2762.75	c INPROCESSING
2753.12/2762.75	c GARBAGE COLLECT
2753.12/2762.75	c #Conflicts:     904000 | #Constraints:      23787
2753.12/2762.75	c #Conflicts:     905000 | #Constraints:      24787
2753.12/2762.75	c #Conflicts:     906000 | #Constraints:      25787
2753.12/2762.75	c #Conflicts:     907000 | #Constraints:      26787
2753.12/2762.75	c #Conflicts:     908000 | #Constraints:      27787
2753.12/2762.75	c #Conflicts:     909000 | #Constraints:      28787
2753.12/2762.75	c #Conflicts:     910000 | #Constraints:      29787
2753.12/2762.75	c #Conflicts:     911000 | #Constraints:      30787
2753.12/2762.75	c #Conflicts:     912000 | #Constraints:      31787
2753.12/2762.75	c #Conflicts:     913000 | #Constraints:      32787
2753.12/2762.75	c #Conflicts:     914000 | #Constraints:      33787
2753.12/2762.75	c #Conflicts:     915000 | #Constraints:      34787
2753.12/2762.75	c #Conflicts:     916000 | #Constraints:      35787
2753.12/2762.75	c #Conflicts:     917000 | #Constraints:      36787
2753.12/2762.75	c #Conflicts:     918000 | #Constraints:      37787
2753.12/2762.75	c #Conflicts:     919000 | #Constraints:      38787
2753.12/2762.75	c #Conflicts:     920000 | #Constraints:      39787
2753.12/2762.75	c #Conflicts:     921000 | #Constraints:      40787
2753.12/2762.75	c #Conflicts:     922000 | #Constraints:      41787
2753.12/2762.75	c INPROCESSING
2753.12/2762.75	c GARBAGE COLLECT
2753.12/2762.75	c #Conflicts:     923000 | #Constraints:      23784
2753.12/2762.75	c #Conflicts:     924000 | #Constraints:      24784
2753.12/2762.75	c #Conflicts:     925000 | #Constraints:      25784
2753.12/2762.75	c #Conflicts:     926000 | #Constraints:      26784
2753.12/2762.75	c #Conflicts:     927000 | #Constraints:      27784
2753.12/2762.75	c #Conflicts:     928000 | #Constraints:      28784
2753.12/2762.75	c #Conflicts:     929000 | #Constraints:      29784
2753.12/2762.75	c #Conflicts:     930000 | #Constraints:      30784
2753.12/2762.75	c #Conflicts:     931000 | #Constraints:      31784
2753.12/2762.75	c #Conflicts:     932000 | #Constraints:      32784
2753.12/2762.75	c #Conflicts:     933000 | #Constraints:      33784
2753.12/2762.75	c #Conflicts:     934000 | #Constraints:      34784
2753.12/2762.75	c #Conflicts:     935000 | #Constraints:      35784
2753.12/2762.75	c #Conflicts:     936000 | #Constraints:      36784
2753.12/2762.75	c #Conflicts:     937000 | #Constraints:      37784
2753.12/2762.75	c #Conflicts:     938000 | #Constraints:      38784
2753.12/2762.75	c #Conflicts:     939000 | #Constraints:      39784
2753.12/2762.75	c #Conflicts:     940000 | #Constraints:      40784
2753.12/2762.75	c #Conflicts:     941000 | #Constraints:      41784
2753.12/2762.75	c INPROCESSING
2753.12/2762.75	c GARBAGE COLLECT
2753.12/2762.75	c #Conflicts:     942000 | #Constraints:      23587
2753.12/2762.75	c #Conflicts:     943000 | #Constraints:      24587
2753.12/2762.75	c #Conflicts:     944000 | #Constraints:      25587
2753.12/2762.75	c #Conflicts:     945000 | #Constraints:      26587
2753.12/2762.75	c #Conflicts:     946000 | #Constraints:      27587
2753.12/2762.75	c #Conflicts:     947000 | #Constraints:      28587
2753.12/2762.75	c #Conflicts:     948000 | #Constraints:      29587
2753.12/2762.75	c #Conflicts:     949000 | #Constraints:      30587
2753.12/2762.75	c #Conflicts:     950000 | #Constraints:      31587
2753.12/2762.75	c #Conflicts:     951000 | #Constraints:      32587
2753.12/2762.75	c #Conflicts:     952000 | #Constraints:      33587
2753.12/2762.75	c #Conflicts:     953000 | #Constraints:      34587
2753.12/2762.75	c #Conflicts:     954000 | #Constraints:      35587
2753.12/2762.75	c #Conflicts:     955000 | #Constraints:      36587
2753.12/2762.75	c #Conflicts:     956000 | #Constraints:      37587
2753.12/2762.75	c bounds - >= 804 @ 2715.88
2753.12/2762.75	c #Conflicts:     957000 | #Constraints:      38588
2753.12/2762.75	c #Conflicts:     958000 | #Constraints:      39588
2753.12/2762.75	c #Conflicts:     959000 | #Constraints:      40588
2753.12/2762.75	c #Conflicts:     960000 | #Constraints:      41588
2753.12/2762.75	c #Conflicts:     961000 | #Constraints:      42588
2753.12/2762.75	c INPROCESSING
2753.12/2762.75	c GARBAGE COLLECT
2753.12/2762.75	c #Conflicts:     962000 | #Constraints:      24183
2753.12/2762.75	c #Conflicts:     963000 | #Constraints:      25183
2753.12/2762.75	c #Conflicts:     964000 | #Constraints:      26183
2753.12/2762.75	c #Conflicts:     965000 | #Constraints:      27183
2753.12/2762.75	c #Conflicts:     966000 | #Constraints:      28183
2753.12/2762.75	c #Conflicts:     967000 | #Constraints:      29183
2753.12/2762.75	c #Conflicts:     968000 | #Constraints:      30183
2753.12/2762.75	c #Conflicts:     969000 | #Constraints:      31183
2753.12/2762.75	c #Conflicts:     970000 | #Constraints:      32183
2753.12/2762.75	c #Conflicts:     971000 | #Constraints:      33183
2753.12/2762.75	c #Conflicts:     972000 | #Constraints:      34183
2753.12/2762.75	c #Conflicts:     973000 | #Constraints:      35183
2976.62/2986.98	c #Conflicts:     974000 | #Constraints:      36183
2976.62/2986.98	c #Conflicts:     975000 | #Constraints:      37183
2976.62/2986.98	c #Conflicts:     976000 | #Constraints:      38183
2976.62/2986.98	c #Conflicts:     977000 | #Constraints:      39183
2976.62/2986.98	c #Conflicts:     978000 | #Constraints:      40183
2976.62/2986.98	c #Conflicts:     979000 | #Constraints:      41183
2976.62/2986.98	c #Conflicts:     980000 | #Constraints:      42183
2976.62/2986.98	c #Conflicts:     981000 | #Constraints:      43183
2976.62/2986.98	c INPROCESSING
2976.62/2986.98	c GARBAGE COLLECT
2976.62/2986.98	c #Conflicts:     982000 | #Constraints:      24579
2976.62/2986.98	c #Conflicts:     983000 | #Constraints:      25579
2976.62/2986.98	c #Conflicts:     984000 | #Constraints:      26579
2976.62/2986.98	c #Conflicts:     985000 | #Constraints:      27579
2976.62/2986.98	c #Conflicts:     986000 | #Constraints:      28579
2976.62/2986.98	c #Conflicts:     987000 | #Constraints:      29579
2976.62/2986.98	c #Conflicts:     988000 | #Constraints:      30579
2976.62/2986.98	c #Conflicts:     989000 | #Constraints:      31579
2976.62/2986.98	c #Conflicts:     990000 | #Constraints:      32579
2976.62/2986.98	c #Conflicts:     991000 | #Constraints:      33579
2976.62/2986.98	c #Conflicts:     992000 | #Constraints:      34579
2976.62/2986.98	c #Conflicts:     993000 | #Constraints:      35579
2976.62/2986.98	c #Conflicts:     994000 | #Constraints:      36579
2976.62/2986.98	c #Conflicts:     995000 | #Constraints:      37579
2976.62/2986.98	c #Conflicts:     996000 | #Constraints:      38579
2976.62/2986.98	c #Conflicts:     997000 | #Constraints:      39579
2976.62/2986.98	c #Conflicts:     998000 | #Constraints:      40579
2976.62/2986.98	c #Conflicts:     999000 | #Constraints:      41579
2976.62/2986.98	c #Conflicts:    1000000 | #Constraints:      42579
2976.62/2986.98	c #Conflicts:    1001000 | #Constraints:      43579
2976.62/2986.98	c INPROCESSING
2976.62/2986.98	c GARBAGE COLLECT
2976.62/2986.98	c #Conflicts:    1002000 | #Constraints:      24781
2976.62/2986.98	c #Conflicts:    1003000 | #Constraints:      25781
2976.62/2986.98	c #Conflicts:    1004000 | #Constraints:      26781
2976.62/2986.98	c #Conflicts:    1005000 | #Constraints:      27781
2976.62/2986.98	c #Conflicts:    1006000 | #Constraints:      28781
2976.62/2986.98	c #Conflicts:    1007000 | #Constraints:      29781
2976.62/2986.98	c #Conflicts:    1008000 | #Constraints:      30781
2976.62/2986.98	c #Conflicts:    1009000 | #Constraints:      31781
2976.62/2986.98	c #Conflicts:    1010000 | #Constraints:      32781
2976.62/2986.98	c #Conflicts:    1011000 | #Constraints:      33781
2976.62/2986.98	c #Conflicts:    1012000 | #Constraints:      34781
2976.62/2986.98	c #Conflicts:    1013000 | #Constraints:      35781
2976.62/2986.98	c #Conflicts:    1014000 | #Constraints:      36781
2976.62/2986.98	c #Conflicts:    1015000 | #Constraints:      37781
2976.62/2986.98	c #Conflicts:    1016000 | #Constraints:      38781
2976.62/2986.98	c #Conflicts:    1017000 | #Constraints:      39781
2976.62/2986.98	c #Conflicts:    1018000 | #Constraints:      40781
2976.62/2986.98	c #Conflicts:    1019000 | #Constraints:      41781
2976.62/2986.98	c #Conflicts:    1020000 | #Constraints:      42781
2976.62/2986.98	c #Conflicts:    1021000 | #Constraints:      43781
2976.62/2986.98	c INPROCESSING
2976.62/2986.98	c GARBAGE COLLECT
2976.62/2986.98	c #Conflicts:    1022000 | #Constraints:      24781
2976.62/2986.98	c #Conflicts:    1023000 | #Constraints:      25781
2976.62/2986.98	c #Conflicts:    1024000 | #Constraints:      26781
2976.62/2986.98	c #Conflicts:    1025000 | #Constraints:      27781
2976.62/2986.98	c #Conflicts:    1026000 | #Constraints:      28781
2976.62/2986.98	c #Conflicts:    1027000 | #Constraints:      29781
2976.62/2986.98	c #Conflicts:    1028000 | #Constraints:      30781
2976.62/2986.98	c #Conflicts:    1029000 | #Constraints:      31781
2976.62/2986.98	c #Conflicts:    1030000 | #Constraints:      32781
2976.62/2986.98	c #Conflicts:    1031000 | #Constraints:      33781
2976.62/2986.98	c #Conflicts:    1032000 | #Constraints:      34781
2976.62/2986.98	c #Conflicts:    1033000 | #Constraints:      35781
2976.62/2986.98	c #Conflicts:    1034000 | #Constraints:      36781
2976.62/2986.98	c #Conflicts:    1035000 | #Constraints:      37781
2976.62/2986.98	c #Conflicts:    1036000 | #Constraints:      38781
2976.62/2986.98	c #Conflicts:    1037000 | #Constraints:      39781
2976.62/2986.98	c #Conflicts:    1038000 | #Constraints:      40781
2976.62/2986.98	c #Conflicts:    1039000 | #Constraints:      41781
2976.62/2986.98	c #Conflicts:    1040000 | #Constraints:      42781
2976.62/2986.98	c #Conflicts:    1041000 | #Constraints:      43781
2976.62/2986.98	c INPROCESSING
2976.62/2986.98	c GARBAGE COLLECT
2976.62/2986.98	c #Conflicts:    1042000 | #Constraints:      24586
2976.62/2986.98	c #Conflicts:    1043000 | #Constraints:      25586
2976.62/2986.98	c #Conflicts:    1044000 | #Constraints:      26586
2976.62/2986.98	c #Conflicts:    1045000 | #Constraints:      27586
2976.62/2986.98	c #Conflicts:    1046000 | #Constraints:      28586
2976.62/2986.98	c #Conflicts:    1047000 | #Constraints:      29586
2976.62/2986.98	c #Conflicts:    1048000 | #Constraints:      30586
2976.62/2986.98	c #Conflicts:    1049000 | #Constraints:      31586
3195.69/3206.76	c #Conflicts:    1050000 | #Constraints:      32586
3195.69/3206.76	c #Conflicts:    1051000 | #Constraints:      33586
3195.69/3206.76	c #Conflicts:    1052000 | #Constraints:      34586
3195.69/3206.76	c #Conflicts:    1053000 | #Constraints:      35586
3195.69/3206.76	c #Conflicts:    1054000 | #Constraints:      36586
3195.69/3206.76	c #Conflicts:    1055000 | #Constraints:      37586
3195.69/3206.76	c #Conflicts:    1056000 | #Constraints:      38586
3195.69/3206.76	c #Conflicts:    1057000 | #Constraints:      39586
3195.69/3206.76	c #Conflicts:    1058000 | #Constraints:      40586
3195.69/3206.76	c #Conflicts:    1059000 | #Constraints:      41586
3195.69/3206.76	c #Conflicts:    1060000 | #Constraints:      42586
3195.69/3206.76	c #Conflicts:    1061000 | #Constraints:      43586
3195.69/3206.76	c #Conflicts:    1062000 | #Constraints:      44586
3195.69/3206.76	c INPROCESSING
3195.69/3206.76	c GARBAGE COLLECT
3195.69/3206.76	c #Conflicts:    1063000 | #Constraints:      25187
3195.69/3206.76	c #Conflicts:    1064000 | #Constraints:      26187
3195.69/3206.76	c #Conflicts:    1065000 | #Constraints:      27187
3195.69/3206.76	c #Conflicts:    1066000 | #Constraints:      28187
3195.69/3206.76	c #Conflicts:    1067000 | #Constraints:      29187
3195.69/3206.76	c #Conflicts:    1068000 | #Constraints:      30187
3195.69/3206.76	c #Conflicts:    1069000 | #Constraints:      31187
3195.69/3206.76	c #Conflicts:    1070000 | #Constraints:      32187
3195.69/3206.76	c #Conflicts:    1071000 | #Constraints:      33187
3195.69/3206.76	c #Conflicts:    1072000 | #Constraints:      34187
3195.69/3206.76	c #Conflicts:    1073000 | #Constraints:      35187
3195.69/3206.76	c #Conflicts:    1074000 | #Constraints:      36187
3195.69/3206.76	c #Conflicts:    1075000 | #Constraints:      37187
3195.69/3206.76	c #Conflicts:    1076000 | #Constraints:      38187
3195.69/3206.76	c #Conflicts:    1077000 | #Constraints:      39187
3195.69/3206.76	c #Conflicts:    1078000 | #Constraints:      40187
3195.69/3206.76	c #Conflicts:    1079000 | #Constraints:      41187
3195.69/3206.76	c #Conflicts:    1080000 | #Constraints:      42187
3195.69/3206.76	c #Conflicts:    1081000 | #Constraints:      43187
3195.69/3206.76	c #Conflicts:    1082000 | #Constraints:      44187
3195.69/3206.76	c #Conflicts:    1083000 | #Constraints:      45187
3195.69/3206.76	c INPROCESSING
3195.69/3206.76	c GARBAGE COLLECT
3195.69/3206.76	c #Conflicts:    1084000 | #Constraints:      25581
3195.69/3206.76	c #Conflicts:    1085000 | #Constraints:      26581
3195.69/3206.76	c #Conflicts:    1086000 | #Constraints:      27581
3195.69/3206.76	c #Conflicts:    1087000 | #Constraints:      28581
3195.69/3206.76	c #Conflicts:    1088000 | #Constraints:      29581
3195.69/3206.76	c #Conflicts:    1089000 | #Constraints:      30581
3195.69/3206.76	c #Conflicts:    1090000 | #Constraints:      31581
3195.69/3206.76	c #Conflicts:    1091000 | #Constraints:      32581
3195.69/3206.76	c #Conflicts:    1092000 | #Constraints:      33581
3195.69/3206.76	c #Conflicts:    1093000 | #Constraints:      34581
3195.69/3206.76	c #Conflicts:    1094000 | #Constraints:      35581
3195.69/3206.76	c #Conflicts:    1095000 | #Constraints:      36581
3195.69/3206.76	c #Conflicts:    1096000 | #Constraints:      37581
3195.69/3206.76	c #Conflicts:    1097000 | #Constraints:      38581
3195.69/3206.76	c #Conflicts:    1098000 | #Constraints:      39581
3195.69/3206.76	c #Conflicts:    1099000 | #Constraints:      40581
3195.69/3206.76	c #Conflicts:    1100000 | #Constraints:      41581
3195.69/3206.76	c #Conflicts:    1101000 | #Constraints:      42581
3195.69/3206.76	c #Conflicts:    1102000 | #Constraints:      43581
3195.69/3206.76	c #Conflicts:    1103000 | #Constraints:      44581
3195.69/3206.76	c #Conflicts:    1104000 | #Constraints:      45581
3195.69/3206.76	c INPROCESSING
3195.69/3206.76	c GARBAGE COLLECT
3195.69/3206.76	c #Conflicts:    1105000 | #Constraints:      25784
3195.69/3206.76	c #Conflicts:    1106000 | #Constraints:      26784
3195.69/3206.76	c #Conflicts:    1107000 | #Constraints:      27784
3195.69/3206.76	c #Conflicts:    1108000 | #Constraints:      28784
3195.69/3206.76	c #Conflicts:    1109000 | #Constraints:      29784
3195.69/3206.76	c #Conflicts:    1110000 | #Constraints:      30784
3195.69/3206.76	c #Conflicts:    1111000 | #Constraints:      31784
3195.69/3206.76	c #Conflicts:    1112000 | #Constraints:      32784
3195.69/3206.76	c #Conflicts:    1113000 | #Constraints:      33784
3195.69/3206.76	c #Conflicts:    1114000 | #Constraints:      34784
3195.69/3206.76	c #Conflicts:    1115000 | #Constraints:      35784
3195.69/3206.76	c #Conflicts:    1116000 | #Constraints:      36784
3195.69/3206.76	c #Conflicts:    1117000 | #Constraints:      37784
3195.69/3206.76	c #Conflicts:    1118000 | #Constraints:      38784
3195.69/3206.76	c #Conflicts:    1119000 | #Constraints:      39784
3195.69/3206.76	c #Conflicts:    1120000 | #Constraints:      40784
3195.69/3206.76	c #Conflicts:    1121000 | #Constraints:      41784
3195.69/3206.76	c #Conflicts:    1122000 | #Constraints:      42784
3195.69/3206.76	c #Conflicts:    1123000 | #Constraints:      43784
3195.69/3206.76	c #Conflicts:    1124000 | #Constraints:      44784
3195.69/3206.76	c #Conflicts:    1125000 | #Constraints:      45784
3195.69/3206.76	c INPROCESSING
3195.69/3206.76	c GARBAGE COLLECT
3195.69/3206.76	c #Conflicts:    1126000 | #Constraints:      25778
3366.58/3378.21	c #Conflicts:    1127000 | #Constraints:      26778
3366.58/3378.21	c #Conflicts:    1128000 | #Constraints:      27778
3366.58/3378.21	c #Conflicts:    1129000 | #Constraints:      28778
3366.58/3378.21	c #Conflicts:    1130000 | #Constraints:      29778
3366.58/3378.21	c #Conflicts:    1131000 | #Constraints:      30778
3366.58/3378.21	c #Conflicts:    1132000 | #Constraints:      31778
3366.58/3378.21	c #Conflicts:    1133000 | #Constraints:      32778
3366.58/3378.21	c #Conflicts:    1134000 | #Constraints:      33778
3366.58/3378.21	c #Conflicts:    1135000 | #Constraints:      34778
3366.58/3378.21	c #Conflicts:    1136000 | #Constraints:      35778
3366.58/3378.21	c #Conflicts:    1137000 | #Constraints:      36778
3366.58/3378.21	c #Conflicts:    1138000 | #Constraints:      37778
3366.58/3378.21	c #Conflicts:    1139000 | #Constraints:      38778
3366.58/3378.21	c #Conflicts:    1140000 | #Constraints:      39778
3366.58/3378.21	c #Conflicts:    1141000 | #Constraints:      40778
3366.58/3378.21	c #Conflicts:    1142000 | #Constraints:      41778
3366.58/3378.21	c #Conflicts:    1143000 | #Constraints:      42778
3366.58/3378.21	c #Conflicts:    1144000 | #Constraints:      43778
3366.58/3378.21	c #Conflicts:    1145000 | #Constraints:      44778
3366.58/3378.21	c #Conflicts:    1146000 | #Constraints:      45778
3366.58/3378.21	c INPROCESSING
3366.58/3378.21	c GARBAGE COLLECT
3366.58/3378.21	c #Conflicts:    1147000 | #Constraints:      25567
3366.58/3378.21	c #Conflicts:    1148000 | #Constraints:      26567
3366.58/3378.21	c #Conflicts:    1149000 | #Constraints:      27567
3366.58/3378.21	c #Conflicts:    1150000 | #Constraints:      28567
3366.58/3378.21	c #Conflicts:    1151000 | #Constraints:      29567
3366.58/3378.21	c #Conflicts:    1152000 | #Constraints:      30567
3366.58/3378.21	c #Conflicts:    1153000 | #Constraints:      31567
3366.58/3378.21	c #Conflicts:    1154000 | #Constraints:      32567
3366.58/3378.21	c #Conflicts:    1155000 | #Constraints:      33567
3366.58/3378.21	c #Conflicts:    1156000 | #Constraints:      34567
3366.58/3378.21	c #Conflicts:    1157000 | #Constraints:      35567
3366.58/3378.21	c #Conflicts:    1158000 | #Constraints:      36567
3366.58/3378.21	c #Conflicts:    1159000 | #Constraints:      37567
3366.58/3378.21	c #Conflicts:    1160000 | #Constraints:      38567
3366.58/3378.21	c #Conflicts:    1161000 | #Constraints:      39567
3366.58/3378.21	c #Conflicts:    1162000 | #Constraints:      40567
3366.58/3378.21	c #Conflicts:    1163000 | #Constraints:      41567
3366.58/3378.21	c #Conflicts:    1164000 | #Constraints:      42567
3366.58/3378.21	c #Conflicts:    1165000 | #Constraints:      43567
3366.58/3378.21	c #Conflicts:    1166000 | #Constraints:      44567
3366.58/3378.21	c #Conflicts:    1167000 | #Constraints:      45567
3366.58/3378.21	c #Conflicts:    1168000 | #Constraints:      46567
3366.58/3378.21	c INPROCESSING
3366.58/3378.21	c GARBAGE COLLECT
3366.58/3378.21	c #Conflicts:    1169000 | #Constraints:      26150
3366.58/3378.21	c #Conflicts:    1170000 | #Constraints:      27150
3366.58/3378.21	c #Conflicts:    1171000 | #Constraints:      28150
3366.58/3378.21	c #Conflicts:    1172000 | #Constraints:      29150
3366.58/3378.21	c #Conflicts:    1173000 | #Constraints:      30150
3366.58/3378.21	c #Conflicts:    1174000 | #Constraints:      31150
3366.58/3378.21	c #Conflicts:    1175000 | #Constraints:      32150
3366.58/3378.21	c #Conflicts:    1176000 | #Constraints:      33150
3366.58/3378.21	c #Conflicts:    1177000 | #Constraints:      34150
3366.58/3378.21	c #Conflicts:    1178000 | #Constraints:      35150
3366.58/3378.21	c #Conflicts:    1179000 | #Constraints:      36150
3366.58/3378.21	c #Conflicts:    1180000 | #Constraints:      37150
3366.58/3378.21	c #Conflicts:    1181000 | #Constraints:      38150
3366.58/3378.21	c #Conflicts:    1182000 | #Constraints:      39150
3366.58/3378.21	c #Conflicts:    1183000 | #Constraints:      40150
3366.58/3378.21	c #Conflicts:    1184000 | #Constraints:      41150
3366.58/3378.21	c #Conflicts:    1185000 | #Constraints:      42150
3366.58/3378.21	c #Conflicts:    1186000 | #Constraints:      43150
3366.58/3378.21	c #Conflicts:    1187000 | #Constraints:      44150
3366.58/3378.21	c #Conflicts:    1188000 | #Constraints:      45150
3366.58/3378.21	c #Conflicts:    1189000 | #Constraints:      46150
3366.58/3378.21	c #Conflicts:    1190000 | #Constraints:      47150
3366.58/3378.21	c INPROCESSING
3366.58/3378.21	c GARBAGE COLLECT
3366.58/3378.21	c #Conflicts:    1191000 | #Constraints:      26541
3366.58/3378.21	c #Conflicts:    1192000 | #Constraints:      27541
3366.58/3378.21	c #Conflicts:    1193000 | #Constraints:      28541
3366.58/3378.21	c #Conflicts:    1194000 | #Constraints:      29541
3366.58/3378.21	c #Conflicts:    1195000 | #Constraints:      30541
3366.58/3378.21	c #Conflicts:    1196000 | #Constraints:      31541
3366.58/3378.21	c #Conflicts:    1197000 | #Constraints:      32541
3366.58/3378.21	c #Conflicts:    1198000 | #Constraints:      33541
3366.58/3378.21	c #Conflicts:    1199000 | #Constraints:      34541
3366.58/3378.21	c #Conflicts:    1200000 | #Constraints:      35541
3366.58/3378.21	c #Conflicts:    1201000 | #Constraints:      36541
3366.58/3378.21	c #Conflicts:    1202000 | #Constraints:      37541
3366.58/3378.21	c #Conflicts:    1203000 | #Constraints:      38541
3482.17/3494.20	c #Conflicts:    1204000 | #Constraints:      39541
3482.17/3494.20	c #Conflicts:    1205000 | #Constraints:      40541
3482.17/3494.20	c #Conflicts:    1206000 | #Constraints:      41541
3482.17/3494.20	c #Conflicts:    1207000 | #Constraints:      42541
3482.17/3494.20	c #Conflicts:    1208000 | #Constraints:      43541
3482.17/3494.20	c #Conflicts:    1209000 | #Constraints:      44541
3482.17/3494.20	c #Conflicts:    1210000 | #Constraints:      45541
3482.17/3494.20	c #Conflicts:    1211000 | #Constraints:      46541
3482.17/3494.20	c #Conflicts:    1212000 | #Constraints:      47541
3482.17/3494.20	c INPROCESSING
3482.17/3494.20	c GARBAGE COLLECT
3482.17/3494.20	c #Conflicts:    1213000 | #Constraints:      26742
3482.17/3494.20	c #Conflicts:    1214000 | #Constraints:      27742
3482.17/3494.20	c #Conflicts:    1215000 | #Constraints:      28742
3482.17/3494.20	c #Conflicts:    1216000 | #Constraints:      29742
3482.17/3494.20	c #Conflicts:    1217000 | #Constraints:      30742
3482.17/3494.20	c #Conflicts:    1218000 | #Constraints:      31742
3482.17/3494.20	c #Conflicts:    1219000 | #Constraints:      32742
3482.17/3494.20	c #Conflicts:    1220000 | #Constraints:      33742
3482.17/3494.20	c #Conflicts:    1221000 | #Constraints:      34742
3482.17/3494.20	c #Conflicts:    1222000 | #Constraints:      35742
3482.17/3494.20	c #Conflicts:    1223000 | #Constraints:      36742
3482.17/3494.20	c #Conflicts:    1224000 | #Constraints:      37742
3482.17/3494.20	c #Conflicts:    1225000 | #Constraints:      38742
3482.17/3494.20	c #Conflicts:    1226000 | #Constraints:      39742
3482.17/3494.20	c #Conflicts:    1227000 | #Constraints:      40742
3482.17/3494.20	c #Conflicts:    1228000 | #Constraints:      41742
3482.17/3494.20	c #Conflicts:    1229000 | #Constraints:      42742
3482.17/3494.20	c #Conflicts:    1230000 | #Constraints:      43742
3482.17/3494.20	c #Conflicts:    1231000 | #Constraints:      44742
3482.17/3494.20	c #Conflicts:    1232000 | #Constraints:      45742
3482.17/3494.20	c #Conflicts:    1233000 | #Constraints:      46742
3482.17/3494.20	c #Conflicts:    1234000 | #Constraints:      47742
3482.17/3494.20	c INPROCESSING
3482.17/3494.20	c GARBAGE COLLECT
3482.17/3494.20	c #Conflicts:    1235000 | #Constraints:      26738
3482.17/3494.20	c #Conflicts:    1236000 | #Constraints:      27738
3482.17/3494.20	c #Conflicts:    1237000 | #Constraints:      28738
3482.17/3494.20	c #Conflicts:    1238000 | #Constraints:      29738
3482.17/3494.20	c #Conflicts:    1239000 | #Constraints:      30738
3482.17/3494.20	c #Conflicts:    1240000 | #Constraints:      31738
3482.17/3494.20	c #Conflicts:    1241000 | #Constraints:      32738
3482.17/3494.20	c #Conflicts:    1242000 | #Constraints:      33738
3482.17/3494.20	c #Conflicts:    1243000 | #Constraints:      34738
3482.17/3494.20	c #Conflicts:    1244000 | #Constraints:      35738
3482.17/3494.20	c #Conflicts:    1245000 | #Constraints:      36738
3482.17/3494.20	c #Conflicts:    1246000 | #Constraints:      37738
3482.17/3494.20	c #Conflicts:    1247000 | #Constraints:      38738
3482.17/3494.20	c #Conflicts:    1248000 | #Constraints:      39738
3482.17/3494.20	c #Conflicts:    1249000 | #Constraints:      40738
3482.17/3494.20	c #Conflicts:    1250000 | #Constraints:      41738
3482.17/3494.20	c #Conflicts:    1251000 | #Constraints:      42738
3482.17/3494.20	c #Conflicts:    1252000 | #Constraints:      43738
3482.17/3494.20	c #Conflicts:    1253000 | #Constraints:      44738
3482.17/3494.20	c #Conflicts:    1254000 | #Constraints:      45738
3482.17/3494.20	c #Conflicts:    1255000 | #Constraints:      46738
3482.17/3494.20	c #Conflicts:    1256000 | #Constraints:      47738
3482.17/3494.20	c INPROCESSING
3482.17/3494.20	c GARBAGE COLLECT
3482.17/3494.20	c #Conflicts:    1257000 | #Constraints:      26532
3482.17/3494.20	c #Conflicts:    1258000 | #Constraints:      27532
3482.17/3494.20	c #Conflicts:    1259000 | #Constraints:      28532
3482.17/3494.20	c #Conflicts:    1260000 | #Constraints:      29532
3482.17/3494.20	c #Conflicts:    1261000 | #Constraints:      30532
3482.17/3494.20	c #Conflicts:    1262000 | #Constraints:      31532
3482.17/3494.20	c #Conflicts:    1263000 | #Constraints:      32532
3482.17/3494.20	c #Conflicts:    1264000 | #Constraints:      33532
3482.17/3494.20	c #Conflicts:    1265000 | #Constraints:      34532
3482.17/3494.20	c #Conflicts:    1266000 | #Constraints:      35532
3482.17/3494.20	c #Conflicts:    1267000 | #Constraints:      36532
3482.17/3494.20	c #Conflicts:    1268000 | #Constraints:      37532
3482.17/3494.20	c #Conflicts:    1269000 | #Constraints:      38532
3482.17/3494.20	c #Conflicts:    1270000 | #Constraints:      39532
3482.17/3494.20	c #Conflicts:    1271000 | #Constraints:      40532
3482.17/3494.20	c #Conflicts:    1272000 | #Constraints:      41532
3482.17/3494.20	c #Conflicts:    1273000 | #Constraints:      42532
3482.17/3494.20	c #Conflicts:    1274000 | #Constraints:      43532
3482.17/3494.20	c #Conflicts:    1275000 | #Constraints:      44532
3482.17/3494.20	c #Conflicts:    1276000 | #Constraints:      45532
3482.17/3494.20	c #Conflicts:    1277000 | #Constraints:      46532
3482.17/3494.20	c #Conflicts:    1278000 | #Constraints:      47532
3482.17/3494.20	c #Conflicts:    1279000 | #Constraints:      48532
3600.09/3612.50	c INPROCESSING
3600.09/3612.50	c GARBAGE COLLECT
3600.09/3612.50	c #Conflicts:    1280000 | #Constraints:      27173
3600.09/3612.50	c #Conflicts:    1281000 | #Constraints:      28173
3600.09/3612.50	c #Conflicts:    1282000 | #Constraints:      29173
3600.09/3612.50	c #Conflicts:    1283000 | #Constraints:      30173
3600.09/3612.50	c #Conflicts:    1284000 | #Constraints:      31173
3600.09/3612.50	c #Conflicts:    1285000 | #Constraints:      32173
3600.09/3612.50	c #Conflicts:    1286000 | #Constraints:      33173
3600.09/3612.50	c #Conflicts:    1287000 | #Constraints:      34173
3600.09/3612.50	c #Conflicts:    1288000 | #Constraints:      35173
3600.09/3612.50	c #Conflicts:    1289000 | #Constraints:      36173
3600.09/3612.50	c #Conflicts:    1290000 | #Constraints:      37173
3600.09/3612.50	c #Conflicts:    1291000 | #Constraints:      38173
3600.09/3612.50	c #Conflicts:    1292000 | #Constraints:      39173
3600.09/3612.50	c #Conflicts:    1293000 | #Constraints:      40173
3600.09/3612.50	c #Conflicts:    1294000 | #Constraints:      41173
3600.09/3612.50	c #Conflicts:    1295000 | #Constraints:      42173
3600.09/3612.50	c #Conflicts:    1296000 | #Constraints:      43173
3600.09/3612.50	c #Conflicts:    1297000 | #Constraints:      44173
3600.09/3612.50	c #Conflicts:    1298000 | #Constraints:      45173
3600.09/3612.50	c #Conflicts:    1299000 | #Constraints:      46173
3600.09/3612.50	c #Conflicts:    1300000 | #Constraints:      47173
3600.09/3612.50	c #Conflicts:    1301000 | #Constraints:      48173
3600.09/3612.50	c #Conflicts:    1302000 | #Constraints:      49173
3600.09/3612.50	c INPROCESSING
3600.09/3612.50	c GARBAGE COLLECT
3600.09/3612.50	c #Conflicts:    1303000 | #Constraints:      27571
3600.09/3612.50	c #Conflicts:    1304000 | #Constraints:      28571
3600.09/3612.50	c #Conflicts:    1305000 | #Constraints:      29571
3600.09/3612.50	c #Conflicts:    1306000 | #Constraints:      30571
3600.09/3612.50	c #Conflicts:    1307000 | #Constraints:      31571
3600.09/3612.50	c #Conflicts:    1308000 | #Constraints:      32571
3600.09/3612.50	c #Conflicts:    1309000 | #Constraints:      33571
3600.09/3612.50	c #Conflicts:    1310000 | #Constraints:      34571
3600.09/3612.50	c #Conflicts:    1311000 | #Constraints:      35571
3600.09/3612.50	c #Conflicts:    1312000 | #Constraints:      36571
3600.09/3612.50	c #Conflicts:    1313000 | #Constraints:      37571
3600.09/3612.50	c #Conflicts:    1314000 | #Constraints:      38571
3600.09/3612.50	c #Conflicts:    1315000 | #Constraints:      39571
3600.09/3612.50	c #Conflicts:    1316000 | #Constraints:      40571
3600.09/3612.50	c #Conflicts:    1317000 | #Constraints:      41571
3600.09/3612.50	c #Conflicts:    1318000 | #Constraints:      42571
3600.09/3612.50	c #Conflicts:    1319000 | #Constraints:      43571
3600.09/3612.50	c #Conflicts:    1320000 | #Constraints:      44571
3600.09/3612.50	c #Conflicts:    1321000 | #Constraints:      45571
3600.09/3612.50	c #Conflicts:    1322000 | #Constraints:      46571
3600.09/3612.50	c #Conflicts:    1323000 | #Constraints:      47571
3600.09/3612.50	c #Conflicts:    1324000 | #Constraints:      48571
3600.09/3612.50	c #Conflicts:    1325000 | #Constraints:      49571
3600.09/3612.50	c INPROCESSING
3600.09/3612.50	c GARBAGE COLLECT
3600.09/3612.50	c #Conflicts:    1326000 | #Constraints:      27763
3600.09/3612.50	c #Conflicts:    1327000 | #Constraints:      28763
3600.09/3612.50	c #Conflicts:    1328000 | #Constraints:      29763
3600.09/3612.50	c #Conflicts:    1329000 | #Constraints:      30763
3600.09/3612.50	c Program interrupted by user.
3600.09/3612.50	c cpu time 3589.65 s
3600.09/3612.50	c deterministic time 625694928766 6.26e+11
3600.09/3612.50	c optimization time 9.54132 s
3600.09/3612.50	c total solve time 3281.2 s
3600.09/3612.50	c core-guided solve time 3281.2 s
3600.09/3612.50	c propagation time 2683.59 s
3600.09/3612.50	c conflict analysis time 476.461 s
3600.09/3612.50	c propagations 166450989
3600.09/3612.50	c resolve steps 13615314
3600.09/3612.50	c decisions 5859919
3600.09/3612.50	c conflicts 1329537
3600.09/3612.50	c restarts 2556
3600.09/3612.50	c inprocessing phases 106
3600.09/3612.50	c input clauses 3865
3600.09/3612.50	c input cardinalities 138
3600.09/3612.50	c input general constraints 0
3600.09/3612.50	c input average constraint length 58.22
3600.09/3612.50	c input average constraint degree 26.34
3600.09/3612.50	c learned clauses 564951
3600.09/3612.50	c learned cardinalities 129003
3600.09/3612.50	c learned general constraints 635720
3600.09/3612.50	c learned average constraint length 757.06
3600.09/3612.50	c learned average constraint degree 46286.40
3600.09/3612.50	c watched constraints 373644
3600.09/3612.50	c counting constraints 262076
3600.09/3612.50	c gcd simplifications 32931
3600.09/3612.50	c detected cardinalities 2906
3600.09/3612.50	c weakened non-implied lits 206592096
3600.09/3612.50	c weakened non-implying lits 57023
3600.09/3612.50	c original variables 1968
3600.09/3612.50	c clausal propagations 78605045
3600.09/3612.50	c cardinality propagations 13232660
3600.09/3612.50	c watched propagations 12622897
3600.09/3612.50	c counting propagations 53499918
3600.09/3612.50	c watch lookups 43763072669
3600.09/3612.50	c watch backjump lookups 34432217558
3600.09/3612.50	c watch checks 486355540215
3600.09/3612.50	c propagation checks 57578688683
3600.09/3612.50	c constraint additions 3219459552
3600.09/3612.50	c trail pops 173639180
3600.09/3612.50	c formula constraints 3199
3600.09/3612.50	c learned constraints 1329674
3600.09/3612.50	c bound constraints 138
3600.09/3612.50	c core-guided constraints 666
3600.09/3612.50	c encountered formula constraints 9284487
3600.09/3612.50	c encountered learned constraints 3931141
3600.09/3612.50	c encountered bound constraints 2
3600.09/3612.50	c encountered core-guided constraints 1729221
3600.09/3612.50	c LP total time 0 s
3600.09/3612.50	c LP solve time 0 s
3600.09/3612.50	c LP constraints added 0
3600.09/3612.50	c LP constraints removed 0
3600.09/3612.50	c LP pivots internal 0
3600.09/3612.50	c LP pivots root 0
3600.09/3612.50	c LP calls 0
3600.09/3612.50	c LP optimalities 0
3600.09/3612.50	c LP no pivot count 0
3600.09/3612.50	c LP infeasibilities 0
3600.09/3612.50	c LP valid Farkas constraints 0
3600.09/3612.50	c LP learned Farkas constraints 0
3600.09/3612.50	c LP basis resets 0
3600.09/3612.50	c LP cycling count 0
3600.09/3612.50	c LP singular count 0
3600.09/3612.50	c LP no primal count 0
3600.09/3612.50	c LP no farkas count 0
3600.09/3612.50	c LP other issue count 0
3600.09/3612.50	c LP Gomory cuts 0
3600.09/3612.50	c LP learned cuts 0
3600.09/3612.50	c LP deleted cuts 0
3600.09/3612.50	c LP encountered Gomory constraints 0
3600.09/3612.50	c LP encountered Farkas constraints 0
3600.09/3612.50	c LP encountered learned Farkas constraints 0
3600.09/3612.50	c CG auxiliary variables introduced 666
3600.09/3612.50	c CG solutions found 0
3600.09/3612.50	c CG cores constructed 137
3600.09/3612.50	c CG core cardinality constraints returned 0
3600.09/3612.50	c CG unit cores 0
3600.09/3612.50	c CG single cores 137
3600.09/3612.50	c CG blocks removed during cardinality reduction 0
3600.09/3612.50	c CG first core best 0
3600.09/3612.50	c CG decision core best 0
3600.09/3612.50	c CG core reduction tie 0
3600.09/3612.50	c CG core degree average 1.00
3600.09/3612.50	c CG core slack average 5.56
3600.09/3612.50	c CG exhausted 0
3600.09/3612.50	c CG exhaust time 0 s
3600.09/3612.50	c CG trimmed 2
3600.09/3612.50	c CG trim time 0.096762 s
3600.09/3612.50	c CG minimized 0
3600.09/3612.50	c CG minimize time 0 s
3600.09/3612.50	c CG am1 prop time 0.002669 s
3600.09/3612.50	c CG # am1s reformulated 666
3600.09/3612.50	c CG lower bound derived from am1s 667
3600.09/3612.50	c CG # clausal cores 137
3600.09/3612.50	c CG # cardinality cores 0
3600.09/3612.50	c CG # pb cores 0
3600.09/3612.50	c CG # pb reforms 0
3600.09/3612.50	c CG # cores discarded because of pb reform 0
3600.09/3612.50	d LOWERBOUND 804
3600.09/3612.50	d NCORES 137
3600.09/3612.50	d NPBCORES 0
3600.09/3612.50	d NPBREFORM 0
3600.09/3612.50	d NTRIMMED 2
3600.09/3612.50	d NEXHAUSTED 0
3600.09/3612.50	d NAM1S 666
3600.09/3612.50	d AM1LB 667
3600.09/3612.50	c [Papilo Statistics]
3600.09/3612.50	c prepro time 0.00475078s
3600.09/3612.50	c # tsx applied 165
3600.09/3612.50	c # tsx conflicts 7
3600.09/3612.50	c # bound changes 164
3600.09/3612.50	c # side changes 0
3600.09/3612.50	c # coef changes 0
3600.09/3612.50	c # rounds 2
3600.09/3612.50	c # deted vars 340
3600.09/3612.50	c # deted constrs 801
3600.09/3612.50	c # consecutive rounds of only bound changes 0
3600.09/3612.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (62397 MiB free)
  memory of node 1: 64510 MiB (63060 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454725-1721468423/watcher-4454725-1721468423 -o /tmp/evaluation-result-4454725-1721468423/solver-4454725-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075789 --watchdog 3760 mixed-bag HOME/instance-4454725-1721468423.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Starting watchdog thread86_64i
Starting watchdog thread86_64i
solver pid=1075850, runsolver pid=1075837
Current StackSize limit: 8192 KiB


[startup+0.100088 s]*
/proc/loadavg: 1.15 1.25 2.16 4/260 1075856
/proc/meminfo: memFree=128466132/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=31728 memory=564 CPUtime=0 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) D 1075837 1075850 1075779 0 -1 4194304 83 0 1 0 0 0 0 0 20 0 1 0 199012030 32489472 141 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 0 0 0 0 17 2 0 0 8 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 7932 141 122 3002 0 1312 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 31728 KiB
Current children cumulated memory: 564 KiB

[startup+0.206394 s]*
/proc/loadavg: 1.15 1.25 2.16 2/260 1075856
/proc/meminfo: memFree=128463192/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=68472 memory=3296 CPUtime=0 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) D 1075837 1075850 1075779 0 -1 4194304 273 0 5 0 0 0 0 0 20 0 1 0 199012030 70115328 824 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 0 0 0 0 17 0 0 0 19 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 17118 824 733 3002 0 1406 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 68472 KiB
Current children cumulated memory: 3296 KiB

[startup+0.305686 s]*
/proc/loadavg: 1.15 1.25 2.16 8/260 1075856
/proc/meminfo: memFree=128400704/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=99512 memory=32592 CPUtime=0.05 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 5136 0 6 0 5 0 0 0 20 0 1 0 199012030 101900288 8148 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 24878 8148 3817 3002 0 8627 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 99512 KiB
Current children cumulated memory: 32592 KiB

[startup+0.700225 s]
/proc/loadavg: 1.15 1.25 2.16 8/260 1075856
/proc/meminfo: memFree=128376944/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=113404 memory=44632 CPUtime=0.44 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 8039 0 6 0 43 1 0 0 20 0 1 0 199012030 116125696 11158 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 28351 11158 4065 3002 0 12100 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 113404 KiB
Current children cumulated memory: 44632 KiB

[startup+1.50019 s]
/proc/loadavg: 1.15 1.25 2.16 6/260 1075856
/proc/meminfo: memFree=128347308/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=121604 memory=52288 CPUtime=1.23 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 9923 0 6 0 122 1 0 0 20 0 1 0 199012030 124522496 13072 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 30401 13072 4065 3002 0 14150 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 121604 KiB
Current children cumulated memory: 52288 KiB

[startup+3.1064 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128171904/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=142668 memory=72616 CPUtime=2.83 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 14997 0 6 0 281 2 0 0 20 0 1 0 199012030 146092032 18154 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 35667 18154 4065 3002 0 19416 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 142668 KiB
Current children cumulated memory: 72616 KiB

[startup+6.30019 s]
/proc/loadavg: 1.38 1.30 2.17 8/260 1075856
/proc/meminfo: memFree=128066664/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=184092 memory=112480 CPUtime=6.01 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 24998 0 6 0 597 4 0 0 20 0 1 0 199012030 188510208 28120 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 46023 28120 4065 3002 0 29772 0
Current children cumulated CPU time: 6.01 s
Current children cumulated vsize: 184092 KiB
Current children cumulated memory: 112480 KiB

[startup+12.7001 s]
/proc/loadavg: 1.59 1.34 2.18 7/260 1075858
/proc/meminfo: memFree=127937728/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=230708 memory=154172 CPUtime=12.39 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 36504 0 6 0 1233 6 0 0 20 0 1 0 199012030 236244992 38543 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 57677 38543 4096 3002 0 41426 0
Current children cumulated CPU time: 12.39 s
Current children cumulated vsize: 230708 KiB
Current children cumulated memory: 154172 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.48 2.21 8/260 1075859
/proc/meminfo: memFree=127859480/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=231720 memory=155492 CPUtime=25.14 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 36829 0 6 0 2508 6 0 0 20 0 1 0 199012030 237281280 38873 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 57930 38873 4096 3002 0 41679 0
Current children cumulated CPU time: 25.14 s
Current children cumulated vsize: 231720 KiB
Current children cumulated memory: 155492 KiB

[startup+51.1064 s]
/proc/loadavg: 2.83 1.70 2.27 8/260 1075864
/proc/meminfo: memFree=127678196/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=292416 memory=212004 CPUtime=50.65 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 51832 0 6 0 5055 10 0 0 20 0 1 0 199012030 299433984 53001 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 73104 53001 4096 3002 0 56853 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 292416 KiB
Current children cumulated memory: 212004 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.07 2.36 8/260 1075872
/proc/meminfo: memFree=127619088/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=307468 memory=227208 CPUtime=101.65 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 57243 0 6 0 10153 12 0 0 20 0 1 0 199012030 314847232 56802 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 76867 56802 4096 3002 0 60616 0
Current children cumulated CPU time: 101.65 s
Current children cumulated vsize: 307468 KiB
Current children cumulated memory: 227208 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.44 2.47 8/260 1075884
/proc/meminfo: memFree=127480508/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=316888 memory=241632 CPUtime=161.42 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 59526 0 6 0 16128 14 0 0 20 0 1 0 199012030 324493312 60408 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 79222 60408 4096 3002 0 62971 0
Current children cumulated CPU time: 161.42 s
Current children cumulated vsize: 316888 KiB
Current children cumulated memory: 241632 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.75 2.58 6/260 1075894
/proc/meminfo: memFree=127362012/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=328648 memory=259372 CPUtime=221.2 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 62667 0 6 0 22106 14 0 0 20 0 1 0 199012030 336535552 64843 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 82162 64843 4096 3002 0 65911 0
Current children cumulated CPU time: 221.2 s
Current children cumulated vsize: 328648 KiB
Current children cumulated memory: 259372 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 3.00 2.68 6/260 1075904
/proc/meminfo: memFree=127333448/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=343764 memory=278888 CPUtime=281.01 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 67005 0 6 0 28086 15 0 0 20 0 1 0 199012030 352014336 69722 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 85941 69722 4096 3002 0 69690 0
Current children cumulated CPU time: 281.01 s
Current children cumulated vsize: 343764 KiB
Current children cumulated memory: 278888 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.77 7/254 1075915
/proc/meminfo: memFree=127620356/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=212488 memory=147816 CPUtime=340.8 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 71640 0 6 0 34018 62 0 0 20 0 1 0 199012030 217587712 36954 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 53122 36954 4224 3002 0 36871 0
Current children cumulated CPU time: 340.8 s
Current children cumulated vsize: 212488 KiB
Current children cumulated memory: 147816 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.39 2.87 8/254 1075925
/proc/meminfo: memFree=127575512/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=243308 memory=161936 CPUtime=400.57 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 72206 0 6 0 39955 102 0 0 20 0 1 0 199012030 249147392 40484 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 60827 40484 4224 3002 0 44576 0
Current children cumulated CPU time: 400.57 s
Current children cumulated vsize: 243308 KiB
Current children cumulated memory: 161936 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.52 2.94 8/254 1075935
/proc/meminfo: memFree=127532836/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=244364 memory=172972 CPUtime=460.34 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 72420 0 6 0 45897 137 0 0 20 0 1 0 199012030 250228736 43243 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 61091 43243 4224 3002 0 44840 0

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

Current children cumulated memory: 397604 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.13 4.08 8/259 1077509
/proc/meminfo: memFree=126879744/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=493020 memory=399616 CPUtime=2912.22 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 98032 0 6 0 290374 848 0 0 20 0 1 0 199012030 504852480 99904 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 123255 99904 4224 3002 0 107004 0
Current children cumulated CPU time: 2912.22 s
Current children cumulated vsize: 493020 KiB
Current children cumulated memory: 399616 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.08 9/258 1077519
/proc/meminfo: memFree=126869984/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=498476 memory=405560 CPUtime=2972.03 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 99261 0 6 0 296343 860 0 0 20 0 1 0 199012030 510439424 101390 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 124619 101390 4224 3002 0 108368 0
Current children cumulated CPU time: 2972.03 s
Current children cumulated vsize: 498476 KiB
Current children cumulated memory: 405560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/259 1077590
/proc/meminfo: memFree=126866088/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=498988 memory=406468 CPUtime=3031.85 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 99590 0 6 0 302309 876 0 0 20 0 1 0 199012030 510963712 101617 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 124747 101617 4224 3002 0 108496 0
Current children cumulated CPU time: 3031.85 s
Current children cumulated vsize: 498988 KiB
Current children cumulated memory: 406468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 8/259 1077600
/proc/meminfo: memFree=126858924/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=499376 memory=407008 CPUtime=3091.64 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 99874 0 6 0 308279 885 0 0 20 0 1 0 199012030 511361024 101752 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 124844 101752 4224 3002 0 108593 0
Current children cumulated CPU time: 3091.64 s
Current children cumulated vsize: 499376 KiB
Current children cumulated memory: 407008 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 8/258 1077611
/proc/meminfo: memFree=126853024/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=501040 memory=408396 CPUtime=3151.44 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 100375 0 6 0 314245 899 0 0 20 0 1 0 199012030 513064960 102099 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 125260 102099 4224 3002 0 109009 0
Current children cumulated CPU time: 3151.44 s
Current children cumulated vsize: 501040 KiB
Current children cumulated memory: 408396 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/257 1077623
/proc/meminfo: memFree=126851648/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=501300 memory=408776 CPUtime=3211.23 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 100616 0 6 0 320209 914 0 0 20 0 1 0 199012030 513331200 102194 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 125325 102194 4224 3002 0 109074 0
Current children cumulated CPU time: 3211.23 s
Current children cumulated vsize: 501300 KiB
Current children cumulated memory: 408776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.12 4.09 8/257 1077633
/proc/meminfo: memFree=126840408/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=516500 memory=419676 CPUtime=3271.02 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 103500 0 6 0 326168 934 0 0 20 0 1 0 199012030 528896000 104919 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 129125 104919 4224 3002 0 112874 0
Current children cumulated CPU time: 3271.02 s
Current children cumulated vsize: 516500 KiB
Current children cumulated memory: 419676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 8/255 1077643
/proc/meminfo: memFree=126826948/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=528536 memory=429316 CPUtime=3330.81 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 106097 0 6 0 332130 951 0 0 20 0 1 0 199012030 541220864 107329 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 132134 107329 4224 3002 0 115883 0
Current children cumulated CPU time: 3330.81 s
Current children cumulated vsize: 528536 KiB
Current children cumulated memory: 429316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 8/255 1077653
/proc/meminfo: memFree=126818416/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=536728 memory=437316 CPUtime=3390.6 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 108237 0 6 0 338089 971 0 0 20 0 1 0 199012030 549609472 109329 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 134182 109329 4224 3002 0 117931 0
Current children cumulated CPU time: 3390.6 s
Current children cumulated vsize: 536728 KiB
Current children cumulated memory: 437316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 8/255 1077664
/proc/meminfo: memFree=126796504/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=544992 memory=445724 CPUtime=3450.38 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 110510 0 6 0 344042 996 0 0 20 0 1 0 199012030 558071808 111431 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 136248 111431 4224 3002 0 119997 0
Current children cumulated CPU time: 3450.38 s
Current children cumulated vsize: 544992 KiB
Current children cumulated memory: 445724 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 8/255 1077674
/proc/meminfo: memFree=126771964/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=555928 memory=464928 CPUtime=3510.17 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 112986 0 6 0 349996 1021 0 0 20 0 1 0 199012030 569270272 116232 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 138982 116232 4224 3002 0 122731 0
Current children cumulated CPU time: 3510.17 s
Current children cumulated vsize: 555928 KiB
Current children cumulated memory: 464928 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.09 9/255 1077685
/proc/meminfo: memFree=126749916/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=560792 memory=482928 CPUtime=3569.98 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 114169 0 6 0 355961 1037 0 0 20 0 1 0 199012030 574251008 120732 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 140198 120732 4224 3002 0 123947 0
Current children cumulated CPU time: 3569.98 s
Current children cumulated vsize: 560792 KiB
Current children cumulated memory: 482928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=126740688/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=564960 memory=491836 CPUtime=3600.09 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 114948 0 6 0 358965 1044 0 0 20 0 1 0 199012030 578519040 122959 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 141240 122959 4224 3002 0 124989 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 564960 KiB
Current children cumulated memory: 491836 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.65 s, system=10.4502 s

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

[startup+3612.5 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 1077833
/proc/meminfo: memFree=126740688/131524600 swapFree=131071996/131071996
[pid=1075850] ppid=1075837 vsize=564960 memory=491836 CPUtime=3600.09 cores=0,2
/proc/1075850/stat : 1075850 (mixed-bag) R 1075837 1075850 1075779 0 -1 4194304 114948 0 6 0 358965 1044 0 0 20 0 1 0 199012030 578519040 122959 134679101440 4194304 16488053 140725771129360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 24 0 0 18731784 18742840 35004416 140725771138069 140725771138146 140725771138146 140725771145163 0
/proc/1075850/statm: 141240 122959 4224 3002 0 124989 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 564960 KiB
Current children cumulated memory: 491836 KiB

Child status: 0

Real time (s): 3612.5
CPU time (s): 3600.1
CPU user time (s): 3589.65
CPU system time (s): 10.4502
CPU usage (%): 99.6567
Max. virtual memory (cumulated for all children) (KiB): 564960
Max. memory (cumulated for all children) (KiB): 491836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.65
system time used= 10.4502
maximum resident set size= 491836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114971
page faults= 6
swaps= 0
block input operations= 1032
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164
involuntary context switches= 25469


# summary of solver processes directly reported to runsolver:
#   pid: 1075850
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.65
#   total CPU system time (s): 10.4502

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.48019 second user time and 22.2572 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-20 11:40:35
IDJOB=4454725
IDBENCH=147535
IDSOLVER=3083
FILE ID=nodeC033/4454725-1721468423
RUNJOBID= nodeC033-1721468435-1075789
SLURM_JOB_ID= 7545724
Free space on /tmp= 890084 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454725-1721468423/watcher-4454725-1721468423 -o /tmp/evaluation-result-4454725-1721468423/solver-4454725-1721468423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721468435-1075789 --watchdog 3760  mixed-bag HOME/instance-4454725-1721468423.opb

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

MD5SUM BENCH= 4613bd71ebda28f991e46514414d76dd
RANDOM SEED=809530252

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128469856 kB
MemAvailable:   129679140 kB
Buffers:          610292 kB
Cached:          1435940 kB
SwapCached:            0 kB
Active:          1114568 kB
Inactive:        1307276 kB
Active(anon):       1500 kB
Inactive(anon):   420664 kB
Active(file):    1113068 kB
Inactive(file):   886612 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65068 kB
Writeback:             0 kB
AnonPages:        373572 kB
Mapped:           108072 kB
Shmem:             45908 kB
KReclaimable:      98500 kB
Slab:             212028 kB
SReclaimable:      98500 kB
SUnreclaim:       113528 kB
KernelStack:        3872 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     566724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72896 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC033 at 2024-07-20 12:40:48