Trace number 4488899

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 2025-05-06? (TO) 3600.06 3610.01

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
MD5SUM40839a009ce460ae7be0fe2be6267e36
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1028
Best CPU time to get the best result obtained on this benchmark13003.8
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1964
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 1964
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 1964
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 1964
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.02	c [STEP] preprocessing with Papilo
0.00/0.02	c [STEP] solving with SCIP
299.27/300.27	c [STEP] preprocessing done, loading into solver
299.27/300.28	c [STEP] solving
299.27/300.28	c #variables 1654 #constraints 3240
299.27/300.28	c SMALL=int, LARGE=long long
299.27/300.28	d SCIPUB 882
299.27/300.28	c bounds - >= 0 @ 299.1
299.27/300.28	c stratification level: 0
299.37/300.33	c bounds - >= 674 @ 299.107
299.37/300.33	c bounds - >= 675 @ 299.108
299.37/300.33	c bounds - >= 676 @ 299.108
299.37/300.33	c bounds - >= 677 @ 299.108
299.37/300.33	c bounds - >= 678 @ 299.108
299.37/300.33	c bounds - >= 679 @ 299.108
299.37/300.33	c bounds - >= 680 @ 299.108
299.37/300.33	c bounds - >= 681 @ 299.108
299.37/300.33	c bounds - >= 682 @ 299.109
299.37/300.33	c bounds - >= 683 @ 299.109
299.37/300.33	c bounds - >= 684 @ 299.109
299.37/300.33	c bounds - >= 685 @ 299.109
299.37/300.33	c bounds - >= 686 @ 299.109
299.37/300.33	c bounds - >= 687 @ 299.109
299.37/300.33	c bounds - >= 688 @ 299.109
299.37/300.33	c bounds - >= 689 @ 299.109
299.37/300.33	c bounds - >= 690 @ 299.109
299.37/300.33	c bounds - >= 691 @ 299.11
299.37/300.33	c bounds - >= 692 @ 299.11
299.37/300.33	c bounds - >= 693 @ 299.11
299.37/300.33	c bounds - >= 694 @ 299.11
299.37/300.33	c bounds - >= 695 @ 299.11
299.37/300.33	c bounds - >= 696 @ 299.11
299.37/300.33	c bounds - >= 697 @ 299.11
299.37/300.33	c bounds - >= 698 @ 299.11
299.37/300.33	c bounds - >= 699 @ 299.11
299.37/300.33	c bounds - >= 700 @ 299.111
299.37/300.33	c bounds - >= 701 @ 299.111
299.37/300.33	c bounds - >= 702 @ 299.111
299.37/300.33	c bounds - >= 703 @ 299.111
299.37/300.33	c bounds - >= 704 @ 299.111
299.37/300.33	c bounds - >= 705 @ 299.111
299.37/300.33	c bounds - >= 706 @ 299.111
299.37/300.33	c bounds - >= 707 @ 299.111
299.37/300.33	c bounds - >= 708 @ 299.111
299.37/300.33	c bounds - >= 709 @ 299.112
299.37/300.33	c bounds - >= 710 @ 299.112
299.37/300.33	c bounds - >= 711 @ 299.112
299.37/300.33	c bounds - >= 712 @ 299.112
299.37/300.33	c bounds - >= 713 @ 299.113
299.37/300.33	c bounds - >= 714 @ 299.113
299.37/300.33	c bounds - >= 715 @ 299.113
299.37/300.33	c bounds - >= 716 @ 299.113
299.37/300.33	c bounds - >= 717 @ 299.113
299.37/300.33	c bounds - >= 718 @ 299.113
299.37/300.33	c bounds - >= 719 @ 299.113
299.37/300.33	c bounds - >= 720 @ 299.113
299.37/300.33	c bounds - >= 721 @ 299.113
299.37/300.33	c bounds - >= 722 @ 299.113
299.37/300.33	c bounds - >= 723 @ 299.113
299.37/300.33	c bounds - >= 724 @ 299.113
299.37/300.33	c bounds - >= 725 @ 299.113
299.37/300.33	c bounds - >= 726 @ 299.114
299.37/300.33	c bounds - >= 727 @ 299.114
299.37/300.33	c bounds - >= 728 @ 299.114
299.37/300.33	c bounds - >= 729 @ 299.114
299.37/300.33	c bounds - >= 730 @ 299.115
299.37/300.33	c bounds - >= 731 @ 299.115
299.37/300.33	c bounds - >= 732 @ 299.115
299.37/300.33	c bounds - >= 733 @ 299.115
299.37/300.33	c bounds - >= 734 @ 299.116
299.37/300.33	c bounds - >= 735 @ 299.116
299.37/300.33	c bounds - >= 736 @ 299.116
299.37/300.33	c bounds - >= 737 @ 299.116
299.37/300.33	c bounds - >= 738 @ 299.116
299.37/300.33	c bounds - >= 739 @ 299.116
299.37/300.33	c bounds - >= 740 @ 299.116
299.37/300.33	c bounds - >= 741 @ 299.116
299.37/300.33	c bounds - >= 742 @ 299.117
299.37/300.33	c bounds - >= 743 @ 299.117
299.37/300.33	c bounds - >= 744 @ 299.117
299.37/300.33	c bounds - >= 745 @ 299.117
299.37/300.33	c bounds - >= 746 @ 299.117
299.37/300.33	c bounds - >= 747 @ 299.117
299.37/300.33	c bounds - >= 748 @ 299.117
299.37/300.33	c bounds - >= 749 @ 299.117
299.37/300.33	c bounds - >= 750 @ 299.117
299.37/300.33	c bounds - >= 751 @ 299.117
299.37/300.33	c bounds - >= 752 @ 299.117
299.37/300.33	c bounds - >= 753 @ 299.117
299.37/300.33	c bounds - >= 754 @ 299.118
299.37/300.33	c bounds - >= 755 @ 299.118
299.37/300.33	c bounds - >= 756 @ 299.118
299.37/300.33	c bounds - >= 757 @ 299.118
299.37/300.33	c bounds - >= 758 @ 299.119
299.37/300.33	c bounds - >= 759 @ 299.119
299.37/300.33	c bounds - >= 760 @ 299.119
299.37/300.33	c bounds - >= 761 @ 299.119
299.37/300.33	c bounds - >= 762 @ 299.119
299.37/300.33	c bounds - >= 763 @ 299.119
299.37/300.33	c bounds - >= 764 @ 299.119
299.37/300.33	c bounds - >= 765 @ 299.119
299.37/300.33	c bounds - >= 766 @ 299.119
299.37/300.33	c bounds - >= 767 @ 299.119
299.37/300.33	c bounds - >= 768 @ 299.119
299.37/300.33	c bounds - >= 769 @ 299.119
299.37/300.33	c bounds - >= 770 @ 299.12
299.37/300.33	c bounds - >= 771 @ 299.12
299.37/300.33	c bounds - >= 772 @ 299.12
299.37/300.33	c bounds - >= 773 @ 299.12
299.37/300.33	c bounds - >= 774 @ 299.121
299.37/300.33	c bounds - >= 775 @ 299.121
299.37/300.33	c bounds - >= 776 @ 299.121
299.37/300.33	c bounds - >= 777 @ 299.121
299.37/300.33	c bounds - >= 778 @ 299.122
299.37/300.33	c bounds - >= 779 @ 299.122
299.37/300.33	c bounds - >= 780 @ 299.122
299.37/300.33	c bounds - >= 781 @ 299.122
299.37/300.33	c bounds - >= 782 @ 299.122
299.37/300.33	c bounds - >= 783 @ 299.122
299.37/300.33	c bounds - >= 784 @ 299.122
299.37/300.33	c bounds - >= 785 @ 299.122
299.37/300.33	c bounds - >= 786 @ 299.122
299.37/300.33	c bounds - >= 787 @ 299.122
299.37/300.33	c bounds - >= 788 @ 299.122
299.37/300.33	c bounds - >= 789 @ 299.122
299.37/300.33	c bounds - >= 790 @ 299.122
299.37/300.33	c bounds - >= 791 @ 299.122
299.37/300.33	c bounds - >= 792 @ 299.122
299.37/300.33	c bounds - >= 793 @ 299.123
299.37/300.33	c bounds - >= 794 @ 299.123
299.37/300.33	c bounds - >= 795 @ 299.123
299.37/300.33	c bounds - >= 796 @ 299.124
299.37/300.33	c bounds - >= 797 @ 299.124
299.37/300.33	c bounds - >= 798 @ 299.124
299.37/300.33	c bounds - >= 799 @ 299.125
299.37/300.33	c bounds - >= 800 @ 299.125
299.37/300.33	c bounds - >= 801 @ 299.125
299.37/300.33	c bounds - >= 802 @ 299.125
299.37/300.33	c bounds - >= 803 @ 299.125
299.37/300.33	c bounds - >= 804 @ 299.125
299.37/300.33	c bounds - >= 805 @ 299.126
299.37/300.33	c bounds - >= 806 @ 299.126
299.37/300.33	c bounds - >= 807 @ 299.126
299.37/300.33	c bounds - >= 808 @ 299.127
299.37/300.33	c bounds - >= 809 @ 299.127
299.37/300.33	c bounds - >= 810 @ 299.127
299.37/300.33	c bounds - >= 811 @ 299.128
299.37/300.33	c bounds - >= 812 @ 299.128
299.37/300.33	c bounds - >= 813 @ 299.128
299.37/300.33	c bounds - >= 814 @ 299.128
299.37/300.33	c bounds - >= 815 @ 299.128
299.37/300.33	c bounds - >= 816 @ 299.129
299.37/300.33	c bounds - >= 817 @ 299.129
299.37/300.33	c bounds - >= 818 @ 299.13
299.37/300.33	c bounds - >= 819 @ 299.13
299.37/300.33	c bounds - >= 820 @ 299.131
352.81/353.93	c bounds - >= 821 @ 299.131
352.81/353.93	c bounds - >= 822 @ 299.131
352.81/353.93	c #Conflicts:       1000 | #Constraints:       5209
352.81/353.93	c #Conflicts:       2000 | #Constraints:       6209
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:       3000 | #Constraints:       6046
352.81/353.93	c #Conflicts:       4000 | #Constraints:       7046
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:       5000 | #Constraints:       6433
352.81/353.93	c #Conflicts:       6000 | #Constraints:       7433
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:       7000 | #Constraints:       6441
352.81/353.93	c #Conflicts:       8000 | #Constraints:       7441
352.81/353.93	c #Conflicts:       9000 | #Constraints:       8441
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      10000 | #Constraints:       7115
352.81/353.93	c #Conflicts:      11000 | #Constraints:       8115
352.81/353.93	c #Conflicts:      12000 | #Constraints:       9115
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      13000 | #Constraints:       7552
352.81/353.93	c #Conflicts:      14000 | #Constraints:       8552
352.81/353.93	c #Conflicts:      15000 | #Constraints:       9552
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      16000 | #Constraints:       7773
352.81/353.93	c #Conflicts:      17000 | #Constraints:       8773
352.81/353.93	c #Conflicts:      18000 | #Constraints:       9773
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      19000 | #Constraints:       7818
352.81/353.93	c #Conflicts:      20000 | #Constraints:       8818
352.81/353.93	c #Conflicts:      21000 | #Constraints:       9818
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      22000 | #Constraints:       7627
352.81/353.93	c #Conflicts:      23000 | #Constraints:       8627
352.81/353.93	c #Conflicts:      24000 | #Constraints:       9627
352.81/353.93	c #Conflicts:      25000 | #Constraints:      10627
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      26000 | #Constraints:       8212
352.81/353.93	c #Conflicts:      27000 | #Constraints:       9212
352.81/353.93	c #Conflicts:      28000 | #Constraints:      10212
352.81/353.93	c #Conflicts:      29000 | #Constraints:      11212
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      30000 | #Constraints:       8601
352.81/353.93	c #Conflicts:      31000 | #Constraints:       9601
352.81/353.93	c #Conflicts:      32000 | #Constraints:      10601
352.81/353.93	c #Conflicts:      33000 | #Constraints:      11601
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      34000 | #Constraints:       8805
352.81/353.93	c #Conflicts:      35000 | #Constraints:       9805
352.81/353.93	c #Conflicts:      36000 | #Constraints:      10805
352.81/353.93	c #Conflicts:      37000 | #Constraints:      11805
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      38000 | #Constraints:       8797
352.81/353.93	c #Conflicts:      39000 | #Constraints:       9797
352.81/353.93	c #Conflicts:      40000 | #Constraints:      10797
352.81/353.93	c #Conflicts:      41000 | #Constraints:      11797
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      42000 | #Constraints:       8597
352.81/353.93	c #Conflicts:      43000 | #Constraints:       9597
352.81/353.93	c #Conflicts:      44000 | #Constraints:      10597
352.81/353.93	c #Conflicts:      45000 | #Constraints:      11597
352.81/353.93	c #Conflicts:      46000 | #Constraints:      12597
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      47000 | #Constraints:       9211
352.81/353.93	c #Conflicts:      48000 | #Constraints:      10211
352.81/353.93	c #Conflicts:      49000 | #Constraints:      11211
352.81/353.93	c #Conflicts:      50000 | #Constraints:      12211
352.81/353.93	c #Conflicts:      51000 | #Constraints:      13211
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      52000 | #Constraints:       9612
352.81/353.93	c #Conflicts:      53000 | #Constraints:      10612
352.81/353.93	c #Conflicts:      54000 | #Constraints:      11612
352.81/353.93	c #Conflicts:      55000 | #Constraints:      12612
352.81/353.93	c #Conflicts:      56000 | #Constraints:      13612
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      57000 | #Constraints:       9808
352.81/353.93	c #Conflicts:      58000 | #Constraints:      10808
352.81/353.93	c #Conflicts:      59000 | #Constraints:      11808
352.81/353.93	c #Conflicts:      60000 | #Constraints:      12808
352.81/353.93	c #Conflicts:      61000 | #Constraints:      13808
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      62000 | #Constraints:       9806
352.81/353.93	c #Conflicts:      63000 | #Constraints:      10806
352.81/353.93	c #Conflicts:      64000 | #Constraints:      11806
352.81/353.93	c #Conflicts:      65000 | #Constraints:      12806
352.81/353.93	c #Conflicts:      66000 | #Constraints:      13806
352.81/353.93	c INPROCESSING
352.81/353.93	c GARBAGE COLLECT
352.81/353.93	c #Conflicts:      67000 | #Constraints:       9607
469.41/470.89	c #Conflicts:      68000 | #Constraints:      10607
469.41/470.89	c #Conflicts:      69000 | #Constraints:      11607
469.41/470.89	c #Conflicts:      70000 | #Constraints:      12607
469.41/470.89	c #Conflicts:      71000 | #Constraints:      13607
469.41/470.89	c #Conflicts:      72000 | #Constraints:      14607
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:      73000 | #Constraints:      10211
469.41/470.89	c #Conflicts:      74000 | #Constraints:      11211
469.41/470.89	c #Conflicts:      75000 | #Constraints:      12211
469.41/470.89	c #Conflicts:      76000 | #Constraints:      13211
469.41/470.89	c #Conflicts:      77000 | #Constraints:      14211
469.41/470.89	c #Conflicts:      78000 | #Constraints:      15211
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:      79000 | #Constraints:      10604
469.41/470.89	c #Conflicts:      80000 | #Constraints:      11604
469.41/470.89	c #Conflicts:      81000 | #Constraints:      12604
469.41/470.89	c #Conflicts:      82000 | #Constraints:      13604
469.41/470.89	c #Conflicts:      83000 | #Constraints:      14604
469.41/470.89	c #Conflicts:      84000 | #Constraints:      15604
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:      85000 | #Constraints:      10806
469.41/470.89	c #Conflicts:      86000 | #Constraints:      11806
469.41/470.89	c #Conflicts:      87000 | #Constraints:      12806
469.41/470.89	c #Conflicts:      88000 | #Constraints:      13806
469.41/470.89	c #Conflicts:      89000 | #Constraints:      14806
469.41/470.89	c #Conflicts:      90000 | #Constraints:      15806
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:      91000 | #Constraints:      10807
469.41/470.89	c #Conflicts:      92000 | #Constraints:      11807
469.41/470.89	c #Conflicts:      93000 | #Constraints:      12807
469.41/470.89	c #Conflicts:      94000 | #Constraints:      13807
469.41/470.89	c #Conflicts:      95000 | #Constraints:      14807
469.41/470.89	c #Conflicts:      96000 | #Constraints:      15807
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:      97000 | #Constraints:      10604
469.41/470.89	c #Conflicts:      98000 | #Constraints:      11604
469.41/470.89	c #Conflicts:      99000 | #Constraints:      12604
469.41/470.89	c #Conflicts:     100000 | #Constraints:      13604
469.41/470.89	c #Conflicts:     101000 | #Constraints:      14604
469.41/470.89	c #Conflicts:     102000 | #Constraints:      15604
469.41/470.89	c #Conflicts:     103000 | #Constraints:      16604
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:     104000 | #Constraints:      11207
469.41/470.89	c #Conflicts:     105000 | #Constraints:      12207
469.41/470.89	c #Conflicts:     106000 | #Constraints:      13207
469.41/470.89	c #Conflicts:     107000 | #Constraints:      14207
469.41/470.89	c #Conflicts:     108000 | #Constraints:      15207
469.41/470.89	c #Conflicts:     109000 | #Constraints:      16207
469.41/470.89	c #Conflicts:     110000 | #Constraints:      17207
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:     111000 | #Constraints:      11611
469.41/470.89	c #Conflicts:     112000 | #Constraints:      12611
469.41/470.89	c #Conflicts:     113000 | #Constraints:      13611
469.41/470.89	c #Conflicts:     114000 | #Constraints:      14611
469.41/470.89	c #Conflicts:     115000 | #Constraints:      15611
469.41/470.89	c #Conflicts:     116000 | #Constraints:      16611
469.41/470.89	c #Conflicts:     117000 | #Constraints:      17611
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:     118000 | #Constraints:      11813
469.41/470.89	c #Conflicts:     119000 | #Constraints:      12813
469.41/470.89	c #Conflicts:     120000 | #Constraints:      13813
469.41/470.89	c #Conflicts:     121000 | #Constraints:      14813
469.41/470.89	c #Conflicts:     122000 | #Constraints:      15813
469.41/470.89	c #Conflicts:     123000 | #Constraints:      16813
469.41/470.89	c #Conflicts:     124000 | #Constraints:      17813
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:     125000 | #Constraints:      11815
469.41/470.89	c #Conflicts:     126000 | #Constraints:      12815
469.41/470.89	c #Conflicts:     127000 | #Constraints:      13815
469.41/470.89	c #Conflicts:     128000 | #Constraints:      14815
469.41/470.89	c #Conflicts:     129000 | #Constraints:      15815
469.41/470.89	c #Conflicts:     130000 | #Constraints:      16815
469.41/470.89	c #Conflicts:     131000 | #Constraints:      17815
469.41/470.89	c INPROCESSING
469.41/470.89	c GARBAGE COLLECT
469.41/470.89	c #Conflicts:     132000 | #Constraints:      11612
469.41/470.89	c #Conflicts:     133000 | #Constraints:      12612
469.41/470.89	c #Conflicts:     134000 | #Constraints:      13612
469.41/470.89	c #Conflicts:     135000 | #Constraints:      14612
469.41/470.89	c #Conflicts:     136000 | #Constraints:      15612
469.41/470.89	c #Conflicts:     137000 | #Constraints:      16612
469.41/470.89	c #Conflicts:     138000 | #Constraints:      17612
469.41/470.89	c #Conflicts:     139000 | #Constraints:      18612
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     140000 | #Constraints:      12205
594.68/596.44	c #Conflicts:     141000 | #Constraints:      13205
594.68/596.44	c #Conflicts:     142000 | #Constraints:      14205
594.68/596.44	c #Conflicts:     143000 | #Constraints:      15205
594.68/596.44	c #Conflicts:     144000 | #Constraints:      16205
594.68/596.44	c #Conflicts:     145000 | #Constraints:      17205
594.68/596.44	c #Conflicts:     146000 | #Constraints:      18205
594.68/596.44	c #Conflicts:     147000 | #Constraints:      19205
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     148000 | #Constraints:      12608
594.68/596.44	c #Conflicts:     149000 | #Constraints:      13608
594.68/596.44	c #Conflicts:     150000 | #Constraints:      14608
594.68/596.44	c #Conflicts:     151000 | #Constraints:      15608
594.68/596.44	c #Conflicts:     152000 | #Constraints:      16608
594.68/596.44	c #Conflicts:     153000 | #Constraints:      17608
594.68/596.44	c #Conflicts:     154000 | #Constraints:      18608
594.68/596.44	c #Conflicts:     155000 | #Constraints:      19608
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     156000 | #Constraints:      12810
594.68/596.44	c #Conflicts:     157000 | #Constraints:      13810
594.68/596.44	c #Conflicts:     158000 | #Constraints:      14810
594.68/596.44	c #Conflicts:     159000 | #Constraints:      15810
594.68/596.44	c #Conflicts:     160000 | #Constraints:      16810
594.68/596.44	c #Conflicts:     161000 | #Constraints:      17810
594.68/596.44	c #Conflicts:     162000 | #Constraints:      18810
594.68/596.44	c #Conflicts:     163000 | #Constraints:      19810
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     164000 | #Constraints:      12813
594.68/596.44	c #Conflicts:     165000 | #Constraints:      13813
594.68/596.44	c #Conflicts:     166000 | #Constraints:      14813
594.68/596.44	c #Conflicts:     167000 | #Constraints:      15813
594.68/596.44	c #Conflicts:     168000 | #Constraints:      16813
594.68/596.44	c #Conflicts:     169000 | #Constraints:      17813
594.68/596.44	c #Conflicts:     170000 | #Constraints:      18813
594.68/596.44	c #Conflicts:     171000 | #Constraints:      19813
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     172000 | #Constraints:      12616
594.68/596.44	c #Conflicts:     173000 | #Constraints:      13616
594.68/596.44	c #Conflicts:     174000 | #Constraints:      14616
594.68/596.44	c #Conflicts:     175000 | #Constraints:      15616
594.68/596.44	c #Conflicts:     176000 | #Constraints:      16616
594.68/596.44	c #Conflicts:     177000 | #Constraints:      17616
594.68/596.44	c #Conflicts:     178000 | #Constraints:      18616
594.68/596.44	c #Conflicts:     179000 | #Constraints:      19616
594.68/596.44	c #Conflicts:     180000 | #Constraints:      20616
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     181000 | #Constraints:      13218
594.68/596.44	c #Conflicts:     182000 | #Constraints:      14218
594.68/596.44	c #Conflicts:     183000 | #Constraints:      15218
594.68/596.44	c #Conflicts:     184000 | #Constraints:      16218
594.68/596.44	c #Conflicts:     185000 | #Constraints:      17218
594.68/596.44	c #Conflicts:     186000 | #Constraints:      18218
594.68/596.44	c #Conflicts:     187000 | #Constraints:      19218
594.68/596.44	c #Conflicts:     188000 | #Constraints:      20218
594.68/596.44	c #Conflicts:     189000 | #Constraints:      21218
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     190000 | #Constraints:      13616
594.68/596.44	c #Conflicts:     191000 | #Constraints:      14616
594.68/596.44	c #Conflicts:     192000 | #Constraints:      15616
594.68/596.44	c #Conflicts:     193000 | #Constraints:      16616
594.68/596.44	c #Conflicts:     194000 | #Constraints:      17616
594.68/596.44	c #Conflicts:     195000 | #Constraints:      18616
594.68/596.44	c #Conflicts:     196000 | #Constraints:      19616
594.68/596.44	c #Conflicts:     197000 | #Constraints:      20616
594.68/596.44	c #Conflicts:     198000 | #Constraints:      21616
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     199000 | #Constraints:      13820
594.68/596.44	c #Conflicts:     200000 | #Constraints:      14820
594.68/596.44	c #Conflicts:     201000 | #Constraints:      15820
594.68/596.44	c #Conflicts:     202000 | #Constraints:      16820
594.68/596.44	c #Conflicts:     203000 | #Constraints:      17820
594.68/596.44	c #Conflicts:     204000 | #Constraints:      18820
594.68/596.44	c #Conflicts:     205000 | #Constraints:      19820
594.68/596.44	c #Conflicts:     206000 | #Constraints:      20820
594.68/596.44	c #Conflicts:     207000 | #Constraints:      21820
594.68/596.44	c INPROCESSING
594.68/596.44	c GARBAGE COLLECT
594.68/596.44	c #Conflicts:     208000 | #Constraints:      13819
594.68/596.44	c #Conflicts:     209000 | #Constraints:      14819
594.68/596.44	c #Conflicts:     210000 | #Constraints:      15819
594.68/596.44	c #Conflicts:     211000 | #Constraints:      16819
594.68/596.44	c #Conflicts:     212000 | #Constraints:      17819
772.80/775.10	c #Conflicts:     213000 | #Constraints:      18819
772.80/775.10	c #Conflicts:     214000 | #Constraints:      19819
772.80/775.10	c #Conflicts:     215000 | #Constraints:      20819
772.80/775.10	c #Conflicts:     216000 | #Constraints:      21819
772.80/775.10	c INPROCESSING
772.80/775.10	c GARBAGE COLLECT
772.80/775.10	c #Conflicts:     217000 | #Constraints:      13622
772.80/775.10	c #Conflicts:     218000 | #Constraints:      14622
772.80/775.10	c #Conflicts:     219000 | #Constraints:      15622
772.80/775.10	c #Conflicts:     220000 | #Constraints:      16622
772.80/775.10	c #Conflicts:     221000 | #Constraints:      17622
772.80/775.10	c #Conflicts:     222000 | #Constraints:      18622
772.80/775.10	c #Conflicts:     223000 | #Constraints:      19622
772.80/775.10	c #Conflicts:     224000 | #Constraints:      20622
772.80/775.10	c #Conflicts:     225000 | #Constraints:      21622
772.80/775.10	c #Conflicts:     226000 | #Constraints:      22622
772.80/775.10	c INPROCESSING
772.80/775.10	c GARBAGE COLLECT
772.80/775.10	c #Conflicts:     227000 | #Constraints:      14220
772.80/775.10	c #Conflicts:     228000 | #Constraints:      15220
772.80/775.10	c #Conflicts:     229000 | #Constraints:      16220
772.80/775.10	c #Conflicts:     230000 | #Constraints:      17220
772.80/775.10	c #Conflicts:     231000 | #Constraints:      18220
772.90/775.10	c #Conflicts:     232000 | #Constraints:      19220
772.90/775.10	c #Conflicts:     233000 | #Constraints:      20220
772.90/775.10	c #Conflicts:     234000 | #Constraints:      21220
772.90/775.10	c #Conflicts:     235000 | #Constraints:      22220
772.90/775.10	c #Conflicts:     236000 | #Constraints:      23220
772.90/775.10	c INPROCESSING
772.90/775.10	c GARBAGE COLLECT
772.90/775.10	c #Conflicts:     237000 | #Constraints:      14617
772.90/775.10	c #Conflicts:     238000 | #Constraints:      15617
772.90/775.10	c #Conflicts:     239000 | #Constraints:      16617
772.90/775.10	c #Conflicts:     240000 | #Constraints:      17617
772.90/775.10	c #Conflicts:     241000 | #Constraints:      18617
772.90/775.10	c #Conflicts:     242000 | #Constraints:      19617
772.90/775.10	c #Conflicts:     243000 | #Constraints:      20617
772.90/775.10	c #Conflicts:     244000 | #Constraints:      21617
772.90/775.10	c #Conflicts:     245000 | #Constraints:      22617
772.90/775.10	c #Conflicts:     246000 | #Constraints:      23617
772.90/775.10	c INPROCESSING
772.90/775.10	c GARBAGE COLLECT
772.90/775.10	c #Conflicts:     247000 | #Constraints:      14827
772.90/775.10	c #Conflicts:     248000 | #Constraints:      15827
772.90/775.10	c #Conflicts:     249000 | #Constraints:      16827
772.90/775.10	c #Conflicts:     250000 | #Constraints:      17827
772.90/775.10	c #Conflicts:     251000 | #Constraints:      18827
772.90/775.10	c #Conflicts:     252000 | #Constraints:      19827
772.90/775.10	c #Conflicts:     253000 | #Constraints:      20827
772.90/775.10	c #Conflicts:     254000 | #Constraints:      21827
772.90/775.10	c #Conflicts:     255000 | #Constraints:      22827
772.90/775.10	c #Conflicts:     256000 | #Constraints:      23827
772.90/775.10	c INPROCESSING
772.90/775.10	c GARBAGE COLLECT
772.90/775.10	c #Conflicts:     257000 | #Constraints:      14811
772.90/775.10	c #Conflicts:     258000 | #Constraints:      15811
772.90/775.10	c #Conflicts:     259000 | #Constraints:      16811
772.90/775.10	c #Conflicts:     260000 | #Constraints:      17811
772.90/775.10	c #Conflicts:     261000 | #Constraints:      18811
772.90/775.10	c #Conflicts:     262000 | #Constraints:      19811
772.90/775.10	c #Conflicts:     263000 | #Constraints:      20811
772.90/775.10	c #Conflicts:     264000 | #Constraints:      21811
772.90/775.10	c #Conflicts:     265000 | #Constraints:      22811
772.90/775.10	c #Conflicts:     266000 | #Constraints:      23811
772.90/775.10	c INPROCESSING
772.90/775.10	c GARBAGE COLLECT
772.90/775.10	c #Conflicts:     267000 | #Constraints:      14609
772.90/775.10	c #Conflicts:     268000 | #Constraints:      15609
772.90/775.10	c #Conflicts:     269000 | #Constraints:      16609
772.90/775.10	c #Conflicts:     270000 | #Constraints:      17609
772.90/775.10	c #Conflicts:     271000 | #Constraints:      18609
772.90/775.10	c #Conflicts:     272000 | #Constraints:      19609
772.90/775.10	c #Conflicts:     273000 | #Constraints:      20609
772.90/775.10	c #Conflicts:     274000 | #Constraints:      21609
772.90/775.10	c #Conflicts:     275000 | #Constraints:      22609
772.90/775.10	c #Conflicts:     276000 | #Constraints:      23609
772.90/775.10	c #Conflicts:     277000 | #Constraints:      24609
772.90/775.10	c INPROCESSING
772.90/775.10	c GARBAGE COLLECT
772.90/775.10	c #Conflicts:     278000 | #Constraints:      15201
772.90/775.10	c #Conflicts:     279000 | #Constraints:      16201
772.90/775.10	c #Conflicts:     280000 | #Constraints:      17201
772.90/775.10	c #Conflicts:     281000 | #Constraints:      18201
772.90/775.10	c #Conflicts:     282000 | #Constraints:      19201
772.90/775.10	c #Conflicts:     283000 | #Constraints:      20201
772.90/775.10	c #Conflicts:     284000 | #Constraints:      21201
772.90/775.10	c #Conflicts:     285000 | #Constraints:      22201
772.90/775.10	c #Conflicts:     286000 | #Constraints:      23201
951.62/954.39	c #Conflicts:     287000 | #Constraints:      24201
951.62/954.39	c #Conflicts:     288000 | #Constraints:      25201
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     289000 | #Constraints:      15609
951.62/954.39	c #Conflicts:     290000 | #Constraints:      16609
951.62/954.39	c #Conflicts:     291000 | #Constraints:      17609
951.62/954.39	c #Conflicts:     292000 | #Constraints:      18609
951.62/954.39	c #Conflicts:     293000 | #Constraints:      19609
951.62/954.39	c #Conflicts:     294000 | #Constraints:      20609
951.62/954.39	c #Conflicts:     295000 | #Constraints:      21609
951.62/954.39	c #Conflicts:     296000 | #Constraints:      22609
951.62/954.39	c #Conflicts:     297000 | #Constraints:      23609
951.62/954.39	c #Conflicts:     298000 | #Constraints:      24609
951.62/954.39	c #Conflicts:     299000 | #Constraints:      25609
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     300000 | #Constraints:      15805
951.62/954.39	c #Conflicts:     301000 | #Constraints:      16805
951.62/954.39	c #Conflicts:     302000 | #Constraints:      17805
951.62/954.39	c #Conflicts:     303000 | #Constraints:      18805
951.62/954.39	c #Conflicts:     304000 | #Constraints:      19805
951.62/954.39	c #Conflicts:     305000 | #Constraints:      20805
951.62/954.39	c #Conflicts:     306000 | #Constraints:      21805
951.62/954.39	c #Conflicts:     307000 | #Constraints:      22805
951.62/954.39	c #Conflicts:     308000 | #Constraints:      23805
951.62/954.39	c #Conflicts:     309000 | #Constraints:      24805
951.62/954.39	c #Conflicts:     310000 | #Constraints:      25805
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     311000 | #Constraints:      15803
951.62/954.39	c #Conflicts:     312000 | #Constraints:      16803
951.62/954.39	c #Conflicts:     313000 | #Constraints:      17803
951.62/954.39	c #Conflicts:     314000 | #Constraints:      18803
951.62/954.39	c #Conflicts:     315000 | #Constraints:      19803
951.62/954.39	c #Conflicts:     316000 | #Constraints:      20803
951.62/954.39	c #Conflicts:     317000 | #Constraints:      21803
951.62/954.39	c #Conflicts:     318000 | #Constraints:      22803
951.62/954.39	c #Conflicts:     319000 | #Constraints:      23803
951.62/954.39	c #Conflicts:     320000 | #Constraints:      24803
951.62/954.39	c #Conflicts:     321000 | #Constraints:      25803
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     322000 | #Constraints:      15606
951.62/954.39	c #Conflicts:     323000 | #Constraints:      16606
951.62/954.39	c #Conflicts:     324000 | #Constraints:      17606
951.62/954.39	c #Conflicts:     325000 | #Constraints:      18606
951.62/954.39	c #Conflicts:     326000 | #Constraints:      19606
951.62/954.39	c #Conflicts:     327000 | #Constraints:      20606
951.62/954.39	c #Conflicts:     328000 | #Constraints:      21606
951.62/954.39	c #Conflicts:     329000 | #Constraints:      22606
951.62/954.39	c #Conflicts:     330000 | #Constraints:      23606
951.62/954.39	c #Conflicts:     331000 | #Constraints:      24606
951.62/954.39	c #Conflicts:     332000 | #Constraints:      25606
951.62/954.39	c #Conflicts:     333000 | #Constraints:      26606
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     334000 | #Constraints:      16207
951.62/954.39	c #Conflicts:     335000 | #Constraints:      17207
951.62/954.39	c #Conflicts:     336000 | #Constraints:      18207
951.62/954.39	c #Conflicts:     337000 | #Constraints:      19207
951.62/954.39	c #Conflicts:     338000 | #Constraints:      20207
951.62/954.39	c #Conflicts:     339000 | #Constraints:      21207
951.62/954.39	c #Conflicts:     340000 | #Constraints:      22207
951.62/954.39	c #Conflicts:     341000 | #Constraints:      23207
951.62/954.39	c #Conflicts:     342000 | #Constraints:      24207
951.62/954.39	c #Conflicts:     343000 | #Constraints:      25207
951.62/954.39	c #Conflicts:     344000 | #Constraints:      26207
951.62/954.39	c #Conflicts:     345000 | #Constraints:      27207
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     346000 | #Constraints:      16610
951.62/954.39	c #Conflicts:     347000 | #Constraints:      17610
951.62/954.39	c #Conflicts:     348000 | #Constraints:      18610
951.62/954.39	c #Conflicts:     349000 | #Constraints:      19610
951.62/954.39	c #Conflicts:     350000 | #Constraints:      20610
951.62/954.39	c #Conflicts:     351000 | #Constraints:      21610
951.62/954.39	c #Conflicts:     352000 | #Constraints:      22610
951.62/954.39	c #Conflicts:     353000 | #Constraints:      23610
951.62/954.39	c #Conflicts:     354000 | #Constraints:      24610
951.62/954.39	c #Conflicts:     355000 | #Constraints:      25610
951.62/954.39	c #Conflicts:     356000 | #Constraints:      26610
951.62/954.39	c #Conflicts:     357000 | #Constraints:      27610
951.62/954.39	c INPROCESSING
951.62/954.39	c GARBAGE COLLECT
951.62/954.39	c #Conflicts:     358000 | #Constraints:      16808
951.62/954.39	c #Conflicts:     359000 | #Constraints:      17808
951.62/954.39	c #Conflicts:     360000 | #Constraints:      18808
951.62/954.39	c #Conflicts:     361000 | #Constraints:      19808
1149.89/1153.20	c #Conflicts:     362000 | #Constraints:      20808
1149.89/1153.20	c #Conflicts:     363000 | #Constraints:      21808
1149.89/1153.20	c #Conflicts:     364000 | #Constraints:      22808
1149.89/1153.20	c #Conflicts:     365000 | #Constraints:      23808
1149.89/1153.20	c #Conflicts:     366000 | #Constraints:      24808
1149.89/1153.20	c #Conflicts:     367000 | #Constraints:      25808
1149.89/1153.20	c #Conflicts:     368000 | #Constraints:      26808
1149.89/1153.20	c #Conflicts:     369000 | #Constraints:      27808
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     370000 | #Constraints:      16810
1149.89/1153.20	c #Conflicts:     371000 | #Constraints:      17810
1149.89/1153.20	c #Conflicts:     372000 | #Constraints:      18810
1149.89/1153.20	c #Conflicts:     373000 | #Constraints:      19810
1149.89/1153.20	c #Conflicts:     374000 | #Constraints:      20810
1149.89/1153.20	c #Conflicts:     375000 | #Constraints:      21810
1149.89/1153.20	c #Conflicts:     376000 | #Constraints:      22810
1149.89/1153.20	c #Conflicts:     377000 | #Constraints:      23810
1149.89/1153.20	c #Conflicts:     378000 | #Constraints:      24810
1149.89/1153.20	c #Conflicts:     379000 | #Constraints:      25810
1149.89/1153.20	c #Conflicts:     380000 | #Constraints:      26810
1149.89/1153.20	c #Conflicts:     381000 | #Constraints:      27810
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     382000 | #Constraints:      16614
1149.89/1153.20	c #Conflicts:     383000 | #Constraints:      17614
1149.89/1153.20	c #Conflicts:     384000 | #Constraints:      18614
1149.89/1153.20	c #Conflicts:     385000 | #Constraints:      19614
1149.89/1153.20	c #Conflicts:     386000 | #Constraints:      20614
1149.89/1153.20	c #Conflicts:     387000 | #Constraints:      21614
1149.89/1153.20	c #Conflicts:     388000 | #Constraints:      22614
1149.89/1153.20	c #Conflicts:     389000 | #Constraints:      23614
1149.89/1153.20	c #Conflicts:     390000 | #Constraints:      24614
1149.89/1153.20	c #Conflicts:     391000 | #Constraints:      25614
1149.89/1153.20	c #Conflicts:     392000 | #Constraints:      26614
1149.89/1153.20	c #Conflicts:     393000 | #Constraints:      27614
1149.89/1153.20	c #Conflicts:     394000 | #Constraints:      28614
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     395000 | #Constraints:      17213
1149.89/1153.20	c #Conflicts:     396000 | #Constraints:      18213
1149.89/1153.20	c #Conflicts:     397000 | #Constraints:      19213
1149.89/1153.20	c #Conflicts:     398000 | #Constraints:      20213
1149.89/1153.20	c #Conflicts:     399000 | #Constraints:      21213
1149.89/1153.20	c #Conflicts:     400000 | #Constraints:      22213
1149.89/1153.20	c #Conflicts:     401000 | #Constraints:      23213
1149.89/1153.20	c #Conflicts:     402000 | #Constraints:      24213
1149.89/1153.20	c #Conflicts:     403000 | #Constraints:      25213
1149.89/1153.20	c #Conflicts:     404000 | #Constraints:      26213
1149.89/1153.20	c #Conflicts:     405000 | #Constraints:      27213
1149.89/1153.20	c #Conflicts:     406000 | #Constraints:      28213
1149.89/1153.20	c #Conflicts:     407000 | #Constraints:      29213
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     408000 | #Constraints:      17609
1149.89/1153.20	c #Conflicts:     409000 | #Constraints:      18609
1149.89/1153.20	c #Conflicts:     410000 | #Constraints:      19609
1149.89/1153.20	c #Conflicts:     411000 | #Constraints:      20609
1149.89/1153.20	c #Conflicts:     412000 | #Constraints:      21609
1149.89/1153.20	c #Conflicts:     413000 | #Constraints:      22609
1149.89/1153.20	c #Conflicts:     414000 | #Constraints:      23609
1149.89/1153.20	c #Conflicts:     415000 | #Constraints:      24609
1149.89/1153.20	c #Conflicts:     416000 | #Constraints:      25609
1149.89/1153.20	c #Conflicts:     417000 | #Constraints:      26609
1149.89/1153.20	c #Conflicts:     418000 | #Constraints:      27609
1149.89/1153.20	c #Conflicts:     419000 | #Constraints:      28609
1149.89/1153.20	c #Conflicts:     420000 | #Constraints:      29609
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     421000 | #Constraints:      17810
1149.89/1153.20	c #Conflicts:     422000 | #Constraints:      18810
1149.89/1153.20	c #Conflicts:     423000 | #Constraints:      19810
1149.89/1153.20	c #Conflicts:     424000 | #Constraints:      20810
1149.89/1153.20	c #Conflicts:     425000 | #Constraints:      21810
1149.89/1153.20	c #Conflicts:     426000 | #Constraints:      22810
1149.89/1153.20	c #Conflicts:     427000 | #Constraints:      23810
1149.89/1153.20	c #Conflicts:     428000 | #Constraints:      24810
1149.89/1153.20	c #Conflicts:     429000 | #Constraints:      25810
1149.89/1153.20	c #Conflicts:     430000 | #Constraints:      26810
1149.89/1153.20	c #Conflicts:     431000 | #Constraints:      27810
1149.89/1153.20	c #Conflicts:     432000 | #Constraints:      28810
1149.89/1153.20	c #Conflicts:     433000 | #Constraints:      29810
1149.89/1153.20	c INPROCESSING
1149.89/1153.20	c GARBAGE COLLECT
1149.89/1153.20	c #Conflicts:     434000 | #Constraints:      17818
1149.89/1153.20	c #Conflicts:     435000 | #Constraints:      18818
1149.89/1153.20	c #Conflicts:     436000 | #Constraints:      19818
1311.59/1315.45	c #Conflicts:     437000 | #Constraints:      20818
1311.59/1315.45	c #Conflicts:     438000 | #Constraints:      21818
1311.59/1315.45	c #Conflicts:     439000 | #Constraints:      22818
1311.59/1315.45	c #Conflicts:     440000 | #Constraints:      23818
1311.59/1315.45	c #Conflicts:     441000 | #Constraints:      24818
1311.59/1315.45	c #Conflicts:     442000 | #Constraints:      25818
1311.59/1315.45	c #Conflicts:     443000 | #Constraints:      26818
1311.59/1315.45	c #Conflicts:     444000 | #Constraints:      27818
1311.59/1315.45	c #Conflicts:     445000 | #Constraints:      28818
1311.59/1315.45	c #Conflicts:     446000 | #Constraints:      29818
1311.59/1315.45	c INPROCESSING
1311.59/1315.45	c GARBAGE COLLECT
1311.59/1315.45	c #Conflicts:     447000 | #Constraints:      17621
1311.59/1315.45	c #Conflicts:     448000 | #Constraints:      18621
1311.59/1315.45	c #Conflicts:     449000 | #Constraints:      19621
1311.59/1315.45	c #Conflicts:     450000 | #Constraints:      20621
1311.59/1315.45	c #Conflicts:     451000 | #Constraints:      21621
1311.59/1315.45	c #Conflicts:     452000 | #Constraints:      22621
1311.59/1315.45	c #Conflicts:     453000 | #Constraints:      23621
1311.59/1315.45	c #Conflicts:     454000 | #Constraints:      24621
1311.59/1315.45	c #Conflicts:     455000 | #Constraints:      25621
1311.59/1315.45	c #Conflicts:     456000 | #Constraints:      26621
1311.59/1315.45	c #Conflicts:     457000 | #Constraints:      27621
1311.59/1315.45	c #Conflicts:     458000 | #Constraints:      28621
1311.59/1315.45	c #Conflicts:     459000 | #Constraints:      29621
1311.59/1315.45	c #Conflicts:     460000 | #Constraints:      30621
1311.59/1315.45	c INPROCESSING
1311.59/1315.45	c GARBAGE COLLECT
1311.59/1315.45	c #Conflicts:     461000 | #Constraints:      18214
1311.59/1315.45	c #Conflicts:     462000 | #Constraints:      19214
1311.59/1315.45	c #Conflicts:     463000 | #Constraints:      20214
1311.59/1315.45	c #Conflicts:     464000 | #Constraints:      21214
1311.59/1315.45	c #Conflicts:     465000 | #Constraints:      22214
1311.59/1315.45	c #Conflicts:     466000 | #Constraints:      23214
1311.59/1315.45	c #Conflicts:     467000 | #Constraints:      24214
1311.59/1315.45	c #Conflicts:     468000 | #Constraints:      25214
1311.59/1315.45	c #Conflicts:     469000 | #Constraints:      26214
1311.59/1315.45	c #Conflicts:     470000 | #Constraints:      27214
1311.59/1315.45	c #Conflicts:     471000 | #Constraints:      28214
1311.59/1315.45	c #Conflicts:     472000 | #Constraints:      29214
1311.59/1315.45	c #Conflicts:     473000 | #Constraints:      30214
1311.59/1315.45	c #Conflicts:     474000 | #Constraints:      31214
1311.59/1315.45	c INPROCESSING
1311.59/1315.45	c GARBAGE COLLECT
1311.59/1315.45	c #Conflicts:     475000 | #Constraints:      18612
1311.59/1315.45	c #Conflicts:     476000 | #Constraints:      19612
1311.59/1315.45	c #Conflicts:     477000 | #Constraints:      20612
1311.59/1315.45	c #Conflicts:     478000 | #Constraints:      21612
1311.59/1315.45	c #Conflicts:     479000 | #Constraints:      22612
1311.59/1315.45	c #Conflicts:     480000 | #Constraints:      23612
1311.59/1315.45	c #Conflicts:     481000 | #Constraints:      24612
1311.59/1315.45	c #Conflicts:     482000 | #Constraints:      25612
1311.59/1315.45	c #Conflicts:     483000 | #Constraints:      26612
1311.59/1315.45	c #Conflicts:     484000 | #Constraints:      27612
1311.59/1315.45	c #Conflicts:     485000 | #Constraints:      28612
1311.59/1315.45	c #Conflicts:     486000 | #Constraints:      29612
1311.59/1315.45	c #Conflicts:     487000 | #Constraints:      30612
1311.59/1315.45	c #Conflicts:     488000 | #Constraints:      31612
1311.59/1315.45	c INPROCESSING
1311.59/1315.45	c GARBAGE COLLECT
1311.59/1315.45	c #Conflicts:     489000 | #Constraints:      18820
1311.59/1315.45	c #Conflicts:     490000 | #Constraints:      19820
1311.59/1315.45	c #Conflicts:     491000 | #Constraints:      20820
1311.59/1315.45	c #Conflicts:     492000 | #Constraints:      21820
1311.59/1315.45	c #Conflicts:     493000 | #Constraints:      22820
1311.59/1315.45	c #Conflicts:     494000 | #Constraints:      23820
1311.59/1315.45	c #Conflicts:     495000 | #Constraints:      24820
1311.59/1315.45	c #Conflicts:     496000 | #Constraints:      25820
1311.59/1315.45	c #Conflicts:     497000 | #Constraints:      26820
1311.59/1315.45	c #Conflicts:     498000 | #Constraints:      27820
1311.59/1315.45	c #Conflicts:     499000 | #Constraints:      28820
1311.59/1315.45	c #Conflicts:     500000 | #Constraints:      29820
1311.59/1315.45	c #Conflicts:     501000 | #Constraints:      30820
1311.59/1315.45	c #Conflicts:     502000 | #Constraints:      31820
1311.59/1315.45	c INPROCESSING
1311.59/1315.45	c GARBAGE COLLECT
1311.59/1315.45	c #Conflicts:     503000 | #Constraints:      18825
1311.59/1315.45	c #Conflicts:     504000 | #Constraints:      19825
1311.59/1315.45	c #Conflicts:     505000 | #Constraints:      20825
1311.59/1315.45	c #Conflicts:     506000 | #Constraints:      21825
1311.59/1315.45	c #Conflicts:     507000 | #Constraints:      22825
1311.59/1315.45	c #Conflicts:     508000 | #Constraints:      23825
1311.59/1315.45	c #Conflicts:     509000 | #Constraints:      24825
1311.59/1315.45	c #Conflicts:     510000 | #Constraints:      25825
1311.59/1315.45	c #Conflicts:     511000 | #Constraints:      26825
1489.43/1493.71	c #Conflicts:     512000 | #Constraints:      27825
1489.43/1493.71	c #Conflicts:     513000 | #Constraints:      28825
1489.43/1493.71	c #Conflicts:     514000 | #Constraints:      29825
1489.43/1493.71	c #Conflicts:     515000 | #Constraints:      30825
1489.43/1493.71	c #Conflicts:     516000 | #Constraints:      31825
1489.43/1493.71	c INPROCESSING
1489.43/1493.71	c GARBAGE COLLECT
1489.43/1493.71	c #Conflicts:     517000 | #Constraints:      18624
1489.43/1493.71	c #Conflicts:     518000 | #Constraints:      19624
1489.43/1493.71	c #Conflicts:     519000 | #Constraints:      20624
1489.43/1493.71	c #Conflicts:     520000 | #Constraints:      21624
1489.43/1493.71	c #Conflicts:     521000 | #Constraints:      22624
1489.43/1493.71	c #Conflicts:     522000 | #Constraints:      23624
1489.43/1493.71	c #Conflicts:     523000 | #Constraints:      24624
1489.43/1493.71	c #Conflicts:     524000 | #Constraints:      25624
1489.43/1493.71	c #Conflicts:     525000 | #Constraints:      26624
1489.43/1493.71	c #Conflicts:     526000 | #Constraints:      27624
1489.43/1493.71	c #Conflicts:     527000 | #Constraints:      28624
1489.43/1493.71	c #Conflicts:     528000 | #Constraints:      29624
1489.43/1493.71	c #Conflicts:     529000 | #Constraints:      30624
1489.43/1493.71	c #Conflicts:     530000 | #Constraints:      31624
1489.43/1493.71	c #Conflicts:     531000 | #Constraints:      32624
1489.43/1493.71	c INPROCESSING
1489.43/1493.71	c GARBAGE COLLECT
1489.43/1493.71	c #Conflicts:     532000 | #Constraints:      19221
1489.43/1493.71	c #Conflicts:     533000 | #Constraints:      20221
1489.43/1493.71	c #Conflicts:     534000 | #Constraints:      21221
1489.43/1493.71	c #Conflicts:     535000 | #Constraints:      22221
1489.43/1493.71	c #Conflicts:     536000 | #Constraints:      23221
1489.43/1493.71	c #Conflicts:     537000 | #Constraints:      24221
1489.43/1493.71	c #Conflicts:     538000 | #Constraints:      25221
1489.43/1493.71	c #Conflicts:     539000 | #Constraints:      26221
1489.43/1493.71	c #Conflicts:     540000 | #Constraints:      27221
1489.43/1493.71	c #Conflicts:     541000 | #Constraints:      28221
1489.43/1493.71	c #Conflicts:     542000 | #Constraints:      29221
1489.43/1493.71	c #Conflicts:     543000 | #Constraints:      30221
1489.43/1493.71	c #Conflicts:     544000 | #Constraints:      31221
1489.43/1493.71	c #Conflicts:     545000 | #Constraints:      32221
1489.43/1493.71	c #Conflicts:     546000 | #Constraints:      33221
1489.43/1493.71	c INPROCESSING
1489.43/1493.71	c GARBAGE COLLECT
1489.43/1493.71	c #Conflicts:     547000 | #Constraints:      19613
1489.43/1493.71	c #Conflicts:     548000 | #Constraints:      20613
1489.43/1493.71	c #Conflicts:     549000 | #Constraints:      21613
1489.43/1493.71	c #Conflicts:     550000 | #Constraints:      22613
1489.43/1493.71	c #Conflicts:     551000 | #Constraints:      23613
1489.43/1493.71	c #Conflicts:     552000 | #Constraints:      24613
1489.43/1493.71	c #Conflicts:     553000 | #Constraints:      25613
1489.43/1493.71	c #Conflicts:     554000 | #Constraints:      26613
1489.43/1493.71	c #Conflicts:     555000 | #Constraints:      27613
1489.43/1493.71	c #Conflicts:     556000 | #Constraints:      28613
1489.43/1493.71	c #Conflicts:     557000 | #Constraints:      29613
1489.43/1493.71	c #Conflicts:     558000 | #Constraints:      30613
1489.43/1493.71	c #Conflicts:     559000 | #Constraints:      31613
1489.43/1493.71	c #Conflicts:     560000 | #Constraints:      32613
1489.43/1493.71	c #Conflicts:     561000 | #Constraints:      33613
1489.43/1493.71	c INPROCESSING
1489.43/1493.71	c GARBAGE COLLECT
1489.43/1493.71	c #Conflicts:     562000 | #Constraints:      19815
1489.43/1493.71	c #Conflicts:     563000 | #Constraints:      20815
1489.43/1493.71	c #Conflicts:     564000 | #Constraints:      21815
1489.43/1493.71	c #Conflicts:     565000 | #Constraints:      22815
1489.43/1493.71	c #Conflicts:     566000 | #Constraints:      23815
1489.43/1493.71	c #Conflicts:     567000 | #Constraints:      24815
1489.43/1493.71	c #Conflicts:     568000 | #Constraints:      25815
1489.43/1493.71	c #Conflicts:     569000 | #Constraints:      26815
1489.43/1493.71	c #Conflicts:     570000 | #Constraints:      27815
1489.43/1493.71	c #Conflicts:     571000 | #Constraints:      28815
1489.43/1493.71	c #Conflicts:     572000 | #Constraints:      29815
1489.43/1493.71	c #Conflicts:     573000 | #Constraints:      30815
1489.43/1493.71	c #Conflicts:     574000 | #Constraints:      31815
1489.43/1493.71	c #Conflicts:     575000 | #Constraints:      32815
1489.43/1493.71	c #Conflicts:     576000 | #Constraints:      33815
1489.43/1493.71	c INPROCESSING
1489.43/1493.71	c GARBAGE COLLECT
1489.43/1493.71	c #Conflicts:     577000 | #Constraints:      19808
1489.43/1493.71	c #Conflicts:     578000 | #Constraints:      20808
1489.43/1493.71	c #Conflicts:     579000 | #Constraints:      21808
1489.43/1493.71	c #Conflicts:     580000 | #Constraints:      22808
1489.43/1493.71	c #Conflicts:     581000 | #Constraints:      23808
1489.43/1493.71	c #Conflicts:     582000 | #Constraints:      24808
1489.43/1493.71	c #Conflicts:     583000 | #Constraints:      25808
1489.43/1493.71	c #Conflicts:     584000 | #Constraints:      26808
1489.43/1493.71	c #Conflicts:     585000 | #Constraints:      27808
1489.43/1493.71	c #Conflicts:     586000 | #Constraints:      28808
1489.43/1493.71	c #Conflicts:     587000 | #Constraints:      29808
1721.22/1726.15	c #Conflicts:     588000 | #Constraints:      30808
1721.22/1726.15	c #Conflicts:     589000 | #Constraints:      31808
1721.22/1726.15	c #Conflicts:     590000 | #Constraints:      32808
1721.22/1726.15	c #Conflicts:     591000 | #Constraints:      33808
1721.22/1726.15	c INPROCESSING
1721.22/1726.15	c GARBAGE COLLECT
1721.22/1726.15	c #Conflicts:     592000 | #Constraints:      19606
1721.22/1726.15	c #Conflicts:     593000 | #Constraints:      20606
1721.22/1726.15	c #Conflicts:     594000 | #Constraints:      21606
1721.22/1726.15	c #Conflicts:     595000 | #Constraints:      22606
1721.22/1726.15	c #Conflicts:     596000 | #Constraints:      23606
1721.22/1726.15	c #Conflicts:     597000 | #Constraints:      24606
1721.22/1726.15	c #Conflicts:     598000 | #Constraints:      25606
1721.22/1726.15	c #Conflicts:     599000 | #Constraints:      26606
1721.22/1726.15	c #Conflicts:     600000 | #Constraints:      27606
1721.22/1726.15	c #Conflicts:     601000 | #Constraints:      28606
1721.22/1726.15	c #Conflicts:     602000 | #Constraints:      29606
1721.22/1726.15	c #Conflicts:     603000 | #Constraints:      30606
1721.22/1726.15	c #Conflicts:     604000 | #Constraints:      31606
1721.22/1726.15	c #Conflicts:     605000 | #Constraints:      32606
1721.22/1726.15	c #Conflicts:     606000 | #Constraints:      33606
1721.22/1726.15	c #Conflicts:     607000 | #Constraints:      34606
1721.22/1726.15	c INPROCESSING
1721.22/1726.15	c GARBAGE COLLECT
1721.22/1726.15	c #Conflicts:     608000 | #Constraints:      20209
1721.22/1726.15	c #Conflicts:     609000 | #Constraints:      21209
1721.22/1726.15	c #Conflicts:     610000 | #Constraints:      22209
1721.22/1726.15	c #Conflicts:     611000 | #Constraints:      23209
1721.22/1726.15	c #Conflicts:     612000 | #Constraints:      24209
1721.22/1726.15	c #Conflicts:     613000 | #Constraints:      25209
1721.22/1726.15	c #Conflicts:     614000 | #Constraints:      26209
1721.22/1726.15	c #Conflicts:     615000 | #Constraints:      27209
1721.22/1726.15	c #Conflicts:     616000 | #Constraints:      28209
1721.22/1726.15	c #Conflicts:     617000 | #Constraints:      29209
1721.22/1726.15	c #Conflicts:     618000 | #Constraints:      30209
1721.22/1726.15	c #Conflicts:     619000 | #Constraints:      31209
1721.22/1726.15	c #Conflicts:     620000 | #Constraints:      32209
1721.22/1726.15	c #Conflicts:     621000 | #Constraints:      33209
1721.22/1726.15	c #Conflicts:     622000 | #Constraints:      34209
1721.22/1726.15	c #Conflicts:     623000 | #Constraints:      35209
1721.22/1726.15	c INPROCESSING
1721.22/1726.15	c GARBAGE COLLECT
1721.22/1726.15	c #Conflicts:     624000 | #Constraints:      20609
1721.22/1726.15	c #Conflicts:     625000 | #Constraints:      21609
1721.22/1726.15	c #Conflicts:     626000 | #Constraints:      22609
1721.22/1726.15	c #Conflicts:     627000 | #Constraints:      23609
1721.22/1726.15	c #Conflicts:     628000 | #Constraints:      24609
1721.22/1726.15	c #Conflicts:     629000 | #Constraints:      25609
1721.22/1726.15	c #Conflicts:     630000 | #Constraints:      26609
1721.22/1726.15	c #Conflicts:     631000 | #Constraints:      27609
1721.22/1726.15	c #Conflicts:     632000 | #Constraints:      28609
1721.22/1726.15	c #Conflicts:     633000 | #Constraints:      29609
1721.22/1726.15	c #Conflicts:     634000 | #Constraints:      30609
1721.22/1726.15	c #Conflicts:     635000 | #Constraints:      31609
1721.22/1726.15	c #Conflicts:     636000 | #Constraints:      32609
1721.22/1726.15	c #Conflicts:     637000 | #Constraints:      33609
1721.22/1726.15	c #Conflicts:     638000 | #Constraints:      34609
1721.22/1726.15	c #Conflicts:     639000 | #Constraints:      35609
1721.22/1726.15	c INPROCESSING
1721.22/1726.15	c GARBAGE COLLECT
1721.22/1726.15	c #Conflicts:     640000 | #Constraints:      20803
1721.22/1726.15	c #Conflicts:     641000 | #Constraints:      21803
1721.22/1726.15	c #Conflicts:     642000 | #Constraints:      22803
1721.22/1726.15	c #Conflicts:     643000 | #Constraints:      23803
1721.22/1726.15	c #Conflicts:     644000 | #Constraints:      24803
1721.22/1726.15	c #Conflicts:     645000 | #Constraints:      25803
1721.22/1726.15	c #Conflicts:     646000 | #Constraints:      26803
1721.22/1726.15	c #Conflicts:     647000 | #Constraints:      27803
1721.22/1726.15	c #Conflicts:     648000 | #Constraints:      28803
1721.22/1726.15	c #Conflicts:     649000 | #Constraints:      29803
1721.22/1726.15	c #Conflicts:     650000 | #Constraints:      30803
1721.22/1726.15	c #Conflicts:     651000 | #Constraints:      31803
1721.22/1726.15	c #Conflicts:     652000 | #Constraints:      32803
1721.22/1726.15	c #Conflicts:     653000 | #Constraints:      33803
1721.22/1726.15	c #Conflicts:     654000 | #Constraints:      34803
1721.22/1726.15	c #Conflicts:     655000 | #Constraints:      35803
1721.22/1726.15	c INPROCESSING
1721.22/1726.15	c GARBAGE COLLECT
1721.22/1726.15	c #Conflicts:     656000 | #Constraints:      20809
1721.22/1726.15	c #Conflicts:     657000 | #Constraints:      21809
1721.22/1726.15	c #Conflicts:     658000 | #Constraints:      22809
1721.22/1726.15	c #Conflicts:     659000 | #Constraints:      23809
1721.22/1726.15	c #Conflicts:     660000 | #Constraints:      24809
1721.22/1726.15	c #Conflicts:     661000 | #Constraints:      25809
1721.22/1726.15	c #Conflicts:     662000 | #Constraints:      26809
1721.22/1726.15	c #Conflicts:     663000 | #Constraints:      27809
1977.74/1983.37	c #Conflicts:     664000 | #Constraints:      28809
1977.74/1983.37	c #Conflicts:     665000 | #Constraints:      29809
1977.74/1983.37	c #Conflicts:     666000 | #Constraints:      30809
1977.74/1983.37	c #Conflicts:     667000 | #Constraints:      31809
1977.74/1983.37	c #Conflicts:     668000 | #Constraints:      32809
1977.74/1983.37	c #Conflicts:     669000 | #Constraints:      33809
1977.74/1983.37	c #Conflicts:     670000 | #Constraints:      34809
1977.74/1983.37	c #Conflicts:     671000 | #Constraints:      35809
1977.74/1983.37	c INPROCESSING
1977.74/1983.37	c GARBAGE COLLECT
1977.74/1983.37	c #Conflicts:     672000 | #Constraints:      20607
1977.74/1983.37	c #Conflicts:     673000 | #Constraints:      21607
1977.74/1983.37	c #Conflicts:     674000 | #Constraints:      22607
1977.74/1983.37	c #Conflicts:     675000 | #Constraints:      23607
1977.74/1983.37	c #Conflicts:     676000 | #Constraints:      24607
1977.74/1983.37	c #Conflicts:     677000 | #Constraints:      25607
1977.74/1983.37	c #Conflicts:     678000 | #Constraints:      26607
1977.74/1983.37	c #Conflicts:     679000 | #Constraints:      27607
1977.74/1983.37	c #Conflicts:     680000 | #Constraints:      28607
1977.74/1983.37	c #Conflicts:     681000 | #Constraints:      29607
1977.74/1983.37	c #Conflicts:     682000 | #Constraints:      30607
1977.74/1983.37	c #Conflicts:     683000 | #Constraints:      31607
1977.74/1983.37	c #Conflicts:     684000 | #Constraints:      32607
1977.74/1983.37	c #Conflicts:     685000 | #Constraints:      33607
1977.74/1983.37	c #Conflicts:     686000 | #Constraints:      34607
1977.74/1983.37	c #Conflicts:     687000 | #Constraints:      35607
1977.74/1983.37	c #Conflicts:     688000 | #Constraints:      36607
1977.74/1983.37	c INPROCESSING
1977.74/1983.37	c GARBAGE COLLECT
1977.74/1983.37	c #Conflicts:     689000 | #Constraints:      21208
1977.74/1983.37	c #Conflicts:     690000 | #Constraints:      22208
1977.74/1983.37	c #Conflicts:     691000 | #Constraints:      23208
1977.74/1983.37	c #Conflicts:     692000 | #Constraints:      24208
1977.74/1983.37	c #Conflicts:     693000 | #Constraints:      25208
1977.74/1983.37	c #Conflicts:     694000 | #Constraints:      26208
1977.74/1983.37	c #Conflicts:     695000 | #Constraints:      27208
1977.74/1983.37	c #Conflicts:     696000 | #Constraints:      28208
1977.74/1983.37	c #Conflicts:     697000 | #Constraints:      29208
1977.74/1983.37	c #Conflicts:     698000 | #Constraints:      30208
1977.74/1983.37	c #Conflicts:     699000 | #Constraints:      31208
1977.74/1983.37	c #Conflicts:     700000 | #Constraints:      32208
1977.74/1983.37	c #Conflicts:     701000 | #Constraints:      33208
1977.74/1983.37	c #Conflicts:     702000 | #Constraints:      34208
1977.74/1983.37	c #Conflicts:     703000 | #Constraints:      35208
1977.74/1983.37	c #Conflicts:     704000 | #Constraints:      36208
1977.74/1983.37	c #Conflicts:     705000 | #Constraints:      37208
1977.74/1983.37	c INPROCESSING
1977.74/1983.37	c GARBAGE COLLECT
1977.74/1983.37	c #Conflicts:     706000 | #Constraints:      21605
1977.74/1983.37	c #Conflicts:     707000 | #Constraints:      22605
1977.74/1983.37	c #Conflicts:     708000 | #Constraints:      23605
1977.74/1983.37	c #Conflicts:     709000 | #Constraints:      24605
1977.74/1983.37	c #Conflicts:     710000 | #Constraints:      25605
1977.74/1983.37	c #Conflicts:     711000 | #Constraints:      26605
1977.74/1983.37	c #Conflicts:     712000 | #Constraints:      27605
1977.74/1983.37	c #Conflicts:     713000 | #Constraints:      28605
1977.74/1983.37	c #Conflicts:     714000 | #Constraints:      29605
1977.74/1983.37	c #Conflicts:     715000 | #Constraints:      30605
1977.74/1983.37	c #Conflicts:     716000 | #Constraints:      31605
1977.74/1983.37	c #Conflicts:     717000 | #Constraints:      32605
1977.74/1983.37	c #Conflicts:     718000 | #Constraints:      33605
1977.74/1983.37	c #Conflicts:     719000 | #Constraints:      34605
1977.74/1983.37	c #Conflicts:     720000 | #Constraints:      35605
1977.74/1983.37	c #Conflicts:     721000 | #Constraints:      36605
1977.74/1983.37	c #Conflicts:     722000 | #Constraints:      37605
1977.74/1983.37	c INPROCESSING
1977.74/1983.37	c GARBAGE COLLECT
1977.74/1983.37	c #Conflicts:     723000 | #Constraints:      21805
1977.74/1983.37	c #Conflicts:     724000 | #Constraints:      22805
1977.74/1983.37	c #Conflicts:     725000 | #Constraints:      23805
1977.74/1983.37	c #Conflicts:     726000 | #Constraints:      24805
1977.74/1983.37	c #Conflicts:     727000 | #Constraints:      25805
1977.74/1983.37	c #Conflicts:     728000 | #Constraints:      26805
1977.74/1983.37	c #Conflicts:     729000 | #Constraints:      27805
1977.74/1983.37	c #Conflicts:     730000 | #Constraints:      28805
1977.74/1983.37	c #Conflicts:     731000 | #Constraints:      29805
1977.74/1983.37	c #Conflicts:     732000 | #Constraints:      30805
1977.74/1983.37	c #Conflicts:     733000 | #Constraints:      31805
1977.74/1983.37	c #Conflicts:     734000 | #Constraints:      32805
1977.74/1983.37	c #Conflicts:     735000 | #Constraints:      33805
1977.74/1983.37	c #Conflicts:     736000 | #Constraints:      34805
1977.74/1983.37	c #Conflicts:     737000 | #Constraints:      35805
1977.74/1983.37	c #Conflicts:     738000 | #Constraints:      36805
1977.74/1983.37	c #Conflicts:     739000 | #Constraints:      37805
2222.02/2228.32	c INPROCESSING
2222.02/2228.32	c GARBAGE COLLECT
2222.02/2228.32	c #Conflicts:     740000 | #Constraints:      21810
2222.02/2228.32	c #Conflicts:     741000 | #Constraints:      22810
2222.02/2228.32	c #Conflicts:     742000 | #Constraints:      23810
2222.02/2228.32	c #Conflicts:     743000 | #Constraints:      24810
2222.02/2228.32	c #Conflicts:     744000 | #Constraints:      25810
2222.02/2228.32	c #Conflicts:     745000 | #Constraints:      26810
2222.02/2228.32	c #Conflicts:     746000 | #Constraints:      27810
2222.02/2228.32	c #Conflicts:     747000 | #Constraints:      28810
2222.02/2228.32	c #Conflicts:     748000 | #Constraints:      29810
2222.02/2228.32	c #Conflicts:     749000 | #Constraints:      30810
2222.02/2228.32	c #Conflicts:     750000 | #Constraints:      31810
2222.02/2228.32	c #Conflicts:     751000 | #Constraints:      32810
2222.02/2228.32	c #Conflicts:     752000 | #Constraints:      33810
2222.02/2228.32	c #Conflicts:     753000 | #Constraints:      34810
2222.02/2228.32	c #Conflicts:     754000 | #Constraints:      35810
2222.02/2228.32	c #Conflicts:     755000 | #Constraints:      36810
2222.02/2228.32	c #Conflicts:     756000 | #Constraints:      37810
2222.02/2228.32	c INPROCESSING
2222.02/2228.32	c GARBAGE COLLECT
2222.02/2228.32	c #Conflicts:     757000 | #Constraints:      21606
2222.02/2228.32	c #Conflicts:     758000 | #Constraints:      22606
2222.02/2228.32	c #Conflicts:     759000 | #Constraints:      23606
2222.02/2228.32	c #Conflicts:     760000 | #Constraints:      24606
2222.02/2228.32	c #Conflicts:     761000 | #Constraints:      25606
2222.02/2228.32	c #Conflicts:     762000 | #Constraints:      26606
2222.02/2228.32	c #Conflicts:     763000 | #Constraints:      27606
2222.02/2228.32	c #Conflicts:     764000 | #Constraints:      28606
2222.02/2228.32	c #Conflicts:     765000 | #Constraints:      29606
2222.02/2228.32	c #Conflicts:     766000 | #Constraints:      30606
2222.02/2228.32	c #Conflicts:     767000 | #Constraints:      31606
2222.02/2228.32	c #Conflicts:     768000 | #Constraints:      32606
2222.02/2228.32	c #Conflicts:     769000 | #Constraints:      33606
2222.02/2228.32	c #Conflicts:     770000 | #Constraints:      34606
2222.02/2228.32	c #Conflicts:     771000 | #Constraints:      35606
2222.02/2228.32	c #Conflicts:     772000 | #Constraints:      36606
2222.02/2228.32	c #Conflicts:     773000 | #Constraints:      37606
2222.02/2228.32	c #Conflicts:     774000 | #Constraints:      38606
2222.02/2228.32	c INPROCESSING
2222.02/2228.32	c GARBAGE COLLECT
2222.02/2228.32	c #Conflicts:     775000 | #Constraints:      22207
2222.02/2228.32	c #Conflicts:     776000 | #Constraints:      23207
2222.02/2228.32	c #Conflicts:     777000 | #Constraints:      24207
2222.02/2228.32	c #Conflicts:     778000 | #Constraints:      25207
2222.02/2228.32	c #Conflicts:     779000 | #Constraints:      26207
2222.02/2228.32	c #Conflicts:     780000 | #Constraints:      27207
2222.02/2228.32	c #Conflicts:     781000 | #Constraints:      28207
2222.02/2228.32	c #Conflicts:     782000 | #Constraints:      29207
2222.02/2228.32	c #Conflicts:     783000 | #Constraints:      30207
2222.02/2228.32	c #Conflicts:     784000 | #Constraints:      31207
2222.02/2228.32	c #Conflicts:     785000 | #Constraints:      32207
2222.02/2228.32	c #Conflicts:     786000 | #Constraints:      33207
2222.02/2228.32	c #Conflicts:     787000 | #Constraints:      34207
2222.02/2228.32	c #Conflicts:     788000 | #Constraints:      35207
2222.02/2228.32	c #Conflicts:     789000 | #Constraints:      36207
2222.02/2228.32	c #Conflicts:     790000 | #Constraints:      37207
2222.02/2228.32	c #Conflicts:     791000 | #Constraints:      38207
2222.02/2228.32	c #Conflicts:     792000 | #Constraints:      39207
2222.02/2228.32	c INPROCESSING
2222.02/2228.32	c GARBAGE COLLECT
2222.02/2228.32	c #Conflicts:     793000 | #Constraints:      22606
2222.02/2228.32	c #Conflicts:     794000 | #Constraints:      23606
2222.02/2228.32	c #Conflicts:     795000 | #Constraints:      24606
2222.02/2228.32	c #Conflicts:     796000 | #Constraints:      25606
2222.02/2228.32	c #Conflicts:     797000 | #Constraints:      26606
2222.02/2228.32	c #Conflicts:     798000 | #Constraints:      27606
2222.02/2228.32	c #Conflicts:     799000 | #Constraints:      28606
2222.02/2228.32	c #Conflicts:     800000 | #Constraints:      29606
2222.02/2228.32	c #Conflicts:     801000 | #Constraints:      30606
2222.02/2228.32	c #Conflicts:     802000 | #Constraints:      31606
2222.02/2228.32	c #Conflicts:     803000 | #Constraints:      32606
2222.02/2228.32	c #Conflicts:     804000 | #Constraints:      33606
2222.02/2228.32	c #Conflicts:     805000 | #Constraints:      34606
2222.02/2228.32	c #Conflicts:     806000 | #Constraints:      35606
2222.02/2228.32	c #Conflicts:     807000 | #Constraints:      36606
2222.02/2228.32	c #Conflicts:     808000 | #Constraints:      37606
2222.02/2228.32	c #Conflicts:     809000 | #Constraints:      38606
2222.02/2228.32	c #Conflicts:     810000 | #Constraints:      39606
2222.02/2228.32	c INPROCESSING
2222.02/2228.32	c GARBAGE COLLECT
2222.02/2228.32	c #Conflicts:     811000 | #Constraints:      22808
2222.02/2228.32	c #Conflicts:     812000 | #Constraints:      23808
2222.02/2228.32	c #Conflicts:     813000 | #Constraints:      24808
2222.02/2228.32	c #Conflicts:     814000 | #Constraints:      25808
2476.32/2483.33	c #Conflicts:     815000 | #Constraints:      26808
2476.32/2483.33	c #Conflicts:     816000 | #Constraints:      27808
2476.32/2483.33	c #Conflicts:     817000 | #Constraints:      28808
2476.32/2483.33	c #Conflicts:     818000 | #Constraints:      29808
2476.32/2483.33	c #Conflicts:     819000 | #Constraints:      30808
2476.32/2483.33	c #Conflicts:     820000 | #Constraints:      31808
2476.32/2483.33	c #Conflicts:     821000 | #Constraints:      32808
2476.32/2483.33	c #Conflicts:     822000 | #Constraints:      33808
2476.32/2483.33	c #Conflicts:     823000 | #Constraints:      34808
2476.32/2483.33	c #Conflicts:     824000 | #Constraints:      35808
2476.32/2483.33	c #Conflicts:     825000 | #Constraints:      36808
2476.32/2483.33	c #Conflicts:     826000 | #Constraints:      37808
2476.32/2483.33	c #Conflicts:     827000 | #Constraints:      38808
2476.32/2483.33	c #Conflicts:     828000 | #Constraints:      39808
2476.32/2483.33	c INPROCESSING
2476.32/2483.33	c GARBAGE COLLECT
2476.32/2483.33	c #Conflicts:     829000 | #Constraints:      22806
2476.32/2483.33	c #Conflicts:     830000 | #Constraints:      23806
2476.32/2483.33	c #Conflicts:     831000 | #Constraints:      24806
2476.32/2483.33	c #Conflicts:     832000 | #Constraints:      25806
2476.32/2483.33	c #Conflicts:     833000 | #Constraints:      26806
2476.32/2483.33	c #Conflicts:     834000 | #Constraints:      27806
2476.32/2483.33	c #Conflicts:     835000 | #Constraints:      28806
2476.32/2483.33	c #Conflicts:     836000 | #Constraints:      29806
2476.32/2483.33	c #Conflicts:     837000 | #Constraints:      30806
2476.32/2483.33	c #Conflicts:     838000 | #Constraints:      31806
2476.32/2483.33	c #Conflicts:     839000 | #Constraints:      32806
2476.32/2483.33	c #Conflicts:     840000 | #Constraints:      33806
2476.32/2483.33	c #Conflicts:     841000 | #Constraints:      34806
2476.32/2483.33	c #Conflicts:     842000 | #Constraints:      35806
2476.32/2483.33	c #Conflicts:     843000 | #Constraints:      36806
2476.32/2483.33	c #Conflicts:     844000 | #Constraints:      37806
2476.32/2483.33	c #Conflicts:     845000 | #Constraints:      38806
2476.32/2483.33	c #Conflicts:     846000 | #Constraints:      39806
2476.32/2483.33	c INPROCESSING
2476.32/2483.33	c GARBAGE COLLECT
2476.32/2483.33	c #Conflicts:     847000 | #Constraints:      22598
2476.32/2483.33	c #Conflicts:     848000 | #Constraints:      23598
2476.32/2483.33	c #Conflicts:     849000 | #Constraints:      24598
2476.32/2483.33	c #Conflicts:     850000 | #Constraints:      25598
2476.32/2483.33	c #Conflicts:     851000 | #Constraints:      26598
2476.32/2483.33	c #Conflicts:     852000 | #Constraints:      27598
2476.32/2483.33	c #Conflicts:     853000 | #Constraints:      28598
2476.32/2483.33	c #Conflicts:     854000 | #Constraints:      29598
2476.32/2483.33	c #Conflicts:     855000 | #Constraints:      30598
2476.32/2483.33	c #Conflicts:     856000 | #Constraints:      31598
2476.32/2483.33	c #Conflicts:     857000 | #Constraints:      32598
2476.32/2483.33	c #Conflicts:     858000 | #Constraints:      33598
2476.32/2483.33	c #Conflicts:     859000 | #Constraints:      34598
2476.32/2483.33	c #Conflicts:     860000 | #Constraints:      35598
2476.32/2483.33	c #Conflicts:     861000 | #Constraints:      36598
2476.32/2483.33	c #Conflicts:     862000 | #Constraints:      37598
2476.32/2483.33	c #Conflicts:     863000 | #Constraints:      38598
2476.32/2483.33	c #Conflicts:     864000 | #Constraints:      39598
2476.32/2483.33	c #Conflicts:     865000 | #Constraints:      40598
2476.32/2483.33	c INPROCESSING
2476.32/2483.33	c GARBAGE COLLECT
2476.32/2483.33	c #Conflicts:     866000 | #Constraints:      23197
2476.32/2483.33	c #Conflicts:     867000 | #Constraints:      24197
2476.32/2483.33	c #Conflicts:     868000 | #Constraints:      25197
2476.32/2483.33	c #Conflicts:     869000 | #Constraints:      26197
2476.32/2483.33	c #Conflicts:     870000 | #Constraints:      27197
2476.32/2483.33	c #Conflicts:     871000 | #Constraints:      28197
2476.32/2483.33	c #Conflicts:     872000 | #Constraints:      29197
2476.32/2483.33	c #Conflicts:     873000 | #Constraints:      30197
2476.32/2483.33	c #Conflicts:     874000 | #Constraints:      31197
2476.32/2483.33	c #Conflicts:     875000 | #Constraints:      32197
2476.32/2483.33	c #Conflicts:     876000 | #Constraints:      33197
2476.32/2483.33	c #Conflicts:     877000 | #Constraints:      34197
2476.32/2483.33	c #Conflicts:     878000 | #Constraints:      35197
2476.32/2483.33	c #Conflicts:     879000 | #Constraints:      36197
2476.32/2483.33	c #Conflicts:     880000 | #Constraints:      37197
2476.32/2483.33	c #Conflicts:     881000 | #Constraints:      38197
2476.32/2483.33	c #Conflicts:     882000 | #Constraints:      39197
2476.32/2483.33	c #Conflicts:     883000 | #Constraints:      40197
2476.32/2483.33	c #Conflicts:     884000 | #Constraints:      41197
2476.32/2483.33	c INPROCESSING
2476.32/2483.33	c GARBAGE COLLECT
2476.32/2483.33	c #Conflicts:     885000 | #Constraints:      23605
2476.32/2483.33	c #Conflicts:     886000 | #Constraints:      24605
2476.32/2483.33	c #Conflicts:     887000 | #Constraints:      25605
2476.32/2483.33	c #Conflicts:     888000 | #Constraints:      26605
2476.32/2483.33	c #Conflicts:     889000 | #Constraints:      27605
2476.32/2483.33	c #Conflicts:     890000 | #Constraints:      28605
2476.32/2483.33	c #Conflicts:     891000 | #Constraints:      29605
2750.19/2757.96	c #Conflicts:     892000 | #Constraints:      30605
2750.19/2757.96	c #Conflicts:     893000 | #Constraints:      31605
2750.19/2757.96	c #Conflicts:     894000 | #Constraints:      32605
2750.19/2757.96	c #Conflicts:     895000 | #Constraints:      33605
2750.19/2757.96	c #Conflicts:     896000 | #Constraints:      34605
2750.19/2757.96	c #Conflicts:     897000 | #Constraints:      35605
2750.19/2757.96	c #Conflicts:     898000 | #Constraints:      36605
2750.19/2757.96	c #Conflicts:     899000 | #Constraints:      37605
2750.19/2757.96	c #Conflicts:     900000 | #Constraints:      38605
2750.19/2757.96	c #Conflicts:     901000 | #Constraints:      39605
2750.19/2757.96	c #Conflicts:     902000 | #Constraints:      40605
2750.19/2757.96	c #Conflicts:     903000 | #Constraints:      41605
2750.19/2757.96	c INPROCESSING
2750.19/2757.96	c GARBAGE COLLECT
2750.19/2757.96	c #Conflicts:     904000 | #Constraints:      23808
2750.19/2757.96	c #Conflicts:     905000 | #Constraints:      24808
2750.19/2757.96	c #Conflicts:     906000 | #Constraints:      25808
2750.19/2757.96	c #Conflicts:     907000 | #Constraints:      26808
2750.19/2757.96	c #Conflicts:     908000 | #Constraints:      27808
2750.19/2757.96	c #Conflicts:     909000 | #Constraints:      28808
2750.19/2757.96	c #Conflicts:     910000 | #Constraints:      29808
2750.19/2757.96	c #Conflicts:     911000 | #Constraints:      30808
2750.19/2757.96	c #Conflicts:     912000 | #Constraints:      31808
2750.19/2757.96	c #Conflicts:     913000 | #Constraints:      32808
2750.19/2757.96	c #Conflicts:     914000 | #Constraints:      33808
2750.19/2757.96	c #Conflicts:     915000 | #Constraints:      34808
2750.19/2757.96	c #Conflicts:     916000 | #Constraints:      35808
2750.19/2757.96	c #Conflicts:     917000 | #Constraints:      36808
2750.19/2757.96	c #Conflicts:     918000 | #Constraints:      37808
2750.19/2757.96	c #Conflicts:     919000 | #Constraints:      38808
2750.19/2757.96	c #Conflicts:     920000 | #Constraints:      39808
2750.19/2757.96	c #Conflicts:     921000 | #Constraints:      40808
2750.19/2757.96	c #Conflicts:     922000 | #Constraints:      41808
2750.19/2757.96	c INPROCESSING
2750.19/2757.96	c GARBAGE COLLECT
2750.19/2757.96	c #Conflicts:     923000 | #Constraints:      23810
2750.19/2757.96	c #Conflicts:     924000 | #Constraints:      24810
2750.19/2757.96	c #Conflicts:     925000 | #Constraints:      25810
2750.19/2757.96	c #Conflicts:     926000 | #Constraints:      26810
2750.19/2757.96	c #Conflicts:     927000 | #Constraints:      27810
2750.19/2757.96	c #Conflicts:     928000 | #Constraints:      28810
2750.19/2757.96	c #Conflicts:     929000 | #Constraints:      29810
2750.19/2757.96	c #Conflicts:     930000 | #Constraints:      30810
2750.19/2757.96	c #Conflicts:     931000 | #Constraints:      31810
2750.19/2757.96	c #Conflicts:     932000 | #Constraints:      32810
2750.19/2757.96	c #Conflicts:     933000 | #Constraints:      33810
2750.19/2757.96	c #Conflicts:     934000 | #Constraints:      34810
2750.19/2757.96	c #Conflicts:     935000 | #Constraints:      35810
2750.19/2757.96	c #Conflicts:     936000 | #Constraints:      36810
2750.19/2757.96	c #Conflicts:     937000 | #Constraints:      37810
2750.19/2757.96	c #Conflicts:     938000 | #Constraints:      38810
2750.19/2757.96	c #Conflicts:     939000 | #Constraints:      39810
2750.19/2757.96	c #Conflicts:     940000 | #Constraints:      40810
2750.19/2757.96	c #Conflicts:     941000 | #Constraints:      41810
2750.19/2757.96	c INPROCESSING
2750.19/2757.96	c GARBAGE COLLECT
2750.19/2757.96	c #Conflicts:     942000 | #Constraints:      23606
2750.19/2757.96	c #Conflicts:     943000 | #Constraints:      24606
2750.19/2757.96	c #Conflicts:     944000 | #Constraints:      25606
2750.19/2757.96	c #Conflicts:     945000 | #Constraints:      26606
2750.19/2757.96	c #Conflicts:     946000 | #Constraints:      27606
2750.19/2757.96	c #Conflicts:     947000 | #Constraints:      28606
2750.19/2757.96	c #Conflicts:     948000 | #Constraints:      29606
2750.19/2757.96	c #Conflicts:     949000 | #Constraints:      30606
2750.19/2757.96	c #Conflicts:     950000 | #Constraints:      31606
2750.19/2757.96	c #Conflicts:     951000 | #Constraints:      32606
2750.19/2757.96	c #Conflicts:     952000 | #Constraints:      33606
2750.19/2757.96	c #Conflicts:     953000 | #Constraints:      34606
2750.19/2757.96	c #Conflicts:     954000 | #Constraints:      35606
2750.19/2757.96	c #Conflicts:     955000 | #Constraints:      36606
2750.19/2757.96	c #Conflicts:     956000 | #Constraints:      37606
2750.19/2757.96	c #Conflicts:     957000 | #Constraints:      38606
2750.19/2757.96	c #Conflicts:     958000 | #Constraints:      39606
2750.19/2757.96	c #Conflicts:     959000 | #Constraints:      40606
2750.19/2757.96	c #Conflicts:     960000 | #Constraints:      41606
2750.19/2757.96	c #Conflicts:     961000 | #Constraints:      42606
2750.19/2757.96	c INPROCESSING
2750.19/2757.96	c GARBAGE COLLECT
2750.19/2757.96	c #Conflicts:     962000 | #Constraints:      24207
2750.19/2757.96	c #Conflicts:     963000 | #Constraints:      25207
2750.19/2757.96	c #Conflicts:     964000 | #Constraints:      26207
2750.19/2757.96	c #Conflicts:     965000 | #Constraints:      27207
2750.19/2757.96	c #Conflicts:     966000 | #Constraints:      28207
2750.19/2757.96	c #Conflicts:     967000 | #Constraints:      29207
2983.38/2991.74	c #Conflicts:     968000 | #Constraints:      30207
2983.38/2991.74	c #Conflicts:     969000 | #Constraints:      31207
2983.38/2991.74	c #Conflicts:     970000 | #Constraints:      32207
2983.38/2991.74	c #Conflicts:     971000 | #Constraints:      33207
2983.38/2991.74	c #Conflicts:     972000 | #Constraints:      34207
2983.38/2991.74	c #Conflicts:     973000 | #Constraints:      35207
2983.38/2991.74	c #Conflicts:     974000 | #Constraints:      36207
2983.38/2991.74	c #Conflicts:     975000 | #Constraints:      37207
2983.38/2991.74	c #Conflicts:     976000 | #Constraints:      38207
2983.38/2991.74	c #Conflicts:     977000 | #Constraints:      39207
2983.38/2991.74	c #Conflicts:     978000 | #Constraints:      40207
2983.38/2991.74	c #Conflicts:     979000 | #Constraints:      41207
2983.38/2991.74	c #Conflicts:     980000 | #Constraints:      42207
2983.38/2991.74	c #Conflicts:     981000 | #Constraints:      43207
2983.38/2991.74	c INPROCESSING
2983.38/2991.74	c GARBAGE COLLECT
2983.38/2991.74	c #Conflicts:     982000 | #Constraints:      24611
2983.38/2991.74	c #Conflicts:     983000 | #Constraints:      25611
2983.38/2991.74	c #Conflicts:     984000 | #Constraints:      26611
2983.38/2991.74	c #Conflicts:     985000 | #Constraints:      27611
2983.38/2991.74	c #Conflicts:     986000 | #Constraints:      28611
2983.38/2991.74	c #Conflicts:     987000 | #Constraints:      29611
2983.38/2991.74	c #Conflicts:     988000 | #Constraints:      30611
2983.38/2991.74	c #Conflicts:     989000 | #Constraints:      31611
2983.38/2991.74	c #Conflicts:     990000 | #Constraints:      32611
2983.38/2991.74	c #Conflicts:     991000 | #Constraints:      33611
2983.38/2991.74	c #Conflicts:     992000 | #Constraints:      34611
2983.38/2991.74	c #Conflicts:     993000 | #Constraints:      35611
2983.38/2991.74	c #Conflicts:     994000 | #Constraints:      36611
2983.38/2991.74	c #Conflicts:     995000 | #Constraints:      37611
2983.38/2991.74	c #Conflicts:     996000 | #Constraints:      38611
2983.38/2991.74	c #Conflicts:     997000 | #Constraints:      39611
2983.38/2991.74	c #Conflicts:     998000 | #Constraints:      40611
2983.38/2991.74	c #Conflicts:     999000 | #Constraints:      41611
2983.38/2991.74	c #Conflicts:    1000000 | #Constraints:      42611
2983.38/2991.74	c #Conflicts:    1001000 | #Constraints:      43611
2983.38/2991.74	c INPROCESSING
2983.38/2991.74	c GARBAGE COLLECT
2983.38/2991.74	c #Conflicts:    1002000 | #Constraints:      24813
2983.38/2991.74	c #Conflicts:    1003000 | #Constraints:      25813
2983.38/2991.74	c #Conflicts:    1004000 | #Constraints:      26813
2983.38/2991.74	c #Conflicts:    1005000 | #Constraints:      27813
2983.38/2991.74	c #Conflicts:    1006000 | #Constraints:      28813
2983.38/2991.74	c #Conflicts:    1007000 | #Constraints:      29813
2983.38/2991.74	c #Conflicts:    1008000 | #Constraints:      30813
2983.38/2991.74	c #Conflicts:    1009000 | #Constraints:      31813
2983.38/2991.74	c #Conflicts:    1010000 | #Constraints:      32813
2983.38/2991.74	c #Conflicts:    1011000 | #Constraints:      33813
2983.38/2991.74	c #Conflicts:    1012000 | #Constraints:      34813
2983.38/2991.74	c #Conflicts:    1013000 | #Constraints:      35813
2983.38/2991.74	c #Conflicts:    1014000 | #Constraints:      36813
2983.38/2991.74	c #Conflicts:    1015000 | #Constraints:      37813
2983.38/2991.74	c #Conflicts:    1016000 | #Constraints:      38813
2983.38/2991.74	c #Conflicts:    1017000 | #Constraints:      39813
2983.38/2991.74	c #Conflicts:    1018000 | #Constraints:      40813
2983.38/2991.74	c #Conflicts:    1019000 | #Constraints:      41813
2983.38/2991.74	c #Conflicts:    1020000 | #Constraints:      42813
2983.38/2991.74	c #Conflicts:    1021000 | #Constraints:      43813
2983.38/2991.74	c INPROCESSING
2983.38/2991.74	c GARBAGE COLLECT
2983.38/2991.74	c #Conflicts:    1022000 | #Constraints:      24813
2983.38/2991.74	c #Conflicts:    1023000 | #Constraints:      25813
2983.38/2991.74	c #Conflicts:    1024000 | #Constraints:      26813
2983.38/2991.74	c #Conflicts:    1025000 | #Constraints:      27813
2983.38/2991.74	c #Conflicts:    1026000 | #Constraints:      28813
2983.38/2991.74	c #Conflicts:    1027000 | #Constraints:      29813
2983.38/2991.74	c #Conflicts:    1028000 | #Constraints:      30813
2983.38/2991.74	c #Conflicts:    1029000 | #Constraints:      31813
2983.38/2991.74	c #Conflicts:    1030000 | #Constraints:      32813
2983.38/2991.74	c #Conflicts:    1031000 | #Constraints:      33813
2983.38/2991.74	c #Conflicts:    1032000 | #Constraints:      34813
2983.38/2991.74	c #Conflicts:    1033000 | #Constraints:      35813
2983.38/2991.74	c #Conflicts:    1034000 | #Constraints:      36813
2983.38/2991.74	c #Conflicts:    1035000 | #Constraints:      37813
2983.38/2991.74	c #Conflicts:    1036000 | #Constraints:      38813
2983.38/2991.74	c #Conflicts:    1037000 | #Constraints:      39813
2983.38/2991.74	c #Conflicts:    1038000 | #Constraints:      40813
2983.38/2991.74	c #Conflicts:    1039000 | #Constraints:      41813
2983.38/2991.74	c #Conflicts:    1040000 | #Constraints:      42813
2983.38/2991.74	c #Conflicts:    1041000 | #Constraints:      43813
2983.38/2991.74	c INPROCESSING
2983.38/2991.74	c GARBAGE COLLECT
2983.38/2991.74	c #Conflicts:    1042000 | #Constraints:      24618
2983.38/2991.74	c #Conflicts:    1043000 | #Constraints:      25618
3198.31/3207.29	c #Conflicts:    1044000 | #Constraints:      26618
3198.31/3207.29	c #Conflicts:    1045000 | #Constraints:      27618
3198.31/3207.29	c #Conflicts:    1046000 | #Constraints:      28618
3198.31/3207.29	c #Conflicts:    1047000 | #Constraints:      29618
3198.31/3207.29	c #Conflicts:    1048000 | #Constraints:      30618
3198.31/3207.29	c #Conflicts:    1049000 | #Constraints:      31618
3198.31/3207.29	c #Conflicts:    1050000 | #Constraints:      32618
3198.31/3207.29	c #Conflicts:    1051000 | #Constraints:      33618
3198.31/3207.29	c #Conflicts:    1052000 | #Constraints:      34618
3198.31/3207.29	c #Conflicts:    1053000 | #Constraints:      35618
3198.31/3207.29	c #Conflicts:    1054000 | #Constraints:      36618
3198.31/3207.29	c #Conflicts:    1055000 | #Constraints:      37618
3198.31/3207.29	c #Conflicts:    1056000 | #Constraints:      38618
3198.31/3207.29	c #Conflicts:    1057000 | #Constraints:      39618
3198.31/3207.29	c #Conflicts:    1058000 | #Constraints:      40618
3198.31/3207.29	c #Conflicts:    1059000 | #Constraints:      41618
3198.31/3207.29	c #Conflicts:    1060000 | #Constraints:      42618
3198.31/3207.29	c #Conflicts:    1061000 | #Constraints:      43618
3198.31/3207.29	c #Conflicts:    1062000 | #Constraints:      44618
3198.31/3207.29	c INPROCESSING
3198.31/3207.29	c GARBAGE COLLECT
3198.31/3207.29	c #Conflicts:    1063000 | #Constraints:      25225
3198.31/3207.29	c #Conflicts:    1064000 | #Constraints:      26225
3198.31/3207.29	c #Conflicts:    1065000 | #Constraints:      27225
3198.31/3207.29	c #Conflicts:    1066000 | #Constraints:      28225
3198.31/3207.29	c #Conflicts:    1067000 | #Constraints:      29225
3198.31/3207.29	c #Conflicts:    1068000 | #Constraints:      30225
3198.31/3207.29	c #Conflicts:    1069000 | #Constraints:      31225
3198.31/3207.29	c #Conflicts:    1070000 | #Constraints:      32225
3198.31/3207.29	c #Conflicts:    1071000 | #Constraints:      33225
3198.31/3207.29	c #Conflicts:    1072000 | #Constraints:      34225
3198.31/3207.29	c #Conflicts:    1073000 | #Constraints:      35225
3198.31/3207.29	c #Conflicts:    1074000 | #Constraints:      36225
3198.31/3207.29	c #Conflicts:    1075000 | #Constraints:      37225
3198.31/3207.29	c #Conflicts:    1076000 | #Constraints:      38225
3198.31/3207.29	c #Conflicts:    1077000 | #Constraints:      39225
3198.31/3207.29	c #Conflicts:    1078000 | #Constraints:      40225
3198.31/3207.29	c #Conflicts:    1079000 | #Constraints:      41225
3198.31/3207.29	c #Conflicts:    1080000 | #Constraints:      42225
3198.31/3207.29	c #Conflicts:    1081000 | #Constraints:      43225
3198.31/3207.29	c #Conflicts:    1082000 | #Constraints:      44225
3198.31/3207.29	c #Conflicts:    1083000 | #Constraints:      45225
3198.31/3207.29	c INPROCESSING
3198.31/3207.29	c GARBAGE COLLECT
3198.31/3207.29	c #Conflicts:    1084000 | #Constraints:      25628
3198.31/3207.29	c #Conflicts:    1085000 | #Constraints:      26628
3198.31/3207.29	c #Conflicts:    1086000 | #Constraints:      27628
3198.31/3207.29	c #Conflicts:    1087000 | #Constraints:      28628
3198.31/3207.29	c #Conflicts:    1088000 | #Constraints:      29628
3198.31/3207.29	c #Conflicts:    1089000 | #Constraints:      30628
3198.31/3207.29	c #Conflicts:    1090000 | #Constraints:      31628
3198.31/3207.29	c #Conflicts:    1091000 | #Constraints:      32628
3198.31/3207.29	c #Conflicts:    1092000 | #Constraints:      33628
3198.31/3207.29	c #Conflicts:    1093000 | #Constraints:      34628
3198.31/3207.29	c #Conflicts:    1094000 | #Constraints:      35628
3198.31/3207.29	c #Conflicts:    1095000 | #Constraints:      36628
3198.31/3207.29	c #Conflicts:    1096000 | #Constraints:      37628
3198.31/3207.29	c #Conflicts:    1097000 | #Constraints:      38628
3198.31/3207.29	c #Conflicts:    1098000 | #Constraints:      39628
3198.31/3207.29	c #Conflicts:    1099000 | #Constraints:      40628
3198.31/3207.29	c #Conflicts:    1100000 | #Constraints:      41628
3198.31/3207.29	c #Conflicts:    1101000 | #Constraints:      42628
3198.31/3207.29	c #Conflicts:    1102000 | #Constraints:      43628
3198.31/3207.29	c #Conflicts:    1103000 | #Constraints:      44628
3198.31/3207.29	c #Conflicts:    1104000 | #Constraints:      45628
3198.31/3207.29	c INPROCESSING
3198.31/3207.29	c GARBAGE COLLECT
3198.31/3207.29	c #Conflicts:    1105000 | #Constraints:      25828
3198.31/3207.29	c #Conflicts:    1106000 | #Constraints:      26828
3198.31/3207.29	c #Conflicts:    1107000 | #Constraints:      27828
3198.31/3207.29	c #Conflicts:    1108000 | #Constraints:      28828
3198.31/3207.29	c #Conflicts:    1109000 | #Constraints:      29828
3198.31/3207.29	c #Conflicts:    1110000 | #Constraints:      30828
3198.31/3207.29	c #Conflicts:    1111000 | #Constraints:      31828
3198.31/3207.29	c #Conflicts:    1112000 | #Constraints:      32828
3198.31/3207.29	c #Conflicts:    1113000 | #Constraints:      33828
3198.31/3207.29	c #Conflicts:    1114000 | #Constraints:      34828
3198.31/3207.29	c #Conflicts:    1115000 | #Constraints:      35828
3198.31/3207.29	c #Conflicts:    1116000 | #Constraints:      36828
3198.31/3207.29	c #Conflicts:    1117000 | #Constraints:      37828
3198.31/3207.29	c #Conflicts:    1118000 | #Constraints:      38828
3198.31/3207.29	c #Conflicts:    1119000 | #Constraints:      39828
3198.31/3207.29	c #Conflicts:    1120000 | #Constraints:      40828
3497.01/3506.76	c #Conflicts:    1121000 | #Constraints:      41828
3497.01/3506.76	c #Conflicts:    1122000 | #Constraints:      42828
3497.01/3506.76	c #Conflicts:    1123000 | #Constraints:      43828
3497.01/3506.76	c #Conflicts:    1124000 | #Constraints:      44828
3497.01/3506.76	c #Conflicts:    1125000 | #Constraints:      45828
3497.01/3506.76	c INPROCESSING
3497.01/3506.76	c GARBAGE COLLECT
3497.01/3506.76	c #Conflicts:    1126000 | #Constraints:      25824
3497.01/3506.76	c #Conflicts:    1127000 | #Constraints:      26824
3497.01/3506.76	c #Conflicts:    1128000 | #Constraints:      27824
3497.01/3506.76	c #Conflicts:    1129000 | #Constraints:      28824
3497.01/3506.76	c #Conflicts:    1130000 | #Constraints:      29824
3497.01/3506.76	c #Conflicts:    1131000 | #Constraints:      30824
3497.01/3506.76	c #Conflicts:    1132000 | #Constraints:      31824
3497.01/3506.76	c #Conflicts:    1133000 | #Constraints:      32824
3497.01/3506.76	c #Conflicts:    1134000 | #Constraints:      33824
3497.01/3506.76	c #Conflicts:    1135000 | #Constraints:      34824
3497.01/3506.76	c #Conflicts:    1136000 | #Constraints:      35824
3497.01/3506.76	c #Conflicts:    1137000 | #Constraints:      36824
3497.01/3506.76	c #Conflicts:    1138000 | #Constraints:      37824
3497.01/3506.76	c #Conflicts:    1139000 | #Constraints:      38824
3497.01/3506.76	c #Conflicts:    1140000 | #Constraints:      39824
3497.01/3506.76	c #Conflicts:    1141000 | #Constraints:      40824
3497.01/3506.76	c #Conflicts:    1142000 | #Constraints:      41824
3497.01/3506.76	c #Conflicts:    1143000 | #Constraints:      42824
3497.01/3506.76	c #Conflicts:    1144000 | #Constraints:      43824
3497.01/3506.76	c #Conflicts:    1145000 | #Constraints:      44824
3497.01/3506.76	c #Conflicts:    1146000 | #Constraints:      45824
3497.01/3506.76	c INPROCESSING
3497.01/3506.76	c GARBAGE COLLECT
3497.01/3506.76	c #Conflicts:    1147000 | #Constraints:      25621
3497.01/3506.76	c #Conflicts:    1148000 | #Constraints:      26621
3497.01/3506.76	c #Conflicts:    1149000 | #Constraints:      27621
3497.01/3506.76	c #Conflicts:    1150000 | #Constraints:      28621
3497.01/3506.76	c #Conflicts:    1151000 | #Constraints:      29621
3497.01/3506.76	c #Conflicts:    1152000 | #Constraints:      30621
3497.01/3506.76	c #Conflicts:    1153000 | #Constraints:      31621
3497.01/3506.76	c #Conflicts:    1154000 | #Constraints:      32621
3497.01/3506.76	c #Conflicts:    1155000 | #Constraints:      33621
3497.01/3506.76	c #Conflicts:    1156000 | #Constraints:      34621
3497.01/3506.76	c #Conflicts:    1157000 | #Constraints:      35621
3497.01/3506.76	c #Conflicts:    1158000 | #Constraints:      36621
3497.01/3506.76	c #Conflicts:    1159000 | #Constraints:      37621
3497.01/3506.76	c #Conflicts:    1160000 | #Constraints:      38621
3497.01/3506.76	c #Conflicts:    1161000 | #Constraints:      39621
3497.01/3506.76	c #Conflicts:    1162000 | #Constraints:      40621
3497.01/3506.76	c #Conflicts:    1163000 | #Constraints:      41621
3497.01/3506.76	c #Conflicts:    1164000 | #Constraints:      42621
3497.01/3506.76	c #Conflicts:    1165000 | #Constraints:      43621
3497.01/3506.76	c #Conflicts:    1166000 | #Constraints:      44621
3497.01/3506.76	c #Conflicts:    1167000 | #Constraints:      45621
3497.01/3506.76	c #Conflicts:    1168000 | #Constraints:      46621
3497.01/3506.76	c INPROCESSING
3497.01/3506.76	c GARBAGE COLLECT
3497.01/3506.76	c #Conflicts:    1169000 | #Constraints:      26221
3497.01/3506.76	c #Conflicts:    1170000 | #Constraints:      27221
3497.01/3506.76	c #Conflicts:    1171000 | #Constraints:      28221
3497.01/3506.76	c #Conflicts:    1172000 | #Constraints:      29221
3497.01/3506.76	c #Conflicts:    1173000 | #Constraints:      30221
3497.01/3506.76	c #Conflicts:    1174000 | #Constraints:      31221
3497.01/3506.76	c #Conflicts:    1175000 | #Constraints:      32221
3497.01/3506.76	c #Conflicts:    1176000 | #Constraints:      33221
3497.01/3506.76	c #Conflicts:    1177000 | #Constraints:      34221
3497.01/3506.76	c #Conflicts:    1178000 | #Constraints:      35221
3497.01/3506.76	c #Conflicts:    1179000 | #Constraints:      36221
3497.01/3506.76	c #Conflicts:    1180000 | #Constraints:      37221
3497.01/3506.76	c #Conflicts:    1181000 | #Constraints:      38221
3497.01/3506.76	c #Conflicts:    1182000 | #Constraints:      39221
3497.01/3506.76	c #Conflicts:    1183000 | #Constraints:      40221
3497.01/3506.76	c #Conflicts:    1184000 | #Constraints:      41221
3497.01/3506.76	c #Conflicts:    1185000 | #Constraints:      42221
3497.01/3506.76	c #Conflicts:    1186000 | #Constraints:      43221
3497.01/3506.76	c #Conflicts:    1187000 | #Constraints:      44221
3497.01/3506.76	c #Conflicts:    1188000 | #Constraints:      45221
3497.01/3506.76	c #Conflicts:    1189000 | #Constraints:      46221
3497.01/3506.76	c #Conflicts:    1190000 | #Constraints:      47221
3497.01/3506.76	c INPROCESSING
3497.01/3506.76	c GARBAGE COLLECT
3497.01/3506.76	c #Conflicts:    1191000 | #Constraints:      26614
3497.01/3506.76	c #Conflicts:    1192000 | #Constraints:      27614
3497.01/3506.76	c #Conflicts:    1193000 | #Constraints:      28614
3497.01/3506.76	c #Conflicts:    1194000 | #Constraints:      29614
3497.01/3506.76	c #Conflicts:    1195000 | #Constraints:      30614
3497.01/3506.76	c #Conflicts:    1196000 | #Constraints:      31614
3600.04/3610.00	c #Conflicts:    1197000 | #Constraints:      32614
3600.04/3610.00	c #Conflicts:    1198000 | #Constraints:      33614
3600.04/3610.00	c #Conflicts:    1199000 | #Constraints:      34614
3600.04/3610.00	c #Conflicts:    1200000 | #Constraints:      35614
3600.04/3610.00	c #Conflicts:    1201000 | #Constraints:      36614
3600.04/3610.00	c #Conflicts:    1202000 | #Constraints:      37614
3600.04/3610.00	c #Conflicts:    1203000 | #Constraints:      38614
3600.04/3610.00	c #Conflicts:    1204000 | #Constraints:      39614
3600.04/3610.00	c #Conflicts:    1205000 | #Constraints:      40614
3600.04/3610.00	c #Conflicts:    1206000 | #Constraints:      41614
3600.04/3610.00	c #Conflicts:    1207000 | #Constraints:      42614
3600.04/3610.00	c #Conflicts:    1208000 | #Constraints:      43614
3600.04/3610.00	c #Conflicts:    1209000 | #Constraints:      44614
3600.04/3610.00	c #Conflicts:    1210000 | #Constraints:      45614
3600.04/3610.00	c #Conflicts:    1211000 | #Constraints:      46614
3600.04/3610.00	c #Conflicts:    1212000 | #Constraints:      47614
3600.04/3610.00	c INPROCESSING
3600.04/3610.00	c GARBAGE COLLECT
3600.04/3610.00	c #Conflicts:    1213000 | #Constraints:      26810
3600.04/3610.00	c #Conflicts:    1214000 | #Constraints:      27810
3600.04/3610.00	c #Conflicts:    1215000 | #Constraints:      28810
3600.04/3610.00	c #Conflicts:    1216000 | #Constraints:      29810
3600.04/3610.00	c #Conflicts:    1217000 | #Constraints:      30810
3600.04/3610.00	c #Conflicts:    1218000 | #Constraints:      31810
3600.04/3610.00	c #Conflicts:    1219000 | #Constraints:      32810
3600.04/3610.00	c #Conflicts:    1220000 | #Constraints:      33810
3600.04/3610.00	c #Conflicts:    1221000 | #Constraints:      34810
3600.04/3610.00	c #Conflicts:    1222000 | #Constraints:      35810
3600.04/3610.00	c Program interrupted by user.
3600.04/3610.00	c cpu time 3590.95 s
3600.04/3610.00	c deterministic time 563490984623 5.63e+11
3600.04/3610.00	c optimization time 26.0743 s
3600.04/3610.00	c total solve time 3265.78 s
3600.04/3610.00	c core-guided solve time 3265.78 s
3600.04/3610.00	c propagation time 2662.5 s
3600.04/3610.00	c conflict analysis time 494.946 s
3600.04/3610.00	c propagations 144143281
3600.04/3610.00	c resolve steps 10131871
3600.04/3610.00	c decisions 4908181
3600.04/3610.00	c conflicts 1222881
3600.04/3610.00	c restarts 2301
3600.04/3610.00	c inprocessing phases 101
3600.04/3610.00	c input clauses 3912
3600.04/3610.00	c input cardinalities 150
3600.04/3610.00	c input general constraints 0
3600.04/3610.00	c input average constraint length 63.13
3600.04/3610.00	c input average constraint degree 28.59
3600.04/3610.00	c learned clauses 438790
3600.04/3610.00	c learned cardinalities 119084
3600.04/3610.00	c learned general constraints 665154
3600.04/3610.00	c learned average constraint length 720.38
3600.04/3610.00	c learned average constraint degree 9554.90
3600.04/3610.00	c watched constraints 367179
3600.04/3610.00	c counting constraints 297975
3600.04/3610.00	c gcd simplifications 31934
3600.04/3610.00	c detected cardinalities 1503
3600.04/3610.00	c weakened non-implied lits 164181110
3600.04/3610.00	c weakened non-implying lits 50312
3600.04/3610.00	c original variables 1964
3600.04/3610.00	c clausal propagations 69903394
3600.04/3610.00	c cardinality propagations 8959723
3600.04/3610.00	c watched propagations 10974123
3600.04/3610.00	c counting propagations 45966613
3600.04/3610.00	c watch lookups 46857310770
3600.04/3610.00	c watch backjump lookups 39143094747
3600.04/3610.00	c watch checks 441719600591
3600.04/3610.00	c propagation checks 33039896201
3600.04/3610.00	c constraint additions 2431758051
3600.04/3610.00	c trail pops 150272800
3600.04/3610.00	c formula constraints 3240
3600.04/3610.00	c learned constraints 1223028
3600.04/3610.00	c bound constraints 150
3600.04/3610.00	c core-guided constraints 672
3600.04/3610.00	c encountered formula constraints 7087342
3600.04/3610.00	c encountered learned constraints 3079453
3600.04/3610.00	c encountered bound constraints 1
3600.04/3610.00	c encountered core-guided constraints 1187956
3600.04/3610.00	c LP total time 0 s
3600.04/3610.00	c LP solve time 0 s
3600.04/3610.00	c LP constraints added 0
3600.04/3610.00	c LP constraints removed 0
3600.04/3610.00	c LP pivots internal 0
3600.04/3610.00	c LP pivots root 0
3600.04/3610.00	c LP calls 0
3600.04/3610.00	c LP optimalities 0
3600.04/3610.00	c LP no pivot count 0
3600.04/3610.00	c LP infeasibilities 0
3600.04/3610.00	c LP valid Farkas constraints 0
3600.04/3610.00	c LP learned Farkas constraints 0
3600.04/3610.00	c LP basis resets 0
3600.04/3610.00	c LP cycling count 0
3600.04/3610.00	c LP singular count 0
3600.04/3610.00	c LP no primal count 0
3600.04/3610.00	c LP no farkas count 0
3600.04/3610.00	c LP other issue count 0
3600.04/3610.00	c LP Gomory cuts 0
3600.04/3610.00	c LP learned cuts 0
3600.04/3610.00	c LP deleted cuts 0
3600.04/3610.00	c LP encountered Gomory constraints 0
3600.04/3610.00	c LP encountered Farkas constraints 0
3600.04/3610.00	c LP encountered learned Farkas constraints 0
3600.04/3610.00	c CG auxiliary variables introduced 672
3600.04/3610.00	c CG solutions found 0
3600.04/3610.00	c CG cores constructed 149
3600.04/3610.00	c CG core cardinality constraints returned 0
3600.04/3610.00	c CG unit cores 0
3600.04/3610.00	c CG single cores 149
3600.04/3610.00	c CG blocks removed during cardinality reduction 0
3600.04/3610.00	c CG first core best 0
3600.04/3610.00	c CG decision core best 0
3600.04/3610.00	c CG core reduction tie 0
3600.04/3610.00	c CG core degree average 1.00
3600.04/3610.00	c CG core slack average 3.10
3600.04/3610.00	c CG exhausted 0
3600.04/3610.00	c CG exhaust time 0 s
3600.04/3610.00	c CG trimmed 0
3600.04/3610.00	c CG trim time 0.000714 s
3600.04/3610.00	c CG minimized 0
3600.04/3610.00	c CG minimize time 0 s
3600.04/3610.00	c CG am1 prop time 0.002173 s
3600.04/3610.00	c CG # am1s reformulated 672
3600.04/3610.00	c CG lower bound derived from am1s 673
3600.04/3610.00	c CG # clausal cores 149
3600.04/3610.00	c CG # cardinality cores 0
3600.04/3610.00	c CG # pb cores 0
3600.04/3610.00	c CG # pb reforms 0
3600.04/3610.00	c CG # cores discarded because of pb reform 0
3600.04/3610.00	d LOWERBOUND 822
3600.04/3610.00	d NCORES 149
3600.04/3610.00	d NPBCORES 0
3600.04/3610.00	d NPBREFORM 0
3600.04/3610.00	d NTRIMMED 0
3600.04/3610.00	d NEXHAUSTED 0
3600.04/3610.00	d NAM1S 672
3600.04/3610.00	d AM1LB 673
3600.04/3610.00	c [Papilo Statistics]
3600.04/3610.00	c prepro time 0.00469266s
3600.04/3610.00	c # tsx applied 151
3600.04/3610.00	c # tsx conflicts 10
3600.04/3610.00	c # bound changes 149
3600.04/3610.00	c # side changes 0
3600.04/3610.00	c # coef changes 0
3600.04/3610.00	c # rounds 2
3600.04/3610.00	c # deted vars 311
3600.04/3610.00	c # deted constrs 760
3600.04/3610.00	c # consecutive rounds of only bound changes 0
3600.04/3610.00	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: 63708 MiB (62791 MiB free)
  memory of node 1: 64465 MiB (63255 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488899-1751333640/watcher-4488899-1751333640 -o /tmp/evaluation-result-4488899-1751333640/solver-4488899-1751333640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760 mixed-bag HOME/instance-4488899-1751333640.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=47914, runsolver pid=47911

[startup+0.100061 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129051624/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=117300 memory=41580 CPUtime=0.09 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 7088 0 0 0 8 1 0 0 20 0 1 0 49041445 120115200 10395 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 29325 10395 4288 2842 0 11019 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117300 KiB
Current children cumulated memory: 41580 KiB

[startup+0.205695 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129048600/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=118068 memory=42348 CPUtime=0.19 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 7292 0 0 0 18 1 0 0 20 0 1 0 49041445 120901632 10587 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 29517 10587 4288 2842 0 11211 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118068 KiB
Current children cumulated memory: 42348 KiB

[startup+0.305529 s]*
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129044568/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=122092 memory=46188 CPUtime=0.29 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 8244 0 0 0 28 1 0 0 20 0 1 0 49041445 125022208 11547 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 30523 11547 4288 2842 0 12217 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 122092 KiB
Current children cumulated memory: 46188 KiB

[startup+0.700128 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129044328/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=123476 memory=47212 CPUtime=0.68 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 8517 0 0 0 67 1 0 0 20 0 1 0 49041445 126439424 11803 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 30869 11803 4288 2842 0 12563 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123476 KiB
Current children cumulated memory: 47212 KiB

[startup+1.50016 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129036264/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=128000 memory=51052 CPUtime=1.48 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 9466 0 0 0 147 1 0 0 20 0 1 0 49041445 131072000 12763 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 32000 12763 4288 2842 0 13694 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 128000 KiB
Current children cumulated memory: 51052 KiB

[startup+3.10536 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 47915
/proc/meminfo: memFree=129004008/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=144412 memory=67052 CPUtime=3.07 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 13478 0 0 0 306 1 0 0 20 0 1 0 49041445 147877888 16763 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 36103 16763 4288 2842 0 17797 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 144412 KiB
Current children cumulated memory: 67052 KiB

[startup+6.30013 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 47916
/proc/meminfo: memFree=128971776/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=195520 memory=116716 CPUtime=6.26 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 25887 0 0 0 623 3 0 0 20 0 1 0 49041445 200212480 29179 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 48880 29179 4288 2842 0 30574 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 195520 KiB
Current children cumulated memory: 116716 KiB

[startup+12.7001 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 47916
/proc/meminfo: memFree=128911564/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=227228 memory=144256 CPUtime=12.65 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 33862 0 0 0 1260 5 0 0 20 0 1 0 49041445 232681472 36064 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 56807 36064 4288 2842 0 38501 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 227228 KiB
Current children cumulated memory: 144256 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 47917
/proc/meminfo: memFree=128883356/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=232324 memory=148992 CPUtime=25.41 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 35038 0 0 0 2536 5 0 0 20 0 1 0 49041445 237899776 37248 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 58081 37248 4288 2842 0 39775 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 232324 KiB
Current children cumulated memory: 148992 KiB

[startup+51.1054 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 47917
/proc/meminfo: memFree=128750812/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=281024 memory=194040 CPUtime=50.95 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 46524 0 0 0 5088 7 0 0 20 0 1 0 49041445 287768576 48510 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 70256 48510 4288 2842 0 51950 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 281024 KiB
Current children cumulated memory: 194040 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 47919
/proc/meminfo: memFree=128678580/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=320220 memory=230720 CPUtime=102 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 60307 0 0 0 10190 10 0 0 20 0 1 0 49041445 327905280 57680 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 80055 57680 4320 2842 0 61749 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 320220 KiB
Current children cumulated memory: 230720 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 48014
/proc/meminfo: memFree=128999948/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=413376 memory=313408 CPUtime=161.81 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 81058 0 0 0 16165 16 0 0 20 0 1 0 49041445 423297024 78352 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 103344 78352 4320 2842 0 85038 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 413376 KiB
Current children cumulated memory: 313408 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 48021
/proc/meminfo: memFree=128901264/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=449592 memory=347816 CPUtime=221.62 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 94010 0 0 0 22142 20 0 0 20 0 1 0 49041445 460382208 86954 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 112398 86954 4320 2842 0 94092 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 449592 KiB
Current children cumulated memory: 347816 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 48023
/proc/meminfo: memFree=128985312/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=455320 memory=353776 CPUtime=281.42 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 101473 0 0 0 28119 23 0 0 20 0 1 0 49041445 466247680 88444 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 113830 88444 4320 2842 0 95524 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 455320 KiB
Current children cumulated memory: 353776 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/265 48026
/proc/meminfo: memFree=129035728/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=258056 memory=188488 CPUtime=341.24 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 104054 0 0 0 34053 71 0 0 20 0 1 0 49041445 264249344 47122 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 64514 47122 4480 2842 0 46208 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 258056 KiB
Current children cumulated memory: 188488 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 48028
/proc/meminfo: memFree=129008396/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=288876 memory=200776 CPUtime=401.08 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 104586 0 0 0 40007 101 0 0 20 0 1 0 49041445 295809024 50194 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 72219 50194 4480 2842 0 53913 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 288876 KiB
Current children cumulated memory: 200776 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 48030
/proc/meminfo: memFree=129126452/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=288876 memory=214984 CPUtime=460.93 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 104619 0 0 0 45968 125 0 0 20 0 1 0 49041445 295809024 53746 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 72219 53746 4480 2842 0 53913 0

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

Current children cumulated memory: 426276 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 48163
/proc/meminfo: memFree=128470452/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=535252 memory=426660 CPUtime=2854.33 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 124377 0 0 0 284668 765 0 0 20 0 1 0 49041445 548098048 106665 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 133813 106665 4480 2842 0 115507 0
Current children cumulated CPU time: 2854.33 s
Current children cumulated vsize: 535252 KiB
Current children cumulated memory: 426660 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 48165
/proc/meminfo: memFree=128443720/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=536788 memory=427684 CPUtime=2914.17 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 124628 0 0 0 290641 776 0 0 20 0 1 0 49041445 549670912 106921 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134197 106921 4480 2842 0 115891 0
Current children cumulated CPU time: 2914.17 s
Current children cumulated vsize: 536788 KiB
Current children cumulated memory: 427684 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 48167
/proc/meminfo: memFree=128423760/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=537372 memory=428068 CPUtime=2974 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 124750 0 0 0 296612 788 0 0 20 0 1 0 49041445 550268928 107017 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134343 107017 4480 2842 0 116037 0
Current children cumulated CPU time: 2974 s
Current children cumulated vsize: 537372 KiB
Current children cumulated memory: 428068 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 48171
/proc/meminfo: memFree=128405964/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=538140 memory=428708 CPUtime=3033.84 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 124894 0 0 0 302585 799 0 0 20 0 1 0 49041445 551055360 107177 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134535 107177 4480 2842 0 116229 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 538140 KiB
Current children cumulated memory: 428708 KiB

[startup+3102.3 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 48173
/proc/meminfo: memFree=128401708/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=538836 memory=429092 CPUtime=3093.68 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125010 0 0 0 308557 811 0 0 20 0 1 0 49041445 551768064 107273 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134709 107273 4480 2842 0 116403 0
Current children cumulated CPU time: 3093.68 s
Current children cumulated vsize: 538836 KiB
Current children cumulated memory: 429092 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/265 48178
/proc/meminfo: memFree=128385504/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=539164 memory=429476 CPUtime=3153.54 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125095 0 0 0 314531 823 0 0 20 0 1 0 49041445 552103936 107369 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134791 107369 4480 2842 0 116485 0
Current children cumulated CPU time: 3153.54 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 429476 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/265 48184
/proc/meminfo: memFree=128377376/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=539164 memory=429476 CPUtime=3213.37 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125095 0 0 0 320505 832 0 0 20 0 1 0 49041445 552103936 107369 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134791 107369 4480 2842 0 116485 0
Current children cumulated CPU time: 3213.37 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 429476 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.14 4.10 5/265 48186
/proc/meminfo: memFree=128354792/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=539164 memory=431624 CPUtime=3273.21 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125105 0 0 0 326475 846 0 0 20 0 1 0 49041445 552103936 107906 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134791 107906 4480 2842 0 116485 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 431624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/264 48188
/proc/meminfo: memFree=128346704/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=539164 memory=433696 CPUtime=3333.05 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125110 0 0 0 332448 857 0 0 20 0 1 0 49041445 552103936 108424 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134791 108424 4480 2842 0 116485 0
Current children cumulated CPU time: 3333.05 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 433696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 48191
/proc/meminfo: memFree=128338400/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=539164 memory=433696 CPUtime=3392.9 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125110 0 0 0 338421 869 0 0 20 0 1 0 49041445 552103936 108424 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 134791 108424 4480 2842 0 116485 0
Current children cumulated CPU time: 3392.9 s
Current children cumulated vsize: 539164 KiB
Current children cumulated memory: 433696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 48193
/proc/meminfo: memFree=128318328/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=540116 memory=434208 CPUtime=3452.73 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125238 0 0 0 344393 880 0 0 20 0 1 0 49041445 553078784 108552 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 135029 108552 4480 2842 0 116723 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 540116 KiB
Current children cumulated memory: 434208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 48195
/proc/meminfo: memFree=128302312/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=541212 memory=434976 CPUtime=3512.57 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125438 0 0 0 350365 892 0 0 20 0 1 0 49041445 554201088 108744 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 135303 108744 4480 2842 0 116997 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 541212 KiB
Current children cumulated memory: 434976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 4/258 48229
/proc/meminfo: memFree=128767480/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=541212 memory=443460 CPUtime=3572.41 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125444 0 0 0 356340 901 0 0 20 0 1 0 49041445 554201088 110865 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 135303 110865 4480 2842 0 116997 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 541212 KiB
Current children cumulated memory: 443460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.75 4.02 4.06 4/258 48229
/proc/meminfo: memFree=128759416/131249996 swapFree=33010416/33010684
[pid=47914] ppid=47911 vsize=541212 memory=445508 CPUtime=3600.04 cores=4,6
/proc/47914/stat : 47914 (mixed-bag) R 47911 47914 45645 0 -1 4194304 125445 0 0 0 359095 909 0 0 20 0 1 0 49041445 554201088 111377 18446744073709551615 4235264 15874749 140729570922848 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18096864 18107984 39636992 140729570924956 140729570925033 140729570925033 140729570930635 0
/proc/47914/statm: 135303 111377 4480 2842 0 116997 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 541212 KiB
Current children cumulated memory: 445508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.96 s, system=9.09724 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3590.96
CPU system time (s): 9.09724
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 541212
Max. memory (cumulated for all children) (KiB): 445508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.96
system time used= 9.09724
maximum resident set size= 445892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125474
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= 231
involuntary context switches= 3667


# summary of solver processes directly reported to runsolver:
#   pid: 47914
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3590.96
#   total CPU system time (s): 9.09724

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18262 second user time and 15.7941 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 03:34:00
IDJOB=4488899
IDBENCH=147534
IDSOLVER=3340
FILE ID=nodeC015/4488899-1751333640
RUNJOBID= nodeC015-1751326375-45656
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_11.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488899-1751333640/watcher-4488899-1751333640 -o /tmp/evaluation-result-4488899-1751333640/solver-4488899-1751333640 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751326375-45656 --watchdog 3760  mixed-bag HOME/instance-4488899-1751333640.opb

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

MD5SUM BENCH= 40839a009ce460ae7be0fe2be6267e36
RANDOM SEED=805472997

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129072604 kB
MemAvailable:   128797628 kB
Buffers:            2128 kB
Cached:           513800 kB
SwapCached:           24 kB
Active:          1344424 kB
Inactive:         209396 kB
Active(anon):    1035860 kB
Inactive(anon):    20084 kB
Active(file):     308564 kB
Inactive(file):   189312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15704 kB
Writeback:             0 kB
AnonPages:       1039180 kB
Mapped:           137836 kB
Shmem:             18052 kB
KReclaimable:     132776 kB
Slab:             222020 kB
SReclaimable:     132776 kB
SUnreclaim:        89244 kB
KernelStack:        4176 kB
PageTables:         5260 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1465048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    813056 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC015 at 2025-07-01 04:34:10