Trace number 4435462

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.03 3611.51

DiagnosticValue
AM1LB665
LOWERBOUND806
NAM1S665
NCORES141
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM3cf724146d283b6491b934147ab5b23d
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 benchmark1030
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 variables1959
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 1959
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 1959
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 1959
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.10/300.13	c [STEP] preprocessing done, loading into solver
299.10/300.13	c [STEP] solving
299.10/300.13	c #variables 1627 #constraints 3208
299.10/300.13	c SMALL=int, LARGE=long long
299.10/300.13	c bounds - >= 0 @ 299.015
299.10/300.13	c stratification level: 0
300.10/301.12	c bounds - >= 666 @ 299.02
300.10/301.12	c bounds - >= 667 @ 299.022
300.10/301.12	c bounds - >= 668 @ 299.023
300.10/301.12	c bounds - >= 669 @ 299.023
300.10/301.12	c bounds - >= 670 @ 299.023
300.10/301.12	c bounds - >= 671 @ 299.023
300.10/301.12	c bounds - >= 672 @ 299.023
300.10/301.12	c bounds - >= 673 @ 299.023
300.10/301.12	c bounds - >= 674 @ 299.023
300.10/301.12	c bounds - >= 675 @ 299.023
300.10/301.12	c bounds - >= 676 @ 299.023
300.10/301.12	c bounds - >= 677 @ 299.023
300.10/301.12	c bounds - >= 678 @ 299.023
300.10/301.12	c bounds - >= 679 @ 299.024
300.10/301.12	c bounds - >= 680 @ 299.024
300.10/301.12	c bounds - >= 681 @ 299.024
300.10/301.12	c bounds - >= 682 @ 299.024
300.10/301.12	c bounds - >= 683 @ 299.024
300.10/301.12	c bounds - >= 684 @ 299.024
300.10/301.12	c bounds - >= 685 @ 299.024
300.10/301.12	c bounds - >= 686 @ 299.024
300.10/301.12	c bounds - >= 687 @ 299.024
300.10/301.12	c bounds - >= 688 @ 299.025
300.10/301.12	c bounds - >= 689 @ 299.025
300.10/301.12	c bounds - >= 690 @ 299.025
300.10/301.12	c bounds - >= 691 @ 299.025
300.10/301.12	c bounds - >= 692 @ 299.025
300.10/301.12	c bounds - >= 693 @ 299.025
300.10/301.12	c bounds - >= 694 @ 299.025
300.10/301.12	c bounds - >= 695 @ 299.025
300.10/301.12	c bounds - >= 696 @ 299.026
300.10/301.12	c bounds - >= 697 @ 299.026
300.10/301.12	c bounds - >= 698 @ 299.026
300.10/301.12	c bounds - >= 699 @ 299.026
300.10/301.12	c bounds - >= 700 @ 299.026
300.10/301.12	c bounds - >= 701 @ 299.026
300.10/301.12	c bounds - >= 702 @ 299.026
300.10/301.12	c bounds - >= 703 @ 299.026
300.10/301.12	c bounds - >= 704 @ 299.026
300.10/301.12	c bounds - >= 705 @ 299.027
300.10/301.12	c bounds - >= 706 @ 299.027
300.10/301.12	c bounds - >= 707 @ 299.027
300.10/301.12	c bounds - >= 708 @ 299.027
300.10/301.12	c bounds - >= 709 @ 299.028
300.10/301.12	c bounds - >= 710 @ 299.028
300.10/301.12	c bounds - >= 711 @ 299.029
300.10/301.12	c bounds - >= 712 @ 299.029
300.10/301.12	c bounds - >= 713 @ 299.029
300.10/301.12	c bounds - >= 714 @ 299.029
300.10/301.12	c bounds - >= 715 @ 299.03
300.10/301.12	c bounds - >= 716 @ 299.03
300.10/301.12	c bounds - >= 717 @ 299.03
300.10/301.12	c bounds - >= 718 @ 299.03
300.10/301.12	c bounds - >= 719 @ 299.03
300.10/301.12	c bounds - >= 720 @ 299.031
300.10/301.12	c bounds - >= 721 @ 299.031
300.10/301.12	c bounds - >= 722 @ 299.031
300.10/301.12	c bounds - >= 723 @ 299.031
300.10/301.12	c bounds - >= 724 @ 299.032
300.10/301.12	c bounds - >= 725 @ 299.032
300.10/301.12	c bounds - >= 726 @ 299.032
300.10/301.12	c bounds - >= 727 @ 299.032
300.10/301.12	c bounds - >= 728 @ 299.033
300.10/301.12	c bounds - >= 729 @ 299.033
300.10/301.12	c bounds - >= 730 @ 299.033
300.10/301.12	c bounds - >= 731 @ 299.033
300.10/301.12	c bounds - >= 732 @ 299.034
300.10/301.12	c bounds - >= 733 @ 299.034
300.10/301.12	c bounds - >= 734 @ 299.034
300.10/301.12	c bounds - >= 735 @ 299.034
300.10/301.12	c bounds - >= 736 @ 299.035
300.10/301.12	c bounds - >= 737 @ 299.035
300.10/301.12	c bounds - >= 738 @ 299.035
300.10/301.12	c bounds - >= 739 @ 299.035
300.10/301.12	c bounds - >= 740 @ 299.036
300.10/301.12	c bounds - >= 741 @ 299.036
300.10/301.12	c bounds - >= 742 @ 299.036
300.10/301.12	c bounds - >= 743 @ 299.037
300.10/301.12	c bounds - >= 744 @ 299.037
300.10/301.12	c bounds - >= 745 @ 299.037
300.10/301.12	c bounds - >= 746 @ 299.037
300.10/301.12	c bounds - >= 747 @ 299.038
300.10/301.12	c bounds - >= 748 @ 299.038
300.10/301.12	c bounds - >= 749 @ 299.038
300.10/301.12	c bounds - >= 750 @ 299.038
300.10/301.12	c bounds - >= 751 @ 299.038
300.10/301.12	c bounds - >= 752 @ 299.038
300.10/301.12	c bounds - >= 753 @ 299.038
300.10/301.12	c bounds - >= 754 @ 299.038
300.10/301.12	c bounds - >= 755 @ 299.039
300.10/301.12	c bounds - >= 756 @ 299.039
300.10/301.12	c bounds - >= 757 @ 299.039
300.10/301.12	c bounds - >= 758 @ 299.039
300.10/301.12	c bounds - >= 759 @ 299.039
300.10/301.12	c bounds - >= 760 @ 299.039
300.10/301.12	c bounds - >= 761 @ 299.039
300.10/301.12	c bounds - >= 762 @ 299.04
300.10/301.12	c bounds - >= 763 @ 299.04
300.10/301.12	c bounds - >= 764 @ 299.04
300.10/301.12	c bounds - >= 765 @ 299.04
300.10/301.12	c bounds - >= 766 @ 299.04
300.10/301.12	c bounds - >= 767 @ 299.04
300.10/301.12	c bounds - >= 768 @ 299.04
300.10/301.12	c bounds - >= 769 @ 299.04
300.10/301.12	c bounds - >= 770 @ 299.04
300.10/301.12	c bounds - >= 771 @ 299.04
300.10/301.12	c bounds - >= 772 @ 299.04
300.10/301.12	c bounds - >= 773 @ 299.04
300.10/301.12	c bounds - >= 774 @ 299.04
300.10/301.12	c bounds - >= 775 @ 299.04
300.10/301.12	c bounds - >= 776 @ 299.041
300.10/301.12	c bounds - >= 777 @ 299.041
300.10/301.12	c bounds - >= 778 @ 299.041
300.10/301.12	c bounds - >= 779 @ 299.041
300.10/301.12	c bounds - >= 780 @ 299.042
300.10/301.12	c bounds - >= 781 @ 299.042
300.10/301.12	c bounds - >= 782 @ 299.042
300.10/301.12	c bounds - >= 783 @ 299.043
300.10/301.12	c bounds - >= 784 @ 299.043
300.10/301.12	c bounds - >= 785 @ 299.043
300.10/301.12	c bounds - >= 786 @ 299.043
300.10/301.12	c bounds - >= 787 @ 299.043
300.10/301.12	c bounds - >= 788 @ 299.043
300.10/301.12	c bounds - >= 789 @ 299.044
300.10/301.12	c bounds - >= 790 @ 299.044
300.10/301.12	c bounds - >= 791 @ 299.044
300.10/301.12	c bounds - >= 792 @ 299.044
300.10/301.12	c bounds - >= 793 @ 299.045
300.10/301.12	c bounds - >= 794 @ 299.045
300.10/301.12	c bounds - >= 795 @ 299.046
300.10/301.12	c bounds - >= 796 @ 299.046
300.10/301.12	c bounds - >= 797 @ 299.047
300.10/301.12	c bounds - >= 798 @ 299.047
300.10/301.12	c bounds - >= 799 @ 299.047
300.10/301.12	c bounds - >= 800 @ 299.047
300.10/301.12	c bounds - >= 801 @ 299.047
300.10/301.12	c bounds - >= 802 @ 299.047
300.10/301.12	c bounds - >= 803 @ 299.047
300.10/301.12	c bounds - >= 804 @ 299.047
300.10/301.12	c bounds - >= 805 @ 299.047
300.10/301.12	c bounds - >= 806 @ 299.047
300.10/301.12	c #Conflicts:       1000 | #Constraints:       5154
300.10/301.12	c #Conflicts:       2000 | #Constraints:       6154
300.10/301.12	c INPROCESSING
300.10/301.12	c GARBAGE COLLECT
300.10/301.12	c #Conflicts:       3000 | #Constraints:       6003
389.80/391.19	c #Conflicts:       4000 | #Constraints:       7003
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:       5000 | #Constraints:       6378
389.80/391.19	c #Conflicts:       6000 | #Constraints:       7378
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:       7000 | #Constraints:       6363
389.80/391.19	c #Conflicts:       8000 | #Constraints:       7363
389.80/391.19	c #Conflicts:       9000 | #Constraints:       8363
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      10000 | #Constraints:       7059
389.80/391.19	c #Conflicts:      11000 | #Constraints:       8059
389.80/391.19	c #Conflicts:      12000 | #Constraints:       9059
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      13000 | #Constraints:       7500
389.80/391.19	c #Conflicts:      14000 | #Constraints:       8500
389.80/391.19	c #Conflicts:      15000 | #Constraints:       9500
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      16000 | #Constraints:       7733
389.80/391.19	c #Conflicts:      17000 | #Constraints:       8733
389.80/391.19	c #Conflicts:      18000 | #Constraints:       9733
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      19000 | #Constraints:       7746
389.80/391.19	c #Conflicts:      20000 | #Constraints:       8746
389.80/391.19	c #Conflicts:      21000 | #Constraints:       9746
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      22000 | #Constraints:       7547
389.80/391.19	c #Conflicts:      23000 | #Constraints:       8547
389.80/391.19	c #Conflicts:      24000 | #Constraints:       9547
389.80/391.19	c #Conflicts:      25000 | #Constraints:      10547
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      26000 | #Constraints:       8142
389.80/391.19	c #Conflicts:      27000 | #Constraints:       9142
389.80/391.19	c #Conflicts:      28000 | #Constraints:      10142
389.80/391.19	c #Conflicts:      29000 | #Constraints:      11142
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      30000 | #Constraints:       8548
389.80/391.19	c #Conflicts:      31000 | #Constraints:       9548
389.80/391.19	c #Conflicts:      32000 | #Constraints:      10548
389.80/391.19	c #Conflicts:      33000 | #Constraints:      11548
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      34000 | #Constraints:       8754
389.80/391.19	c #Conflicts:      35000 | #Constraints:       9754
389.80/391.19	c #Conflicts:      36000 | #Constraints:      10754
389.80/391.19	c #Conflicts:      37000 | #Constraints:      11754
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      38000 | #Constraints:       8760
389.80/391.19	c #Conflicts:      39000 | #Constraints:       9760
389.80/391.19	c #Conflicts:      40000 | #Constraints:      10760
389.80/391.19	c #Conflicts:      41000 | #Constraints:      11760
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      42000 | #Constraints:       8560
389.80/391.19	c #Conflicts:      43000 | #Constraints:       9560
389.80/391.19	c #Conflicts:      44000 | #Constraints:      10560
389.80/391.19	c #Conflicts:      45000 | #Constraints:      11560
389.80/391.19	c #Conflicts:      46000 | #Constraints:      12560
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      47000 | #Constraints:       9156
389.80/391.19	c #Conflicts:      48000 | #Constraints:      10156
389.80/391.19	c #Conflicts:      49000 | #Constraints:      11156
389.80/391.19	c #Conflicts:      50000 | #Constraints:      12156
389.80/391.19	c #Conflicts:      51000 | #Constraints:      13156
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      52000 | #Constraints:       9545
389.80/391.19	c #Conflicts:      53000 | #Constraints:      10545
389.80/391.19	c #Conflicts:      54000 | #Constraints:      11545
389.80/391.19	c #Conflicts:      55000 | #Constraints:      12545
389.80/391.19	c #Conflicts:      56000 | #Constraints:      13545
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      57000 | #Constraints:       9745
389.80/391.19	c #Conflicts:      58000 | #Constraints:      10745
389.80/391.19	c #Conflicts:      59000 | #Constraints:      11745
389.80/391.19	c #Conflicts:      60000 | #Constraints:      12745
389.80/391.19	c #Conflicts:      61000 | #Constraints:      13745
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      62000 | #Constraints:       9743
389.80/391.19	c #Conflicts:      63000 | #Constraints:      10743
389.80/391.19	c #Conflicts:      64000 | #Constraints:      11743
389.80/391.19	c #Conflicts:      65000 | #Constraints:      12743
389.80/391.19	c #Conflicts:      66000 | #Constraints:      13743
389.80/391.19	c INPROCESSING
389.80/391.19	c GARBAGE COLLECT
389.80/391.19	c #Conflicts:      67000 | #Constraints:       9541
389.80/391.19	c #Conflicts:      68000 | #Constraints:      10541
389.80/391.19	c #Conflicts:      69000 | #Constraints:      11541
389.80/391.19	c #Conflicts:      70000 | #Constraints:      12541
389.80/391.19	c #Conflicts:      71000 | #Constraints:      13541
549.87/551.75	c #Conflicts:      72000 | #Constraints:      14541
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:      73000 | #Constraints:      10139
549.87/551.75	c #Conflicts:      74000 | #Constraints:      11139
549.87/551.75	c #Conflicts:      75000 | #Constraints:      12139
549.87/551.75	c #Conflicts:      76000 | #Constraints:      13139
549.87/551.75	c #Conflicts:      77000 | #Constraints:      14139
549.87/551.75	c #Conflicts:      78000 | #Constraints:      15139
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:      79000 | #Constraints:      10538
549.87/551.75	c #Conflicts:      80000 | #Constraints:      11538
549.87/551.75	c #Conflicts:      81000 | #Constraints:      12538
549.87/551.75	c #Conflicts:      82000 | #Constraints:      13538
549.87/551.75	c #Conflicts:      83000 | #Constraints:      14538
549.87/551.75	c #Conflicts:      84000 | #Constraints:      15538
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:      85000 | #Constraints:      10742
549.87/551.75	c #Conflicts:      86000 | #Constraints:      11742
549.87/551.75	c #Conflicts:      87000 | #Constraints:      12742
549.87/551.75	c #Conflicts:      88000 | #Constraints:      13742
549.87/551.75	c #Conflicts:      89000 | #Constraints:      14742
549.87/551.75	c #Conflicts:      90000 | #Constraints:      15742
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:      91000 | #Constraints:      10748
549.87/551.75	c #Conflicts:      92000 | #Constraints:      11748
549.87/551.75	c #Conflicts:      93000 | #Constraints:      12748
549.87/551.75	c #Conflicts:      94000 | #Constraints:      13748
549.87/551.75	c #Conflicts:      95000 | #Constraints:      14748
549.87/551.75	c #Conflicts:      96000 | #Constraints:      15748
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:      97000 | #Constraints:      10544
549.87/551.75	c #Conflicts:      98000 | #Constraints:      11544
549.87/551.75	c #Conflicts:      99000 | #Constraints:      12544
549.87/551.75	c #Conflicts:     100000 | #Constraints:      13544
549.87/551.75	c #Conflicts:     101000 | #Constraints:      14544
549.87/551.75	c #Conflicts:     102000 | #Constraints:      15544
549.87/551.75	c #Conflicts:     103000 | #Constraints:      16544
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     104000 | #Constraints:      11152
549.87/551.75	c #Conflicts:     105000 | #Constraints:      12152
549.87/551.75	c #Conflicts:     106000 | #Constraints:      13152
549.87/551.75	c #Conflicts:     107000 | #Constraints:      14152
549.87/551.75	c #Conflicts:     108000 | #Constraints:      15152
549.87/551.75	c #Conflicts:     109000 | #Constraints:      16152
549.87/551.75	c #Conflicts:     110000 | #Constraints:      17152
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     111000 | #Constraints:      11554
549.87/551.75	c #Conflicts:     112000 | #Constraints:      12554
549.87/551.75	c #Conflicts:     113000 | #Constraints:      13554
549.87/551.75	c #Conflicts:     114000 | #Constraints:      14554
549.87/551.75	c #Conflicts:     115000 | #Constraints:      15554
549.87/551.75	c #Conflicts:     116000 | #Constraints:      16554
549.87/551.75	c #Conflicts:     117000 | #Constraints:      17554
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     118000 | #Constraints:      11751
549.87/551.75	c #Conflicts:     119000 | #Constraints:      12751
549.87/551.75	c #Conflicts:     120000 | #Constraints:      13751
549.87/551.75	c #Conflicts:     121000 | #Constraints:      14751
549.87/551.75	c #Conflicts:     122000 | #Constraints:      15751
549.87/551.75	c #Conflicts:     123000 | #Constraints:      16751
549.87/551.75	c #Conflicts:     124000 | #Constraints:      17751
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     125000 | #Constraints:      11749
549.87/551.75	c #Conflicts:     126000 | #Constraints:      12749
549.87/551.75	c #Conflicts:     127000 | #Constraints:      13749
549.87/551.75	c #Conflicts:     128000 | #Constraints:      14749
549.87/551.75	c #Conflicts:     129000 | #Constraints:      15749
549.87/551.75	c #Conflicts:     130000 | #Constraints:      16749
549.87/551.75	c #Conflicts:     131000 | #Constraints:      17749
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     132000 | #Constraints:      11547
549.87/551.75	c #Conflicts:     133000 | #Constraints:      12547
549.87/551.75	c #Conflicts:     134000 | #Constraints:      13547
549.87/551.75	c #Conflicts:     135000 | #Constraints:      14547
549.87/551.75	c #Conflicts:     136000 | #Constraints:      15547
549.87/551.75	c #Conflicts:     137000 | #Constraints:      16547
549.87/551.75	c #Conflicts:     138000 | #Constraints:      17547
549.87/551.75	c #Conflicts:     139000 | #Constraints:      18547
549.87/551.75	c INPROCESSING
549.87/551.75	c GARBAGE COLLECT
549.87/551.75	c #Conflicts:     140000 | #Constraints:      12150
549.87/551.75	c #Conflicts:     141000 | #Constraints:      13150
549.87/551.75	c #Conflicts:     142000 | #Constraints:      14150
549.87/551.75	c #Conflicts:     143000 | #Constraints:      15150
761.77/764.31	c #Conflicts:     144000 | #Constraints:      16150
761.77/764.31	c #Conflicts:     145000 | #Constraints:      17150
761.77/764.31	c #Conflicts:     146000 | #Constraints:      18150
761.77/764.31	c #Conflicts:     147000 | #Constraints:      19150
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     148000 | #Constraints:      12550
761.77/764.31	c #Conflicts:     149000 | #Constraints:      13550
761.77/764.31	c #Conflicts:     150000 | #Constraints:      14550
761.77/764.31	c #Conflicts:     151000 | #Constraints:      15550
761.77/764.31	c #Conflicts:     152000 | #Constraints:      16550
761.77/764.31	c #Conflicts:     153000 | #Constraints:      17550
761.77/764.31	c #Conflicts:     154000 | #Constraints:      18550
761.77/764.31	c #Conflicts:     155000 | #Constraints:      19550
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     156000 | #Constraints:      12748
761.77/764.31	c #Conflicts:     157000 | #Constraints:      13748
761.77/764.31	c #Conflicts:     158000 | #Constraints:      14748
761.77/764.31	c #Conflicts:     159000 | #Constraints:      15748
761.77/764.31	c #Conflicts:     160000 | #Constraints:      16748
761.77/764.31	c #Conflicts:     161000 | #Constraints:      17748
761.77/764.31	c #Conflicts:     162000 | #Constraints:      18748
761.77/764.31	c #Conflicts:     163000 | #Constraints:      19748
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     164000 | #Constraints:      12748
761.77/764.31	c #Conflicts:     165000 | #Constraints:      13748
761.77/764.31	c #Conflicts:     166000 | #Constraints:      14748
761.77/764.31	c #Conflicts:     167000 | #Constraints:      15748
761.77/764.31	c #Conflicts:     168000 | #Constraints:      16748
761.77/764.31	c #Conflicts:     169000 | #Constraints:      17748
761.77/764.31	c #Conflicts:     170000 | #Constraints:      18748
761.77/764.31	c #Conflicts:     171000 | #Constraints:      19748
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     172000 | #Constraints:      12545
761.77/764.31	c #Conflicts:     173000 | #Constraints:      13545
761.77/764.31	c #Conflicts:     174000 | #Constraints:      14545
761.77/764.31	c #Conflicts:     175000 | #Constraints:      15545
761.77/764.31	c #Conflicts:     176000 | #Constraints:      16545
761.77/764.31	c #Conflicts:     177000 | #Constraints:      17545
761.77/764.31	c #Conflicts:     178000 | #Constraints:      18545
761.77/764.31	c #Conflicts:     179000 | #Constraints:      19545
761.77/764.31	c #Conflicts:     180000 | #Constraints:      20545
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     181000 | #Constraints:      13146
761.77/764.31	c #Conflicts:     182000 | #Constraints:      14146
761.77/764.31	c #Conflicts:     183000 | #Constraints:      15146
761.77/764.31	c #Conflicts:     184000 | #Constraints:      16146
761.77/764.31	c #Conflicts:     185000 | #Constraints:      17146
761.77/764.31	c #Conflicts:     186000 | #Constraints:      18146
761.77/764.31	c #Conflicts:     187000 | #Constraints:      19146
761.77/764.31	c #Conflicts:     188000 | #Constraints:      20146
761.77/764.31	c #Conflicts:     189000 | #Constraints:      21146
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     190000 | #Constraints:      13552
761.77/764.31	c #Conflicts:     191000 | #Constraints:      14552
761.77/764.31	c #Conflicts:     192000 | #Constraints:      15552
761.77/764.31	c #Conflicts:     193000 | #Constraints:      16552
761.77/764.31	c #Conflicts:     194000 | #Constraints:      17552
761.77/764.31	c #Conflicts:     195000 | #Constraints:      18552
761.77/764.31	c #Conflicts:     196000 | #Constraints:      19552
761.77/764.31	c #Conflicts:     197000 | #Constraints:      20552
761.77/764.31	c #Conflicts:     198000 | #Constraints:      21552
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     199000 | #Constraints:      13750
761.77/764.31	c #Conflicts:     200000 | #Constraints:      14750
761.77/764.31	c #Conflicts:     201000 | #Constraints:      15750
761.77/764.31	c #Conflicts:     202000 | #Constraints:      16750
761.77/764.31	c #Conflicts:     203000 | #Constraints:      17750
761.77/764.31	c #Conflicts:     204000 | #Constraints:      18750
761.77/764.31	c #Conflicts:     205000 | #Constraints:      19750
761.77/764.31	c #Conflicts:     206000 | #Constraints:      20750
761.77/764.31	c #Conflicts:     207000 | #Constraints:      21750
761.77/764.31	c INPROCESSING
761.77/764.31	c GARBAGE COLLECT
761.77/764.31	c #Conflicts:     208000 | #Constraints:      13757
761.77/764.31	c #Conflicts:     209000 | #Constraints:      14757
761.77/764.31	c #Conflicts:     210000 | #Constraints:      15757
761.77/764.31	c #Conflicts:     211000 | #Constraints:      16757
761.77/764.31	c #Conflicts:     212000 | #Constraints:      17757
761.77/764.31	c #Conflicts:     213000 | #Constraints:      18757
761.77/764.31	c #Conflicts:     214000 | #Constraints:      19757
761.77/764.31	c #Conflicts:     215000 | #Constraints:      20757
761.77/764.31	c #Conflicts:     216000 | #Constraints:      21757
761.77/764.31	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     217000 | #Constraints:      13561
996.12/999.40	c #Conflicts:     218000 | #Constraints:      14561
996.12/999.40	c #Conflicts:     219000 | #Constraints:      15561
996.12/999.40	c #Conflicts:     220000 | #Constraints:      16561
996.12/999.40	c #Conflicts:     221000 | #Constraints:      17561
996.12/999.40	c #Conflicts:     222000 | #Constraints:      18561
996.12/999.40	c #Conflicts:     223000 | #Constraints:      19561
996.12/999.40	c #Conflicts:     224000 | #Constraints:      20561
996.12/999.40	c #Conflicts:     225000 | #Constraints:      21561
996.12/999.40	c #Conflicts:     226000 | #Constraints:      22561
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     227000 | #Constraints:      14159
996.12/999.40	c #Conflicts:     228000 | #Constraints:      15159
996.12/999.40	c #Conflicts:     229000 | #Constraints:      16159
996.12/999.40	c #Conflicts:     230000 | #Constraints:      17159
996.12/999.40	c #Conflicts:     231000 | #Constraints:      18159
996.12/999.40	c #Conflicts:     232000 | #Constraints:      19159
996.12/999.40	c #Conflicts:     233000 | #Constraints:      20159
996.12/999.40	c #Conflicts:     234000 | #Constraints:      21159
996.12/999.40	c #Conflicts:     235000 | #Constraints:      22159
996.12/999.40	c #Conflicts:     236000 | #Constraints:      23159
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     237000 | #Constraints:      14549
996.12/999.40	c #Conflicts:     238000 | #Constraints:      15549
996.12/999.40	c #Conflicts:     239000 | #Constraints:      16549
996.12/999.40	c #Conflicts:     240000 | #Constraints:      17549
996.12/999.40	c #Conflicts:     241000 | #Constraints:      18549
996.12/999.40	c #Conflicts:     242000 | #Constraints:      19549
996.12/999.40	c #Conflicts:     243000 | #Constraints:      20549
996.12/999.40	c #Conflicts:     244000 | #Constraints:      21549
996.12/999.40	c #Conflicts:     245000 | #Constraints:      22549
996.12/999.40	c #Conflicts:     246000 | #Constraints:      23549
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     247000 | #Constraints:      14754
996.12/999.40	c #Conflicts:     248000 | #Constraints:      15754
996.12/999.40	c #Conflicts:     249000 | #Constraints:      16754
996.12/999.40	c #Conflicts:     250000 | #Constraints:      17754
996.12/999.40	c #Conflicts:     251000 | #Constraints:      18754
996.12/999.40	c #Conflicts:     252000 | #Constraints:      19754
996.12/999.40	c #Conflicts:     253000 | #Constraints:      20754
996.12/999.40	c #Conflicts:     254000 | #Constraints:      21754
996.12/999.40	c #Conflicts:     255000 | #Constraints:      22754
996.12/999.40	c #Conflicts:     256000 | #Constraints:      23754
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     257000 | #Constraints:      14750
996.12/999.40	c #Conflicts:     258000 | #Constraints:      15750
996.12/999.40	c #Conflicts:     259000 | #Constraints:      16750
996.12/999.40	c #Conflicts:     260000 | #Constraints:      17750
996.12/999.40	c #Conflicts:     261000 | #Constraints:      18750
996.12/999.40	c #Conflicts:     262000 | #Constraints:      19750
996.12/999.40	c #Conflicts:     263000 | #Constraints:      20750
996.12/999.40	c #Conflicts:     264000 | #Constraints:      21750
996.12/999.40	c #Conflicts:     265000 | #Constraints:      22750
996.12/999.40	c #Conflicts:     266000 | #Constraints:      23750
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     267000 | #Constraints:      14553
996.12/999.40	c #Conflicts:     268000 | #Constraints:      15553
996.12/999.40	c #Conflicts:     269000 | #Constraints:      16553
996.12/999.40	c #Conflicts:     270000 | #Constraints:      17553
996.12/999.40	c #Conflicts:     271000 | #Constraints:      18553
996.12/999.40	c #Conflicts:     272000 | #Constraints:      19553
996.12/999.40	c #Conflicts:     273000 | #Constraints:      20553
996.12/999.40	c #Conflicts:     274000 | #Constraints:      21553
996.12/999.40	c #Conflicts:     275000 | #Constraints:      22553
996.12/999.40	c #Conflicts:     276000 | #Constraints:      23553
996.12/999.40	c #Conflicts:     277000 | #Constraints:      24553
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     278000 | #Constraints:      15158
996.12/999.40	c #Conflicts:     279000 | #Constraints:      16158
996.12/999.40	c #Conflicts:     280000 | #Constraints:      17158
996.12/999.40	c #Conflicts:     281000 | #Constraints:      18158
996.12/999.40	c #Conflicts:     282000 | #Constraints:      19158
996.12/999.40	c #Conflicts:     283000 | #Constraints:      20158
996.12/999.40	c #Conflicts:     284000 | #Constraints:      21158
996.12/999.40	c #Conflicts:     285000 | #Constraints:      22158
996.12/999.40	c #Conflicts:     286000 | #Constraints:      23158
996.12/999.40	c #Conflicts:     287000 | #Constraints:      24158
996.12/999.40	c #Conflicts:     288000 | #Constraints:      25158
996.12/999.40	c INPROCESSING
996.12/999.40	c GARBAGE COLLECT
996.12/999.40	c #Conflicts:     289000 | #Constraints:      15551
996.12/999.40	c #Conflicts:     290000 | #Constraints:      16551
1273.92/1278.18	c #Conflicts:     291000 | #Constraints:      17551
1273.92/1278.18	c #Conflicts:     292000 | #Constraints:      18551
1273.92/1278.18	c #Conflicts:     293000 | #Constraints:      19551
1273.92/1278.18	c #Conflicts:     294000 | #Constraints:      20551
1273.92/1278.18	c #Conflicts:     295000 | #Constraints:      21551
1273.92/1278.18	c #Conflicts:     296000 | #Constraints:      22551
1273.92/1278.18	c #Conflicts:     297000 | #Constraints:      23551
1273.92/1278.18	c #Conflicts:     298000 | #Constraints:      24551
1273.92/1278.18	c #Conflicts:     299000 | #Constraints:      25551
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     300000 | #Constraints:      15745
1273.92/1278.18	c #Conflicts:     301000 | #Constraints:      16745
1273.92/1278.18	c #Conflicts:     302000 | #Constraints:      17745
1273.92/1278.18	c #Conflicts:     303000 | #Constraints:      18745
1273.92/1278.18	c #Conflicts:     304000 | #Constraints:      19745
1273.92/1278.18	c #Conflicts:     305000 | #Constraints:      20745
1273.92/1278.18	c #Conflicts:     306000 | #Constraints:      21745
1273.92/1278.18	c #Conflicts:     307000 | #Constraints:      22745
1273.92/1278.18	c #Conflicts:     308000 | #Constraints:      23745
1273.92/1278.18	c #Conflicts:     309000 | #Constraints:      24745
1273.92/1278.18	c #Conflicts:     310000 | #Constraints:      25745
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     311000 | #Constraints:      15753
1273.92/1278.18	c #Conflicts:     312000 | #Constraints:      16753
1273.92/1278.18	c #Conflicts:     313000 | #Constraints:      17753
1273.92/1278.18	c #Conflicts:     314000 | #Constraints:      18753
1273.92/1278.18	c #Conflicts:     315000 | #Constraints:      19753
1273.92/1278.18	c #Conflicts:     316000 | #Constraints:      20753
1273.92/1278.18	c #Conflicts:     317000 | #Constraints:      21753
1273.92/1278.18	c #Conflicts:     318000 | #Constraints:      22753
1273.92/1278.18	c #Conflicts:     319000 | #Constraints:      23753
1273.92/1278.18	c #Conflicts:     320000 | #Constraints:      24753
1273.92/1278.18	c #Conflicts:     321000 | #Constraints:      25753
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     322000 | #Constraints:      15553
1273.92/1278.18	c #Conflicts:     323000 | #Constraints:      16553
1273.92/1278.18	c #Conflicts:     324000 | #Constraints:      17553
1273.92/1278.18	c #Conflicts:     325000 | #Constraints:      18553
1273.92/1278.18	c #Conflicts:     326000 | #Constraints:      19553
1273.92/1278.18	c #Conflicts:     327000 | #Constraints:      20553
1273.92/1278.18	c #Conflicts:     328000 | #Constraints:      21553
1273.92/1278.18	c #Conflicts:     329000 | #Constraints:      22553
1273.92/1278.18	c #Conflicts:     330000 | #Constraints:      23553
1273.92/1278.18	c #Conflicts:     331000 | #Constraints:      24553
1273.92/1278.18	c #Conflicts:     332000 | #Constraints:      25553
1273.92/1278.18	c #Conflicts:     333000 | #Constraints:      26553
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     334000 | #Constraints:      16156
1273.92/1278.18	c #Conflicts:     335000 | #Constraints:      17156
1273.92/1278.18	c #Conflicts:     336000 | #Constraints:      18156
1273.92/1278.18	c #Conflicts:     337000 | #Constraints:      19156
1273.92/1278.18	c #Conflicts:     338000 | #Constraints:      20156
1273.92/1278.18	c #Conflicts:     339000 | #Constraints:      21156
1273.92/1278.18	c #Conflicts:     340000 | #Constraints:      22156
1273.92/1278.18	c #Conflicts:     341000 | #Constraints:      23156
1273.92/1278.18	c #Conflicts:     342000 | #Constraints:      24156
1273.92/1278.18	c #Conflicts:     343000 | #Constraints:      25156
1273.92/1278.18	c #Conflicts:     344000 | #Constraints:      26156
1273.92/1278.18	c #Conflicts:     345000 | #Constraints:      27156
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     346000 | #Constraints:      16553
1273.92/1278.18	c #Conflicts:     347000 | #Constraints:      17553
1273.92/1278.18	c #Conflicts:     348000 | #Constraints:      18553
1273.92/1278.18	c #Conflicts:     349000 | #Constraints:      19553
1273.92/1278.18	c #Conflicts:     350000 | #Constraints:      20553
1273.92/1278.18	c #Conflicts:     351000 | #Constraints:      21553
1273.92/1278.18	c #Conflicts:     352000 | #Constraints:      22553
1273.92/1278.18	c #Conflicts:     353000 | #Constraints:      23553
1273.92/1278.18	c #Conflicts:     354000 | #Constraints:      24553
1273.92/1278.18	c #Conflicts:     355000 | #Constraints:      25553
1273.92/1278.18	c #Conflicts:     356000 | #Constraints:      26553
1273.92/1278.18	c #Conflicts:     357000 | #Constraints:      27553
1273.92/1278.18	c INPROCESSING
1273.92/1278.18	c GARBAGE COLLECT
1273.92/1278.18	c #Conflicts:     358000 | #Constraints:      16753
1273.92/1278.18	c #Conflicts:     359000 | #Constraints:      17753
1273.92/1278.18	c #Conflicts:     360000 | #Constraints:      18753
1273.92/1278.18	c #Conflicts:     361000 | #Constraints:      19753
1273.92/1278.18	c #Conflicts:     362000 | #Constraints:      20753
1273.92/1278.18	c #Conflicts:     363000 | #Constraints:      21753
1273.92/1278.18	c #Conflicts:     364000 | #Constraints:      22753
1273.92/1278.18	c #Conflicts:     365000 | #Constraints:      23753
1555.60/1560.78	c #Conflicts:     366000 | #Constraints:      24753
1555.60/1560.78	c #Conflicts:     367000 | #Constraints:      25753
1555.60/1560.78	c #Conflicts:     368000 | #Constraints:      26753
1555.60/1560.78	c #Conflicts:     369000 | #Constraints:      27753
1555.60/1560.78	c INPROCESSING
1555.60/1560.78	c GARBAGE COLLECT
1555.60/1560.78	c #Conflicts:     370000 | #Constraints:      16750
1555.60/1560.78	c #Conflicts:     371000 | #Constraints:      17750
1555.60/1560.78	c #Conflicts:     372000 | #Constraints:      18750
1555.60/1560.78	c #Conflicts:     373000 | #Constraints:      19750
1555.60/1560.78	c #Conflicts:     374000 | #Constraints:      20750
1555.60/1560.78	c #Conflicts:     375000 | #Constraints:      21750
1555.60/1560.78	c #Conflicts:     376000 | #Constraints:      22750
1555.60/1560.78	c #Conflicts:     377000 | #Constraints:      23750
1555.60/1560.78	c #Conflicts:     378000 | #Constraints:      24750
1555.60/1560.78	c #Conflicts:     379000 | #Constraints:      25750
1555.60/1560.78	c #Conflicts:     380000 | #Constraints:      26750
1555.60/1560.78	c #Conflicts:     381000 | #Constraints:      27750
1555.60/1560.78	c INPROCESSING
1555.60/1560.78	c GARBAGE COLLECT
1555.60/1560.78	c #Conflicts:     382000 | #Constraints:      16552
1555.60/1560.78	c #Conflicts:     383000 | #Constraints:      17552
1555.60/1560.78	c #Conflicts:     384000 | #Constraints:      18552
1555.60/1560.78	c #Conflicts:     385000 | #Constraints:      19552
1555.60/1560.78	c #Conflicts:     386000 | #Constraints:      20552
1555.60/1560.78	c #Conflicts:     387000 | #Constraints:      21552
1555.60/1560.78	c #Conflicts:     388000 | #Constraints:      22552
1555.60/1560.78	c #Conflicts:     389000 | #Constraints:      23552
1555.60/1560.78	c #Conflicts:     390000 | #Constraints:      24552
1555.60/1560.78	c #Conflicts:     391000 | #Constraints:      25552
1555.60/1560.78	c #Conflicts:     392000 | #Constraints:      26552
1555.60/1560.78	c #Conflicts:     393000 | #Constraints:      27552
1555.60/1560.78	c #Conflicts:     394000 | #Constraints:      28552
1555.60/1560.78	c INPROCESSING
1555.60/1560.78	c GARBAGE COLLECT
1555.60/1560.78	c #Conflicts:     395000 | #Constraints:      17147
1555.60/1560.78	c #Conflicts:     396000 | #Constraints:      18147
1555.60/1560.78	c #Conflicts:     397000 | #Constraints:      19147
1555.60/1560.78	c #Conflicts:     398000 | #Constraints:      20147
1555.60/1560.78	c #Conflicts:     399000 | #Constraints:      21147
1555.60/1560.78	c #Conflicts:     400000 | #Constraints:      22147
1555.60/1560.78	c #Conflicts:     401000 | #Constraints:      23147
1555.60/1560.78	c #Conflicts:     402000 | #Constraints:      24147
1555.60/1560.78	c #Conflicts:     403000 | #Constraints:      25147
1555.60/1560.79	c #Conflicts:     404000 | #Constraints:      26147
1555.60/1560.79	c #Conflicts:     405000 | #Constraints:      27147
1555.60/1560.79	c #Conflicts:     406000 | #Constraints:      28147
1555.60/1560.79	c #Conflicts:     407000 | #Constraints:      29147
1555.60/1560.79	c INPROCESSING
1555.60/1560.79	c GARBAGE COLLECT
1555.60/1560.79	c #Conflicts:     408000 | #Constraints:      17548
1555.60/1560.79	c #Conflicts:     409000 | #Constraints:      18548
1555.60/1560.79	c #Conflicts:     410000 | #Constraints:      19548
1555.60/1560.79	c #Conflicts:     411000 | #Constraints:      20548
1555.60/1560.79	c #Conflicts:     412000 | #Constraints:      21548
1555.60/1560.79	c #Conflicts:     413000 | #Constraints:      22548
1555.60/1560.79	c #Conflicts:     414000 | #Constraints:      23548
1555.60/1560.79	c #Conflicts:     415000 | #Constraints:      24548
1555.60/1560.79	c #Conflicts:     416000 | #Constraints:      25548
1555.60/1560.79	c #Conflicts:     417000 | #Constraints:      26548
1555.60/1560.79	c #Conflicts:     418000 | #Constraints:      27548
1555.60/1560.79	c #Conflicts:     419000 | #Constraints:      28548
1555.60/1560.79	c #Conflicts:     420000 | #Constraints:      29548
1555.60/1560.79	c INPROCESSING
1555.60/1560.79	c GARBAGE COLLECT
1555.60/1560.79	c #Conflicts:     421000 | #Constraints:      17756
1555.60/1560.79	c #Conflicts:     422000 | #Constraints:      18756
1555.60/1560.79	c #Conflicts:     423000 | #Constraints:      19756
1555.60/1560.79	c #Conflicts:     424000 | #Constraints:      20756
1555.60/1560.79	c #Conflicts:     425000 | #Constraints:      21756
1555.60/1560.79	c #Conflicts:     426000 | #Constraints:      22756
1555.60/1560.79	c #Conflicts:     427000 | #Constraints:      23756
1555.60/1560.79	c #Conflicts:     428000 | #Constraints:      24756
1555.60/1560.79	c #Conflicts:     429000 | #Constraints:      25756
1555.60/1560.79	c #Conflicts:     430000 | #Constraints:      26756
1555.60/1560.79	c #Conflicts:     431000 | #Constraints:      27756
1555.60/1560.79	c #Conflicts:     432000 | #Constraints:      28756
1555.60/1560.79	c #Conflicts:     433000 | #Constraints:      29756
1555.60/1560.79	c INPROCESSING
1555.60/1560.79	c GARBAGE COLLECT
1555.60/1560.79	c #Conflicts:     434000 | #Constraints:      17766
1555.60/1560.79	c #Conflicts:     435000 | #Constraints:      18766
1555.60/1560.79	c #Conflicts:     436000 | #Constraints:      19766
1555.60/1560.79	c #Conflicts:     437000 | #Constraints:      20766
1555.60/1560.79	c #Conflicts:     438000 | #Constraints:      21766
1555.60/1560.79	c #Conflicts:     439000 | #Constraints:      22766
1555.60/1560.79	c #Conflicts:     440000 | #Constraints:      23766
1816.38/1822.33	c #Conflicts:     441000 | #Constraints:      24766
1816.38/1822.33	c #Conflicts:     442000 | #Constraints:      25766
1816.38/1822.33	c #Conflicts:     443000 | #Constraints:      26766
1816.38/1822.33	c #Conflicts:     444000 | #Constraints:      27766
1816.38/1822.33	c #Conflicts:     445000 | #Constraints:      28766
1816.38/1822.33	c #Conflicts:     446000 | #Constraints:      29766
1816.38/1822.33	c INPROCESSING
1816.38/1822.33	c GARBAGE COLLECT
1816.38/1822.33	c #Conflicts:     447000 | #Constraints:      17561
1816.38/1822.33	c #Conflicts:     448000 | #Constraints:      18561
1816.38/1822.33	c #Conflicts:     449000 | #Constraints:      19561
1816.38/1822.33	c #Conflicts:     450000 | #Constraints:      20561
1816.38/1822.33	c #Conflicts:     451000 | #Constraints:      21561
1816.38/1822.33	c #Conflicts:     452000 | #Constraints:      22561
1816.38/1822.33	c #Conflicts:     453000 | #Constraints:      23561
1816.38/1822.33	c #Conflicts:     454000 | #Constraints:      24561
1816.38/1822.33	c #Conflicts:     455000 | #Constraints:      25561
1816.38/1822.33	c #Conflicts:     456000 | #Constraints:      26561
1816.38/1822.33	c #Conflicts:     457000 | #Constraints:      27561
1816.38/1822.33	c #Conflicts:     458000 | #Constraints:      28561
1816.38/1822.33	c #Conflicts:     459000 | #Constraints:      29561
1816.38/1822.33	c #Conflicts:     460000 | #Constraints:      30561
1816.38/1822.33	c INPROCESSING
1816.38/1822.33	c GARBAGE COLLECT
1816.38/1822.33	c #Conflicts:     461000 | #Constraints:      18179
1816.38/1822.33	c #Conflicts:     462000 | #Constraints:      19179
1816.38/1822.33	c #Conflicts:     463000 | #Constraints:      20179
1816.38/1822.33	c #Conflicts:     464000 | #Constraints:      21179
1816.38/1822.33	c #Conflicts:     465000 | #Constraints:      22179
1816.38/1822.33	c #Conflicts:     466000 | #Constraints:      23179
1816.38/1822.33	c #Conflicts:     467000 | #Constraints:      24179
1816.38/1822.33	c #Conflicts:     468000 | #Constraints:      25179
1816.38/1822.33	c #Conflicts:     469000 | #Constraints:      26179
1816.38/1822.33	c #Conflicts:     470000 | #Constraints:      27179
1816.38/1822.33	c #Conflicts:     471000 | #Constraints:      28179
1816.38/1822.33	c #Conflicts:     472000 | #Constraints:      29179
1816.38/1822.33	c #Conflicts:     473000 | #Constraints:      30179
1816.38/1822.33	c #Conflicts:     474000 | #Constraints:      31179
1816.38/1822.33	c INPROCESSING
1816.38/1822.33	c GARBAGE COLLECT
1816.38/1822.33	c #Conflicts:     475000 | #Constraints:      18567
1816.38/1822.33	c #Conflicts:     476000 | #Constraints:      19567
1816.38/1822.33	c #Conflicts:     477000 | #Constraints:      20567
1816.38/1822.33	c #Conflicts:     478000 | #Constraints:      21567
1816.38/1822.33	c #Conflicts:     479000 | #Constraints:      22567
1816.38/1822.33	c #Conflicts:     480000 | #Constraints:      23567
1816.38/1822.33	c #Conflicts:     481000 | #Constraints:      24567
1816.38/1822.33	c #Conflicts:     482000 | #Constraints:      25567
1816.38/1822.33	c #Conflicts:     483000 | #Constraints:      26567
1816.38/1822.33	c #Conflicts:     484000 | #Constraints:      27567
1816.38/1822.33	c #Conflicts:     485000 | #Constraints:      28567
1816.38/1822.33	c #Conflicts:     486000 | #Constraints:      29567
1816.38/1822.33	c #Conflicts:     487000 | #Constraints:      30567
1816.38/1822.33	c #Conflicts:     488000 | #Constraints:      31567
1816.38/1822.33	c INPROCESSING
1816.38/1822.33	c GARBAGE COLLECT
1816.38/1822.33	c #Conflicts:     489000 | #Constraints:      18764
1816.38/1822.33	c #Conflicts:     490000 | #Constraints:      19764
1816.38/1822.33	c #Conflicts:     491000 | #Constraints:      20764
1816.38/1822.33	c #Conflicts:     492000 | #Constraints:      21764
1816.38/1822.33	c #Conflicts:     493000 | #Constraints:      22764
1816.38/1822.33	c #Conflicts:     494000 | #Constraints:      23764
1816.38/1822.33	c #Conflicts:     495000 | #Constraints:      24764
1816.38/1822.33	c #Conflicts:     496000 | #Constraints:      25764
1816.38/1822.33	c #Conflicts:     497000 | #Constraints:      26764
1816.38/1822.33	c #Conflicts:     498000 | #Constraints:      27764
1816.38/1822.33	c #Conflicts:     499000 | #Constraints:      28764
1816.38/1822.33	c #Conflicts:     500000 | #Constraints:      29764
1816.38/1822.33	c #Conflicts:     501000 | #Constraints:      30764
1816.38/1822.33	c #Conflicts:     502000 | #Constraints:      31764
1816.38/1822.33	c INPROCESSING
1816.38/1822.33	c GARBAGE COLLECT
1816.38/1822.33	c #Conflicts:     503000 | #Constraints:      18767
1816.38/1822.33	c #Conflicts:     504000 | #Constraints:      19767
1816.38/1822.33	c #Conflicts:     505000 | #Constraints:      20767
1816.38/1822.33	c #Conflicts:     506000 | #Constraints:      21767
1816.38/1822.33	c #Conflicts:     507000 | #Constraints:      22767
1816.38/1822.33	c #Conflicts:     508000 | #Constraints:      23767
1816.38/1822.33	c #Conflicts:     509000 | #Constraints:      24767
1816.38/1822.33	c #Conflicts:     510000 | #Constraints:      25767
1816.38/1822.33	c #Conflicts:     511000 | #Constraints:      26767
1816.38/1822.33	c #Conflicts:     512000 | #Constraints:      27767
1816.38/1822.33	c #Conflicts:     513000 | #Constraints:      28767
1816.38/1822.33	c #Conflicts:     514000 | #Constraints:      29767
1816.38/1822.33	c #Conflicts:     515000 | #Constraints:      30767
1816.38/1822.33	c #Conflicts:     516000 | #Constraints:      31767
2079.56/2086.36	c INPROCESSING
2079.56/2086.36	c GARBAGE COLLECT
2079.56/2086.36	c #Conflicts:     517000 | #Constraints:      18559
2079.56/2086.36	c #Conflicts:     518000 | #Constraints:      19559
2079.56/2086.36	c #Conflicts:     519000 | #Constraints:      20559
2079.56/2086.36	c #Conflicts:     520000 | #Constraints:      21559
2079.56/2086.36	c #Conflicts:     521000 | #Constraints:      22559
2079.56/2086.36	c #Conflicts:     522000 | #Constraints:      23559
2079.56/2086.36	c #Conflicts:     523000 | #Constraints:      24559
2079.56/2086.36	c #Conflicts:     524000 | #Constraints:      25559
2079.56/2086.36	c #Conflicts:     525000 | #Constraints:      26559
2079.56/2086.36	c #Conflicts:     526000 | #Constraints:      27559
2079.56/2086.36	c #Conflicts:     527000 | #Constraints:      28559
2079.56/2086.36	c #Conflicts:     528000 | #Constraints:      29559
2079.56/2086.36	c #Conflicts:     529000 | #Constraints:      30559
2079.56/2086.36	c #Conflicts:     530000 | #Constraints:      31559
2079.56/2086.36	c #Conflicts:     531000 | #Constraints:      32559
2079.56/2086.36	c INPROCESSING
2079.56/2086.36	c GARBAGE COLLECT
2079.56/2086.36	c #Conflicts:     532000 | #Constraints:      19157
2079.56/2086.36	c #Conflicts:     533000 | #Constraints:      20157
2079.56/2086.36	c #Conflicts:     534000 | #Constraints:      21157
2079.56/2086.36	c #Conflicts:     535000 | #Constraints:      22157
2079.56/2086.36	c #Conflicts:     536000 | #Constraints:      23157
2079.56/2086.36	c #Conflicts:     537000 | #Constraints:      24157
2079.56/2086.36	c #Conflicts:     538000 | #Constraints:      25157
2079.56/2086.36	c #Conflicts:     539000 | #Constraints:      26157
2079.56/2086.36	c #Conflicts:     540000 | #Constraints:      27157
2079.56/2086.36	c #Conflicts:     541000 | #Constraints:      28157
2079.56/2086.36	c #Conflicts:     542000 | #Constraints:      29157
2079.56/2086.36	c #Conflicts:     543000 | #Constraints:      30157
2079.56/2086.36	c #Conflicts:     544000 | #Constraints:      31157
2079.56/2086.36	c #Conflicts:     545000 | #Constraints:      32157
2079.56/2086.36	c #Conflicts:     546000 | #Constraints:      33157
2079.56/2086.36	c INPROCESSING
2079.56/2086.36	c GARBAGE COLLECT
2079.56/2086.36	c #Conflicts:     547000 | #Constraints:      19557
2079.56/2086.36	c #Conflicts:     548000 | #Constraints:      20557
2079.56/2086.36	c #Conflicts:     549000 | #Constraints:      21557
2079.56/2086.36	c #Conflicts:     550000 | #Constraints:      22557
2079.56/2086.36	c #Conflicts:     551000 | #Constraints:      23557
2079.56/2086.36	c #Conflicts:     552000 | #Constraints:      24557
2079.56/2086.36	c #Conflicts:     553000 | #Constraints:      25557
2079.56/2086.36	c #Conflicts:     554000 | #Constraints:      26557
2079.56/2086.36	c #Conflicts:     555000 | #Constraints:      27557
2079.56/2086.36	c #Conflicts:     556000 | #Constraints:      28557
2079.56/2086.36	c #Conflicts:     557000 | #Constraints:      29557
2079.56/2086.36	c #Conflicts:     558000 | #Constraints:      30557
2079.56/2086.36	c #Conflicts:     559000 | #Constraints:      31557
2079.56/2086.36	c #Conflicts:     560000 | #Constraints:      32557
2079.56/2086.36	c #Conflicts:     561000 | #Constraints:      33557
2079.56/2086.36	c INPROCESSING
2079.56/2086.36	c GARBAGE COLLECT
2079.56/2086.36	c #Conflicts:     562000 | #Constraints:      19745
2079.56/2086.36	c #Conflicts:     563000 | #Constraints:      20745
2079.56/2086.36	c #Conflicts:     564000 | #Constraints:      21745
2079.56/2086.36	c #Conflicts:     565000 | #Constraints:      22745
2079.56/2086.36	c #Conflicts:     566000 | #Constraints:      23745
2079.56/2086.36	c #Conflicts:     567000 | #Constraints:      24745
2079.56/2086.36	c #Conflicts:     568000 | #Constraints:      25745
2079.56/2086.36	c #Conflicts:     569000 | #Constraints:      26745
2079.56/2086.36	c #Conflicts:     570000 | #Constraints:      27745
2079.56/2086.36	c #Conflicts:     571000 | #Constraints:      28745
2079.56/2086.36	c #Conflicts:     572000 | #Constraints:      29745
2079.56/2086.36	c #Conflicts:     573000 | #Constraints:      30745
2079.56/2086.36	c #Conflicts:     574000 | #Constraints:      31745
2079.56/2086.36	c #Conflicts:     575000 | #Constraints:      32745
2079.56/2086.36	c #Conflicts:     576000 | #Constraints:      33745
2079.56/2086.36	c INPROCESSING
2079.56/2086.36	c GARBAGE COLLECT
2079.56/2086.36	c #Conflicts:     577000 | #Constraints:      19753
2079.56/2086.36	c #Conflicts:     578000 | #Constraints:      20753
2079.56/2086.36	c #Conflicts:     579000 | #Constraints:      21753
2079.56/2086.36	c #Conflicts:     580000 | #Constraints:      22753
2079.56/2086.36	c #Conflicts:     581000 | #Constraints:      23753
2079.56/2086.36	c #Conflicts:     582000 | #Constraints:      24753
2079.56/2086.36	c #Conflicts:     583000 | #Constraints:      25753
2079.56/2086.36	c #Conflicts:     584000 | #Constraints:      26753
2079.56/2086.36	c #Conflicts:     585000 | #Constraints:      27753
2079.56/2086.36	c #Conflicts:     586000 | #Constraints:      28753
2079.56/2086.36	c #Conflicts:     587000 | #Constraints:      29753
2079.56/2086.36	c #Conflicts:     588000 | #Constraints:      30753
2079.56/2086.36	c #Conflicts:     589000 | #Constraints:      31753
2079.56/2086.36	c #Conflicts:     590000 | #Constraints:      32753
2079.56/2086.36	c #Conflicts:     591000 | #Constraints:      33753
2355.61/2363.25	c INPROCESSING
2355.61/2363.25	c GARBAGE COLLECT
2355.61/2363.25	c #Conflicts:     592000 | #Constraints:      19554
2355.61/2363.25	c #Conflicts:     593000 | #Constraints:      20554
2355.61/2363.25	c #Conflicts:     594000 | #Constraints:      21554
2355.61/2363.25	c #Conflicts:     595000 | #Constraints:      22554
2355.61/2363.25	c #Conflicts:     596000 | #Constraints:      23554
2355.61/2363.25	c #Conflicts:     597000 | #Constraints:      24554
2355.61/2363.25	c #Conflicts:     598000 | #Constraints:      25554
2355.61/2363.25	c #Conflicts:     599000 | #Constraints:      26554
2355.61/2363.25	c #Conflicts:     600000 | #Constraints:      27554
2355.61/2363.25	c #Conflicts:     601000 | #Constraints:      28554
2355.61/2363.25	c #Conflicts:     602000 | #Constraints:      29554
2355.61/2363.25	c #Conflicts:     603000 | #Constraints:      30554
2355.61/2363.25	c #Conflicts:     604000 | #Constraints:      31554
2355.61/2363.25	c #Conflicts:     605000 | #Constraints:      32554
2355.61/2363.25	c #Conflicts:     606000 | #Constraints:      33554
2355.61/2363.25	c #Conflicts:     607000 | #Constraints:      34554
2355.61/2363.25	c INPROCESSING
2355.61/2363.25	c GARBAGE COLLECT
2355.61/2363.25	c #Conflicts:     608000 | #Constraints:      20161
2355.61/2363.25	c #Conflicts:     609000 | #Constraints:      21161
2355.61/2363.25	c #Conflicts:     610000 | #Constraints:      22161
2355.61/2363.25	c #Conflicts:     611000 | #Constraints:      23161
2355.61/2363.25	c #Conflicts:     612000 | #Constraints:      24161
2355.61/2363.25	c #Conflicts:     613000 | #Constraints:      25161
2355.61/2363.25	c #Conflicts:     614000 | #Constraints:      26161
2355.61/2363.25	c #Conflicts:     615000 | #Constraints:      27161
2355.61/2363.25	c #Conflicts:     616000 | #Constraints:      28161
2355.61/2363.25	c #Conflicts:     617000 | #Constraints:      29161
2355.61/2363.25	c #Conflicts:     618000 | #Constraints:      30161
2355.61/2363.25	c #Conflicts:     619000 | #Constraints:      31161
2355.61/2363.25	c #Conflicts:     620000 | #Constraints:      32161
2355.61/2363.25	c #Conflicts:     621000 | #Constraints:      33161
2355.61/2363.25	c #Conflicts:     622000 | #Constraints:      34161
2355.61/2363.25	c #Conflicts:     623000 | #Constraints:      35161
2355.61/2363.25	c INPROCESSING
2355.61/2363.25	c GARBAGE COLLECT
2355.61/2363.25	c #Conflicts:     624000 | #Constraints:      20555
2355.61/2363.25	c #Conflicts:     625000 | #Constraints:      21555
2355.61/2363.25	c #Conflicts:     626000 | #Constraints:      22555
2355.61/2363.25	c #Conflicts:     627000 | #Constraints:      23555
2355.61/2363.25	c #Conflicts:     628000 | #Constraints:      24555
2355.61/2363.25	c #Conflicts:     629000 | #Constraints:      25555
2355.61/2363.25	c #Conflicts:     630000 | #Constraints:      26555
2355.61/2363.25	c #Conflicts:     631000 | #Constraints:      27555
2355.61/2363.25	c #Conflicts:     632000 | #Constraints:      28555
2355.61/2363.25	c #Conflicts:     633000 | #Constraints:      29555
2355.61/2363.25	c #Conflicts:     634000 | #Constraints:      30555
2355.61/2363.25	c #Conflicts:     635000 | #Constraints:      31555
2355.61/2363.25	c #Conflicts:     636000 | #Constraints:      32555
2355.61/2363.25	c #Conflicts:     637000 | #Constraints:      33555
2355.61/2363.25	c #Conflicts:     638000 | #Constraints:      34555
2355.61/2363.25	c #Conflicts:     639000 | #Constraints:      35555
2355.61/2363.25	c INPROCESSING
2355.61/2363.25	c GARBAGE COLLECT
2355.61/2363.25	c #Conflicts:     640000 | #Constraints:      20754
2355.61/2363.25	c #Conflicts:     641000 | #Constraints:      21754
2355.61/2363.25	c #Conflicts:     642000 | #Constraints:      22754
2355.61/2363.25	c #Conflicts:     643000 | #Constraints:      23754
2355.61/2363.25	c #Conflicts:     644000 | #Constraints:      24754
2355.61/2363.25	c #Conflicts:     645000 | #Constraints:      25754
2355.61/2363.25	c #Conflicts:     646000 | #Constraints:      26754
2355.61/2363.25	c #Conflicts:     647000 | #Constraints:      27754
2355.61/2363.25	c #Conflicts:     648000 | #Constraints:      28754
2355.61/2363.25	c #Conflicts:     649000 | #Constraints:      29754
2355.61/2363.25	c #Conflicts:     650000 | #Constraints:      30754
2355.61/2363.25	c #Conflicts:     651000 | #Constraints:      31754
2355.61/2363.25	c #Conflicts:     652000 | #Constraints:      32754
2355.61/2363.25	c #Conflicts:     653000 | #Constraints:      33754
2355.61/2363.25	c #Conflicts:     654000 | #Constraints:      34754
2355.61/2363.25	c #Conflicts:     655000 | #Constraints:      35754
2355.61/2363.25	c INPROCESSING
2355.61/2363.25	c GARBAGE COLLECT
2355.61/2363.25	c #Conflicts:     656000 | #Constraints:      20756
2355.61/2363.25	c #Conflicts:     657000 | #Constraints:      21756
2355.61/2363.25	c #Conflicts:     658000 | #Constraints:      22756
2355.61/2363.25	c #Conflicts:     659000 | #Constraints:      23756
2355.61/2363.25	c #Conflicts:     660000 | #Constraints:      24756
2355.61/2363.25	c #Conflicts:     661000 | #Constraints:      25756
2355.61/2363.25	c #Conflicts:     662000 | #Constraints:      26756
2355.61/2363.25	c #Conflicts:     663000 | #Constraints:      27756
2355.61/2363.25	c #Conflicts:     664000 | #Constraints:      28756
2355.61/2363.25	c #Conflicts:     665000 | #Constraints:      29756
2355.61/2363.25	c #Conflicts:     666000 | #Constraints:      30756
2355.61/2363.25	c #Conflicts:     667000 | #Constraints:      31756
2640.53/2649.10	c #Conflicts:     668000 | #Constraints:      32756
2640.53/2649.10	c #Conflicts:     669000 | #Constraints:      33756
2640.53/2649.10	c #Conflicts:     670000 | #Constraints:      34756
2640.53/2649.10	c #Conflicts:     671000 | #Constraints:      35756
2640.53/2649.10	c INPROCESSING
2640.53/2649.10	c GARBAGE COLLECT
2640.53/2649.10	c #Conflicts:     672000 | #Constraints:      20550
2640.53/2649.10	c #Conflicts:     673000 | #Constraints:      21550
2640.53/2649.10	c #Conflicts:     674000 | #Constraints:      22550
2640.53/2649.10	c #Conflicts:     675000 | #Constraints:      23550
2640.53/2649.10	c #Conflicts:     676000 | #Constraints:      24550
2640.53/2649.10	c #Conflicts:     677000 | #Constraints:      25550
2640.53/2649.10	c #Conflicts:     678000 | #Constraints:      26550
2640.53/2649.10	c #Conflicts:     679000 | #Constraints:      27550
2640.53/2649.10	c #Conflicts:     680000 | #Constraints:      28550
2640.53/2649.10	c #Conflicts:     681000 | #Constraints:      29550
2640.53/2649.10	c #Conflicts:     682000 | #Constraints:      30550
2640.53/2649.10	c #Conflicts:     683000 | #Constraints:      31550
2640.53/2649.10	c #Conflicts:     684000 | #Constraints:      32550
2640.53/2649.10	c #Conflicts:     685000 | #Constraints:      33550
2640.53/2649.10	c #Conflicts:     686000 | #Constraints:      34550
2640.53/2649.11	c #Conflicts:     687000 | #Constraints:      35550
2640.53/2649.11	c #Conflicts:     688000 | #Constraints:      36550
2640.53/2649.11	c INPROCESSING
2640.53/2649.11	c GARBAGE COLLECT
2640.53/2649.11	c #Conflicts:     689000 | #Constraints:      21151
2640.53/2649.11	c #Conflicts:     690000 | #Constraints:      22151
2640.53/2649.11	c #Conflicts:     691000 | #Constraints:      23151
2640.53/2649.11	c #Conflicts:     692000 | #Constraints:      24151
2640.53/2649.11	c #Conflicts:     693000 | #Constraints:      25151
2640.53/2649.11	c #Conflicts:     694000 | #Constraints:      26151
2640.53/2649.11	c #Conflicts:     695000 | #Constraints:      27151
2640.53/2649.11	c #Conflicts:     696000 | #Constraints:      28151
2640.53/2649.11	c #Conflicts:     697000 | #Constraints:      29151
2640.53/2649.11	c #Conflicts:     698000 | #Constraints:      30151
2640.53/2649.11	c #Conflicts:     699000 | #Constraints:      31151
2640.53/2649.11	c #Conflicts:     700000 | #Constraints:      32151
2640.53/2649.11	c #Conflicts:     701000 | #Constraints:      33151
2640.53/2649.11	c #Conflicts:     702000 | #Constraints:      34151
2640.53/2649.11	c #Conflicts:     703000 | #Constraints:      35151
2640.53/2649.11	c #Conflicts:     704000 | #Constraints:      36151
2640.53/2649.11	c #Conflicts:     705000 | #Constraints:      37151
2640.53/2649.11	c INPROCESSING
2640.53/2649.11	c GARBAGE COLLECT
2640.53/2649.11	c #Conflicts:     706000 | #Constraints:      21560
2640.53/2649.11	c #Conflicts:     707000 | #Constraints:      22560
2640.53/2649.11	c #Conflicts:     708000 | #Constraints:      23560
2640.53/2649.11	c #Conflicts:     709000 | #Constraints:      24560
2640.53/2649.11	c #Conflicts:     710000 | #Constraints:      25560
2640.53/2649.11	c #Conflicts:     711000 | #Constraints:      26560
2640.53/2649.11	c #Conflicts:     712000 | #Constraints:      27560
2640.53/2649.11	c #Conflicts:     713000 | #Constraints:      28560
2640.53/2649.11	c #Conflicts:     714000 | #Constraints:      29560
2640.53/2649.11	c #Conflicts:     715000 | #Constraints:      30560
2640.53/2649.11	c #Conflicts:     716000 | #Constraints:      31560
2640.53/2649.11	c #Conflicts:     717000 | #Constraints:      32560
2640.53/2649.11	c #Conflicts:     718000 | #Constraints:      33560
2640.53/2649.11	c #Conflicts:     719000 | #Constraints:      34560
2640.53/2649.11	c #Conflicts:     720000 | #Constraints:      35560
2640.53/2649.11	c #Conflicts:     721000 | #Constraints:      36560
2640.53/2649.11	c #Conflicts:     722000 | #Constraints:      37560
2640.53/2649.11	c INPROCESSING
2640.53/2649.11	c GARBAGE COLLECT
2640.53/2649.11	c #Conflicts:     723000 | #Constraints:      21755
2640.53/2649.11	c #Conflicts:     724000 | #Constraints:      22755
2640.53/2649.11	c #Conflicts:     725000 | #Constraints:      23755
2640.53/2649.11	c #Conflicts:     726000 | #Constraints:      24755
2640.53/2649.11	c #Conflicts:     727000 | #Constraints:      25755
2640.53/2649.11	c #Conflicts:     728000 | #Constraints:      26755
2640.53/2649.11	c #Conflicts:     729000 | #Constraints:      27755
2640.53/2649.11	c #Conflicts:     730000 | #Constraints:      28755
2640.53/2649.11	c #Conflicts:     731000 | #Constraints:      29755
2640.53/2649.11	c #Conflicts:     732000 | #Constraints:      30755
2640.53/2649.11	c #Conflicts:     733000 | #Constraints:      31755
2640.53/2649.11	c #Conflicts:     734000 | #Constraints:      32755
2640.53/2649.11	c #Conflicts:     735000 | #Constraints:      33755
2640.53/2649.11	c #Conflicts:     736000 | #Constraints:      34755
2640.53/2649.11	c #Conflicts:     737000 | #Constraints:      35755
2640.53/2649.11	c #Conflicts:     738000 | #Constraints:      36755
2640.53/2649.11	c #Conflicts:     739000 | #Constraints:      37755
2640.53/2649.11	c INPROCESSING
2640.53/2649.11	c GARBAGE COLLECT
2640.53/2649.11	c #Conflicts:     740000 | #Constraints:      21753
2640.53/2649.11	c #Conflicts:     741000 | #Constraints:      22753
2640.53/2649.11	c #Conflicts:     742000 | #Constraints:      23753
2640.53/2649.11	c #Conflicts:     743000 | #Constraints:      24753
2921.94/2931.32	c #Conflicts:     744000 | #Constraints:      25753
2921.94/2931.32	c #Conflicts:     745000 | #Constraints:      26753
2921.94/2931.32	c #Conflicts:     746000 | #Constraints:      27753
2921.94/2931.32	c #Conflicts:     747000 | #Constraints:      28753
2921.94/2931.32	c #Conflicts:     748000 | #Constraints:      29753
2921.94/2931.32	c #Conflicts:     749000 | #Constraints:      30753
2921.94/2931.32	c #Conflicts:     750000 | #Constraints:      31753
2921.94/2931.32	c #Conflicts:     751000 | #Constraints:      32753
2921.94/2931.32	c #Conflicts:     752000 | #Constraints:      33753
2921.94/2931.32	c #Conflicts:     753000 | #Constraints:      34753
2921.94/2931.32	c #Conflicts:     754000 | #Constraints:      35753
2921.94/2931.32	c #Conflicts:     755000 | #Constraints:      36753
2921.94/2931.32	c #Conflicts:     756000 | #Constraints:      37753
2921.94/2931.32	c INPROCESSING
2921.94/2931.32	c GARBAGE COLLECT
2921.94/2931.32	c #Conflicts:     757000 | #Constraints:      21552
2921.94/2931.32	c #Conflicts:     758000 | #Constraints:      22552
2921.94/2931.32	c #Conflicts:     759000 | #Constraints:      23552
2921.94/2931.32	c #Conflicts:     760000 | #Constraints:      24552
2921.94/2931.32	c #Conflicts:     761000 | #Constraints:      25552
2921.94/2931.32	c #Conflicts:     762000 | #Constraints:      26552
2921.94/2931.32	c #Conflicts:     763000 | #Constraints:      27552
2921.94/2931.32	c #Conflicts:     764000 | #Constraints:      28552
2921.94/2931.32	c #Conflicts:     765000 | #Constraints:      29552
2921.94/2931.32	c #Conflicts:     766000 | #Constraints:      30552
2921.94/2931.32	c #Conflicts:     767000 | #Constraints:      31552
2921.94/2931.32	c #Conflicts:     768000 | #Constraints:      32552
2921.94/2931.32	c #Conflicts:     769000 | #Constraints:      33552
2921.94/2931.32	c #Conflicts:     770000 | #Constraints:      34552
2921.94/2931.32	c #Conflicts:     771000 | #Constraints:      35552
2921.94/2931.32	c #Conflicts:     772000 | #Constraints:      36552
2921.94/2931.32	c #Conflicts:     773000 | #Constraints:      37552
2921.94/2931.32	c #Conflicts:     774000 | #Constraints:      38552
2921.94/2931.32	c INPROCESSING
2921.94/2931.32	c GARBAGE COLLECT
2921.94/2931.32	c #Conflicts:     775000 | #Constraints:      22151
2921.94/2931.32	c #Conflicts:     776000 | #Constraints:      23151
2921.94/2931.32	c #Conflicts:     777000 | #Constraints:      24151
2921.94/2931.32	c #Conflicts:     778000 | #Constraints:      25151
2921.94/2931.32	c #Conflicts:     779000 | #Constraints:      26151
2921.94/2931.32	c #Conflicts:     780000 | #Constraints:      27151
2921.94/2931.32	c #Conflicts:     781000 | #Constraints:      28151
2921.94/2931.32	c #Conflicts:     782000 | #Constraints:      29151
2921.94/2931.32	c #Conflicts:     783000 | #Constraints:      30151
2921.94/2931.32	c #Conflicts:     784000 | #Constraints:      31151
2921.94/2931.32	c #Conflicts:     785000 | #Constraints:      32151
2921.94/2931.32	c #Conflicts:     786000 | #Constraints:      33151
2921.94/2931.32	c #Conflicts:     787000 | #Constraints:      34151
2921.94/2931.32	c #Conflicts:     788000 | #Constraints:      35151
2921.94/2931.32	c #Conflicts:     789000 | #Constraints:      36151
2921.94/2931.32	c #Conflicts:     790000 | #Constraints:      37151
2921.94/2931.32	c #Conflicts:     791000 | #Constraints:      38151
2921.94/2931.32	c #Conflicts:     792000 | #Constraints:      39151
2921.94/2931.32	c INPROCESSING
2921.94/2931.32	c GARBAGE COLLECT
2921.94/2931.32	c #Conflicts:     793000 | #Constraints:      22544
2921.94/2931.32	c #Conflicts:     794000 | #Constraints:      23544
2921.94/2931.32	c #Conflicts:     795000 | #Constraints:      24544
2921.94/2931.32	c #Conflicts:     796000 | #Constraints:      25544
2921.94/2931.32	c #Conflicts:     797000 | #Constraints:      26544
2921.94/2931.32	c #Conflicts:     798000 | #Constraints:      27544
2921.94/2931.32	c #Conflicts:     799000 | #Constraints:      28544
2921.94/2931.32	c #Conflicts:     800000 | #Constraints:      29544
2921.94/2931.32	c #Conflicts:     801000 | #Constraints:      30544
2921.94/2931.32	c #Conflicts:     802000 | #Constraints:      31544
2921.94/2931.32	c #Conflicts:     803000 | #Constraints:      32544
2921.94/2931.32	c #Conflicts:     804000 | #Constraints:      33544
2921.94/2931.32	c #Conflicts:     805000 | #Constraints:      34544
2921.94/2931.32	c #Conflicts:     806000 | #Constraints:      35544
2921.94/2931.32	c #Conflicts:     807000 | #Constraints:      36544
2921.94/2931.32	c #Conflicts:     808000 | #Constraints:      37544
2921.94/2931.32	c #Conflicts:     809000 | #Constraints:      38544
2921.94/2931.32	c #Conflicts:     810000 | #Constraints:      39544
2921.94/2931.32	c INPROCESSING
2921.94/2931.32	c GARBAGE COLLECT
2921.94/2931.32	c #Conflicts:     811000 | #Constraints:      22748
2921.94/2931.32	c #Conflicts:     812000 | #Constraints:      23748
2921.94/2931.32	c #Conflicts:     813000 | #Constraints:      24748
2921.94/2931.32	c #Conflicts:     814000 | #Constraints:      25748
2921.94/2931.32	c #Conflicts:     815000 | #Constraints:      26748
2921.94/2931.32	c #Conflicts:     816000 | #Constraints:      27748
2921.94/2931.32	c #Conflicts:     817000 | #Constraints:      28748
2921.94/2931.32	c #Conflicts:     818000 | #Constraints:      29748
2921.94/2931.32	c #Conflicts:     819000 | #Constraints:      30748
3273.46/3283.96	c #Conflicts:     820000 | #Constraints:      31748
3273.46/3283.96	c #Conflicts:     821000 | #Constraints:      32748
3273.46/3283.96	c #Conflicts:     822000 | #Constraints:      33748
3273.46/3283.96	c #Conflicts:     823000 | #Constraints:      34748
3273.46/3283.96	c #Conflicts:     824000 | #Constraints:      35748
3273.46/3283.96	c #Conflicts:     825000 | #Constraints:      36748
3273.46/3283.96	c #Conflicts:     826000 | #Constraints:      37748
3273.46/3283.96	c #Conflicts:     827000 | #Constraints:      38748
3273.46/3283.96	c #Conflicts:     828000 | #Constraints:      39748
3273.46/3283.96	c INPROCESSING
3273.46/3283.96	c GARBAGE COLLECT
3273.46/3283.96	c #Conflicts:     829000 | #Constraints:      22753
3273.46/3283.96	c #Conflicts:     830000 | #Constraints:      23753
3273.46/3283.96	c #Conflicts:     831000 | #Constraints:      24753
3273.46/3283.96	c #Conflicts:     832000 | #Constraints:      25753
3273.46/3283.96	c #Conflicts:     833000 | #Constraints:      26753
3273.46/3283.96	c #Conflicts:     834000 | #Constraints:      27753
3273.46/3283.96	c #Conflicts:     835000 | #Constraints:      28753
3273.46/3283.96	c #Conflicts:     836000 | #Constraints:      29753
3273.46/3283.96	c #Conflicts:     837000 | #Constraints:      30753
3273.46/3283.96	c #Conflicts:     838000 | #Constraints:      31753
3273.46/3283.96	c #Conflicts:     839000 | #Constraints:      32753
3273.46/3283.96	c #Conflicts:     840000 | #Constraints:      33753
3273.46/3283.96	c #Conflicts:     841000 | #Constraints:      34753
3273.46/3283.96	c #Conflicts:     842000 | #Constraints:      35753
3273.46/3283.96	c #Conflicts:     843000 | #Constraints:      36753
3273.46/3283.96	c #Conflicts:     844000 | #Constraints:      37753
3273.46/3283.96	c #Conflicts:     845000 | #Constraints:      38753
3273.46/3283.96	c #Conflicts:     846000 | #Constraints:      39753
3273.46/3283.96	c INPROCESSING
3273.46/3283.96	c GARBAGE COLLECT
3273.46/3283.96	c #Conflicts:     847000 | #Constraints:      22551
3273.46/3283.96	c #Conflicts:     848000 | #Constraints:      23551
3273.46/3283.96	c #Conflicts:     849000 | #Constraints:      24551
3273.46/3283.96	c #Conflicts:     850000 | #Constraints:      25551
3273.46/3283.96	c #Conflicts:     851000 | #Constraints:      26551
3273.46/3283.96	c #Conflicts:     852000 | #Constraints:      27551
3273.46/3283.96	c #Conflicts:     853000 | #Constraints:      28551
3273.46/3283.96	c #Conflicts:     854000 | #Constraints:      29551
3273.46/3283.96	c #Conflicts:     855000 | #Constraints:      30551
3273.46/3283.96	c #Conflicts:     856000 | #Constraints:      31551
3273.46/3283.96	c #Conflicts:     857000 | #Constraints:      32551
3273.46/3283.96	c #Conflicts:     858000 | #Constraints:      33551
3273.46/3283.96	c #Conflicts:     859000 | #Constraints:      34551
3273.46/3283.96	c #Conflicts:     860000 | #Constraints:      35551
3273.46/3283.96	c #Conflicts:     861000 | #Constraints:      36551
3273.46/3283.96	c #Conflicts:     862000 | #Constraints:      37551
3273.46/3283.96	c #Conflicts:     863000 | #Constraints:      38551
3273.46/3283.96	c #Conflicts:     864000 | #Constraints:      39551
3273.46/3283.96	c #Conflicts:     865000 | #Constraints:      40551
3273.46/3283.96	c INPROCESSING
3273.46/3283.96	c GARBAGE COLLECT
3273.46/3283.96	c #Conflicts:     866000 | #Constraints:      23146
3273.46/3283.96	c #Conflicts:     867000 | #Constraints:      24146
3273.46/3283.96	c #Conflicts:     868000 | #Constraints:      25146
3273.46/3283.96	c #Conflicts:     869000 | #Constraints:      26146
3273.46/3283.96	c #Conflicts:     870000 | #Constraints:      27146
3273.46/3283.96	c #Conflicts:     871000 | #Constraints:      28146
3273.46/3283.96	c #Conflicts:     872000 | #Constraints:      29146
3273.46/3283.96	c #Conflicts:     873000 | #Constraints:      30146
3273.46/3283.96	c #Conflicts:     874000 | #Constraints:      31146
3273.46/3283.96	c #Conflicts:     875000 | #Constraints:      32146
3273.46/3283.96	c #Conflicts:     876000 | #Constraints:      33146
3273.46/3283.96	c #Conflicts:     877000 | #Constraints:      34146
3273.46/3283.96	c #Conflicts:     878000 | #Constraints:      35146
3273.46/3283.96	c #Conflicts:     879000 | #Constraints:      36146
3273.46/3283.96	c #Conflicts:     880000 | #Constraints:      37146
3273.46/3283.96	c #Conflicts:     881000 | #Constraints:      38146
3273.46/3283.96	c #Conflicts:     882000 | #Constraints:      39146
3273.46/3283.96	c #Conflicts:     883000 | #Constraints:      40146
3273.46/3283.96	c #Conflicts:     884000 | #Constraints:      41146
3273.46/3283.96	c INPROCESSING
3273.46/3283.96	c GARBAGE COLLECT
3273.46/3283.96	c #Conflicts:     885000 | #Constraints:      23552
3273.46/3283.96	c #Conflicts:     886000 | #Constraints:      24552
3273.46/3283.96	c #Conflicts:     887000 | #Constraints:      25552
3273.46/3283.96	c #Conflicts:     888000 | #Constraints:      26552
3273.46/3283.96	c #Conflicts:     889000 | #Constraints:      27552
3273.46/3283.96	c #Conflicts:     890000 | #Constraints:      28552
3273.46/3283.96	c #Conflicts:     891000 | #Constraints:      29552
3273.46/3283.96	c #Conflicts:     892000 | #Constraints:      30552
3273.46/3283.96	c #Conflicts:     893000 | #Constraints:      31552
3273.46/3283.96	c #Conflicts:     894000 | #Constraints:      32552
3273.46/3283.96	c #Conflicts:     895000 | #Constraints:      33552
3600.01/3611.50	c #Conflicts:     896000 | #Constraints:      34552
3600.01/3611.50	c #Conflicts:     897000 | #Constraints:      35552
3600.01/3611.50	c #Conflicts:     898000 | #Constraints:      36552
3600.01/3611.50	c #Conflicts:     899000 | #Constraints:      37552
3600.01/3611.50	c #Conflicts:     900000 | #Constraints:      38552
3600.01/3611.50	c #Conflicts:     901000 | #Constraints:      39552
3600.01/3611.50	c #Conflicts:     902000 | #Constraints:      40552
3600.01/3611.50	c #Conflicts:     903000 | #Constraints:      41552
3600.01/3611.50	c INPROCESSING
3600.01/3611.50	c GARBAGE COLLECT
3600.01/3611.50	c #Conflicts:     904000 | #Constraints:      23749
3600.01/3611.50	c #Conflicts:     905000 | #Constraints:      24749
3600.01/3611.50	c #Conflicts:     906000 | #Constraints:      25749
3600.01/3611.50	c #Conflicts:     907000 | #Constraints:      26749
3600.01/3611.50	c #Conflicts:     908000 | #Constraints:      27749
3600.01/3611.50	c #Conflicts:     909000 | #Constraints:      28749
3600.01/3611.50	c #Conflicts:     910000 | #Constraints:      29749
3600.01/3611.50	c #Conflicts:     911000 | #Constraints:      30749
3600.01/3611.50	c #Conflicts:     912000 | #Constraints:      31749
3600.01/3611.50	c #Conflicts:     913000 | #Constraints:      32749
3600.01/3611.50	c #Conflicts:     914000 | #Constraints:      33749
3600.01/3611.50	c #Conflicts:     915000 | #Constraints:      34749
3600.01/3611.50	c #Conflicts:     916000 | #Constraints:      35749
3600.01/3611.50	c #Conflicts:     917000 | #Constraints:      36749
3600.01/3611.50	c #Conflicts:     918000 | #Constraints:      37749
3600.01/3611.50	c #Conflicts:     919000 | #Constraints:      38749
3600.01/3611.50	c #Conflicts:     920000 | #Constraints:      39749
3600.01/3611.50	c #Conflicts:     921000 | #Constraints:      40749
3600.01/3611.50	c #Conflicts:     922000 | #Constraints:      41749
3600.01/3611.50	c INPROCESSING
3600.01/3611.50	c GARBAGE COLLECT
3600.01/3611.50	c #Conflicts:     923000 | #Constraints:      23743
3600.01/3611.50	c #Conflicts:     924000 | #Constraints:      24743
3600.01/3611.50	c #Conflicts:     925000 | #Constraints:      25743
3600.01/3611.50	c #Conflicts:     926000 | #Constraints:      26743
3600.01/3611.50	c #Conflicts:     927000 | #Constraints:      27743
3600.01/3611.50	c #Conflicts:     928000 | #Constraints:      28743
3600.01/3611.50	c #Conflicts:     929000 | #Constraints:      29743
3600.01/3611.50	c #Conflicts:     930000 | #Constraints:      30743
3600.01/3611.50	c #Conflicts:     931000 | #Constraints:      31743
3600.01/3611.50	c #Conflicts:     932000 | #Constraints:      32743
3600.01/3611.50	c #Conflicts:     933000 | #Constraints:      33743
3600.01/3611.50	c #Conflicts:     934000 | #Constraints:      34743
3600.01/3611.50	c #Conflicts:     935000 | #Constraints:      35743
3600.01/3611.50	c #Conflicts:     936000 | #Constraints:      36743
3600.01/3611.50	c #Conflicts:     937000 | #Constraints:      37743
3600.01/3611.50	c #Conflicts:     938000 | #Constraints:      38743
3600.01/3611.50	c #Conflicts:     939000 | #Constraints:      39743
3600.01/3611.50	c #Conflicts:     940000 | #Constraints:      40743
3600.01/3611.50	c #Conflicts:     941000 | #Constraints:      41743
3600.01/3611.50	c INPROCESSING
3600.01/3611.50	c GARBAGE COLLECT
3600.01/3611.50	c #Conflicts:     942000 | #Constraints:      23555
3600.01/3611.50	c #Conflicts:     943000 | #Constraints:      24555
3600.01/3611.50	c #Conflicts:     944000 | #Constraints:      25555
3600.01/3611.50	c #Conflicts:     945000 | #Constraints:      26555
3600.01/3611.50	c #Conflicts:     946000 | #Constraints:      27555
3600.01/3611.50	c #Conflicts:     947000 | #Constraints:      28555
3600.01/3611.50	c #Conflicts:     948000 | #Constraints:      29555
3600.01/3611.50	c #Conflicts:     949000 | #Constraints:      30555
3600.01/3611.50	c #Conflicts:     950000 | #Constraints:      31555
3600.01/3611.50	c #Conflicts:     951000 | #Constraints:      32555
3600.01/3611.50	c #Conflicts:     952000 | #Constraints:      33555
3600.01/3611.50	c #Conflicts:     953000 | #Constraints:      34555
3600.01/3611.50	c #Conflicts:     954000 | #Constraints:      35555
3600.01/3611.50	c #Conflicts:     955000 | #Constraints:      36555
3600.01/3611.50	c #Conflicts:     956000 | #Constraints:      37555
3600.01/3611.50	c #Conflicts:     957000 | #Constraints:      38555
3600.01/3611.50	c #Conflicts:     958000 | #Constraints:      39555
3600.01/3611.50	c #Conflicts:     959000 | #Constraints:      40555
3600.01/3611.50	c #Conflicts:     960000 | #Constraints:      41555
3600.01/3611.50	c #Conflicts:     961000 | #Constraints:      42555
3600.01/3611.50	c INPROCESSING
3600.01/3611.50	c GARBAGE COLLECT
3600.01/3611.50	c #Conflicts:     962000 | #Constraints:      24158
3600.01/3611.50	c #Conflicts:     963000 | #Constraints:      25158
3600.01/3611.50	c #Conflicts:     964000 | #Constraints:      26158
3600.01/3611.50	c #Conflicts:     965000 | #Constraints:      27158
3600.01/3611.50	c #Conflicts:     966000 | #Constraints:      28158
3600.01/3611.50	c #Conflicts:     967000 | #Constraints:      29158
3600.01/3611.50	c Program interrupted by user.
3600.01/3611.50	c cpu time 3591.36 s
3600.01/3611.50	c deterministic time 800596066554 8.01e+11
3600.01/3611.50	c optimization time 14.3715 s
3600.01/3611.50	c total solve time 3277.98 s
3600.01/3611.50	c core-guided solve time 3277.98 s
3600.01/3611.50	c propagation time 2698.8 s
3600.01/3611.50	c conflict analysis time 425.268 s
3600.01/3611.50	c propagations 128092726
3600.01/3611.50	c resolve steps 7576746
3600.01/3611.50	c decisions 4928971
3600.01/3611.50	c conflicts 967453
3600.01/3611.50	c restarts 2044
3600.01/3611.50	c inprocessing phases 89
3600.01/3611.50	c input clauses 3873
3600.01/3611.50	c input cardinalities 142
3600.01/3611.50	c input general constraints 0
3600.01/3611.50	c input average constraint length 59.60
3600.01/3611.50	c input average constraint degree 27.00
3600.01/3611.50	c learned clauses 251870
3600.01/3611.50	c learned cardinalities 20142
3600.01/3611.50	c learned general constraints 695581
3600.01/3611.50	c learned average constraint length 866.37
3600.01/3611.50	c learned average constraint degree 69043.80
3600.01/3611.50	c watched constraints 503853
3600.01/3611.50	c counting constraints 191728
3600.01/3611.50	c gcd simplifications 30189
3600.01/3611.50	c detected cardinalities 182
3600.01/3611.50	c weakened non-implied lits 113690741
3600.01/3611.50	c weakened non-implying lits 57829
3600.01/3611.50	c original variables 1959
3600.01/3611.50	c clausal propagations 55448513
3600.01/3611.50	c cardinality propagations 2173134
3600.01/3611.50	c watched propagations 20131722
3600.01/3611.50	c counting propagations 46449173
3600.01/3611.50	c watch lookups 43284769700
3600.01/3611.50	c watch backjump lookups 40002067540
3600.01/3611.50	c watch checks 651730981008
3600.01/3611.50	c propagation checks 62931782400
3600.01/3611.50	c constraint additions 2379456669
3600.01/3611.50	c trail pops 133987539
3600.01/3611.50	c formula constraints 3208
3600.01/3611.50	c learned constraints 967593
3600.01/3611.50	c bound constraints 142
3600.01/3611.50	c core-guided constraints 665
3600.01/3611.50	c encountered formula constraints 5457461
3600.01/3611.50	c encountered learned constraints 2542513
3600.01/3611.50	c encountered bound constraints 3
3600.01/3611.50	c encountered core-guided constraints 544222
3600.01/3611.50	c LP total time 0 s
3600.01/3611.50	c LP solve time 0 s
3600.01/3611.50	c LP constraints added 0
3600.01/3611.50	c LP constraints removed 0
3600.01/3611.50	c LP pivots internal 0
3600.01/3611.50	c LP pivots root 0
3600.01/3611.50	c LP calls 0
3600.01/3611.50	c LP optimalities 0
3600.01/3611.50	c LP no pivot count 0
3600.01/3611.50	c LP infeasibilities 0
3600.01/3611.50	c LP valid Farkas constraints 0
3600.01/3611.50	c LP learned Farkas constraints 0
3600.01/3611.50	c LP basis resets 0
3600.01/3611.50	c LP cycling count 0
3600.01/3611.50	c LP singular count 0
3600.01/3611.50	c LP no primal count 0
3600.01/3611.50	c LP no farkas count 0
3600.01/3611.50	c LP other issue count 0
3600.01/3611.50	c LP Gomory cuts 0
3600.01/3611.50	c LP learned cuts 0
3600.01/3611.50	c LP deleted cuts 0
3600.01/3611.50	c LP encountered Gomory constraints 0
3600.01/3611.50	c LP encountered Farkas constraints 0
3600.01/3611.50	c LP encountered learned Farkas constraints 0
3600.01/3611.50	c CG auxiliary variables introduced 665
3600.01/3611.50	c CG solutions found 0
3600.01/3611.50	c CG cores constructed 141
3600.01/3611.50	c CG core cardinality constraints returned 0
3600.01/3611.50	c CG unit cores 0
3600.01/3611.50	c CG single cores 141
3600.01/3611.50	c CG blocks removed during cardinality reduction 0
3600.01/3611.50	c CG first core best 0
3600.01/3611.50	c CG decision core best 0
3600.01/3611.50	c CG core reduction tie 0
3600.01/3611.50	c CG core degree average 1.00
3600.01/3611.50	c CG core slack average 3.22
3600.01/3611.50	c CG exhausted 0
3600.01/3611.50	c CG exhaust time 0 s
3600.01/3611.50	c CG trimmed 5
3600.01/3611.50	c CG trim time 0.000731 s
3600.01/3611.50	c CG minimized 0
3600.01/3611.50	c CG minimize time 0 s
3600.01/3611.50	c CG am1 prop time 0.002447 s
3600.01/3611.50	c CG # am1s reformulated 665
3600.01/3611.50	c CG lower bound derived from am1s 665
3600.01/3611.50	c CG # clausal cores 141
3600.01/3611.50	c CG # cardinality cores 0
3600.01/3611.50	c CG # pb cores 0
3600.01/3611.50	c CG # pb reforms 0
3600.01/3611.50	c CG # cores discarded because of pb reform 0
3600.01/3611.50	d LOWERBOUND 806
3600.01/3611.50	d NCORES 141
3600.01/3611.50	d NPBCORES 0
3600.01/3611.50	d NPBREFORM 0
3600.01/3611.50	d NTRIMMED 5
3600.01/3611.50	d NEXHAUSTED 0
3600.01/3611.50	d NAM1S 665
3600.01/3611.50	d AM1LB 665
3600.01/3611.50	c [Papilo Statistics]
3600.01/3611.50	c prepro time 0.00505175s
3600.01/3611.50	c # tsx applied 163
3600.01/3611.50	c # tsx conflicts 7
3600.01/3611.50	c # bound changes 162
3600.01/3611.50	c # side changes 0
3600.01/3611.50	c # coef changes 0
3600.01/3611.50	c # rounds 2
3600.01/3611.50	c # deted vars 333
3600.01/3611.50	c # deted constrs 792
3600.01/3611.50	c # consecutive rounds of only bound changes 0
3600.01/3611.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61817 MiB free)
  memory of node 1: 64510 MiB (63545 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435462-1721079288/watcher-4435462-1721079288 -o /tmp/evaluation-result-4435462-1721079288/solver-4435462-1721079288 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807105 --watchdog 3760 mixed-bag HOME/instance-4435462-1721079288.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=811535, runsolver pid=811532

[startup+0.100098 s]*
/proc/loadavg: 4.77 4.37 4.24 5/242 811556
/proc/meminfo: memFree=128363724/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=108560 memory=40244 CPUtime=0.1 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 6948 0 0 0 9 1 0 0 20 0 1 0 160088391 111165440 10061 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 27140 10061 4061 3002 0 10891 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108560 KiB
Current children cumulated memory: 40244 KiB

[startup+0.212444 s]*
/proc/loadavg: 4.77 4.37 4.24 5/241 811558
/proc/meminfo: memFree=128345392/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=109344 memory=41092 CPUtime=0.21 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 7117 0 0 0 20 1 0 0 20 0 1 0 160088391 111968256 10273 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 27336 10273 4077 3002 0 11087 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 109344 KiB
Current children cumulated memory: 41092 KiB

[startup+0.311888 s]*
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128333520/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=112732 memory=44300 CPUtime=0.31 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 7920 0 0 0 30 1 0 0 20 0 1 0 160088391 115437568 11075 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 28183 11075 4093 3002 0 11934 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112732 KiB
Current children cumulated memory: 44300 KiB

[startup+0.700281 s]
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128310672/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=113720 memory=44828 CPUtime=0.69 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 8083 0 0 0 68 1 0 0 20 0 1 0 160088391 116449280 11207 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 28430 11207 4093 3002 0 12181 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113720 KiB
Current children cumulated memory: 44828 KiB

[startup+1.50026 s]
/proc/loadavg: 4.77 4.37 4.24 5/247 811568
/proc/meminfo: memFree=128275784/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=114924 memory=45884 CPUtime=1.48 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 8342 0 0 0 147 1 0 0 20 0 1 0 160088391 117682176 11471 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 28731 11471 4093 3002 0 12482 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114924 KiB
Current children cumulated memory: 45884 KiB

[startup+3.11265 s]
/proc/loadavg: 4.71 4.36 4.24 5/247 811568
/proc/meminfo: memFree=128237172/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=151244 memory=80468 CPUtime=3.09 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 16966 0 0 0 307 2 0 0 20 0 1 0 160088391 154873856 20117 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 37811 20117 4093 3002 0 21562 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 151244 KiB
Current children cumulated memory: 80468 KiB

[startup+6.30026 s]
/proc/loadavg: 4.71 4.36 4.24 5/247 811568
/proc/meminfo: memFree=128137260/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=196736 memory=124956 CPUtime=6.27 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 28600 0 0 0 623 4 0 0 20 0 1 0 160088391 201457664 31239 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 49184 31239 4093 3002 0 32935 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 196736 KiB
Current children cumulated memory: 124956 KiB

[startup+12.7003 s]
/proc/loadavg: 4.67 4.37 4.25 5/247 811569
/proc/meminfo: memFree=128047204/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=225080 memory=150944 CPUtime=12.65 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 35057 0 0 0 1260 5 0 0 20 0 1 0 160088391 230481920 37736 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 56270 37736 4124 3002 0 40021 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 225080 KiB
Current children cumulated memory: 150944 KiB

[startup+25.5003 s]
/proc/loadavg: 4.64 4.37 4.25 5/247 811571
/proc/meminfo: memFree=128012668/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=229856 memory=156752 CPUtime=25.41 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 36520 0 0 0 2536 5 0 0 20 0 1 0 160088391 235372544 39188 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 57464 39188 4124 3002 0 41215 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 229856 KiB
Current children cumulated memory: 156752 KiB

[startup+51.1124 s]
/proc/loadavg: 4.42 4.34 4.24 5/243 811623
/proc/meminfo: memFree=127795716/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=283376 memory=208480 CPUtime=50.93 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 50756 0 0 0 5085 8 0 0 20 0 1 0 160088391 290177024 52120 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 70844 52120 4124 3002 0 54595 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 283376 KiB
Current children cumulated memory: 208480 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.30 4.23 5/242 811632
/proc/meminfo: memFree=127621940/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=289984 memory=215840 CPUtime=101.96 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 55646 0 0 0 10186 10 0 0 20 0 1 0 160088391 296943616 53960 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 72496 53960 4124 3002 0 56247 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 289984 KiB
Current children cumulated memory: 215840 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.26 4.22 5/242 811642
/proc/meminfo: memFree=127555564/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=299444 memory=227760 CPUtime=161.74 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 58024 0 0 0 16164 10 0 0 20 0 1 0 160088391 306630656 56940 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 74861 56940 4124 3002 0 58612 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 299444 KiB
Current children cumulated memory: 227760 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.24 4.21 5/241 811652
/proc/meminfo: memFree=127510772/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=311600 memory=240164 CPUtime=221.55 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 60575 0 0 0 22144 11 0 0 20 0 1 0 160088391 319078400 60041 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 77900 60041 4124 3002 0 61651 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 311600 KiB
Current children cumulated memory: 240164 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.19 4.20 5/242 811664
/proc/meminfo: memFree=127423028/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=328300 memory=262984 CPUtime=281.34 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 63556 0 0 0 28123 11 0 0 20 0 1 0 160088391 336179200 65746 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 82075 65746 4124 3002 0 65826 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 328300 KiB
Current children cumulated memory: 262984 KiB

[startup+342.3 s]
/proc/loadavg: 4.70 4.33 4.24 5/245 811679
/proc/meminfo: memFree=127543696/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=295180 memory=240580 CPUtime=341.15 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 66660 0 0 0 34067 48 0 0 20 0 1 0 160088391 302264320 60145 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 73795 60145 4252 3002 0 57546 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 295180 KiB
Current children cumulated memory: 240580 KiB

[startup+402.3 s]
/proc/loadavg: 4.59 4.39 4.27 5/245 811689
/proc/meminfo: memFree=127453812/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=326000 memory=254688 CPUtime=400.95 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 67171 0 0 0 40015 80 0 0 20 0 1 0 160088391 333824000 63672 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 81500 63672 4252 3002 0 65251 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 326000 KiB
Current children cumulated memory: 254688 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.33 4.26 5/245 811700
/proc/meminfo: memFree=127365832/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=376088 memory=271740 CPUtime=460.76 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 67421 0 0 0 45969 107 0 0 20 0 1 0 160088391 385114112 67935 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 94022 67935 4252 3002 0 77773 0

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

Current children cumulated memory: 441056 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.19 4.22 5/244 813239
/proc/meminfo: memFree=126299148/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=524952 memory=441260 CPUtime=2912.97 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 85124 0 0 0 290568 729 0 0 20 0 1 0 160088391 537550848 110315 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131238 110315 4252 3002 0 114989 0
Current children cumulated CPU time: 2912.97 s
Current children cumulated vsize: 524952 KiB
Current children cumulated memory: 441260 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.18 4.21 5/244 813250
/proc/meminfo: memFree=126297676/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=525904 memory=441932 CPUtime=2972.78 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 85559 0 0 0 296538 740 0 0 20 0 1 0 160088391 538525696 110483 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131476 110483 4252 3002 0 115227 0
Current children cumulated CPU time: 2972.78 s
Current children cumulated vsize: 525904 KiB
Current children cumulated memory: 441932 KiB

[startup+3042.3 s]
/proc/loadavg: 4.18 4.18 4.21 5/247 813645
/proc/meminfo: memFree=126295592/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=526232 memory=442516 CPUtime=3032.6 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 85820 0 0 0 302508 752 0 0 20 0 1 0 160088391 538861568 110629 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131558 110629 4252 3002 0 115309 0
Current children cumulated CPU time: 3032.6 s
Current children cumulated vsize: 526232 KiB
Current children cumulated memory: 442516 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.19 4.21 5/244 813656
/proc/meminfo: memFree=126292528/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=526488 memory=445556 CPUtime=3092.41 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 86075 0 0 0 308481 760 0 0 20 0 1 0 160088391 539123712 111389 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131622 111389 4252 3002 0 115373 0
Current children cumulated CPU time: 3092.41 s
Current children cumulated vsize: 526488 KiB
Current children cumulated memory: 445556 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.17 4.19 5/244 813666
/proc/meminfo: memFree=126265280/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=527000 memory=457812 CPUtime=3152.22 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 86420 0 0 0 314449 773 0 0 20 0 1 0 160088391 539648000 114453 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131750 114453 4252 3002 0 115501 0
Current children cumulated CPU time: 3152.22 s
Current children cumulated vsize: 527000 KiB
Current children cumulated memory: 457812 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/244 813844
/proc/meminfo: memFree=126263284/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=527000 memory=458064 CPUtime=3212.04 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 86625 0 0 0 320416 788 0 0 20 0 1 0 160088391 539648000 114516 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 131750 114516 4252 3002 0 115501 0
Current children cumulated CPU time: 3212.04 s
Current children cumulated vsize: 527000 KiB
Current children cumulated memory: 458064 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/244 813855
/proc/meminfo: memFree=126250036/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=528280 memory=471168 CPUtime=3271.85 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 87027 0 0 0 326384 801 0 0 20 0 1 0 160088391 540958720 117792 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 132070 117792 4252 3002 0 115821 0
Current children cumulated CPU time: 3271.85 s
Current children cumulated vsize: 528280 KiB
Current children cumulated memory: 471168 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.18 5/246 813923
/proc/meminfo: memFree=126244464/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=528792 memory=471576 CPUtime=3331.67 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 87328 0 0 0 332353 814 0 0 20 0 1 0 160088391 541483008 117894 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 132198 117894 4252 3002 0 115949 0
Current children cumulated CPU time: 3331.67 s
Current children cumulated vsize: 528792 KiB
Current children cumulated memory: 471576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/244 813933
/proc/meminfo: memFree=126236056/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=528792 memory=471576 CPUtime=3391.49 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 87555 0 0 0 338323 826 0 0 20 0 1 0 160088391 541483008 117894 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 132198 117894 4252 3002 0 115949 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 528792 KiB
Current children cumulated memory: 471576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.18 5/244 813944
/proc/meminfo: memFree=126217432/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=528792 memory=471576 CPUtime=3451.3 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 87768 0 0 0 344291 839 0 0 20 0 1 0 160088391 541483008 117894 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 132198 117894 4252 3002 0 115949 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 528792 KiB
Current children cumulated memory: 471576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.17 5/245 813955
/proc/meminfo: memFree=126197720/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=662588 memory=484588 CPUtime=3511.11 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 89149 0 0 0 350261 850 0 0 20 0 1 0 160088391 678490112 121147 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 165647 121147 4252 3002 0 149398 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 662588 KiB
Current children cumulated memory: 484588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/245 813966
/proc/meminfo: memFree=126157256/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=662588 memory=484720 CPUtime=3570.91 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 89264 0 0 0 356232 859 0 0 20 0 1 0 160088391 678490112 121180 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 165647 121180 4252 3002 0 149398 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 662588 KiB
Current children cumulated memory: 484720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.07 4.11 4.16 3/231 814033
/proc/meminfo: memFree=127445412/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=662844 memory=484976 CPUtime=3600.01 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 89444 0 0 0 359136 865 0 0 20 0 1 0 160088391 678752256 121244 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 165711 121244 4252 3002 0 149462 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 662844 KiB
Current children cumulated memory: 484976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.37 s, system=8.66347 s

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

[startup+3611.5 s]
/proc/loadavg: 4.07 4.11 4.16 3/231 814033
/proc/meminfo: memFree=127445412/131655788 swapFree=131071996/131071996
[pid=811535] ppid=811532 vsize=662844 memory=484976 CPUtime=3600.01 cores=0,2
/proc/811535/stat : 811535 (mixed-bag) R 811532 811535 807095 0 -1 4194304 89444 0 0 0 359136 865 0 0 20 0 1 0 160088391 678752256 121244 134679101440 4194304 16487941 140735229193088 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 49307648 140735229199383 140735229199460 140735229199460 140735229206475 0
/proc/811535/statm: 165711 121244 4252 3002 0 149462 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 662844 KiB
Current children cumulated memory: 484976 KiB

Child status: 0

Real time (s): 3611.51
CPU time (s): 3600.03
CPU user time (s): 3591.37
CPU system time (s): 8.66347
CPU usage (%): 99.6822
Max. virtual memory (cumulated for all children) (KiB): 662844
Max. memory (cumulated for all children) (KiB): 484976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.37
system time used= 8.66347
maximum resident set size= 484976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89522
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= 86
involuntary context switches= 24650


# summary of solver processes directly reported to runsolver:
#   pid: 811535
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3591.37
#   total CPU system time (s): 8.66347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6745 second user time and 34.1506 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-15 23:35:00
IDJOB=4435462
IDBENCH=147521
IDSOLVER=3066
FILE ID=nodeC009/4435462-1721079288
RUNJOBID= nodeC009-1721072075-807105
SLURM_JOB_ID= 7505538
Free space on /tmp= 723708 MiB

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

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

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=504525336

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128372404 kB
MemAvailable:   129859040 kB
Buffers:          379384 kB
Cached:          1935456 kB
SwapCached:            0 kB
Active:           641608 kB
Inactive:        2089308 kB
Active(anon):       1444 kB
Inactive(anon):   452352 kB
Active(file):     640164 kB
Inactive(file):  1636956 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             79364 kB
Writeback:             8 kB
AnonPages:        416212 kB
Mapped:           108332 kB
Shmem:             37700 kB
KReclaimable:      99092 kB
Slab:             196348 kB
SReclaimable:      99092 kB
SUnreclaim:        97256 kB
KernelStack:        3904 kB
PageTables:         9904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     845780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723736 MiB
End job on nodeC009 at 2024-07-16 00:35:12