Trace number 4454724

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.06 3612.12

DiagnosticValue
AM1LB675
LOWERBOUND824
NAM1S672
NCORES149
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED1
SCIPUB900

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
MD5SUM2f43827d921579f008f60b037bb7dde7
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 benchmark1036
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 variables1963
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 1963
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 1963
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 1963
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.05	c [STEP] solving with SCIP
299.13/300.16	c [STEP] preprocessing done, loading into solver
299.13/300.16	c [STEP] solving
299.13/300.16	c #variables 1668 #constraints 3300
299.13/300.16	c SMALL=int, LARGE=long long
299.13/300.16	d SCIPUB 900
299.13/300.16	c bounds - >= 0 @ 299.029
299.13/300.16	c stratification level: 0
299.22/300.21	c bounds - >= 676 @ 299.036
299.22/300.21	c bounds - >= 677 @ 299.038
299.22/300.21	c bounds - >= 678 @ 299.038
299.22/300.21	c bounds - >= 679 @ 299.038
299.22/300.21	c bounds - >= 680 @ 299.038
299.22/300.21	c bounds - >= 681 @ 299.038
299.22/300.21	c bounds - >= 682 @ 299.038
299.22/300.21	c bounds - >= 683 @ 299.039
299.22/300.21	c bounds - >= 684 @ 299.039
299.22/300.21	c bounds - >= 685 @ 299.039
299.22/300.21	c bounds - >= 686 @ 299.039
299.22/300.21	c bounds - >= 687 @ 299.039
299.22/300.21	c bounds - >= 688 @ 299.039
299.22/300.21	c bounds - >= 689 @ 299.039
299.22/300.21	c bounds - >= 690 @ 299.039
299.22/300.21	c bounds - >= 691 @ 299.039
299.22/300.21	c bounds - >= 692 @ 299.039
299.22/300.21	c bounds - >= 693 @ 299.039
299.22/300.21	c bounds - >= 694 @ 299.039
299.22/300.21	c bounds - >= 695 @ 299.039
299.22/300.21	c bounds - >= 696 @ 299.04
299.22/300.21	c bounds - >= 697 @ 299.04
299.22/300.21	c bounds - >= 698 @ 299.04
299.22/300.21	c bounds - >= 699 @ 299.04
299.22/300.21	c bounds - >= 700 @ 299.041
299.22/300.21	c bounds - >= 701 @ 299.041
299.22/300.21	c bounds - >= 702 @ 299.041
299.22/300.21	c bounds - >= 703 @ 299.041
299.22/300.21	c bounds - >= 704 @ 299.042
299.22/300.21	c bounds - >= 705 @ 299.042
299.22/300.21	c bounds - >= 706 @ 299.042
299.22/300.21	c bounds - >= 707 @ 299.042
299.22/300.21	c bounds - >= 708 @ 299.043
299.22/300.21	c bounds - >= 709 @ 299.043
299.22/300.21	c bounds - >= 710 @ 299.043
299.22/300.21	c bounds - >= 711 @ 299.043
299.22/300.21	c bounds - >= 712 @ 299.044
299.22/300.22	c bounds - >= 713 @ 299.044
299.22/300.22	c bounds - >= 714 @ 299.044
299.22/300.22	c bounds - >= 715 @ 299.044
299.22/300.22	c bounds - >= 716 @ 299.045
299.22/300.22	c bounds - >= 717 @ 299.045
299.22/300.22	c bounds - >= 718 @ 299.045
299.22/300.22	c bounds - >= 719 @ 299.045
299.22/300.22	c bounds - >= 720 @ 299.046
299.22/300.22	c bounds - >= 721 @ 299.046
299.22/300.22	c bounds - >= 722 @ 299.046
299.22/300.22	c bounds - >= 723 @ 299.046
299.22/300.22	c bounds - >= 724 @ 299.047
299.22/300.22	c bounds - >= 725 @ 299.047
299.22/300.22	c bounds - >= 726 @ 299.047
299.22/300.22	c bounds - >= 727 @ 299.047
299.22/300.22	c bounds - >= 728 @ 299.048
299.22/300.22	c bounds - >= 729 @ 299.048
299.22/300.22	c bounds - >= 730 @ 299.048
299.22/300.22	c bounds - >= 731 @ 299.048
299.22/300.22	c bounds - >= 732 @ 299.048
299.22/300.22	c bounds - >= 733 @ 299.048
299.22/300.22	c bounds - >= 734 @ 299.048
299.22/300.22	c bounds - >= 735 @ 299.048
299.22/300.22	c bounds - >= 736 @ 299.048
299.22/300.22	c bounds - >= 737 @ 299.048
299.22/300.22	c bounds - >= 738 @ 299.048
299.22/300.22	c bounds - >= 739 @ 299.049
299.22/300.22	c bounds - >= 740 @ 299.049
299.22/300.22	c bounds - >= 741 @ 299.049
299.22/300.22	c bounds - >= 742 @ 299.049
299.22/300.22	c bounds - >= 743 @ 299.049
299.22/300.22	c bounds - >= 744 @ 299.049
299.22/300.22	c bounds - >= 745 @ 299.049
299.22/300.22	c bounds - >= 746 @ 299.05
299.22/300.22	c bounds - >= 747 @ 299.05
299.22/300.22	c bounds - >= 748 @ 299.05
299.22/300.22	c bounds - >= 749 @ 299.05
299.22/300.22	c bounds - >= 750 @ 299.05
299.22/300.22	c bounds - >= 751 @ 299.05
299.22/300.22	c bounds - >= 752 @ 299.05
299.22/300.22	c bounds - >= 753 @ 299.051
299.22/300.22	c bounds - >= 754 @ 299.051
299.22/300.22	c bounds - >= 755 @ 299.051
299.22/300.22	c bounds - >= 756 @ 299.051
299.22/300.22	c bounds - >= 757 @ 299.051
299.22/300.22	c bounds - >= 758 @ 299.051
299.22/300.22	c bounds - >= 759 @ 299.051
299.22/300.22	c bounds - >= 760 @ 299.052
299.22/300.22	c bounds - >= 761 @ 299.052
299.22/300.22	c bounds - >= 762 @ 299.052
299.22/300.22	c bounds - >= 763 @ 299.052
299.22/300.22	c bounds - >= 764 @ 299.052
299.22/300.22	c bounds - >= 765 @ 299.052
299.22/300.22	c bounds - >= 766 @ 299.052
299.22/300.22	c bounds - >= 767 @ 299.053
299.22/300.22	c bounds - >= 768 @ 299.053
299.22/300.22	c bounds - >= 769 @ 299.053
299.22/300.22	c bounds - >= 770 @ 299.053
299.22/300.22	c bounds - >= 771 @ 299.053
299.22/300.22	c bounds - >= 772 @ 299.053
299.22/300.22	c bounds - >= 773 @ 299.053
299.22/300.22	c bounds - >= 774 @ 299.053
299.22/300.22	c bounds - >= 775 @ 299.053
299.22/300.22	c bounds - >= 776 @ 299.053
299.22/300.22	c bounds - >= 777 @ 299.054
299.22/300.22	c bounds - >= 778 @ 299.054
299.22/300.22	c bounds - >= 779 @ 299.054
299.22/300.22	c bounds - >= 780 @ 299.054
299.22/300.22	c bounds - >= 781 @ 299.054
299.22/300.22	c bounds - >= 782 @ 299.054
299.22/300.22	c bounds - >= 783 @ 299.054
299.22/300.22	c bounds - >= 784 @ 299.054
299.22/300.22	c bounds - >= 785 @ 299.054
299.22/300.22	c bounds - >= 786 @ 299.054
299.22/300.22	c bounds - >= 787 @ 299.054
299.22/300.22	c bounds - >= 788 @ 299.055
299.22/300.22	c bounds - >= 789 @ 299.055
299.22/300.22	c bounds - >= 790 @ 299.055
299.22/300.22	c bounds - >= 791 @ 299.055
299.22/300.22	c bounds - >= 792 @ 299.056
299.22/300.22	c bounds - >= 793 @ 299.056
299.22/300.22	c bounds - >= 794 @ 299.057
299.22/300.22	c bounds - >= 795 @ 299.057
299.22/300.22	c bounds - >= 796 @ 299.057
299.22/300.22	c bounds - >= 797 @ 299.058
299.22/300.22	c bounds - >= 798 @ 299.058
299.22/300.22	c bounds - >= 799 @ 299.058
299.22/300.22	c bounds - >= 800 @ 299.059
299.22/300.22	c bounds - >= 801 @ 299.059
299.22/300.22	c bounds - >= 802 @ 299.059
299.22/300.22	c bounds - >= 803 @ 299.059
299.22/300.22	c bounds - >= 804 @ 299.059
299.22/300.22	c bounds - >= 805 @ 299.059
299.22/300.22	c bounds - >= 806 @ 299.059
299.22/300.22	c bounds - >= 807 @ 299.059
299.22/300.22	c bounds - >= 808 @ 299.059
299.22/300.22	c bounds - >= 809 @ 299.059
299.22/300.22	c bounds - >= 810 @ 299.059
299.22/300.22	c bounds - >= 811 @ 299.059
299.22/300.22	c bounds - >= 812 @ 299.059
299.22/300.22	c bounds - >= 813 @ 299.059
299.22/300.22	c bounds - >= 814 @ 299.06
299.22/300.22	c bounds - >= 815 @ 299.06
299.22/300.22	c bounds - >= 816 @ 299.06
299.22/300.22	c bounds - >= 817 @ 299.061
299.22/300.22	c bounds - >= 818 @ 299.061
299.22/300.22	c bounds - >= 819 @ 299.061
299.22/300.22	c bounds - >= 820 @ 299.061
299.22/300.22	c bounds - >= 821 @ 299.062
299.22/300.22	c bounds - >= 822 @ 299.062
341.58/342.79	c bounds - >= 823 @ 299.063
341.58/342.79	c bounds - >= 824 @ 299.064
341.58/342.79	c #Conflicts:       1000 | #Constraints:       5269
341.58/342.79	c #Conflicts:       2000 | #Constraints:       6269
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:       3000 | #Constraints:       6076
341.58/342.79	c #Conflicts:       4000 | #Constraints:       7076
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:       5000 | #Constraints:       6457
341.58/342.79	c #Conflicts:       6000 | #Constraints:       7457
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:       7000 | #Constraints:       6445
341.58/342.79	c #Conflicts:       8000 | #Constraints:       7445
341.58/342.79	c #Conflicts:       9000 | #Constraints:       8445
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      10000 | #Constraints:       7140
341.58/342.79	c #Conflicts:      11000 | #Constraints:       8140
341.58/342.79	c #Conflicts:      12000 | #Constraints:       9140
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      13000 | #Constraints:       7590
341.58/342.79	c #Conflicts:      14000 | #Constraints:       8590
341.58/342.79	c #Conflicts:      15000 | #Constraints:       9590
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      16000 | #Constraints:       7810
341.58/342.79	c #Conflicts:      17000 | #Constraints:       8810
341.58/342.79	c #Conflicts:      18000 | #Constraints:       9810
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      19000 | #Constraints:       7826
341.58/342.79	c #Conflicts:      20000 | #Constraints:       8826
341.58/342.79	c #Conflicts:      21000 | #Constraints:       9826
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      22000 | #Constraints:       7631
341.58/342.79	c #Conflicts:      23000 | #Constraints:       8631
341.58/342.79	c #Conflicts:      24000 | #Constraints:       9631
341.58/342.79	c #Conflicts:      25000 | #Constraints:      10631
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      26000 | #Constraints:       8238
341.58/342.79	c #Conflicts:      27000 | #Constraints:       9238
341.58/342.79	c #Conflicts:      28000 | #Constraints:      10238
341.58/342.79	c #Conflicts:      29000 | #Constraints:      11238
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      30000 | #Constraints:       8635
341.58/342.79	c #Conflicts:      31000 | #Constraints:       9635
341.58/342.79	c #Conflicts:      32000 | #Constraints:      10635
341.58/342.79	c #Conflicts:      33000 | #Constraints:      11635
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      34000 | #Constraints:       8835
341.58/342.79	c #Conflicts:      35000 | #Constraints:       9835
341.58/342.79	c #Conflicts:      36000 | #Constraints:      10835
341.58/342.79	c #Conflicts:      37000 | #Constraints:      11835
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      38000 | #Constraints:       8835
341.58/342.79	c #Conflicts:      39000 | #Constraints:       9835
341.58/342.79	c #Conflicts:      40000 | #Constraints:      10835
341.58/342.79	c #Conflicts:      41000 | #Constraints:      11835
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      42000 | #Constraints:       8644
341.58/342.79	c #Conflicts:      43000 | #Constraints:       9644
341.58/342.79	c #Conflicts:      44000 | #Constraints:      10644
341.58/342.79	c #Conflicts:      45000 | #Constraints:      11644
341.58/342.79	c #Conflicts:      46000 | #Constraints:      12644
341.58/342.79	c INPROCESSING
341.58/342.79	c GARBAGE COLLECT
341.58/342.79	c #Conflicts:      47000 | #Constraints:       9240
341.58/342.79	c #Conflicts:      48000 | #Constraints:      10240
341.58/342.79	c #Conflicts:      49000 | #Constraints:      11240
341.58/342.80	c #Conflicts:      50000 | #Constraints:      12240
341.58/342.80	c #Conflicts:      51000 | #Constraints:      13240
341.58/342.80	c INPROCESSING
341.58/342.80	c GARBAGE COLLECT
341.58/342.80	c #Conflicts:      52000 | #Constraints:       9636
341.58/342.80	c #Conflicts:      53000 | #Constraints:      10636
341.58/342.80	c #Conflicts:      54000 | #Constraints:      11636
341.58/342.80	c #Conflicts:      55000 | #Constraints:      12636
341.58/342.80	c #Conflicts:      56000 | #Constraints:      13636
341.58/342.80	c INPROCESSING
341.58/342.80	c GARBAGE COLLECT
341.58/342.80	c #Conflicts:      57000 | #Constraints:       9839
341.58/342.80	c #Conflicts:      58000 | #Constraints:      10839
341.58/342.80	c #Conflicts:      59000 | #Constraints:      11839
341.58/342.80	c #Conflicts:      60000 | #Constraints:      12839
341.58/342.80	c #Conflicts:      61000 | #Constraints:      13839
341.58/342.80	c INPROCESSING
341.58/342.80	c GARBAGE COLLECT
341.58/342.80	c #Conflicts:      62000 | #Constraints:       9839
341.58/342.80	c #Conflicts:      63000 | #Constraints:      10839
341.58/342.80	c #Conflicts:      64000 | #Constraints:      11839
341.58/342.80	c #Conflicts:      65000 | #Constraints:      12839
341.58/342.80	c #Conflicts:      66000 | #Constraints:      13839
341.58/342.80	c INPROCESSING
341.58/342.80	c GARBAGE COLLECT
341.58/342.80	c #Conflicts:      67000 | #Constraints:       9634
411.95/413.38	c #Conflicts:      68000 | #Constraints:      10634
411.95/413.38	c #Conflicts:      69000 | #Constraints:      11634
411.95/413.38	c #Conflicts:      70000 | #Constraints:      12634
411.95/413.38	c #Conflicts:      71000 | #Constraints:      13634
411.95/413.38	c #Conflicts:      72000 | #Constraints:      14634
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:      73000 | #Constraints:      10244
411.95/413.38	c #Conflicts:      74000 | #Constraints:      11244
411.95/413.38	c #Conflicts:      75000 | #Constraints:      12244
411.95/413.38	c #Conflicts:      76000 | #Constraints:      13244
411.95/413.38	c #Conflicts:      77000 | #Constraints:      14244
411.95/413.38	c #Conflicts:      78000 | #Constraints:      15244
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:      79000 | #Constraints:      10645
411.95/413.38	c #Conflicts:      80000 | #Constraints:      11645
411.95/413.38	c #Conflicts:      81000 | #Constraints:      12645
411.95/413.38	c #Conflicts:      82000 | #Constraints:      13645
411.95/413.38	c #Conflicts:      83000 | #Constraints:      14645
411.95/413.38	c #Conflicts:      84000 | #Constraints:      15645
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:      85000 | #Constraints:      10845
411.95/413.38	c #Conflicts:      86000 | #Constraints:      11845
411.95/413.38	c #Conflicts:      87000 | #Constraints:      12845
411.95/413.38	c #Conflicts:      88000 | #Constraints:      13845
411.95/413.38	c #Conflicts:      89000 | #Constraints:      14845
411.95/413.38	c #Conflicts:      90000 | #Constraints:      15845
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:      91000 | #Constraints:      10851
411.95/413.38	c #Conflicts:      92000 | #Constraints:      11851
411.95/413.38	c #Conflicts:      93000 | #Constraints:      12851
411.95/413.38	c #Conflicts:      94000 | #Constraints:      13851
411.95/413.38	c #Conflicts:      95000 | #Constraints:      14851
411.95/413.38	c #Conflicts:      96000 | #Constraints:      15851
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:      97000 | #Constraints:      10654
411.95/413.38	c #Conflicts:      98000 | #Constraints:      11654
411.95/413.38	c #Conflicts:      99000 | #Constraints:      12654
411.95/413.38	c #Conflicts:     100000 | #Constraints:      13654
411.95/413.38	c #Conflicts:     101000 | #Constraints:      14654
411.95/413.38	c #Conflicts:     102000 | #Constraints:      15654
411.95/413.38	c #Conflicts:     103000 | #Constraints:      16654
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:     104000 | #Constraints:      11252
411.95/413.38	c #Conflicts:     105000 | #Constraints:      12252
411.95/413.38	c #Conflicts:     106000 | #Constraints:      13252
411.95/413.38	c #Conflicts:     107000 | #Constraints:      14252
411.95/413.38	c #Conflicts:     108000 | #Constraints:      15252
411.95/413.38	c #Conflicts:     109000 | #Constraints:      16252
411.95/413.38	c #Conflicts:     110000 | #Constraints:      17252
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:     111000 | #Constraints:      11648
411.95/413.38	c #Conflicts:     112000 | #Constraints:      12648
411.95/413.38	c #Conflicts:     113000 | #Constraints:      13648
411.95/413.38	c #Conflicts:     114000 | #Constraints:      14648
411.95/413.38	c #Conflicts:     115000 | #Constraints:      15648
411.95/413.38	c #Conflicts:     116000 | #Constraints:      16648
411.95/413.38	c #Conflicts:     117000 | #Constraints:      17648
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:     118000 | #Constraints:      11840
411.95/413.38	c #Conflicts:     119000 | #Constraints:      12840
411.95/413.38	c #Conflicts:     120000 | #Constraints:      13840
411.95/413.38	c #Conflicts:     121000 | #Constraints:      14840
411.95/413.38	c #Conflicts:     122000 | #Constraints:      15840
411.95/413.38	c #Conflicts:     123000 | #Constraints:      16840
411.95/413.38	c #Conflicts:     124000 | #Constraints:      17840
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:     125000 | #Constraints:      11837
411.95/413.38	c #Conflicts:     126000 | #Constraints:      12837
411.95/413.38	c #Conflicts:     127000 | #Constraints:      13837
411.95/413.38	c #Conflicts:     128000 | #Constraints:      14837
411.95/413.38	c #Conflicts:     129000 | #Constraints:      15837
411.95/413.38	c #Conflicts:     130000 | #Constraints:      16837
411.95/413.38	c #Conflicts:     131000 | #Constraints:      17837
411.95/413.38	c INPROCESSING
411.95/413.38	c GARBAGE COLLECT
411.95/413.38	c #Conflicts:     132000 | #Constraints:      11641
411.95/413.38	c #Conflicts:     133000 | #Constraints:      12641
411.95/413.38	c #Conflicts:     134000 | #Constraints:      13641
411.95/413.38	c #Conflicts:     135000 | #Constraints:      14641
411.95/413.38	c #Conflicts:     136000 | #Constraints:      15641
411.95/413.38	c #Conflicts:     137000 | #Constraints:      16641
411.95/413.38	c #Conflicts:     138000 | #Constraints:      17641
411.95/413.38	c #Conflicts:     139000 | #Constraints:      18641
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     140000 | #Constraints:      12248
519.19/520.91	c #Conflicts:     141000 | #Constraints:      13248
519.19/520.91	c #Conflicts:     142000 | #Constraints:      14248
519.19/520.91	c #Conflicts:     143000 | #Constraints:      15248
519.19/520.91	c #Conflicts:     144000 | #Constraints:      16248
519.19/520.91	c #Conflicts:     145000 | #Constraints:      17248
519.19/520.91	c #Conflicts:     146000 | #Constraints:      18248
519.19/520.91	c #Conflicts:     147000 | #Constraints:      19248
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     148000 | #Constraints:      12654
519.19/520.91	c #Conflicts:     149000 | #Constraints:      13654
519.19/520.91	c #Conflicts:     150000 | #Constraints:      14654
519.19/520.91	c #Conflicts:     151000 | #Constraints:      15654
519.19/520.91	c #Conflicts:     152000 | #Constraints:      16654
519.19/520.91	c #Conflicts:     153000 | #Constraints:      17654
519.19/520.91	c #Conflicts:     154000 | #Constraints:      18654
519.19/520.91	c #Conflicts:     155000 | #Constraints:      19654
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     156000 | #Constraints:      12849
519.19/520.91	c #Conflicts:     157000 | #Constraints:      13849
519.19/520.91	c #Conflicts:     158000 | #Constraints:      14849
519.19/520.91	c #Conflicts:     159000 | #Constraints:      15849
519.19/520.91	c #Conflicts:     160000 | #Constraints:      16849
519.19/520.91	c #Conflicts:     161000 | #Constraints:      17849
519.19/520.91	c #Conflicts:     162000 | #Constraints:      18849
519.19/520.91	c #Conflicts:     163000 | #Constraints:      19849
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     164000 | #Constraints:      12857
519.19/520.91	c #Conflicts:     165000 | #Constraints:      13857
519.19/520.91	c #Conflicts:     166000 | #Constraints:      14857
519.19/520.91	c #Conflicts:     167000 | #Constraints:      15857
519.19/520.91	c #Conflicts:     168000 | #Constraints:      16857
519.19/520.91	c #Conflicts:     169000 | #Constraints:      17857
519.19/520.91	c #Conflicts:     170000 | #Constraints:      18857
519.19/520.91	c #Conflicts:     171000 | #Constraints:      19857
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     172000 | #Constraints:      12656
519.19/520.91	c #Conflicts:     173000 | #Constraints:      13656
519.19/520.91	c #Conflicts:     174000 | #Constraints:      14656
519.19/520.91	c #Conflicts:     175000 | #Constraints:      15656
519.19/520.91	c #Conflicts:     176000 | #Constraints:      16656
519.19/520.91	c #Conflicts:     177000 | #Constraints:      17656
519.19/520.91	c #Conflicts:     178000 | #Constraints:      18656
519.19/520.91	c #Conflicts:     179000 | #Constraints:      19656
519.19/520.91	c #Conflicts:     180000 | #Constraints:      20656
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     181000 | #Constraints:      13249
519.19/520.91	c #Conflicts:     182000 | #Constraints:      14249
519.19/520.91	c #Conflicts:     183000 | #Constraints:      15249
519.19/520.91	c #Conflicts:     184000 | #Constraints:      16249
519.19/520.91	c #Conflicts:     185000 | #Constraints:      17249
519.19/520.91	c #Conflicts:     186000 | #Constraints:      18249
519.19/520.91	c #Conflicts:     187000 | #Constraints:      19249
519.19/520.91	c #Conflicts:     188000 | #Constraints:      20249
519.19/520.91	c #Conflicts:     189000 | #Constraints:      21249
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     190000 | #Constraints:      13654
519.19/520.91	c #Conflicts:     191000 | #Constraints:      14654
519.19/520.91	c #Conflicts:     192000 | #Constraints:      15654
519.19/520.91	c #Conflicts:     193000 | #Constraints:      16654
519.19/520.91	c #Conflicts:     194000 | #Constraints:      17654
519.19/520.91	c #Conflicts:     195000 | #Constraints:      18654
519.19/520.91	c #Conflicts:     196000 | #Constraints:      19654
519.19/520.91	c #Conflicts:     197000 | #Constraints:      20654
519.19/520.91	c #Conflicts:     198000 | #Constraints:      21654
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     199000 | #Constraints:      13858
519.19/520.91	c #Conflicts:     200000 | #Constraints:      14858
519.19/520.91	c #Conflicts:     201000 | #Constraints:      15858
519.19/520.91	c #Conflicts:     202000 | #Constraints:      16858
519.19/520.91	c #Conflicts:     203000 | #Constraints:      17858
519.19/520.91	c #Conflicts:     204000 | #Constraints:      18858
519.19/520.91	c #Conflicts:     205000 | #Constraints:      19858
519.19/520.91	c #Conflicts:     206000 | #Constraints:      20858
519.19/520.91	c #Conflicts:     207000 | #Constraints:      21858
519.19/520.91	c INPROCESSING
519.19/520.91	c GARBAGE COLLECT
519.19/520.91	c #Conflicts:     208000 | #Constraints:      13856
519.19/520.91	c #Conflicts:     209000 | #Constraints:      14856
519.19/520.91	c #Conflicts:     210000 | #Constraints:      15856
519.19/520.91	c #Conflicts:     211000 | #Constraints:      16856
519.19/520.91	c #Conflicts:     212000 | #Constraints:      17856
660.84/663.08	c #Conflicts:     213000 | #Constraints:      18856
660.84/663.08	c #Conflicts:     214000 | #Constraints:      19856
660.84/663.08	c #Conflicts:     215000 | #Constraints:      20856
660.84/663.08	c #Conflicts:     216000 | #Constraints:      21856
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     217000 | #Constraints:      13667
660.84/663.08	c #Conflicts:     218000 | #Constraints:      14667
660.84/663.08	c #Conflicts:     219000 | #Constraints:      15667
660.84/663.08	c #Conflicts:     220000 | #Constraints:      16667
660.84/663.08	c #Conflicts:     221000 | #Constraints:      17667
660.84/663.08	c #Conflicts:     222000 | #Constraints:      18667
660.84/663.08	c #Conflicts:     223000 | #Constraints:      19667
660.84/663.08	c #Conflicts:     224000 | #Constraints:      20667
660.84/663.08	c #Conflicts:     225000 | #Constraints:      21667
660.84/663.08	c #Conflicts:     226000 | #Constraints:      22667
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     227000 | #Constraints:      14266
660.84/663.08	c #Conflicts:     228000 | #Constraints:      15266
660.84/663.08	c #Conflicts:     229000 | #Constraints:      16266
660.84/663.08	c #Conflicts:     230000 | #Constraints:      17266
660.84/663.08	c #Conflicts:     231000 | #Constraints:      18266
660.84/663.08	c #Conflicts:     232000 | #Constraints:      19266
660.84/663.08	c #Conflicts:     233000 | #Constraints:      20266
660.84/663.08	c #Conflicts:     234000 | #Constraints:      21266
660.84/663.08	c #Conflicts:     235000 | #Constraints:      22266
660.84/663.08	c #Conflicts:     236000 | #Constraints:      23266
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     237000 | #Constraints:      14646
660.84/663.08	c #Conflicts:     238000 | #Constraints:      15646
660.84/663.08	c #Conflicts:     239000 | #Constraints:      16646
660.84/663.08	c #Conflicts:     240000 | #Constraints:      17646
660.84/663.08	c #Conflicts:     241000 | #Constraints:      18646
660.84/663.08	c #Conflicts:     242000 | #Constraints:      19646
660.84/663.08	c #Conflicts:     243000 | #Constraints:      20646
660.84/663.08	c #Conflicts:     244000 | #Constraints:      21646
660.84/663.08	c #Conflicts:     245000 | #Constraints:      22646
660.84/663.08	c #Conflicts:     246000 | #Constraints:      23646
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     247000 | #Constraints:      14847
660.84/663.08	c #Conflicts:     248000 | #Constraints:      15847
660.84/663.08	c #Conflicts:     249000 | #Constraints:      16847
660.84/663.08	c #Conflicts:     250000 | #Constraints:      17847
660.84/663.08	c #Conflicts:     251000 | #Constraints:      18847
660.84/663.08	c #Conflicts:     252000 | #Constraints:      19847
660.84/663.08	c #Conflicts:     253000 | #Constraints:      20847
660.84/663.08	c #Conflicts:     254000 | #Constraints:      21847
660.84/663.08	c #Conflicts:     255000 | #Constraints:      22847
660.84/663.08	c #Conflicts:     256000 | #Constraints:      23847
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     257000 | #Constraints:      14845
660.84/663.08	c #Conflicts:     258000 | #Constraints:      15845
660.84/663.08	c #Conflicts:     259000 | #Constraints:      16845
660.84/663.08	c #Conflicts:     260000 | #Constraints:      17845
660.84/663.08	c #Conflicts:     261000 | #Constraints:      18845
660.84/663.08	c #Conflicts:     262000 | #Constraints:      19845
660.84/663.08	c #Conflicts:     263000 | #Constraints:      20845
660.84/663.08	c #Conflicts:     264000 | #Constraints:      21845
660.84/663.08	c #Conflicts:     265000 | #Constraints:      22845
660.84/663.08	c #Conflicts:     266000 | #Constraints:      23845
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     267000 | #Constraints:      14644
660.84/663.08	c #Conflicts:     268000 | #Constraints:      15644
660.84/663.08	c #Conflicts:     269000 | #Constraints:      16644
660.84/663.08	c #Conflicts:     270000 | #Constraints:      17644
660.84/663.08	c #Conflicts:     271000 | #Constraints:      18644
660.84/663.08	c #Conflicts:     272000 | #Constraints:      19644
660.84/663.08	c #Conflicts:     273000 | #Constraints:      20644
660.84/663.08	c #Conflicts:     274000 | #Constraints:      21644
660.84/663.08	c #Conflicts:     275000 | #Constraints:      22644
660.84/663.08	c #Conflicts:     276000 | #Constraints:      23644
660.84/663.08	c #Conflicts:     277000 | #Constraints:      24644
660.84/663.08	c INPROCESSING
660.84/663.08	c GARBAGE COLLECT
660.84/663.08	c #Conflicts:     278000 | #Constraints:      15236
660.84/663.08	c #Conflicts:     279000 | #Constraints:      16236
660.84/663.08	c #Conflicts:     280000 | #Constraints:      17236
660.84/663.08	c #Conflicts:     281000 | #Constraints:      18236
660.84/663.08	c #Conflicts:     282000 | #Constraints:      19236
660.84/663.08	c #Conflicts:     283000 | #Constraints:      20236
660.84/663.08	c #Conflicts:     284000 | #Constraints:      21236
660.84/663.08	c #Conflicts:     285000 | #Constraints:      22236
660.84/663.08	c #Conflicts:     286000 | #Constraints:      23236
797.19/799.83	c #Conflicts:     287000 | #Constraints:      24236
797.19/799.83	c #Conflicts:     288000 | #Constraints:      25236
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     289000 | #Constraints:      15644
797.19/799.83	c #Conflicts:     290000 | #Constraints:      16644
797.19/799.83	c #Conflicts:     291000 | #Constraints:      17644
797.19/799.83	c #Conflicts:     292000 | #Constraints:      18644
797.19/799.83	c #Conflicts:     293000 | #Constraints:      19644
797.19/799.83	c #Conflicts:     294000 | #Constraints:      20644
797.19/799.83	c #Conflicts:     295000 | #Constraints:      21644
797.19/799.83	c #Conflicts:     296000 | #Constraints:      22644
797.19/799.83	c #Conflicts:     297000 | #Constraints:      23644
797.19/799.83	c #Conflicts:     298000 | #Constraints:      24644
797.19/799.83	c #Conflicts:     299000 | #Constraints:      25644
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     300000 | #Constraints:      15845
797.19/799.83	c #Conflicts:     301000 | #Constraints:      16845
797.19/799.83	c #Conflicts:     302000 | #Constraints:      17845
797.19/799.83	c #Conflicts:     303000 | #Constraints:      18845
797.19/799.83	c #Conflicts:     304000 | #Constraints:      19845
797.19/799.83	c #Conflicts:     305000 | #Constraints:      20845
797.19/799.83	c #Conflicts:     306000 | #Constraints:      21845
797.19/799.83	c #Conflicts:     307000 | #Constraints:      22845
797.19/799.83	c #Conflicts:     308000 | #Constraints:      23845
797.19/799.83	c #Conflicts:     309000 | #Constraints:      24845
797.19/799.83	c #Conflicts:     310000 | #Constraints:      25845
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     311000 | #Constraints:      15841
797.19/799.83	c #Conflicts:     312000 | #Constraints:      16841
797.19/799.83	c #Conflicts:     313000 | #Constraints:      17841
797.19/799.83	c #Conflicts:     314000 | #Constraints:      18841
797.19/799.83	c #Conflicts:     315000 | #Constraints:      19841
797.19/799.83	c #Conflicts:     316000 | #Constraints:      20841
797.19/799.83	c #Conflicts:     317000 | #Constraints:      21841
797.19/799.83	c #Conflicts:     318000 | #Constraints:      22841
797.19/799.83	c #Conflicts:     319000 | #Constraints:      23841
797.19/799.83	c #Conflicts:     320000 | #Constraints:      24841
797.19/799.83	c #Conflicts:     321000 | #Constraints:      25841
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     322000 | #Constraints:      15645
797.19/799.83	c #Conflicts:     323000 | #Constraints:      16645
797.19/799.83	c #Conflicts:     324000 | #Constraints:      17645
797.19/799.83	c #Conflicts:     325000 | #Constraints:      18645
797.19/799.83	c #Conflicts:     326000 | #Constraints:      19645
797.19/799.83	c #Conflicts:     327000 | #Constraints:      20645
797.19/799.83	c #Conflicts:     328000 | #Constraints:      21645
797.19/799.83	c #Conflicts:     329000 | #Constraints:      22645
797.19/799.83	c #Conflicts:     330000 | #Constraints:      23645
797.19/799.83	c #Conflicts:     331000 | #Constraints:      24645
797.19/799.83	c #Conflicts:     332000 | #Constraints:      25645
797.19/799.83	c #Conflicts:     333000 | #Constraints:      26645
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     334000 | #Constraints:      16250
797.19/799.83	c #Conflicts:     335000 | #Constraints:      17250
797.19/799.83	c #Conflicts:     336000 | #Constraints:      18250
797.19/799.83	c #Conflicts:     337000 | #Constraints:      19250
797.19/799.83	c #Conflicts:     338000 | #Constraints:      20250
797.19/799.83	c #Conflicts:     339000 | #Constraints:      21250
797.19/799.83	c #Conflicts:     340000 | #Constraints:      22250
797.19/799.83	c #Conflicts:     341000 | #Constraints:      23250
797.19/799.83	c #Conflicts:     342000 | #Constraints:      24250
797.19/799.83	c #Conflicts:     343000 | #Constraints:      25250
797.19/799.83	c #Conflicts:     344000 | #Constraints:      26250
797.19/799.83	c #Conflicts:     345000 | #Constraints:      27250
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     346000 | #Constraints:      16652
797.19/799.83	c #Conflicts:     347000 | #Constraints:      17652
797.19/799.83	c #Conflicts:     348000 | #Constraints:      18652
797.19/799.83	c #Conflicts:     349000 | #Constraints:      19652
797.19/799.83	c #Conflicts:     350000 | #Constraints:      20652
797.19/799.83	c #Conflicts:     351000 | #Constraints:      21652
797.19/799.83	c #Conflicts:     352000 | #Constraints:      22652
797.19/799.83	c #Conflicts:     353000 | #Constraints:      23652
797.19/799.83	c #Conflicts:     354000 | #Constraints:      24652
797.19/799.83	c #Conflicts:     355000 | #Constraints:      25652
797.19/799.83	c #Conflicts:     356000 | #Constraints:      26652
797.19/799.83	c #Conflicts:     357000 | #Constraints:      27652
797.19/799.83	c INPROCESSING
797.19/799.83	c GARBAGE COLLECT
797.19/799.83	c #Conflicts:     358000 | #Constraints:      16858
797.19/799.83	c #Conflicts:     359000 | #Constraints:      17858
797.19/799.83	c #Conflicts:     360000 | #Constraints:      18858
797.19/799.83	c #Conflicts:     361000 | #Constraints:      19858
1005.25/1008.68	c #Conflicts:     362000 | #Constraints:      20858
1005.25/1008.68	c #Conflicts:     363000 | #Constraints:      21858
1005.25/1008.68	c #Conflicts:     364000 | #Constraints:      22858
1005.25/1008.68	c #Conflicts:     365000 | #Constraints:      23858
1005.25/1008.68	c #Conflicts:     366000 | #Constraints:      24858
1005.25/1008.68	c #Conflicts:     367000 | #Constraints:      25858
1005.25/1008.68	c #Conflicts:     368000 | #Constraints:      26858
1005.25/1008.68	c #Conflicts:     369000 | #Constraints:      27858
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     370000 | #Constraints:      16852
1005.25/1008.68	c #Conflicts:     371000 | #Constraints:      17852
1005.25/1008.68	c #Conflicts:     372000 | #Constraints:      18852
1005.25/1008.68	c #Conflicts:     373000 | #Constraints:      19852
1005.25/1008.68	c #Conflicts:     374000 | #Constraints:      20852
1005.25/1008.68	c #Conflicts:     375000 | #Constraints:      21852
1005.25/1008.68	c #Conflicts:     376000 | #Constraints:      22852
1005.25/1008.68	c #Conflicts:     377000 | #Constraints:      23852
1005.25/1008.68	c #Conflicts:     378000 | #Constraints:      24852
1005.25/1008.68	c #Conflicts:     379000 | #Constraints:      25852
1005.25/1008.68	c #Conflicts:     380000 | #Constraints:      26852
1005.25/1008.68	c #Conflicts:     381000 | #Constraints:      27852
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     382000 | #Constraints:      16650
1005.25/1008.68	c #Conflicts:     383000 | #Constraints:      17650
1005.25/1008.68	c #Conflicts:     384000 | #Constraints:      18650
1005.25/1008.68	c #Conflicts:     385000 | #Constraints:      19650
1005.25/1008.68	c #Conflicts:     386000 | #Constraints:      20650
1005.25/1008.68	c #Conflicts:     387000 | #Constraints:      21650
1005.25/1008.68	c #Conflicts:     388000 | #Constraints:      22650
1005.25/1008.68	c #Conflicts:     389000 | #Constraints:      23650
1005.25/1008.68	c #Conflicts:     390000 | #Constraints:      24650
1005.25/1008.68	c #Conflicts:     391000 | #Constraints:      25650
1005.25/1008.68	c #Conflicts:     392000 | #Constraints:      26650
1005.25/1008.68	c #Conflicts:     393000 | #Constraints:      27650
1005.25/1008.68	c #Conflicts:     394000 | #Constraints:      28650
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     395000 | #Constraints:      17249
1005.25/1008.68	c #Conflicts:     396000 | #Constraints:      18249
1005.25/1008.68	c #Conflicts:     397000 | #Constraints:      19249
1005.25/1008.68	c #Conflicts:     398000 | #Constraints:      20249
1005.25/1008.68	c #Conflicts:     399000 | #Constraints:      21249
1005.25/1008.68	c #Conflicts:     400000 | #Constraints:      22249
1005.25/1008.68	c #Conflicts:     401000 | #Constraints:      23249
1005.25/1008.68	c #Conflicts:     402000 | #Constraints:      24249
1005.25/1008.68	c #Conflicts:     403000 | #Constraints:      25249
1005.25/1008.68	c #Conflicts:     404000 | #Constraints:      26249
1005.25/1008.68	c #Conflicts:     405000 | #Constraints:      27249
1005.25/1008.68	c #Conflicts:     406000 | #Constraints:      28249
1005.25/1008.68	c #Conflicts:     407000 | #Constraints:      29249
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     408000 | #Constraints:      17647
1005.25/1008.68	c #Conflicts:     409000 | #Constraints:      18647
1005.25/1008.68	c #Conflicts:     410000 | #Constraints:      19647
1005.25/1008.68	c #Conflicts:     411000 | #Constraints:      20647
1005.25/1008.68	c #Conflicts:     412000 | #Constraints:      21647
1005.25/1008.68	c #Conflicts:     413000 | #Constraints:      22647
1005.25/1008.68	c #Conflicts:     414000 | #Constraints:      23647
1005.25/1008.68	c #Conflicts:     415000 | #Constraints:      24647
1005.25/1008.68	c #Conflicts:     416000 | #Constraints:      25647
1005.25/1008.68	c #Conflicts:     417000 | #Constraints:      26647
1005.25/1008.68	c #Conflicts:     418000 | #Constraints:      27647
1005.25/1008.68	c #Conflicts:     419000 | #Constraints:      28647
1005.25/1008.68	c #Conflicts:     420000 | #Constraints:      29647
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     421000 | #Constraints:      17856
1005.25/1008.68	c #Conflicts:     422000 | #Constraints:      18856
1005.25/1008.68	c #Conflicts:     423000 | #Constraints:      19856
1005.25/1008.68	c #Conflicts:     424000 | #Constraints:      20856
1005.25/1008.68	c #Conflicts:     425000 | #Constraints:      21856
1005.25/1008.68	c #Conflicts:     426000 | #Constraints:      22856
1005.25/1008.68	c #Conflicts:     427000 | #Constraints:      23856
1005.25/1008.68	c #Conflicts:     428000 | #Constraints:      24856
1005.25/1008.68	c #Conflicts:     429000 | #Constraints:      25856
1005.25/1008.68	c #Conflicts:     430000 | #Constraints:      26856
1005.25/1008.68	c #Conflicts:     431000 | #Constraints:      27856
1005.25/1008.68	c #Conflicts:     432000 | #Constraints:      28856
1005.25/1008.68	c #Conflicts:     433000 | #Constraints:      29856
1005.25/1008.68	c INPROCESSING
1005.25/1008.68	c GARBAGE COLLECT
1005.25/1008.68	c #Conflicts:     434000 | #Constraints:      17861
1005.25/1008.68	c #Conflicts:     435000 | #Constraints:      18861
1005.25/1008.68	c #Conflicts:     436000 | #Constraints:      19861
1147.40/1151.30	c #Conflicts:     437000 | #Constraints:      20861
1147.40/1151.30	c #Conflicts:     438000 | #Constraints:      21861
1147.40/1151.30	c #Conflicts:     439000 | #Constraints:      22861
1147.40/1151.30	c #Conflicts:     440000 | #Constraints:      23861
1147.40/1151.30	c #Conflicts:     441000 | #Constraints:      24861
1147.40/1151.30	c #Conflicts:     442000 | #Constraints:      25861
1147.40/1151.30	c #Conflicts:     443000 | #Constraints:      26861
1147.40/1151.30	c #Conflicts:     444000 | #Constraints:      27861
1147.40/1151.30	c #Conflicts:     445000 | #Constraints:      28861
1147.40/1151.30	c #Conflicts:     446000 | #Constraints:      29861
1147.40/1151.30	c INPROCESSING
1147.40/1151.30	c GARBAGE COLLECT
1147.40/1151.30	c #Conflicts:     447000 | #Constraints:      17660
1147.40/1151.30	c #Conflicts:     448000 | #Constraints:      18660
1147.40/1151.30	c #Conflicts:     449000 | #Constraints:      19660
1147.40/1151.30	c #Conflicts:     450000 | #Constraints:      20660
1147.40/1151.30	c #Conflicts:     451000 | #Constraints:      21660
1147.40/1151.30	c #Conflicts:     452000 | #Constraints:      22660
1147.40/1151.30	c #Conflicts:     453000 | #Constraints:      23660
1147.40/1151.30	c #Conflicts:     454000 | #Constraints:      24660
1147.40/1151.30	c #Conflicts:     455000 | #Constraints:      25660
1147.40/1151.30	c #Conflicts:     456000 | #Constraints:      26660
1147.40/1151.30	c #Conflicts:     457000 | #Constraints:      27660
1147.40/1151.30	c #Conflicts:     458000 | #Constraints:      28660
1147.40/1151.30	c #Conflicts:     459000 | #Constraints:      29660
1147.40/1151.30	c #Conflicts:     460000 | #Constraints:      30660
1147.40/1151.30	c INPROCESSING
1147.40/1151.30	c GARBAGE COLLECT
1147.40/1151.30	c #Conflicts:     461000 | #Constraints:      18257
1147.40/1151.30	c #Conflicts:     462000 | #Constraints:      19257
1147.40/1151.30	c #Conflicts:     463000 | #Constraints:      20257
1147.40/1151.30	c #Conflicts:     464000 | #Constraints:      21257
1147.40/1151.30	c #Conflicts:     465000 | #Constraints:      22257
1147.40/1151.30	c #Conflicts:     466000 | #Constraints:      23257
1147.40/1151.30	c #Conflicts:     467000 | #Constraints:      24257
1147.40/1151.30	c #Conflicts:     468000 | #Constraints:      25257
1147.40/1151.30	c #Conflicts:     469000 | #Constraints:      26257
1147.40/1151.30	c #Conflicts:     470000 | #Constraints:      27257
1147.40/1151.30	c #Conflicts:     471000 | #Constraints:      28257
1147.40/1151.30	c #Conflicts:     472000 | #Constraints:      29257
1147.40/1151.30	c #Conflicts:     473000 | #Constraints:      30257
1147.40/1151.30	c #Conflicts:     474000 | #Constraints:      31257
1147.40/1151.30	c INPROCESSING
1147.40/1151.30	c GARBAGE COLLECT
1147.40/1151.30	c #Conflicts:     475000 | #Constraints:      18660
1147.40/1151.30	c #Conflicts:     476000 | #Constraints:      19660
1147.40/1151.30	c #Conflicts:     477000 | #Constraints:      20660
1147.40/1151.30	c #Conflicts:     478000 | #Constraints:      21660
1147.40/1151.30	c #Conflicts:     479000 | #Constraints:      22660
1147.40/1151.30	c #Conflicts:     480000 | #Constraints:      23660
1147.40/1151.30	c #Conflicts:     481000 | #Constraints:      24660
1147.40/1151.30	c #Conflicts:     482000 | #Constraints:      25660
1147.40/1151.30	c #Conflicts:     483000 | #Constraints:      26660
1147.40/1151.30	c #Conflicts:     484000 | #Constraints:      27660
1147.40/1151.30	c #Conflicts:     485000 | #Constraints:      28660
1147.40/1151.30	c #Conflicts:     486000 | #Constraints:      29660
1147.40/1151.30	c #Conflicts:     487000 | #Constraints:      30660
1147.40/1151.30	c #Conflicts:     488000 | #Constraints:      31660
1147.40/1151.30	c INPROCESSING
1147.40/1151.30	c GARBAGE COLLECT
1147.40/1151.30	c #Conflicts:     489000 | #Constraints:      18874
1147.40/1151.30	c #Conflicts:     490000 | #Constraints:      19874
1147.40/1151.30	c #Conflicts:     491000 | #Constraints:      20874
1147.40/1151.30	c #Conflicts:     492000 | #Constraints:      21874
1147.40/1151.30	c #Conflicts:     493000 | #Constraints:      22874
1147.40/1151.30	c #Conflicts:     494000 | #Constraints:      23874
1147.40/1151.30	c #Conflicts:     495000 | #Constraints:      24874
1147.40/1151.30	c #Conflicts:     496000 | #Constraints:      25874
1147.40/1151.30	c #Conflicts:     497000 | #Constraints:      26874
1147.40/1151.30	c #Conflicts:     498000 | #Constraints:      27874
1147.40/1151.30	c #Conflicts:     499000 | #Constraints:      28874
1147.40/1151.30	c #Conflicts:     500000 | #Constraints:      29874
1147.40/1151.30	c #Conflicts:     501000 | #Constraints:      30874
1147.40/1151.30	c #Conflicts:     502000 | #Constraints:      31874
1147.40/1151.30	c INPROCESSING
1147.40/1151.30	c GARBAGE COLLECT
1147.40/1151.30	c #Conflicts:     503000 | #Constraints:      18866
1147.40/1151.30	c #Conflicts:     504000 | #Constraints:      19866
1147.40/1151.30	c #Conflicts:     505000 | #Constraints:      20866
1147.40/1151.30	c #Conflicts:     506000 | #Constraints:      21866
1147.40/1151.30	c #Conflicts:     507000 | #Constraints:      22866
1147.40/1151.30	c #Conflicts:     508000 | #Constraints:      23866
1147.40/1151.30	c #Conflicts:     509000 | #Constraints:      24866
1147.40/1151.30	c #Conflicts:     510000 | #Constraints:      25866
1147.40/1151.30	c #Conflicts:     511000 | #Constraints:      26866
1316.20/1320.61	c #Conflicts:     512000 | #Constraints:      27866
1316.20/1320.61	c #Conflicts:     513000 | #Constraints:      28866
1316.20/1320.61	c #Conflicts:     514000 | #Constraints:      29866
1316.20/1320.61	c #Conflicts:     515000 | #Constraints:      30866
1316.20/1320.61	c #Conflicts:     516000 | #Constraints:      31866
1316.20/1320.61	c INPROCESSING
1316.20/1320.61	c GARBAGE COLLECT
1316.20/1320.61	c #Conflicts:     517000 | #Constraints:      18666
1316.20/1320.61	c #Conflicts:     518000 | #Constraints:      19666
1316.20/1320.61	c #Conflicts:     519000 | #Constraints:      20666
1316.20/1320.61	c #Conflicts:     520000 | #Constraints:      21666
1316.20/1320.61	c #Conflicts:     521000 | #Constraints:      22666
1316.20/1320.61	c #Conflicts:     522000 | #Constraints:      23666
1316.20/1320.61	c #Conflicts:     523000 | #Constraints:      24666
1316.20/1320.61	c #Conflicts:     524000 | #Constraints:      25666
1316.20/1320.61	c #Conflicts:     525000 | #Constraints:      26666
1316.20/1320.61	c #Conflicts:     526000 | #Constraints:      27666
1316.20/1320.61	c #Conflicts:     527000 | #Constraints:      28666
1316.20/1320.61	c #Conflicts:     528000 | #Constraints:      29666
1316.20/1320.61	c #Conflicts:     529000 | #Constraints:      30666
1316.20/1320.61	c #Conflicts:     530000 | #Constraints:      31666
1316.20/1320.61	c #Conflicts:     531000 | #Constraints:      32666
1316.20/1320.61	c INPROCESSING
1316.20/1320.61	c GARBAGE COLLECT
1316.20/1320.61	c #Conflicts:     532000 | #Constraints:      19250
1316.20/1320.61	c #Conflicts:     533000 | #Constraints:      20250
1316.20/1320.61	c #Conflicts:     534000 | #Constraints:      21250
1316.20/1320.61	c #Conflicts:     535000 | #Constraints:      22250
1316.20/1320.61	c #Conflicts:     536000 | #Constraints:      23250
1316.20/1320.61	c #Conflicts:     537000 | #Constraints:      24250
1316.20/1320.61	c #Conflicts:     538000 | #Constraints:      25250
1316.20/1320.61	c #Conflicts:     539000 | #Constraints:      26250
1316.20/1320.61	c #Conflicts:     540000 | #Constraints:      27250
1316.20/1320.61	c #Conflicts:     541000 | #Constraints:      28250
1316.20/1320.61	c #Conflicts:     542000 | #Constraints:      29250
1316.20/1320.61	c #Conflicts:     543000 | #Constraints:      30250
1316.20/1320.61	c #Conflicts:     544000 | #Constraints:      31250
1316.20/1320.61	c #Conflicts:     545000 | #Constraints:      32250
1316.20/1320.61	c #Conflicts:     546000 | #Constraints:      33250
1316.20/1320.61	c INPROCESSING
1316.20/1320.61	c GARBAGE COLLECT
1316.20/1320.61	c #Conflicts:     547000 | #Constraints:      19646
1316.20/1320.61	c #Conflicts:     548000 | #Constraints:      20646
1316.20/1320.61	c #Conflicts:     549000 | #Constraints:      21646
1316.20/1320.61	c #Conflicts:     550000 | #Constraints:      22646
1316.20/1320.61	c #Conflicts:     551000 | #Constraints:      23646
1316.20/1320.61	c #Conflicts:     552000 | #Constraints:      24646
1316.20/1320.61	c #Conflicts:     553000 | #Constraints:      25646
1316.20/1320.61	c #Conflicts:     554000 | #Constraints:      26646
1316.20/1320.61	c #Conflicts:     555000 | #Constraints:      27646
1316.20/1320.61	c #Conflicts:     556000 | #Constraints:      28646
1316.20/1320.61	c #Conflicts:     557000 | #Constraints:      29646
1316.20/1320.61	c #Conflicts:     558000 | #Constraints:      30646
1316.20/1320.61	c #Conflicts:     559000 | #Constraints:      31646
1316.20/1320.61	c #Conflicts:     560000 | #Constraints:      32646
1316.20/1320.61	c #Conflicts:     561000 | #Constraints:      33646
1316.20/1320.61	c INPROCESSING
1316.20/1320.61	c GARBAGE COLLECT
1316.20/1320.61	c #Conflicts:     562000 | #Constraints:      19846
1316.20/1320.61	c #Conflicts:     563000 | #Constraints:      20846
1316.20/1320.61	c #Conflicts:     564000 | #Constraints:      21846
1316.20/1320.61	c #Conflicts:     565000 | #Constraints:      22846
1316.20/1320.61	c #Conflicts:     566000 | #Constraints:      23846
1316.20/1320.61	c #Conflicts:     567000 | #Constraints:      24846
1316.20/1320.61	c #Conflicts:     568000 | #Constraints:      25846
1316.20/1320.61	c #Conflicts:     569000 | #Constraints:      26846
1316.20/1320.61	c #Conflicts:     570000 | #Constraints:      27846
1316.20/1320.61	c #Conflicts:     571000 | #Constraints:      28846
1316.20/1320.61	c #Conflicts:     572000 | #Constraints:      29846
1316.20/1320.61	c #Conflicts:     573000 | #Constraints:      30846
1316.20/1320.61	c #Conflicts:     574000 | #Constraints:      31846
1316.20/1320.61	c #Conflicts:     575000 | #Constraints:      32846
1316.20/1320.61	c #Conflicts:     576000 | #Constraints:      33846
1316.20/1320.61	c INPROCESSING
1316.20/1320.61	c GARBAGE COLLECT
1316.20/1320.61	c #Conflicts:     577000 | #Constraints:      19848
1316.20/1320.61	c #Conflicts:     578000 | #Constraints:      20848
1316.20/1320.61	c #Conflicts:     579000 | #Constraints:      21848
1316.20/1320.61	c #Conflicts:     580000 | #Constraints:      22848
1316.20/1320.61	c #Conflicts:     581000 | #Constraints:      23848
1316.20/1320.61	c #Conflicts:     582000 | #Constraints:      24848
1316.20/1320.61	c #Conflicts:     583000 | #Constraints:      25848
1316.20/1320.61	c #Conflicts:     584000 | #Constraints:      26848
1316.20/1320.61	c #Conflicts:     585000 | #Constraints:      27848
1316.20/1320.61	c #Conflicts:     586000 | #Constraints:      28848
1316.20/1320.61	c #Conflicts:     587000 | #Constraints:      29848
1479.91/1484.96	c #Conflicts:     588000 | #Constraints:      30848
1479.91/1484.96	c #Conflicts:     589000 | #Constraints:      31848
1479.91/1484.96	c #Conflicts:     590000 | #Constraints:      32848
1479.91/1484.96	c #Conflicts:     591000 | #Constraints:      33848
1479.91/1484.96	c INPROCESSING
1479.91/1484.96	c GARBAGE COLLECT
1479.91/1484.96	c #Conflicts:     592000 | #Constraints:      19646
1479.91/1484.96	c #Conflicts:     593000 | #Constraints:      20646
1479.91/1484.96	c #Conflicts:     594000 | #Constraints:      21646
1479.91/1484.96	c #Conflicts:     595000 | #Constraints:      22646
1479.91/1484.96	c #Conflicts:     596000 | #Constraints:      23646
1479.91/1484.96	c #Conflicts:     597000 | #Constraints:      24646
1479.91/1484.96	c #Conflicts:     598000 | #Constraints:      25646
1479.91/1484.96	c #Conflicts:     599000 | #Constraints:      26646
1479.91/1484.96	c #Conflicts:     600000 | #Constraints:      27646
1479.91/1484.96	c #Conflicts:     601000 | #Constraints:      28646
1479.91/1484.96	c #Conflicts:     602000 | #Constraints:      29646
1479.91/1484.96	c #Conflicts:     603000 | #Constraints:      30646
1479.91/1484.96	c #Conflicts:     604000 | #Constraints:      31646
1479.91/1484.96	c #Conflicts:     605000 | #Constraints:      32646
1479.91/1484.96	c #Conflicts:     606000 | #Constraints:      33646
1479.91/1484.96	c #Conflicts:     607000 | #Constraints:      34646
1479.91/1484.96	c INPROCESSING
1479.91/1484.96	c GARBAGE COLLECT
1479.91/1484.96	c #Conflicts:     608000 | #Constraints:      20249
1479.91/1484.96	c #Conflicts:     609000 | #Constraints:      21249
1479.91/1484.96	c #Conflicts:     610000 | #Constraints:      22249
1479.91/1484.96	c #Conflicts:     611000 | #Constraints:      23249
1479.91/1484.96	c #Conflicts:     612000 | #Constraints:      24249
1479.91/1484.96	c #Conflicts:     613000 | #Constraints:      25249
1479.91/1484.96	c #Conflicts:     614000 | #Constraints:      26249
1479.91/1484.96	c #Conflicts:     615000 | #Constraints:      27249
1479.91/1484.96	c #Conflicts:     616000 | #Constraints:      28249
1479.91/1484.96	c #Conflicts:     617000 | #Constraints:      29249
1479.91/1484.96	c #Conflicts:     618000 | #Constraints:      30249
1479.91/1484.96	c #Conflicts:     619000 | #Constraints:      31249
1479.91/1484.96	c #Conflicts:     620000 | #Constraints:      32249
1479.91/1484.96	c #Conflicts:     621000 | #Constraints:      33249
1479.91/1484.96	c #Conflicts:     622000 | #Constraints:      34249
1479.91/1484.96	c #Conflicts:     623000 | #Constraints:      35249
1479.91/1484.96	c INPROCESSING
1479.91/1484.96	c GARBAGE COLLECT
1479.91/1484.96	c #Conflicts:     624000 | #Constraints:      20648
1479.91/1484.96	c #Conflicts:     625000 | #Constraints:      21648
1479.91/1484.96	c #Conflicts:     626000 | #Constraints:      22648
1479.91/1484.96	c #Conflicts:     627000 | #Constraints:      23648
1479.91/1484.96	c #Conflicts:     628000 | #Constraints:      24648
1479.91/1484.96	c #Conflicts:     629000 | #Constraints:      25648
1479.91/1484.96	c #Conflicts:     630000 | #Constraints:      26648
1479.91/1484.96	c #Conflicts:     631000 | #Constraints:      27648
1479.91/1484.96	c #Conflicts:     632000 | #Constraints:      28648
1479.91/1484.96	c #Conflicts:     633000 | #Constraints:      29648
1479.91/1484.96	c #Conflicts:     634000 | #Constraints:      30648
1479.91/1484.96	c #Conflicts:     635000 | #Constraints:      31648
1479.91/1484.96	c #Conflicts:     636000 | #Constraints:      32648
1479.91/1484.96	c #Conflicts:     637000 | #Constraints:      33648
1479.91/1484.96	c #Conflicts:     638000 | #Constraints:      34648
1479.91/1484.96	c #Conflicts:     639000 | #Constraints:      35648
1479.91/1484.96	c INPROCESSING
1479.91/1484.96	c GARBAGE COLLECT
1479.91/1484.96	c #Conflicts:     640000 | #Constraints:      20846
1479.91/1484.96	c #Conflicts:     641000 | #Constraints:      21846
1479.91/1484.96	c #Conflicts:     642000 | #Constraints:      22846
1479.91/1484.96	c #Conflicts:     643000 | #Constraints:      23846
1479.91/1484.96	c #Conflicts:     644000 | #Constraints:      24846
1479.91/1484.96	c #Conflicts:     645000 | #Constraints:      25846
1479.91/1484.96	c #Conflicts:     646000 | #Constraints:      26846
1479.91/1484.96	c #Conflicts:     647000 | #Constraints:      27846
1479.91/1484.96	c #Conflicts:     648000 | #Constraints:      28846
1479.91/1484.96	c #Conflicts:     649000 | #Constraints:      29846
1479.91/1484.96	c #Conflicts:     650000 | #Constraints:      30846
1479.91/1484.96	c #Conflicts:     651000 | #Constraints:      31846
1479.91/1484.96	c #Conflicts:     652000 | #Constraints:      32846
1479.91/1484.96	c #Conflicts:     653000 | #Constraints:      33846
1479.91/1484.96	c #Conflicts:     654000 | #Constraints:      34846
1479.91/1484.96	c #Conflicts:     655000 | #Constraints:      35846
1479.91/1484.96	c INPROCESSING
1479.91/1484.96	c GARBAGE COLLECT
1479.91/1484.96	c #Conflicts:     656000 | #Constraints:      20847
1479.91/1484.96	c #Conflicts:     657000 | #Constraints:      21847
1479.91/1484.96	c #Conflicts:     658000 | #Constraints:      22847
1479.91/1484.96	c #Conflicts:     659000 | #Constraints:      23847
1479.91/1484.96	c #Conflicts:     660000 | #Constraints:      24847
1479.91/1484.96	c #Conflicts:     661000 | #Constraints:      25847
1479.91/1484.96	c #Conflicts:     662000 | #Constraints:      26847
1479.91/1484.96	c #Conflicts:     663000 | #Constraints:      27847
1627.59/1633.14	c #Conflicts:     664000 | #Constraints:      28847
1627.59/1633.14	c #Conflicts:     665000 | #Constraints:      29847
1627.59/1633.14	c #Conflicts:     666000 | #Constraints:      30847
1627.59/1633.14	c #Conflicts:     667000 | #Constraints:      31847
1627.59/1633.14	c #Conflicts:     668000 | #Constraints:      32847
1627.59/1633.14	c #Conflicts:     669000 | #Constraints:      33847
1627.59/1633.14	c #Conflicts:     670000 | #Constraints:      34847
1627.59/1633.14	c #Conflicts:     671000 | #Constraints:      35847
1627.59/1633.14	c INPROCESSING
1627.59/1633.14	c GARBAGE COLLECT
1627.59/1633.14	c #Conflicts:     672000 | #Constraints:      20645
1627.59/1633.14	c #Conflicts:     673000 | #Constraints:      21645
1627.59/1633.14	c #Conflicts:     674000 | #Constraints:      22645
1627.59/1633.14	c #Conflicts:     675000 | #Constraints:      23645
1627.59/1633.14	c #Conflicts:     676000 | #Constraints:      24645
1627.59/1633.14	c #Conflicts:     677000 | #Constraints:      25645
1627.59/1633.14	c #Conflicts:     678000 | #Constraints:      26645
1627.59/1633.14	c #Conflicts:     679000 | #Constraints:      27645
1627.59/1633.14	c #Conflicts:     680000 | #Constraints:      28645
1627.59/1633.14	c #Conflicts:     681000 | #Constraints:      29645
1627.59/1633.14	c #Conflicts:     682000 | #Constraints:      30645
1627.59/1633.14	c #Conflicts:     683000 | #Constraints:      31645
1627.59/1633.14	c #Conflicts:     684000 | #Constraints:      32645
1627.59/1633.14	c #Conflicts:     685000 | #Constraints:      33645
1627.59/1633.14	c #Conflicts:     686000 | #Constraints:      34645
1627.59/1633.14	c #Conflicts:     687000 | #Constraints:      35645
1627.59/1633.14	c #Conflicts:     688000 | #Constraints:      36645
1627.59/1633.14	c INPROCESSING
1627.59/1633.14	c GARBAGE COLLECT
1627.59/1633.14	c #Conflicts:     689000 | #Constraints:      21241
1627.59/1633.14	c #Conflicts:     690000 | #Constraints:      22241
1627.59/1633.14	c #Conflicts:     691000 | #Constraints:      23241
1627.59/1633.14	c #Conflicts:     692000 | #Constraints:      24241
1627.59/1633.14	c #Conflicts:     693000 | #Constraints:      25241
1627.59/1633.14	c #Conflicts:     694000 | #Constraints:      26241
1627.59/1633.14	c #Conflicts:     695000 | #Constraints:      27241
1627.59/1633.14	c #Conflicts:     696000 | #Constraints:      28241
1627.59/1633.14	c #Conflicts:     697000 | #Constraints:      29241
1627.59/1633.14	c #Conflicts:     698000 | #Constraints:      30241
1627.59/1633.14	c #Conflicts:     699000 | #Constraints:      31241
1627.59/1633.14	c #Conflicts:     700000 | #Constraints:      32241
1627.59/1633.14	c #Conflicts:     701000 | #Constraints:      33241
1627.59/1633.14	c #Conflicts:     702000 | #Constraints:      34241
1627.59/1633.14	c #Conflicts:     703000 | #Constraints:      35241
1627.59/1633.14	c #Conflicts:     704000 | #Constraints:      36241
1627.59/1633.14	c #Conflicts:     705000 | #Constraints:      37241
1627.59/1633.14	c INPROCESSING
1627.59/1633.14	c GARBAGE COLLECT
1627.59/1633.14	c #Conflicts:     706000 | #Constraints:      21650
1627.59/1633.14	c #Conflicts:     707000 | #Constraints:      22650
1627.59/1633.14	c #Conflicts:     708000 | #Constraints:      23650
1627.59/1633.14	c #Conflicts:     709000 | #Constraints:      24650
1627.59/1633.14	c #Conflicts:     710000 | #Constraints:      25650
1627.59/1633.14	c #Conflicts:     711000 | #Constraints:      26650
1627.59/1633.14	c #Conflicts:     712000 | #Constraints:      27650
1627.59/1633.14	c #Conflicts:     713000 | #Constraints:      28650
1627.59/1633.14	c #Conflicts:     714000 | #Constraints:      29650
1627.59/1633.14	c #Conflicts:     715000 | #Constraints:      30650
1627.59/1633.14	c #Conflicts:     716000 | #Constraints:      31650
1627.59/1633.14	c #Conflicts:     717000 | #Constraints:      32650
1627.59/1633.14	c #Conflicts:     718000 | #Constraints:      33650
1627.59/1633.14	c #Conflicts:     719000 | #Constraints:      34650
1627.59/1633.14	c #Conflicts:     720000 | #Constraints:      35650
1627.59/1633.14	c #Conflicts:     721000 | #Constraints:      36650
1627.59/1633.14	c #Conflicts:     722000 | #Constraints:      37650
1627.59/1633.14	c INPROCESSING
1627.59/1633.14	c GARBAGE COLLECT
1627.59/1633.14	c #Conflicts:     723000 | #Constraints:      21847
1627.59/1633.14	c #Conflicts:     724000 | #Constraints:      22847
1627.59/1633.14	c #Conflicts:     725000 | #Constraints:      23847
1627.59/1633.14	c #Conflicts:     726000 | #Constraints:      24847
1627.59/1633.14	c #Conflicts:     727000 | #Constraints:      25847
1627.59/1633.14	c #Conflicts:     728000 | #Constraints:      26847
1627.59/1633.14	c #Conflicts:     729000 | #Constraints:      27847
1627.59/1633.14	c #Conflicts:     730000 | #Constraints:      28847
1627.59/1633.14	c #Conflicts:     731000 | #Constraints:      29847
1627.59/1633.14	c #Conflicts:     732000 | #Constraints:      30847
1627.59/1633.14	c #Conflicts:     733000 | #Constraints:      31847
1627.59/1633.14	c #Conflicts:     734000 | #Constraints:      32847
1627.59/1633.14	c #Conflicts:     735000 | #Constraints:      33847
1627.59/1633.14	c #Conflicts:     736000 | #Constraints:      34847
1627.59/1633.14	c #Conflicts:     737000 | #Constraints:      35847
1627.59/1633.14	c #Conflicts:     738000 | #Constraints:      36847
1627.59/1633.14	c #Conflicts:     739000 | #Constraints:      37847
1810.73/1816.99	c INPROCESSING
1810.73/1816.99	c GARBAGE COLLECT
1810.73/1816.99	c #Conflicts:     740000 | #Constraints:      21837
1810.73/1816.99	c #Conflicts:     741000 | #Constraints:      22837
1810.73/1816.99	c #Conflicts:     742000 | #Constraints:      23837
1810.73/1816.99	c #Conflicts:     743000 | #Constraints:      24837
1810.73/1816.99	c #Conflicts:     744000 | #Constraints:      25837
1810.73/1816.99	c #Conflicts:     745000 | #Constraints:      26837
1810.73/1816.99	c #Conflicts:     746000 | #Constraints:      27837
1810.73/1816.99	c #Conflicts:     747000 | #Constraints:      28837
1810.73/1816.99	c #Conflicts:     748000 | #Constraints:      29837
1810.73/1816.99	c #Conflicts:     749000 | #Constraints:      30837
1810.73/1816.99	c #Conflicts:     750000 | #Constraints:      31837
1810.73/1816.99	c #Conflicts:     751000 | #Constraints:      32837
1810.73/1816.99	c #Conflicts:     752000 | #Constraints:      33837
1810.73/1816.99	c #Conflicts:     753000 | #Constraints:      34837
1810.73/1816.99	c #Conflicts:     754000 | #Constraints:      35837
1810.73/1816.99	c #Conflicts:     755000 | #Constraints:      36837
1810.73/1816.99	c #Conflicts:     756000 | #Constraints:      37837
1810.73/1816.99	c INPROCESSING
1810.73/1816.99	c GARBAGE COLLECT
1810.73/1816.99	c #Conflicts:     757000 | #Constraints:      21639
1810.73/1816.99	c #Conflicts:     758000 | #Constraints:      22639
1810.73/1816.99	c #Conflicts:     759000 | #Constraints:      23639
1810.73/1816.99	c #Conflicts:     760000 | #Constraints:      24639
1810.73/1816.99	c #Conflicts:     761000 | #Constraints:      25639
1810.73/1816.99	c #Conflicts:     762000 | #Constraints:      26639
1810.73/1816.99	c #Conflicts:     763000 | #Constraints:      27639
1810.73/1816.99	c #Conflicts:     764000 | #Constraints:      28639
1810.73/1816.99	c #Conflicts:     765000 | #Constraints:      29639
1810.73/1816.99	c #Conflicts:     766000 | #Constraints:      30639
1810.73/1816.99	c #Conflicts:     767000 | #Constraints:      31639
1810.73/1816.99	c #Conflicts:     768000 | #Constraints:      32639
1810.73/1816.99	c #Conflicts:     769000 | #Constraints:      33639
1810.73/1816.99	c #Conflicts:     770000 | #Constraints:      34639
1810.73/1816.99	c #Conflicts:     771000 | #Constraints:      35639
1810.73/1816.99	c #Conflicts:     772000 | #Constraints:      36639
1810.73/1816.99	c #Conflicts:     773000 | #Constraints:      37639
1810.73/1816.99	c #Conflicts:     774000 | #Constraints:      38639
1810.73/1816.99	c INPROCESSING
1810.73/1816.99	c GARBAGE COLLECT
1810.73/1816.99	c #Conflicts:     775000 | #Constraints:      22245
1810.73/1816.99	c #Conflicts:     776000 | #Constraints:      23245
1810.73/1816.99	c #Conflicts:     777000 | #Constraints:      24245
1810.73/1816.99	c #Conflicts:     778000 | #Constraints:      25245
1810.73/1816.99	c #Conflicts:     779000 | #Constraints:      26245
1810.73/1816.99	c #Conflicts:     780000 | #Constraints:      27245
1810.73/1816.99	c #Conflicts:     781000 | #Constraints:      28245
1810.73/1816.99	c #Conflicts:     782000 | #Constraints:      29245
1810.73/1816.99	c #Conflicts:     783000 | #Constraints:      30245
1810.73/1816.99	c #Conflicts:     784000 | #Constraints:      31245
1810.73/1816.99	c #Conflicts:     785000 | #Constraints:      32245
1810.73/1816.99	c #Conflicts:     786000 | #Constraints:      33245
1810.73/1816.99	c #Conflicts:     787000 | #Constraints:      34245
1810.73/1816.99	c #Conflicts:     788000 | #Constraints:      35245
1810.73/1816.99	c #Conflicts:     789000 | #Constraints:      36245
1810.73/1816.99	c #Conflicts:     790000 | #Constraints:      37245
1810.73/1816.99	c #Conflicts:     791000 | #Constraints:      38245
1810.73/1816.99	c #Conflicts:     792000 | #Constraints:      39245
1810.73/1816.99	c INPROCESSING
1810.73/1816.99	c GARBAGE COLLECT
1810.73/1816.99	c #Conflicts:     793000 | #Constraints:      22651
1810.73/1816.99	c #Conflicts:     794000 | #Constraints:      23651
1810.73/1816.99	c #Conflicts:     795000 | #Constraints:      24651
1810.73/1816.99	c #Conflicts:     796000 | #Constraints:      25651
1810.73/1816.99	c #Conflicts:     797000 | #Constraints:      26651
1810.73/1816.99	c #Conflicts:     798000 | #Constraints:      27651
1810.73/1816.99	c #Conflicts:     799000 | #Constraints:      28651
1810.73/1816.99	c #Conflicts:     800000 | #Constraints:      29651
1810.73/1816.99	c #Conflicts:     801000 | #Constraints:      30651
1810.73/1816.99	c #Conflicts:     802000 | #Constraints:      31651
1810.73/1816.99	c #Conflicts:     803000 | #Constraints:      32651
1810.73/1816.99	c #Conflicts:     804000 | #Constraints:      33651
1810.73/1816.99	c #Conflicts:     805000 | #Constraints:      34651
1810.73/1816.99	c #Conflicts:     806000 | #Constraints:      35651
1810.73/1816.99	c #Conflicts:     807000 | #Constraints:      36651
1810.73/1816.99	c #Conflicts:     808000 | #Constraints:      37651
1810.73/1816.99	c #Conflicts:     809000 | #Constraints:      38651
1810.73/1816.99	c #Conflicts:     810000 | #Constraints:      39651
1810.73/1816.99	c INPROCESSING
1810.73/1816.99	c GARBAGE COLLECT
1810.73/1816.99	c #Conflicts:     811000 | #Constraints:      22846
1810.73/1816.99	c #Conflicts:     812000 | #Constraints:      23846
1810.73/1816.99	c #Conflicts:     813000 | #Constraints:      24846
1810.73/1816.99	c #Conflicts:     814000 | #Constraints:      25846
2097.30/2104.56	c #Conflicts:     815000 | #Constraints:      26846
2097.30/2104.56	c #Conflicts:     816000 | #Constraints:      27846
2097.30/2104.56	c #Conflicts:     817000 | #Constraints:      28846
2097.30/2104.56	c #Conflicts:     818000 | #Constraints:      29846
2097.30/2104.56	c #Conflicts:     819000 | #Constraints:      30846
2097.30/2104.56	c #Conflicts:     820000 | #Constraints:      31846
2097.30/2104.56	c #Conflicts:     821000 | #Constraints:      32846
2097.30/2104.56	c #Conflicts:     822000 | #Constraints:      33846
2097.30/2104.56	c #Conflicts:     823000 | #Constraints:      34846
2097.30/2104.56	c #Conflicts:     824000 | #Constraints:      35846
2097.30/2104.56	c #Conflicts:     825000 | #Constraints:      36846
2097.30/2104.56	c #Conflicts:     826000 | #Constraints:      37846
2097.30/2104.56	c #Conflicts:     827000 | #Constraints:      38846
2097.30/2104.56	c #Conflicts:     828000 | #Constraints:      39846
2097.30/2104.56	c INPROCESSING
2097.30/2104.56	c GARBAGE COLLECT
2097.30/2104.56	c #Conflicts:     829000 | #Constraints:      22843
2097.30/2104.56	c #Conflicts:     830000 | #Constraints:      23843
2097.30/2104.56	c #Conflicts:     831000 | #Constraints:      24843
2097.30/2104.56	c #Conflicts:     832000 | #Constraints:      25843
2097.30/2104.56	c #Conflicts:     833000 | #Constraints:      26843
2097.30/2104.56	c #Conflicts:     834000 | #Constraints:      27843
2097.30/2104.56	c #Conflicts:     835000 | #Constraints:      28843
2097.30/2104.56	c #Conflicts:     836000 | #Constraints:      29843
2097.30/2104.56	c #Conflicts:     837000 | #Constraints:      30843
2097.30/2104.56	c #Conflicts:     838000 | #Constraints:      31843
2097.30/2104.56	c #Conflicts:     839000 | #Constraints:      32843
2097.30/2104.56	c #Conflicts:     840000 | #Constraints:      33843
2097.30/2104.56	c #Conflicts:     841000 | #Constraints:      34843
2097.30/2104.56	c #Conflicts:     842000 | #Constraints:      35843
2097.30/2104.56	c #Conflicts:     843000 | #Constraints:      36843
2097.30/2104.56	c #Conflicts:     844000 | #Constraints:      37843
2097.30/2104.56	c #Conflicts:     845000 | #Constraints:      38843
2097.30/2104.56	c #Conflicts:     846000 | #Constraints:      39843
2097.30/2104.56	c INPROCESSING
2097.30/2104.56	c GARBAGE COLLECT
2097.30/2104.56	c #Conflicts:     847000 | #Constraints:      22648
2097.30/2104.56	c #Conflicts:     848000 | #Constraints:      23648
2097.30/2104.56	c #Conflicts:     849000 | #Constraints:      24648
2097.30/2104.56	c #Conflicts:     850000 | #Constraints:      25648
2097.30/2104.56	c #Conflicts:     851000 | #Constraints:      26648
2097.30/2104.56	c #Conflicts:     852000 | #Constraints:      27648
2097.30/2104.56	c #Conflicts:     853000 | #Constraints:      28648
2097.30/2104.56	c #Conflicts:     854000 | #Constraints:      29648
2097.30/2104.56	c #Conflicts:     855000 | #Constraints:      30648
2097.30/2104.56	c #Conflicts:     856000 | #Constraints:      31648
2097.30/2104.56	c #Conflicts:     857000 | #Constraints:      32648
2097.30/2104.56	c #Conflicts:     858000 | #Constraints:      33648
2097.30/2104.56	c #Conflicts:     859000 | #Constraints:      34648
2097.30/2104.56	c #Conflicts:     860000 | #Constraints:      35648
2097.30/2104.56	c #Conflicts:     861000 | #Constraints:      36648
2097.30/2104.56	c #Conflicts:     862000 | #Constraints:      37648
2097.30/2104.56	c #Conflicts:     863000 | #Constraints:      38648
2097.30/2104.56	c #Conflicts:     864000 | #Constraints:      39648
2097.30/2104.56	c #Conflicts:     865000 | #Constraints:      40648
2097.30/2104.56	c INPROCESSING
2097.30/2104.56	c GARBAGE COLLECT
2097.30/2104.56	c #Conflicts:     866000 | #Constraints:      23242
2097.30/2104.56	c #Conflicts:     867000 | #Constraints:      24242
2097.30/2104.56	c #Conflicts:     868000 | #Constraints:      25242
2097.30/2104.56	c #Conflicts:     869000 | #Constraints:      26242
2097.30/2104.56	c #Conflicts:     870000 | #Constraints:      27242
2097.30/2104.56	c #Conflicts:     871000 | #Constraints:      28242
2097.30/2104.56	c #Conflicts:     872000 | #Constraints:      29242
2097.30/2104.56	c #Conflicts:     873000 | #Constraints:      30242
2097.30/2104.56	c #Conflicts:     874000 | #Constraints:      31242
2097.30/2104.56	c #Conflicts:     875000 | #Constraints:      32242
2097.30/2104.56	c #Conflicts:     876000 | #Constraints:      33242
2097.30/2104.56	c #Conflicts:     877000 | #Constraints:      34242
2097.30/2104.56	c #Conflicts:     878000 | #Constraints:      35242
2097.30/2104.56	c #Conflicts:     879000 | #Constraints:      36242
2097.30/2104.56	c #Conflicts:     880000 | #Constraints:      37242
2097.30/2104.56	c #Conflicts:     881000 | #Constraints:      38242
2097.30/2104.56	c #Conflicts:     882000 | #Constraints:      39242
2097.30/2104.56	c #Conflicts:     883000 | #Constraints:      40242
2097.30/2104.56	c #Conflicts:     884000 | #Constraints:      41242
2097.30/2104.56	c INPROCESSING
2097.30/2104.56	c GARBAGE COLLECT
2097.30/2104.56	c #Conflicts:     885000 | #Constraints:      23656
2097.30/2104.56	c #Conflicts:     886000 | #Constraints:      24656
2097.30/2104.56	c #Conflicts:     887000 | #Constraints:      25656
2097.30/2104.56	c #Conflicts:     888000 | #Constraints:      26656
2097.30/2104.56	c #Conflicts:     889000 | #Constraints:      27656
2097.30/2104.56	c #Conflicts:     890000 | #Constraints:      28656
2097.30/2104.56	c #Conflicts:     891000 | #Constraints:      29656
2327.94/2335.90	c #Conflicts:     892000 | #Constraints:      30656
2327.94/2335.90	c #Conflicts:     893000 | #Constraints:      31656
2327.94/2335.90	c #Conflicts:     894000 | #Constraints:      32656
2327.94/2335.90	c #Conflicts:     895000 | #Constraints:      33656
2327.94/2335.90	c #Conflicts:     896000 | #Constraints:      34656
2327.94/2335.90	c #Conflicts:     897000 | #Constraints:      35656
2327.94/2335.90	c #Conflicts:     898000 | #Constraints:      36656
2327.94/2335.90	c #Conflicts:     899000 | #Constraints:      37656
2327.94/2335.90	c #Conflicts:     900000 | #Constraints:      38656
2327.94/2335.90	c #Conflicts:     901000 | #Constraints:      39656
2327.94/2335.90	c #Conflicts:     902000 | #Constraints:      40656
2327.94/2335.90	c #Conflicts:     903000 | #Constraints:      41656
2327.94/2335.90	c INPROCESSING
2327.94/2335.90	c GARBAGE COLLECT
2327.94/2335.90	c #Conflicts:     904000 | #Constraints:      23854
2327.94/2335.90	c #Conflicts:     905000 | #Constraints:      24854
2327.94/2335.90	c #Conflicts:     906000 | #Constraints:      25854
2327.94/2335.90	c #Conflicts:     907000 | #Constraints:      26854
2327.94/2335.90	c #Conflicts:     908000 | #Constraints:      27854
2327.94/2335.90	c #Conflicts:     909000 | #Constraints:      28854
2327.94/2335.90	c #Conflicts:     910000 | #Constraints:      29854
2327.94/2335.90	c #Conflicts:     911000 | #Constraints:      30854
2327.94/2335.90	c #Conflicts:     912000 | #Constraints:      31854
2327.94/2335.90	c #Conflicts:     913000 | #Constraints:      32854
2327.94/2335.90	c #Conflicts:     914000 | #Constraints:      33854
2327.94/2335.90	c #Conflicts:     915000 | #Constraints:      34854
2327.94/2335.90	c #Conflicts:     916000 | #Constraints:      35854
2327.94/2335.90	c #Conflicts:     917000 | #Constraints:      36854
2327.94/2335.90	c #Conflicts:     918000 | #Constraints:      37854
2327.94/2335.90	c #Conflicts:     919000 | #Constraints:      38854
2327.94/2335.90	c #Conflicts:     920000 | #Constraints:      39854
2327.94/2335.90	c #Conflicts:     921000 | #Constraints:      40854
2327.94/2335.90	c #Conflicts:     922000 | #Constraints:      41854
2327.94/2335.90	c INPROCESSING
2327.94/2335.90	c GARBAGE COLLECT
2327.94/2335.90	c #Conflicts:     923000 | #Constraints:      23853
2327.94/2335.90	c #Conflicts:     924000 | #Constraints:      24853
2327.94/2335.90	c #Conflicts:     925000 | #Constraints:      25853
2327.94/2335.90	c #Conflicts:     926000 | #Constraints:      26853
2327.94/2335.90	c #Conflicts:     927000 | #Constraints:      27853
2327.94/2335.90	c #Conflicts:     928000 | #Constraints:      28853
2327.94/2335.90	c #Conflicts:     929000 | #Constraints:      29853
2327.94/2335.90	c #Conflicts:     930000 | #Constraints:      30853
2327.94/2335.90	c #Conflicts:     931000 | #Constraints:      31853
2327.94/2335.90	c #Conflicts:     932000 | #Constraints:      32853
2327.94/2335.90	c #Conflicts:     933000 | #Constraints:      33853
2327.94/2335.90	c #Conflicts:     934000 | #Constraints:      34853
2327.94/2335.90	c #Conflicts:     935000 | #Constraints:      35853
2327.94/2335.90	c #Conflicts:     936000 | #Constraints:      36853
2327.94/2335.90	c #Conflicts:     937000 | #Constraints:      37853
2327.94/2335.90	c #Conflicts:     938000 | #Constraints:      38853
2327.94/2335.90	c #Conflicts:     939000 | #Constraints:      39853
2327.94/2335.90	c #Conflicts:     940000 | #Constraints:      40853
2327.94/2335.90	c #Conflicts:     941000 | #Constraints:      41853
2327.94/2335.90	c INPROCESSING
2327.94/2335.90	c GARBAGE COLLECT
2327.94/2335.90	c #Conflicts:     942000 | #Constraints:      23658
2327.94/2335.90	c #Conflicts:     943000 | #Constraints:      24658
2327.94/2335.90	c #Conflicts:     944000 | #Constraints:      25658
2327.94/2335.90	c #Conflicts:     945000 | #Constraints:      26658
2327.94/2335.90	c #Conflicts:     946000 | #Constraints:      27658
2327.94/2335.90	c #Conflicts:     947000 | #Constraints:      28658
2327.94/2335.90	c #Conflicts:     948000 | #Constraints:      29658
2327.94/2335.90	c #Conflicts:     949000 | #Constraints:      30658
2327.94/2335.90	c #Conflicts:     950000 | #Constraints:      31658
2327.94/2335.90	c #Conflicts:     951000 | #Constraints:      32658
2327.94/2335.90	c #Conflicts:     952000 | #Constraints:      33658
2327.94/2335.90	c #Conflicts:     953000 | #Constraints:      34658
2327.94/2335.90	c #Conflicts:     954000 | #Constraints:      35658
2327.94/2335.90	c #Conflicts:     955000 | #Constraints:      36658
2327.94/2335.90	c #Conflicts:     956000 | #Constraints:      37658
2327.94/2335.90	c #Conflicts:     957000 | #Constraints:      38658
2327.94/2335.90	c #Conflicts:     958000 | #Constraints:      39658
2327.94/2335.90	c #Conflicts:     959000 | #Constraints:      40658
2327.94/2335.90	c #Conflicts:     960000 | #Constraints:      41658
2327.94/2335.90	c #Conflicts:     961000 | #Constraints:      42658
2327.94/2335.90	c INPROCESSING
2327.94/2335.90	c GARBAGE COLLECT
2327.94/2335.90	c #Conflicts:     962000 | #Constraints:      24253
2327.94/2335.90	c #Conflicts:     963000 | #Constraints:      25253
2327.94/2335.90	c #Conflicts:     964000 | #Constraints:      26253
2327.94/2335.90	c #Conflicts:     965000 | #Constraints:      27253
2327.94/2335.90	c #Conflicts:     966000 | #Constraints:      28253
2327.94/2335.90	c #Conflicts:     967000 | #Constraints:      29253
2630.57/2639.54	c #Conflicts:     968000 | #Constraints:      30253
2630.57/2639.54	c #Conflicts:     969000 | #Constraints:      31253
2630.57/2639.54	c #Conflicts:     970000 | #Constraints:      32253
2630.57/2639.54	c #Conflicts:     971000 | #Constraints:      33253
2630.57/2639.54	c #Conflicts:     972000 | #Constraints:      34253
2630.57/2639.54	c #Conflicts:     973000 | #Constraints:      35253
2630.57/2639.54	c #Conflicts:     974000 | #Constraints:      36253
2630.57/2639.54	c #Conflicts:     975000 | #Constraints:      37253
2630.57/2639.54	c #Conflicts:     976000 | #Constraints:      38253
2630.57/2639.54	c #Conflicts:     977000 | #Constraints:      39253
2630.57/2639.54	c #Conflicts:     978000 | #Constraints:      40253
2630.57/2639.54	c #Conflicts:     979000 | #Constraints:      41253
2630.57/2639.54	c #Conflicts:     980000 | #Constraints:      42253
2630.57/2639.54	c #Conflicts:     981000 | #Constraints:      43253
2630.57/2639.54	c INPROCESSING
2630.57/2639.54	c GARBAGE COLLECT
2630.57/2639.54	c #Conflicts:     982000 | #Constraints:      24656
2630.57/2639.54	c #Conflicts:     983000 | #Constraints:      25656
2630.57/2639.54	c #Conflicts:     984000 | #Constraints:      26656
2630.57/2639.54	c #Conflicts:     985000 | #Constraints:      27656
2630.57/2639.54	c #Conflicts:     986000 | #Constraints:      28656
2630.57/2639.54	c #Conflicts:     987000 | #Constraints:      29656
2630.57/2639.54	c #Conflicts:     988000 | #Constraints:      30656
2630.57/2639.54	c #Conflicts:     989000 | #Constraints:      31656
2630.57/2639.54	c #Conflicts:     990000 | #Constraints:      32656
2630.57/2639.54	c #Conflicts:     991000 | #Constraints:      33656
2630.57/2639.54	c #Conflicts:     992000 | #Constraints:      34656
2630.57/2639.54	c #Conflicts:     993000 | #Constraints:      35656
2630.57/2639.54	c #Conflicts:     994000 | #Constraints:      36656
2630.57/2639.54	c #Conflicts:     995000 | #Constraints:      37656
2630.57/2639.54	c #Conflicts:     996000 | #Constraints:      38656
2630.57/2639.54	c #Conflicts:     997000 | #Constraints:      39656
2630.57/2639.54	c #Conflicts:     998000 | #Constraints:      40656
2630.57/2639.54	c #Conflicts:     999000 | #Constraints:      41656
2630.57/2639.54	c #Conflicts:    1000000 | #Constraints:      42656
2630.57/2639.54	c #Conflicts:    1001000 | #Constraints:      43656
2630.57/2639.54	c INPROCESSING
2630.57/2639.54	c GARBAGE COLLECT
2630.57/2639.54	c #Conflicts:    1002000 | #Constraints:      24858
2630.57/2639.54	c #Conflicts:    1003000 | #Constraints:      25858
2630.57/2639.54	c #Conflicts:    1004000 | #Constraints:      26858
2630.57/2639.54	c #Conflicts:    1005000 | #Constraints:      27858
2630.57/2639.54	c #Conflicts:    1006000 | #Constraints:      28858
2630.57/2639.54	c #Conflicts:    1007000 | #Constraints:      29858
2630.57/2639.54	c #Conflicts:    1008000 | #Constraints:      30858
2630.57/2639.54	c #Conflicts:    1009000 | #Constraints:      31858
2630.57/2639.54	c #Conflicts:    1010000 | #Constraints:      32858
2630.57/2639.54	c #Conflicts:    1011000 | #Constraints:      33858
2630.57/2639.54	c #Conflicts:    1012000 | #Constraints:      34858
2630.57/2639.54	c #Conflicts:    1013000 | #Constraints:      35858
2630.57/2639.54	c #Conflicts:    1014000 | #Constraints:      36858
2630.57/2639.54	c #Conflicts:    1015000 | #Constraints:      37858
2630.57/2639.54	c #Conflicts:    1016000 | #Constraints:      38858
2630.57/2639.54	c #Conflicts:    1017000 | #Constraints:      39858
2630.57/2639.54	c #Conflicts:    1018000 | #Constraints:      40858
2630.57/2639.54	c #Conflicts:    1019000 | #Constraints:      41858
2630.57/2639.54	c #Conflicts:    1020000 | #Constraints:      42858
2630.57/2639.54	c #Conflicts:    1021000 | #Constraints:      43858
2630.57/2639.54	c INPROCESSING
2630.57/2639.54	c GARBAGE COLLECT
2630.57/2639.54	c #Conflicts:    1022000 | #Constraints:      24874
2630.57/2639.54	c #Conflicts:    1023000 | #Constraints:      25874
2630.57/2639.54	c #Conflicts:    1024000 | #Constraints:      26874
2630.57/2639.54	c #Conflicts:    1025000 | #Constraints:      27874
2630.57/2639.54	c #Conflicts:    1026000 | #Constraints:      28874
2630.57/2639.54	c #Conflicts:    1027000 | #Constraints:      29874
2630.57/2639.54	c #Conflicts:    1028000 | #Constraints:      30874
2630.57/2639.54	c #Conflicts:    1029000 | #Constraints:      31874
2630.57/2639.54	c #Conflicts:    1030000 | #Constraints:      32874
2630.57/2639.54	c #Conflicts:    1031000 | #Constraints:      33874
2630.57/2639.54	c #Conflicts:    1032000 | #Constraints:      34874
2630.57/2639.54	c #Conflicts:    1033000 | #Constraints:      35874
2630.57/2639.54	c #Conflicts:    1034000 | #Constraints:      36874
2630.57/2639.54	c #Conflicts:    1035000 | #Constraints:      37874
2630.57/2639.54	c #Conflicts:    1036000 | #Constraints:      38874
2630.57/2639.54	c #Conflicts:    1037000 | #Constraints:      39874
2630.57/2639.54	c #Conflicts:    1038000 | #Constraints:      40874
2630.57/2639.54	c #Conflicts:    1039000 | #Constraints:      41874
2630.57/2639.54	c #Conflicts:    1040000 | #Constraints:      42874
2630.57/2639.54	c #Conflicts:    1041000 | #Constraints:      43874
2630.57/2639.54	c INPROCESSING
2630.57/2639.54	c GARBAGE COLLECT
2630.57/2639.54	c #Conflicts:    1042000 | #Constraints:      24678
2630.57/2639.54	c #Conflicts:    1043000 | #Constraints:      25678
2955.42/2965.40	c #Conflicts:    1044000 | #Constraints:      26678
2955.42/2965.40	c #Conflicts:    1045000 | #Constraints:      27678
2955.42/2965.40	c #Conflicts:    1046000 | #Constraints:      28678
2955.42/2965.40	c #Conflicts:    1047000 | #Constraints:      29678
2955.42/2965.40	c #Conflicts:    1048000 | #Constraints:      30678
2955.42/2965.40	c #Conflicts:    1049000 | #Constraints:      31678
2955.42/2965.40	c #Conflicts:    1050000 | #Constraints:      32678
2955.42/2965.40	c #Conflicts:    1051000 | #Constraints:      33678
2955.42/2965.40	c #Conflicts:    1052000 | #Constraints:      34678
2955.42/2965.40	c #Conflicts:    1053000 | #Constraints:      35678
2955.42/2965.40	c #Conflicts:    1054000 | #Constraints:      36678
2955.42/2965.40	c #Conflicts:    1055000 | #Constraints:      37678
2955.42/2965.40	c #Conflicts:    1056000 | #Constraints:      38678
2955.42/2965.40	c #Conflicts:    1057000 | #Constraints:      39678
2955.42/2965.40	c #Conflicts:    1058000 | #Constraints:      40678
2955.42/2965.40	c #Conflicts:    1059000 | #Constraints:      41678
2955.42/2965.40	c #Conflicts:    1060000 | #Constraints:      42678
2955.42/2965.40	c #Conflicts:    1061000 | #Constraints:      43678
2955.42/2965.40	c #Conflicts:    1062000 | #Constraints:      44678
2955.42/2965.40	c INPROCESSING
2955.42/2965.40	c GARBAGE COLLECT
2955.42/2965.40	c #Conflicts:    1063000 | #Constraints:      25270
2955.42/2965.40	c #Conflicts:    1064000 | #Constraints:      26270
2955.42/2965.40	c #Conflicts:    1065000 | #Constraints:      27270
2955.42/2965.40	c #Conflicts:    1066000 | #Constraints:      28270
2955.42/2965.40	c #Conflicts:    1067000 | #Constraints:      29270
2955.42/2965.40	c #Conflicts:    1068000 | #Constraints:      30270
2955.42/2965.40	c #Conflicts:    1069000 | #Constraints:      31270
2955.42/2965.40	c #Conflicts:    1070000 | #Constraints:      32270
2955.42/2965.40	c #Conflicts:    1071000 | #Constraints:      33270
2955.42/2965.40	c #Conflicts:    1072000 | #Constraints:      34270
2955.42/2965.40	c #Conflicts:    1073000 | #Constraints:      35270
2955.42/2965.40	c #Conflicts:    1074000 | #Constraints:      36270
2955.42/2965.40	c #Conflicts:    1075000 | #Constraints:      37270
2955.42/2965.40	c #Conflicts:    1076000 | #Constraints:      38270
2955.42/2965.40	c #Conflicts:    1077000 | #Constraints:      39270
2955.42/2965.40	c #Conflicts:    1078000 | #Constraints:      40270
2955.42/2965.40	c #Conflicts:    1079000 | #Constraints:      41270
2955.42/2965.40	c #Conflicts:    1080000 | #Constraints:      42270
2955.42/2965.40	c #Conflicts:    1081000 | #Constraints:      43270
2955.42/2965.40	c #Conflicts:    1082000 | #Constraints:      44270
2955.42/2965.40	c #Conflicts:    1083000 | #Constraints:      45270
2955.42/2965.40	c INPROCESSING
2955.42/2965.40	c GARBAGE COLLECT
2955.42/2965.40	c #Conflicts:    1084000 | #Constraints:      25666
2955.42/2965.40	c #Conflicts:    1085000 | #Constraints:      26666
2955.42/2965.40	c #Conflicts:    1086000 | #Constraints:      27666
2955.42/2965.40	c #Conflicts:    1087000 | #Constraints:      28666
2955.42/2965.40	c #Conflicts:    1088000 | #Constraints:      29666
2955.42/2965.40	c #Conflicts:    1089000 | #Constraints:      30666
2955.42/2965.40	c #Conflicts:    1090000 | #Constraints:      31666
2955.42/2965.40	c #Conflicts:    1091000 | #Constraints:      32666
2955.42/2965.40	c #Conflicts:    1092000 | #Constraints:      33666
2955.42/2965.40	c #Conflicts:    1093000 | #Constraints:      34666
2955.42/2965.40	c #Conflicts:    1094000 | #Constraints:      35666
2955.42/2965.40	c #Conflicts:    1095000 | #Constraints:      36666
2955.42/2965.40	c #Conflicts:    1096000 | #Constraints:      37666
2955.42/2965.40	c #Conflicts:    1097000 | #Constraints:      38666
2955.42/2965.40	c #Conflicts:    1098000 | #Constraints:      39666
2955.42/2965.40	c #Conflicts:    1099000 | #Constraints:      40666
2955.42/2965.40	c #Conflicts:    1100000 | #Constraints:      41666
2955.42/2965.40	c #Conflicts:    1101000 | #Constraints:      42666
2955.42/2965.40	c #Conflicts:    1102000 | #Constraints:      43666
2955.42/2965.40	c #Conflicts:    1103000 | #Constraints:      44666
2955.42/2965.40	c #Conflicts:    1104000 | #Constraints:      45666
2955.42/2965.40	c INPROCESSING
2955.42/2965.40	c GARBAGE COLLECT
2955.42/2965.40	c #Conflicts:    1105000 | #Constraints:      25866
2955.42/2965.40	c #Conflicts:    1106000 | #Constraints:      26866
2955.42/2965.40	c #Conflicts:    1107000 | #Constraints:      27866
2955.42/2965.40	c #Conflicts:    1108000 | #Constraints:      28866
2955.42/2965.40	c #Conflicts:    1109000 | #Constraints:      29866
2955.42/2965.40	c #Conflicts:    1110000 | #Constraints:      30866
2955.42/2965.40	c #Conflicts:    1111000 | #Constraints:      31866
2955.42/2965.40	c #Conflicts:    1112000 | #Constraints:      32866
2955.42/2965.40	c #Conflicts:    1113000 | #Constraints:      33866
2955.42/2965.40	c #Conflicts:    1114000 | #Constraints:      34866
2955.42/2965.40	c #Conflicts:    1115000 | #Constraints:      35866
2955.42/2965.40	c #Conflicts:    1116000 | #Constraints:      36866
2955.42/2965.40	c #Conflicts:    1117000 | #Constraints:      37866
2955.42/2965.40	c #Conflicts:    1118000 | #Constraints:      38866
2955.42/2965.40	c #Conflicts:    1119000 | #Constraints:      39866
2955.42/2965.40	c #Conflicts:    1120000 | #Constraints:      40866
3207.61/3218.46	c #Conflicts:    1121000 | #Constraints:      41866
3207.61/3218.46	c #Conflicts:    1122000 | #Constraints:      42866
3207.61/3218.46	c #Conflicts:    1123000 | #Constraints:      43866
3207.61/3218.46	c #Conflicts:    1124000 | #Constraints:      44866
3207.61/3218.46	c #Conflicts:    1125000 | #Constraints:      45866
3207.61/3218.46	c INPROCESSING
3207.61/3218.46	c GARBAGE COLLECT
3207.61/3218.46	c #Conflicts:    1126000 | #Constraints:      25866
3207.61/3218.46	c #Conflicts:    1127000 | #Constraints:      26866
3207.61/3218.46	c #Conflicts:    1128000 | #Constraints:      27866
3207.61/3218.46	c #Conflicts:    1129000 | #Constraints:      28866
3207.61/3218.46	c #Conflicts:    1130000 | #Constraints:      29866
3207.61/3218.46	c #Conflicts:    1131000 | #Constraints:      30866
3207.61/3218.46	c #Conflicts:    1132000 | #Constraints:      31866
3207.61/3218.46	c #Conflicts:    1133000 | #Constraints:      32866
3207.61/3218.46	c #Conflicts:    1134000 | #Constraints:      33866
3207.61/3218.46	c #Conflicts:    1135000 | #Constraints:      34866
3207.61/3218.46	c #Conflicts:    1136000 | #Constraints:      35866
3207.61/3218.46	c #Conflicts:    1137000 | #Constraints:      36866
3207.61/3218.46	c #Conflicts:    1138000 | #Constraints:      37866
3207.61/3218.46	c #Conflicts:    1139000 | #Constraints:      38866
3207.61/3218.46	c #Conflicts:    1140000 | #Constraints:      39866
3207.61/3218.46	c #Conflicts:    1141000 | #Constraints:      40866
3207.61/3218.46	c #Conflicts:    1142000 | #Constraints:      41866
3207.61/3218.46	c #Conflicts:    1143000 | #Constraints:      42866
3207.61/3218.46	c #Conflicts:    1144000 | #Constraints:      43866
3207.61/3218.46	c #Conflicts:    1145000 | #Constraints:      44866
3207.61/3218.46	c #Conflicts:    1146000 | #Constraints:      45866
3207.61/3218.46	c INPROCESSING
3207.61/3218.46	c GARBAGE COLLECT
3207.61/3218.46	c #Conflicts:    1147000 | #Constraints:      25657
3207.61/3218.46	c #Conflicts:    1148000 | #Constraints:      26657
3207.61/3218.46	c #Conflicts:    1149000 | #Constraints:      27657
3207.61/3218.46	c #Conflicts:    1150000 | #Constraints:      28657
3207.61/3218.46	c #Conflicts:    1151000 | #Constraints:      29657
3207.61/3218.46	c #Conflicts:    1152000 | #Constraints:      30657
3207.61/3218.46	c #Conflicts:    1153000 | #Constraints:      31657
3207.61/3218.46	c #Conflicts:    1154000 | #Constraints:      32657
3207.61/3218.46	c #Conflicts:    1155000 | #Constraints:      33657
3207.61/3218.46	c #Conflicts:    1156000 | #Constraints:      34657
3207.61/3218.46	c #Conflicts:    1157000 | #Constraints:      35657
3207.61/3218.46	c #Conflicts:    1158000 | #Constraints:      36657
3207.61/3218.46	c #Conflicts:    1159000 | #Constraints:      37657
3207.61/3218.46	c #Conflicts:    1160000 | #Constraints:      38657
3207.61/3218.46	c #Conflicts:    1161000 | #Constraints:      39657
3207.61/3218.46	c #Conflicts:    1162000 | #Constraints:      40657
3207.61/3218.46	c #Conflicts:    1163000 | #Constraints:      41657
3207.61/3218.46	c #Conflicts:    1164000 | #Constraints:      42657
3207.61/3218.46	c #Conflicts:    1165000 | #Constraints:      43657
3207.61/3218.46	c #Conflicts:    1166000 | #Constraints:      44657
3207.61/3218.46	c #Conflicts:    1167000 | #Constraints:      45657
3207.61/3218.46	c #Conflicts:    1168000 | #Constraints:      46657
3207.61/3218.46	c INPROCESSING
3207.61/3218.46	c GARBAGE COLLECT
3207.61/3218.46	c #Conflicts:    1169000 | #Constraints:      26254
3207.61/3218.46	c #Conflicts:    1170000 | #Constraints:      27254
3207.61/3218.46	c #Conflicts:    1171000 | #Constraints:      28254
3207.61/3218.46	c #Conflicts:    1172000 | #Constraints:      29254
3207.61/3218.46	c #Conflicts:    1173000 | #Constraints:      30254
3207.61/3218.46	c #Conflicts:    1174000 | #Constraints:      31254
3207.61/3218.46	c #Conflicts:    1175000 | #Constraints:      32254
3207.61/3218.46	c #Conflicts:    1176000 | #Constraints:      33254
3207.61/3218.46	c #Conflicts:    1177000 | #Constraints:      34254
3207.61/3218.46	c #Conflicts:    1178000 | #Constraints:      35254
3207.61/3218.46	c #Conflicts:    1179000 | #Constraints:      36254
3207.61/3218.46	c #Conflicts:    1180000 | #Constraints:      37254
3207.61/3218.46	c #Conflicts:    1181000 | #Constraints:      38254
3207.61/3218.46	c #Conflicts:    1182000 | #Constraints:      39254
3207.61/3218.46	c #Conflicts:    1183000 | #Constraints:      40254
3207.61/3218.46	c #Conflicts:    1184000 | #Constraints:      41254
3207.61/3218.46	c #Conflicts:    1185000 | #Constraints:      42254
3207.61/3218.46	c #Conflicts:    1186000 | #Constraints:      43254
3207.61/3218.46	c #Conflicts:    1187000 | #Constraints:      44254
3207.61/3218.46	c #Conflicts:    1188000 | #Constraints:      45254
3207.61/3218.46	c #Conflicts:    1189000 | #Constraints:      46254
3207.61/3218.46	c #Conflicts:    1190000 | #Constraints:      47254
3207.61/3218.46	c INPROCESSING
3207.61/3218.46	c GARBAGE COLLECT
3207.61/3218.46	c #Conflicts:    1191000 | #Constraints:      26650
3207.61/3218.46	c #Conflicts:    1192000 | #Constraints:      27650
3207.61/3218.46	c #Conflicts:    1193000 | #Constraints:      28650
3207.61/3218.46	c #Conflicts:    1194000 | #Constraints:      29650
3207.61/3218.46	c #Conflicts:    1195000 | #Constraints:      30650
3207.61/3218.46	c #Conflicts:    1196000 | #Constraints:      31650
3425.40/3436.95	c #Conflicts:    1197000 | #Constraints:      32650
3425.40/3436.95	c #Conflicts:    1198000 | #Constraints:      33650
3425.40/3436.95	c #Conflicts:    1199000 | #Constraints:      34650
3425.40/3436.95	c #Conflicts:    1200000 | #Constraints:      35650
3425.40/3436.95	c #Conflicts:    1201000 | #Constraints:      36650
3425.40/3436.95	c #Conflicts:    1202000 | #Constraints:      37650
3425.40/3436.95	c #Conflicts:    1203000 | #Constraints:      38650
3425.40/3436.95	c #Conflicts:    1204000 | #Constraints:      39650
3425.40/3436.95	c #Conflicts:    1205000 | #Constraints:      40650
3425.40/3436.95	c #Conflicts:    1206000 | #Constraints:      41650
3425.40/3436.95	c #Conflicts:    1207000 | #Constraints:      42650
3425.40/3436.95	c #Conflicts:    1208000 | #Constraints:      43650
3425.40/3436.95	c #Conflicts:    1209000 | #Constraints:      44650
3425.40/3436.95	c #Conflicts:    1210000 | #Constraints:      45650
3425.40/3436.95	c #Conflicts:    1211000 | #Constraints:      46650
3425.40/3436.95	c #Conflicts:    1212000 | #Constraints:      47650
3425.40/3436.95	c INPROCESSING
3425.40/3436.95	c GARBAGE COLLECT
3425.40/3436.95	c #Conflicts:    1213000 | #Constraints:      26843
3425.40/3436.95	c #Conflicts:    1214000 | #Constraints:      27843
3425.40/3436.95	c #Conflicts:    1215000 | #Constraints:      28843
3425.40/3436.95	c #Conflicts:    1216000 | #Constraints:      29843
3425.40/3436.95	c #Conflicts:    1217000 | #Constraints:      30843
3425.40/3436.95	c #Conflicts:    1218000 | #Constraints:      31843
3425.40/3436.95	c #Conflicts:    1219000 | #Constraints:      32843
3425.40/3436.95	c #Conflicts:    1220000 | #Constraints:      33843
3425.40/3436.95	c #Conflicts:    1221000 | #Constraints:      34843
3425.40/3436.95	c #Conflicts:    1222000 | #Constraints:      35843
3425.40/3436.95	c #Conflicts:    1223000 | #Constraints:      36843
3425.40/3436.95	c #Conflicts:    1224000 | #Constraints:      37843
3425.40/3436.95	c #Conflicts:    1225000 | #Constraints:      38843
3425.40/3436.95	c #Conflicts:    1226000 | #Constraints:      39843
3425.40/3436.95	c #Conflicts:    1227000 | #Constraints:      40843
3425.40/3436.95	c #Conflicts:    1228000 | #Constraints:      41843
3425.40/3436.95	c #Conflicts:    1229000 | #Constraints:      42843
3425.40/3436.95	c #Conflicts:    1230000 | #Constraints:      43843
3425.40/3436.95	c #Conflicts:    1231000 | #Constraints:      44843
3425.40/3436.95	c #Conflicts:    1232000 | #Constraints:      45843
3425.40/3436.95	c #Conflicts:    1233000 | #Constraints:      46843
3425.40/3436.95	c #Conflicts:    1234000 | #Constraints:      47843
3425.40/3436.95	c INPROCESSING
3425.40/3436.95	c GARBAGE COLLECT
3425.40/3436.95	c #Conflicts:    1235000 | #Constraints:      26851
3425.40/3436.95	c #Conflicts:    1236000 | #Constraints:      27851
3425.40/3436.95	c #Conflicts:    1237000 | #Constraints:      28851
3425.40/3436.95	c #Conflicts:    1238000 | #Constraints:      29851
3425.40/3436.95	c #Conflicts:    1239000 | #Constraints:      30851
3425.40/3436.95	c #Conflicts:    1240000 | #Constraints:      31851
3425.40/3436.95	c #Conflicts:    1241000 | #Constraints:      32851
3425.40/3436.95	c #Conflicts:    1242000 | #Constraints:      33851
3425.40/3436.95	c #Conflicts:    1243000 | #Constraints:      34851
3425.40/3436.95	c #Conflicts:    1244000 | #Constraints:      35851
3425.40/3436.95	c #Conflicts:    1245000 | #Constraints:      36851
3425.40/3436.95	c #Conflicts:    1246000 | #Constraints:      37851
3425.40/3436.95	c #Conflicts:    1247000 | #Constraints:      38851
3425.40/3436.95	c #Conflicts:    1248000 | #Constraints:      39851
3425.40/3436.95	c #Conflicts:    1249000 | #Constraints:      40851
3425.40/3436.95	c #Conflicts:    1250000 | #Constraints:      41851
3425.40/3436.95	c #Conflicts:    1251000 | #Constraints:      42851
3425.40/3436.95	c #Conflicts:    1252000 | #Constraints:      43851
3425.40/3436.95	c #Conflicts:    1253000 | #Constraints:      44851
3425.40/3436.95	c #Conflicts:    1254000 | #Constraints:      45851
3425.40/3436.95	c #Conflicts:    1255000 | #Constraints:      46851
3425.40/3436.95	c #Conflicts:    1256000 | #Constraints:      47851
3425.40/3436.95	c INPROCESSING
3425.40/3436.95	c GARBAGE COLLECT
3425.40/3436.95	c #Conflicts:    1257000 | #Constraints:      26650
3425.40/3436.95	c #Conflicts:    1258000 | #Constraints:      27650
3425.40/3436.95	c #Conflicts:    1259000 | #Constraints:      28650
3425.40/3436.95	c #Conflicts:    1260000 | #Constraints:      29650
3425.40/3436.95	c #Conflicts:    1261000 | #Constraints:      30650
3425.40/3436.95	c #Conflicts:    1262000 | #Constraints:      31650
3425.40/3436.95	c #Conflicts:    1263000 | #Constraints:      32650
3425.40/3436.95	c #Conflicts:    1264000 | #Constraints:      33650
3425.40/3436.95	c #Conflicts:    1265000 | #Constraints:      34650
3425.40/3436.95	c #Conflicts:    1266000 | #Constraints:      35650
3425.40/3436.95	c #Conflicts:    1267000 | #Constraints:      36650
3425.40/3436.95	c #Conflicts:    1268000 | #Constraints:      37650
3425.40/3436.95	c #Conflicts:    1269000 | #Constraints:      38650
3425.40/3436.95	c #Conflicts:    1270000 | #Constraints:      39650
3425.40/3436.95	c #Conflicts:    1271000 | #Constraints:      40650
3425.40/3436.95	c #Conflicts:    1272000 | #Constraints:      41650
3425.40/3436.95	c #Conflicts:    1273000 | #Constraints:      42650
3600.04/3612.11	c #Conflicts:    1274000 | #Constraints:      43650
3600.04/3612.11	c #Conflicts:    1275000 | #Constraints:      44650
3600.04/3612.11	c #Conflicts:    1276000 | #Constraints:      45650
3600.04/3612.11	c #Conflicts:    1277000 | #Constraints:      46650
3600.04/3612.11	c #Conflicts:    1278000 | #Constraints:      47650
3600.04/3612.11	c #Conflicts:    1279000 | #Constraints:      48650
3600.04/3612.11	c INPROCESSING
3600.04/3612.11	c GARBAGE COLLECT
3600.04/3612.11	c #Conflicts:    1280000 | #Constraints:      27256
3600.04/3612.11	c #Conflicts:    1281000 | #Constraints:      28256
3600.04/3612.11	c #Conflicts:    1282000 | #Constraints:      29256
3600.04/3612.11	c #Conflicts:    1283000 | #Constraints:      30256
3600.04/3612.11	c #Conflicts:    1284000 | #Constraints:      31256
3600.04/3612.11	c #Conflicts:    1285000 | #Constraints:      32256
3600.04/3612.11	c #Conflicts:    1286000 | #Constraints:      33256
3600.04/3612.11	c #Conflicts:    1287000 | #Constraints:      34256
3600.04/3612.11	c #Conflicts:    1288000 | #Constraints:      35256
3600.04/3612.11	c #Conflicts:    1289000 | #Constraints:      36256
3600.04/3612.11	c #Conflicts:    1290000 | #Constraints:      37256
3600.04/3612.11	c #Conflicts:    1291000 | #Constraints:      38256
3600.04/3612.11	c #Conflicts:    1292000 | #Constraints:      39256
3600.04/3612.11	c #Conflicts:    1293000 | #Constraints:      40256
3600.04/3612.11	c #Conflicts:    1294000 | #Constraints:      41256
3600.04/3612.11	c #Conflicts:    1295000 | #Constraints:      42256
3600.04/3612.11	c #Conflicts:    1296000 | #Constraints:      43256
3600.04/3612.11	c #Conflicts:    1297000 | #Constraints:      44256
3600.04/3612.11	c #Conflicts:    1298000 | #Constraints:      45256
3600.04/3612.11	c #Conflicts:    1299000 | #Constraints:      46256
3600.04/3612.11	c #Conflicts:    1300000 | #Constraints:      47256
3600.04/3612.11	c #Conflicts:    1301000 | #Constraints:      48256
3600.04/3612.11	c #Conflicts:    1302000 | #Constraints:      49256
3600.04/3612.11	c INPROCESSING
3600.04/3612.11	c GARBAGE COLLECT
3600.04/3612.11	c #Conflicts:    1303000 | #Constraints:      27644
3600.04/3612.11	c #Conflicts:    1304000 | #Constraints:      28644
3600.04/3612.11	c #Conflicts:    1305000 | #Constraints:      29644
3600.04/3612.11	c #Conflicts:    1306000 | #Constraints:      30644
3600.04/3612.11	c #Conflicts:    1307000 | #Constraints:      31644
3600.04/3612.11	c #Conflicts:    1308000 | #Constraints:      32644
3600.04/3612.11	c #Conflicts:    1309000 | #Constraints:      33644
3600.04/3612.11	c #Conflicts:    1310000 | #Constraints:      34644
3600.04/3612.11	c #Conflicts:    1311000 | #Constraints:      35644
3600.04/3612.11	c #Conflicts:    1312000 | #Constraints:      36644
3600.04/3612.11	c #Conflicts:    1313000 | #Constraints:      37644
3600.04/3612.11	c #Conflicts:    1314000 | #Constraints:      38644
3600.04/3612.11	c #Conflicts:    1315000 | #Constraints:      39644
3600.04/3612.11	c #Conflicts:    1316000 | #Constraints:      40644
3600.04/3612.11	c #Conflicts:    1317000 | #Constraints:      41644
3600.04/3612.11	c #Conflicts:    1318000 | #Constraints:      42644
3600.04/3612.11	c #Conflicts:    1319000 | #Constraints:      43644
3600.04/3612.11	c #Conflicts:    1320000 | #Constraints:      44644
3600.04/3612.11	c #Conflicts:    1321000 | #Constraints:      45644
3600.04/3612.11	c #Conflicts:    1322000 | #Constraints:      46644
3600.04/3612.11	c #Conflicts:    1323000 | #Constraints:      47644
3600.04/3612.11	c #Conflicts:    1324000 | #Constraints:      48644
3600.04/3612.11	c #Conflicts:    1325000 | #Constraints:      49644
3600.04/3612.11	c INPROCESSING
3600.04/3612.11	c GARBAGE COLLECT
3600.04/3612.11	c #Conflicts:    1326000 | #Constraints:      27850
3600.04/3612.11	c #Conflicts:    1327000 | #Constraints:      28850
3600.04/3612.11	c #Conflicts:    1328000 | #Constraints:      29850
3600.04/3612.11	c #Conflicts:    1329000 | #Constraints:      30850
3600.04/3612.11	c #Conflicts:    1330000 | #Constraints:      31850
3600.04/3612.11	c #Conflicts:    1331000 | #Constraints:      32850
3600.04/3612.11	c #Conflicts:    1332000 | #Constraints:      33850
3600.04/3612.11	c #Conflicts:    1333000 | #Constraints:      34850
3600.04/3612.11	c #Conflicts:    1334000 | #Constraints:      35850
3600.04/3612.11	c #Conflicts:    1335000 | #Constraints:      36850
3600.04/3612.11	c #Conflicts:    1336000 | #Constraints:      37850
3600.04/3612.11	c Program interrupted by user.
3600.04/3612.11	c cpu time 3590.3 s
3600.04/3612.11	c deterministic time 469238670478 4.69e+11
3600.04/3612.11	c optimization time 31.6937 s
3600.04/3612.11	c total solve time 3259.57 s
3600.04/3612.11	c core-guided solve time 3259.57 s
3600.04/3612.11	c propagation time 2612.73 s
3600.04/3612.11	c conflict analysis time 470.006 s
3600.04/3612.11	c propagations 60139687
3600.04/3612.11	c resolve steps 9124008
3600.04/3612.11	c decisions 4073473
3600.04/3612.11	c conflicts 1336933
3600.04/3612.11	c restarts 2557
3600.04/3612.11	c inprocessing phases 106
3600.04/3612.11	c input clauses 3972
3600.04/3612.11	c input cardinalities 150
3600.04/3612.11	c input general constraints 0
3600.04/3612.11	c input average constraint length 62.75
3600.04/3612.11	c input average constraint degree 28.26
3600.04/3612.11	c learned clauses 479514
3600.04/3612.11	c learned cardinalities 275243
3600.04/3612.11	c learned general constraints 582323
3600.04/3612.11	c learned average constraint length 1032.36
3600.04/3612.11	c learned average constraint degree 9250.66
3600.04/3612.11	c watched constraints 210195
3600.04/3612.11	c counting constraints 372128
3600.04/3612.11	c gcd simplifications 22299
3600.04/3612.11	c detected cardinalities 6231
3600.04/3612.11	c weakened non-implied lits 231229687
3600.04/3612.11	c weakened non-implying lits 18294
3600.04/3612.11	c original variables 1963
3600.04/3612.11	c clausal propagations 27334618
3600.04/3612.11	c cardinality propagations 10797016
3600.04/3612.11	c watched propagations 2481027
3600.04/3612.11	c counting propagations 11953670
3600.04/3612.11	c watch lookups 39246956503
3600.04/3612.11	c watch backjump lookups 32616250344
3600.04/3612.11	c watch checks 353927415897
3600.04/3612.11	c propagation checks 39457444967
3600.04/3612.11	c constraint additions 3860841391
3600.04/3612.11	c trail pops 65548215
3600.04/3612.11	c formula constraints 3300
3600.04/3612.11	c learned constraints 1337080
3600.04/3612.11	c bound constraints 150
3600.04/3612.11	c core-guided constraints 672
3600.04/3612.11	c encountered formula constraints 6381195
3600.04/3612.11	c encountered learned constraints 3466114
3600.04/3612.11	c encountered bound constraints 2
3600.04/3612.11	c encountered core-guided constraints 613630
3600.04/3612.11	c LP total time 0 s
3600.04/3612.11	c LP solve time 0 s
3600.04/3612.11	c LP constraints added 0
3600.04/3612.11	c LP constraints removed 0
3600.04/3612.11	c LP pivots internal 0
3600.04/3612.11	c LP pivots root 0
3600.04/3612.11	c LP calls 0
3600.04/3612.11	c LP optimalities 0
3600.04/3612.11	c LP no pivot count 0
3600.04/3612.11	c LP infeasibilities 0
3600.04/3612.11	c LP valid Farkas constraints 0
3600.04/3612.11	c LP learned Farkas constraints 0
3600.04/3612.11	c LP basis resets 0
3600.04/3612.11	c LP cycling count 0
3600.04/3612.11	c LP singular count 0
3600.04/3612.11	c LP no primal count 0
3600.04/3612.11	c LP no farkas count 0
3600.04/3612.11	c LP other issue count 0
3600.04/3612.11	c LP Gomory cuts 0
3600.04/3612.11	c LP learned cuts 0
3600.04/3612.11	c LP deleted cuts 0
3600.04/3612.11	c LP encountered Gomory constraints 0
3600.04/3612.11	c LP encountered Farkas constraints 0
3600.04/3612.11	c LP encountered learned Farkas constraints 0
3600.04/3612.11	c CG auxiliary variables introduced 672
3600.04/3612.11	c CG solutions found 0
3600.04/3612.11	c CG cores constructed 149
3600.04/3612.11	c CG core cardinality constraints returned 0
3600.04/3612.11	c CG unit cores 0
3600.04/3612.11	c CG single cores 149
3600.04/3612.11	c CG blocks removed during cardinality reduction 0
3600.04/3612.11	c CG first core best 0
3600.04/3612.11	c CG decision core best 0
3600.04/3612.11	c CG core reduction tie 0
3600.04/3612.11	c CG core degree average 1.00
3600.04/3612.11	c CG core slack average 2.94
3600.04/3612.11	c CG exhausted 0
3600.04/3612.11	c CG exhaust time 0 s
3600.04/3612.11	c CG trimmed 1
3600.04/3612.11	c CG trim time 0.000842 s
3600.04/3612.11	c CG minimized 0
3600.04/3612.11	c CG minimize time 0 s
3600.04/3612.11	c CG am1 prop time 0.002974 s
3600.04/3612.11	c CG # am1s reformulated 672
3600.04/3612.11	c CG lower bound derived from am1s 675
3600.04/3612.11	c CG # clausal cores 149
3600.04/3612.11	c CG # cardinality cores 0
3600.04/3612.11	c CG # pb cores 0
3600.04/3612.11	c CG # pb reforms 0
3600.04/3612.11	c CG # cores discarded because of pb reform 0
3600.04/3612.11	d LOWERBOUND 824
3600.04/3612.11	d NCORES 149
3600.04/3612.11	d NPBCORES 0
3600.04/3612.11	d NPBREFORM 0
3600.04/3612.11	d NTRIMMED 1
3600.04/3612.11	d NEXHAUSTED 0
3600.04/3612.11	d NAM1S 672
3600.04/3612.11	d AM1LB 675
3600.04/3612.11	c [Papilo Statistics]
3600.04/3612.11	c prepro time 0.0136696s
3600.04/3612.11	c # tsx applied 147
3600.04/3612.11	c # tsx conflicts 4
3600.04/3612.11	c # bound changes 146
3600.04/3612.11	c # side changes 0
3600.04/3612.11	c # coef changes 0
3600.04/3612.11	c # rounds 2
3600.04/3612.11	c # deted vars 296
3600.04/3612.11	c # deted constrs 700
3600.04/3612.11	c # consecutive rounds of only bound changes 0
3600.04/3612.11	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: 64059 MiB (62973 MiB free)
  memory of node 1: 64510 MiB (61298 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454724-1721467713/watcher-4454724-1721467713 -o /tmp/evaluation-result-4454724-1721467713/solver-4454724-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064085 --watchdog 3760 mixed-bag HOME/instance-4454724-1721467713.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1064147, runsolver pid=1064136

[startup+0.100782 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127193504/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=97688 memory=30792 CPUtime=0.1 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 4679 0 0 0 9 1 0 0 20 0 1 0 198927960 100032512 7698 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 24422 7698 3770 3002 0 8171 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97688 KiB
Current children cumulated memory: 30792 KiB

[startup+0.215788 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127161732/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=107624 memory=38572 CPUtime=0.21 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 6679 0 0 0 19 2 0 0 20 0 1 0 198927960 110206976 9643 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 26906 9643 3877 3002 0 10655 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107624 KiB
Current children cumulated memory: 38572 KiB

[startup+0.31532 s]*
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127149540/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=110228 memory=41412 CPUtime=0.32 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 7303 0 0 0 29 3 0 0 20 0 1 0 198927960 112873472 10353 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 27557 10353 4005 3002 0 11306 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 110228 KiB
Current children cumulated memory: 41412 KiB

[startup+0.700295 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127146588/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=110752 memory=41936 CPUtime=0.69 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 7427 0 0 0 66 3 0 0 20 0 1 0 198927960 113410048 10484 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 27688 10484 4005 3002 0 11437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 110752 KiB
Current children cumulated memory: 41936 KiB

[startup+1.50033 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127132056/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=116024 memory=46976 CPUtime=1.48 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 8685 0 0 0 145 3 0 0 20 0 1 0 198927960 118808576 11744 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 29006 11744 4021 3002 0 12755 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 116024 KiB
Current children cumulated memory: 46976 KiB

[startup+3.1141 s]
/proc/loadavg: 1.83 1.45 2.20 8/248 1064152
/proc/meminfo: memFree=127072252/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=130140 memory=59912 CPUtime=3.09 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 11931 0 0 0 305 4 0 0 20 0 1 0 198927960 133263360 14978 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 32535 14978 4021 3002 0 16284 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 130140 KiB
Current children cumulated memory: 59912 KiB

[startup+6.30025 s]
/proc/loadavg: 2.08 1.51 2.21 8/248 1064152
/proc/meminfo: memFree=126905460/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=182944 memory=111392 CPUtime=6.26 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 24763 0 0 0 620 6 0 0 20 0 1 0 198927960 187334656 27848 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 45736 27848 4021 3002 0 29485 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182944 KiB
Current children cumulated memory: 111392 KiB

[startup+12.7002 s]
/proc/loadavg: 2.23 1.55 2.22 8/248 1064154
/proc/meminfo: memFree=126788188/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=217628 memory=141796 CPUtime=12.64 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 33743 0 0 0 1257 7 0 0 20 0 1 0 198927960 222851072 35449 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 54407 35449 4021 3002 0 38156 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217628 KiB
Current children cumulated memory: 141796 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 1.67 2.25 8/248 1064155
/proc/meminfo: memFree=126782276/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=218468 memory=142636 CPUtime=25.4 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 33961 0 0 0 2533 7 0 0 20 0 1 0 198927960 223711232 35659 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 54617 35659 4021 3002 0 38366 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 218468 KiB
Current children cumulated memory: 142636 KiB

[startup+51.1137 s]
/proc/loadavg: 3.18 1.87 2.30 8/248 1064160
/proc/meminfo: memFree=126576756/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=283568 memory=212536 CPUtime=50.92 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 50560 0 0 0 5081 11 0 0 20 0 1 0 198927960 290373632 53134 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 70892 53134 4036 3002 0 54641 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 283568 KiB
Current children cumulated memory: 212536 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.22 2.40 9/251 1064228
/proc/meminfo: memFree=126438292/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=328388 memory=252836 CPUtime=101.94 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 63316 0 0 0 10180 14 0 0 20 0 1 0 198927960 336269312 63209 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 82097 63209 4036 3002 0 65846 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 328388 KiB
Current children cumulated memory: 252836 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.56 2.51 8/250 1064239
/proc/meminfo: memFree=126330708/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=342900 memory=276464 CPUtime=161.74 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 68162 0 0 0 16160 14 0 0 20 0 1 0 198927960 351129600 69116 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 85725 69116 4036 3002 0 69474 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 342900 KiB
Current children cumulated memory: 276464 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.86 2.61 8/250 1064249
/proc/meminfo: memFree=126243532/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=352900 memory=286148 CPUtime=221.56 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 71435 0 0 0 22141 15 0 0 20 0 1 0 198927960 361369600 71537 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 88225 71537 4036 3002 0 71974 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 352900 KiB
Current children cumulated memory: 286148 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.10 2.71 8/250 1064259
/proc/meminfo: memFree=126163616/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=358916 memory=290136 CPUtime=281.38 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 72593 0 0 0 28123 15 0 0 20 0 1 0 198927960 367529984 72534 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 89729 72534 4036 3002 0 73478 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 358916 KiB
Current children cumulated memory: 290136 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.28 2.80 8/245 1064270
/proc/meminfo: memFree=126459776/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=264776 memory=182728 CPUtime=341.18 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 75909 0 0 0 34056 62 0 0 20 0 1 0 198927960 271130624 45682 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 66194 45682 4196 3002 0 49943 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 264776 KiB
Current children cumulated memory: 182728 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.89 8/242 1064281
/proc/meminfo: memFree=126378364/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=270312 memory=207044 CPUtime=400.99 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 77455 0 0 0 39996 103 0 0 20 0 1 0 198927960 276799488 51761 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 67578 51761 4196 3002 0 51327 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 270312 KiB
Current children cumulated memory: 207044 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.56 2.97 8/242 1064291
/proc/meminfo: memFree=126314768/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=323696 memory=221080 CPUtime=460.79 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 78490 0 0 0 45943 136 0 0 20 0 1 0 198927960 331464704 55270 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 80924 55270 4196 3002 0 64673 0

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

Current children cumulated memory: 517072 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 8/242 1065302
/proc/meminfo: memFree=125346496/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=694180 memory=519120 CPUtime=2912.46 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 112395 0 0 0 290470 776 0 0 20 0 1 0 198927960 710840320 129780 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173545 129780 4196 3002 0 157294 0
Current children cumulated CPU time: 2912.46 s
Current children cumulated vsize: 694180 KiB
Current children cumulated memory: 519120 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 8/242 1065312
/proc/meminfo: memFree=125341604/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=694364 memory=519164 CPUtime=2972.26 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 112543 0 0 0 296439 787 0 0 20 0 1 0 198927960 711028736 129791 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173591 129791 4196 3002 0 157340 0
Current children cumulated CPU time: 2972.26 s
Current children cumulated vsize: 694364 KiB
Current children cumulated memory: 519164 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.02 8/242 1065323
/proc/meminfo: memFree=125325308/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=694948 memory=519656 CPUtime=3032.07 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 112792 0 0 0 302401 806 0 0 20 0 1 0 198927960 711626752 129914 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173737 129914 4196 3002 0 157486 0
Current children cumulated CPU time: 3032.07 s
Current children cumulated vsize: 694948 KiB
Current children cumulated memory: 519656 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 8/244 1065337
/proc/meminfo: memFree=125307276/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=695460 memory=530136 CPUtime=3091.88 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 112908 0 0 0 308363 825 0 0 20 0 1 0 198927960 712151040 132534 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173865 132534 4196 3002 0 157614 0
Current children cumulated CPU time: 3091.88 s
Current children cumulated vsize: 695460 KiB
Current children cumulated memory: 530136 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.03 8/244 1065347
/proc/meminfo: memFree=125296920/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=695716 memory=532460 CPUtime=3151.69 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 113112 0 0 0 314327 842 0 0 20 0 1 0 198927960 712413184 133115 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173929 133115 4196 3002 0 157678 0
Current children cumulated CPU time: 3151.69 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 532460 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 8/244 1065357
/proc/meminfo: memFree=125294248/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=695716 memory=532636 CPUtime=3211.49 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 113259 0 0 0 320290 859 0 0 20 0 1 0 198927960 712413184 133159 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173929 133159 4196 3002 0 157678 0
Current children cumulated CPU time: 3211.49 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 532636 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 8/244 1065368
/proc/meminfo: memFree=125256204/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=695716 memory=538792 CPUtime=3271.29 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 113408 0 0 0 326253 876 0 0 20 0 1 0 198927960 712413184 134698 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173929 134698 4196 3002 0 157678 0
Current children cumulated CPU time: 3271.29 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 538792 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.04 8/245 1065379
/proc/meminfo: memFree=125254960/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=695716 memory=538800 CPUtime=3331.1 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 113544 0 0 0 332214 896 0 0 20 0 1 0 198927960 712413184 134700 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 173929 134700 4196 3002 0 157678 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 695716 KiB
Current children cumulated memory: 538800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 8/246 1065773
/proc/meminfo: memFree=125251740/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=696484 memory=539164 CPUtime=3390.91 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 113841 0 0 0 338179 912 0 0 20 0 1 0 198927960 713199616 134791 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 174121 134791 4196 3002 0 157870 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 696484 KiB
Current children cumulated memory: 539164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 8/245 1065784
/proc/meminfo: memFree=125247652/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=698204 memory=540196 CPUtime=3450.72 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 114212 0 0 0 344145 927 0 0 20 0 1 0 198927960 714960896 135049 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 174551 135049 4196 3002 0 158300 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 698204 KiB
Current children cumulated memory: 540196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 8/245 1065794
/proc/meminfo: memFree=125208716/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=769376 memory=576560 CPUtime=3510.52 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 123459 0 0 0 350102 950 0 0 20 0 1 0 198927960 787841024 144140 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 192344 144140 4196 3002 0 176093 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 769376 KiB
Current children cumulated memory: 576560 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.05 8/247 1065974
/proc/meminfo: memFree=125185640/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=792928 memory=588916 CPUtime=3570.33 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 126679 0 0 0 356066 967 0 0 20 0 1 0 198927960 811958272 147229 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 198232 147229 4196 3002 0 181981 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 792928 KiB
Current children cumulated memory: 588916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.16 4.12 4.06 7/245 1066270
/proc/meminfo: memFree=126304116/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=792928 memory=588984 CPUtime=3600.04 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 126807 0 0 0 359029 975 0 0 20 0 1 0 198927960 811958272 147246 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 198232 147246 4196 3002 0 181981 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 792928 KiB
Current children cumulated memory: 588984 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.3 s, system=9.75824 s

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

[startup+3612.11 s]
/proc/loadavg: 4.16 4.12 4.06 7/245 1066270
/proc/meminfo: memFree=126304116/131655788 swapFree=131071996/131071996
[pid=1064147] ppid=1064136 vsize=792928 memory=588984 CPUtime=3600.04 cores=0,2
/proc/1064147/stat : 1064147 (mixed-bag) R 1064136 1064147 1064075 0 -1 4194304 126807 0 0 0 359029 975 0 0 20 0 1 0 198927960 811958272 147246 134679101440 4194304 16488053 140732204988928 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18731784 18742840 33148928 140732204991509 140732204991586 140732204991586 140732204998603 0
/proc/1064147/statm: 198232 147246 4196 3002 0 181981 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 792928 KiB
Current children cumulated memory: 588984 KiB

Child status: 0

Real time (s): 3612.12
CPU time (s): 3600.06
CPU user time (s): 3590.3
CPU system time (s): 9.75824
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 792928
Max. memory (cumulated for all children) (KiB): 588984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.3
system time used= 9.75824
maximum resident set size= 588984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126831
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135
involuntary context switches= 25201


# summary of solver processes directly reported to runsolver:
#   pid: 1064147
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3590.3
#   total CPU system time (s): 9.75824

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4432 second user time and 38.6487 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 11:28:45
IDJOB=4454724
IDBENCH=147530
IDSOLVER=3083
FILE ID=nodeC007/4454724-1721467713
RUNJOBID= nodeC007-1721467725-1064085
SLURM_JOB_ID= 7545722
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=910349485

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127255928 kB
MemAvailable:   129911808 kB
Buffers:          555256 kB
Cached:          2941324 kB
SwapCached:            0 kB
Active:          1151172 kB
Inactive:        2681804 kB
Active(anon):       1360 kB
Inactive(anon):   381576 kB
Active(file):    1149812 kB
Inactive(file):  2300228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65132 kB
Writeback:             4 kB
AnonPages:        337064 kB
Mapped:           107496 kB
Shmem:             45896 kB
KReclaimable:      91744 kB
Slab:             194604 kB
SReclaimable:      91744 kB
SUnreclaim:       102860 kB
KernelStack:        3748 kB
PageTables:        10112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     713284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723728 MiB
End job on nodeC007 at 2024-07-20 12:28:58