Trace number 4435463

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-02? (TO) 3600.12 3612.31

DiagnosticValue
AM1LB669
LOWERBOUND814
NAM1S668
NCORES145
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
MD5SUM52f0a3c0093dc9bf421bafb6505effdf
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1033
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1960
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 1960
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 1960
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 1960
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] preprocessing with Papilo
0.00/0.01	c [STEP] solving with SCIP
299.08/300.14	c [STEP] preprocessing done, loading into solver
299.08/300.15	c [STEP] solving
299.08/300.15	c #variables 1654 #constraints 3241
299.08/300.15	c SMALL=int, LARGE=long long
299.08/300.15	c bounds - >= 0 @ 298.904
299.08/300.15	c stratification level: 0
299.38/300.44	c bounds - >= 670 @ 298.911
299.38/300.44	c bounds - >= 671 @ 298.911
299.38/300.44	c bounds - >= 672 @ 298.911
299.38/300.44	c bounds - >= 673 @ 298.911
299.38/300.44	c bounds - >= 674 @ 298.911
299.38/300.44	c bounds - >= 675 @ 298.911
299.38/300.44	c bounds - >= 676 @ 298.911
299.38/300.44	c bounds - >= 677 @ 298.912
299.38/300.44	c bounds - >= 678 @ 298.912
299.38/300.44	c bounds - >= 679 @ 298.912
299.38/300.44	c bounds - >= 680 @ 298.912
299.38/300.44	c bounds - >= 681 @ 298.912
299.38/300.44	c bounds - >= 682 @ 298.913
299.38/300.44	c bounds - >= 683 @ 298.913
299.38/300.44	c bounds - >= 684 @ 298.913
299.38/300.44	c bounds - >= 685 @ 298.913
299.38/300.44	c bounds - >= 686 @ 298.914
299.38/300.44	c bounds - >= 687 @ 298.914
299.38/300.44	c bounds - >= 688 @ 298.914
299.38/300.44	c bounds - >= 689 @ 298.914
299.38/300.44	c bounds - >= 690 @ 298.914
299.38/300.44	c bounds - >= 691 @ 298.914
299.38/300.44	c bounds - >= 692 @ 298.914
299.38/300.44	c bounds - >= 693 @ 298.914
299.38/300.44	c bounds - >= 694 @ 298.914
299.38/300.44	c bounds - >= 695 @ 298.915
299.38/300.44	c bounds - >= 696 @ 298.915
299.38/300.44	c bounds - >= 697 @ 298.915
299.38/300.44	c bounds - >= 698 @ 298.915
299.38/300.44	c bounds - >= 699 @ 298.915
299.38/300.44	c bounds - >= 700 @ 298.915
299.38/300.44	c bounds - >= 701 @ 298.915
299.38/300.44	c bounds - >= 702 @ 298.915
299.38/300.44	c bounds - >= 703 @ 298.915
299.38/300.44	c bounds - >= 704 @ 298.916
299.38/300.44	c bounds - >= 705 @ 298.916
299.38/300.44	c bounds - >= 706 @ 298.916
299.38/300.44	c bounds - >= 707 @ 298.916
299.38/300.44	c bounds - >= 708 @ 298.917
299.38/300.44	c bounds - >= 709 @ 298.917
299.38/300.44	c bounds - >= 710 @ 298.917
299.38/300.44	c bounds - >= 711 @ 298.917
299.38/300.44	c bounds - >= 712 @ 298.918
299.38/300.44	c bounds - >= 713 @ 298.918
299.38/300.44	c bounds - >= 714 @ 298.918
299.38/300.44	c bounds - >= 715 @ 298.918
299.38/300.44	c bounds - >= 716 @ 298.919
299.38/300.44	c bounds - >= 717 @ 298.919
299.38/300.44	c bounds - >= 718 @ 298.919
299.38/300.44	c bounds - >= 719 @ 298.919
299.38/300.44	c bounds - >= 720 @ 298.92
299.38/300.44	c bounds - >= 721 @ 298.92
299.38/300.44	c bounds - >= 722 @ 298.92
299.38/300.44	c bounds - >= 723 @ 298.92
299.38/300.44	c bounds - >= 724 @ 298.921
299.38/300.44	c bounds - >= 725 @ 298.921
299.38/300.44	c bounds - >= 726 @ 298.921
299.38/300.44	c bounds - >= 727 @ 298.921
299.38/300.44	c bounds - >= 728 @ 298.921
299.38/300.44	c bounds - >= 729 @ 298.921
299.38/300.44	c bounds - >= 730 @ 298.921
299.38/300.44	c bounds - >= 731 @ 298.922
299.38/300.44	c bounds - >= 732 @ 298.922
299.38/300.44	c bounds - >= 733 @ 298.922
299.38/300.44	c bounds - >= 734 @ 298.922
299.38/300.44	c bounds - >= 735 @ 298.923
299.38/300.44	c bounds - >= 736 @ 298.923
299.38/300.44	c bounds - >= 737 @ 298.923
299.38/300.44	c bounds - >= 738 @ 298.923
299.38/300.44	c bounds - >= 739 @ 298.923
299.38/300.44	c bounds - >= 740 @ 298.923
299.38/300.44	c bounds - >= 741 @ 298.923
299.38/300.44	c bounds - >= 742 @ 298.923
299.38/300.44	c bounds - >= 743 @ 298.923
299.38/300.44	c bounds - >= 744 @ 298.923
299.38/300.44	c bounds - >= 745 @ 298.923
299.38/300.44	c bounds - >= 746 @ 298.923
299.38/300.44	c bounds - >= 747 @ 298.923
299.38/300.44	c bounds - >= 748 @ 298.923
299.38/300.44	c bounds - >= 749 @ 298.923
299.38/300.44	c bounds - >= 750 @ 298.923
299.38/300.44	c bounds - >= 751 @ 298.924
299.38/300.44	c bounds - >= 752 @ 298.924
299.38/300.44	c bounds - >= 753 @ 298.924
299.38/300.44	c bounds - >= 754 @ 298.924
299.38/300.44	c bounds - >= 755 @ 298.925
299.38/300.44	c bounds - >= 756 @ 298.925
299.38/300.44	c bounds - >= 757 @ 298.925
299.38/300.44	c bounds - >= 758 @ 298.926
299.38/300.44	c bounds - >= 759 @ 298.926
299.38/300.44	c bounds - >= 760 @ 298.926
299.38/300.44	c bounds - >= 761 @ 298.926
299.38/300.44	c bounds - >= 762 @ 298.926
299.38/300.44	c bounds - >= 763 @ 298.926
299.38/300.44	c bounds - >= 764 @ 298.926
299.38/300.44	c bounds - >= 765 @ 298.927
299.38/300.44	c bounds - >= 766 @ 298.927
299.38/300.44	c bounds - >= 767 @ 298.927
299.38/300.44	c bounds - >= 768 @ 298.927
299.38/300.44	c bounds - >= 769 @ 298.927
299.38/300.44	c bounds - >= 770 @ 298.927
299.38/300.44	c bounds - >= 771 @ 298.927
299.38/300.44	c bounds - >= 772 @ 298.927
299.38/300.44	c bounds - >= 773 @ 298.927
299.38/300.44	c bounds - >= 774 @ 298.927
299.38/300.44	c bounds - >= 775 @ 298.928
299.38/300.44	c bounds - >= 776 @ 298.928
299.38/300.44	c bounds - >= 777 @ 298.928
299.38/300.44	c bounds - >= 778 @ 298.928
299.38/300.44	c bounds - >= 779 @ 298.928
299.38/300.44	c bounds - >= 780 @ 298.928
299.38/300.44	c bounds - >= 781 @ 298.929
299.38/300.44	c bounds - >= 782 @ 298.929
299.38/300.44	c bounds - >= 783 @ 298.929
299.38/300.44	c bounds - >= 784 @ 298.929
299.38/300.44	c bounds - >= 785 @ 298.93
299.38/300.44	c bounds - >= 786 @ 298.93
299.38/300.44	c bounds - >= 787 @ 298.93
299.38/300.44	c bounds - >= 788 @ 298.931
299.38/300.44	c bounds - >= 789 @ 298.931
299.38/300.44	c bounds - >= 790 @ 298.931
299.38/300.44	c bounds - >= 791 @ 298.931
299.38/300.44	c bounds - >= 792 @ 298.931
299.38/300.44	c bounds - >= 793 @ 298.931
299.38/300.44	c bounds - >= 794 @ 298.932
299.38/300.44	c bounds - >= 795 @ 298.932
299.38/300.44	c bounds - >= 796 @ 298.933
299.38/300.44	c bounds - >= 797 @ 298.933
299.38/300.44	c bounds - >= 798 @ 298.933
299.38/300.44	c bounds - >= 799 @ 298.934
299.38/300.44	c bounds - >= 800 @ 298.934
299.38/300.44	c bounds - >= 801 @ 298.935
299.38/300.44	c bounds - >= 802 @ 298.935
299.38/300.44	c bounds - >= 803 @ 298.935
299.38/300.44	c bounds - >= 804 @ 298.936
299.38/300.44	c bounds - >= 805 @ 298.936
299.38/300.44	c bounds - >= 806 @ 298.936
299.38/300.44	c bounds - >= 807 @ 298.936
299.38/300.44	c bounds - >= 808 @ 298.936
299.38/300.44	c bounds - >= 809 @ 298.936
299.38/300.44	c bounds - >= 810 @ 298.936
299.38/300.44	c bounds - >= 811 @ 298.936
299.38/300.44	c bounds - >= 812 @ 298.936
299.38/300.44	c bounds - >= 813 @ 298.937
299.38/300.44	c bounds - >= 814 @ 298.938
299.38/300.44	c #Conflicts:       1000 | #Constraints:       5199
350.10/351.36	c #Conflicts:       2000 | #Constraints:       6199
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:       3000 | #Constraints:       6042
350.10/351.36	c #Conflicts:       4000 | #Constraints:       7042
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:       5000 | #Constraints:       6417
350.10/351.36	c #Conflicts:       6000 | #Constraints:       7417
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:       7000 | #Constraints:       6404
350.10/351.36	c #Conflicts:       8000 | #Constraints:       7404
350.10/351.36	c #Conflicts:       9000 | #Constraints:       8404
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      10000 | #Constraints:       7098
350.10/351.36	c #Conflicts:      11000 | #Constraints:       8098
350.10/351.36	c #Conflicts:      12000 | #Constraints:       9098
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      13000 | #Constraints:       7549
350.10/351.36	c #Conflicts:      14000 | #Constraints:       8549
350.10/351.36	c #Conflicts:      15000 | #Constraints:       9549
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      16000 | #Constraints:       7776
350.10/351.36	c #Conflicts:      17000 | #Constraints:       8776
350.10/351.36	c #Conflicts:      18000 | #Constraints:       9776
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      19000 | #Constraints:       7789
350.10/351.36	c #Conflicts:      20000 | #Constraints:       8789
350.10/351.36	c #Conflicts:      21000 | #Constraints:       9789
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      22000 | #Constraints:       7590
350.10/351.36	c #Conflicts:      23000 | #Constraints:       8590
350.10/351.36	c #Conflicts:      24000 | #Constraints:       9590
350.10/351.36	c #Conflicts:      25000 | #Constraints:      10590
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      26000 | #Constraints:       8185
350.10/351.36	c #Conflicts:      27000 | #Constraints:       9185
350.10/351.36	c #Conflicts:      28000 | #Constraints:      10185
350.10/351.36	c #Conflicts:      29000 | #Constraints:      11185
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      30000 | #Constraints:       8580
350.10/351.36	c #Conflicts:      31000 | #Constraints:       9580
350.10/351.36	c #Conflicts:      32000 | #Constraints:      10580
350.10/351.36	c #Conflicts:      33000 | #Constraints:      11580
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      34000 | #Constraints:       8778
350.10/351.36	c #Conflicts:      35000 | #Constraints:       9778
350.10/351.36	c #Conflicts:      36000 | #Constraints:      10778
350.10/351.36	c #Conflicts:      37000 | #Constraints:      11778
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      38000 | #Constraints:       8786
350.10/351.36	c #Conflicts:      39000 | #Constraints:       9786
350.10/351.36	c #Conflicts:      40000 | #Constraints:      10786
350.10/351.36	c #Conflicts:      41000 | #Constraints:      11786
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      42000 | #Constraints:       8584
350.10/351.36	c #Conflicts:      43000 | #Constraints:       9584
350.10/351.36	c #Conflicts:      44000 | #Constraints:      10584
350.10/351.36	c #Conflicts:      45000 | #Constraints:      11584
350.10/351.36	c #Conflicts:      46000 | #Constraints:      12584
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      47000 | #Constraints:       9180
350.10/351.36	c #Conflicts:      48000 | #Constraints:      10180
350.10/351.36	c #Conflicts:      49000 | #Constraints:      11180
350.10/351.36	c #Conflicts:      50000 | #Constraints:      12180
350.10/351.36	c #Conflicts:      51000 | #Constraints:      13180
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      52000 | #Constraints:       9583
350.10/351.36	c #Conflicts:      53000 | #Constraints:      10583
350.10/351.36	c #Conflicts:      54000 | #Constraints:      11583
350.10/351.36	c #Conflicts:      55000 | #Constraints:      12583
350.10/351.36	c #Conflicts:      56000 | #Constraints:      13583
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      57000 | #Constraints:       9779
350.10/351.36	c #Conflicts:      58000 | #Constraints:      10779
350.10/351.36	c #Conflicts:      59000 | #Constraints:      11779
350.10/351.36	c #Conflicts:      60000 | #Constraints:      12779
350.10/351.36	c #Conflicts:      61000 | #Constraints:      13779
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      62000 | #Constraints:       9780
350.10/351.36	c #Conflicts:      63000 | #Constraints:      10780
350.10/351.36	c #Conflicts:      64000 | #Constraints:      11780
350.10/351.36	c #Conflicts:      65000 | #Constraints:      12780
350.10/351.36	c #Conflicts:      66000 | #Constraints:      13780
350.10/351.36	c INPROCESSING
350.10/351.36	c GARBAGE COLLECT
350.10/351.36	c #Conflicts:      67000 | #Constraints:       9576
350.10/351.36	c #Conflicts:      68000 | #Constraints:      10576
350.10/351.36	c #Conflicts:      69000 | #Constraints:      11576
473.58/475.21	c #Conflicts:      70000 | #Constraints:      12576
473.58/475.21	c #Conflicts:      71000 | #Constraints:      13576
473.58/475.21	c #Conflicts:      72000 | #Constraints:      14576
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:      73000 | #Constraints:      10181
473.58/475.21	c #Conflicts:      74000 | #Constraints:      11181
473.58/475.21	c #Conflicts:      75000 | #Constraints:      12181
473.58/475.21	c #Conflicts:      76000 | #Constraints:      13181
473.58/475.21	c #Conflicts:      77000 | #Constraints:      14181
473.58/475.21	c #Conflicts:      78000 | #Constraints:      15181
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:      79000 | #Constraints:      10580
473.58/475.21	c #Conflicts:      80000 | #Constraints:      11580
473.58/475.21	c #Conflicts:      81000 | #Constraints:      12580
473.58/475.21	c #Conflicts:      82000 | #Constraints:      13580
473.58/475.21	c #Conflicts:      83000 | #Constraints:      14580
473.58/475.21	c #Conflicts:      84000 | #Constraints:      15580
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:      85000 | #Constraints:      10783
473.58/475.21	c #Conflicts:      86000 | #Constraints:      11783
473.58/475.21	c #Conflicts:      87000 | #Constraints:      12783
473.58/475.21	c #Conflicts:      88000 | #Constraints:      13783
473.58/475.21	c #Conflicts:      89000 | #Constraints:      14783
473.58/475.21	c #Conflicts:      90000 | #Constraints:      15783
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:      91000 | #Constraints:      10784
473.58/475.21	c #Conflicts:      92000 | #Constraints:      11784
473.58/475.21	c #Conflicts:      93000 | #Constraints:      12784
473.58/475.21	c #Conflicts:      94000 | #Constraints:      13784
473.58/475.21	c #Conflicts:      95000 | #Constraints:      14784
473.58/475.21	c #Conflicts:      96000 | #Constraints:      15784
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:      97000 | #Constraints:      10589
473.58/475.21	c #Conflicts:      98000 | #Constraints:      11589
473.58/475.21	c #Conflicts:      99000 | #Constraints:      12589
473.58/475.21	c #Conflicts:     100000 | #Constraints:      13589
473.58/475.21	c #Conflicts:     101000 | #Constraints:      14589
473.58/475.21	c #Conflicts:     102000 | #Constraints:      15589
473.58/475.21	c #Conflicts:     103000 | #Constraints:      16589
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     104000 | #Constraints:      11186
473.58/475.21	c #Conflicts:     105000 | #Constraints:      12186
473.58/475.21	c #Conflicts:     106000 | #Constraints:      13186
473.58/475.21	c #Conflicts:     107000 | #Constraints:      14186
473.58/475.21	c #Conflicts:     108000 | #Constraints:      15186
473.58/475.21	c #Conflicts:     109000 | #Constraints:      16186
473.58/475.21	c #Conflicts:     110000 | #Constraints:      17186
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     111000 | #Constraints:      11584
473.58/475.21	c #Conflicts:     112000 | #Constraints:      12584
473.58/475.21	c #Conflicts:     113000 | #Constraints:      13584
473.58/475.21	c #Conflicts:     114000 | #Constraints:      14584
473.58/475.21	c #Conflicts:     115000 | #Constraints:      15584
473.58/475.21	c #Conflicts:     116000 | #Constraints:      16584
473.58/475.21	c #Conflicts:     117000 | #Constraints:      17584
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     118000 | #Constraints:      11786
473.58/475.21	c #Conflicts:     119000 | #Constraints:      12786
473.58/475.21	c #Conflicts:     120000 | #Constraints:      13786
473.58/475.21	c #Conflicts:     121000 | #Constraints:      14786
473.58/475.21	c #Conflicts:     122000 | #Constraints:      15786
473.58/475.21	c #Conflicts:     123000 | #Constraints:      16786
473.58/475.21	c #Conflicts:     124000 | #Constraints:      17786
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     125000 | #Constraints:      11780
473.58/475.21	c #Conflicts:     126000 | #Constraints:      12780
473.58/475.21	c #Conflicts:     127000 | #Constraints:      13780
473.58/475.21	c #Conflicts:     128000 | #Constraints:      14780
473.58/475.21	c #Conflicts:     129000 | #Constraints:      15780
473.58/475.21	c #Conflicts:     130000 | #Constraints:      16780
473.58/475.21	c #Conflicts:     131000 | #Constraints:      17780
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     132000 | #Constraints:      11573
473.58/475.21	c #Conflicts:     133000 | #Constraints:      12573
473.58/475.21	c #Conflicts:     134000 | #Constraints:      13573
473.58/475.21	c #Conflicts:     135000 | #Constraints:      14573
473.58/475.21	c #Conflicts:     136000 | #Constraints:      15573
473.58/475.21	c #Conflicts:     137000 | #Constraints:      16573
473.58/475.21	c #Conflicts:     138000 | #Constraints:      17573
473.58/475.21	c #Conflicts:     139000 | #Constraints:      18573
473.58/475.21	c INPROCESSING
473.58/475.21	c GARBAGE COLLECT
473.58/475.21	c #Conflicts:     140000 | #Constraints:      12178
634.04/636.20	c #Conflicts:     141000 | #Constraints:      13178
634.04/636.20	c #Conflicts:     142000 | #Constraints:      14178
634.04/636.20	c #Conflicts:     143000 | #Constraints:      15178
634.04/636.20	c #Conflicts:     144000 | #Constraints:      16178
634.04/636.20	c #Conflicts:     145000 | #Constraints:      17178
634.04/636.20	c #Conflicts:     146000 | #Constraints:      18178
634.04/636.20	c #Conflicts:     147000 | #Constraints:      19178
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     148000 | #Constraints:      12587
634.04/636.20	c #Conflicts:     149000 | #Constraints:      13587
634.04/636.20	c #Conflicts:     150000 | #Constraints:      14587
634.04/636.20	c #Conflicts:     151000 | #Constraints:      15587
634.04/636.20	c #Conflicts:     152000 | #Constraints:      16587
634.04/636.20	c #Conflicts:     153000 | #Constraints:      17587
634.04/636.20	c #Conflicts:     154000 | #Constraints:      18587
634.04/636.20	c #Conflicts:     155000 | #Constraints:      19587
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     156000 | #Constraints:      12785
634.04/636.20	c #Conflicts:     157000 | #Constraints:      13785
634.04/636.20	c #Conflicts:     158000 | #Constraints:      14785
634.04/636.20	c #Conflicts:     159000 | #Constraints:      15785
634.04/636.20	c #Conflicts:     160000 | #Constraints:      16785
634.04/636.20	c #Conflicts:     161000 | #Constraints:      17785
634.04/636.20	c #Conflicts:     162000 | #Constraints:      18785
634.04/636.20	c #Conflicts:     163000 | #Constraints:      19785
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     164000 | #Constraints:      12783
634.04/636.20	c #Conflicts:     165000 | #Constraints:      13783
634.04/636.20	c #Conflicts:     166000 | #Constraints:      14783
634.04/636.20	c #Conflicts:     167000 | #Constraints:      15783
634.04/636.20	c #Conflicts:     168000 | #Constraints:      16783
634.04/636.20	c #Conflicts:     169000 | #Constraints:      17783
634.04/636.20	c #Conflicts:     170000 | #Constraints:      18783
634.04/636.20	c #Conflicts:     171000 | #Constraints:      19783
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     172000 | #Constraints:      12578
634.04/636.20	c #Conflicts:     173000 | #Constraints:      13578
634.04/636.20	c #Conflicts:     174000 | #Constraints:      14578
634.04/636.20	c #Conflicts:     175000 | #Constraints:      15578
634.04/636.20	c #Conflicts:     176000 | #Constraints:      16578
634.04/636.20	c #Conflicts:     177000 | #Constraints:      17578
634.04/636.20	c #Conflicts:     178000 | #Constraints:      18578
634.04/636.20	c #Conflicts:     179000 | #Constraints:      19578
634.04/636.20	c #Conflicts:     180000 | #Constraints:      20578
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     181000 | #Constraints:      13174
634.04/636.20	c #Conflicts:     182000 | #Constraints:      14174
634.04/636.20	c #Conflicts:     183000 | #Constraints:      15174
634.04/636.20	c #Conflicts:     184000 | #Constraints:      16174
634.04/636.20	c #Conflicts:     185000 | #Constraints:      17174
634.04/636.20	c #Conflicts:     186000 | #Constraints:      18174
634.04/636.20	c #Conflicts:     187000 | #Constraints:      19174
634.04/636.20	c #Conflicts:     188000 | #Constraints:      20174
634.04/636.20	c #Conflicts:     189000 | #Constraints:      21174
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     190000 | #Constraints:      13585
634.04/636.20	c #Conflicts:     191000 | #Constraints:      14585
634.04/636.20	c #Conflicts:     192000 | #Constraints:      15585
634.04/636.20	c #Conflicts:     193000 | #Constraints:      16585
634.04/636.20	c #Conflicts:     194000 | #Constraints:      17585
634.04/636.20	c #Conflicts:     195000 | #Constraints:      18585
634.04/636.20	c #Conflicts:     196000 | #Constraints:      19585
634.04/636.20	c #Conflicts:     197000 | #Constraints:      20585
634.04/636.20	c #Conflicts:     198000 | #Constraints:      21585
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     199000 | #Constraints:      13791
634.04/636.20	c #Conflicts:     200000 | #Constraints:      14791
634.04/636.20	c #Conflicts:     201000 | #Constraints:      15791
634.04/636.20	c #Conflicts:     202000 | #Constraints:      16791
634.04/636.20	c #Conflicts:     203000 | #Constraints:      17791
634.04/636.20	c #Conflicts:     204000 | #Constraints:      18791
634.04/636.20	c #Conflicts:     205000 | #Constraints:      19791
634.04/636.20	c #Conflicts:     206000 | #Constraints:      20791
634.04/636.20	c #Conflicts:     207000 | #Constraints:      21791
634.04/636.20	c INPROCESSING
634.04/636.20	c GARBAGE COLLECT
634.04/636.20	c #Conflicts:     208000 | #Constraints:      13794
634.04/636.20	c #Conflicts:     209000 | #Constraints:      14794
634.04/636.20	c #Conflicts:     210000 | #Constraints:      15794
634.04/636.20	c #Conflicts:     211000 | #Constraints:      16794
634.04/636.20	c #Conflicts:     212000 | #Constraints:      17794
634.04/636.20	c #Conflicts:     213000 | #Constraints:      18794
634.04/636.20	c #Conflicts:     214000 | #Constraints:      19794
823.89/826.71	c #Conflicts:     215000 | #Constraints:      20794
823.89/826.71	c #Conflicts:     216000 | #Constraints:      21794
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     217000 | #Constraints:      13591
823.89/826.71	c #Conflicts:     218000 | #Constraints:      14591
823.89/826.71	c #Conflicts:     219000 | #Constraints:      15591
823.89/826.71	c #Conflicts:     220000 | #Constraints:      16591
823.89/826.71	c #Conflicts:     221000 | #Constraints:      17591
823.89/826.71	c #Conflicts:     222000 | #Constraints:      18591
823.89/826.71	c #Conflicts:     223000 | #Constraints:      19591
823.89/826.71	c #Conflicts:     224000 | #Constraints:      20591
823.89/826.71	c #Conflicts:     225000 | #Constraints:      21591
823.89/826.71	c #Conflicts:     226000 | #Constraints:      22591
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     227000 | #Constraints:      14196
823.89/826.71	c #Conflicts:     228000 | #Constraints:      15196
823.89/826.71	c #Conflicts:     229000 | #Constraints:      16196
823.89/826.71	c #Conflicts:     230000 | #Constraints:      17196
823.89/826.71	c #Conflicts:     231000 | #Constraints:      18196
823.89/826.71	c #Conflicts:     232000 | #Constraints:      19196
823.89/826.71	c #Conflicts:     233000 | #Constraints:      20196
823.89/826.71	c #Conflicts:     234000 | #Constraints:      21196
823.89/826.71	c #Conflicts:     235000 | #Constraints:      22196
823.89/826.71	c #Conflicts:     236000 | #Constraints:      23196
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     237000 | #Constraints:      14594
823.89/826.71	c #Conflicts:     238000 | #Constraints:      15594
823.89/826.71	c #Conflicts:     239000 | #Constraints:      16594
823.89/826.71	c #Conflicts:     240000 | #Constraints:      17594
823.89/826.71	c #Conflicts:     241000 | #Constraints:      18594
823.89/826.71	c #Conflicts:     242000 | #Constraints:      19594
823.89/826.71	c #Conflicts:     243000 | #Constraints:      20594
823.89/826.71	c #Conflicts:     244000 | #Constraints:      21594
823.89/826.71	c #Conflicts:     245000 | #Constraints:      22594
823.89/826.71	c #Conflicts:     246000 | #Constraints:      23594
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     247000 | #Constraints:      14790
823.89/826.71	c #Conflicts:     248000 | #Constraints:      15790
823.89/826.71	c #Conflicts:     249000 | #Constraints:      16790
823.89/826.71	c #Conflicts:     250000 | #Constraints:      17790
823.89/826.71	c #Conflicts:     251000 | #Constraints:      18790
823.89/826.71	c #Conflicts:     252000 | #Constraints:      19790
823.89/826.71	c #Conflicts:     253000 | #Constraints:      20790
823.89/826.71	c #Conflicts:     254000 | #Constraints:      21790
823.89/826.71	c #Conflicts:     255000 | #Constraints:      22790
823.89/826.71	c #Conflicts:     256000 | #Constraints:      23790
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     257000 | #Constraints:      14793
823.89/826.71	c #Conflicts:     258000 | #Constraints:      15793
823.89/826.71	c #Conflicts:     259000 | #Constraints:      16793
823.89/826.71	c #Conflicts:     260000 | #Constraints:      17793
823.89/826.71	c #Conflicts:     261000 | #Constraints:      18793
823.89/826.71	c #Conflicts:     262000 | #Constraints:      19793
823.89/826.71	c #Conflicts:     263000 | #Constraints:      20793
823.89/826.71	c #Conflicts:     264000 | #Constraints:      21793
823.89/826.71	c #Conflicts:     265000 | #Constraints:      22793
823.89/826.71	c #Conflicts:     266000 | #Constraints:      23793
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     267000 | #Constraints:      14588
823.89/826.71	c #Conflicts:     268000 | #Constraints:      15588
823.89/826.71	c #Conflicts:     269000 | #Constraints:      16588
823.89/826.71	c #Conflicts:     270000 | #Constraints:      17588
823.89/826.71	c #Conflicts:     271000 | #Constraints:      18588
823.89/826.71	c #Conflicts:     272000 | #Constraints:      19588
823.89/826.71	c #Conflicts:     273000 | #Constraints:      20588
823.89/826.71	c #Conflicts:     274000 | #Constraints:      21588
823.89/826.71	c #Conflicts:     275000 | #Constraints:      22588
823.89/826.71	c #Conflicts:     276000 | #Constraints:      23588
823.89/826.71	c #Conflicts:     277000 | #Constraints:      24588
823.89/826.71	c INPROCESSING
823.89/826.71	c GARBAGE COLLECT
823.89/826.71	c #Conflicts:     278000 | #Constraints:      15193
823.89/826.71	c #Conflicts:     279000 | #Constraints:      16193
823.89/826.71	c #Conflicts:     280000 | #Constraints:      17193
823.89/826.71	c #Conflicts:     281000 | #Constraints:      18193
823.89/826.71	c #Conflicts:     282000 | #Constraints:      19193
823.89/826.71	c #Conflicts:     283000 | #Constraints:      20193
823.89/826.71	c #Conflicts:     284000 | #Constraints:      21193
823.89/826.71	c #Conflicts:     285000 | #Constraints:      22193
823.89/826.71	c #Conflicts:     286000 | #Constraints:      23193
823.89/826.71	c #Conflicts:     287000 | #Constraints:      24193
823.89/826.71	c #Conflicts:     288000 | #Constraints:      25193
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     289000 | #Constraints:      15588
1031.29/1034.86	c #Conflicts:     290000 | #Constraints:      16588
1031.29/1034.86	c #Conflicts:     291000 | #Constraints:      17588
1031.29/1034.86	c #Conflicts:     292000 | #Constraints:      18588
1031.29/1034.86	c #Conflicts:     293000 | #Constraints:      19588
1031.29/1034.86	c #Conflicts:     294000 | #Constraints:      20588
1031.29/1034.86	c #Conflicts:     295000 | #Constraints:      21588
1031.29/1034.86	c #Conflicts:     296000 | #Constraints:      22588
1031.29/1034.86	c #Conflicts:     297000 | #Constraints:      23588
1031.29/1034.86	c #Conflicts:     298000 | #Constraints:      24588
1031.29/1034.86	c #Conflicts:     299000 | #Constraints:      25588
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     300000 | #Constraints:      15785
1031.29/1034.86	c #Conflicts:     301000 | #Constraints:      16785
1031.29/1034.86	c #Conflicts:     302000 | #Constraints:      17785
1031.29/1034.86	c #Conflicts:     303000 | #Constraints:      18785
1031.29/1034.86	c #Conflicts:     304000 | #Constraints:      19785
1031.29/1034.86	c #Conflicts:     305000 | #Constraints:      20785
1031.29/1034.86	c #Conflicts:     306000 | #Constraints:      21785
1031.29/1034.86	c #Conflicts:     307000 | #Constraints:      22785
1031.29/1034.86	c #Conflicts:     308000 | #Constraints:      23785
1031.29/1034.86	c #Conflicts:     309000 | #Constraints:      24785
1031.29/1034.86	c #Conflicts:     310000 | #Constraints:      25785
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     311000 | #Constraints:      15785
1031.29/1034.86	c #Conflicts:     312000 | #Constraints:      16785
1031.29/1034.86	c #Conflicts:     313000 | #Constraints:      17785
1031.29/1034.86	c #Conflicts:     314000 | #Constraints:      18785
1031.29/1034.86	c #Conflicts:     315000 | #Constraints:      19785
1031.29/1034.86	c #Conflicts:     316000 | #Constraints:      20785
1031.29/1034.86	c #Conflicts:     317000 | #Constraints:      21785
1031.29/1034.86	c #Conflicts:     318000 | #Constraints:      22785
1031.29/1034.86	c #Conflicts:     319000 | #Constraints:      23785
1031.29/1034.86	c #Conflicts:     320000 | #Constraints:      24785
1031.29/1034.86	c #Conflicts:     321000 | #Constraints:      25785
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     322000 | #Constraints:      15586
1031.29/1034.86	c #Conflicts:     323000 | #Constraints:      16586
1031.29/1034.86	c #Conflicts:     324000 | #Constraints:      17586
1031.29/1034.86	c #Conflicts:     325000 | #Constraints:      18586
1031.29/1034.86	c #Conflicts:     326000 | #Constraints:      19586
1031.29/1034.86	c #Conflicts:     327000 | #Constraints:      20586
1031.29/1034.86	c #Conflicts:     328000 | #Constraints:      21586
1031.29/1034.86	c #Conflicts:     329000 | #Constraints:      22586
1031.29/1034.86	c #Conflicts:     330000 | #Constraints:      23586
1031.29/1034.86	c #Conflicts:     331000 | #Constraints:      24586
1031.29/1034.86	c #Conflicts:     332000 | #Constraints:      25586
1031.29/1034.86	c #Conflicts:     333000 | #Constraints:      26586
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     334000 | #Constraints:      16186
1031.29/1034.86	c #Conflicts:     335000 | #Constraints:      17186
1031.29/1034.86	c #Conflicts:     336000 | #Constraints:      18186
1031.29/1034.86	c #Conflicts:     337000 | #Constraints:      19186
1031.29/1034.86	c #Conflicts:     338000 | #Constraints:      20186
1031.29/1034.86	c #Conflicts:     339000 | #Constraints:      21186
1031.29/1034.86	c #Conflicts:     340000 | #Constraints:      22186
1031.29/1034.86	c #Conflicts:     341000 | #Constraints:      23186
1031.29/1034.86	c #Conflicts:     342000 | #Constraints:      24186
1031.29/1034.86	c #Conflicts:     343000 | #Constraints:      25186
1031.29/1034.86	c #Conflicts:     344000 | #Constraints:      26186
1031.29/1034.86	c #Conflicts:     345000 | #Constraints:      27186
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     346000 | #Constraints:      16583
1031.29/1034.86	c #Conflicts:     347000 | #Constraints:      17583
1031.29/1034.86	c #Conflicts:     348000 | #Constraints:      18583
1031.29/1034.86	c #Conflicts:     349000 | #Constraints:      19583
1031.29/1034.86	c #Conflicts:     350000 | #Constraints:      20583
1031.29/1034.86	c #Conflicts:     351000 | #Constraints:      21583
1031.29/1034.86	c #Conflicts:     352000 | #Constraints:      22583
1031.29/1034.86	c #Conflicts:     353000 | #Constraints:      23583
1031.29/1034.86	c #Conflicts:     354000 | #Constraints:      24583
1031.29/1034.86	c #Conflicts:     355000 | #Constraints:      25583
1031.29/1034.86	c #Conflicts:     356000 | #Constraints:      26583
1031.29/1034.86	c #Conflicts:     357000 | #Constraints:      27583
1031.29/1034.86	c INPROCESSING
1031.29/1034.86	c GARBAGE COLLECT
1031.29/1034.86	c #Conflicts:     358000 | #Constraints:      16779
1031.29/1034.86	c #Conflicts:     359000 | #Constraints:      17779
1031.29/1034.86	c #Conflicts:     360000 | #Constraints:      18779
1031.29/1034.86	c #Conflicts:     361000 | #Constraints:      19779
1031.29/1034.86	c #Conflicts:     362000 | #Constraints:      20779
1031.29/1034.86	c #Conflicts:     363000 | #Constraints:      21779
1234.97/1239.21	c #Conflicts:     364000 | #Constraints:      22779
1234.97/1239.21	c #Conflicts:     365000 | #Constraints:      23779
1234.97/1239.21	c #Conflicts:     366000 | #Constraints:      24779
1234.97/1239.21	c #Conflicts:     367000 | #Constraints:      25779
1234.97/1239.21	c #Conflicts:     368000 | #Constraints:      26779
1234.97/1239.21	c #Conflicts:     369000 | #Constraints:      27779
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     370000 | #Constraints:      16782
1234.97/1239.21	c #Conflicts:     371000 | #Constraints:      17782
1234.97/1239.21	c #Conflicts:     372000 | #Constraints:      18782
1234.97/1239.21	c #Conflicts:     373000 | #Constraints:      19782
1234.97/1239.21	c #Conflicts:     374000 | #Constraints:      20782
1234.97/1239.21	c #Conflicts:     375000 | #Constraints:      21782
1234.97/1239.21	c #Conflicts:     376000 | #Constraints:      22782
1234.97/1239.21	c #Conflicts:     377000 | #Constraints:      23782
1234.97/1239.21	c #Conflicts:     378000 | #Constraints:      24782
1234.97/1239.21	c #Conflicts:     379000 | #Constraints:      25782
1234.97/1239.21	c #Conflicts:     380000 | #Constraints:      26782
1234.97/1239.21	c #Conflicts:     381000 | #Constraints:      27782
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     382000 | #Constraints:      16581
1234.97/1239.21	c #Conflicts:     383000 | #Constraints:      17581
1234.97/1239.21	c #Conflicts:     384000 | #Constraints:      18581
1234.97/1239.21	c #Conflicts:     385000 | #Constraints:      19581
1234.97/1239.21	c #Conflicts:     386000 | #Constraints:      20581
1234.97/1239.21	c #Conflicts:     387000 | #Constraints:      21581
1234.97/1239.21	c #Conflicts:     388000 | #Constraints:      22581
1234.97/1239.21	c #Conflicts:     389000 | #Constraints:      23581
1234.97/1239.21	c #Conflicts:     390000 | #Constraints:      24581
1234.97/1239.21	c #Conflicts:     391000 | #Constraints:      25581
1234.97/1239.21	c #Conflicts:     392000 | #Constraints:      26581
1234.97/1239.21	c #Conflicts:     393000 | #Constraints:      27581
1234.97/1239.21	c #Conflicts:     394000 | #Constraints:      28581
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     395000 | #Constraints:      17185
1234.97/1239.21	c #Conflicts:     396000 | #Constraints:      18185
1234.97/1239.21	c #Conflicts:     397000 | #Constraints:      19185
1234.97/1239.21	c #Conflicts:     398000 | #Constraints:      20185
1234.97/1239.21	c #Conflicts:     399000 | #Constraints:      21185
1234.97/1239.21	c #Conflicts:     400000 | #Constraints:      22185
1234.97/1239.21	c #Conflicts:     401000 | #Constraints:      23185
1234.97/1239.21	c #Conflicts:     402000 | #Constraints:      24185
1234.97/1239.21	c #Conflicts:     403000 | #Constraints:      25185
1234.97/1239.21	c #Conflicts:     404000 | #Constraints:      26185
1234.97/1239.21	c #Conflicts:     405000 | #Constraints:      27185
1234.97/1239.21	c #Conflicts:     406000 | #Constraints:      28185
1234.97/1239.21	c #Conflicts:     407000 | #Constraints:      29185
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     408000 | #Constraints:      17583
1234.97/1239.21	c #Conflicts:     409000 | #Constraints:      18583
1234.97/1239.21	c #Conflicts:     410000 | #Constraints:      19583
1234.97/1239.21	c #Conflicts:     411000 | #Constraints:      20583
1234.97/1239.21	c #Conflicts:     412000 | #Constraints:      21583
1234.97/1239.21	c #Conflicts:     413000 | #Constraints:      22583
1234.97/1239.21	c #Conflicts:     414000 | #Constraints:      23583
1234.97/1239.21	c #Conflicts:     415000 | #Constraints:      24583
1234.97/1239.21	c #Conflicts:     416000 | #Constraints:      25583
1234.97/1239.21	c #Conflicts:     417000 | #Constraints:      26583
1234.97/1239.21	c #Conflicts:     418000 | #Constraints:      27583
1234.97/1239.21	c #Conflicts:     419000 | #Constraints:      28583
1234.97/1239.21	c #Conflicts:     420000 | #Constraints:      29583
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     421000 | #Constraints:      17796
1234.97/1239.21	c #Conflicts:     422000 | #Constraints:      18796
1234.97/1239.21	c #Conflicts:     423000 | #Constraints:      19796
1234.97/1239.21	c #Conflicts:     424000 | #Constraints:      20796
1234.97/1239.21	c #Conflicts:     425000 | #Constraints:      21796
1234.97/1239.21	c #Conflicts:     426000 | #Constraints:      22796
1234.97/1239.21	c #Conflicts:     427000 | #Constraints:      23796
1234.97/1239.21	c #Conflicts:     428000 | #Constraints:      24796
1234.97/1239.21	c #Conflicts:     429000 | #Constraints:      25796
1234.97/1239.21	c #Conflicts:     430000 | #Constraints:      26796
1234.97/1239.21	c #Conflicts:     431000 | #Constraints:      27796
1234.97/1239.21	c #Conflicts:     432000 | #Constraints:      28796
1234.97/1239.21	c #Conflicts:     433000 | #Constraints:      29796
1234.97/1239.21	c INPROCESSING
1234.97/1239.21	c GARBAGE COLLECT
1234.97/1239.21	c #Conflicts:     434000 | #Constraints:      17794
1234.97/1239.21	c #Conflicts:     435000 | #Constraints:      18794
1234.97/1239.21	c #Conflicts:     436000 | #Constraints:      19794
1234.97/1239.21	c #Conflicts:     437000 | #Constraints:      20794
1234.97/1239.21	c #Conflicts:     438000 | #Constraints:      21794
1438.40/1443.38	c #Conflicts:     439000 | #Constraints:      22794
1438.40/1443.38	c #Conflicts:     440000 | #Constraints:      23794
1438.40/1443.38	c #Conflicts:     441000 | #Constraints:      24794
1438.40/1443.38	c #Conflicts:     442000 | #Constraints:      25794
1438.40/1443.38	c #Conflicts:     443000 | #Constraints:      26794
1438.40/1443.38	c #Conflicts:     444000 | #Constraints:      27794
1438.40/1443.38	c #Conflicts:     445000 | #Constraints:      28794
1438.40/1443.38	c #Conflicts:     446000 | #Constraints:      29794
1438.40/1443.38	c INPROCESSING
1438.40/1443.38	c GARBAGE COLLECT
1438.40/1443.38	c #Conflicts:     447000 | #Constraints:      17598
1438.40/1443.38	c #Conflicts:     448000 | #Constraints:      18598
1438.40/1443.38	c #Conflicts:     449000 | #Constraints:      19598
1438.40/1443.38	c #Conflicts:     450000 | #Constraints:      20598
1438.40/1443.38	c #Conflicts:     451000 | #Constraints:      21598
1438.40/1443.38	c #Conflicts:     452000 | #Constraints:      22598
1438.40/1443.38	c #Conflicts:     453000 | #Constraints:      23598
1438.40/1443.38	c #Conflicts:     454000 | #Constraints:      24598
1438.40/1443.38	c #Conflicts:     455000 | #Constraints:      25598
1438.40/1443.38	c #Conflicts:     456000 | #Constraints:      26598
1438.40/1443.38	c #Conflicts:     457000 | #Constraints:      27598
1438.40/1443.38	c #Conflicts:     458000 | #Constraints:      28598
1438.40/1443.38	c #Conflicts:     459000 | #Constraints:      29598
1438.40/1443.38	c #Conflicts:     460000 | #Constraints:      30598
1438.40/1443.38	c INPROCESSING
1438.40/1443.38	c GARBAGE COLLECT
1438.40/1443.38	c #Conflicts:     461000 | #Constraints:      18198
1438.40/1443.38	c #Conflicts:     462000 | #Constraints:      19198
1438.40/1443.38	c #Conflicts:     463000 | #Constraints:      20198
1438.40/1443.38	c #Conflicts:     464000 | #Constraints:      21198
1438.40/1443.38	c #Conflicts:     465000 | #Constraints:      22198
1438.40/1443.38	c #Conflicts:     466000 | #Constraints:      23198
1438.40/1443.38	c #Conflicts:     467000 | #Constraints:      24198
1438.40/1443.38	c #Conflicts:     468000 | #Constraints:      25198
1438.40/1443.38	c #Conflicts:     469000 | #Constraints:      26198
1438.40/1443.38	c #Conflicts:     470000 | #Constraints:      27198
1438.40/1443.38	c #Conflicts:     471000 | #Constraints:      28198
1438.40/1443.38	c #Conflicts:     472000 | #Constraints:      29198
1438.40/1443.38	c #Conflicts:     473000 | #Constraints:      30198
1438.40/1443.38	c #Conflicts:     474000 | #Constraints:      31198
1438.40/1443.38	c INPROCESSING
1438.40/1443.38	c GARBAGE COLLECT
1438.40/1443.38	c #Conflicts:     475000 | #Constraints:      18600
1438.40/1443.38	c #Conflicts:     476000 | #Constraints:      19600
1438.40/1443.38	c #Conflicts:     477000 | #Constraints:      20600
1438.40/1443.38	c #Conflicts:     478000 | #Constraints:      21600
1438.40/1443.38	c #Conflicts:     479000 | #Constraints:      22600
1438.40/1443.38	c #Conflicts:     480000 | #Constraints:      23600
1438.40/1443.38	c #Conflicts:     481000 | #Constraints:      24600
1438.40/1443.38	c #Conflicts:     482000 | #Constraints:      25600
1438.40/1443.38	c #Conflicts:     483000 | #Constraints:      26600
1438.40/1443.38	c #Conflicts:     484000 | #Constraints:      27600
1438.40/1443.38	c #Conflicts:     485000 | #Constraints:      28600
1438.40/1443.38	c #Conflicts:     486000 | #Constraints:      29600
1438.40/1443.38	c #Conflicts:     487000 | #Constraints:      30600
1438.40/1443.38	c #Conflicts:     488000 | #Constraints:      31600
1438.40/1443.38	c INPROCESSING
1438.40/1443.38	c GARBAGE COLLECT
1438.40/1443.38	c #Conflicts:     489000 | #Constraints:      18798
1438.40/1443.38	c #Conflicts:     490000 | #Constraints:      19798
1438.40/1443.38	c #Conflicts:     491000 | #Constraints:      20798
1438.40/1443.38	c #Conflicts:     492000 | #Constraints:      21798
1438.40/1443.38	c #Conflicts:     493000 | #Constraints:      22798
1438.40/1443.38	c #Conflicts:     494000 | #Constraints:      23798
1438.40/1443.38	c #Conflicts:     495000 | #Constraints:      24798
1438.40/1443.38	c #Conflicts:     496000 | #Constraints:      25798
1438.40/1443.38	c #Conflicts:     497000 | #Constraints:      26798
1438.40/1443.38	c #Conflicts:     498000 | #Constraints:      27798
1438.40/1443.38	c #Conflicts:     499000 | #Constraints:      28798
1438.40/1443.38	c #Conflicts:     500000 | #Constraints:      29798
1438.40/1443.38	c #Conflicts:     501000 | #Constraints:      30798
1438.40/1443.38	c #Conflicts:     502000 | #Constraints:      31798
1438.40/1443.38	c INPROCESSING
1438.40/1443.38	c GARBAGE COLLECT
1438.40/1443.38	c #Conflicts:     503000 | #Constraints:      18791
1438.40/1443.38	c #Conflicts:     504000 | #Constraints:      19791
1438.40/1443.38	c #Conflicts:     505000 | #Constraints:      20791
1438.40/1443.38	c #Conflicts:     506000 | #Constraints:      21791
1438.40/1443.38	c #Conflicts:     507000 | #Constraints:      22791
1438.40/1443.38	c #Conflicts:     508000 | #Constraints:      23791
1438.40/1443.38	c #Conflicts:     509000 | #Constraints:      24791
1438.40/1443.38	c #Conflicts:     510000 | #Constraints:      25791
1438.40/1443.38	c #Conflicts:     511000 | #Constraints:      26791
1438.40/1443.38	c #Conflicts:     512000 | #Constraints:      27791
1438.40/1443.38	c #Conflicts:     513000 | #Constraints:      28791
1684.86/1690.64	c #Conflicts:     514000 | #Constraints:      29791
1684.86/1690.64	c #Conflicts:     515000 | #Constraints:      30791
1684.86/1690.64	c #Conflicts:     516000 | #Constraints:      31791
1684.86/1690.64	c INPROCESSING
1684.86/1690.64	c GARBAGE COLLECT
1684.86/1690.64	c #Conflicts:     517000 | #Constraints:      18585
1684.86/1690.64	c #Conflicts:     518000 | #Constraints:      19585
1684.86/1690.64	c #Conflicts:     519000 | #Constraints:      20585
1684.86/1690.64	c #Conflicts:     520000 | #Constraints:      21585
1684.86/1690.64	c #Conflicts:     521000 | #Constraints:      22585
1684.86/1690.64	c #Conflicts:     522000 | #Constraints:      23585
1684.86/1690.64	c #Conflicts:     523000 | #Constraints:      24585
1684.86/1690.64	c #Conflicts:     524000 | #Constraints:      25585
1684.86/1690.64	c #Conflicts:     525000 | #Constraints:      26585
1684.86/1690.64	c #Conflicts:     526000 | #Constraints:      27585
1684.86/1690.64	c #Conflicts:     527000 | #Constraints:      28585
1684.86/1690.64	c #Conflicts:     528000 | #Constraints:      29585
1684.86/1690.64	c #Conflicts:     529000 | #Constraints:      30585
1684.86/1690.64	c #Conflicts:     530000 | #Constraints:      31585
1684.86/1690.64	c #Conflicts:     531000 | #Constraints:      32585
1684.86/1690.64	c INPROCESSING
1684.86/1690.64	c GARBAGE COLLECT
1684.86/1690.64	c #Conflicts:     532000 | #Constraints:      19184
1684.86/1690.64	c #Conflicts:     533000 | #Constraints:      20184
1684.86/1690.64	c #Conflicts:     534000 | #Constraints:      21184
1684.86/1690.64	c #Conflicts:     535000 | #Constraints:      22184
1684.86/1690.64	c #Conflicts:     536000 | #Constraints:      23184
1684.86/1690.64	c #Conflicts:     537000 | #Constraints:      24184
1684.86/1690.64	c #Conflicts:     538000 | #Constraints:      25184
1684.86/1690.64	c #Conflicts:     539000 | #Constraints:      26184
1684.86/1690.64	c #Conflicts:     540000 | #Constraints:      27184
1684.86/1690.64	c #Conflicts:     541000 | #Constraints:      28184
1684.86/1690.64	c #Conflicts:     542000 | #Constraints:      29184
1684.86/1690.64	c #Conflicts:     543000 | #Constraints:      30184
1684.86/1690.64	c #Conflicts:     544000 | #Constraints:      31184
1684.86/1690.64	c #Conflicts:     545000 | #Constraints:      32184
1684.86/1690.64	c #Conflicts:     546000 | #Constraints:      33184
1684.86/1690.64	c INPROCESSING
1684.86/1690.64	c GARBAGE COLLECT
1684.86/1690.64	c #Conflicts:     547000 | #Constraints:      19584
1684.86/1690.64	c #Conflicts:     548000 | #Constraints:      20584
1684.86/1690.64	c #Conflicts:     549000 | #Constraints:      21584
1684.86/1690.64	c #Conflicts:     550000 | #Constraints:      22584
1684.86/1690.64	c #Conflicts:     551000 | #Constraints:      23584
1684.86/1690.64	c #Conflicts:     552000 | #Constraints:      24584
1684.86/1690.64	c #Conflicts:     553000 | #Constraints:      25584
1684.86/1690.64	c #Conflicts:     554000 | #Constraints:      26584
1684.86/1690.64	c #Conflicts:     555000 | #Constraints:      27584
1684.86/1690.64	c #Conflicts:     556000 | #Constraints:      28584
1684.86/1690.64	c #Conflicts:     557000 | #Constraints:      29584
1684.86/1690.64	c #Conflicts:     558000 | #Constraints:      30584
1684.86/1690.64	c #Conflicts:     559000 | #Constraints:      31584
1684.86/1690.64	c #Conflicts:     560000 | #Constraints:      32584
1684.86/1690.64	c #Conflicts:     561000 | #Constraints:      33584
1684.86/1690.64	c INPROCESSING
1684.86/1690.64	c GARBAGE COLLECT
1684.86/1690.64	c #Conflicts:     562000 | #Constraints:      19785
1684.86/1690.64	c #Conflicts:     563000 | #Constraints:      20785
1684.86/1690.64	c #Conflicts:     564000 | #Constraints:      21785
1684.86/1690.64	c #Conflicts:     565000 | #Constraints:      22785
1684.86/1690.64	c #Conflicts:     566000 | #Constraints:      23785
1684.86/1690.64	c #Conflicts:     567000 | #Constraints:      24785
1684.86/1690.64	c #Conflicts:     568000 | #Constraints:      25785
1684.86/1690.64	c #Conflicts:     569000 | #Constraints:      26785
1684.86/1690.64	c #Conflicts:     570000 | #Constraints:      27785
1684.86/1690.64	c #Conflicts:     571000 | #Constraints:      28785
1684.86/1690.64	c #Conflicts:     572000 | #Constraints:      29785
1684.86/1690.64	c #Conflicts:     573000 | #Constraints:      30785
1684.86/1690.64	c #Conflicts:     574000 | #Constraints:      31785
1684.86/1690.64	c #Conflicts:     575000 | #Constraints:      32785
1684.86/1690.64	c #Conflicts:     576000 | #Constraints:      33785
1684.86/1690.64	c INPROCESSING
1684.86/1690.64	c GARBAGE COLLECT
1684.86/1690.64	c #Conflicts:     577000 | #Constraints:      19780
1684.86/1690.64	c #Conflicts:     578000 | #Constraints:      20780
1684.86/1690.64	c #Conflicts:     579000 | #Constraints:      21780
1684.86/1690.64	c #Conflicts:     580000 | #Constraints:      22780
1684.86/1690.64	c #Conflicts:     581000 | #Constraints:      23780
1684.86/1690.64	c #Conflicts:     582000 | #Constraints:      24780
1684.86/1690.64	c #Conflicts:     583000 | #Constraints:      25780
1684.86/1690.64	c #Conflicts:     584000 | #Constraints:      26780
1684.86/1690.64	c #Conflicts:     585000 | #Constraints:      27780
1684.86/1690.64	c #Conflicts:     586000 | #Constraints:      28780
1684.86/1690.64	c #Conflicts:     587000 | #Constraints:      29780
1684.86/1690.64	c #Conflicts:     588000 | #Constraints:      30780
1684.86/1690.64	c #Conflicts:     589000 | #Constraints:      31780
1970.37/1977.15	c #Conflicts:     590000 | #Constraints:      32780
1970.37/1977.15	c #Conflicts:     591000 | #Constraints:      33780
1970.37/1977.15	c INPROCESSING
1970.37/1977.15	c GARBAGE COLLECT
1970.37/1977.15	c #Conflicts:     592000 | #Constraints:      19578
1970.37/1977.15	c #Conflicts:     593000 | #Constraints:      20578
1970.37/1977.15	c #Conflicts:     594000 | #Constraints:      21578
1970.37/1977.15	c #Conflicts:     595000 | #Constraints:      22578
1970.37/1977.15	c #Conflicts:     596000 | #Constraints:      23578
1970.37/1977.15	c #Conflicts:     597000 | #Constraints:      24578
1970.37/1977.15	c #Conflicts:     598000 | #Constraints:      25578
1970.37/1977.15	c #Conflicts:     599000 | #Constraints:      26578
1970.37/1977.15	c #Conflicts:     600000 | #Constraints:      27578
1970.37/1977.15	c #Conflicts:     601000 | #Constraints:      28578
1970.37/1977.15	c #Conflicts:     602000 | #Constraints:      29578
1970.37/1977.15	c #Conflicts:     603000 | #Constraints:      30578
1970.37/1977.15	c #Conflicts:     604000 | #Constraints:      31578
1970.37/1977.15	c #Conflicts:     605000 | #Constraints:      32578
1970.37/1977.15	c #Conflicts:     606000 | #Constraints:      33578
1970.37/1977.15	c #Conflicts:     607000 | #Constraints:      34578
1970.37/1977.15	c INPROCESSING
1970.37/1977.15	c GARBAGE COLLECT
1970.37/1977.15	c #Conflicts:     608000 | #Constraints:      20177
1970.37/1977.15	c #Conflicts:     609000 | #Constraints:      21177
1970.37/1977.15	c #Conflicts:     610000 | #Constraints:      22177
1970.37/1977.15	c #Conflicts:     611000 | #Constraints:      23177
1970.37/1977.15	c #Conflicts:     612000 | #Constraints:      24177
1970.37/1977.15	c #Conflicts:     613000 | #Constraints:      25177
1970.37/1977.15	c #Conflicts:     614000 | #Constraints:      26177
1970.37/1977.15	c #Conflicts:     615000 | #Constraints:      27177
1970.37/1977.15	c #Conflicts:     616000 | #Constraints:      28177
1970.37/1977.15	c #Conflicts:     617000 | #Constraints:      29177
1970.37/1977.15	c #Conflicts:     618000 | #Constraints:      30177
1970.37/1977.15	c #Conflicts:     619000 | #Constraints:      31177
1970.37/1977.15	c #Conflicts:     620000 | #Constraints:      32177
1970.37/1977.15	c #Conflicts:     621000 | #Constraints:      33177
1970.37/1977.15	c #Conflicts:     622000 | #Constraints:      34177
1970.37/1977.15	c #Conflicts:     623000 | #Constraints:      35177
1970.37/1977.15	c INPROCESSING
1970.37/1977.15	c GARBAGE COLLECT
1970.37/1977.15	c #Conflicts:     624000 | #Constraints:      20578
1970.37/1977.15	c #Conflicts:     625000 | #Constraints:      21578
1970.37/1977.15	c #Conflicts:     626000 | #Constraints:      22578
1970.37/1977.15	c #Conflicts:     627000 | #Constraints:      23578
1970.37/1977.15	c #Conflicts:     628000 | #Constraints:      24578
1970.37/1977.15	c #Conflicts:     629000 | #Constraints:      25578
1970.37/1977.15	c #Conflicts:     630000 | #Constraints:      26578
1970.37/1977.15	c #Conflicts:     631000 | #Constraints:      27578
1970.37/1977.15	c #Conflicts:     632000 | #Constraints:      28578
1970.37/1977.15	c #Conflicts:     633000 | #Constraints:      29578
1970.37/1977.15	c #Conflicts:     634000 | #Constraints:      30578
1970.37/1977.15	c #Conflicts:     635000 | #Constraints:      31578
1970.37/1977.15	c #Conflicts:     636000 | #Constraints:      32578
1970.37/1977.15	c #Conflicts:     637000 | #Constraints:      33578
1970.37/1977.15	c #Conflicts:     638000 | #Constraints:      34578
1970.37/1977.15	c #Conflicts:     639000 | #Constraints:      35578
1970.37/1977.15	c INPROCESSING
1970.37/1977.15	c GARBAGE COLLECT
1970.37/1977.15	c #Conflicts:     640000 | #Constraints:      20779
1970.37/1977.15	c #Conflicts:     641000 | #Constraints:      21779
1970.37/1977.15	c #Conflicts:     642000 | #Constraints:      22779
1970.37/1977.15	c #Conflicts:     643000 | #Constraints:      23779
1970.37/1977.15	c #Conflicts:     644000 | #Constraints:      24779
1970.37/1977.15	c #Conflicts:     645000 | #Constraints:      25779
1970.37/1977.15	c #Conflicts:     646000 | #Constraints:      26779
1970.37/1977.15	c #Conflicts:     647000 | #Constraints:      27779
1970.37/1977.15	c #Conflicts:     648000 | #Constraints:      28779
1970.37/1977.15	c #Conflicts:     649000 | #Constraints:      29779
1970.37/1977.15	c #Conflicts:     650000 | #Constraints:      30779
1970.37/1977.15	c #Conflicts:     651000 | #Constraints:      31779
1970.37/1977.15	c #Conflicts:     652000 | #Constraints:      32779
1970.37/1977.15	c #Conflicts:     653000 | #Constraints:      33779
1970.37/1977.15	c #Conflicts:     654000 | #Constraints:      34779
1970.37/1977.15	c #Conflicts:     655000 | #Constraints:      35779
1970.37/1977.15	c INPROCESSING
1970.37/1977.15	c GARBAGE COLLECT
1970.37/1977.15	c #Conflicts:     656000 | #Constraints:      20778
1970.37/1977.15	c #Conflicts:     657000 | #Constraints:      21778
1970.37/1977.15	c #Conflicts:     658000 | #Constraints:      22778
1970.37/1977.15	c #Conflicts:     659000 | #Constraints:      23778
1970.37/1977.15	c #Conflicts:     660000 | #Constraints:      24778
1970.37/1977.15	c #Conflicts:     661000 | #Constraints:      25778
1970.37/1977.15	c #Conflicts:     662000 | #Constraints:      26778
1970.37/1977.15	c #Conflicts:     663000 | #Constraints:      27778
1970.37/1977.15	c #Conflicts:     664000 | #Constraints:      28778
1970.37/1977.15	c #Conflicts:     665000 | #Constraints:      29778
2290.74/2298.69	c #Conflicts:     666000 | #Constraints:      30778
2290.74/2298.69	c #Conflicts:     667000 | #Constraints:      31778
2290.74/2298.69	c #Conflicts:     668000 | #Constraints:      32778
2290.74/2298.69	c #Conflicts:     669000 | #Constraints:      33778
2290.74/2298.69	c #Conflicts:     670000 | #Constraints:      34778
2290.74/2298.69	c #Conflicts:     671000 | #Constraints:      35778
2290.74/2298.69	c INPROCESSING
2290.74/2298.69	c GARBAGE COLLECT
2290.74/2298.69	c #Conflicts:     672000 | #Constraints:      20582
2290.74/2298.69	c #Conflicts:     673000 | #Constraints:      21582
2290.74/2298.69	c #Conflicts:     674000 | #Constraints:      22582
2290.74/2298.69	c #Conflicts:     675000 | #Constraints:      23582
2290.74/2298.69	c #Conflicts:     676000 | #Constraints:      24582
2290.74/2298.69	c #Conflicts:     677000 | #Constraints:      25582
2290.74/2298.69	c #Conflicts:     678000 | #Constraints:      26582
2290.74/2298.69	c #Conflicts:     679000 | #Constraints:      27582
2290.74/2298.69	c #Conflicts:     680000 | #Constraints:      28582
2290.74/2298.69	c #Conflicts:     681000 | #Constraints:      29582
2290.74/2298.69	c #Conflicts:     682000 | #Constraints:      30582
2290.74/2298.69	c #Conflicts:     683000 | #Constraints:      31582
2290.74/2298.69	c #Conflicts:     684000 | #Constraints:      32582
2290.74/2298.69	c #Conflicts:     685000 | #Constraints:      33582
2290.74/2298.69	c #Conflicts:     686000 | #Constraints:      34582
2290.74/2298.69	c #Conflicts:     687000 | #Constraints:      35582
2290.74/2298.69	c #Conflicts:     688000 | #Constraints:      36582
2290.74/2298.69	c INPROCESSING
2290.74/2298.69	c GARBAGE COLLECT
2290.74/2298.69	c #Conflicts:     689000 | #Constraints:      21178
2290.74/2298.69	c #Conflicts:     690000 | #Constraints:      22178
2290.74/2298.69	c #Conflicts:     691000 | #Constraints:      23178
2290.74/2298.69	c #Conflicts:     692000 | #Constraints:      24178
2290.74/2298.69	c #Conflicts:     693000 | #Constraints:      25178
2290.74/2298.69	c #Conflicts:     694000 | #Constraints:      26178
2290.74/2298.69	c #Conflicts:     695000 | #Constraints:      27178
2290.74/2298.69	c #Conflicts:     696000 | #Constraints:      28178
2290.74/2298.69	c #Conflicts:     697000 | #Constraints:      29178
2290.74/2298.69	c #Conflicts:     698000 | #Constraints:      30178
2290.74/2298.69	c #Conflicts:     699000 | #Constraints:      31178
2290.74/2298.69	c #Conflicts:     700000 | #Constraints:      32178
2290.74/2298.69	c #Conflicts:     701000 | #Constraints:      33178
2290.74/2298.69	c #Conflicts:     702000 | #Constraints:      34178
2290.74/2298.69	c #Conflicts:     703000 | #Constraints:      35178
2290.74/2298.69	c #Conflicts:     704000 | #Constraints:      36178
2290.74/2298.69	c #Conflicts:     705000 | #Constraints:      37178
2290.74/2298.69	c INPROCESSING
2290.74/2298.69	c GARBAGE COLLECT
2290.74/2298.69	c #Conflicts:     706000 | #Constraints:      21578
2290.74/2298.69	c #Conflicts:     707000 | #Constraints:      22578
2290.74/2298.69	c #Conflicts:     708000 | #Constraints:      23578
2290.74/2298.69	c #Conflicts:     709000 | #Constraints:      24578
2290.74/2298.69	c #Conflicts:     710000 | #Constraints:      25578
2290.74/2298.69	c #Conflicts:     711000 | #Constraints:      26578
2290.74/2298.69	c #Conflicts:     712000 | #Constraints:      27578
2290.74/2298.69	c #Conflicts:     713000 | #Constraints:      28578
2290.74/2298.69	c #Conflicts:     714000 | #Constraints:      29578
2290.74/2298.69	c #Conflicts:     715000 | #Constraints:      30578
2290.74/2298.69	c #Conflicts:     716000 | #Constraints:      31578
2290.74/2298.69	c #Conflicts:     717000 | #Constraints:      32578
2290.74/2298.69	c #Conflicts:     718000 | #Constraints:      33578
2290.74/2298.69	c #Conflicts:     719000 | #Constraints:      34578
2290.74/2298.69	c #Conflicts:     720000 | #Constraints:      35578
2290.74/2298.69	c #Conflicts:     721000 | #Constraints:      36578
2290.74/2298.69	c #Conflicts:     722000 | #Constraints:      37578
2290.74/2298.69	c INPROCESSING
2290.74/2298.69	c GARBAGE COLLECT
2290.74/2298.69	c #Conflicts:     723000 | #Constraints:      21781
2290.74/2298.69	c #Conflicts:     724000 | #Constraints:      22781
2290.74/2298.69	c #Conflicts:     725000 | #Constraints:      23781
2290.74/2298.69	c #Conflicts:     726000 | #Constraints:      24781
2290.74/2298.69	c #Conflicts:     727000 | #Constraints:      25781
2290.74/2298.69	c #Conflicts:     728000 | #Constraints:      26781
2290.74/2298.69	c #Conflicts:     729000 | #Constraints:      27781
2290.74/2298.69	c #Conflicts:     730000 | #Constraints:      28781
2290.74/2298.69	c #Conflicts:     731000 | #Constraints:      29781
2290.74/2298.69	c #Conflicts:     732000 | #Constraints:      30781
2290.74/2298.69	c #Conflicts:     733000 | #Constraints:      31781
2290.74/2298.69	c #Conflicts:     734000 | #Constraints:      32781
2290.74/2298.69	c #Conflicts:     735000 | #Constraints:      33781
2290.74/2298.69	c #Conflicts:     736000 | #Constraints:      34781
2290.74/2298.69	c #Conflicts:     737000 | #Constraints:      35781
2290.74/2298.69	c #Conflicts:     738000 | #Constraints:      36781
2290.74/2298.69	c #Conflicts:     739000 | #Constraints:      37781
2290.74/2298.69	c INPROCESSING
2290.74/2298.69	c GARBAGE COLLECT
2290.74/2298.69	c #Conflicts:     740000 | #Constraints:      21779
2577.78/2586.62	c #Conflicts:     741000 | #Constraints:      22779
2577.78/2586.62	c #Conflicts:     742000 | #Constraints:      23779
2577.78/2586.62	c #Conflicts:     743000 | #Constraints:      24779
2577.78/2586.62	c #Conflicts:     744000 | #Constraints:      25779
2577.78/2586.62	c #Conflicts:     745000 | #Constraints:      26779
2577.78/2586.62	c #Conflicts:     746000 | #Constraints:      27779
2577.78/2586.62	c #Conflicts:     747000 | #Constraints:      28779
2577.78/2586.62	c #Conflicts:     748000 | #Constraints:      29779
2577.78/2586.62	c #Conflicts:     749000 | #Constraints:      30779
2577.78/2586.62	c #Conflicts:     750000 | #Constraints:      31779
2577.78/2586.62	c #Conflicts:     751000 | #Constraints:      32779
2577.78/2586.62	c #Conflicts:     752000 | #Constraints:      33779
2577.78/2586.62	c #Conflicts:     753000 | #Constraints:      34779
2577.78/2586.62	c #Conflicts:     754000 | #Constraints:      35779
2577.78/2586.62	c #Conflicts:     755000 | #Constraints:      36779
2577.78/2586.62	c #Conflicts:     756000 | #Constraints:      37779
2577.78/2586.62	c INPROCESSING
2577.78/2586.62	c GARBAGE COLLECT
2577.78/2586.62	c #Conflicts:     757000 | #Constraints:      21580
2577.78/2586.62	c #Conflicts:     758000 | #Constraints:      22580
2577.78/2586.62	c #Conflicts:     759000 | #Constraints:      23580
2577.78/2586.62	c #Conflicts:     760000 | #Constraints:      24580
2577.78/2586.62	c #Conflicts:     761000 | #Constraints:      25580
2577.78/2586.62	c #Conflicts:     762000 | #Constraints:      26580
2577.78/2586.62	c #Conflicts:     763000 | #Constraints:      27580
2577.78/2586.62	c #Conflicts:     764000 | #Constraints:      28580
2577.78/2586.62	c #Conflicts:     765000 | #Constraints:      29580
2577.78/2586.62	c #Conflicts:     766000 | #Constraints:      30580
2577.78/2586.62	c #Conflicts:     767000 | #Constraints:      31580
2577.78/2586.62	c #Conflicts:     768000 | #Constraints:      32580
2577.78/2586.62	c #Conflicts:     769000 | #Constraints:      33580
2577.78/2586.62	c #Conflicts:     770000 | #Constraints:      34580
2577.78/2586.62	c #Conflicts:     771000 | #Constraints:      35580
2577.78/2586.62	c #Conflicts:     772000 | #Constraints:      36580
2577.78/2586.62	c #Conflicts:     773000 | #Constraints:      37580
2577.78/2586.62	c #Conflicts:     774000 | #Constraints:      38580
2577.78/2586.62	c INPROCESSING
2577.78/2586.62	c GARBAGE COLLECT
2577.78/2586.62	c #Conflicts:     775000 | #Constraints:      22178
2577.78/2586.62	c #Conflicts:     776000 | #Constraints:      23178
2577.78/2586.62	c #Conflicts:     777000 | #Constraints:      24178
2577.78/2586.62	c #Conflicts:     778000 | #Constraints:      25178
2577.78/2586.62	c #Conflicts:     779000 | #Constraints:      26178
2577.78/2586.62	c #Conflicts:     780000 | #Constraints:      27178
2577.78/2586.62	c #Conflicts:     781000 | #Constraints:      28178
2577.78/2586.62	c #Conflicts:     782000 | #Constraints:      29178
2577.78/2586.62	c #Conflicts:     783000 | #Constraints:      30178
2577.78/2586.62	c #Conflicts:     784000 | #Constraints:      31178
2577.78/2586.62	c #Conflicts:     785000 | #Constraints:      32178
2577.78/2586.62	c #Conflicts:     786000 | #Constraints:      33178
2577.78/2586.62	c #Conflicts:     787000 | #Constraints:      34178
2577.78/2586.62	c #Conflicts:     788000 | #Constraints:      35178
2577.78/2586.62	c #Conflicts:     789000 | #Constraints:      36178
2577.78/2586.62	c #Conflicts:     790000 | #Constraints:      37178
2577.78/2586.62	c #Conflicts:     791000 | #Constraints:      38178
2577.78/2586.62	c #Conflicts:     792000 | #Constraints:      39178
2577.78/2586.62	c INPROCESSING
2577.78/2586.62	c GARBAGE COLLECT
2577.78/2586.62	c #Conflicts:     793000 | #Constraints:      22582
2577.78/2586.62	c #Conflicts:     794000 | #Constraints:      23582
2577.78/2586.62	c #Conflicts:     795000 | #Constraints:      24582
2577.78/2586.62	c #Conflicts:     796000 | #Constraints:      25582
2577.78/2586.62	c #Conflicts:     797000 | #Constraints:      26582
2577.78/2586.62	c #Conflicts:     798000 | #Constraints:      27582
2577.78/2586.62	c #Conflicts:     799000 | #Constraints:      28582
2577.78/2586.62	c #Conflicts:     800000 | #Constraints:      29582
2577.78/2586.62	c #Conflicts:     801000 | #Constraints:      30582
2577.78/2586.62	c #Conflicts:     802000 | #Constraints:      31582
2577.78/2586.62	c #Conflicts:     803000 | #Constraints:      32582
2577.78/2586.62	c #Conflicts:     804000 | #Constraints:      33582
2577.78/2586.62	c #Conflicts:     805000 | #Constraints:      34582
2577.78/2586.62	c #Conflicts:     806000 | #Constraints:      35582
2577.78/2586.62	c #Conflicts:     807000 | #Constraints:      36582
2577.78/2586.62	c #Conflicts:     808000 | #Constraints:      37582
2577.78/2586.62	c #Conflicts:     809000 | #Constraints:      38582
2577.78/2586.62	c #Conflicts:     810000 | #Constraints:      39582
2577.78/2586.62	c INPROCESSING
2577.78/2586.62	c GARBAGE COLLECT
2577.78/2586.62	c #Conflicts:     811000 | #Constraints:      22784
2577.78/2586.62	c #Conflicts:     812000 | #Constraints:      23784
2577.78/2586.62	c #Conflicts:     813000 | #Constraints:      24784
2577.78/2586.62	c #Conflicts:     814000 | #Constraints:      25784
2577.78/2586.62	c #Conflicts:     815000 | #Constraints:      26784
2577.78/2586.62	c #Conflicts:     816000 | #Constraints:      27784
2915.96/2925.93	c #Conflicts:     817000 | #Constraints:      28784
2915.96/2925.93	c #Conflicts:     818000 | #Constraints:      29784
2915.96/2925.93	c #Conflicts:     819000 | #Constraints:      30784
2915.96/2925.93	c #Conflicts:     820000 | #Constraints:      31784
2915.96/2925.93	c #Conflicts:     821000 | #Constraints:      32784
2915.96/2925.93	c #Conflicts:     822000 | #Constraints:      33784
2915.96/2925.93	c #Conflicts:     823000 | #Constraints:      34784
2915.96/2925.93	c #Conflicts:     824000 | #Constraints:      35784
2915.96/2925.93	c #Conflicts:     825000 | #Constraints:      36784
2915.96/2925.93	c #Conflicts:     826000 | #Constraints:      37784
2915.96/2925.93	c #Conflicts:     827000 | #Constraints:      38784
2915.96/2925.93	c #Conflicts:     828000 | #Constraints:      39784
2915.96/2925.93	c INPROCESSING
2915.96/2925.93	c GARBAGE COLLECT
2915.96/2925.93	c #Conflicts:     829000 | #Constraints:      22784
2915.96/2925.93	c #Conflicts:     830000 | #Constraints:      23784
2915.96/2925.93	c #Conflicts:     831000 | #Constraints:      24784
2915.96/2925.93	c #Conflicts:     832000 | #Constraints:      25784
2915.96/2925.93	c #Conflicts:     833000 | #Constraints:      26784
2915.96/2925.93	c #Conflicts:     834000 | #Constraints:      27784
2915.96/2925.93	c #Conflicts:     835000 | #Constraints:      28784
2915.96/2925.93	c #Conflicts:     836000 | #Constraints:      29784
2915.96/2925.93	c #Conflicts:     837000 | #Constraints:      30784
2915.96/2925.93	c #Conflicts:     838000 | #Constraints:      31784
2915.96/2925.93	c #Conflicts:     839000 | #Constraints:      32784
2915.96/2925.93	c #Conflicts:     840000 | #Constraints:      33784
2915.96/2925.93	c #Conflicts:     841000 | #Constraints:      34784
2915.96/2925.93	c #Conflicts:     842000 | #Constraints:      35784
2915.96/2925.93	c #Conflicts:     843000 | #Constraints:      36784
2915.96/2925.93	c #Conflicts:     844000 | #Constraints:      37784
2915.96/2925.93	c #Conflicts:     845000 | #Constraints:      38784
2915.96/2925.93	c #Conflicts:     846000 | #Constraints:      39784
2915.96/2925.93	c INPROCESSING
2915.96/2925.93	c GARBAGE COLLECT
2915.96/2925.93	c #Conflicts:     847000 | #Constraints:      22594
2915.96/2925.93	c #Conflicts:     848000 | #Constraints:      23594
2915.96/2925.93	c #Conflicts:     849000 | #Constraints:      24594
2915.96/2925.93	c #Conflicts:     850000 | #Constraints:      25594
2915.96/2925.93	c #Conflicts:     851000 | #Constraints:      26594
2915.96/2925.93	c #Conflicts:     852000 | #Constraints:      27594
2915.96/2925.93	c #Conflicts:     853000 | #Constraints:      28594
2915.96/2925.93	c #Conflicts:     854000 | #Constraints:      29594
2915.96/2925.93	c #Conflicts:     855000 | #Constraints:      30594
2915.96/2925.93	c #Conflicts:     856000 | #Constraints:      31594
2915.96/2925.93	c #Conflicts:     857000 | #Constraints:      32594
2915.96/2925.93	c #Conflicts:     858000 | #Constraints:      33594
2915.96/2925.93	c #Conflicts:     859000 | #Constraints:      34594
2915.96/2925.93	c #Conflicts:     860000 | #Constraints:      35594
2915.96/2925.93	c #Conflicts:     861000 | #Constraints:      36594
2915.96/2925.93	c #Conflicts:     862000 | #Constraints:      37594
2915.96/2925.93	c #Conflicts:     863000 | #Constraints:      38594
2915.96/2925.93	c #Conflicts:     864000 | #Constraints:      39594
2915.96/2925.93	c #Conflicts:     865000 | #Constraints:      40594
2915.96/2925.93	c INPROCESSING
2915.96/2925.93	c GARBAGE COLLECT
2915.96/2925.93	c #Conflicts:     866000 | #Constraints:      23181
2915.96/2925.93	c #Conflicts:     867000 | #Constraints:      24181
2915.96/2925.93	c #Conflicts:     868000 | #Constraints:      25181
2915.96/2925.93	c #Conflicts:     869000 | #Constraints:      26181
2915.96/2925.93	c #Conflicts:     870000 | #Constraints:      27181
2915.96/2925.93	c #Conflicts:     871000 | #Constraints:      28181
2915.96/2925.93	c #Conflicts:     872000 | #Constraints:      29181
2915.96/2925.93	c #Conflicts:     873000 | #Constraints:      30181
2915.96/2925.93	c #Conflicts:     874000 | #Constraints:      31181
2915.96/2925.93	c #Conflicts:     875000 | #Constraints:      32181
2915.96/2925.93	c #Conflicts:     876000 | #Constraints:      33181
2915.96/2925.93	c #Conflicts:     877000 | #Constraints:      34181
2915.96/2925.93	c #Conflicts:     878000 | #Constraints:      35181
2915.96/2925.93	c #Conflicts:     879000 | #Constraints:      36181
2915.96/2925.93	c #Conflicts:     880000 | #Constraints:      37181
2915.96/2925.93	c #Conflicts:     881000 | #Constraints:      38181
2915.96/2925.93	c #Conflicts:     882000 | #Constraints:      39181
2915.96/2925.93	c #Conflicts:     883000 | #Constraints:      40181
2915.96/2925.93	c #Conflicts:     884000 | #Constraints:      41181
2915.96/2925.93	c INPROCESSING
2915.96/2925.93	c GARBAGE COLLECT
2915.96/2925.93	c #Conflicts:     885000 | #Constraints:      23587
2915.96/2925.93	c #Conflicts:     886000 | #Constraints:      24587
2915.96/2925.93	c #Conflicts:     887000 | #Constraints:      25587
2915.96/2925.93	c #Conflicts:     888000 | #Constraints:      26587
2915.96/2925.93	c #Conflicts:     889000 | #Constraints:      27587
2915.96/2925.93	c #Conflicts:     890000 | #Constraints:      28587
2915.96/2925.93	c #Conflicts:     891000 | #Constraints:      29587
2915.96/2925.93	c #Conflicts:     892000 | #Constraints:      30587
2915.96/2925.93	c #Conflicts:     893000 | #Constraints:      31587
3269.90/3281.00	c #Conflicts:     894000 | #Constraints:      32587
3269.90/3281.00	c #Conflicts:     895000 | #Constraints:      33587
3269.90/3281.00	c #Conflicts:     896000 | #Constraints:      34587
3269.90/3281.00	c #Conflicts:     897000 | #Constraints:      35587
3269.90/3281.00	c #Conflicts:     898000 | #Constraints:      36587
3269.90/3281.00	c #Conflicts:     899000 | #Constraints:      37587
3269.90/3281.00	c #Conflicts:     900000 | #Constraints:      38587
3269.90/3281.00	c #Conflicts:     901000 | #Constraints:      39587
3269.90/3281.00	c #Conflicts:     902000 | #Constraints:      40587
3269.90/3281.00	c #Conflicts:     903000 | #Constraints:      41587
3269.90/3281.00	c INPROCESSING
3269.90/3281.00	c GARBAGE COLLECT
3269.90/3281.00	c #Conflicts:     904000 | #Constraints:      23786
3269.90/3281.00	c #Conflicts:     905000 | #Constraints:      24786
3269.90/3281.00	c #Conflicts:     906000 | #Constraints:      25786
3269.90/3281.00	c #Conflicts:     907000 | #Constraints:      26786
3269.90/3281.00	c #Conflicts:     908000 | #Constraints:      27786
3269.90/3281.00	c #Conflicts:     909000 | #Constraints:      28786
3269.90/3281.00	c #Conflicts:     910000 | #Constraints:      29786
3269.90/3281.00	c #Conflicts:     911000 | #Constraints:      30786
3269.90/3281.00	c #Conflicts:     912000 | #Constraints:      31786
3269.90/3281.00	c #Conflicts:     913000 | #Constraints:      32786
3269.90/3281.00	c #Conflicts:     914000 | #Constraints:      33786
3269.90/3281.00	c #Conflicts:     915000 | #Constraints:      34786
3269.90/3281.00	c #Conflicts:     916000 | #Constraints:      35786
3269.90/3281.00	c #Conflicts:     917000 | #Constraints:      36786
3269.90/3281.00	c #Conflicts:     918000 | #Constraints:      37786
3269.90/3281.00	c #Conflicts:     919000 | #Constraints:      38786
3269.90/3281.00	c #Conflicts:     920000 | #Constraints:      39786
3269.90/3281.00	c #Conflicts:     921000 | #Constraints:      40786
3269.90/3281.00	c #Conflicts:     922000 | #Constraints:      41786
3269.90/3281.00	c INPROCESSING
3269.90/3281.00	c GARBAGE COLLECT
3269.90/3281.00	c #Conflicts:     923000 | #Constraints:      23787
3269.90/3281.00	c #Conflicts:     924000 | #Constraints:      24787
3269.90/3281.00	c #Conflicts:     925000 | #Constraints:      25787
3269.90/3281.00	c #Conflicts:     926000 | #Constraints:      26787
3269.90/3281.00	c #Conflicts:     927000 | #Constraints:      27787
3269.90/3281.00	c #Conflicts:     928000 | #Constraints:      28787
3269.90/3281.00	c #Conflicts:     929000 | #Constraints:      29787
3269.90/3281.00	c #Conflicts:     930000 | #Constraints:      30787
3269.90/3281.00	c #Conflicts:     931000 | #Constraints:      31787
3269.90/3281.00	c #Conflicts:     932000 | #Constraints:      32787
3269.90/3281.00	c #Conflicts:     933000 | #Constraints:      33787
3269.90/3281.00	c #Conflicts:     934000 | #Constraints:      34787
3269.90/3281.00	c #Conflicts:     935000 | #Constraints:      35787
3269.90/3281.00	c #Conflicts:     936000 | #Constraints:      36787
3269.90/3281.00	c #Conflicts:     937000 | #Constraints:      37787
3269.90/3281.00	c #Conflicts:     938000 | #Constraints:      38787
3269.90/3281.00	c #Conflicts:     939000 | #Constraints:      39787
3269.90/3281.00	c #Conflicts:     940000 | #Constraints:      40787
3269.90/3281.00	c #Conflicts:     941000 | #Constraints:      41787
3269.90/3281.00	c INPROCESSING
3269.90/3281.00	c GARBAGE COLLECT
3269.90/3281.00	c #Conflicts:     942000 | #Constraints:      23587
3269.90/3281.00	c #Conflicts:     943000 | #Constraints:      24587
3269.90/3281.00	c #Conflicts:     944000 | #Constraints:      25587
3269.90/3281.00	c #Conflicts:     945000 | #Constraints:      26587
3269.90/3281.00	c #Conflicts:     946000 | #Constraints:      27587
3269.90/3281.00	c #Conflicts:     947000 | #Constraints:      28587
3269.90/3281.00	c #Conflicts:     948000 | #Constraints:      29587
3269.90/3281.00	c #Conflicts:     949000 | #Constraints:      30587
3269.90/3281.00	c #Conflicts:     950000 | #Constraints:      31587
3269.90/3281.00	c #Conflicts:     951000 | #Constraints:      32587
3269.90/3281.00	c #Conflicts:     952000 | #Constraints:      33587
3269.90/3281.00	c #Conflicts:     953000 | #Constraints:      34587
3269.90/3281.00	c #Conflicts:     954000 | #Constraints:      35587
3269.90/3281.00	c #Conflicts:     955000 | #Constraints:      36587
3269.90/3281.00	c #Conflicts:     956000 | #Constraints:      37587
3269.90/3281.00	c #Conflicts:     957000 | #Constraints:      38587
3269.90/3281.00	c #Conflicts:     958000 | #Constraints:      39587
3269.90/3281.00	c #Conflicts:     959000 | #Constraints:      40587
3269.90/3281.00	c #Conflicts:     960000 | #Constraints:      41587
3269.90/3281.00	c #Conflicts:     961000 | #Constraints:      42587
3269.90/3281.00	c INPROCESSING
3269.90/3281.00	c GARBAGE COLLECT
3269.90/3281.00	c #Conflicts:     962000 | #Constraints:      24182
3269.90/3281.00	c #Conflicts:     963000 | #Constraints:      25182
3269.90/3281.00	c #Conflicts:     964000 | #Constraints:      26182
3269.90/3281.00	c #Conflicts:     965000 | #Constraints:      27182
3269.90/3281.00	c #Conflicts:     966000 | #Constraints:      28182
3269.90/3281.00	c #Conflicts:     967000 | #Constraints:      29182
3269.90/3281.00	c #Conflicts:     968000 | #Constraints:      30182
3269.90/3281.00	c #Conflicts:     969000 | #Constraints:      31182
3600.09/3612.30	c #Conflicts:     970000 | #Constraints:      32182
3600.09/3612.30	c #Conflicts:     971000 | #Constraints:      33182
3600.09/3612.30	c #Conflicts:     972000 | #Constraints:      34182
3600.09/3612.30	c #Conflicts:     973000 | #Constraints:      35182
3600.09/3612.30	c #Conflicts:     974000 | #Constraints:      36182
3600.09/3612.30	c #Conflicts:     975000 | #Constraints:      37182
3600.09/3612.30	c #Conflicts:     976000 | #Constraints:      38182
3600.09/3612.30	c #Conflicts:     977000 | #Constraints:      39182
3600.09/3612.30	c #Conflicts:     978000 | #Constraints:      40182
3600.09/3612.30	c #Conflicts:     979000 | #Constraints:      41182
3600.09/3612.30	c #Conflicts:     980000 | #Constraints:      42182
3600.09/3612.30	c #Conflicts:     981000 | #Constraints:      43182
3600.09/3612.30	c INPROCESSING
3600.09/3612.30	c GARBAGE COLLECT
3600.09/3612.30	c #Conflicts:     982000 | #Constraints:      24589
3600.09/3612.30	c #Conflicts:     983000 | #Constraints:      25589
3600.09/3612.30	c #Conflicts:     984000 | #Constraints:      26589
3600.09/3612.30	c #Conflicts:     985000 | #Constraints:      27589
3600.09/3612.30	c #Conflicts:     986000 | #Constraints:      28589
3600.09/3612.30	c #Conflicts:     987000 | #Constraints:      29589
3600.09/3612.30	c #Conflicts:     988000 | #Constraints:      30589
3600.09/3612.30	c #Conflicts:     989000 | #Constraints:      31589
3600.09/3612.30	c #Conflicts:     990000 | #Constraints:      32589
3600.09/3612.30	c #Conflicts:     991000 | #Constraints:      33589
3600.09/3612.30	c #Conflicts:     992000 | #Constraints:      34589
3600.09/3612.30	c #Conflicts:     993000 | #Constraints:      35589
3600.09/3612.30	c #Conflicts:     994000 | #Constraints:      36589
3600.09/3612.30	c #Conflicts:     995000 | #Constraints:      37589
3600.09/3612.30	c #Conflicts:     996000 | #Constraints:      38589
3600.09/3612.30	c #Conflicts:     997000 | #Constraints:      39589
3600.09/3612.30	c #Conflicts:     998000 | #Constraints:      40589
3600.09/3612.30	c #Conflicts:     999000 | #Constraints:      41589
3600.09/3612.30	c #Conflicts:    1000000 | #Constraints:      42589
3600.09/3612.30	c #Conflicts:    1001000 | #Constraints:      43589
3600.09/3612.30	c INPROCESSING
3600.09/3612.30	c GARBAGE COLLECT
3600.09/3612.30	c #Conflicts:    1002000 | #Constraints:      24784
3600.09/3612.30	c #Conflicts:    1003000 | #Constraints:      25784
3600.09/3612.30	c #Conflicts:    1004000 | #Constraints:      26784
3600.09/3612.30	c #Conflicts:    1005000 | #Constraints:      27784
3600.09/3612.30	c #Conflicts:    1006000 | #Constraints:      28784
3600.09/3612.30	c #Conflicts:    1007000 | #Constraints:      29784
3600.09/3612.30	c #Conflicts:    1008000 | #Constraints:      30784
3600.09/3612.30	c #Conflicts:    1009000 | #Constraints:      31784
3600.09/3612.30	c #Conflicts:    1010000 | #Constraints:      32784
3600.09/3612.30	c #Conflicts:    1011000 | #Constraints:      33784
3600.09/3612.30	c #Conflicts:    1012000 | #Constraints:      34784
3600.09/3612.30	c #Conflicts:    1013000 | #Constraints:      35784
3600.09/3612.30	c #Conflicts:    1014000 | #Constraints:      36784
3600.09/3612.30	c #Conflicts:    1015000 | #Constraints:      37784
3600.09/3612.30	c #Conflicts:    1016000 | #Constraints:      38784
3600.09/3612.30	c #Conflicts:    1017000 | #Constraints:      39784
3600.09/3612.30	c #Conflicts:    1018000 | #Constraints:      40784
3600.09/3612.30	c #Conflicts:    1019000 | #Constraints:      41784
3600.09/3612.30	c #Conflicts:    1020000 | #Constraints:      42784
3600.09/3612.30	c #Conflicts:    1021000 | #Constraints:      43784
3600.09/3612.30	c INPROCESSING
3600.09/3612.30	c GARBAGE COLLECT
3600.09/3612.30	c #Conflicts:    1022000 | #Constraints:      24791
3600.09/3612.30	c #Conflicts:    1023000 | #Constraints:      25791
3600.09/3612.30	c #Conflicts:    1024000 | #Constraints:      26791
3600.09/3612.30	c #Conflicts:    1025000 | #Constraints:      27791
3600.09/3612.30	c #Conflicts:    1026000 | #Constraints:      28791
3600.09/3612.30	c #Conflicts:    1027000 | #Constraints:      29791
3600.09/3612.30	c #Conflicts:    1028000 | #Constraints:      30791
3600.09/3612.30	c #Conflicts:    1029000 | #Constraints:      31791
3600.09/3612.30	c #Conflicts:    1030000 | #Constraints:      32791
3600.09/3612.30	c #Conflicts:    1031000 | #Constraints:      33791
3600.09/3612.30	c #Conflicts:    1032000 | #Constraints:      34791
3600.09/3612.30	c Program interrupted by user.
3600.09/3612.30	c cpu time 3591.31 s
3600.09/3612.30	c deterministic time 784445311738 7.84e+11
3600.09/3612.30	c optimization time 37.8366 s
3600.09/3612.30	c total solve time 3254.57 s
3600.09/3612.30	c core-guided solve time 3254.57 s
3600.09/3612.30	c propagation time 2755.08 s
3600.09/3612.30	c conflict analysis time 404.67 s
3600.09/3612.30	c propagations 139757108
3600.09/3612.30	c resolve steps 8523211
3600.09/3612.30	c decisions 4811997
3600.09/3612.30	c conflicts 1032122
3600.09/3612.30	c restarts 2046
3600.09/3612.30	c inprocessing phases 92
3600.09/3612.30	c input clauses 3909
3600.09/3612.30	c input cardinalities 146
3600.09/3612.30	c input general constraints 0
3600.09/3612.30	c input average constraint length 61.61
3600.09/3612.30	c input average constraint degree 27.68
3600.09/3612.30	c learned clauses 338368
3600.09/3612.30	c learned cardinalities 47735
3600.09/3612.30	c learned general constraints 646163
3600.09/3612.30	c learned average constraint length 898.70
3600.09/3612.30	c learned average constraint degree 580205.97
3600.09/3612.30	c watched constraints 425546
3600.09/3612.30	c counting constraints 220617
3600.09/3612.30	c gcd simplifications 37393
3600.09/3612.30	c detected cardinalities 685
3600.09/3612.30	c weakened non-implied lits 161297677
3600.09/3612.30	c weakened non-implying lits 89703
3600.09/3612.30	c original variables 1960
3600.09/3612.30	c clausal propagations 58455428
3600.09/3612.30	c cardinality propagations 6579661
3600.09/3612.30	c watched propagations 19645980
3600.09/3612.30	c counting propagations 49162277
3600.09/3612.30	c watch lookups 36101211026
3600.09/3612.30	c watch backjump lookups 29899272853
3600.09/3612.30	c watch checks 662328360008
3600.09/3612.30	c propagation checks 53211840865
3600.09/3612.30	c constraint additions 2614458453
3600.09/3612.30	c trail pops 145599427
3600.09/3612.30	c formula constraints 3241
3600.09/3612.30	c learned constraints 1032266
3600.09/3612.30	c bound constraints 146
3600.09/3612.30	c core-guided constraints 668
3600.09/3612.30	c encountered formula constraints 5997384
3600.09/3612.30	c encountered learned constraints 2639873
3600.09/3612.30	c encountered bound constraints 3
3600.09/3612.30	c encountered core-guided constraints 918073
3600.09/3612.30	c LP total time 0 s
3600.09/3612.30	c LP solve time 0 s
3600.09/3612.30	c LP constraints added 0
3600.09/3612.30	c LP constraints removed 0
3600.09/3612.30	c LP pivots internal 0
3600.09/3612.30	c LP pivots root 0
3600.09/3612.30	c LP calls 0
3600.09/3612.30	c LP optimalities 0
3600.09/3612.30	c LP no pivot count 0
3600.09/3612.30	c LP infeasibilities 0
3600.09/3612.30	c LP valid Farkas constraints 0
3600.09/3612.30	c LP learned Farkas constraints 0
3600.09/3612.30	c LP basis resets 0
3600.09/3612.30	c LP cycling count 0
3600.09/3612.30	c LP singular count 0
3600.09/3612.30	c LP no primal count 0
3600.09/3612.30	c LP no farkas count 0
3600.09/3612.30	c LP other issue count 0
3600.09/3612.30	c LP Gomory cuts 0
3600.09/3612.30	c LP learned cuts 0
3600.09/3612.30	c LP deleted cuts 0
3600.09/3612.30	c LP encountered Gomory constraints 0
3600.09/3612.30	c LP encountered Farkas constraints 0
3600.09/3612.30	c LP encountered learned Farkas constraints 0
3600.09/3612.30	c CG auxiliary variables introduced 668
3600.09/3612.30	c CG solutions found 0
3600.09/3612.30	c CG cores constructed 145
3600.09/3612.30	c CG core cardinality constraints returned 0
3600.09/3612.30	c CG unit cores 0
3600.09/3612.30	c CG single cores 145
3600.09/3612.30	c CG blocks removed during cardinality reduction 0
3600.09/3612.30	c CG first core best 0
3600.09/3612.30	c CG decision core best 0
3600.09/3612.30	c CG core reduction tie 0
3600.09/3612.30	c CG core degree average 1.00
3600.09/3612.30	c CG core slack average 2.99
3600.09/3612.30	c CG exhausted 0
3600.09/3612.30	c CG exhaust time 0 s
3600.09/3612.30	c CG trimmed 0
3600.09/3612.30	c CG trim time 0.000802 s
3600.09/3612.30	c CG minimized 0
3600.09/3612.30	c CG minimize time 0 s
3600.09/3612.30	c CG am1 prop time 0.001659 s
3600.09/3612.30	c CG # am1s reformulated 668
3600.09/3612.30	c CG lower bound derived from am1s 669
3600.09/3612.30	c CG # clausal cores 145
3600.09/3612.30	c CG # cardinality cores 0
3600.09/3612.30	c CG # pb cores 0
3600.09/3612.30	c CG # pb reforms 0
3600.09/3612.30	c CG # cores discarded because of pb reform 0
3600.09/3612.30	d LOWERBOUND 814
3600.09/3612.30	d NCORES 145
3600.09/3612.30	d NPBCORES 0
3600.09/3612.30	d NPBREFORM 0
3600.09/3612.30	d NTRIMMED 0
3600.09/3612.30	d NEXHAUSTED 0
3600.09/3612.30	d NAM1S 668
3600.09/3612.30	d AM1LB 669
3600.09/3612.30	c [Papilo Statistics]
3600.09/3612.30	c prepro time 0.00474535s
3600.09/3612.30	c # tsx applied 150
3600.09/3612.30	c # tsx conflicts 10
3600.09/3612.30	c # bound changes 148
3600.09/3612.30	c # side changes 0
3600.09/3612.30	c # coef changes 0
3600.09/3612.30	c # rounds 2
3600.09/3612.30	c # deted vars 307
3600.09/3612.30	c # deted constrs 759
3600.09/3612.30	c # consecutive rounds of only bound changes 0
3600.09/3612.30	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: 63968 MiB (59608 MiB free)
  memory of node 1: 64473 MiB (61366 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435463-1721081446/watcher-4435463-1721081446 -o /tmp/evaluation-result-4435463-1721081446/solver-4435463-1721081446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821792 --watchdog 3760 mixed-bag HOME/instance-4435463-1721081446.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=827827, runsolver pid=827824

[startup+0.100674 s]*
/proc/loadavg: 4.13 4.14 4.14 5/261 827828
/proc/meminfo: memFree=123853512/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=108764 memory=39976 CPUtime=0.09 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 6962 0 0 0 8 1 0 0 20 0 1 0 160310764 111374336 9994 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 27191 9994 3968 3002 0 10942 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108764 KiB
Current children cumulated memory: 39976 KiB

[startup+0.205745 s]*
/proc/loadavg: 4.13 4.14 4.14 5/261 827828
/proc/meminfo: memFree=123852420/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=109528 memory=40820 CPUtime=0.2 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 7159 0 0 0 19 1 0 0 20 0 1 0 160310764 112156672 10205 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 27382 10205 3984 3002 0 11133 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109528 KiB
Current children cumulated memory: 40820 KiB

[startup+0.305568 s]*
/proc/loadavg: 4.13 4.14 4.14 5/261 827828
/proc/meminfo: memFree=123848920/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=113324 memory=44300 CPUtime=0.3 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 8045 0 0 0 29 1 0 0 20 0 1 0 160310764 116043776 11075 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 28331 11075 4000 3002 0 12082 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113324 KiB
Current children cumulated memory: 44300 KiB

[startup+0.700232 s]
/proc/loadavg: 4.13 4.14 4.14 5/261 827828
/proc/meminfo: memFree=123848108/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=115312 memory=45864 CPUtime=0.68 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 8442 0 0 0 67 1 0 0 20 0 1 0 160310764 118079488 11466 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 28828 11466 4000 3002 0 12579 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115312 KiB
Current children cumulated memory: 45864 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.14 4.14 5/261 827828
/proc/meminfo: memFree=123846764/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=121568 memory=51408 CPUtime=1.48 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 9808 0 0 0 147 1 0 0 20 0 1 0 160310764 124485632 12852 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 30392 12852 4000 3002 0 14143 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 121568 KiB
Current children cumulated memory: 51408 KiB

[startup+3.10554 s]
/proc/loadavg: 4.12 4.13 4.14 5/261 827828
/proc/meminfo: memFree=123803216/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=158248 memory=87048 CPUtime=3.08 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 18731 0 0 0 305 3 0 0 20 0 1 0 160310764 162045952 21762 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 39562 21762 4000 3002 0 23313 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 158248 KiB
Current children cumulated memory: 87048 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.13 4.14 5/261 827828
/proc/meminfo: memFree=123770296/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=192200 memory=119520 CPUtime=6.26 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 26863 0 0 0 621 5 0 0 20 0 1 0 160310764 196812800 29880 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 48050 29880 4000 3002 0 31801 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 192200 KiB
Current children cumulated memory: 119520 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.14 5/261 827830
/proc/meminfo: memFree=123754124/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=199020 memory=124592 CPUtime=12.65 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 29217 0 0 0 1259 6 0 0 20 0 1 0 160310764 203796480 31148 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 49755 31148 4000 3002 0 33506 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 199020 KiB
Current children cumulated memory: 124592 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.12 4.14 5/261 827831
/proc/meminfo: memFree=123749444/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=200624 memory=126700 CPUtime=25.4 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 29745 0 0 0 2534 6 0 0 20 0 1 0 160310764 205438976 31675 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 50156 31675 4000 3002 0 33907 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 200624 KiB
Current children cumulated memory: 126700 KiB

[startup+51.1053 s]
/proc/loadavg: 4.13 4.13 4.14 5/261 827882
/proc/meminfo: memFree=127008400/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=240308 memory=161544 CPUtime=50.91 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 39026 0 0 0 5084 7 0 0 20 0 1 0 160310764 246075392 40386 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 60077 40386 4030 3002 0 43828 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 240308 KiB
Current children cumulated memory: 161544 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/259 827982
/proc/meminfo: memFree=128258196/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=318408 memory=233980 CPUtime=101.93 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 58759 0 0 0 10177 16 0 0 20 0 1 0 160310764 326049792 58495 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 79602 58495 4030 3002 0 63353 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 318408 KiB
Current children cumulated memory: 233980 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/257 827993
/proc/meminfo: memFree=128085324/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=363044 memory=283152 CPUtime=161.72 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 69534 0 0 0 16153 19 0 0 20 0 1 0 160310764 371757056 70788 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 90761 70788 4030 3002 0 74512 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 363044 KiB
Current children cumulated memory: 283152 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/257 828004
/proc/meminfo: memFree=127982052/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=411992 memory=338596 CPUtime=221.52 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 81564 0 0 0 22131 21 0 0 20 0 1 0 160310764 421879808 84649 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 102998 84649 4030 3002 0 86749 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 411992 KiB
Current children cumulated memory: 338596 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.12 5/255 828014
/proc/meminfo: memFree=127924036/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=415812 memory=347648 CPUtime=281.33 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 83890 0 0 0 28111 22 0 0 20 0 1 0 160310764 425791488 86912 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 103953 86912 4030 3002 0 87704 0
Current children cumulated CPU time: 281.33 s
Current children cumulated vsize: 415812 KiB
Current children cumulated memory: 347648 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/254 828024
/proc/meminfo: memFree=127962980/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=395348 memory=309136 CPUtime=341.13 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 86859 0 0 0 34048 65 0 0 20 0 1 0 160310764 404836352 77284 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 98837 77284 4173 3002 0 82588 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 309136 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/254 828035
/proc/meminfo: memFree=128105240/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=395348 memory=328704 CPUtime=400.92 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 87165 0 0 0 39996 96 0 0 20 0 1 0 160310764 404836352 82176 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 98837 82176 4173 3002 0 82588 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 395348 KiB
Current children cumulated memory: 328704 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 4.18 4.13 5/254 828045
/proc/meminfo: memFree=128015992/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=445436 memory=339944 CPUtime=460.72 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 87490 0 0 0 45948 124 0 0 20 0 1 0 160310764 456126464 84986 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 111359 84986 4173 3002 0 95110 0
Current children cumulated CPU time: 460.72 s

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

Current children cumulated memory: 463780 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.11 4.13 5/256 829652
/proc/meminfo: memFree=127020724/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=537136 memory=463780 CPUtime=2912.37 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 96463 0 0 0 290472 765 0 0 20 0 1 0 160310764 550027264 115945 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134284 115945 4173 3002 0 118035 0
Current children cumulated CPU time: 2912.37 s
Current children cumulated vsize: 537136 KiB
Current children cumulated memory: 463780 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/256 829665
/proc/meminfo: memFree=127007140/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=537576 memory=463840 CPUtime=2972.18 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 96757 0 0 0 296443 775 0 0 20 0 1 0 160310764 550477824 115960 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134394 115960 4173 3002 0 118145 0
Current children cumulated CPU time: 2972.18 s
Current children cumulated vsize: 537576 KiB
Current children cumulated memory: 463840 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/256 829689
/proc/meminfo: memFree=126988440/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=538088 memory=464372 CPUtime=3031.98 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 97059 0 0 0 302411 787 0 0 20 0 1 0 160310764 551002112 116093 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134522 116093 4173 3002 0 118273 0
Current children cumulated CPU time: 3031.98 s
Current children cumulated vsize: 538088 KiB
Current children cumulated memory: 464372 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/257 829700
/proc/meminfo: memFree=126981964/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=538928 memory=465036 CPUtime=3091.79 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 97413 0 0 0 308378 801 0 0 20 0 1 0 160310764 551862272 116259 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134732 116259 4173 3002 0 118483 0
Current children cumulated CPU time: 3091.79 s
Current children cumulated vsize: 538928 KiB
Current children cumulated memory: 465036 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/256 829711
/proc/meminfo: memFree=126957064/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=539952 memory=478016 CPUtime=3151.59 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 97849 0 0 0 314347 812 0 0 20 0 1 0 160310764 552910848 119504 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134988 119504 4173 3002 0 118739 0
Current children cumulated CPU time: 3151.59 s
Current children cumulated vsize: 539952 KiB
Current children cumulated memory: 478016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.10 6/256 829722
/proc/meminfo: memFree=126943340/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=539952 memory=478084 CPUtime=3211.39 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 98053 0 0 0 320319 820 0 0 20 0 1 0 160310764 552910848 119521 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 134988 119521 4173 3002 0 118739 0
Current children cumulated CPU time: 3211.39 s
Current children cumulated vsize: 539952 KiB
Current children cumulated memory: 478084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.10 5/255 829732
/proc/meminfo: memFree=126939836/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=540208 memory=478348 CPUtime=3271.19 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 98308 0 0 0 326291 828 0 0 20 0 1 0 160310764 553172992 119587 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 135052 119587 4173 3002 0 118803 0
Current children cumulated CPU time: 3271.19 s
Current children cumulated vsize: 540208 KiB
Current children cumulated memory: 478348 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/255 829742
/proc/meminfo: memFree=126934432/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=540208 memory=478348 CPUtime=3330.99 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 98548 0 0 0 332262 837 0 0 20 0 1 0 160310764 553172992 119587 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 135052 119587 4173 3002 0 118803 0
Current children cumulated CPU time: 3330.99 s
Current children cumulated vsize: 540208 KiB
Current children cumulated memory: 478348 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/254 829754
/proc/meminfo: memFree=126879908/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=540208 memory=478348 CPUtime=3390.8 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 98755 0 0 0 338233 847 0 0 20 0 1 0 160310764 553172992 119587 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 135052 119587 4173 3002 0 118803 0
Current children cumulated CPU time: 3390.8 s
Current children cumulated vsize: 540208 KiB
Current children cumulated memory: 478348 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 829764
/proc/meminfo: memFree=126862936/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=540976 memory=482460 CPUtime=3450.59 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 99467 0 0 0 344203 856 0 0 20 0 1 0 160310764 553959424 120615 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 135244 120615 4173 3002 0 118995 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 540976 KiB
Current children cumulated memory: 482460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/255 829775
/proc/meminfo: memFree=126855748/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=540976 memory=482460 CPUtime=3510.39 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 99706 0 0 0 350174 865 0 0 20 0 1 0 160310764 553959424 120615 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 135244 120615 4173 3002 0 118995 0
Current children cumulated CPU time: 3510.39 s
Current children cumulated vsize: 540976 KiB
Current children cumulated memory: 482460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/257 829790
/proc/meminfo: memFree=126841316/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=674772 memory=491736 CPUtime=3570.19 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 100688 0 0 0 356146 873 0 0 20 0 1 0 160310764 690966528 122934 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 168693 122934 4173 3002 0 152444 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 674772 KiB
Current children cumulated memory: 491736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/257 829795
/proc/meminfo: memFree=126835556/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=674772 memory=492000 CPUtime=3600.09 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 100807 0 0 0 359130 879 0 0 20 0 1 0 160310764 690966528 123000 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 168693 123000 4173 3002 0 152444 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 674772 KiB
Current children cumulated memory: 492000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.31 s, system=8.80695 s

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

[startup+3612.3 s]
/proc/loadavg: 4.26 4.16 4.11 5/257 829795
/proc/meminfo: memFree=126835556/131524600 swapFree=131071996/131071996
[pid=827827] ppid=827824 vsize=674772 memory=492000 CPUtime=3600.09 cores=0,2
/proc/827827/stat : 827827 (mixed-bag) R 827824 827827 821782 0 -1 4194304 100807 0 0 0 359130 879 0 0 20 0 1 0 160310764 690966528 123000 134679101440 4194304 16487941 140736518574640 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 56139776 140736518583319 140736518583396 140736518583396 140736518590411 0
/proc/827827/statm: 168693 123000 4173 3002 0 152444 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 674772 KiB
Current children cumulated memory: 492000 KiB

Child status: 0

Real time (s): 3612.31
CPU time (s): 3600.12
CPU user time (s): 3591.31
CPU system time (s): 8.80695
CPU usage (%): 99.6624
Max. virtual memory (cumulated for all children) (KiB): 674772
Max. memory (cumulated for all children) (KiB): 492000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.31
system time used= 8.80695
maximum resident set size= 492000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100827
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= 81
involuntary context switches= 25204


# summary of solver processes directly reported to runsolver:
#   pid: 827827
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3591.31
#   total CPU system time (s): 8.80695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42056 second user time and 15.8334 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-16 00:10:59
IDJOB=4435463
IDBENCH=147526
IDSOLVER=3066
FILE ID=nodeC026/4435463-1721081446
RUNJOBID= nodeC026-1721074233-821792
SLURM_JOB_ID= 7505548
Free space on /tmp= 890008 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435463-1721081446/watcher-4435463-1721081446 -o /tmp/evaluation-result-4435463-1721081446/solver-4435463-1721081446 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721074233-821792 --watchdog 3760  mixed-bag HOME/instance-4435463-1721081446.opb

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

MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=323551838

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123878368 kB
MemAvailable:   124733756 kB
Buffers:          383576 kB
Cached:          1306740 kB
SwapCached:            0 kB
Active:           698408 kB
Inactive:        6342200 kB
Active(anon):       1548 kB
Inactive(anon):  5386456 kB
Active(file):     696860 kB
Inactive(file):   955744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             16340 kB
Writeback:            68 kB
AnonPages:       5343924 kB
Mapped:           120648 kB
Shmem:             37720 kB
KReclaimable:      85212 kB
Slab:             189772 kB
SReclaimable:      85212 kB
SUnreclaim:       104560 kB
KernelStack:        4144 kB
PageTables:        20660 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6300500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61600 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4104192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      232148 kB
DirectMap2M:    20512768 kB
DirectMap1G:    115343360 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC026 at 2024-07-16 01:11:11