Trace number 4528922

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-10? (TO) 3600.05 3609.71

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
MD5SUMf429a5cb74c34761160471c7897bca93
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1037
Best CPU time to get the best result obtained on this benchmark3585.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1963
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1963
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1963
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1963
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.02	c [STEP] preprocessing with Papilo
0.00/0.03	c [STEP] solving with SCIP
299.20/300.07	c [STEP] preprocessing done, loading into solver
299.20/300.07	c [STEP] solving
299.20/300.07	c #variables 1658 #constraints 3254
299.20/300.07	c SMALL=int, LARGE=long long
299.20/300.08	d SCIPUB 889
299.20/300.08	c bounds - >= 0 @ 299.125
299.20/300.08	c stratification level: 0
299.50/300.39	c bounds - >= 677 @ 299.134
299.50/300.39	c bounds - >= 678 @ 299.136
299.50/300.39	c bounds - >= 679 @ 299.137
299.50/300.39	c bounds - >= 680 @ 299.137
299.50/300.39	c bounds - >= 681 @ 299.137
299.50/300.39	c bounds - >= 682 @ 299.137
299.50/300.39	c bounds - >= 683 @ 299.137
299.50/300.39	c bounds - >= 684 @ 299.137
299.50/300.39	c bounds - >= 685 @ 299.138
299.50/300.39	c bounds - >= 686 @ 299.138
299.50/300.39	c bounds - >= 687 @ 299.138
299.50/300.39	c bounds - >= 688 @ 299.138
299.50/300.39	c bounds - >= 689 @ 299.138
299.50/300.39	c bounds - >= 690 @ 299.139
299.50/300.39	c bounds - >= 691 @ 299.139
299.50/300.39	c bounds - >= 692 @ 299.139
299.50/300.39	c bounds - >= 693 @ 299.139
299.50/300.39	c bounds - >= 694 @ 299.139
299.50/300.39	c bounds - >= 695 @ 299.14
299.50/300.39	c bounds - >= 696 @ 299.14
299.50/300.39	c bounds - >= 697 @ 299.14
299.50/300.39	c bounds - >= 698 @ 299.14
299.50/300.39	c bounds - >= 699 @ 299.14
299.50/300.39	c bounds - >= 700 @ 299.141
299.50/300.39	c bounds - >= 701 @ 299.141
299.50/300.39	c bounds - >= 702 @ 299.141
299.50/300.39	c bounds - >= 703 @ 299.141
299.50/300.39	c bounds - >= 704 @ 299.141
299.50/300.39	c bounds - >= 705 @ 299.142
299.50/300.39	c bounds - >= 706 @ 299.142
299.50/300.39	c bounds - >= 707 @ 299.142
299.50/300.39	c bounds - >= 708 @ 299.142
299.50/300.39	c bounds - >= 709 @ 299.143
299.50/300.39	c bounds - >= 710 @ 299.143
299.50/300.39	c bounds - >= 711 @ 299.143
299.50/300.39	c bounds - >= 712 @ 299.143
299.50/300.39	c bounds - >= 713 @ 299.143
299.50/300.39	c bounds - >= 714 @ 299.144
299.50/300.39	c bounds - >= 715 @ 299.144
299.50/300.39	c bounds - >= 716 @ 299.144
299.50/300.39	c bounds - >= 717 @ 299.144
299.50/300.39	c bounds - >= 718 @ 299.144
299.50/300.39	c bounds - >= 719 @ 299.144
299.50/300.39	c bounds - >= 720 @ 299.144
299.50/300.39	c bounds - >= 721 @ 299.144
299.50/300.39	c bounds - >= 722 @ 299.145
299.50/300.39	c bounds - >= 723 @ 299.145
299.50/300.39	c bounds - >= 724 @ 299.145
299.50/300.39	c bounds - >= 725 @ 299.145
299.50/300.39	c bounds - >= 726 @ 299.146
299.50/300.39	c bounds - >= 727 @ 299.146
299.50/300.39	c bounds - >= 728 @ 299.146
299.50/300.39	c bounds - >= 729 @ 299.146
299.50/300.39	c bounds - >= 730 @ 299.146
299.50/300.39	c bounds - >= 731 @ 299.147
299.50/300.39	c bounds - >= 732 @ 299.147
299.50/300.39	c bounds - >= 733 @ 299.147
299.50/300.39	c bounds - >= 734 @ 299.147
299.50/300.39	c bounds - >= 735 @ 299.148
299.50/300.39	c bounds - >= 736 @ 299.148
299.50/300.39	c bounds - >= 737 @ 299.148
299.50/300.39	c bounds - >= 738 @ 299.148
299.50/300.39	c bounds - >= 739 @ 299.148
299.50/300.39	c bounds - >= 740 @ 299.148
299.50/300.39	c bounds - >= 741 @ 299.148
299.50/300.39	c bounds - >= 742 @ 299.148
299.50/300.39	c bounds - >= 743 @ 299.149
299.50/300.39	c bounds - >= 744 @ 299.149
299.50/300.39	c bounds - >= 745 @ 299.149
299.50/300.39	c bounds - >= 746 @ 299.149
299.50/300.39	c bounds - >= 747 @ 299.149
299.50/300.39	c bounds - >= 748 @ 299.149
299.50/300.39	c bounds - >= 749 @ 299.149
299.50/300.39	c bounds - >= 750 @ 299.149
299.50/300.39	c bounds - >= 751 @ 299.149
299.50/300.39	c bounds - >= 752 @ 299.149
299.50/300.39	c bounds - >= 753 @ 299.149
299.50/300.39	c bounds - >= 754 @ 299.149
299.50/300.39	c bounds - >= 755 @ 299.15
299.50/300.39	c bounds - >= 756 @ 299.15
299.50/300.39	c bounds - >= 757 @ 299.15
299.50/300.39	c bounds - >= 758 @ 299.151
299.50/300.39	c bounds - >= 759 @ 299.151
299.50/300.39	c bounds - >= 760 @ 299.151
299.50/300.39	c bounds - >= 761 @ 299.151
299.50/300.39	c bounds - >= 762 @ 299.152
299.50/300.39	c bounds - >= 763 @ 299.152
299.50/300.39	c bounds - >= 764 @ 299.152
299.50/300.39	c bounds - >= 765 @ 299.152
299.50/300.39	c bounds - >= 766 @ 299.153
299.50/300.39	c bounds - >= 767 @ 299.153
299.50/300.39	c bounds - >= 768 @ 299.153
299.50/300.39	c bounds - >= 769 @ 299.154
299.50/300.39	c bounds - >= 770 @ 299.154
299.50/300.39	c bounds - >= 771 @ 299.154
299.50/300.39	c bounds - >= 772 @ 299.154
299.50/300.39	c bounds - >= 773 @ 299.154
299.50/300.39	c bounds - >= 774 @ 299.154
299.50/300.39	c bounds - >= 775 @ 299.154
299.50/300.39	c bounds - >= 776 @ 299.154
299.50/300.39	c bounds - >= 777 @ 299.155
299.50/300.39	c bounds - >= 778 @ 299.155
299.50/300.39	c bounds - >= 779 @ 299.155
299.50/300.39	c bounds - >= 780 @ 299.156
299.50/300.39	c bounds - >= 781 @ 299.156
299.50/300.39	c bounds - >= 782 @ 299.156
299.50/300.39	c bounds - >= 783 @ 299.156
299.50/300.39	c bounds - >= 784 @ 299.156
299.50/300.39	c bounds - >= 785 @ 299.156
299.50/300.39	c bounds - >= 786 @ 299.156
299.50/300.39	c bounds - >= 787 @ 299.156
299.50/300.39	c bounds - >= 788 @ 299.156
299.50/300.39	c bounds - >= 789 @ 299.156
299.50/300.39	c bounds - >= 790 @ 299.157
299.50/300.39	c bounds - >= 791 @ 299.157
299.50/300.39	c bounds - >= 792 @ 299.157
299.50/300.39	c bounds - >= 793 @ 299.158
299.50/300.39	c bounds - >= 794 @ 299.158
299.50/300.39	c bounds - >= 795 @ 299.158
299.50/300.39	c bounds - >= 796 @ 299.158
299.50/300.39	c bounds - >= 797 @ 299.158
299.50/300.39	c bounds - >= 798 @ 299.158
299.50/300.39	c bounds - >= 799 @ 299.159
299.50/300.39	c bounds - >= 800 @ 299.159
299.50/300.39	c bounds - >= 801 @ 299.159
299.50/300.39	c bounds - >= 802 @ 299.159
299.50/300.39	c bounds - >= 803 @ 299.159
299.50/300.39	c bounds - >= 804 @ 299.16
299.50/300.39	c bounds - >= 805 @ 299.16
299.50/300.39	c bounds - >= 806 @ 299.16
299.50/300.39	c bounds - >= 807 @ 299.16
299.50/300.39	c bounds - >= 808 @ 299.16
299.50/300.39	c bounds - >= 809 @ 299.16
299.50/300.39	c bounds - >= 810 @ 299.161
299.50/300.39	c bounds - >= 811 @ 299.161
299.50/300.39	c bounds - >= 812 @ 299.161
299.50/300.39	c bounds - >= 813 @ 299.161
299.50/300.39	c bounds - >= 814 @ 299.161
299.50/300.39	c bounds - >= 815 @ 299.162
299.50/300.39	c bounds - >= 816 @ 299.162
299.50/300.39	c bounds - >= 817 @ 299.162
299.50/300.39	c bounds - >= 818 @ 299.162
299.50/300.39	c bounds - >= 819 @ 299.162
299.50/300.39	c bounds - >= 820 @ 299.162
299.50/300.39	c bounds - >= 821 @ 299.162
299.50/300.39	c #Conflicts:       1000 | #Constraints:       5218
348.67/349.63	c #Conflicts:       2000 | #Constraints:       6218
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:       3000 | #Constraints:       6034
348.67/349.63	c #Conflicts:       4000 | #Constraints:       7034
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:       5000 | #Constraints:       6409
348.67/349.63	c #Conflicts:       6000 | #Constraints:       7409
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:       7000 | #Constraints:       6397
348.67/349.63	c #Conflicts:       8000 | #Constraints:       7397
348.67/349.63	c #Conflicts:       9000 | #Constraints:       8397
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      10000 | #Constraints:       7091
348.67/349.63	c #Conflicts:      11000 | #Constraints:       8091
348.67/349.63	c #Conflicts:      12000 | #Constraints:       9091
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      13000 | #Constraints:       7538
348.67/349.63	c #Conflicts:      14000 | #Constraints:       8538
348.67/349.63	c #Conflicts:      15000 | #Constraints:       9538
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      16000 | #Constraints:       7763
348.67/349.63	c #Conflicts:      17000 | #Constraints:       8763
348.67/349.63	c #Conflicts:      18000 | #Constraints:       9763
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      19000 | #Constraints:       7782
348.67/349.63	c #Conflicts:      20000 | #Constraints:       8782
348.67/349.63	c #Conflicts:      21000 | #Constraints:       9782
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      22000 | #Constraints:       7582
348.67/349.63	c #Conflicts:      23000 | #Constraints:       8582
348.67/349.63	c #Conflicts:      24000 | #Constraints:       9582
348.67/349.63	c #Conflicts:      25000 | #Constraints:      10582
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      26000 | #Constraints:       8192
348.67/349.63	c #Conflicts:      27000 | #Constraints:       9192
348.67/349.63	c #Conflicts:      28000 | #Constraints:      10192
348.67/349.63	c #Conflicts:      29000 | #Constraints:      11192
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      30000 | #Constraints:       8595
348.67/349.63	c #Conflicts:      31000 | #Constraints:       9595
348.67/349.63	c #Conflicts:      32000 | #Constraints:      10595
348.67/349.63	c #Conflicts:      33000 | #Constraints:      11595
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      34000 | #Constraints:       8787
348.67/349.63	c #Conflicts:      35000 | #Constraints:       9787
348.67/349.63	c #Conflicts:      36000 | #Constraints:      10787
348.67/349.63	c #Conflicts:      37000 | #Constraints:      11787
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      38000 | #Constraints:       8787
348.67/349.63	c #Conflicts:      39000 | #Constraints:       9787
348.67/349.63	c #Conflicts:      40000 | #Constraints:      10787
348.67/349.63	c #Conflicts:      41000 | #Constraints:      11787
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      42000 | #Constraints:       8585
348.67/349.63	c #Conflicts:      43000 | #Constraints:       9585
348.67/349.63	c #Conflicts:      44000 | #Constraints:      10585
348.67/349.63	c #Conflicts:      45000 | #Constraints:      11585
348.67/349.63	c #Conflicts:      46000 | #Constraints:      12585
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      47000 | #Constraints:       9183
348.67/349.63	c #Conflicts:      48000 | #Constraints:      10183
348.67/349.63	c #Conflicts:      49000 | #Constraints:      11183
348.67/349.63	c #Conflicts:      50000 | #Constraints:      12183
348.67/349.63	c #Conflicts:      51000 | #Constraints:      13183
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      52000 | #Constraints:       9580
348.67/349.63	c #Conflicts:      53000 | #Constraints:      10580
348.67/349.63	c #Conflicts:      54000 | #Constraints:      11580
348.67/349.63	c #Conflicts:      55000 | #Constraints:      12580
348.67/349.63	c #Conflicts:      56000 | #Constraints:      13580
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      57000 | #Constraints:       9781
348.67/349.63	c #Conflicts:      58000 | #Constraints:      10781
348.67/349.63	c #Conflicts:      59000 | #Constraints:      11781
348.67/349.63	c #Conflicts:      60000 | #Constraints:      12781
348.67/349.63	c #Conflicts:      61000 | #Constraints:      13781
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      62000 | #Constraints:       9778
348.67/349.63	c #Conflicts:      63000 | #Constraints:      10778
348.67/349.63	c #Conflicts:      64000 | #Constraints:      11778
348.67/349.63	c #Conflicts:      65000 | #Constraints:      12778
348.67/349.63	c #Conflicts:      66000 | #Constraints:      13778
348.67/349.63	c INPROCESSING
348.67/349.63	c GARBAGE COLLECT
348.67/349.63	c #Conflicts:      67000 | #Constraints:       9578
348.67/349.63	c #Conflicts:      68000 | #Constraints:      10578
348.67/349.63	c #Conflicts:      69000 | #Constraints:      11578
435.75/436.91	c #Conflicts:      70000 | #Constraints:      12578
435.75/436.91	c #Conflicts:      71000 | #Constraints:      13578
435.75/436.91	c #Conflicts:      72000 | #Constraints:      14578
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:      73000 | #Constraints:      10186
435.75/436.91	c #Conflicts:      74000 | #Constraints:      11186
435.75/436.91	c #Conflicts:      75000 | #Constraints:      12186
435.75/436.91	c #Conflicts:      76000 | #Constraints:      13186
435.75/436.91	c #Conflicts:      77000 | #Constraints:      14186
435.75/436.91	c #Conflicts:      78000 | #Constraints:      15186
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:      79000 | #Constraints:      10588
435.75/436.91	c #Conflicts:      80000 | #Constraints:      11588
435.75/436.91	c #Conflicts:      81000 | #Constraints:      12588
435.75/436.91	c #Conflicts:      82000 | #Constraints:      13588
435.75/436.91	c #Conflicts:      83000 | #Constraints:      14588
435.75/436.91	c #Conflicts:      84000 | #Constraints:      15588
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:      85000 | #Constraints:      10790
435.75/436.91	c #Conflicts:      86000 | #Constraints:      11790
435.75/436.91	c #Conflicts:      87000 | #Constraints:      12790
435.75/436.91	c #Conflicts:      88000 | #Constraints:      13790
435.75/436.91	c #Conflicts:      89000 | #Constraints:      14790
435.75/436.91	c #Conflicts:      90000 | #Constraints:      15790
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:      91000 | #Constraints:      10789
435.75/436.91	c #Conflicts:      92000 | #Constraints:      11789
435.75/436.91	c #Conflicts:      93000 | #Constraints:      12789
435.75/436.91	c #Conflicts:      94000 | #Constraints:      13789
435.75/436.91	c #Conflicts:      95000 | #Constraints:      14789
435.75/436.91	c #Conflicts:      96000 | #Constraints:      15789
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:      97000 | #Constraints:      10597
435.75/436.91	c #Conflicts:      98000 | #Constraints:      11597
435.75/436.91	c #Conflicts:      99000 | #Constraints:      12597
435.75/436.91	c #Conflicts:     100000 | #Constraints:      13597
435.75/436.91	c #Conflicts:     101000 | #Constraints:      14597
435.75/436.91	c #Conflicts:     102000 | #Constraints:      15597
435.75/436.91	c #Conflicts:     103000 | #Constraints:      16597
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     104000 | #Constraints:      11193
435.75/436.91	c #Conflicts:     105000 | #Constraints:      12193
435.75/436.91	c #Conflicts:     106000 | #Constraints:      13193
435.75/436.91	c #Conflicts:     107000 | #Constraints:      14193
435.75/436.91	c #Conflicts:     108000 | #Constraints:      15193
435.75/436.91	c #Conflicts:     109000 | #Constraints:      16193
435.75/436.91	c #Conflicts:     110000 | #Constraints:      17193
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     111000 | #Constraints:      11589
435.75/436.91	c #Conflicts:     112000 | #Constraints:      12589
435.75/436.91	c #Conflicts:     113000 | #Constraints:      13589
435.75/436.91	c #Conflicts:     114000 | #Constraints:      14589
435.75/436.91	c #Conflicts:     115000 | #Constraints:      15589
435.75/436.91	c #Conflicts:     116000 | #Constraints:      16589
435.75/436.91	c #Conflicts:     117000 | #Constraints:      17589
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     118000 | #Constraints:      11786
435.75/436.91	c #Conflicts:     119000 | #Constraints:      12786
435.75/436.91	c #Conflicts:     120000 | #Constraints:      13786
435.75/436.91	c #Conflicts:     121000 | #Constraints:      14786
435.75/436.91	c #Conflicts:     122000 | #Constraints:      15786
435.75/436.91	c #Conflicts:     123000 | #Constraints:      16786
435.75/436.91	c #Conflicts:     124000 | #Constraints:      17786
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     125000 | #Constraints:      11787
435.75/436.91	c #Conflicts:     126000 | #Constraints:      12787
435.75/436.91	c #Conflicts:     127000 | #Constraints:      13787
435.75/436.91	c #Conflicts:     128000 | #Constraints:      14787
435.75/436.91	c #Conflicts:     129000 | #Constraints:      15787
435.75/436.91	c #Conflicts:     130000 | #Constraints:      16787
435.75/436.91	c #Conflicts:     131000 | #Constraints:      17787
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     132000 | #Constraints:      11578
435.75/436.91	c #Conflicts:     133000 | #Constraints:      12578
435.75/436.91	c #Conflicts:     134000 | #Constraints:      13578
435.75/436.91	c #Conflicts:     135000 | #Constraints:      14578
435.75/436.91	c #Conflicts:     136000 | #Constraints:      15578
435.75/436.91	c #Conflicts:     137000 | #Constraints:      16578
435.75/436.91	c #Conflicts:     138000 | #Constraints:      17578
435.75/436.91	c #Conflicts:     139000 | #Constraints:      18578
435.75/436.91	c INPROCESSING
435.75/436.91	c GARBAGE COLLECT
435.75/436.91	c #Conflicts:     140000 | #Constraints:      12187
435.75/436.91	c #Conflicts:     141000 | #Constraints:      13187
523.12/524.50	c #Conflicts:     142000 | #Constraints:      14187
523.12/524.50	c #Conflicts:     143000 | #Constraints:      15187
523.12/524.50	c #Conflicts:     144000 | #Constraints:      16187
523.12/524.50	c #Conflicts:     145000 | #Constraints:      17187
523.12/524.50	c #Conflicts:     146000 | #Constraints:      18187
523.12/524.50	c #Conflicts:     147000 | #Constraints:      19187
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     148000 | #Constraints:      12598
523.12/524.50	c #Conflicts:     149000 | #Constraints:      13598
523.12/524.50	c #Conflicts:     150000 | #Constraints:      14598
523.12/524.50	c #Conflicts:     151000 | #Constraints:      15598
523.12/524.50	c #Conflicts:     152000 | #Constraints:      16598
523.12/524.50	c #Conflicts:     153000 | #Constraints:      17598
523.12/524.50	c #Conflicts:     154000 | #Constraints:      18598
523.12/524.50	c #Conflicts:     155000 | #Constraints:      19598
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     156000 | #Constraints:      12794
523.12/524.50	c #Conflicts:     157000 | #Constraints:      13794
523.12/524.50	c #Conflicts:     158000 | #Constraints:      14794
523.12/524.50	c #Conflicts:     159000 | #Constraints:      15794
523.12/524.50	c #Conflicts:     160000 | #Constraints:      16794
523.12/524.50	c #Conflicts:     161000 | #Constraints:      17794
523.12/524.50	c #Conflicts:     162000 | #Constraints:      18794
523.12/524.50	c #Conflicts:     163000 | #Constraints:      19794
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     164000 | #Constraints:      12785
523.12/524.50	c #Conflicts:     165000 | #Constraints:      13785
523.12/524.50	c #Conflicts:     166000 | #Constraints:      14785
523.12/524.50	c #Conflicts:     167000 | #Constraints:      15785
523.12/524.50	c #Conflicts:     168000 | #Constraints:      16785
523.12/524.50	c #Conflicts:     169000 | #Constraints:      17785
523.12/524.50	c #Conflicts:     170000 | #Constraints:      18785
523.12/524.50	c #Conflicts:     171000 | #Constraints:      19785
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     172000 | #Constraints:      12583
523.12/524.50	c #Conflicts:     173000 | #Constraints:      13583
523.12/524.50	c #Conflicts:     174000 | #Constraints:      14583
523.12/524.50	c #Conflicts:     175000 | #Constraints:      15583
523.12/524.50	c #Conflicts:     176000 | #Constraints:      16583
523.12/524.50	c #Conflicts:     177000 | #Constraints:      17583
523.12/524.50	c #Conflicts:     178000 | #Constraints:      18583
523.12/524.50	c #Conflicts:     179000 | #Constraints:      19583
523.12/524.50	c #Conflicts:     180000 | #Constraints:      20583
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     181000 | #Constraints:      13182
523.12/524.50	c #Conflicts:     182000 | #Constraints:      14182
523.12/524.50	c #Conflicts:     183000 | #Constraints:      15182
523.12/524.50	c #Conflicts:     184000 | #Constraints:      16182
523.12/524.50	c #Conflicts:     185000 | #Constraints:      17182
523.12/524.50	c #Conflicts:     186000 | #Constraints:      18182
523.12/524.50	c #Conflicts:     187000 | #Constraints:      19182
523.12/524.50	c #Conflicts:     188000 | #Constraints:      20182
523.12/524.50	c #Conflicts:     189000 | #Constraints:      21182
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     190000 | #Constraints:      13594
523.12/524.50	c #Conflicts:     191000 | #Constraints:      14594
523.12/524.50	c #Conflicts:     192000 | #Constraints:      15594
523.12/524.50	c #Conflicts:     193000 | #Constraints:      16594
523.12/524.50	c #Conflicts:     194000 | #Constraints:      17594
523.12/524.50	c #Conflicts:     195000 | #Constraints:      18594
523.12/524.50	c #Conflicts:     196000 | #Constraints:      19594
523.12/524.50	c #Conflicts:     197000 | #Constraints:      20594
523.12/524.50	c #Conflicts:     198000 | #Constraints:      21594
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     199000 | #Constraints:      13796
523.12/524.50	c #Conflicts:     200000 | #Constraints:      14796
523.12/524.50	c #Conflicts:     201000 | #Constraints:      15796
523.12/524.50	c #Conflicts:     202000 | #Constraints:      16796
523.12/524.50	c #Conflicts:     203000 | #Constraints:      17796
523.12/524.50	c #Conflicts:     204000 | #Constraints:      18796
523.12/524.50	c #Conflicts:     205000 | #Constraints:      19796
523.12/524.50	c #Conflicts:     206000 | #Constraints:      20796
523.12/524.50	c #Conflicts:     207000 | #Constraints:      21796
523.12/524.50	c INPROCESSING
523.12/524.50	c GARBAGE COLLECT
523.12/524.50	c #Conflicts:     208000 | #Constraints:      13791
523.12/524.50	c #Conflicts:     209000 | #Constraints:      14791
523.12/524.50	c #Conflicts:     210000 | #Constraints:      15791
523.12/524.50	c #Conflicts:     211000 | #Constraints:      16791
523.12/524.50	c #Conflicts:     212000 | #Constraints:      17791
523.12/524.50	c #Conflicts:     213000 | #Constraints:      18791
523.12/524.50	c #Conflicts:     214000 | #Constraints:      19791
638.00/639.76	c #Conflicts:     215000 | #Constraints:      20791
638.00/639.76	c #Conflicts:     216000 | #Constraints:      21791
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     217000 | #Constraints:      13602
638.00/639.76	c #Conflicts:     218000 | #Constraints:      14602
638.00/639.76	c #Conflicts:     219000 | #Constraints:      15602
638.00/639.76	c #Conflicts:     220000 | #Constraints:      16602
638.00/639.76	c #Conflicts:     221000 | #Constraints:      17602
638.00/639.76	c #Conflicts:     222000 | #Constraints:      18602
638.00/639.76	c #Conflicts:     223000 | #Constraints:      19602
638.00/639.76	c #Conflicts:     224000 | #Constraints:      20602
638.00/639.76	c #Conflicts:     225000 | #Constraints:      21602
638.00/639.76	c #Conflicts:     226000 | #Constraints:      22602
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     227000 | #Constraints:      14196
638.00/639.76	c #Conflicts:     228000 | #Constraints:      15196
638.00/639.76	c #Conflicts:     229000 | #Constraints:      16196
638.00/639.76	c #Conflicts:     230000 | #Constraints:      17196
638.00/639.76	c #Conflicts:     231000 | #Constraints:      18196
638.00/639.76	c #Conflicts:     232000 | #Constraints:      19196
638.00/639.76	c #Conflicts:     233000 | #Constraints:      20196
638.00/639.76	c #Conflicts:     234000 | #Constraints:      21196
638.00/639.76	c #Conflicts:     235000 | #Constraints:      22196
638.00/639.76	c #Conflicts:     236000 | #Constraints:      23196
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     237000 | #Constraints:      14588
638.00/639.76	c #Conflicts:     238000 | #Constraints:      15588
638.00/639.76	c #Conflicts:     239000 | #Constraints:      16588
638.00/639.76	c #Conflicts:     240000 | #Constraints:      17588
638.00/639.76	c #Conflicts:     241000 | #Constraints:      18588
638.00/639.76	c #Conflicts:     242000 | #Constraints:      19588
638.00/639.76	c #Conflicts:     243000 | #Constraints:      20588
638.00/639.76	c #Conflicts:     244000 | #Constraints:      21588
638.00/639.76	c #Conflicts:     245000 | #Constraints:      22588
638.00/639.76	c #Conflicts:     246000 | #Constraints:      23588
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     247000 | #Constraints:      14791
638.00/639.76	c #Conflicts:     248000 | #Constraints:      15791
638.00/639.76	c #Conflicts:     249000 | #Constraints:      16791
638.00/639.76	c #Conflicts:     250000 | #Constraints:      17791
638.00/639.76	c #Conflicts:     251000 | #Constraints:      18791
638.00/639.76	c #Conflicts:     252000 | #Constraints:      19791
638.00/639.76	c #Conflicts:     253000 | #Constraints:      20791
638.00/639.76	c #Conflicts:     254000 | #Constraints:      21791
638.00/639.76	c #Conflicts:     255000 | #Constraints:      22791
638.00/639.76	c #Conflicts:     256000 | #Constraints:      23791
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     257000 | #Constraints:      14795
638.00/639.76	c #Conflicts:     258000 | #Constraints:      15795
638.00/639.76	c #Conflicts:     259000 | #Constraints:      16795
638.00/639.76	c #Conflicts:     260000 | #Constraints:      17795
638.00/639.76	c #Conflicts:     261000 | #Constraints:      18795
638.00/639.76	c #Conflicts:     262000 | #Constraints:      19795
638.00/639.76	c #Conflicts:     263000 | #Constraints:      20795
638.00/639.76	c #Conflicts:     264000 | #Constraints:      21795
638.00/639.76	c #Conflicts:     265000 | #Constraints:      22795
638.00/639.76	c #Conflicts:     266000 | #Constraints:      23795
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     267000 | #Constraints:      14589
638.00/639.76	c #Conflicts:     268000 | #Constraints:      15589
638.00/639.76	c #Conflicts:     269000 | #Constraints:      16589
638.00/639.76	c #Conflicts:     270000 | #Constraints:      17589
638.00/639.76	c #Conflicts:     271000 | #Constraints:      18589
638.00/639.76	c #Conflicts:     272000 | #Constraints:      19589
638.00/639.76	c #Conflicts:     273000 | #Constraints:      20589
638.00/639.76	c #Conflicts:     274000 | #Constraints:      21589
638.00/639.76	c #Conflicts:     275000 | #Constraints:      22589
638.00/639.76	c #Conflicts:     276000 | #Constraints:      23589
638.00/639.76	c #Conflicts:     277000 | #Constraints:      24589
638.00/639.76	c INPROCESSING
638.00/639.76	c GARBAGE COLLECT
638.00/639.76	c #Conflicts:     278000 | #Constraints:      15193
638.00/639.76	c #Conflicts:     279000 | #Constraints:      16193
638.00/639.76	c #Conflicts:     280000 | #Constraints:      17193
638.00/639.76	c #Conflicts:     281000 | #Constraints:      18193
638.00/639.76	c #Conflicts:     282000 | #Constraints:      19193
638.00/639.76	c #Conflicts:     283000 | #Constraints:      20193
638.00/639.76	c #Conflicts:     284000 | #Constraints:      21193
638.00/639.76	c #Conflicts:     285000 | #Constraints:      22193
638.00/639.76	c #Conflicts:     286000 | #Constraints:      23193
638.00/639.76	c #Conflicts:     287000 | #Constraints:      24193
638.00/639.76	c #Conflicts:     288000 | #Constraints:      25193
638.00/639.76	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     289000 | #Constraints:      15586
762.24/764.39	c #Conflicts:     290000 | #Constraints:      16586
762.24/764.39	c #Conflicts:     291000 | #Constraints:      17586
762.24/764.39	c #Conflicts:     292000 | #Constraints:      18586
762.24/764.39	c #Conflicts:     293000 | #Constraints:      19586
762.24/764.39	c #Conflicts:     294000 | #Constraints:      20586
762.24/764.39	c #Conflicts:     295000 | #Constraints:      21586
762.24/764.39	c #Conflicts:     296000 | #Constraints:      22586
762.24/764.39	c #Conflicts:     297000 | #Constraints:      23586
762.24/764.39	c #Conflicts:     298000 | #Constraints:      24586
762.24/764.39	c #Conflicts:     299000 | #Constraints:      25586
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     300000 | #Constraints:      15791
762.24/764.39	c #Conflicts:     301000 | #Constraints:      16791
762.24/764.39	c #Conflicts:     302000 | #Constraints:      17791
762.24/764.39	c #Conflicts:     303000 | #Constraints:      18791
762.24/764.39	c #Conflicts:     304000 | #Constraints:      19791
762.24/764.39	c #Conflicts:     305000 | #Constraints:      20791
762.24/764.39	c #Conflicts:     306000 | #Constraints:      21791
762.24/764.39	c #Conflicts:     307000 | #Constraints:      22791
762.24/764.39	c #Conflicts:     308000 | #Constraints:      23791
762.24/764.39	c #Conflicts:     309000 | #Constraints:      24791
762.24/764.39	c #Conflicts:     310000 | #Constraints:      25791
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     311000 | #Constraints:      15792
762.24/764.39	c #Conflicts:     312000 | #Constraints:      16792
762.24/764.39	c #Conflicts:     313000 | #Constraints:      17792
762.24/764.39	c #Conflicts:     314000 | #Constraints:      18792
762.24/764.39	c #Conflicts:     315000 | #Constraints:      19792
762.24/764.39	c #Conflicts:     316000 | #Constraints:      20792
762.24/764.39	c #Conflicts:     317000 | #Constraints:      21792
762.24/764.39	c #Conflicts:     318000 | #Constraints:      22792
762.24/764.39	c #Conflicts:     319000 | #Constraints:      23792
762.24/764.39	c #Conflicts:     320000 | #Constraints:      24792
762.24/764.39	c #Conflicts:     321000 | #Constraints:      25792
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     322000 | #Constraints:      15596
762.24/764.39	c #Conflicts:     323000 | #Constraints:      16596
762.24/764.39	c #Conflicts:     324000 | #Constraints:      17596
762.24/764.39	c #Conflicts:     325000 | #Constraints:      18596
762.24/764.39	c #Conflicts:     326000 | #Constraints:      19596
762.24/764.39	c #Conflicts:     327000 | #Constraints:      20596
762.24/764.39	c #Conflicts:     328000 | #Constraints:      21596
762.24/764.39	c #Conflicts:     329000 | #Constraints:      22596
762.24/764.39	c #Conflicts:     330000 | #Constraints:      23596
762.24/764.39	c #Conflicts:     331000 | #Constraints:      24596
762.24/764.39	c #Conflicts:     332000 | #Constraints:      25596
762.24/764.39	c #Conflicts:     333000 | #Constraints:      26596
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     334000 | #Constraints:      16207
762.24/764.39	c #Conflicts:     335000 | #Constraints:      17207
762.24/764.39	c #Conflicts:     336000 | #Constraints:      18207
762.24/764.39	c #Conflicts:     337000 | #Constraints:      19207
762.24/764.39	c #Conflicts:     338000 | #Constraints:      20207
762.24/764.39	c #Conflicts:     339000 | #Constraints:      21207
762.24/764.39	c #Conflicts:     340000 | #Constraints:      22207
762.24/764.39	c #Conflicts:     341000 | #Constraints:      23207
762.24/764.39	c #Conflicts:     342000 | #Constraints:      24207
762.24/764.39	c #Conflicts:     343000 | #Constraints:      25207
762.24/764.39	c #Conflicts:     344000 | #Constraints:      26207
762.24/764.39	c #Conflicts:     345000 | #Constraints:      27207
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     346000 | #Constraints:      16595
762.24/764.39	c #Conflicts:     347000 | #Constraints:      17595
762.24/764.39	c #Conflicts:     348000 | #Constraints:      18595
762.24/764.39	c #Conflicts:     349000 | #Constraints:      19595
762.24/764.39	c #Conflicts:     350000 | #Constraints:      20595
762.24/764.39	c #Conflicts:     351000 | #Constraints:      21595
762.24/764.39	c #Conflicts:     352000 | #Constraints:      22595
762.24/764.39	c #Conflicts:     353000 | #Constraints:      23595
762.24/764.39	c #Conflicts:     354000 | #Constraints:      24595
762.24/764.39	c #Conflicts:     355000 | #Constraints:      25595
762.24/764.39	c #Conflicts:     356000 | #Constraints:      26595
762.24/764.39	c #Conflicts:     357000 | #Constraints:      27595
762.24/764.39	c INPROCESSING
762.24/764.39	c GARBAGE COLLECT
762.24/764.39	c #Conflicts:     358000 | #Constraints:      16783
762.24/764.39	c #Conflicts:     359000 | #Constraints:      17783
762.24/764.39	c #Conflicts:     360000 | #Constraints:      18783
762.24/764.39	c #Conflicts:     361000 | #Constraints:      19783
762.24/764.39	c #Conflicts:     362000 | #Constraints:      20783
762.24/764.39	c #Conflicts:     363000 | #Constraints:      21783
892.28/894.75	c #Conflicts:     364000 | #Constraints:      22783
892.28/894.75	c #Conflicts:     365000 | #Constraints:      23783
892.28/894.75	c #Conflicts:     366000 | #Constraints:      24783
892.28/894.75	c #Conflicts:     367000 | #Constraints:      25783
892.28/894.75	c #Conflicts:     368000 | #Constraints:      26783
892.28/894.75	c #Conflicts:     369000 | #Constraints:      27783
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     370000 | #Constraints:      16793
892.28/894.75	c #Conflicts:     371000 | #Constraints:      17793
892.28/894.75	c #Conflicts:     372000 | #Constraints:      18793
892.28/894.75	c #Conflicts:     373000 | #Constraints:      19793
892.28/894.75	c #Conflicts:     374000 | #Constraints:      20793
892.28/894.75	c #Conflicts:     375000 | #Constraints:      21793
892.28/894.75	c #Conflicts:     376000 | #Constraints:      22793
892.28/894.75	c #Conflicts:     377000 | #Constraints:      23793
892.28/894.75	c #Conflicts:     378000 | #Constraints:      24793
892.28/894.75	c #Conflicts:     379000 | #Constraints:      25793
892.28/894.75	c #Conflicts:     380000 | #Constraints:      26793
892.28/894.75	c #Conflicts:     381000 | #Constraints:      27793
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     382000 | #Constraints:      16578
892.28/894.75	c #Conflicts:     383000 | #Constraints:      17578
892.28/894.75	c #Conflicts:     384000 | #Constraints:      18578
892.28/894.75	c #Conflicts:     385000 | #Constraints:      19578
892.28/894.75	c #Conflicts:     386000 | #Constraints:      20578
892.28/894.75	c #Conflicts:     387000 | #Constraints:      21578
892.28/894.75	c #Conflicts:     388000 | #Constraints:      22578
892.28/894.75	c #Conflicts:     389000 | #Constraints:      23578
892.28/894.75	c #Conflicts:     390000 | #Constraints:      24578
892.28/894.75	c #Conflicts:     391000 | #Constraints:      25578
892.28/894.75	c #Conflicts:     392000 | #Constraints:      26578
892.28/894.75	c #Conflicts:     393000 | #Constraints:      27578
892.28/894.75	c #Conflicts:     394000 | #Constraints:      28578
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     395000 | #Constraints:      17193
892.28/894.75	c #Conflicts:     396000 | #Constraints:      18193
892.28/894.75	c #Conflicts:     397000 | #Constraints:      19193
892.28/894.75	c #Conflicts:     398000 | #Constraints:      20193
892.28/894.75	c #Conflicts:     399000 | #Constraints:      21193
892.28/894.75	c #Conflicts:     400000 | #Constraints:      22193
892.28/894.75	c #Conflicts:     401000 | #Constraints:      23193
892.28/894.75	c #Conflicts:     402000 | #Constraints:      24193
892.28/894.75	c #Conflicts:     403000 | #Constraints:      25193
892.28/894.75	c #Conflicts:     404000 | #Constraints:      26193
892.28/894.75	c #Conflicts:     405000 | #Constraints:      27193
892.28/894.75	c #Conflicts:     406000 | #Constraints:      28193
892.28/894.75	c #Conflicts:     407000 | #Constraints:      29193
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     408000 | #Constraints:      17597
892.28/894.75	c #Conflicts:     409000 | #Constraints:      18597
892.28/894.75	c #Conflicts:     410000 | #Constraints:      19597
892.28/894.75	c #Conflicts:     411000 | #Constraints:      20597
892.28/894.75	c #Conflicts:     412000 | #Constraints:      21597
892.28/894.75	c #Conflicts:     413000 | #Constraints:      22597
892.28/894.75	c #Conflicts:     414000 | #Constraints:      23597
892.28/894.75	c #Conflicts:     415000 | #Constraints:      24597
892.28/894.75	c #Conflicts:     416000 | #Constraints:      25597
892.28/894.75	c #Conflicts:     417000 | #Constraints:      26597
892.28/894.75	c #Conflicts:     418000 | #Constraints:      27597
892.28/894.75	c #Conflicts:     419000 | #Constraints:      28597
892.28/894.75	c #Conflicts:     420000 | #Constraints:      29597
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     421000 | #Constraints:      17802
892.28/894.75	c #Conflicts:     422000 | #Constraints:      18802
892.28/894.75	c #Conflicts:     423000 | #Constraints:      19802
892.28/894.75	c #Conflicts:     424000 | #Constraints:      20802
892.28/894.75	c #Conflicts:     425000 | #Constraints:      21802
892.28/894.75	c #Conflicts:     426000 | #Constraints:      22802
892.28/894.75	c #Conflicts:     427000 | #Constraints:      23802
892.28/894.75	c #Conflicts:     428000 | #Constraints:      24802
892.28/894.75	c #Conflicts:     429000 | #Constraints:      25802
892.28/894.75	c #Conflicts:     430000 | #Constraints:      26802
892.28/894.75	c #Conflicts:     431000 | #Constraints:      27802
892.28/894.75	c #Conflicts:     432000 | #Constraints:      28802
892.28/894.75	c #Conflicts:     433000 | #Constraints:      29802
892.28/894.75	c INPROCESSING
892.28/894.75	c GARBAGE COLLECT
892.28/894.75	c #Conflicts:     434000 | #Constraints:      17811
892.28/894.75	c #Conflicts:     435000 | #Constraints:      18811
892.28/894.75	c #Conflicts:     436000 | #Constraints:      19811
892.28/894.75	c #Conflicts:     437000 | #Constraints:      20811
892.28/894.75	c #Conflicts:     438000 | #Constraints:      21811
1016.47/1019.21	c #Conflicts:     439000 | #Constraints:      22811
1016.47/1019.21	c #Conflicts:     440000 | #Constraints:      23811
1016.47/1019.21	c #Conflicts:     441000 | #Constraints:      24811
1016.47/1019.21	c #Conflicts:     442000 | #Constraints:      25811
1016.47/1019.21	c #Conflicts:     443000 | #Constraints:      26811
1016.47/1019.21	c #Conflicts:     444000 | #Constraints:      27811
1016.47/1019.21	c #Conflicts:     445000 | #Constraints:      28811
1016.47/1019.21	c #Conflicts:     446000 | #Constraints:      29811
1016.47/1019.21	c INPROCESSING
1016.47/1019.21	c GARBAGE COLLECT
1016.47/1019.21	c #Conflicts:     447000 | #Constraints:      17604
1016.47/1019.21	c #Conflicts:     448000 | #Constraints:      18604
1016.47/1019.21	c #Conflicts:     449000 | #Constraints:      19604
1016.47/1019.21	c #Conflicts:     450000 | #Constraints:      20604
1016.47/1019.21	c #Conflicts:     451000 | #Constraints:      21604
1016.47/1019.21	c #Conflicts:     452000 | #Constraints:      22604
1016.47/1019.21	c #Conflicts:     453000 | #Constraints:      23604
1016.47/1019.21	c #Conflicts:     454000 | #Constraints:      24604
1016.47/1019.21	c #Conflicts:     455000 | #Constraints:      25604
1016.47/1019.21	c #Conflicts:     456000 | #Constraints:      26604
1016.47/1019.21	c #Conflicts:     457000 | #Constraints:      27604
1016.47/1019.21	c #Conflicts:     458000 | #Constraints:      28604
1016.47/1019.21	c #Conflicts:     459000 | #Constraints:      29604
1016.47/1019.21	c #Conflicts:     460000 | #Constraints:      30604
1016.47/1019.21	c INPROCESSING
1016.47/1019.21	c GARBAGE COLLECT
1016.47/1019.21	c #Conflicts:     461000 | #Constraints:      18205
1016.47/1019.21	c #Conflicts:     462000 | #Constraints:      19205
1016.47/1019.21	c #Conflicts:     463000 | #Constraints:      20205
1016.47/1019.21	c #Conflicts:     464000 | #Constraints:      21205
1016.47/1019.21	c #Conflicts:     465000 | #Constraints:      22205
1016.47/1019.21	c #Conflicts:     466000 | #Constraints:      23205
1016.47/1019.21	c #Conflicts:     467000 | #Constraints:      24205
1016.47/1019.21	c #Conflicts:     468000 | #Constraints:      25205
1016.47/1019.21	c #Conflicts:     469000 | #Constraints:      26205
1016.47/1019.21	c #Conflicts:     470000 | #Constraints:      27205
1016.47/1019.21	c #Conflicts:     471000 | #Constraints:      28205
1016.47/1019.21	c #Conflicts:     472000 | #Constraints:      29205
1016.47/1019.21	c #Conflicts:     473000 | #Constraints:      30205
1016.47/1019.21	c #Conflicts:     474000 | #Constraints:      31205
1016.47/1019.21	c INPROCESSING
1016.47/1019.21	c GARBAGE COLLECT
1016.47/1019.21	c #Conflicts:     475000 | #Constraints:      18607
1016.47/1019.21	c #Conflicts:     476000 | #Constraints:      19607
1016.47/1019.21	c #Conflicts:     477000 | #Constraints:      20607
1016.47/1019.21	c #Conflicts:     478000 | #Constraints:      21607
1016.47/1019.21	c #Conflicts:     479000 | #Constraints:      22607
1016.47/1019.21	c #Conflicts:     480000 | #Constraints:      23607
1016.47/1019.21	c #Conflicts:     481000 | #Constraints:      24607
1016.47/1019.21	c #Conflicts:     482000 | #Constraints:      25607
1016.47/1019.21	c #Conflicts:     483000 | #Constraints:      26607
1016.47/1019.21	c #Conflicts:     484000 | #Constraints:      27607
1016.47/1019.21	c #Conflicts:     485000 | #Constraints:      28607
1016.47/1019.21	c #Conflicts:     486000 | #Constraints:      29607
1016.47/1019.21	c #Conflicts:     487000 | #Constraints:      30607
1016.47/1019.21	c #Conflicts:     488000 | #Constraints:      31607
1016.47/1019.21	c INPROCESSING
1016.47/1019.21	c GARBAGE COLLECT
1016.47/1019.21	c #Conflicts:     489000 | #Constraints:      18801
1016.47/1019.21	c #Conflicts:     490000 | #Constraints:      19801
1016.47/1019.21	c #Conflicts:     491000 | #Constraints:      20801
1016.47/1019.21	c #Conflicts:     492000 | #Constraints:      21801
1016.47/1019.21	c #Conflicts:     493000 | #Constraints:      22801
1016.47/1019.21	c #Conflicts:     494000 | #Constraints:      23801
1016.47/1019.21	c #Conflicts:     495000 | #Constraints:      24801
1016.47/1019.21	c #Conflicts:     496000 | #Constraints:      25801
1016.47/1019.21	c #Conflicts:     497000 | #Constraints:      26801
1016.47/1019.21	c #Conflicts:     498000 | #Constraints:      27801
1016.47/1019.21	c #Conflicts:     499000 | #Constraints:      28801
1016.47/1019.21	c #Conflicts:     500000 | #Constraints:      29801
1016.47/1019.21	c #Conflicts:     501000 | #Constraints:      30801
1016.47/1019.21	c #Conflicts:     502000 | #Constraints:      31801
1016.47/1019.21	c INPROCESSING
1016.47/1019.21	c GARBAGE COLLECT
1016.47/1019.21	c #Conflicts:     503000 | #Constraints:      18798
1016.47/1019.21	c #Conflicts:     504000 | #Constraints:      19798
1016.47/1019.21	c #Conflicts:     505000 | #Constraints:      20798
1016.47/1019.21	c #Conflicts:     506000 | #Constraints:      21798
1016.47/1019.21	c #Conflicts:     507000 | #Constraints:      22798
1016.47/1019.21	c #Conflicts:     508000 | #Constraints:      23798
1016.47/1019.21	c #Conflicts:     509000 | #Constraints:      24798
1016.47/1019.21	c #Conflicts:     510000 | #Constraints:      25798
1016.47/1019.21	c #Conflicts:     511000 | #Constraints:      26798
1016.47/1019.21	c #Conflicts:     512000 | #Constraints:      27798
1016.47/1019.21	c #Conflicts:     513000 | #Constraints:      28798
1169.39/1172.56	c #Conflicts:     514000 | #Constraints:      29798
1169.39/1172.56	c #Conflicts:     515000 | #Constraints:      30798
1169.39/1172.56	c #Conflicts:     516000 | #Constraints:      31798
1169.39/1172.56	c INPROCESSING
1169.39/1172.56	c GARBAGE COLLECT
1169.39/1172.56	c #Conflicts:     517000 | #Constraints:      18585
1169.39/1172.56	c #Conflicts:     518000 | #Constraints:      19585
1169.39/1172.56	c #Conflicts:     519000 | #Constraints:      20585
1169.39/1172.56	c #Conflicts:     520000 | #Constraints:      21585
1169.39/1172.56	c #Conflicts:     521000 | #Constraints:      22585
1169.39/1172.56	c #Conflicts:     522000 | #Constraints:      23585
1169.39/1172.56	c #Conflicts:     523000 | #Constraints:      24585
1169.39/1172.56	c #Conflicts:     524000 | #Constraints:      25585
1169.39/1172.56	c #Conflicts:     525000 | #Constraints:      26585
1169.39/1172.56	c #Conflicts:     526000 | #Constraints:      27585
1169.39/1172.56	c #Conflicts:     527000 | #Constraints:      28585
1169.39/1172.56	c #Conflicts:     528000 | #Constraints:      29585
1169.39/1172.56	c #Conflicts:     529000 | #Constraints:      30585
1169.39/1172.56	c #Conflicts:     530000 | #Constraints:      31585
1169.39/1172.56	c #Conflicts:     531000 | #Constraints:      32585
1169.39/1172.56	c INPROCESSING
1169.39/1172.56	c GARBAGE COLLECT
1169.39/1172.56	c #Conflicts:     532000 | #Constraints:      19190
1169.39/1172.56	c #Conflicts:     533000 | #Constraints:      20190
1169.39/1172.56	c #Conflicts:     534000 | #Constraints:      21190
1169.39/1172.56	c #Conflicts:     535000 | #Constraints:      22190
1169.39/1172.56	c #Conflicts:     536000 | #Constraints:      23190
1169.39/1172.56	c #Conflicts:     537000 | #Constraints:      24190
1169.39/1172.56	c #Conflicts:     538000 | #Constraints:      25190
1169.39/1172.56	c #Conflicts:     539000 | #Constraints:      26190
1169.39/1172.56	c #Conflicts:     540000 | #Constraints:      27190
1169.39/1172.56	c #Conflicts:     541000 | #Constraints:      28190
1169.39/1172.56	c #Conflicts:     542000 | #Constraints:      29190
1169.39/1172.56	c #Conflicts:     543000 | #Constraints:      30190
1169.39/1172.56	c #Conflicts:     544000 | #Constraints:      31190
1169.39/1172.56	c #Conflicts:     545000 | #Constraints:      32190
1169.39/1172.56	c #Conflicts:     546000 | #Constraints:      33190
1169.39/1172.56	c INPROCESSING
1169.39/1172.56	c GARBAGE COLLECT
1169.39/1172.56	c #Conflicts:     547000 | #Constraints:      19590
1169.39/1172.56	c #Conflicts:     548000 | #Constraints:      20590
1169.39/1172.56	c #Conflicts:     549000 | #Constraints:      21590
1169.39/1172.56	c #Conflicts:     550000 | #Constraints:      22590
1169.39/1172.56	c #Conflicts:     551000 | #Constraints:      23590
1169.39/1172.56	c #Conflicts:     552000 | #Constraints:      24590
1169.39/1172.56	c #Conflicts:     553000 | #Constraints:      25590
1169.39/1172.56	c #Conflicts:     554000 | #Constraints:      26590
1169.39/1172.56	c #Conflicts:     555000 | #Constraints:      27590
1169.39/1172.56	c #Conflicts:     556000 | #Constraints:      28590
1169.39/1172.56	c #Conflicts:     557000 | #Constraints:      29590
1169.39/1172.56	c #Conflicts:     558000 | #Constraints:      30590
1169.39/1172.56	c #Conflicts:     559000 | #Constraints:      31590
1169.39/1172.56	c #Conflicts:     560000 | #Constraints:      32590
1169.39/1172.56	c #Conflicts:     561000 | #Constraints:      33590
1169.39/1172.56	c INPROCESSING
1169.39/1172.56	c GARBAGE COLLECT
1169.39/1172.56	c #Conflicts:     562000 | #Constraints:      19788
1169.39/1172.56	c #Conflicts:     563000 | #Constraints:      20788
1169.39/1172.56	c #Conflicts:     564000 | #Constraints:      21788
1169.39/1172.56	c #Conflicts:     565000 | #Constraints:      22788
1169.39/1172.56	c #Conflicts:     566000 | #Constraints:      23788
1169.39/1172.56	c #Conflicts:     567000 | #Constraints:      24788
1169.39/1172.56	c #Conflicts:     568000 | #Constraints:      25788
1169.39/1172.56	c #Conflicts:     569000 | #Constraints:      26788
1169.39/1172.56	c #Conflicts:     570000 | #Constraints:      27788
1169.39/1172.56	c #Conflicts:     571000 | #Constraints:      28788
1169.39/1172.56	c #Conflicts:     572000 | #Constraints:      29788
1169.39/1172.56	c #Conflicts:     573000 | #Constraints:      30788
1169.39/1172.56	c #Conflicts:     574000 | #Constraints:      31788
1169.39/1172.56	c #Conflicts:     575000 | #Constraints:      32788
1169.39/1172.56	c #Conflicts:     576000 | #Constraints:      33788
1169.39/1172.56	c INPROCESSING
1169.39/1172.56	c GARBAGE COLLECT
1169.39/1172.56	c #Conflicts:     577000 | #Constraints:      19793
1169.39/1172.56	c #Conflicts:     578000 | #Constraints:      20793
1169.39/1172.56	c #Conflicts:     579000 | #Constraints:      21793
1169.39/1172.56	c #Conflicts:     580000 | #Constraints:      22793
1169.39/1172.56	c #Conflicts:     581000 | #Constraints:      23793
1169.39/1172.56	c #Conflicts:     582000 | #Constraints:      24793
1169.39/1172.56	c #Conflicts:     583000 | #Constraints:      25793
1169.39/1172.56	c #Conflicts:     584000 | #Constraints:      26793
1169.39/1172.56	c #Conflicts:     585000 | #Constraints:      27793
1169.39/1172.56	c #Conflicts:     586000 | #Constraints:      28793
1169.39/1172.56	c #Conflicts:     587000 | #Constraints:      29793
1169.39/1172.56	c #Conflicts:     588000 | #Constraints:      30793
1169.39/1172.56	c #Conflicts:     589000 | #Constraints:      31793
1288.49/1291.97	c #Conflicts:     590000 | #Constraints:      32793
1288.49/1291.97	c #Conflicts:     591000 | #Constraints:      33793
1288.49/1291.97	c INPROCESSING
1288.49/1291.97	c GARBAGE COLLECT
1288.49/1291.97	c #Conflicts:     592000 | #Constraints:      19593
1288.49/1291.97	c #Conflicts:     593000 | #Constraints:      20593
1288.49/1291.97	c #Conflicts:     594000 | #Constraints:      21593
1288.49/1291.97	c #Conflicts:     595000 | #Constraints:      22593
1288.49/1291.97	c #Conflicts:     596000 | #Constraints:      23593
1288.49/1291.97	c #Conflicts:     597000 | #Constraints:      24593
1288.49/1291.97	c #Conflicts:     598000 | #Constraints:      25593
1288.49/1291.97	c #Conflicts:     599000 | #Constraints:      26593
1288.49/1291.97	c #Conflicts:     600000 | #Constraints:      27593
1288.49/1291.97	c #Conflicts:     601000 | #Constraints:      28593
1288.49/1291.97	c #Conflicts:     602000 | #Constraints:      29593
1288.49/1291.97	c #Conflicts:     603000 | #Constraints:      30593
1288.49/1291.97	c #Conflicts:     604000 | #Constraints:      31593
1288.49/1291.97	c #Conflicts:     605000 | #Constraints:      32593
1288.49/1291.97	c #Conflicts:     606000 | #Constraints:      33593
1288.49/1291.97	c #Conflicts:     607000 | #Constraints:      34593
1288.49/1291.97	c INPROCESSING
1288.49/1291.97	c GARBAGE COLLECT
1288.49/1291.97	c #Conflicts:     608000 | #Constraints:      20196
1288.49/1291.97	c #Conflicts:     609000 | #Constraints:      21196
1288.49/1291.97	c #Conflicts:     610000 | #Constraints:      22196
1288.49/1291.97	c #Conflicts:     611000 | #Constraints:      23196
1288.49/1291.97	c #Conflicts:     612000 | #Constraints:      24196
1288.49/1291.97	c #Conflicts:     613000 | #Constraints:      25196
1288.49/1291.97	c #Conflicts:     614000 | #Constraints:      26196
1288.49/1291.97	c #Conflicts:     615000 | #Constraints:      27196
1288.49/1291.97	c #Conflicts:     616000 | #Constraints:      28196
1288.49/1291.97	c #Conflicts:     617000 | #Constraints:      29196
1288.49/1291.97	c #Conflicts:     618000 | #Constraints:      30196
1288.49/1291.97	c #Conflicts:     619000 | #Constraints:      31196
1288.49/1291.97	c #Conflicts:     620000 | #Constraints:      32196
1288.49/1291.97	c #Conflicts:     621000 | #Constraints:      33196
1288.49/1291.97	c #Conflicts:     622000 | #Constraints:      34196
1288.49/1291.97	c #Conflicts:     623000 | #Constraints:      35196
1288.49/1291.97	c INPROCESSING
1288.49/1291.97	c GARBAGE COLLECT
1288.49/1291.97	c #Conflicts:     624000 | #Constraints:      20594
1288.49/1291.97	c #Conflicts:     625000 | #Constraints:      21594
1288.49/1291.97	c #Conflicts:     626000 | #Constraints:      22594
1288.49/1291.97	c #Conflicts:     627000 | #Constraints:      23594
1288.49/1291.97	c #Conflicts:     628000 | #Constraints:      24594
1288.49/1291.97	c #Conflicts:     629000 | #Constraints:      25594
1288.49/1291.97	c #Conflicts:     630000 | #Constraints:      26594
1288.49/1291.97	c #Conflicts:     631000 | #Constraints:      27594
1288.49/1291.97	c #Conflicts:     632000 | #Constraints:      28594
1288.49/1291.97	c #Conflicts:     633000 | #Constraints:      29594
1288.49/1291.97	c #Conflicts:     634000 | #Constraints:      30594
1288.49/1291.97	c #Conflicts:     635000 | #Constraints:      31594
1288.49/1291.97	c #Conflicts:     636000 | #Constraints:      32594
1288.49/1291.97	c #Conflicts:     637000 | #Constraints:      33594
1288.49/1291.97	c #Conflicts:     638000 | #Constraints:      34594
1288.49/1291.97	c #Conflicts:     639000 | #Constraints:      35594
1288.49/1291.97	c INPROCESSING
1288.49/1291.97	c GARBAGE COLLECT
1288.49/1291.97	c #Conflicts:     640000 | #Constraints:      20793
1288.49/1291.97	c #Conflicts:     641000 | #Constraints:      21793
1288.49/1291.97	c #Conflicts:     642000 | #Constraints:      22793
1288.49/1291.97	c #Conflicts:     643000 | #Constraints:      23793
1288.49/1291.97	c #Conflicts:     644000 | #Constraints:      24793
1288.49/1291.97	c #Conflicts:     645000 | #Constraints:      25793
1288.49/1291.97	c #Conflicts:     646000 | #Constraints:      26793
1288.49/1291.97	c #Conflicts:     647000 | #Constraints:      27793
1288.49/1291.97	c #Conflicts:     648000 | #Constraints:      28793
1288.49/1291.97	c #Conflicts:     649000 | #Constraints:      29793
1288.49/1291.97	c #Conflicts:     650000 | #Constraints:      30793
1288.49/1291.97	c #Conflicts:     651000 | #Constraints:      31793
1288.49/1291.97	c #Conflicts:     652000 | #Constraints:      32793
1288.49/1291.97	c #Conflicts:     653000 | #Constraints:      33793
1288.49/1291.97	c #Conflicts:     654000 | #Constraints:      34793
1288.49/1291.97	c #Conflicts:     655000 | #Constraints:      35793
1288.49/1291.97	c INPROCESSING
1288.49/1291.97	c GARBAGE COLLECT
1288.49/1291.97	c #Conflicts:     656000 | #Constraints:      20796
1288.49/1291.97	c #Conflicts:     657000 | #Constraints:      21796
1288.49/1291.97	c #Conflicts:     658000 | #Constraints:      22796
1288.49/1291.97	c #Conflicts:     659000 | #Constraints:      23796
1288.49/1291.97	c #Conflicts:     660000 | #Constraints:      24796
1288.49/1291.97	c #Conflicts:     661000 | #Constraints:      25796
1288.49/1291.97	c #Conflicts:     662000 | #Constraints:      26796
1288.49/1291.97	c #Conflicts:     663000 | #Constraints:      27796
1288.49/1291.97	c #Conflicts:     664000 | #Constraints:      28796
1288.49/1291.97	c #Conflicts:     665000 | #Constraints:      29796
1447.87/1451.78	c #Conflicts:     666000 | #Constraints:      30796
1447.87/1451.78	c #Conflicts:     667000 | #Constraints:      31796
1447.87/1451.78	c #Conflicts:     668000 | #Constraints:      32796
1447.87/1451.78	c #Conflicts:     669000 | #Constraints:      33796
1447.87/1451.78	c #Conflicts:     670000 | #Constraints:      34796
1447.87/1451.78	c #Conflicts:     671000 | #Constraints:      35796
1447.87/1451.78	c INPROCESSING
1447.87/1451.78	c GARBAGE COLLECT
1447.87/1451.78	c #Conflicts:     672000 | #Constraints:      20590
1447.87/1451.78	c #Conflicts:     673000 | #Constraints:      21590
1447.87/1451.78	c #Conflicts:     674000 | #Constraints:      22590
1447.87/1451.78	c #Conflicts:     675000 | #Constraints:      23590
1447.87/1451.78	c #Conflicts:     676000 | #Constraints:      24590
1447.87/1451.78	c #Conflicts:     677000 | #Constraints:      25590
1447.87/1451.78	c #Conflicts:     678000 | #Constraints:      26590
1447.87/1451.78	c #Conflicts:     679000 | #Constraints:      27590
1447.87/1451.78	c #Conflicts:     680000 | #Constraints:      28590
1447.87/1451.78	c #Conflicts:     681000 | #Constraints:      29590
1447.87/1451.78	c #Conflicts:     682000 | #Constraints:      30590
1447.87/1451.78	c #Conflicts:     683000 | #Constraints:      31590
1447.87/1451.78	c #Conflicts:     684000 | #Constraints:      32590
1447.87/1451.78	c #Conflicts:     685000 | #Constraints:      33590
1447.87/1451.78	c #Conflicts:     686000 | #Constraints:      34590
1447.87/1451.78	c #Conflicts:     687000 | #Constraints:      35590
1447.87/1451.78	c #Conflicts:     688000 | #Constraints:      36590
1447.87/1451.78	c INPROCESSING
1447.87/1451.78	c GARBAGE COLLECT
1447.87/1451.78	c #Conflicts:     689000 | #Constraints:      21192
1447.87/1451.78	c #Conflicts:     690000 | #Constraints:      22192
1447.87/1451.78	c #Conflicts:     691000 | #Constraints:      23192
1447.87/1451.78	c #Conflicts:     692000 | #Constraints:      24192
1447.87/1451.78	c #Conflicts:     693000 | #Constraints:      25192
1447.87/1451.78	c #Conflicts:     694000 | #Constraints:      26192
1447.87/1451.78	c #Conflicts:     695000 | #Constraints:      27192
1447.87/1451.78	c #Conflicts:     696000 | #Constraints:      28192
1447.87/1451.78	c #Conflicts:     697000 | #Constraints:      29192
1447.87/1451.78	c #Conflicts:     698000 | #Constraints:      30192
1447.87/1451.78	c #Conflicts:     699000 | #Constraints:      31192
1447.87/1451.78	c #Conflicts:     700000 | #Constraints:      32192
1447.87/1451.78	c #Conflicts:     701000 | #Constraints:      33192
1447.87/1451.78	c #Conflicts:     702000 | #Constraints:      34192
1447.87/1451.78	c #Conflicts:     703000 | #Constraints:      35192
1447.87/1451.78	c #Conflicts:     704000 | #Constraints:      36192
1447.87/1451.78	c #Conflicts:     705000 | #Constraints:      37192
1447.87/1451.78	c INPROCESSING
1447.87/1451.78	c GARBAGE COLLECT
1447.87/1451.78	c #Conflicts:     706000 | #Constraints:      21601
1447.87/1451.78	c #Conflicts:     707000 | #Constraints:      22601
1447.87/1451.78	c #Conflicts:     708000 | #Constraints:      23601
1447.87/1451.78	c #Conflicts:     709000 | #Constraints:      24601
1447.87/1451.78	c #Conflicts:     710000 | #Constraints:      25601
1447.87/1451.78	c #Conflicts:     711000 | #Constraints:      26601
1447.87/1451.78	c #Conflicts:     712000 | #Constraints:      27601
1447.87/1451.78	c #Conflicts:     713000 | #Constraints:      28601
1447.87/1451.78	c #Conflicts:     714000 | #Constraints:      29601
1447.87/1451.78	c #Conflicts:     715000 | #Constraints:      30601
1447.87/1451.78	c #Conflicts:     716000 | #Constraints:      31601
1447.87/1451.78	c #Conflicts:     717000 | #Constraints:      32601
1447.87/1451.78	c #Conflicts:     718000 | #Constraints:      33601
1447.87/1451.78	c #Conflicts:     719000 | #Constraints:      34601
1447.87/1451.78	c #Conflicts:     720000 | #Constraints:      35601
1447.87/1451.78	c #Conflicts:     721000 | #Constraints:      36601
1447.87/1451.78	c #Conflicts:     722000 | #Constraints:      37601
1447.87/1451.78	c INPROCESSING
1447.87/1451.78	c GARBAGE COLLECT
1447.87/1451.78	c #Conflicts:     723000 | #Constraints:      21801
1447.87/1451.78	c #Conflicts:     724000 | #Constraints:      22801
1447.87/1451.78	c #Conflicts:     725000 | #Constraints:      23801
1447.87/1451.78	c #Conflicts:     726000 | #Constraints:      24801
1447.87/1451.78	c #Conflicts:     727000 | #Constraints:      25801
1447.87/1451.78	c #Conflicts:     728000 | #Constraints:      26801
1447.87/1451.78	c #Conflicts:     729000 | #Constraints:      27801
1447.87/1451.78	c #Conflicts:     730000 | #Constraints:      28801
1447.87/1451.78	c #Conflicts:     731000 | #Constraints:      29801
1447.87/1451.78	c #Conflicts:     732000 | #Constraints:      30801
1447.87/1451.78	c #Conflicts:     733000 | #Constraints:      31801
1447.87/1451.78	c #Conflicts:     734000 | #Constraints:      32801
1447.87/1451.78	c #Conflicts:     735000 | #Constraints:      33801
1447.87/1451.78	c #Conflicts:     736000 | #Constraints:      34801
1447.87/1451.78	c #Conflicts:     737000 | #Constraints:      35801
1447.87/1451.78	c #Conflicts:     738000 | #Constraints:      36801
1447.87/1451.78	c #Conflicts:     739000 | #Constraints:      37801
1447.87/1451.78	c INPROCESSING
1447.87/1451.78	c GARBAGE COLLECT
1447.87/1451.78	c #Conflicts:     740000 | #Constraints:      21792
1768.02/1772.87	c #Conflicts:     741000 | #Constraints:      22792
1768.02/1772.87	c #Conflicts:     742000 | #Constraints:      23792
1768.02/1772.87	c #Conflicts:     743000 | #Constraints:      24792
1768.02/1772.87	c #Conflicts:     744000 | #Constraints:      25792
1768.02/1772.87	c #Conflicts:     745000 | #Constraints:      26792
1768.02/1772.87	c #Conflicts:     746000 | #Constraints:      27792
1768.02/1772.87	c #Conflicts:     747000 | #Constraints:      28792
1768.02/1772.87	c #Conflicts:     748000 | #Constraints:      29792
1768.02/1772.87	c #Conflicts:     749000 | #Constraints:      30792
1768.02/1772.87	c #Conflicts:     750000 | #Constraints:      31792
1768.02/1772.87	c #Conflicts:     751000 | #Constraints:      32792
1768.02/1772.87	c #Conflicts:     752000 | #Constraints:      33792
1768.02/1772.87	c #Conflicts:     753000 | #Constraints:      34792
1768.02/1772.87	c #Conflicts:     754000 | #Constraints:      35792
1768.02/1772.87	c #Conflicts:     755000 | #Constraints:      36792
1768.02/1772.87	c #Conflicts:     756000 | #Constraints:      37792
1768.02/1772.87	c INPROCESSING
1768.02/1772.87	c GARBAGE COLLECT
1768.02/1772.87	c #Conflicts:     757000 | #Constraints:      21579
1768.02/1772.87	c #Conflicts:     758000 | #Constraints:      22579
1768.02/1772.87	c #Conflicts:     759000 | #Constraints:      23579
1768.02/1772.87	c #Conflicts:     760000 | #Constraints:      24579
1768.02/1772.87	c #Conflicts:     761000 | #Constraints:      25579
1768.02/1772.87	c #Conflicts:     762000 | #Constraints:      26579
1768.02/1772.87	c #Conflicts:     763000 | #Constraints:      27579
1768.02/1772.87	c #Conflicts:     764000 | #Constraints:      28579
1768.02/1772.87	c #Conflicts:     765000 | #Constraints:      29579
1768.02/1772.87	c #Conflicts:     766000 | #Constraints:      30579
1768.02/1772.87	c #Conflicts:     767000 | #Constraints:      31579
1768.02/1772.87	c #Conflicts:     768000 | #Constraints:      32579
1768.02/1772.87	c #Conflicts:     769000 | #Constraints:      33579
1768.02/1772.87	c #Conflicts:     770000 | #Constraints:      34579
1768.02/1772.87	c #Conflicts:     771000 | #Constraints:      35579
1768.02/1772.87	c #Conflicts:     772000 | #Constraints:      36579
1768.02/1772.87	c #Conflicts:     773000 | #Constraints:      37579
1768.02/1772.87	c #Conflicts:     774000 | #Constraints:      38579
1768.02/1772.87	c INPROCESSING
1768.02/1772.87	c GARBAGE COLLECT
1768.02/1772.87	c #Conflicts:     775000 | #Constraints:      22197
1768.02/1772.87	c #Conflicts:     776000 | #Constraints:      23197
1768.02/1772.87	c #Conflicts:     777000 | #Constraints:      24197
1768.02/1772.87	c #Conflicts:     778000 | #Constraints:      25197
1768.02/1772.87	c #Conflicts:     779000 | #Constraints:      26197
1768.02/1772.87	c #Conflicts:     780000 | #Constraints:      27197
1768.02/1772.87	c #Conflicts:     781000 | #Constraints:      28197
1768.02/1772.87	c #Conflicts:     782000 | #Constraints:      29197
1768.02/1772.87	c #Conflicts:     783000 | #Constraints:      30197
1768.02/1772.87	c #Conflicts:     784000 | #Constraints:      31197
1768.02/1772.87	c #Conflicts:     785000 | #Constraints:      32197
1768.02/1772.87	c #Conflicts:     786000 | #Constraints:      33197
1768.02/1772.87	c #Conflicts:     787000 | #Constraints:      34197
1768.02/1772.87	c #Conflicts:     788000 | #Constraints:      35197
1768.02/1772.87	c #Conflicts:     789000 | #Constraints:      36197
1768.02/1772.87	c #Conflicts:     790000 | #Constraints:      37197
1768.02/1772.87	c #Conflicts:     791000 | #Constraints:      38197
1768.02/1772.87	c #Conflicts:     792000 | #Constraints:      39197
1768.02/1772.87	c INPROCESSING
1768.02/1772.87	c GARBAGE COLLECT
1768.02/1772.87	c #Conflicts:     793000 | #Constraints:      22609
1768.02/1772.87	c #Conflicts:     794000 | #Constraints:      23609
1768.02/1772.87	c #Conflicts:     795000 | #Constraints:      24609
1768.02/1772.87	c #Conflicts:     796000 | #Constraints:      25609
1768.02/1772.87	c #Conflicts:     797000 | #Constraints:      26609
1768.02/1772.87	c #Conflicts:     798000 | #Constraints:      27609
1768.02/1772.87	c #Conflicts:     799000 | #Constraints:      28609
1768.02/1772.87	c #Conflicts:     800000 | #Constraints:      29609
1768.02/1772.87	c #Conflicts:     801000 | #Constraints:      30609
1768.02/1772.87	c #Conflicts:     802000 | #Constraints:      31609
1768.02/1772.87	c #Conflicts:     803000 | #Constraints:      32609
1768.02/1772.87	c #Conflicts:     804000 | #Constraints:      33609
1768.02/1772.87	c #Conflicts:     805000 | #Constraints:      34609
1768.02/1772.87	c #Conflicts:     806000 | #Constraints:      35609
1768.02/1772.87	c #Conflicts:     807000 | #Constraints:      36609
1768.02/1772.87	c #Conflicts:     808000 | #Constraints:      37609
1768.02/1772.87	c #Conflicts:     809000 | #Constraints:      38609
1768.02/1772.87	c #Conflicts:     810000 | #Constraints:      39609
1768.02/1772.87	c INPROCESSING
1768.02/1772.87	c GARBAGE COLLECT
1768.02/1772.87	c #Conflicts:     811000 | #Constraints:      22806
1768.02/1772.87	c #Conflicts:     812000 | #Constraints:      23806
1768.02/1772.87	c #Conflicts:     813000 | #Constraints:      24806
1768.02/1772.87	c #Conflicts:     814000 | #Constraints:      25806
1768.02/1772.87	c #Conflicts:     815000 | #Constraints:      26806
1768.02/1772.87	c #Conflicts:     816000 | #Constraints:      27806
1768.02/1772.87	c #Conflicts:     817000 | #Constraints:      28806
2106.69/2112.42	c #Conflicts:     818000 | #Constraints:      29806
2106.69/2112.42	c #Conflicts:     819000 | #Constraints:      30806
2106.69/2112.42	c #Conflicts:     820000 | #Constraints:      31806
2106.69/2112.42	c #Conflicts:     821000 | #Constraints:      32806
2106.69/2112.42	c #Conflicts:     822000 | #Constraints:      33806
2106.69/2112.42	c #Conflicts:     823000 | #Constraints:      34806
2106.69/2112.42	c #Conflicts:     824000 | #Constraints:      35806
2106.69/2112.42	c #Conflicts:     825000 | #Constraints:      36806
2106.69/2112.42	c #Conflicts:     826000 | #Constraints:      37806
2106.69/2112.42	c #Conflicts:     827000 | #Constraints:      38806
2106.69/2112.42	c #Conflicts:     828000 | #Constraints:      39806
2106.69/2112.42	c INPROCESSING
2106.69/2112.42	c GARBAGE COLLECT
2106.69/2112.42	c #Conflicts:     829000 | #Constraints:      22804
2106.69/2112.42	c #Conflicts:     830000 | #Constraints:      23804
2106.69/2112.42	c #Conflicts:     831000 | #Constraints:      24804
2106.69/2112.42	c #Conflicts:     832000 | #Constraints:      25804
2106.69/2112.42	c #Conflicts:     833000 | #Constraints:      26804
2106.69/2112.42	c #Conflicts:     834000 | #Constraints:      27804
2106.69/2112.42	c #Conflicts:     835000 | #Constraints:      28804
2106.69/2112.42	c #Conflicts:     836000 | #Constraints:      29804
2106.69/2112.42	c #Conflicts:     837000 | #Constraints:      30804
2106.69/2112.42	c #Conflicts:     838000 | #Constraints:      31804
2106.69/2112.42	c #Conflicts:     839000 | #Constraints:      32804
2106.69/2112.42	c #Conflicts:     840000 | #Constraints:      33804
2106.69/2112.42	c #Conflicts:     841000 | #Constraints:      34804
2106.69/2112.42	c #Conflicts:     842000 | #Constraints:      35804
2106.69/2112.42	c #Conflicts:     843000 | #Constraints:      36804
2106.69/2112.42	c #Conflicts:     844000 | #Constraints:      37804
2106.69/2112.42	c #Conflicts:     845000 | #Constraints:      38804
2106.69/2112.42	c #Conflicts:     846000 | #Constraints:      39804
2106.69/2112.42	c INPROCESSING
2106.69/2112.42	c GARBAGE COLLECT
2106.69/2112.42	c #Conflicts:     847000 | #Constraints:      22618
2106.69/2112.42	c #Conflicts:     848000 | #Constraints:      23618
2106.69/2112.42	c #Conflicts:     849000 | #Constraints:      24618
2106.69/2112.42	c #Conflicts:     850000 | #Constraints:      25618
2106.69/2112.42	c #Conflicts:     851000 | #Constraints:      26618
2106.69/2112.42	c #Conflicts:     852000 | #Constraints:      27618
2106.69/2112.42	c #Conflicts:     853000 | #Constraints:      28618
2106.69/2112.42	c #Conflicts:     854000 | #Constraints:      29618
2106.69/2112.42	c #Conflicts:     855000 | #Constraints:      30618
2106.69/2112.42	c #Conflicts:     856000 | #Constraints:      31618
2106.69/2112.42	c #Conflicts:     857000 | #Constraints:      32618
2106.69/2112.42	c #Conflicts:     858000 | #Constraints:      33618
2106.69/2112.42	c #Conflicts:     859000 | #Constraints:      34618
2106.69/2112.42	c #Conflicts:     860000 | #Constraints:      35618
2106.69/2112.42	c #Conflicts:     861000 | #Constraints:      36618
2106.69/2112.42	c #Conflicts:     862000 | #Constraints:      37618
2106.69/2112.42	c #Conflicts:     863000 | #Constraints:      38618
2106.69/2112.42	c #Conflicts:     864000 | #Constraints:      39618
2106.69/2112.42	c #Conflicts:     865000 | #Constraints:      40618
2106.69/2112.42	c INPROCESSING
2106.69/2112.42	c GARBAGE COLLECT
2106.69/2112.42	c #Conflicts:     866000 | #Constraints:      23215
2106.69/2112.42	c #Conflicts:     867000 | #Constraints:      24215
2106.69/2112.42	c #Conflicts:     868000 | #Constraints:      25215
2106.69/2112.42	c #Conflicts:     869000 | #Constraints:      26215
2106.69/2112.42	c #Conflicts:     870000 | #Constraints:      27215
2106.69/2112.42	c #Conflicts:     871000 | #Constraints:      28215
2106.69/2112.42	c #Conflicts:     872000 | #Constraints:      29215
2106.69/2112.42	c #Conflicts:     873000 | #Constraints:      30215
2106.69/2112.42	c #Conflicts:     874000 | #Constraints:      31215
2106.69/2112.42	c #Conflicts:     875000 | #Constraints:      32215
2106.69/2112.42	c #Conflicts:     876000 | #Constraints:      33215
2106.69/2112.42	c #Conflicts:     877000 | #Constraints:      34215
2106.69/2112.42	c #Conflicts:     878000 | #Constraints:      35215
2106.69/2112.42	c #Conflicts:     879000 | #Constraints:      36215
2106.69/2112.42	c #Conflicts:     880000 | #Constraints:      37215
2106.69/2112.42	c #Conflicts:     881000 | #Constraints:      38215
2106.69/2112.42	c #Conflicts:     882000 | #Constraints:      39215
2106.69/2112.42	c #Conflicts:     883000 | #Constraints:      40215
2106.69/2112.42	c #Conflicts:     884000 | #Constraints:      41215
2106.69/2112.42	c INPROCESSING
2106.69/2112.42	c GARBAGE COLLECT
2106.69/2112.42	c #Conflicts:     885000 | #Constraints:      23611
2106.69/2112.42	c #Conflicts:     886000 | #Constraints:      24611
2106.69/2112.42	c #Conflicts:     887000 | #Constraints:      25611
2106.69/2112.42	c #Conflicts:     888000 | #Constraints:      26611
2106.69/2112.42	c #Conflicts:     889000 | #Constraints:      27611
2106.69/2112.42	c #Conflicts:     890000 | #Constraints:      28611
2106.69/2112.42	c #Conflicts:     891000 | #Constraints:      29611
2106.69/2112.42	c #Conflicts:     892000 | #Constraints:      30611
2106.69/2112.42	c #Conflicts:     893000 | #Constraints:      31611
2452.18/2458.80	c #Conflicts:     894000 | #Constraints:      32611
2452.18/2458.80	c #Conflicts:     895000 | #Constraints:      33611
2452.18/2458.80	c #Conflicts:     896000 | #Constraints:      34611
2452.18/2458.80	c #Conflicts:     897000 | #Constraints:      35611
2452.18/2458.80	c #Conflicts:     898000 | #Constraints:      36611
2452.18/2458.80	c #Conflicts:     899000 | #Constraints:      37611
2452.18/2458.80	c #Conflicts:     900000 | #Constraints:      38611
2452.18/2458.80	c #Conflicts:     901000 | #Constraints:      39611
2452.18/2458.80	c #Conflicts:     902000 | #Constraints:      40611
2452.18/2458.80	c #Conflicts:     903000 | #Constraints:      41611
2452.18/2458.80	c INPROCESSING
2452.18/2458.80	c GARBAGE COLLECT
2452.18/2458.80	c #Conflicts:     904000 | #Constraints:      23814
2452.18/2458.80	c #Conflicts:     905000 | #Constraints:      24814
2452.18/2458.80	c #Conflicts:     906000 | #Constraints:      25814
2452.18/2458.80	c #Conflicts:     907000 | #Constraints:      26814
2452.18/2458.80	c #Conflicts:     908000 | #Constraints:      27814
2452.18/2458.80	c #Conflicts:     909000 | #Constraints:      28814
2452.18/2458.80	c #Conflicts:     910000 | #Constraints:      29814
2452.18/2458.80	c #Conflicts:     911000 | #Constraints:      30814
2452.18/2458.80	c #Conflicts:     912000 | #Constraints:      31814
2452.18/2458.80	c #Conflicts:     913000 | #Constraints:      32814
2452.18/2458.80	c #Conflicts:     914000 | #Constraints:      33814
2452.18/2458.80	c #Conflicts:     915000 | #Constraints:      34814
2452.18/2458.80	c #Conflicts:     916000 | #Constraints:      35814
2452.18/2458.80	c #Conflicts:     917000 | #Constraints:      36814
2452.18/2458.80	c #Conflicts:     918000 | #Constraints:      37814
2452.18/2458.80	c #Conflicts:     919000 | #Constraints:      38814
2452.18/2458.80	c #Conflicts:     920000 | #Constraints:      39814
2452.18/2458.80	c #Conflicts:     921000 | #Constraints:      40814
2452.18/2458.80	c #Conflicts:     922000 | #Constraints:      41814
2452.18/2458.80	c INPROCESSING
2452.18/2458.80	c GARBAGE COLLECT
2452.18/2458.80	c #Conflicts:     923000 | #Constraints:      23817
2452.18/2458.80	c #Conflicts:     924000 | #Constraints:      24817
2452.18/2458.80	c #Conflicts:     925000 | #Constraints:      25817
2452.18/2458.80	c #Conflicts:     926000 | #Constraints:      26817
2452.18/2458.80	c #Conflicts:     927000 | #Constraints:      27817
2452.18/2458.80	c #Conflicts:     928000 | #Constraints:      28817
2452.18/2458.80	c #Conflicts:     929000 | #Constraints:      29817
2452.18/2458.80	c #Conflicts:     930000 | #Constraints:      30817
2452.18/2458.80	c #Conflicts:     931000 | #Constraints:      31817
2452.18/2458.80	c #Conflicts:     932000 | #Constraints:      32817
2452.18/2458.80	c #Conflicts:     933000 | #Constraints:      33817
2452.18/2458.80	c #Conflicts:     934000 | #Constraints:      34817
2452.18/2458.80	c #Conflicts:     935000 | #Constraints:      35817
2452.18/2458.80	c #Conflicts:     936000 | #Constraints:      36817
2452.18/2458.80	c #Conflicts:     937000 | #Constraints:      37817
2452.18/2458.80	c #Conflicts:     938000 | #Constraints:      38817
2452.18/2458.80	c #Conflicts:     939000 | #Constraints:      39817
2452.18/2458.80	c #Conflicts:     940000 | #Constraints:      40817
2452.18/2458.80	c #Conflicts:     941000 | #Constraints:      41817
2452.18/2458.80	c INPROCESSING
2452.18/2458.80	c GARBAGE COLLECT
2452.18/2458.80	c #Conflicts:     942000 | #Constraints:      23614
2452.18/2458.80	c #Conflicts:     943000 | #Constraints:      24614
2452.18/2458.80	c #Conflicts:     944000 | #Constraints:      25614
2452.18/2458.80	c #Conflicts:     945000 | #Constraints:      26614
2452.18/2458.80	c #Conflicts:     946000 | #Constraints:      27614
2452.18/2458.80	c #Conflicts:     947000 | #Constraints:      28614
2452.18/2458.80	c #Conflicts:     948000 | #Constraints:      29614
2452.18/2458.80	c #Conflicts:     949000 | #Constraints:      30614
2452.18/2458.80	c #Conflicts:     950000 | #Constraints:      31614
2452.18/2458.80	c #Conflicts:     951000 | #Constraints:      32614
2452.18/2458.80	c #Conflicts:     952000 | #Constraints:      33614
2452.18/2458.80	c #Conflicts:     953000 | #Constraints:      34614
2452.18/2458.80	c #Conflicts:     954000 | #Constraints:      35614
2452.18/2458.80	c #Conflicts:     955000 | #Constraints:      36614
2452.18/2458.80	c #Conflicts:     956000 | #Constraints:      37614
2452.18/2458.80	c #Conflicts:     957000 | #Constraints:      38614
2452.18/2458.80	c #Conflicts:     958000 | #Constraints:      39614
2452.18/2458.80	c #Conflicts:     959000 | #Constraints:      40614
2452.18/2458.80	c #Conflicts:     960000 | #Constraints:      41614
2452.18/2458.80	c #Conflicts:     961000 | #Constraints:      42614
2452.18/2458.80	c INPROCESSING
2452.18/2458.80	c GARBAGE COLLECT
2452.18/2458.80	c #Conflicts:     962000 | #Constraints:      24219
2452.18/2458.80	c #Conflicts:     963000 | #Constraints:      25219
2452.18/2458.80	c #Conflicts:     964000 | #Constraints:      26219
2452.18/2458.80	c #Conflicts:     965000 | #Constraints:      27219
2452.18/2458.80	c #Conflicts:     966000 | #Constraints:      28219
2452.18/2458.80	c #Conflicts:     967000 | #Constraints:      29219
2452.18/2458.80	c #Conflicts:     968000 | #Constraints:      30219
2452.18/2458.80	c #Conflicts:     969000 | #Constraints:      31219
2802.96/2810.53	c #Conflicts:     970000 | #Constraints:      32219
2802.96/2810.53	c #Conflicts:     971000 | #Constraints:      33219
2802.96/2810.53	c #Conflicts:     972000 | #Constraints:      34219
2802.96/2810.53	c #Conflicts:     973000 | #Constraints:      35219
2802.96/2810.53	c #Conflicts:     974000 | #Constraints:      36219
2802.96/2810.53	c #Conflicts:     975000 | #Constraints:      37219
2802.96/2810.53	c #Conflicts:     976000 | #Constraints:      38219
2802.96/2810.53	c #Conflicts:     977000 | #Constraints:      39219
2802.96/2810.53	c #Conflicts:     978000 | #Constraints:      40219
2802.96/2810.53	c #Conflicts:     979000 | #Constraints:      41219
2802.96/2810.53	c #Conflicts:     980000 | #Constraints:      42219
2802.96/2810.53	c #Conflicts:     981000 | #Constraints:      43219
2802.96/2810.53	c INPROCESSING
2802.96/2810.53	c GARBAGE COLLECT
2802.96/2810.53	c #Conflicts:     982000 | #Constraints:      24620
2802.96/2810.53	c #Conflicts:     983000 | #Constraints:      25620
2802.96/2810.53	c #Conflicts:     984000 | #Constraints:      26620
2802.96/2810.53	c #Conflicts:     985000 | #Constraints:      27620
2802.96/2810.53	c #Conflicts:     986000 | #Constraints:      28620
2802.96/2810.53	c #Conflicts:     987000 | #Constraints:      29620
2802.96/2810.53	c #Conflicts:     988000 | #Constraints:      30620
2802.96/2810.53	c #Conflicts:     989000 | #Constraints:      31620
2802.96/2810.53	c #Conflicts:     990000 | #Constraints:      32620
2802.96/2810.53	c #Conflicts:     991000 | #Constraints:      33620
2802.96/2810.53	c #Conflicts:     992000 | #Constraints:      34620
2802.96/2810.53	c #Conflicts:     993000 | #Constraints:      35620
2802.96/2810.53	c #Conflicts:     994000 | #Constraints:      36620
2802.96/2810.53	c #Conflicts:     995000 | #Constraints:      37620
2802.96/2810.53	c #Conflicts:     996000 | #Constraints:      38620
2802.96/2810.53	c #Conflicts:     997000 | #Constraints:      39620
2802.96/2810.53	c #Conflicts:     998000 | #Constraints:      40620
2802.96/2810.53	c #Conflicts:     999000 | #Constraints:      41620
2802.96/2810.53	c #Conflicts:    1000000 | #Constraints:      42620
2802.96/2810.53	c #Conflicts:    1001000 | #Constraints:      43620
2802.96/2810.53	c INPROCESSING
2802.96/2810.53	c GARBAGE COLLECT
2802.96/2810.53	c #Conflicts:    1002000 | #Constraints:      24825
2802.96/2810.53	c #Conflicts:    1003000 | #Constraints:      25825
2802.96/2810.53	c #Conflicts:    1004000 | #Constraints:      26825
2802.96/2810.53	c #Conflicts:    1005000 | #Constraints:      27825
2802.96/2810.53	c #Conflicts:    1006000 | #Constraints:      28825
2802.96/2810.53	c #Conflicts:    1007000 | #Constraints:      29825
2802.96/2810.53	c #Conflicts:    1008000 | #Constraints:      30825
2802.96/2810.53	c #Conflicts:    1009000 | #Constraints:      31825
2802.96/2810.53	c #Conflicts:    1010000 | #Constraints:      32825
2802.96/2810.53	c #Conflicts:    1011000 | #Constraints:      33825
2802.96/2810.53	c #Conflicts:    1012000 | #Constraints:      34825
2802.96/2810.53	c #Conflicts:    1013000 | #Constraints:      35825
2802.96/2810.53	c #Conflicts:    1014000 | #Constraints:      36825
2802.96/2810.53	c #Conflicts:    1015000 | #Constraints:      37825
2802.96/2810.53	c #Conflicts:    1016000 | #Constraints:      38825
2802.96/2810.53	c #Conflicts:    1017000 | #Constraints:      39825
2802.96/2810.53	c #Conflicts:    1018000 | #Constraints:      40825
2802.96/2810.53	c #Conflicts:    1019000 | #Constraints:      41825
2802.96/2810.53	c #Conflicts:    1020000 | #Constraints:      42825
2802.96/2810.53	c #Conflicts:    1021000 | #Constraints:      43825
2802.96/2810.53	c INPROCESSING
2802.96/2810.53	c GARBAGE COLLECT
2802.96/2810.53	c #Conflicts:    1022000 | #Constraints:      24828
2802.96/2810.53	c #Conflicts:    1023000 | #Constraints:      25828
2802.96/2810.53	c #Conflicts:    1024000 | #Constraints:      26828
2802.96/2810.53	c #Conflicts:    1025000 | #Constraints:      27828
2802.96/2810.53	c #Conflicts:    1026000 | #Constraints:      28828
2802.96/2810.53	c #Conflicts:    1027000 | #Constraints:      29828
2802.96/2810.53	c #Conflicts:    1028000 | #Constraints:      30828
2802.96/2810.53	c #Conflicts:    1029000 | #Constraints:      31828
2802.96/2810.53	c #Conflicts:    1030000 | #Constraints:      32828
2802.96/2810.53	c #Conflicts:    1031000 | #Constraints:      33828
2802.96/2810.53	c #Conflicts:    1032000 | #Constraints:      34828
2802.96/2810.53	c #Conflicts:    1033000 | #Constraints:      35828
2802.96/2810.53	c #Conflicts:    1034000 | #Constraints:      36828
2802.96/2810.53	c #Conflicts:    1035000 | #Constraints:      37828
2802.96/2810.53	c #Conflicts:    1036000 | #Constraints:      38828
2802.96/2810.53	c #Conflicts:    1037000 | #Constraints:      39828
2802.96/2810.53	c #Conflicts:    1038000 | #Constraints:      40828
2802.96/2810.53	c #Conflicts:    1039000 | #Constraints:      41828
2802.96/2810.53	c #Conflicts:    1040000 | #Constraints:      42828
2802.96/2810.53	c #Conflicts:    1041000 | #Constraints:      43828
2802.96/2810.53	c INPROCESSING
2802.96/2810.53	c GARBAGE COLLECT
2802.96/2810.53	c #Conflicts:    1042000 | #Constraints:      24620
2802.96/2810.53	c #Conflicts:    1043000 | #Constraints:      25620
2802.96/2810.53	c #Conflicts:    1044000 | #Constraints:      26620
2802.96/2810.53	c #Conflicts:    1045000 | #Constraints:      27620
3264.12/3272.97	c #Conflicts:    1046000 | #Constraints:      28620
3264.12/3272.97	c #Conflicts:    1047000 | #Constraints:      29620
3264.12/3272.97	c #Conflicts:    1048000 | #Constraints:      30620
3264.12/3272.97	c #Conflicts:    1049000 | #Constraints:      31620
3264.12/3272.97	c #Conflicts:    1050000 | #Constraints:      32620
3264.12/3272.97	c #Conflicts:    1051000 | #Constraints:      33620
3264.12/3272.97	c #Conflicts:    1052000 | #Constraints:      34620
3264.12/3272.97	c #Conflicts:    1053000 | #Constraints:      35620
3264.12/3272.97	c #Conflicts:    1054000 | #Constraints:      36620
3264.12/3272.97	c #Conflicts:    1055000 | #Constraints:      37620
3264.12/3272.97	c #Conflicts:    1056000 | #Constraints:      38620
3264.12/3272.97	c #Conflicts:    1057000 | #Constraints:      39620
3264.12/3272.97	c #Conflicts:    1058000 | #Constraints:      40620
3264.12/3272.97	c #Conflicts:    1059000 | #Constraints:      41620
3264.12/3272.97	c #Conflicts:    1060000 | #Constraints:      42620
3264.12/3272.97	c #Conflicts:    1061000 | #Constraints:      43620
3264.12/3272.97	c #Conflicts:    1062000 | #Constraints:      44620
3264.12/3272.97	c INPROCESSING
3264.12/3272.97	c GARBAGE COLLECT
3264.12/3272.97	c #Conflicts:    1063000 | #Constraints:      25222
3264.12/3272.97	c #Conflicts:    1064000 | #Constraints:      26222
3264.12/3272.97	c #Conflicts:    1065000 | #Constraints:      27222
3264.12/3272.97	c #Conflicts:    1066000 | #Constraints:      28222
3264.12/3272.97	c #Conflicts:    1067000 | #Constraints:      29222
3264.12/3272.97	c #Conflicts:    1068000 | #Constraints:      30222
3264.12/3272.97	c #Conflicts:    1069000 | #Constraints:      31222
3264.12/3272.97	c #Conflicts:    1070000 | #Constraints:      32222
3264.12/3272.97	c #Conflicts:    1071000 | #Constraints:      33222
3264.12/3272.97	c #Conflicts:    1072000 | #Constraints:      34222
3264.12/3272.97	c #Conflicts:    1073000 | #Constraints:      35222
3264.12/3272.97	c #Conflicts:    1074000 | #Constraints:      36222
3264.12/3272.97	c #Conflicts:    1075000 | #Constraints:      37222
3264.12/3272.97	c #Conflicts:    1076000 | #Constraints:      38222
3264.12/3272.97	c #Conflicts:    1077000 | #Constraints:      39222
3264.12/3272.97	c #Conflicts:    1078000 | #Constraints:      40222
3264.12/3272.97	c #Conflicts:    1079000 | #Constraints:      41222
3264.12/3272.97	c #Conflicts:    1080000 | #Constraints:      42222
3264.12/3272.97	c #Conflicts:    1081000 | #Constraints:      43222
3264.12/3272.97	c #Conflicts:    1082000 | #Constraints:      44222
3264.12/3272.97	c #Conflicts:    1083000 | #Constraints:      45222
3264.12/3272.97	c INPROCESSING
3264.12/3272.97	c GARBAGE COLLECT
3264.12/3272.97	c #Conflicts:    1084000 | #Constraints:      25616
3264.12/3272.97	c #Conflicts:    1085000 | #Constraints:      26616
3264.12/3272.97	c #Conflicts:    1086000 | #Constraints:      27616
3264.12/3272.97	c #Conflicts:    1087000 | #Constraints:      28616
3264.12/3272.97	c #Conflicts:    1088000 | #Constraints:      29616
3264.12/3272.97	c #Conflicts:    1089000 | #Constraints:      30616
3264.12/3272.97	c #Conflicts:    1090000 | #Constraints:      31616
3264.12/3272.97	c #Conflicts:    1091000 | #Constraints:      32616
3264.12/3272.97	c #Conflicts:    1092000 | #Constraints:      33616
3264.12/3272.97	c #Conflicts:    1093000 | #Constraints:      34616
3264.12/3272.97	c #Conflicts:    1094000 | #Constraints:      35616
3264.12/3272.97	c #Conflicts:    1095000 | #Constraints:      36616
3264.12/3272.97	c #Conflicts:    1096000 | #Constraints:      37616
3264.12/3272.97	c #Conflicts:    1097000 | #Constraints:      38616
3264.12/3272.97	c #Conflicts:    1098000 | #Constraints:      39616
3264.12/3272.97	c #Conflicts:    1099000 | #Constraints:      40616
3264.12/3272.97	c #Conflicts:    1100000 | #Constraints:      41616
3264.12/3272.97	c #Conflicts:    1101000 | #Constraints:      42616
3264.12/3272.97	c #Conflicts:    1102000 | #Constraints:      43616
3264.12/3272.97	c #Conflicts:    1103000 | #Constraints:      44616
3264.12/3272.97	c #Conflicts:    1104000 | #Constraints:      45616
3264.12/3272.97	c INPROCESSING
3264.12/3272.97	c GARBAGE COLLECT
3264.12/3272.97	c #Conflicts:    1105000 | #Constraints:      25813
3264.12/3272.97	c #Conflicts:    1106000 | #Constraints:      26813
3264.12/3272.97	c #Conflicts:    1107000 | #Constraints:      27813
3264.12/3272.97	c #Conflicts:    1108000 | #Constraints:      28813
3264.12/3272.97	c #Conflicts:    1109000 | #Constraints:      29813
3264.12/3272.97	c #Conflicts:    1110000 | #Constraints:      30813
3264.12/3272.97	c #Conflicts:    1111000 | #Constraints:      31813
3264.12/3272.97	c #Conflicts:    1112000 | #Constraints:      32813
3264.12/3272.97	c #Conflicts:    1113000 | #Constraints:      33813
3264.12/3272.97	c #Conflicts:    1114000 | #Constraints:      34813
3264.12/3272.97	c #Conflicts:    1115000 | #Constraints:      35813
3264.12/3272.97	c #Conflicts:    1116000 | #Constraints:      36813
3264.12/3272.97	c #Conflicts:    1117000 | #Constraints:      37813
3264.12/3272.97	c #Conflicts:    1118000 | #Constraints:      38813
3264.12/3272.97	c #Conflicts:    1119000 | #Constraints:      39813
3264.12/3272.97	c #Conflicts:    1120000 | #Constraints:      40813
3264.12/3272.97	c #Conflicts:    1121000 | #Constraints:      41813
3264.12/3272.97	c #Conflicts:    1122000 | #Constraints:      42813
3575.10/3584.76	c #Conflicts:    1123000 | #Constraints:      43813
3575.10/3584.76	c #Conflicts:    1124000 | #Constraints:      44813
3575.10/3584.76	c #Conflicts:    1125000 | #Constraints:      45813
3575.10/3584.76	c INPROCESSING
3575.10/3584.76	c GARBAGE COLLECT
3575.10/3584.76	c #Conflicts:    1126000 | #Constraints:      25820
3575.10/3584.76	c #Conflicts:    1127000 | #Constraints:      26820
3575.10/3584.76	c #Conflicts:    1128000 | #Constraints:      27820
3575.10/3584.76	c #Conflicts:    1129000 | #Constraints:      28820
3575.10/3584.76	c #Conflicts:    1130000 | #Constraints:      29820
3575.10/3584.76	c #Conflicts:    1131000 | #Constraints:      30820
3575.10/3584.76	c #Conflicts:    1132000 | #Constraints:      31820
3575.10/3584.76	c #Conflicts:    1133000 | #Constraints:      32820
3575.10/3584.76	c #Conflicts:    1134000 | #Constraints:      33820
3575.10/3584.76	c #Conflicts:    1135000 | #Constraints:      34820
3575.10/3584.76	c #Conflicts:    1136000 | #Constraints:      35820
3575.10/3584.76	c #Conflicts:    1137000 | #Constraints:      36820
3575.10/3584.76	c #Conflicts:    1138000 | #Constraints:      37820
3575.10/3584.76	c #Conflicts:    1139000 | #Constraints:      38820
3575.10/3584.76	c #Conflicts:    1140000 | #Constraints:      39820
3575.10/3584.76	c #Conflicts:    1141000 | #Constraints:      40820
3575.10/3584.76	c #Conflicts:    1142000 | #Constraints:      41820
3575.10/3584.76	c #Conflicts:    1143000 | #Constraints:      42820
3575.10/3584.76	c #Conflicts:    1144000 | #Constraints:      43820
3575.10/3584.76	c #Conflicts:    1145000 | #Constraints:      44820
3575.10/3584.76	c #Conflicts:    1146000 | #Constraints:      45820
3575.10/3584.76	c INPROCESSING
3575.10/3584.76	c GARBAGE COLLECT
3575.10/3584.76	c #Conflicts:    1147000 | #Constraints:      25616
3575.10/3584.76	c #Conflicts:    1148000 | #Constraints:      26616
3575.10/3584.76	c #Conflicts:    1149000 | #Constraints:      27616
3575.10/3584.76	c #Conflicts:    1150000 | #Constraints:      28616
3575.10/3584.76	c #Conflicts:    1151000 | #Constraints:      29616
3575.10/3584.76	c #Conflicts:    1152000 | #Constraints:      30616
3575.10/3584.76	c #Conflicts:    1153000 | #Constraints:      31616
3575.10/3584.76	c #Conflicts:    1154000 | #Constraints:      32616
3575.10/3584.76	c #Conflicts:    1155000 | #Constraints:      33616
3575.10/3584.76	c #Conflicts:    1156000 | #Constraints:      34616
3575.10/3584.76	c #Conflicts:    1157000 | #Constraints:      35616
3575.10/3584.76	c #Conflicts:    1158000 | #Constraints:      36616
3575.10/3584.76	c #Conflicts:    1159000 | #Constraints:      37616
3575.10/3584.76	c #Conflicts:    1160000 | #Constraints:      38616
3575.10/3584.76	c #Conflicts:    1161000 | #Constraints:      39616
3575.10/3584.76	c #Conflicts:    1162000 | #Constraints:      40616
3575.10/3584.76	c #Conflicts:    1163000 | #Constraints:      41616
3575.10/3584.76	c #Conflicts:    1164000 | #Constraints:      42616
3575.10/3584.76	c #Conflicts:    1165000 | #Constraints:      43616
3575.10/3584.76	c #Conflicts:    1166000 | #Constraints:      44616
3575.10/3584.76	c #Conflicts:    1167000 | #Constraints:      45616
3575.10/3584.76	c #Conflicts:    1168000 | #Constraints:      46616
3575.10/3584.76	c INPROCESSING
3575.10/3584.76	c GARBAGE COLLECT
3575.10/3584.76	c #Conflicts:    1169000 | #Constraints:      26211
3575.10/3584.76	c #Conflicts:    1170000 | #Constraints:      27211
3575.10/3584.76	c #Conflicts:    1171000 | #Constraints:      28211
3575.10/3584.76	c #Conflicts:    1172000 | #Constraints:      29211
3575.10/3584.76	c #Conflicts:    1173000 | #Constraints:      30211
3575.10/3584.76	c #Conflicts:    1174000 | #Constraints:      31211
3575.10/3584.76	c #Conflicts:    1175000 | #Constraints:      32211
3575.10/3584.76	c #Conflicts:    1176000 | #Constraints:      33211
3575.10/3584.76	c #Conflicts:    1177000 | #Constraints:      34211
3575.10/3584.76	c #Conflicts:    1178000 | #Constraints:      35211
3575.10/3584.76	c #Conflicts:    1179000 | #Constraints:      36211
3575.10/3584.76	c #Conflicts:    1180000 | #Constraints:      37211
3575.10/3584.76	c #Conflicts:    1181000 | #Constraints:      38211
3575.10/3584.76	c #Conflicts:    1182000 | #Constraints:      39211
3575.10/3584.76	c #Conflicts:    1183000 | #Constraints:      40211
3575.10/3584.76	c #Conflicts:    1184000 | #Constraints:      41211
3575.10/3584.76	c #Conflicts:    1185000 | #Constraints:      42211
3575.10/3584.76	c #Conflicts:    1186000 | #Constraints:      43211
3575.10/3584.76	c #Conflicts:    1187000 | #Constraints:      44211
3575.10/3584.76	c #Conflicts:    1188000 | #Constraints:      45211
3575.10/3584.76	c #Conflicts:    1189000 | #Constraints:      46211
3575.10/3584.76	c #Conflicts:    1190000 | #Constraints:      47211
3575.10/3584.76	c INPROCESSING
3575.10/3584.76	c GARBAGE COLLECT
3575.10/3584.76	c #Conflicts:    1191000 | #Constraints:      26604
3575.10/3584.76	c #Conflicts:    1192000 | #Constraints:      27604
3575.10/3584.76	c #Conflicts:    1193000 | #Constraints:      28604
3575.10/3584.76	c #Conflicts:    1194000 | #Constraints:      29604
3575.10/3584.76	c #Conflicts:    1195000 | #Constraints:      30604
3575.10/3584.76	c #Conflicts:    1196000 | #Constraints:      31604
3575.10/3584.76	c #Conflicts:    1197000 | #Constraints:      32604
3575.10/3584.76	c #Conflicts:    1198000 | #Constraints:      33604
3600.04/3609.70	c #Conflicts:    1199000 | #Constraints:      34604
3600.04/3609.70	c #Conflicts:    1200000 | #Constraints:      35604
3600.04/3609.70	c #Conflicts:    1201000 | #Constraints:      36604
3600.04/3609.70	c #Conflicts:    1202000 | #Constraints:      37604
3600.04/3609.70	c #Conflicts:    1203000 | #Constraints:      38604
3600.04/3609.70	c Program interrupted by user.
3600.04/3609.70	c cpu time 3591.83 s
3600.04/3609.70	c deterministic time 529824611182 5.30e+11
3600.04/3609.70	c optimization time 52.5247 s
3600.04/3609.70	c total solve time 3240.18 s
3600.04/3609.70	c core-guided solve time 3240.18 s
3600.04/3609.70	c propagation time 2576.24 s
3600.04/3609.70	c conflict analysis time 517.295 s
3600.04/3609.70	c propagations 86354192
3600.04/3609.70	c resolve steps 8031341
3600.04/3609.70	c decisions 4193428
3600.04/3609.70	c conflicts 1203301
3600.04/3609.70	c restarts 2281
3600.04/3609.70	c inprocessing phases 100
3600.04/3609.70	c input clauses 3928
3600.04/3609.70	c input cardinalities 146
3600.04/3609.70	c input general constraints 0
3600.04/3609.70	c input average constraint length 61.48
3600.04/3609.70	c input average constraint degree 27.81
3600.04/3609.70	c learned clauses 430923
3600.04/3609.70	c learned cardinalities 186037
3600.04/3609.70	c learned general constraints 586485
3600.04/3609.70	c learned average constraint length 966.48
3600.04/3609.70	c learned average constraint degree 110483.04
3600.04/3609.70	c watched constraints 249878
3600.04/3609.70	c counting constraints 336607
3600.04/3609.70	c gcd simplifications 29719
3600.04/3609.70	c detected cardinalities 6434
3600.04/3609.70	c weakened non-implied lits 194058832
3600.04/3609.70	c weakened non-implying lits 31071
3600.04/3609.70	c original variables 1963
3600.04/3609.70	c clausal propagations 37249185
3600.04/3609.70	c cardinality propagations 6966669
3600.04/3609.70	c watched propagations 4963138
3600.04/3609.70	c counting propagations 28908163
3600.04/3609.70	c watch lookups 46682375949
3600.04/3609.70	c watch backjump lookups 41351574214
3600.04/3609.70	c watch checks 397156353988
3600.04/3609.70	c propagation checks 41238722306
3600.04/3609.70	c constraint additions 3213287465
3600.04/3609.70	c trail pops 91749639
3600.04/3609.70	c formula constraints 3254
3600.04/3609.70	c learned constraints 1203445
3600.04/3609.70	c bound constraints 146
3600.04/3609.70	c core-guided constraints 674
3600.04/3609.70	c encountered formula constraints 5578232
3600.04/3609.70	c encountered learned constraints 3050134
3600.04/3609.70	c encountered bound constraints 7
3600.04/3609.70	c encountered core-guided constraints 606269
3600.04/3609.70	c LP total time 0 s
3600.04/3609.70	c LP solve time 0 s
3600.04/3609.70	c LP constraints added 0
3600.04/3609.70	c LP constraints removed 0
3600.04/3609.70	c LP pivots internal 0
3600.04/3609.70	c LP pivots root 0
3600.04/3609.70	c LP calls 0
3600.04/3609.70	c LP optimalities 0
3600.04/3609.70	c LP no pivot count 0
3600.04/3609.70	c LP infeasibilities 0
3600.04/3609.70	c LP valid Farkas constraints 0
3600.04/3609.70	c LP learned Farkas constraints 0
3600.04/3609.70	c LP basis resets 0
3600.04/3609.70	c LP cycling count 0
3600.04/3609.70	c LP singular count 0
3600.04/3609.70	c LP no primal count 0
3600.04/3609.70	c LP no farkas count 0
3600.04/3609.70	c LP other issue count 0
3600.04/3609.70	c LP Gomory cuts 0
3600.04/3609.70	c LP learned cuts 0
3600.04/3609.70	c LP deleted cuts 0
3600.04/3609.70	c LP encountered Gomory constraints 0
3600.04/3609.70	c LP encountered Farkas constraints 0
3600.04/3609.70	c LP encountered learned Farkas constraints 0
3600.04/3609.70	c CG auxiliary variables introduced 674
3600.04/3609.70	c CG solutions found 0
3600.04/3609.70	c CG cores constructed 145
3600.04/3609.70	c CG core cardinality constraints returned 0
3600.04/3609.70	c CG unit cores 0
3600.04/3609.70	c CG single cores 145
3600.04/3609.70	c CG blocks removed during cardinality reduction 0
3600.04/3609.70	c CG first core best 0
3600.04/3609.70	c CG decision core best 0
3600.04/3609.70	c CG core reduction tie 0
3600.04/3609.70	c CG core degree average 1.00
3600.04/3609.70	c CG core slack average 3.03
3600.04/3609.70	c CG exhausted 0
3600.04/3609.70	c CG exhaust time 0 s
3600.04/3609.70	c CG trimmed 0
3600.04/3609.70	c CG trim time 0.000795 s
3600.04/3609.70	c CG minimized 0
3600.04/3609.70	c CG minimize time 0 s
3600.04/3609.70	c CG am1 prop time 0.003406 s
3600.04/3609.70	c CG # am1s reformulated 674
3600.04/3609.70	c CG lower bound derived from am1s 676
3600.04/3609.70	c CG # clausal cores 145
3600.04/3609.70	c CG # cardinality cores 0
3600.04/3609.70	c CG # pb cores 0
3600.04/3609.70	c CG # pb reforms 0
3600.04/3609.70	c CG # cores discarded because of pb reform 0
3600.04/3609.70	d LOWERBOUND 821
3600.04/3609.70	d NCORES 145
3600.04/3609.70	d NPBCORES 0
3600.04/3609.70	d NPBREFORM 0
3600.04/3609.70	d NTRIMMED 0
3600.04/3609.70	d NEXHAUSTED 0
3600.04/3609.70	d NAM1S 674
3600.04/3609.70	d AM1LB 676
3600.04/3609.70	c [Papilo Statistics]
3600.04/3609.70	c prepro time 0.00518456s
3600.04/3609.70	c # tsx applied 150
3600.04/3609.70	c # tsx conflicts 6
3600.04/3609.70	c # bound changes 149
3600.04/3609.70	c # side changes 0
3600.04/3609.70	c # coef changes 0
3600.04/3609.70	c # rounds 2
3600.04/3609.70	c # deted vars 306
3600.04/3609.70	c # deted constrs 746
3600.04/3609.70	c # consecutive rounds of only bound changes 0
3600.04/3609.70	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62019 MiB free)
  memory of node 1: 64507 MiB (56758 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528922-1752256448/watcher-4528922-1752256448 -o /tmp/evaluation-result-4528922-1752256448/solver-4528922-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119451 --watchdog 3760 mixed-bag HOME/instance-4528922-1752256448.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=119495, runsolver pid=119491

[startup+0.100064 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121563556/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=113916 memory=40412 CPUtime=0.08 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 6770 0 2 0 7 1 0 0 20 0 1 0 141322602 116649984 10103 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 28479 10103 4288 2834 0 10684 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113916 KiB
Current children cumulated memory: 40412 KiB

[startup+0.205828 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121549056/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=115944 memory=42332 CPUtime=0.19 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 7233 0 2 0 18 1 0 0 20 0 1 0 141322602 118726656 10583 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 28986 10583 4320 2834 0 11191 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115944 KiB
Current children cumulated memory: 42332 KiB

[startup+0.30559 s]*
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121548300/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=117500 memory=43740 CPUtime=0.28 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 7585 0 2 0 27 1 0 0 20 0 1 0 141322602 120320000 10935 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 29375 10935 4320 2834 0 11580 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 43740 KiB

[startup+0.70016 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121537212/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=121372 memory=47196 CPUtime=0.67 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 8456 0 2 0 66 1 0 0 20 0 1 0 141322602 124284928 11799 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 30343 11799 4320 2834 0 12548 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 121372 KiB
Current children cumulated memory: 47196 KiB

[startup+1.50013 s]
/proc/loadavg: 2.94 3.85 4.00 5/264 119510
/proc/meminfo: memFree=121525620/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=124692 memory=50140 CPUtime=1.47 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 9197 0 2 0 146 1 0 0 20 0 1 0 141322602 127684608 12535 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 31173 12535 4320 2834 0 13378 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 124692 KiB
Current children cumulated memory: 50140 KiB

[startup+3.10579 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121441288/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=151164 memory=75356 CPUtime=3.07 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 15498 0 2 0 305 2 0 0 20 0 1 0 141322602 154791936 18839 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 37791 18839 4320 2834 0 19996 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 151164 KiB
Current children cumulated memory: 75356 KiB

[startup+6.30014 s]
/proc/loadavg: 3.11 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121304680/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=182436 memory=105948 CPUtime=6.26 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 23143 0 2 0 623 3 0 0 20 0 1 0 141322602 186814464 26487 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 45609 26487 4320 2834 0 27814 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 182436 KiB
Current children cumulated memory: 105948 KiB

[startup+12.7001 s]
/proc/loadavg: 3.25 3.87 4.01 5/264 119510
/proc/meminfo: memFree=121111420/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=212624 memory=132276 CPUtime=12.64 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 31106 0 2 0 1260 4 0 0 20 0 1 0 141322602 217726976 33069 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 53156 33069 4320 2834 0 35361 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 212624 KiB
Current children cumulated memory: 132276 KiB

[startup+25.5001 s]
/proc/loadavg: 3.36 3.88 4.01 5/264 119510
/proc/meminfo: memFree=121111468/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=213464 memory=133044 CPUtime=25.4 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 31308 0 2 0 2536 4 0 0 20 0 1 0 141322602 218587136 33261 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 53366 33261 4320 2834 0 35571 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 213464 KiB
Current children cumulated memory: 133044 KiB

[startup+51.1054 s]
/proc/loadavg: 3.66 3.90 4.01 5/264 119511
/proc/meminfo: memFree=120922144/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=281568 memory=195412 CPUtime=50.93 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 48713 0 2 0 5086 7 0 0 20 0 1 0 141322602 288325632 48853 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 70392 48853 4320 2834 0 52597 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 281568 KiB
Current children cumulated memory: 195412 KiB

[startup+102.3 s]
/proc/loadavg: 3.93 3.94 4.01 5/264 119513
/proc/meminfo: memFree=120701040/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=284648 memory=205756 CPUtime=101.98 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 52240 0 2 0 10190 8 0 0 20 0 1 0 141322602 291479552 51439 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 71162 51439 4320 2834 0 53367 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 284648 KiB
Current children cumulated memory: 205756 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 3.97 4.01 5/265 119516
/proc/meminfo: memFree=120554744/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=365944 memory=284392 CPUtime=161.84 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 73328 0 2 0 16171 13 0 0 20 0 1 0 141322602 374726656 71098 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 91486 71098 4320 2834 0 73691 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 365944 KiB
Current children cumulated memory: 284392 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.01 4.02 5/265 119517
/proc/meminfo: memFree=120509384/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=408652 memory=328832 CPUtime=221.69 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 82599 0 2 0 22154 15 0 0 20 0 1 0 141322602 418459648 82208 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 102163 82208 4320 2834 0 84368 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 408652 KiB
Current children cumulated memory: 328832 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.02 4.02 5/264 119519
/proc/meminfo: memFree=120446656/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=414688 memory=336792 CPUtime=281.54 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 85580 0 2 0 28139 15 0 0 20 0 1 0 141322602 424640512 84198 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 103672 84198 4320 2834 0 85877 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 414688 KiB
Current children cumulated memory: 336792 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.04 4.02 5/263 119527
/proc/meminfo: memFree=120850484/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=366020 memory=274060 CPUtime=341.39 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 89019 0 2 0 34078 61 0 0 20 0 1 0 141322602 374804480 68515 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 91505 68515 4480 2834 0 73710 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 366020 KiB
Current children cumulated memory: 274060 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.05 4.02 5/263 119529
/proc/meminfo: memFree=120760100/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=416108 memory=295564 CPUtime=401.24 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 89816 0 2 0 40027 97 0 0 20 0 1 0 141322602 426094592 73891 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 104027 73891 4480 2834 0 86232 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 416108 KiB
Current children cumulated memory: 295564 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.05 4.02 5/262 119542
/proc/meminfo: memFree=120700572/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=416108 memory=316360 CPUtime=461.09 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 90414 0 2 0 45978 131 0 0 20 0 1 0 141322602 426094592 79090 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 104027 79090 4480 2834 0 86232 0
Current children cumulated CPU time: 461.09 s

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

Current children cumulated memory: 584164 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/262 119653
/proc/meminfo: memFree=119789912/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=744264 memory=584164 CPUtime=2914.47 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112650 0 2 0 290734 713 0 0 20 0 1 0 141322602 762126336 146041 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186066 146041 4480 2834 0 168271 0
Current children cumulated CPU time: 2914.47 s
Current children cumulated vsize: 744264 KiB
Current children cumulated memory: 584164 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 119656
/proc/meminfo: memFree=119790144/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=744520 memory=584420 CPUtime=2974.3 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112714 0 2 0 296708 722 0 0 20 0 1 0 141322602 762388480 146105 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186130 146105 4480 2834 0 168335 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 744520 KiB
Current children cumulated memory: 584420 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119658
/proc/meminfo: memFree=119790376/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=744520 memory=584420 CPUtime=3034.15 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112714 0 2 0 302686 729 0 0 20 0 1 0 141322602 762388480 146105 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186130 146105 4480 2834 0 168335 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 744520 KiB
Current children cumulated memory: 584420 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 119660
/proc/meminfo: memFree=119790296/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=745472 memory=585060 CPUtime=3093.99 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112875 0 2 0 308661 738 0 0 20 0 1 0 141322602 763363328 146265 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186368 146265 4480 2834 0 168573 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 745472 KiB
Current children cumulated memory: 585060 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119662
/proc/meminfo: memFree=119786368/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=745728 memory=585316 CPUtime=3153.84 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112936 0 2 0 314639 745 0 0 20 0 1 0 141322602 763625472 146329 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186432 146329 4480 2834 0 168637 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 745728 KiB
Current children cumulated memory: 585316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119664
/proc/meminfo: memFree=119773700/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=745728 memory=590948 CPUtime=3213.67 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 112987 0 2 0 320612 755 0 0 20 0 1 0 141322602 763625472 147737 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186432 147737 4480 2834 0 168637 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 745728 KiB
Current children cumulated memory: 590948 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 119666
/proc/meminfo: memFree=119773160/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=745728 memory=590948 CPUtime=3273.5 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113026 0 2 0 326587 763 0 0 20 0 1 0 141322602 763625472 147737 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186432 147737 4480 2834 0 168637 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 745728 KiB
Current children cumulated memory: 590948 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 119675
/proc/meminfo: memFree=119774064/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=745728 memory=590948 CPUtime=3333.34 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113034 0 2 0 332562 772 0 0 20 0 1 0 141322602 763625472 147737 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 186432 147737 4480 2834 0 168637 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 745728 KiB
Current children cumulated memory: 590948 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/263 119677
/proc/meminfo: memFree=119755704/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=748104 memory=592740 CPUtime=3393.18 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113467 0 2 0 338533 785 0 0 20 0 1 0 141322602 766058496 148185 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187026 148185 4480 2834 0 169231 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 748104 KiB
Current children cumulated memory: 592740 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 119679
/proc/meminfo: memFree=119755756/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=748288 memory=592868 CPUtime=3453.02 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113586 0 2 0 344509 793 0 0 20 0 1 0 141322602 766246912 148217 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187072 148217 4480 2834 0 169277 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 748288 KiB
Current children cumulated memory: 592868 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 119681
/proc/meminfo: memFree=119739408/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=748616 memory=593124 CPUtime=3512.87 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113672 0 2 0 350484 803 0 0 20 0 1 0 141322602 766582784 148281 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187154 148281 4480 2834 0 169359 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 748616 KiB
Current children cumulated memory: 593124 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 119683
/proc/meminfo: memFree=119737504/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=749128 memory=593508 CPUtime=3572.71 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113773 0 2 0 356455 816 0 0 20 0 1 0 141322602 767107072 148377 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187282 148377 4480 2834 0 169487 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 749128 KiB
Current children cumulated memory: 593508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 119685
/proc/meminfo: memFree=119725144/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=749128 memory=593508 CPUtime=3600.04 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113773 0 2 0 359182 822 0 0 20 0 1 0 141322602 767107072 148377 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187282 148377 4480 2834 0 169487 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 749128 KiB
Current children cumulated memory: 593508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.83 s, system=8.2252 s

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

[startup+3609.7 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 119685
/proc/meminfo: memFree=119725144/131249996 swapFree=33010416/33010684
[pid=119495] ppid=119491 vsize=749128 memory=593508 CPUtime=3600.04 cores=4,6
/proc/119495/stat : 119495 (mixed-bag) R 119491 119495 119440 0 -1 4194304 113773 0 2 0 359182 822 0 0 20 0 1 0 141322602 767107072 148377 18446744073709551615 4235264 15840557 140722064284992 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18047680 18058864 44253184 140722064292250 140722064292327 140722064292327 140722064297931 0
/proc/119495/statm: 187282 148377 4480 2834 0 169487 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 749128 KiB
Current children cumulated memory: 593508 KiB

Child status: 0

Real time (s): 3609.71
CPU time (s): 3600.05
CPU user time (s): 3591.83
CPU system time (s): 8.2252
CPU usage (%): 99.7327
Max. virtual memory (cumulated for all children) (KiB): 749128
Max. memory (cumulated for all children) (KiB): 593508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.83
system time used= 8.2252
maximum resident set size= 594020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113803
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265
involuntary context switches= 2480


# summary of solver processes directly reported to runsolver:
#   pid: 119495
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3591.83
#   total CPU system time (s): 8.2252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.47762 second user time and 15.6043 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-07-11 19:54:08
IDJOB=4528922
IDBENCH=147531
IDSOLVER=3386
FILE ID=nodeC022/4528922-1752256448
RUNJOBID= nodeC022-1752256448-119451
SLURM_JOB_ID= 9682600
Free space on /tmp= 432152 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_1.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528922-1752256448/watcher-4528922-1752256448 -o /tmp/evaluation-result-4528922-1752256448/solver-4528922-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1752256448-119451 --watchdog 3760  mixed-bag HOME/instance-4528922-1752256448.opb

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

MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=856085768

nodeC022 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.239
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.44
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.978
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.44
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		: 3599.718
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.44
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		: 3620.822
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.44
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.318
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.44
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.714
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.44
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		: 3599.734
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.44
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		: 3622.972
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121627872 kB
MemAvailable:   129703256 kB
Buffers:            2128 kB
Cached:          8823640 kB
SwapCached:           32 kB
Active:           723832 kB
Inactive:        8166836 kB
Active(anon):      80816 kB
Inactive(anon):     2124 kB
Active(file):     643016 kB
Inactive(file):  8164712 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61208 kB
Writeback:             0 kB
AnonPages:         68012 kB
Mapped:           106456 kB
Shmem:             18028 kB
KReclaimable:     213388 kB
Slab:             307992 kB
SReclaimable:     213388 kB
SUnreclaim:        94604 kB
KernelStack:        4096 kB
PageTables:         2988 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     333144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432092 MiB
End job on nodeC022 at 2025-07-11 20:54:18