Trace number 4529298

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-07-10SAT (TO)-596 3600.09 3610.81

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
MD5SUM68c73bc206439bbe0d5a467b2a25edac
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-600
Best CPU time to get the best result obtained on this benchmark87.3964
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1225
Total number of constraints78400
Number of constraints which are clauses78400
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 constraint3
Maximum length of a constraint3
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.19/0.22	c [STEP] preprocessing with Papilo
0.19/0.29	c Papilo could not simplify the problem
0.19/0.29	c [STEP] solving with SCIP
299.74/300.72	c [STEP] preprocessing done, loading into solver
299.85/300.85	c [STEP] solving
299.85/300.85	c #variables 1226 #constraints 78400
299.85/300.85	c SMALL=int, LARGE=long long
299.85/300.85	d SCIPUB -237
299.85/300.85	c bounds - >= -1000 @ 299.545
299.85/300.85	c stratification level: 0
299.85/300.87	c bounds - >= -999 @ 299.549
299.85/300.87	c bounds - >= -998 @ 299.549
299.85/300.87	c bounds - >= -997 @ 299.549
299.85/300.87	c bounds - >= -996 @ 299.549
299.85/300.87	c bounds - >= -995 @ 299.549
299.85/300.87	c bounds - >= -994 @ 299.55
299.85/300.87	c bounds - >= -993 @ 299.55
299.85/300.87	c bounds - >= -992 @ 299.55
299.85/300.87	c bounds - >= -991 @ 299.55
299.85/300.87	c bounds - >= -990 @ 299.55
299.85/300.87	c bounds - >= -989 @ 299.55
299.85/300.87	c bounds - >= -988 @ 299.55
299.85/300.87	c bounds - >= -987 @ 299.55
299.85/300.87	c bounds - >= -986 @ 299.55
299.85/300.87	c bounds - >= -985 @ 299.551
299.85/300.87	c bounds - >= -984 @ 299.551
299.85/300.87	c bounds - >= -983 @ 299.551
299.85/300.87	c bounds - >= -982 @ 299.551
299.85/300.87	c bounds - >= -981 @ 299.551
299.85/300.87	c bounds - >= -980 @ 299.551
299.85/300.87	c bounds - >= -979 @ 299.551
299.85/300.87	c bounds - >= -978 @ 299.551
299.85/300.87	c bounds - >= -977 @ 299.551
299.85/300.87	c bounds - >= -976 @ 299.552
299.85/300.87	c bounds - >= -975 @ 299.552
299.85/300.87	c bounds - >= -974 @ 299.552
299.85/300.87	c bounds - >= -973 @ 299.552
299.85/300.87	c bounds - >= -972 @ 299.552
299.85/300.87	c bounds - >= -971 @ 299.552
299.85/300.87	c bounds - >= -970 @ 299.552
299.85/300.87	c bounds - >= -969 @ 299.552
299.85/300.87	c bounds - >= -968 @ 299.552
299.85/300.87	c bounds - >= -967 @ 299.553
299.85/300.87	c bounds - >= -966 @ 299.553
299.85/300.87	c bounds - >= -965 @ 299.553
299.85/300.87	c bounds - >= -964 @ 299.553
299.85/300.87	c bounds - >= -963 @ 299.553
299.85/300.87	c bounds - >= -962 @ 299.553
299.85/300.87	c bounds - >= -961 @ 299.553
299.85/300.87	c bounds - >= -960 @ 299.553
299.85/300.87	c bounds - >= -959 @ 299.553
299.85/300.87	c bounds - >= -958 @ 299.554
299.85/300.87	c bounds - >= -957 @ 299.554
299.85/300.87	c bounds - >= -956 @ 299.554
299.85/300.87	c bounds - >= -955 @ 299.554
299.85/300.87	c bounds - >= -954 @ 299.554
299.85/300.87	c bounds - >= -953 @ 299.554
299.85/300.87	c bounds - >= -952 @ 299.554
299.85/300.87	c bounds - >= -951 @ 299.554
299.85/300.87	c bounds - >= -950 @ 299.555
299.85/300.87	c bounds - >= -949 @ 299.555
299.85/300.87	c bounds - >= -948 @ 299.555
299.85/300.87	c bounds - >= -947 @ 299.555
299.85/300.87	c bounds - >= -946 @ 299.555
299.85/300.87	c bounds - >= -945 @ 299.555
299.85/300.87	c bounds - >= -944 @ 299.555
299.85/300.87	c bounds - >= -943 @ 299.555
299.85/300.87	c bounds - >= -942 @ 299.555
299.85/300.87	c bounds - >= -941 @ 299.556
299.85/300.87	c bounds - >= -940 @ 299.556
299.85/300.87	c bounds - >= -939 @ 299.556
299.85/300.87	c bounds - >= -938 @ 299.556
299.85/300.87	c bounds - >= -937 @ 299.556
299.85/300.87	c bounds - >= -936 @ 299.556
299.85/300.87	c bounds - >= -935 @ 299.556
299.85/300.87	c bounds - >= -934 @ 299.556
299.85/300.87	c bounds - >= -933 @ 299.556
299.85/300.87	c bounds - >= -932 @ 299.557
299.85/300.87	c bounds - >= -931 @ 299.557
299.85/300.87	c bounds - >= -930 @ 299.557
299.85/300.87	c bounds - >= -929 @ 299.557
299.85/300.87	c bounds - >= -928 @ 299.557
299.85/300.87	c bounds - >= -927 @ 299.557
299.85/300.87	c bounds - >= -926 @ 299.557
299.85/300.87	c bounds - >= -925 @ 299.557
299.85/300.87	c bounds - >= -924 @ 299.558
299.85/300.87	c bounds - >= -923 @ 299.558
299.85/300.87	c bounds - >= -922 @ 299.558
299.85/300.87	c bounds - >= -921 @ 299.558
299.85/300.87	c bounds - >= -920 @ 299.558
299.85/300.87	c bounds - >= -919 @ 299.558
299.85/300.87	c bounds - >= -918 @ 299.558
299.85/300.87	c bounds - >= -917 @ 299.558
299.85/300.87	c bounds - >= -916 @ 299.558
299.85/300.87	c bounds - >= -915 @ 299.559
299.85/300.87	c bounds - >= -914 @ 299.559
299.85/300.87	c bounds - >= -913 @ 299.559
299.85/300.87	c bounds - >= -912 @ 299.559
299.85/300.87	c bounds - >= -911 @ 299.559
299.85/300.87	c bounds - >= -910 @ 299.559
299.85/300.87	c bounds - >= -909 @ 299.559
299.85/300.87	c bounds - >= -908 @ 299.559
299.85/300.87	c bounds - >= -907 @ 299.559
299.85/300.87	c bounds - >= -906 @ 299.56
299.85/300.87	c bounds - >= -905 @ 299.56
299.85/300.87	c bounds - >= -904 @ 299.56
299.85/300.87	c bounds - >= -903 @ 299.56
299.85/300.87	c bounds - >= -902 @ 299.56
299.85/300.87	c bounds - >= -901 @ 299.56
299.85/300.87	c bounds - >= -900 @ 299.56
299.85/300.87	c bounds - >= -899 @ 299.56
299.85/300.87	c bounds - >= -898 @ 299.56
299.85/300.87	c bounds - >= -897 @ 299.561
299.85/300.87	c bounds - >= -896 @ 299.561
299.85/300.87	c bounds - >= -895 @ 299.561
299.85/300.87	c bounds - >= -894 @ 299.561
299.85/300.87	c bounds - >= -893 @ 299.561
299.85/300.87	c bounds - >= -892 @ 299.561
299.85/300.87	c bounds - >= -891 @ 299.561
299.85/300.87	c bounds - >= -890 @ 299.561
299.85/300.87	c bounds - >= -889 @ 299.561
299.85/300.87	c bounds - >= -888 @ 299.562
299.85/300.87	c bounds - >= -887 @ 299.562
299.85/300.87	c bounds - >= -886 @ 299.562
299.85/300.87	c bounds - >= -885 @ 299.562
299.85/300.87	c bounds - >= -884 @ 299.562
299.85/300.87	c bounds - >= -883 @ 299.562
299.85/300.87	c bounds - >= -882 @ 299.562
299.85/300.87	c bounds - >= -881 @ 299.562
299.85/300.87	c bounds - >= -880 @ 299.562
299.85/300.87	c bounds - >= -879 @ 299.563
299.85/300.87	c bounds - >= -878 @ 299.563
299.85/300.87	c bounds - >= -877 @ 299.563
299.85/300.87	c bounds - >= -876 @ 299.563
299.85/300.87	c bounds - >= -875 @ 299.563
299.85/300.87	c bounds - >= -874 @ 299.563
299.85/300.87	c bounds - >= -873 @ 299.563
299.85/300.87	c bounds - >= -872 @ 299.563
299.85/300.87	c bounds - >= -871 @ 299.563
299.85/300.87	c bounds - >= -870 @ 299.564
299.85/300.87	c bounds - >= -869 @ 299.564
299.85/300.87	c bounds - >= -868 @ 299.564
299.85/300.87	c bounds - >= -867 @ 299.564
299.85/300.87	c bounds - >= -866 @ 299.564
299.85/300.87	c bounds - >= -865 @ 299.564
299.85/300.87	c bounds - >= -864 @ 299.564
299.85/300.87	c bounds - >= -863 @ 299.564
299.85/300.87	c bounds - >= -862 @ 299.564
299.85/300.87	c bounds - >= -861 @ 299.565
299.85/300.87	c bounds - >= -860 @ 299.565
299.85/300.87	c bounds - >= -859 @ 299.565
299.85/300.87	c bounds - >= -858 @ 299.565
299.85/300.89	c bounds - >= -857 @ 299.565
299.85/300.89	c bounds - >= -856 @ 299.565
299.85/300.89	c bounds - >= -855 @ 299.565
299.85/300.89	c bounds - >= -854 @ 299.565
299.85/300.89	c bounds - >= -853 @ 299.566
299.85/300.89	c bounds - >= -852 @ 299.566
299.85/300.89	c bounds - >= -851 @ 299.566
299.85/300.89	c bounds - >= -850 @ 299.566
299.85/300.89	c bounds - >= -849 @ 299.566
299.85/300.89	c bounds - >= -848 @ 299.566
299.85/300.89	c bounds - >= -847 @ 299.566
299.85/300.89	c bounds - >= -846 @ 299.566
299.85/300.89	c bounds - >= -845 @ 299.566
299.85/300.89	c bounds - >= -844 @ 299.567
299.85/300.89	c bounds - >= -843 @ 299.567
299.85/300.89	c bounds - >= -842 @ 299.567
299.85/300.89	c bounds - >= -841 @ 299.567
299.85/300.89	c bounds - >= -840 @ 299.567
299.85/300.89	c bounds - >= -839 @ 299.567
299.85/300.89	c bounds - >= -838 @ 299.567
299.85/300.89	c bounds - >= -837 @ 299.567
299.85/300.89	c bounds - >= -836 @ 299.567
299.85/300.89	c bounds - >= -835 @ 299.568
299.85/300.89	c bounds - >= -834 @ 299.568
299.85/300.89	c bounds - >= -833 @ 299.568
299.85/300.89	c bounds - >= -832 @ 299.568
299.85/300.89	c bounds - >= -831 @ 299.568
299.85/300.89	c bounds - >= -830 @ 299.568
299.85/300.89	c bounds - >= -829 @ 299.568
299.85/300.89	c bounds - >= -828 @ 299.568
299.85/300.89	c bounds - >= -827 @ 299.568
299.85/300.89	c bounds - >= -826 @ 299.568
299.85/300.89	c bounds - >= -825 @ 299.568
299.85/300.89	c bounds - >= -824 @ 299.568
299.85/300.89	c bounds - >= -823 @ 299.568
299.85/300.89	c bounds - >= -822 @ 299.568
299.85/300.89	c bounds - >= -821 @ 299.568
299.85/300.89	c bounds - >= -820 @ 299.568
299.85/300.89	c bounds - >= -819 @ 299.569
299.85/300.89	c bounds - >= -818 @ 299.569
299.85/300.89	c bounds - >= -817 @ 299.569
299.85/300.89	c bounds - >= -816 @ 299.569
299.85/300.89	c bounds - >= -815 @ 299.569
299.85/300.89	c bounds - >= -814 @ 299.569
299.85/300.89	c bounds - >= -813 @ 299.569
299.85/300.89	c bounds - >= -812 @ 299.569
299.85/300.89	c bounds - >= -811 @ 299.57
299.85/300.89	c bounds - >= -810 @ 299.57
299.85/300.89	c bounds - >= -809 @ 299.57
299.85/300.89	c bounds - >= -808 @ 299.57
299.85/300.89	c bounds - >= -807 @ 299.57
299.85/300.89	c bounds - >= -806 @ 299.57
299.85/300.89	c bounds - >= -805 @ 299.57
299.85/300.89	c bounds - >= -804 @ 299.57
299.85/300.89	c bounds - >= -803 @ 299.571
299.85/300.89	c bounds - >= -802 @ 299.571
299.85/300.89	c bounds - >= -801 @ 299.571
299.85/300.89	c bounds - >= -800 @ 299.571
299.85/300.89	c bounds - >= -799 @ 299.571
299.85/300.89	c bounds - >= -798 @ 299.571
299.85/300.89	c bounds - >= -797 @ 299.571
299.85/300.89	c bounds - >= -796 @ 299.571
299.85/300.89	c bounds - >= -795 @ 299.571
299.85/300.89	c bounds - >= -794 @ 299.572
299.85/300.89	c bounds - >= -793 @ 299.572
299.85/300.89	c bounds - >= -792 @ 299.572
299.85/300.89	c bounds - >= -791 @ 299.572
299.85/300.89	c bounds - >= -790 @ 299.572
299.85/300.89	c bounds - >= -789 @ 299.572
299.85/300.89	c bounds - >= -788 @ 299.572
299.85/300.89	c bounds - >= -787 @ 299.572
299.85/300.89	c bounds - >= -786 @ 299.573
299.85/300.89	c bounds - >= -785 @ 299.573
299.85/300.89	c bounds - >= -784 @ 299.573
299.85/300.89	c bounds - >= -783 @ 299.573
299.85/300.89	c bounds - >= -782 @ 299.573
299.85/300.89	c bounds - >= -781 @ 299.573
299.85/300.89	c bounds - >= -780 @ 299.573
299.85/300.89	c bounds - >= -779 @ 299.573
299.85/300.89	c bounds - >= -778 @ 299.573
299.85/300.89	c bounds - >= -777 @ 299.573
299.85/300.89	c bounds - >= -776 @ 299.573
299.85/300.89	c bounds - >= -775 @ 299.573
299.85/300.89	c bounds - >= -774 @ 299.573
299.85/300.89	c bounds - >= -773 @ 299.573
299.85/300.89	c bounds - >= -772 @ 299.573
299.85/300.89	c bounds - >= -771 @ 299.573
299.85/300.89	c bounds - >= -770 @ 299.573
299.85/300.89	c bounds - >= -769 @ 299.573
299.85/300.89	c bounds - >= -768 @ 299.573
299.85/300.89	c bounds - >= -767 @ 299.573
299.85/300.89	c bounds - >= -766 @ 299.573
299.85/300.89	c bounds - >= -765 @ 299.573
299.85/300.89	c bounds - >= -764 @ 299.573
299.85/300.89	c bounds - >= -763 @ 299.573
299.85/300.89	c bounds - >= -762 @ 299.574
299.85/300.89	c bounds - >= -761 @ 299.574
299.85/300.89	c bounds - >= -760 @ 299.574
299.85/300.89	c bounds - >= -759 @ 299.574
299.85/300.89	c bounds - >= -758 @ 299.574
299.85/300.89	c bounds - >= -757 @ 299.574
299.85/300.89	c bounds - >= -756 @ 299.574
299.85/300.89	c bounds - >= -755 @ 299.575
299.85/300.89	c bounds - >= -754 @ 299.575
299.85/300.89	c bounds - >= -753 @ 299.575
299.85/300.89	c bounds - >= -752 @ 299.575
299.85/300.89	c bounds - >= -751 @ 299.575
299.85/300.89	c bounds - >= -750 @ 299.575
299.85/300.89	c bounds - >= -749 @ 299.575
299.85/300.89	c bounds - >= -748 @ 299.576
299.85/300.89	c bounds - >= -747 @ 299.576
299.85/300.89	c bounds - >= -746 @ 299.576
299.85/300.89	c bounds - >= -745 @ 299.576
299.85/300.89	c bounds - >= -744 @ 299.576
299.85/300.89	c bounds - >= -743 @ 299.576
299.85/300.89	c bounds - >= -742 @ 299.576
299.85/300.89	c bounds - >= -741 @ 299.576
299.85/300.89	c bounds - >= -740 @ 299.576
299.85/300.89	c bounds - >= -739 @ 299.576
299.85/300.89	c bounds - >= -738 @ 299.576
299.85/300.89	c bounds - >= -737 @ 299.576
299.85/300.89	c bounds - >= -736 @ 299.577
299.85/300.89	c bounds - >= -735 @ 299.577
299.85/300.89	c bounds - >= -734 @ 299.577
299.85/300.89	c bounds - >= -733 @ 299.577
299.85/300.89	c bounds - >= -732 @ 299.577
299.85/300.89	c bounds - >= -731 @ 299.577
299.85/300.89	c bounds - >= -730 @ 299.578
299.85/300.89	c bounds - >= -729 @ 299.578
299.85/300.89	c bounds - >= -728 @ 299.578
299.85/300.89	c bounds - >= -727 @ 299.578
299.85/300.89	c bounds - >= -726 @ 299.578
299.85/300.89	c bounds - >= -725 @ 299.578
299.85/300.89	c bounds - >= -724 @ 299.578
299.85/300.89	c bounds - >= -723 @ 299.579
299.85/300.89	c bounds - >= -722 @ 299.579
299.85/300.89	c bounds - >= -721 @ 299.579
299.85/300.89	c bounds - >= -720 @ 299.579
299.85/300.89	c bounds - >= -719 @ 299.579
299.85/300.89	c bounds - >= -718 @ 299.579
299.85/300.89	c bounds - >= -717 @ 299.58
299.85/300.89	c bounds - >= -716 @ 299.58
299.94/300.90	c bounds - >= -715 @ 299.58
299.94/300.90	c bounds - >= -714 @ 299.58
299.94/300.90	c bounds - >= -713 @ 299.58
299.94/300.90	c bounds - >= -712 @ 299.58
299.94/300.90	c bounds - >= -711 @ 299.581
299.94/300.90	c bounds - >= -710 @ 299.581
299.94/300.90	c bounds - >= -709 @ 299.581
299.94/300.90	c bounds - >= -708 @ 299.581
299.94/300.90	c bounds - >= -707 @ 299.581
299.94/300.90	c bounds - >= -706 @ 299.582
299.94/300.90	c finalizing WCE round: reformulating cores
360.17/361.38	c #Conflicts:       1000 | #Constraints:      79729
360.17/361.38	c #Conflicts:       2000 | #Constraints:      80731
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:       3000 | #Constraints:      80432
360.17/361.38	c #Conflicts:       4000 | #Constraints:      81434
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:       5000 | #Constraints:      80837
360.17/361.38	c #Conflicts:       6000 | #Constraints:      81839
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:       7000 | #Constraints:      80852
360.17/361.38	c #Conflicts:       8000 | #Constraints:      81854
360.17/361.38	c #Conflicts:       9000 | #Constraints:      82856
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      10000 | #Constraints:      81556
360.17/361.38	c #Conflicts:      11000 | #Constraints:      82558
360.17/361.38	c #Conflicts:      12000 | #Constraints:      83560
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      13000 | #Constraints:      82011
360.17/361.38	c #Conflicts:      14000 | #Constraints:      83013
360.17/361.38	c #Conflicts:      15000 | #Constraints:      84015
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      16000 | #Constraints:      82245
360.17/361.38	c #Conflicts:      17000 | #Constraints:      83247
360.17/361.38	c #Conflicts:      18000 | #Constraints:      84249
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      19000 | #Constraints:      82266
360.17/361.38	c #Conflicts:      20000 | #Constraints:      83268
360.17/361.38	c #Conflicts:      21000 | #Constraints:      84270
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      22000 | #Constraints:      82077
360.17/361.38	c #Conflicts:      23000 | #Constraints:      83079
360.17/361.38	c #Conflicts:      24000 | #Constraints:      84083
360.17/361.38	c #Conflicts:      25000 | #Constraints:      85085
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      26000 | #Constraints:      82691
360.17/361.38	c #Conflicts:      27000 | #Constraints:      83693
360.17/361.38	c #Conflicts:      28000 | #Constraints:      84695
360.17/361.38	c #Conflicts:      29000 | #Constraints:      85699
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      30000 | #Constraints:      83104
360.17/361.38	c #Conflicts:      31000 | #Constraints:      84106
360.17/361.38	c #Conflicts:      32000 | #Constraints:      85108
360.17/361.38	c #Conflicts:      33000 | #Constraints:      86112
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      34000 | #Constraints:      83314
360.17/361.38	c #Conflicts:      35000 | #Constraints:      84316
360.17/361.38	c #Conflicts:      36000 | #Constraints:      85318
360.17/361.38	c #Conflicts:      37000 | #Constraints:      86322
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      38000 | #Constraints:      83327
360.17/361.38	c #Conflicts:      39000 | #Constraints:      84329
360.17/361.38	c #Conflicts:      40000 | #Constraints:      85331
360.17/361.38	c #Conflicts:      41000 | #Constraints:      86335
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      42000 | #Constraints:      83135
360.17/361.38	c #Conflicts:      43000 | #Constraints:      84137
360.17/361.38	c #Conflicts:      44000 | #Constraints:      85141
360.17/361.38	c #Conflicts:      45000 | #Constraints:      86143
360.17/361.38	c #Conflicts:      46000 | #Constraints:      87145
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      47000 | #Constraints:      83748
360.17/361.38	c #Conflicts:      48000 | #Constraints:      84750
360.17/361.38	c #Conflicts:      49000 | #Constraints:      85752
360.17/361.38	c #Conflicts:      50000 | #Constraints:      86756
360.17/361.38	c #Conflicts:      51000 | #Constraints:      87758
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      52000 | #Constraints:      84161
360.17/361.38	c #Conflicts:      53000 | #Constraints:      85163
360.17/361.38	c #Conflicts:      54000 | #Constraints:      86165
360.17/361.38	c #Conflicts:      55000 | #Constraints:      87169
360.17/361.38	c #Conflicts:      56000 | #Constraints:      88171
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      57000 | #Constraints:      84370
360.17/361.38	c #Conflicts:      58000 | #Constraints:      85372
360.17/361.38	c #Conflicts:      59000 | #Constraints:      86374
360.17/361.38	c #Conflicts:      60000 | #Constraints:      87378
360.17/361.38	c #Conflicts:      61000 | #Constraints:      88380
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      62000 | #Constraints:      84386
360.17/361.38	c #Conflicts:      63000 | #Constraints:      85388
360.17/361.38	c #Conflicts:      64000 | #Constraints:      86390
360.17/361.38	c #Conflicts:      65000 | #Constraints:      87394
360.17/361.38	c #Conflicts:      66000 | #Constraints:      88396
360.17/361.38	c INPROCESSING
360.17/361.38	c GARBAGE COLLECT
360.17/361.38	c #Conflicts:      67000 | #Constraints:      84196
360.17/361.38	c #Conflicts:      68000 | #Constraints:      85198
455.58/457.05	c #Conflicts:      69000 | #Constraints:      86202
455.58/457.05	c #Conflicts:      70000 | #Constraints:      87204
455.58/457.05	c #Conflicts:      71000 | #Constraints:      88206
455.58/457.05	c #Conflicts:      72000 | #Constraints:      89210
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:      73000 | #Constraints:      84811
455.58/457.05	c #Conflicts:      74000 | #Constraints:      85813
455.58/457.05	c #Conflicts:      75000 | #Constraints:      86815
455.58/457.05	c #Conflicts:      76000 | #Constraints:      87819
455.58/457.05	c #Conflicts:      77000 | #Constraints:      88821
455.58/457.05	c #Conflicts:      78000 | #Constraints:      89823
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:      79000 | #Constraints:      85226
455.58/457.05	c #Conflicts:      80000 | #Constraints:      86228
455.58/457.05	c #Conflicts:      81000 | #Constraints:      87230
455.58/457.05	c #Conflicts:      82000 | #Constraints:      88234
455.58/457.05	c #Conflicts:      83000 | #Constraints:      89236
455.58/457.05	c #Conflicts:      84000 | #Constraints:      90238
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:      85000 | #Constraints:      85443
455.58/457.05	c #Conflicts:      86000 | #Constraints:      86445
455.58/457.05	c #Conflicts:      87000 | #Constraints:      87447
455.58/457.05	c #Conflicts:      88000 | #Constraints:      88451
455.58/457.05	c #Conflicts:      89000 | #Constraints:      89453
455.58/457.05	c #Conflicts:      90000 | #Constraints:      90455
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:      91000 | #Constraints:      85460
455.58/457.05	c #Conflicts:      92000 | #Constraints:      86462
455.58/457.05	c #Conflicts:      93000 | #Constraints:      87464
455.58/457.05	c #Conflicts:      94000 | #Constraints:      88468
455.58/457.05	c #Conflicts:      95000 | #Constraints:      89470
455.58/457.05	c #Conflicts:      96000 | #Constraints:      90472
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:      97000 | #Constraints:      85272
455.58/457.05	c #Conflicts:      98000 | #Constraints:      86274
455.58/457.05	c #Conflicts:      99000 | #Constraints:      87278
455.58/457.05	c #Conflicts:     100000 | #Constraints:      88280
455.58/457.05	c #Conflicts:     101000 | #Constraints:      89282
455.58/457.05	c #Conflicts:     102000 | #Constraints:      90286
455.58/457.05	c #Conflicts:     103000 | #Constraints:      91288
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     104000 | #Constraints:      85893
455.58/457.05	c #Conflicts:     105000 | #Constraints:      86895
455.58/457.05	c #Conflicts:     106000 | #Constraints:      87897
455.58/457.05	c #Conflicts:     107000 | #Constraints:      88901
455.58/457.05	c #Conflicts:     108000 | #Constraints:      89903
455.58/457.05	c #Conflicts:     109000 | #Constraints:      90905
455.58/457.05	c #Conflicts:     110000 | #Constraints:      91909
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     111000 | #Constraints:      86307
455.58/457.05	c #Conflicts:     112000 | #Constraints:      87309
455.58/457.05	c #Conflicts:     113000 | #Constraints:      88311
455.58/457.05	c #Conflicts:     114000 | #Constraints:      89315
455.58/457.05	c #Conflicts:     115000 | #Constraints:      90326
455.58/457.05	c #Conflicts:     116000 | #Constraints:      91328
455.58/457.05	c #Conflicts:     117000 | #Constraints:      92330
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     118000 | #Constraints:      86531
455.58/457.05	c #Conflicts:     119000 | #Constraints:      87533
455.58/457.05	c #Conflicts:     120000 | #Constraints:      88535
455.58/457.05	c #Conflicts:     121000 | #Constraints:      89539
455.58/457.05	c #Conflicts:     122000 | #Constraints:      90541
455.58/457.05	c #Conflicts:     123000 | #Constraints:      91543
455.58/457.05	c #Conflicts:     124000 | #Constraints:      92547
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     125000 | #Constraints:      86547
455.58/457.05	c #Conflicts:     126000 | #Constraints:      87549
455.58/457.05	c #Conflicts:     127000 | #Constraints:      88551
455.58/457.05	c #Conflicts:     128000 | #Constraints:      89555
455.58/457.05	c #Conflicts:     129000 | #Constraints:      90557
455.58/457.05	c #Conflicts:     130000 | #Constraints:      91559
455.58/457.05	c #Conflicts:     131000 | #Constraints:      92563
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     132000 | #Constraints:      86363
455.58/457.05	c #Conflicts:     133000 | #Constraints:      87365
455.58/457.05	c #Conflicts:     134000 | #Constraints:      88369
455.58/457.05	c #Conflicts:     135000 | #Constraints:      89371
455.58/457.05	c #Conflicts:     136000 | #Constraints:      90373
455.58/457.05	c #Conflicts:     137000 | #Constraints:      91377
455.58/457.05	c #Conflicts:     138000 | #Constraints:      92379
455.58/457.05	c #Conflicts:     139000 | #Constraints:      93381
455.58/457.05	c INPROCESSING
455.58/457.05	c GARBAGE COLLECT
455.58/457.05	c #Conflicts:     140000 | #Constraints:      86985
562.83/564.63	c #Conflicts:     141000 | #Constraints:      87987
562.83/564.63	c #Conflicts:     142000 | #Constraints:      88989
562.83/564.63	c #Conflicts:     143000 | #Constraints:      89993
562.83/564.63	c #Conflicts:     144000 | #Constraints:      90995
562.83/564.63	c #Conflicts:     145000 | #Constraints:      91997
562.83/564.63	c #Conflicts:     146000 | #Constraints:      93001
562.83/564.63	c #Conflicts:     147000 | #Constraints:      94003
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     148000 | #Constraints:      87407
562.83/564.63	c #Conflicts:     149000 | #Constraints:      88409
562.83/564.63	c #Conflicts:     150000 | #Constraints:      89411
562.83/564.63	c #Conflicts:     151000 | #Constraints:      90415
562.83/564.63	c #Conflicts:     152000 | #Constraints:      91417
562.83/564.63	c #Conflicts:     153000 | #Constraints:      92419
562.83/564.63	c #Conflicts:     154000 | #Constraints:      93423
562.83/564.63	c #Conflicts:     155000 | #Constraints:      94425
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     156000 | #Constraints:      87629
562.83/564.63	c #Conflicts:     157000 | #Constraints:      88631
562.83/564.63	c #Conflicts:     158000 | #Constraints:      89633
562.83/564.63	c #Conflicts:     159000 | #Constraints:      90637
562.83/564.63	c #Conflicts:     160000 | #Constraints:      91639
562.83/564.63	c #Conflicts:     161000 | #Constraints:      92641
562.83/564.63	c #Conflicts:     162000 | #Constraints:      93645
562.83/564.63	c #Conflicts:     163000 | #Constraints:      94647
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     164000 | #Constraints:      87650
562.83/564.63	c #Conflicts:     165000 | #Constraints:      88652
562.83/564.63	c #Conflicts:     166000 | #Constraints:      89654
562.83/564.63	c #Conflicts:     167000 | #Constraints:      90658
562.83/564.63	c #Conflicts:     168000 | #Constraints:      91660
562.83/564.63	c #Conflicts:     169000 | #Constraints:      92662
562.83/564.63	c #Conflicts:     170000 | #Constraints:      93666
562.83/564.63	c #Conflicts:     171000 | #Constraints:      94668
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     172000 | #Constraints:      87467
562.83/564.63	c #Conflicts:     173000 | #Constraints:      88469
562.83/564.63	c #Conflicts:     174000 | #Constraints:      89473
562.83/564.63	c #Conflicts:     175000 | #Constraints:      90475
562.83/564.63	c #Conflicts:     176000 | #Constraints:      91477
562.83/564.63	c #Conflicts:     177000 | #Constraints:      92481
562.83/564.63	c #Conflicts:     178000 | #Constraints:      93483
562.83/564.63	c #Conflicts:     179000 | #Constraints:      94485
562.83/564.63	c #Conflicts:     180000 | #Constraints:      95489
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     181000 | #Constraints:      88091
562.83/564.63	c #Conflicts:     182000 | #Constraints:      89093
562.83/564.63	c #Conflicts:     183000 | #Constraints:      90095
562.83/564.63	c #Conflicts:     184000 | #Constraints:      91099
562.83/564.63	c #Conflicts:     185000 | #Constraints:      92101
562.83/564.63	c #Conflicts:     186000 | #Constraints:      93103
562.83/564.63	c #Conflicts:     187000 | #Constraints:      94107
562.83/564.63	c #Conflicts:     188000 | #Constraints:      95109
562.83/564.63	c #Conflicts:     189000 | #Constraints:      96111
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     190000 | #Constraints:      88515
562.83/564.63	c #Conflicts:     191000 | #Constraints:      89517
562.83/564.63	c #Conflicts:     192000 | #Constraints:      90519
562.83/564.63	c #Conflicts:     193000 | #Constraints:      91523
562.83/564.63	c #Conflicts:     194000 | #Constraints:      92525
562.83/564.63	c #Conflicts:     195000 | #Constraints:      93527
562.83/564.63	c #Conflicts:     196000 | #Constraints:      94531
562.83/564.63	c #Conflicts:     197000 | #Constraints:      95533
562.83/564.63	c #Conflicts:     198000 | #Constraints:      96535
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     199000 | #Constraints:      88738
562.83/564.63	c #Conflicts:     200000 | #Constraints:      89740
562.83/564.63	c #Conflicts:     201000 | #Constraints:      90742
562.83/564.63	c #Conflicts:     202000 | #Constraints:      91746
562.83/564.63	c #Conflicts:     203000 | #Constraints:      92748
562.83/564.63	c #Conflicts:     204000 | #Constraints:      93750
562.83/564.63	c #Conflicts:     205000 | #Constraints:      94754
562.83/564.63	c #Conflicts:     206000 | #Constraints:      95756
562.83/564.63	c #Conflicts:     207000 | #Constraints:      96758
562.83/564.63	c INPROCESSING
562.83/564.63	c GARBAGE COLLECT
562.83/564.63	c #Conflicts:     208000 | #Constraints:      88761
562.83/564.63	c #Conflicts:     209000 | #Constraints:      89763
562.83/564.63	c #Conflicts:     210000 | #Constraints:      90765
562.83/564.63	c #Conflicts:     211000 | #Constraints:      91769
562.83/564.63	c #Conflicts:     212000 | #Constraints:      92771
562.83/564.63	c #Conflicts:     213000 | #Constraints:      93773
590.75/592.65	c #Conflicts:     214000 | #Constraints:      94777
590.75/592.65	c #Conflicts:     215000 | #Constraints:      95779
590.75/592.65	c #Conflicts:     216000 | #Constraints:      96781
590.75/592.65	c INPROCESSING
590.75/592.65	c GARBAGE COLLECT
590.75/592.65	c #Conflicts:     217000 | #Constraints:      88585
590.75/592.65	c #Conflicts:     218000 | #Constraints:      89587
590.75/592.65	c #Conflicts:     219000 | #Constraints:      90591
590.75/592.65	c #Conflicts:     220000 | #Constraints:      91593
590.75/592.65	c #Conflicts:     221000 | #Constraints:      92595
590.75/592.65	c #Conflicts:     222000 | #Constraints:      93599
590.75/592.65	c #Conflicts:     223000 | #Constraints:      94601
590.75/592.65	c #Conflicts:     224000 | #Constraints:      95603
590.75/592.65	c #Conflicts:     225000 | #Constraints:      96607
590.75/592.65	c #Conflicts:     226000 | #Constraints:      97609
590.75/592.65	c INPROCESSING
590.75/592.65	c GARBAGE COLLECT
590.75/592.65	c bounds -594 >= -706 @ 583.441
590.75/592.65	c bounds -594 >= -705 @ 583.448
590.75/592.65	c bounds -594 >= -704 @ 583.449
590.75/592.65	c bounds -594 >= -703 @ 583.451
590.75/592.65	c bounds -594 >= -702 @ 583.453
590.75/592.65	c bounds -594 >= -701 @ 583.457
590.75/592.65	c bounds -594 >= -700 @ 583.459
590.75/592.65	c bounds -594 >= -699 @ 583.461
590.75/592.65	c bounds -594 >= -698 @ 583.463
590.75/592.65	c bounds -594 >= -697 @ 583.469
590.75/592.65	c bounds -594 >= -696 @ 583.47
590.75/592.65	c bounds -594 >= -695 @ 583.471
590.75/592.65	c bounds -594 >= -694 @ 583.478
590.75/592.65	c bounds -594 >= -693 @ 583.487
590.75/592.65	c bounds -594 >= -692 @ 583.495
590.75/592.65	c #Conflicts:     227000 | #Constraints:      89582
590.75/592.65	c bounds -594 >= -691 @ 583.499
590.75/592.65	c bounds -594 >= -690 @ 583.512
590.75/592.65	c bounds -594 >= -689 @ 583.533
590.75/592.65	c bounds -594 >= -688 @ 583.559
590.75/592.65	c bounds -594 >= -687 @ 583.584
590.75/592.65	c bounds -594 >= -686 @ 583.677
590.75/592.65	c bounds -594 >= -685 @ 583.785
590.75/592.65	c #Conflicts:     228000 | #Constraints:      91183
590.75/592.65	c bounds -594 >= -684 @ 584.132
590.75/592.65	c #Conflicts:     229000 | #Constraints:      92211
590.75/592.65	c #Conflicts:     230000 | #Constraints:      93211
590.75/592.65	c #Conflicts:     231000 | #Constraints:      94211
590.75/592.65	c finalizing WCE round: reformulating cores
695.12/697.38	c #Conflicts:     232000 | #Constraints:      95216
695.12/697.38	c #Conflicts:     233000 | #Constraints:      96218
695.12/697.38	c #Conflicts:     234000 | #Constraints:      97220
695.12/697.38	c #Conflicts:     235000 | #Constraints:      98224
695.12/697.38	c bounds -596 >= -700 @ 595.077
695.12/697.38	c bounds -596 >= -700 @ 595.281
695.12/697.38	c #Conflicts:     236000 | #Constraints:      99228
695.12/697.38	c INPROCESSING
695.12/697.38	c GARBAGE COLLECT
695.12/697.38	c bounds -596 >= -697 @ 596.508
695.12/697.38	c #Conflicts:     237000 | #Constraints:      90226
695.12/697.38	c #Conflicts:     238000 | #Constraints:      91228
695.12/697.38	c #Conflicts:     239000 | #Constraints:      92230
695.12/697.38	c #Conflicts:     240000 | #Constraints:      93234
695.12/697.38	c #Conflicts:     241000 | #Constraints:      94236
695.12/697.38	c #Conflicts:     242000 | #Constraints:      95238
695.12/697.38	c #Conflicts:     243000 | #Constraints:      96242
695.12/697.38	c #Conflicts:     244000 | #Constraints:      97244
695.12/697.38	c #Conflicts:     245000 | #Constraints:      98246
695.12/697.38	c #Conflicts:     246000 | #Constraints:      99250
695.12/697.38	c INPROCESSING
695.12/697.38	c GARBAGE COLLECT
695.12/697.38	c #Conflicts:     247000 | #Constraints:      90378
695.12/697.38	c #Conflicts:     248000 | #Constraints:      91380
695.12/697.38	c #Conflicts:     249000 | #Constraints:      92382
695.12/697.38	c bounds -596 >= -681 @ 612.666
695.12/697.38	c bounds -596 >= -680 @ 612.674
695.12/697.38	c bounds -596 >= -679 @ 612.685
695.12/697.38	c bounds -596 >= -678 @ 612.746
695.12/697.38	c bounds -596 >= -677 @ 612.912
695.12/697.38	c #Conflicts:     250000 | #Constraints:      93548
695.12/697.38	c #Conflicts:     251000 | #Constraints:      94548
695.12/697.38	c #Conflicts:     252000 | #Constraints:      95548
695.12/697.38	c bounds -596 >= -676 @ 614.358
695.12/697.38	c #Conflicts:     253000 | #Constraints:      96588
695.12/697.38	c #Conflicts:     254000 | #Constraints:      97588
695.12/697.38	c #Conflicts:     255000 | #Constraints:      98588
695.12/697.38	c #Conflicts:     256000 | #Constraints:      99588
695.12/697.38	c INPROCESSING
695.12/697.38	c GARBAGE COLLECT
695.12/697.38	c #Conflicts:     257000 | #Constraints:      90546
695.12/697.38	c #Conflicts:     258000 | #Constraints:      91546
695.12/697.38	c #Conflicts:     259000 | #Constraints:      92546
695.12/697.38	c #Conflicts:     260000 | #Constraints:      93546
695.12/697.38	c #Conflicts:     261000 | #Constraints:      94546
695.12/697.38	c #Conflicts:     262000 | #Constraints:      95546
695.12/697.38	c #Conflicts:     263000 | #Constraints:      96546
695.12/697.38	c #Conflicts:     264000 | #Constraints:      97546
695.12/697.38	c #Conflicts:     265000 | #Constraints:      98546
695.12/697.38	c #Conflicts:     266000 | #Constraints:      99546
695.12/697.38	c INPROCESSING
695.12/697.38	c GARBAGE COLLECT
695.12/697.38	c #Conflicts:     267000 | #Constraints:      90338
695.12/697.38	c #Conflicts:     268000 | #Constraints:      91338
695.12/697.38	c #Conflicts:     269000 | #Constraints:      92338
695.12/697.38	c #Conflicts:     270000 | #Constraints:      93338
695.12/697.38	c #Conflicts:     271000 | #Constraints:      94338
695.12/697.38	c #Conflicts:     272000 | #Constraints:      95338
695.12/697.38	c #Conflicts:     273000 | #Constraints:      96338
695.12/697.38	c #Conflicts:     274000 | #Constraints:      97338
695.12/697.38	c #Conflicts:     275000 | #Constraints:      98338
695.12/697.38	c #Conflicts:     276000 | #Constraints:      99338
695.12/697.38	c #Conflicts:     277000 | #Constraints:     100338
695.12/697.38	c #Conflicts:     278000 | #Constraints:     101338
695.12/697.38	c #Conflicts:     279000 | #Constraints:     102338
695.12/697.38	c #Conflicts:     280000 | #Constraints:     103338
695.12/697.38	c #Conflicts:     281000 | #Constraints:     104338
695.12/697.38	c bounds -596 >= -675 @ 643.425
695.12/697.38	c #Conflicts:     282000 | #Constraints:     105408
695.12/697.38	c #Conflicts:     283000 | #Constraints:     106408
695.12/697.38	c #Conflicts:     284000 | #Constraints:     107408
695.12/697.38	c #Conflicts:     285000 | #Constraints:     108408
695.12/697.38	c #Conflicts:     286000 | #Constraints:     109408
695.12/697.38	c #Conflicts:     287000 | #Constraints:     110408
695.12/697.38	c #Conflicts:     288000 | #Constraints:     111408
695.12/697.38	c #Conflicts:     289000 | #Constraints:     112408
695.12/697.38	c #Conflicts:     290000 | #Constraints:     113408
695.12/697.38	c #Conflicts:     291000 | #Constraints:     114408
695.12/697.38	c #Conflicts:     292000 | #Constraints:     115408
695.12/697.38	c #Conflicts:     293000 | #Constraints:     116408
695.12/697.38	c #Conflicts:     294000 | #Constraints:     117408
695.12/697.38	c #Conflicts:     295000 | #Constraints:     118408
695.12/697.38	c #Conflicts:     296000 | #Constraints:     119408
695.12/697.38	c #Conflicts:     297000 | #Constraints:     120408
695.12/697.38	c #Conflicts:     298000 | #Constraints:     121408
695.12/697.38	c #Conflicts:     299000 | #Constraints:     122408
695.12/697.38	c #Conflicts:     300000 | #Constraints:     123408
695.12/697.38	c #Conflicts:     301000 | #Constraints:     124408
695.12/697.38	c #Conflicts:     302000 | #Constraints:     125408
1148.65/1152.35	c #Conflicts:     303000 | #Constraints:     126408
1148.65/1152.35	c #Conflicts:     304000 | #Constraints:     127408
1148.65/1152.35	c #Conflicts:     305000 | #Constraints:     128408
1148.65/1152.35	c #Conflicts:     306000 | #Constraints:     129408
1148.65/1152.35	c #Conflicts:     307000 | #Constraints:     130408
1148.65/1152.35	c #Conflicts:     308000 | #Constraints:     131408
1148.65/1152.35	c #Conflicts:     309000 | #Constraints:     132408
1148.65/1152.35	c #Conflicts:     310000 | #Constraints:     133408
1148.65/1152.35	c #Conflicts:     311000 | #Constraints:     134408
1148.65/1152.35	c #Conflicts:     312000 | #Constraints:     135408
1148.65/1152.35	c #Conflicts:     313000 | #Constraints:     136408
1148.65/1152.35	c #Conflicts:     314000 | #Constraints:     137408
1148.65/1152.35	c #Conflicts:     315000 | #Constraints:     138408
1148.65/1152.35	c #Conflicts:     316000 | #Constraints:     139408
1148.65/1152.35	c INPROCESSING
1148.65/1152.35	c GARBAGE COLLECT
1148.65/1152.35	c #Conflicts:     317000 | #Constraints:     110197
1148.65/1152.35	c #Conflicts:     318000 | #Constraints:     111197
1148.65/1152.35	c #Conflicts:     319000 | #Constraints:     112197
1148.65/1152.35	c #Conflicts:     320000 | #Constraints:     113197
1148.65/1152.35	c #Conflicts:     321000 | #Constraints:     114197
1148.65/1152.35	c #Conflicts:     322000 | #Constraints:     115197
1148.65/1152.35	c #Conflicts:     323000 | #Constraints:     116197
1148.65/1152.35	c #Conflicts:     324000 | #Constraints:     117197
1148.65/1152.35	c #Conflicts:     325000 | #Constraints:     118197
1148.65/1152.35	c #Conflicts:     326000 | #Constraints:     119197
1148.65/1152.35	c #Conflicts:     327000 | #Constraints:     120197
1148.65/1152.35	c #Conflicts:     328000 | #Constraints:     121197
1148.65/1152.35	c INPROCESSING
1148.65/1152.35	c GARBAGE COLLECT
1148.65/1152.35	c #Conflicts:     329000 | #Constraints:     105056
1148.65/1152.35	c #Conflicts:     330000 | #Constraints:     106056
1148.65/1152.35	c #Conflicts:     331000 | #Constraints:     107056
1148.65/1152.35	c #Conflicts:     332000 | #Constraints:     108056
1148.65/1152.35	c #Conflicts:     333000 | #Constraints:     109056
1148.65/1152.35	c #Conflicts:     334000 | #Constraints:     110056
1148.65/1152.35	c bounds -596 >= -674 @ 830.238
1148.65/1152.35	c #Conflicts:     335000 | #Constraints:     111117
1148.65/1152.35	c #Conflicts:     336000 | #Constraints:     112117
1148.65/1152.35	c #Conflicts:     337000 | #Constraints:     113117
1148.65/1152.35	c #Conflicts:     338000 | #Constraints:     114117
1148.65/1152.35	c #Conflicts:     339000 | #Constraints:     115117
1148.65/1152.35	c #Conflicts:     340000 | #Constraints:     116117
1148.65/1152.35	c #Conflicts:     341000 | #Constraints:     117117
1148.65/1152.35	c #Conflicts:     342000 | #Constraints:     118117
1148.65/1152.35	c #Conflicts:     343000 | #Constraints:     119117
1148.65/1152.35	c #Conflicts:     344000 | #Constraints:     120117
1148.65/1152.35	c #Conflicts:     345000 | #Constraints:     121117
1148.65/1152.35	c #Conflicts:     346000 | #Constraints:     122117
1148.65/1152.35	c #Conflicts:     347000 | #Constraints:     123117
1148.65/1152.35	c #Conflicts:     348000 | #Constraints:     124117
1148.65/1152.35	c #Conflicts:     349000 | #Constraints:     125117
1148.65/1152.35	c #Conflicts:     350000 | #Constraints:     126117
1148.65/1152.35	c #Conflicts:     351000 | #Constraints:     127117
1148.65/1152.35	c #Conflicts:     352000 | #Constraints:     128117
1148.65/1152.35	c #Conflicts:     353000 | #Constraints:     129117
1148.65/1152.35	c #Conflicts:     354000 | #Constraints:     130117
1148.65/1152.35	c #Conflicts:     355000 | #Constraints:     131117
1148.65/1152.35	c #Conflicts:     356000 | #Constraints:     132117
1148.65/1152.35	c #Conflicts:     357000 | #Constraints:     133117
1148.65/1152.35	c #Conflicts:     358000 | #Constraints:     134117
1148.65/1152.35	c #Conflicts:     359000 | #Constraints:     135117
1148.65/1152.35	c #Conflicts:     360000 | #Constraints:     136117
1148.65/1152.35	c #Conflicts:     361000 | #Constraints:     137117
1148.65/1152.35	c #Conflicts:     362000 | #Constraints:     138117
1148.65/1152.35	c #Conflicts:     363000 | #Constraints:     139117
1148.65/1152.35	c #Conflicts:     364000 | #Constraints:     140117
1148.65/1152.35	c #Conflicts:     365000 | #Constraints:     141117
1148.65/1152.35	c #Conflicts:     366000 | #Constraints:     142117
1148.65/1152.35	c #Conflicts:     367000 | #Constraints:     143117
1148.65/1152.35	c #Conflicts:     368000 | #Constraints:     144117
1148.65/1152.35	c #Conflicts:     369000 | #Constraints:     145117
1148.65/1152.35	c #Conflicts:     370000 | #Constraints:     146117
1148.65/1152.35	c #Conflicts:     371000 | #Constraints:     147117
1148.65/1152.35	c #Conflicts:     372000 | #Constraints:     148117
1148.65/1152.35	c #Conflicts:     373000 | #Constraints:     149117
1148.65/1152.35	c #Conflicts:     374000 | #Constraints:     150117
1148.65/1152.35	c #Conflicts:     375000 | #Constraints:     151117
1148.65/1152.35	c #Conflicts:     376000 | #Constraints:     152117
1148.65/1152.35	c #Conflicts:     377000 | #Constraints:     153117
1148.65/1152.35	c #Conflicts:     378000 | #Constraints:     154117
2225.24/2232.42	c #Conflicts:     379000 | #Constraints:     155117
2225.24/2232.42	c #Conflicts:     380000 | #Constraints:     156117
2225.24/2232.42	c #Conflicts:     381000 | #Constraints:     157117
2225.24/2232.42	c INPROCESSING
2225.24/2232.42	c GARBAGE COLLECT
2225.24/2232.42	c #Conflicts:     382000 | #Constraints:     124557
2225.24/2232.42	c #Conflicts:     383000 | #Constraints:     125557
2225.24/2232.42	c #Conflicts:     384000 | #Constraints:     126557
2225.24/2232.42	c #Conflicts:     385000 | #Constraints:     127557
2225.24/2232.42	c #Conflicts:     386000 | #Constraints:     128557
2225.24/2232.42	c #Conflicts:     387000 | #Constraints:     129557
2225.24/2232.42	c #Conflicts:     388000 | #Constraints:     130557
2225.24/2232.42	c #Conflicts:     389000 | #Constraints:     131557
2225.24/2232.42	c #Conflicts:     390000 | #Constraints:     132557
2225.24/2232.42	c #Conflicts:     391000 | #Constraints:     133557
2225.24/2232.42	c #Conflicts:     392000 | #Constraints:     134557
2225.24/2232.42	c #Conflicts:     393000 | #Constraints:     135557
2225.24/2232.42	c #Conflicts:     394000 | #Constraints:     136557
2225.24/2232.42	c #Conflicts:     395000 | #Constraints:     137557
2225.24/2232.42	c #Conflicts:     396000 | #Constraints:     138557
2225.24/2232.42	c #Conflicts:     397000 | #Constraints:     139557
2225.24/2232.42	c #Conflicts:     398000 | #Constraints:     140557
2225.24/2232.42	c #Conflicts:     399000 | #Constraints:     141557
2225.24/2232.42	c #Conflicts:     400000 | #Constraints:     142557
2225.24/2232.42	c #Conflicts:     401000 | #Constraints:     143557
2225.24/2232.42	c #Conflicts:     402000 | #Constraints:     144557
2225.24/2232.42	c #Conflicts:     403000 | #Constraints:     145557
2225.24/2232.42	c #Conflicts:     404000 | #Constraints:     146557
2225.24/2232.42	c #Conflicts:     405000 | #Constraints:     147557
2225.24/2232.42	c #Conflicts:     406000 | #Constraints:     148557
2225.24/2232.42	c #Conflicts:     407000 | #Constraints:     149557
2225.24/2232.42	c #Conflicts:     408000 | #Constraints:     150557
2225.24/2232.42	c #Conflicts:     409000 | #Constraints:     151557
2225.24/2232.42	c #Conflicts:     410000 | #Constraints:     152557
2225.24/2232.42	c #Conflicts:     411000 | #Constraints:     153557
2225.24/2232.42	c #Conflicts:     412000 | #Constraints:     154557
2225.24/2232.42	c #Conflicts:     413000 | #Constraints:     155557
2225.24/2232.42	c #Conflicts:     414000 | #Constraints:     156557
2225.24/2232.42	c #Conflicts:     415000 | #Constraints:     157557
2225.24/2232.42	c #Conflicts:     416000 | #Constraints:     158557
2225.24/2232.42	c #Conflicts:     417000 | #Constraints:     159557
2225.24/2232.42	c #Conflicts:     418000 | #Constraints:     160557
2225.24/2232.42	c #Conflicts:     419000 | #Constraints:     161557
2225.24/2232.42	c #Conflicts:     420000 | #Constraints:     162557
2225.24/2232.42	c #Conflicts:     421000 | #Constraints:     163557
2225.24/2232.42	c #Conflicts:     422000 | #Constraints:     164557
2225.24/2232.42	c #Conflicts:     423000 | #Constraints:     165557
2225.24/2232.42	c #Conflicts:     424000 | #Constraints:     166557
2225.24/2232.42	c #Conflicts:     425000 | #Constraints:     167557
2225.24/2232.42	c #Conflicts:     426000 | #Constraints:     168557
2225.24/2232.42	c #Conflicts:     427000 | #Constraints:     169557
2225.24/2232.42	c #Conflicts:     428000 | #Constraints:     170557
2225.24/2232.42	c #Conflicts:     429000 | #Constraints:     171557
2225.24/2232.42	c #Conflicts:     430000 | #Constraints:     172557
2225.24/2232.42	c #Conflicts:     431000 | #Constraints:     173557
2225.24/2232.42	c #Conflicts:     432000 | #Constraints:     174557
2225.24/2232.42	c #Conflicts:     433000 | #Constraints:     175557
2225.24/2232.42	c #Conflicts:     434000 | #Constraints:     176557
2225.24/2232.42	c #Conflicts:     435000 | #Constraints:     177557
2225.24/2232.42	c #Conflicts:     436000 | #Constraints:     178557
2225.24/2232.42	c #Conflicts:     437000 | #Constraints:     179557
2225.24/2232.42	c INPROCESSING
2225.24/2232.42	c GARBAGE COLLECT
2225.24/2232.42	c #Conflicts:     438000 | #Constraints:     140680
2225.24/2232.42	c #Conflicts:     439000 | #Constraints:     141680
2225.24/2232.42	c #Conflicts:     440000 | #Constraints:     142680
2225.24/2232.42	c #Conflicts:     441000 | #Constraints:     143680
2225.24/2232.42	c #Conflicts:     442000 | #Constraints:     144680
2225.24/2232.42	c #Conflicts:     443000 | #Constraints:     145680
2225.24/2232.42	c #Conflicts:     444000 | #Constraints:     146680
2225.24/2232.42	c #Conflicts:     445000 | #Constraints:     147680
2225.24/2232.42	c #Conflicts:     446000 | #Constraints:     148680
2225.24/2232.42	c #Conflicts:     447000 | #Constraints:     149680
2225.24/2232.42	c #Conflicts:     448000 | #Constraints:     150680
2225.24/2232.42	c #Conflicts:     449000 | #Constraints:     151680
2225.24/2232.42	c #Conflicts:     450000 | #Constraints:     152680
2225.24/2232.42	c #Conflicts:     451000 | #Constraints:     153680
2225.24/2232.42	c #Conflicts:     452000 | #Constraints:     154680
2225.24/2232.42	c #Conflicts:     453000 | #Constraints:     155680
2225.24/2232.42	c #Conflicts:     454000 | #Constraints:     156680
2225.24/2232.42	c #Conflicts:     455000 | #Constraints:     157680
2225.24/2232.42	c #Conflicts:     456000 | #Constraints:     158680
3570.05/3580.70	c #Conflicts:     457000 | #Constraints:     159680
3570.05/3580.70	c #Conflicts:     458000 | #Constraints:     160680
3570.05/3580.70	c #Conflicts:     459000 | #Constraints:     161680
3570.05/3580.70	c #Conflicts:     460000 | #Constraints:     162680
3570.05/3580.70	c #Conflicts:     461000 | #Constraints:     163680
3570.05/3580.70	c #Conflicts:     462000 | #Constraints:     164680
3570.05/3580.70	c #Conflicts:     463000 | #Constraints:     165680
3570.05/3580.70	c #Conflicts:     464000 | #Constraints:     166680
3570.05/3580.70	c #Conflicts:     465000 | #Constraints:     167680
3570.05/3580.70	c #Conflicts:     466000 | #Constraints:     168680
3570.05/3580.70	c #Conflicts:     467000 | #Constraints:     169680
3570.05/3580.70	c #Conflicts:     468000 | #Constraints:     170680
3570.05/3580.70	c #Conflicts:     469000 | #Constraints:     171680
3570.05/3580.70	c #Conflicts:     470000 | #Constraints:     172680
3570.05/3580.70	c #Conflicts:     471000 | #Constraints:     173680
3570.05/3580.70	c #Conflicts:     472000 | #Constraints:     174680
3570.05/3580.70	c #Conflicts:     473000 | #Constraints:     175680
3570.05/3580.70	c #Conflicts:     474000 | #Constraints:     176680
3570.05/3580.70	c #Conflicts:     475000 | #Constraints:     177680
3570.05/3580.70	c #Conflicts:     476000 | #Constraints:     178680
3570.05/3580.70	c #Conflicts:     477000 | #Constraints:     179680
3570.05/3580.70	c #Conflicts:     478000 | #Constraints:     180680
3570.05/3580.70	c #Conflicts:     479000 | #Constraints:     181680
3570.05/3580.70	c #Conflicts:     480000 | #Constraints:     182680
3570.05/3580.70	c #Conflicts:     481000 | #Constraints:     183680
3570.05/3580.70	c #Conflicts:     482000 | #Constraints:     184680
3570.05/3580.70	c #Conflicts:     483000 | #Constraints:     185680
3570.05/3580.70	c #Conflicts:     484000 | #Constraints:     186680
3570.05/3580.70	c #Conflicts:     485000 | #Constraints:     187680
3570.05/3580.70	c #Conflicts:     486000 | #Constraints:     188680
3570.05/3580.70	c #Conflicts:     487000 | #Constraints:     189680
3570.05/3580.70	c #Conflicts:     488000 | #Constraints:     190680
3570.05/3580.70	c #Conflicts:     489000 | #Constraints:     191680
3570.05/3580.70	c #Conflicts:     490000 | #Constraints:     192680
3570.05/3580.70	c #Conflicts:     491000 | #Constraints:     193680
3570.05/3580.70	c #Conflicts:     492000 | #Constraints:     194680
3570.05/3580.70	c #Conflicts:     493000 | #Constraints:     195680
3570.05/3580.70	c #Conflicts:     494000 | #Constraints:     196680
3570.05/3580.70	c INPROCESSING
3570.05/3580.70	c GARBAGE COLLECT
3570.05/3580.70	c #Conflicts:     495000 | #Constraints:     154099
3570.05/3580.70	c #Conflicts:     496000 | #Constraints:     155099
3570.05/3580.70	c #Conflicts:     497000 | #Constraints:     156099
3570.05/3580.70	c #Conflicts:     498000 | #Constraints:     157099
3570.05/3580.70	c #Conflicts:     499000 | #Constraints:     158099
3570.05/3580.70	c #Conflicts:     500000 | #Constraints:     159099
3570.05/3580.70	c #Conflicts:     501000 | #Constraints:     160099
3570.05/3580.70	c #Conflicts:     502000 | #Constraints:     161099
3570.05/3580.70	c #Conflicts:     503000 | #Constraints:     162099
3570.05/3580.70	c #Conflicts:     504000 | #Constraints:     163099
3570.05/3580.70	c #Conflicts:     505000 | #Constraints:     164099
3570.05/3580.70	c #Conflicts:     506000 | #Constraints:     165099
3570.05/3580.70	c #Conflicts:     507000 | #Constraints:     166099
3570.05/3580.70	c #Conflicts:     508000 | #Constraints:     167099
3570.05/3580.70	c #Conflicts:     509000 | #Constraints:     168099
3570.05/3580.70	c #Conflicts:     510000 | #Constraints:     169099
3570.05/3580.70	c #Conflicts:     511000 | #Constraints:     170099
3570.05/3580.70	c #Conflicts:     512000 | #Constraints:     171099
3570.05/3580.70	c #Conflicts:     513000 | #Constraints:     172099
3570.05/3580.70	c #Conflicts:     514000 | #Constraints:     173099
3570.05/3580.70	c #Conflicts:     515000 | #Constraints:     174099
3570.05/3580.70	c #Conflicts:     516000 | #Constraints:     175099
3570.05/3580.70	c #Conflicts:     517000 | #Constraints:     176099
3570.05/3580.70	c #Conflicts:     518000 | #Constraints:     177099
3570.05/3580.70	c #Conflicts:     519000 | #Constraints:     178099
3570.05/3580.70	c #Conflicts:     520000 | #Constraints:     179099
3570.05/3580.70	c #Conflicts:     521000 | #Constraints:     180099
3570.05/3580.70	c #Conflicts:     522000 | #Constraints:     181099
3570.05/3580.70	c #Conflicts:     523000 | #Constraints:     182099
3570.05/3580.70	c #Conflicts:     524000 | #Constraints:     183099
3570.05/3580.70	c #Conflicts:     525000 | #Constraints:     184099
3570.05/3580.70	c #Conflicts:     526000 | #Constraints:     185099
3570.05/3580.70	c #Conflicts:     527000 | #Constraints:     186099
3570.05/3580.70	c #Conflicts:     528000 | #Constraints:     187099
3570.05/3580.70	c #Conflicts:     529000 | #Constraints:     188099
3570.05/3580.70	c #Conflicts:     530000 | #Constraints:     189099
3570.05/3580.70	c #Conflicts:     531000 | #Constraints:     190099
3570.05/3580.70	c #Conflicts:     532000 | #Constraints:     191099
3570.05/3580.70	c #Conflicts:     533000 | #Constraints:     192099
3570.05/3580.70	c #Conflicts:     534000 | #Constraints:     193099
3600.07/3610.80	c #Conflicts:     535000 | #Constraints:     194099
3600.07/3610.80	c Program interrupted by user.
3600.07/3610.80	c cpu time 3592.9 s
3600.07/3610.80	c deterministic time 208776023773 2.09e+11
3600.07/3610.80	c optimization time 1051.86 s
3600.07/3610.80	c total solve time 2241.5 s
3600.07/3610.80	c core-guided solve time 2241.5 s
3600.07/3610.80	c propagation time 2767.95 s
3600.07/3610.80	c conflict analysis time 509.249 s
3600.07/3610.80	c propagations 143835484
3600.07/3610.80	c resolve steps 16909693
3600.07/3610.80	c decisions 4254173
3600.07/3610.80	c conflicts 535618
3600.07/3610.80	c restarts 1107
3600.07/3610.80	c inprocessing phases 48
3600.07/3610.80	c input clauses 78837
3600.07/3610.80	c input cardinalities 1384
3600.07/3610.80	c input general constraints 458
3600.07/3610.80	c input average constraint length 7.31
3600.07/3610.80	c input average constraint degree 1.82
3600.07/3610.80	c learned clauses 372214
3600.07/3610.80	c learned cardinalities 2290
3600.07/3610.80	c learned general constraints 161135
3600.07/3610.80	c learned average constraint length 224.80
3600.07/3610.80	c learned average constraint degree 14038.09
3600.07/3610.80	c watched constraints 84085
3600.07/3610.80	c counting constraints 77508
3600.07/3610.80	c gcd simplifications 85068
3600.07/3610.80	c detected cardinalities 5
3600.07/3610.80	c weakened non-implied lits 121832867
3600.07/3610.80	c weakened non-implying lits 429330
3600.07/3610.80	c original variables 1225
3600.07/3610.80	c clausal propagations 104461552
3600.07/3610.80	c cardinality propagations 8204536
3600.07/3610.80	c watched propagations 1431667
3600.07/3610.80	c counting propagations 28966916
3600.07/3610.80	c watch lookups 68822950158
3600.07/3610.80	c watch backjump lookups 64258621028
3600.07/3610.80	c watch checks 67140282283
3600.07/3610.80	c propagation checks 7766699843
3600.07/3610.80	c constraint additions 490756047
3600.07/3610.80	c trail pops 148624756
3600.07/3610.80	c formula constraints 78400
3600.07/3610.80	c learned constraints 535639
3600.07/3610.80	c bound constraints 339
3600.07/3610.80	c core-guided constraints 1940
3600.07/3610.80	c encountered formula constraints 13790750
3600.07/3610.80	c encountered learned constraints 2804930
3600.07/3610.80	c encountered bound constraints 1641
3600.07/3610.80	c encountered core-guided constraints 847990
3600.07/3610.80	c LP total time 0 s
3600.07/3610.80	c LP solve time 0 s
3600.07/3610.80	c LP constraints added 0
3600.07/3610.80	c LP constraints removed 0
3600.07/3610.80	c LP pivots internal 0
3600.07/3610.80	c LP pivots root 0
3600.07/3610.80	c LP calls 0
3600.07/3610.80	c LP optimalities 0
3600.07/3610.80	c LP no pivot count 0
3600.07/3610.80	c LP infeasibilities 0
3600.07/3610.80	c LP valid Farkas constraints 0
3600.07/3610.80	c LP learned Farkas constraints 0
3600.07/3610.80	c LP basis resets 0
3600.07/3610.80	c LP cycling count 0
3600.07/3610.80	c LP singular count 0
3600.07/3610.80	c LP no primal count 0
3600.07/3610.80	c LP no farkas count 0
3600.07/3610.80	c LP other issue count 0
3600.07/3610.80	c LP Gomory cuts 0
3600.07/3610.80	c LP learned cuts 0
3600.07/3610.80	c LP deleted cuts 0
3600.07/3610.80	c LP encountered Gomory constraints 0
3600.07/3610.80	c LP encountered Farkas constraints 0
3600.07/3610.80	c LP encountered learned Farkas constraints 0
3600.07/3610.80	c CG auxiliary variables introduced 752
3600.07/3610.80	c CG solutions found 2
3600.07/3610.80	c CG cores constructed 323
3600.07/3610.80	c CG core cardinality constraints returned 0
3600.07/3610.80	c CG unit cores 0
3600.07/3610.80	c CG single cores 321
3600.07/3610.80	c CG blocks removed during cardinality reduction 0
3600.07/3610.80	c CG first core best 0
3600.07/3610.80	c CG decision core best 0
3600.07/3610.80	c CG core reduction tie 2
3600.07/3610.80	c CG core degree average 1.00
3600.07/3610.80	c CG core slack average 4.34
3600.07/3610.80	c CG exhausted 3
3600.07/3610.80	c CG exhaust time 306.683 s
3600.07/3610.80	c CG trimmed 3
3600.07/3610.80	c CG trim time 0.009933 s
3600.07/3610.80	c CG minimized 0
3600.07/3610.80	c CG minimize time 0 s
3600.07/3610.80	c CG am1 prop time 0.007627 s
3600.07/3610.80	c CG # am1s reformulated 0
3600.07/3610.80	c CG lower bound derived from am1s 0
3600.07/3610.80	c CG # clausal cores 321
3600.07/3610.80	c CG # cardinality cores 0
3600.07/3610.80	c CG # pb cores 4
3600.07/3610.80	c CG # pb reforms 0
3600.07/3610.80	c CG # cores discarded because of pb reform 0
3600.07/3610.80	d LOWERBOUND -674
3600.07/3610.80	d NCORES 323
3600.07/3610.80	d NPBCORES 4
3600.07/3610.80	d NPBREFORM 0
3600.07/3610.80	d NTRIMMED 3
3600.07/3610.80	d NEXHAUSTED 3
3600.07/3610.80	d NAM1S 0
3600.07/3610.80	d AM1LB 0
3600.07/3610.80	c [Papilo Statistics]
3600.07/3610.80	c prepro time 0.0685603s
3600.07/3610.80	c # tsx applied 0
3600.07/3610.80	c # tsx conflicts 0
3600.07/3610.80	c # bound changes 0
3600.07/3610.80	c # side changes 0
3600.07/3610.80	c # coef changes 0
3600.07/3610.80	c # rounds 1
3600.07/3610.80	c # deted vars 0
3600.07/3610.80	c # deted constrs 0
3600.07/3610.80	c # consecutive rounds of only bound changes 0
3600.07/3610.80	c [STEP] postprocessing with Papilo
3600.07/3610.80	o -596
3600.07/3610.80	s SATISFIABLE
3600.07/3610.80	v -x1 x2 x3 x4 -x5 -x6 x7 x8 -x9 -x10 -x11 x12 x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 x23 x24 -x25 -x26 x27 -x28 x29 -x30 -x31 x32 x33 x34 -x35 -x36 x37 x38 x39 -x40 -x41 x42 x43 x44 -x45 -x46 x47 x48 x49 x50 x51 x52 -x53 -x54 x55 x56 -x57 -x58 -x59 x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 -x69 x70 x71 x72 -x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 x82 -x83 -x84 x85 x86 x87 -x88 -x89 x90 x91 x92 -x93 -x94 x95 x96 x97 -x98 -x99 x100 x101 -x102 -x103 x104 x105 x106 -x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 x116 -x117 -x118 -x119 x120 x121 -x122 x123 -x124 x125 x126 -x127 -x128 -x129 x130 x131 -x132 -x133 -x134 x135 x136 -x137 -x138 -x139 x140 x141 -x142 -x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 x152 -x153 -x154 -x155 x156 x157 -x158 x159 -x160 x161 x162 -x163 -x164 -x165 x166 x167 -x168 x169 -x170 x171 x172 -x173 -x174 -x175 x176 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 x192 -x193 -x194 x195 x196 x197 -x198 -x199 -x200 x201 x202 -x203 x204 -x205 x206 x207 -x208 -x209 -x210 x211 x212 -x213 x214 -x215 x216 x217 -x218 -x219 -x220 x221 x222 -x223 -x224 -x225 x226 x227 -x228 -x229 -x230 x231 x232 -x233 -x234 -x235 -x236 x237 x238 -x239 -x240 -x241 x242 x243 x244 -x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 x254 -x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 x264 -x265 -x266 x267 x268 x269 -x270 -x271 x272 x273 x274 -x275 -x276 x277 x278 x279 x280 x281 -x282 -x283 -x284 x285 x286 x287 -x288 -x289 x290 -x291 x292 -x293 -x294 x295 x296 x297 -x298 -x299 x300 -x301 x302 -x303 -x304 x305 x306 x307 -x308 -x309 x310 x311 x312 -x313 -x314 x315 x316 x317 -x318 -x319 x320 x321 x322 -x323 x324 x325 x326 -x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 x336 -x337 -x338 -x339 x340 x341 -x342 x343 -x344 x345 x346 -x347 -x348 -x349 x350 x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 x360 x361 -x362 -x363 -x364 x365 x366 x367 -x368 -x369 -x370 x371 x372 -x373 x374 -x375 x376 x377 -x378 -x379 -x380 x381 x382 -x383 x384 -x385 x386 x387 -x388 -x389 -x390 x391 x392 -x393 -x394 -x395 x396 x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 x408 x409 x410 -x411 -x412 x413 -x414 x415 -x416 -x417 x418 x419 x420 -x421 -x422 x423 -x424 x425 -x426 -x427 x428 x429 x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 x439 x440 -x441 -x442 x443 x444 x445 -x446 x447 x448 x449 -x450 -x451 x452 -x453 x454 -x455 -x456 x457 x458 x459 -x460 -x461 x462 -x463 x464 -x465 -x466 x467 x468 x469 -x470 -x471 x472 x473 x474 -x475 -x476 x477 x478 x479 -x480 -x481 x482 x483 x484 x485 x486 x487 -x488 -x489 x490 -x491 x492 -x493 -x494 x495 x496 x497 -x498 -x499 x500 -x501 x502 -x503 -x504 x505 x506 x507 -x508 -x509 x510 x511 x512 -x513 -x514 x515 x516 x517 -x518 -x519 x520 x521 x522 -x523 -x524 x525 x526 -x527 x528 -x529 x530 x531 -x532 -x533 -x534 x535 x536 -x537 x538 -x539 x540 x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 x550 x551 -x552 -x553 -x554 x555 x556 -x557 -x558 -x559 -x560 x561 x562 -x563 x564 -x565 x566 x567 -x568 -x569 -x570 x571 x572 -x573 x574 -x575 x576 x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 x586 x587 -x588 -x589 -x590 x591 x592 -x593 -x594 -x595 x596 x597 -x598 x599 -x600 x601 x602 -x603 -x604 -x605 x606 x607 -x608 x609 -x610 x611 x612 -x613 -x614 -x615 x616 x617 -x618 -x619 -x620 x621 x622 -x623 -x624 -x625 x626 x627 -x628 -x629 -x630 -x631 x632 -x633 x634 -x635 -x636 x637 x638 x639 -x640 -x641 x642 -x643 x644 -x645 -x646 x647 x648 x649 -x650 -x651 x652 x653 x654 -x655 -x656 x657 x658 x659 -x660 -x661 x662 x663 x664 x665 -x666 x667 -x668 -x669 x670 x671 x672 -x673 -x674 x675 -x676 x677 -x678 -x679 x680 x681 x682 -x683 -x684 x685 x686 x687 -x688 -x689 x690 x691 x692 -x693 -x694 x695 x696 x697 x698 -x699 x700 x701 -x702 -x703 -x704 x705 x706 -x707 x708 -x709 x710 x711 -x712 -x713 -x714 x715 x716 -x717 -x718 -x719 x720 x721 -x722 -x723 -x724 x725 x726 -x727 -x728 -x729 x730 -x731 -x732 x733 x734 x735 -x736 -x737 x738 -x739 x740 -x741 -x742 x743 x744 x745 -x746 -x747 x748 x749 x750 -x751 -x752 x753 x754 x755 -x756 -x757 x758 x759 x760 x761 x762 -x763 -x764 -x765 x766 x767 -x768 x769 -x770 x771 x772 -x773 -x774 -x775 x776 x777 -x778 -x779 -x780 x781 x782 -x783 -x784 -x785 x786 x787 -x788 -x789 -x790 -x791 x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 x802 x803 x804 -x805 -x806 x807 x808 x809 -x810 -x811 x812 x813 x814 -x815 -x816 x817 x818 x819 x820 x821 x822 -x823 -x824 x825 -x826 x827 -x828 -x829 x830 x831 x832 -x833 -x834 x835 x836 x837 -x838 -x839 x840 x841 x842 -x843 -x844 x845 x846 x847 -x848 -x849 x850 x851 -x852 x853 -x854 x855 x856 -x857 -x858 -x859 x860 x861 -x862 -x863 -x864 x865 x866 -x867 -x868 -x869 x870 x871 -x872 -x873 -x874 -x875 x876 x877 -x878 x879 -x880 x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 x891 x892 -x893 -x894 -x895 x896 x897 -x898 -x899 -x900 x901 x902 -x903 x904 -x905 x906 x907 -x908 -x909 -x910 x911 x912 -x913 -x914 -x915 x916 x917 -x918 -x919 -x920 x921 x922 -x923 -x924 -x925 -x926 x927 -x928 x929 -x930 -x931 x932 x933 x934 -x935 -x936 x937 x938 x939 -x940 -x941 x942 x943 x944 -x945 -x946 x947 x948 x949 x950 -x951 x952 -x953 -x954 x955 x956 x957 -x958 -x959 x960 x961 x962 -x963 -x964 x965 x966 x967 -x968 -x969 x970 x971 x972 x973 -x974 x975 x976 -x977 -x978 -x979 x980 x981 -x982 -x983 -x984 x985 x986 -x987 -x988 -x989 x990 x991 -x992 -x993 -x994 x995 -x996 -x997 x998 x999 x1000 -x1001 -x1002 x1003 x1004 x1005 -x1006 -x1007 x1008 x1009 x1010 -x1011 -x1012 x1013 x1014 x1015 x1016 x1017 -x1018 -x1019 -x1020 x1021 x1022 -x1023 -x1024 -x1025 x1026 x1027 -x1028 -x1029 -x1030 x1031 x1032 -x1033 -x1034 -x1035 -x1036 x1037 x1038 x1039 -x1040 -x1041 x1042 x1043 x1044 -x1045 -x1046 x1047 x1048 x1049 -x1050 -x1051 x1052 x1053 x1054 x1055 x1056 x1057 -x1058 -x1059 x1060 x1061 x1062 -x1063 -x1064 x1065 x1066 x1067 -x1068 -x1069 x1070 x1071 x1072 -x1073 -x1074 x1075 x1076 -x1077 -x1078 -x1079 x1080 x1081 -x1082 -x1083 -x1084 x1085 x1086 -x1087 -x1088 -x1089 -x1090 x1091 x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 x1101 x1102 -x1103 -x1104 -x1105 x1106 x1107 -x1108 -x1109 -x1110 x1111 x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 x1122 x1123 x1124 -x1125 -x1126 x1127 x1128 x1129 -x1130 -x1131 x1132 x1133 x1134 x1135 x1136 x1137 -x1138 -x1139 x1140 x1141 x1142 -x1143 -x1144 x1145 x1146 x1147 -x1148 -x1149 x1150 x1151 -x1152 -x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 x1161 x1162 -x1163 -x1164 -x1165 x1166 x1167 -x1168 -x1169 -x1170 x1171 x1172 -x1173 -x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 x1184 -x1185 -x1186 x1187 x1188 x1189 x1190 x1191 x1192 -x1193 -x1194 x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 -x1208 -x1209 -x1210 x1211 x1212 -x1213 -x1214 -x1215 -x1216 x1217 x1218 x1219 x1220 x1221 x1222 -x1223 -x1224 -x1225

Verifier Data 

OK	-596

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: 63665 MiB (60062 MiB free)
  memory of node 1: 64507 MiB (49145 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529298-1752264071/watcher-4529298-1752264071 -o /tmp/evaluation-result-4529298-1752264071/solver-4529298-1752264071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123322 --watchdog 3760 mixed-bag HOME/instance-4529298-1752264071.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100064 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 125163
/proc/meminfo: memFree=111821728/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=87468 memory=15220 CPUtime=0.08 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 2423 0 0 0 8 0 0 0 20 0 1 0 142085006 89567232 3805 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 21867 3805 2144 2834 0 4619 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 87468 KiB
Current children cumulated memory: 15220 KiB

[startup+0.20553 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 125163
/proc/meminfo: memFree=111800116/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=106948 memory=36084 CPUtime=0.19 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 5607 0 0 0 18 1 0 0 20 0 1 0 142085006 109514752 9021 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 26737 9021 2144 2834 0 9489 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106948 KiB
Current children cumulated memory: 36084 KiB

[startup+0.305514 s]*
/proc/loadavg: 4.06 4.10 4.09 5/264 125163
/proc/meminfo: memFree=111768992/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=135844 memory=61364 CPUtime=0.28 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 10856 0 0 0 26 2 0 0 20 0 1 0 142085006 139104256 15341 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 33961 15341 3616 2834 0 16166 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 135844 KiB
Current children cumulated memory: 61364 KiB

[startup+0.700171 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 125163
/proc/meminfo: memFree=111664412/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=251016 memory=176344 CPUtime=0.66 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 44491 0 0 0 58 8 0 0 20 0 1 0 142085006 257040384 44086 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 62754 44086 3968 2834 0 44959 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 251016 KiB
Current children cumulated memory: 176344 KiB

[startup+1.50017 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 125163
/proc/meminfo: memFree=111600400/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=436664 memory=343852 CPUtime=1.45 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 58728 0 0 0 133 12 0 0 20 0 1 0 142085006 447143936 85963 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 109166 85963 4032 2834 0 91371 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 436664 KiB
Current children cumulated memory: 343852 KiB

[startup+3.10544 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 125163
/proc/meminfo: memFree=111369024/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=562516 memory=464084 CPUtime=3.05 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 74451 0 0 0 289 16 0 0 20 0 1 0 142085006 576016384 116021 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 140629 116021 4064 2834 0 122834 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 562516 KiB
Current children cumulated memory: 464084 KiB

[startup+6.30016 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 125163
/proc/meminfo: memFree=111333120/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=580816 memory=487692 CPUtime=6.24 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 81186 0 0 0 606 18 0 0 20 0 1 0 142085006 594755584 121923 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 145204 121923 4224 2834 0 127409 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 580816 KiB
Current children cumulated memory: 487692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 6/264 125163
/proc/meminfo: memFree=111316768/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=580816 memory=487692 CPUtime=12.62 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 81192 0 0 0 1244 18 0 0 20 0 1 0 142085006 594755584 121923 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 145204 121923 4224 2834 0 127409 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 580816 KiB
Current children cumulated memory: 487692 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 125163
/proc/meminfo: memFree=111308520/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=582680 memory=489228 CPUtime=25.38 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 81597 0 0 0 2520 18 0 0 20 0 1 0 142085006 596664320 122307 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 145670 122307 4224 2834 0 127875 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 582680 KiB
Current children cumulated memory: 489228 KiB

[startup+51.1055 s]
/proc/loadavg: 4.13 4.11 4.09 6/264 125164
/proc/meminfo: memFree=111235900/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=692144 memory=572500 CPUtime=50.91 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 100959 0 0 0 5069 22 0 0 20 0 1 0 142085006 708755456 143125 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 173036 143125 4224 2834 0 155241 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 692144 KiB
Current children cumulated memory: 572500 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/264 125166
/proc/meminfo: memFree=111109592/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=915380 memory=698196 CPUtime=101.94 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 132392 0 0 0 10167 27 0 0 20 0 1 0 142085006 937349120 174549 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 228845 174549 4224 2834 0 211050 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 915380 KiB
Current children cumulated memory: 698196 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/265 125169
/proc/meminfo: memFree=111047252/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=991572 memory=774996 CPUtime=161.76 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 151565 0 0 0 16145 31 0 0 20 0 1 0 142085006 1015369728 193749 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 247893 193749 4256 2834 0 230098 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 991572 KiB
Current children cumulated memory: 774996 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.10 4.09 6/264 125172
/proc/meminfo: memFree=111036980/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=991572 memory=774996 CPUtime=221.58 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 151579 0 0 0 22127 31 0 0 20 0 1 0 142085006 1015369728 193749 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 247893 193749 4256 2834 0 230098 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 991572 KiB
Current children cumulated memory: 774996 KiB

[startup+282.3 s]
/proc/loadavg: 4.41 4.17 4.11 6/263 125174
/proc/meminfo: memFree=111034272/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=991572 memory=774996 CPUtime=281.4 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 151579 0 0 0 28109 31 0 0 20 0 1 0 142085006 1015369728 193749 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 247893 193749 4256 2834 0 230098 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 991572 KiB
Current children cumulated memory: 774996 KiB

[startup+342.3 s]
/proc/loadavg: 4.29 4.18 4.12 6/263 125176
/proc/meminfo: memFree=111195660/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=820924 memory=616640 CPUtime=341.22 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 153257 0 0 0 34065 57 0 0 20 0 1 0 142085006 840626176 154160 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 205231 154160 4416 2834 0 187436 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 820924 KiB
Current children cumulated memory: 616640 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.11 6/263 125178
/proc/meminfo: memFree=111213456/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=820924 memory=624592 CPUtime=401.04 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 153701 0 0 0 40022 82 0 0 20 0 1 0 142085006 840626176 156148 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 205231 156148 4416 2834 0 187436 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 820924 KiB
Current children cumulated memory: 624592 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.15 4.11 6/263 125179
/proc/meminfo: memFree=111191104/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=839892 memory=628560 CPUtime=460.85 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 154197 0 0 0 45980 105 0 0 20 0 1 0 142085006 860049408 157140 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 209973 157140 4416 2834 0 192178 0
Current children cumulated CPU time: 460.85 s

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

Current children cumulated memory: 733532 KiB

[startup+2862.3 s]
/proc/loadavg: 1.04 1.16 1.95 2/245 125385
/proc/meminfo: memFree=115897428/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=2853.51 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155494 0 0 0 284710 641 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 2853.51 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+2922.3 s]
/proc/loadavg: 1.12 1.16 1.90 2/245 125387
/proc/meminfo: memFree=115897212/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=2913.35 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155549 0 0 0 290686 649 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 2913.35 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+2982.3 s]
/proc/loadavg: 1.10 1.14 1.85 2/246 125391
/proc/meminfo: memFree=115897748/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=2973.21 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155605 0 0 0 296664 657 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 2973.21 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3042.3 s]
/proc/loadavg: 1.08 1.13 1.80 2/246 125398
/proc/meminfo: memFree=115898264/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3033.05 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155606 0 0 0 302642 663 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3033.05 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.12 1.75 2/247 125401
/proc/meminfo: memFree=115899344/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3092.9 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155607 0 0 0 308620 670 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3092.9 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3162.3 s]
/proc/loadavg: 1.08 1.11 1.71 2/247 125403
/proc/meminfo: memFree=115899944/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3152.74 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155608 0 0 0 314599 675 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3152.74 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.12 1.67 2/247 125405
/proc/meminfo: memFree=115900732/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3212.58 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155609 0 0 0 320576 682 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3212.58 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3282.3 s]
/proc/loadavg: 1.05 1.10 1.63 2/247 125407
/proc/meminfo: memFree=115901092/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3272.43 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155610 0 0 0 326556 687 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3272.43 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3342.3 s]
/proc/loadavg: 1.06 1.09 1.59 2/246 125409
/proc/meminfo: memFree=115902024/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3332.27 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155612 0 0 0 332533 694 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.10 1.56 2/245 125411
/proc/meminfo: memFree=115902624/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3392.12 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155613 0 0 0 338512 700 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3392.12 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.09 1.53 2/245 125413
/proc/meminfo: memFree=115903172/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3451.95 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155614 0 0 0 344492 703 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.09 1.50 2/245 125415
/proc/meminfo: memFree=115904040/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3511.8 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155615 0 0 0 350471 709 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3511.8 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.09 1.47 2/245 125419
/proc/meminfo: memFree=115906092/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=735580 CPUtime=3571.64 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155616 0 0 0 356449 715 0 0 20 0 1 0 142085006 942899200 183895 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 183895 4416 2834 0 212405 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 735580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 1.13 1.10 1.46 2/245 125431
/proc/meminfo: memFree=115902500/131249996 swapFree=33010684/33010684
[pid=125162] ppid=125159 vsize=920800 memory=737628 CPUtime=3600.07 cores=4,6
/proc/125162/stat : 125162 (mixed-bag) R 125159 125162 123311 0 -1 4194304 155617 0 0 0 359289 718 0 0 20 0 1 0 142085006 942899200 184407 18446744073709551615 4235264 15840557 140721488584960 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 40755200 140721488587162 140721488587239 140721488587239 140721488592843 0
/proc/125162/statm: 230200 184407 4416 2834 0 212405 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 920800 KiB
Current children cumulated memory: 737628 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.91 s, system=7.18416 s

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

Child status: 0

Real time (s): 3610.81
CPU time (s): 3600.09
CPU user time (s): 3592.91
CPU system time (s): 7.18416
CPU usage (%): 99.7031
Max. virtual memory (cumulated for all children) (KiB): 991572
Max. memory (cumulated for all children) (KiB): 774996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.91
system time used= 7.18416
maximum resident set size= 774996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155660
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= 158
involuntary context switches= 1234


# summary of solver processes directly reported to runsolver:
#   pid: 125162
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3592.91
#   total CPU system time (s): 7.18416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63209 second user time and 15.3121 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2025-07-11 22:01:11
IDJOB=4529298
IDBENCH=178251
IDSOLVER=3386
FILE ID=nodeC024/4529298-1752264071
RUNJOBID= nodeC024-1752258128-123322
SLURM_JOB_ID= 9682612
Free space on /tmp= 432204 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_50.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529298-1752264071/watcher-4529298-1752264071 -o /tmp/evaluation-result-4529298-1752264071/solver-4529298-1752264071 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1752258128-123322 --watchdog 3760  mixed-bag HOME/instance-4529298-1752264071.opb

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

MD5SUM BENCH= 68c73bc206439bbe0d5a467b2a25edac
RANDOM SEED=2000620358

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        111828092 kB
MemAvailable:   125038428 kB
Buffers:            2144 kB
Cached:         13974016 kB
SwapCached:            0 kB
Active:          5338628 kB
Inactive:       13393348 kB
Active(anon):    4773852 kB
Inactive(anon):       36 kB
Active(file):     564776 kB
Inactive(file): 13393312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17844 kB
Writeback:             0 kB
AnonPages:       4758460 kB
Mapped:           141140 kB
Shmem:             18064 kB
KReclaimable:     182572 kB
Slab:             276388 kB
SReclaimable:     182572 kB
SUnreclaim:        93816 kB
KernelStack:        4272 kB
PageTables:        12892 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    5378004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2725888 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      195284 kB
DirectMap2M:     6916096 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC024 at 2025-07-11 23:01:22