Trace number 4488669

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag-2024 2025-05-06? (TO) 3600.02 3610.01

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

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

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62485 MiB free)
  memory of node 1: 64465 MiB (62968 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=47486, runsolver pid=47483

[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128458600/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=115344 memory=39544 CPUtime=0.09 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 6709 0 0 0 8 1 0 0 20 0 1 0 48677078 118112256 9886 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 28836 9886 4224 2842 0 10530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115344 KiB
Current children cumulated memory: 39544 KiB

[startup+0.205821 s]*
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128455576/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=117804 memory=42104 CPUtime=0.19 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 7304 0 0 0 18 1 0 0 20 0 1 0 48677078 120631296 10526 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 29451 10526 4256 2842 0 11145 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 117804 KiB
Current children cumulated memory: 42104 KiB

[startup+0.305743 s]*
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128451544/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=120880 memory=44920 CPUtime=0.29 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 8033 0 0 0 28 1 0 0 20 0 1 0 48677078 123781120 11230 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 30220 11230 4256 2842 0 11914 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 120880 KiB
Current children cumulated memory: 44920 KiB

[startup+0.700175 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128451544/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=123588 memory=47224 CPUtime=0.68 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 8591 0 0 0 67 1 0 0 20 0 1 0 48677078 126554112 11806 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 30897 11806 4256 2842 0 12591 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123588 KiB
Current children cumulated memory: 47224 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128443480/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=130200 memory=53112 CPUtime=1.48 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 10085 0 0 0 146 2 0 0 20 0 1 0 48677078 133324800 13278 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 32550 13278 4256 2842 0 14244 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 130200 KiB
Current children cumulated memory: 53112 KiB

[startup+3.10559 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128403164/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=168520 memory=89976 CPUtime=3.07 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 19301 0 0 0 304 3 0 0 20 0 1 0 48677078 172564480 22494 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 42130 22494 4256 2842 0 23824 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 168520 KiB
Current children cumulated memory: 89976 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128371160/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=201948 memory=121208 CPUtime=6.26 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 27093 0 0 0 621 5 0 0 20 0 1 0 48677078 206794752 30302 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 50487 30302 4256 2842 0 32181 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 201948 KiB
Current children cumulated memory: 121208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.09 4.15 5/264 47487
/proc/meminfo: memFree=128363616/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=207292 memory=125592 CPUtime=12.64 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 29295 0 0 0 1259 5 0 0 20 0 1 0 48677078 212267008 31398 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 51823 31398 4256 2842 0 33517 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207292 KiB
Current children cumulated memory: 125592 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.10 4.15 5/264 47488
/proc/meminfo: memFree=128364884/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=208312 memory=126872 CPUtime=25.41 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 29623 0 0 0 2535 6 0 0 20 0 1 0 48677078 213311488 31718 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 52078 31718 4256 2842 0 33772 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 208312 KiB
Current children cumulated memory: 126872 KiB

[startup+51.1047 s]
/proc/loadavg: 4.09 4.09 4.15 5/264 47533
/proc/meminfo: memFree=128666712/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=248592 memory=162376 CPUtime=50.94 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 39114 0 0 0 5086 8 0 0 20 0 1 0 48677078 254558208 40594 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 62148 40594 4256 2842 0 43842 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 248592 KiB
Current children cumulated memory: 162376 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.14 5/264 47535
/proc/meminfo: memFree=128501780/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=326768 memory=234192 CPUtime=101.99 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 58691 0 0 0 10187 12 0 0 20 0 1 0 48677078 334610432 58548 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 81692 58548 4256 2842 0 63386 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 326768 KiB
Current children cumulated memory: 234192 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.14 5/265 47583
/proc/meminfo: memFree=128978312/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=371332 memory=275092 CPUtime=161.82 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 69294 0 0 0 16169 13 0 0 20 0 1 0 48677078 380243968 68773 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 92833 68773 4256 2842 0 74527 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 371332 KiB
Current children cumulated memory: 275092 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.13 5/266 47632
/proc/meminfo: memFree=129061888/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=420428 memory=329736 CPUtime=221.63 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 81324 0 0 0 22146 17 0 0 20 0 1 0 48677078 430518272 82434 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 105107 82434 4256 2842 0 86801 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 420428 KiB
Current children cumulated memory: 329736 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.13 5/266 47639
/proc/meminfo: memFree=128986564/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=423840 memory=342940 CPUtime=281.46 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 83350 0 0 0 28128 18 0 0 20 0 1 0 48677078 434012160 85735 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 105960 85735 4256 2842 0 87654 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 423840 KiB
Current children cumulated memory: 342940 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.13 5/266 47641
/proc/meminfo: memFree=129094752/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=403376 memory=306060 CPUtime=341.29 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 86706 0 0 0 34064 65 0 0 20 0 1 0 48677078 413057024 76515 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 100844 76515 4416 2842 0 82538 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 403376 KiB
Current children cumulated memory: 306060 KiB

[startup+402.3 s]
/proc/loadavg: 4.04 4.07 4.11 5/267 47644
/proc/meminfo: memFree=129051212/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=403376 memory=328844 CPUtime=401.13 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 86874 0 0 0 40021 92 0 0 20 0 1 0 48677078 413057024 82211 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 100844 82211 4416 2842 0 82538 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 403376 KiB
Current children cumulated memory: 328844 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.11 5/265 47646
/proc/meminfo: memFree=129117964/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=453464 memory=340620 CPUtime=460.96 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 87307 0 0 0 45974 122 0 0 20 0 1 0 48677078 464347136 85155 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 113366 85155 4416 2842 0 95060 0
Current children cumulated CPU time: 460.96 s

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

Current children cumulated memory: 464372 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/266 47786
/proc/meminfo: memFree=128353192/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=545848 memory=464372 CPUtime=2854.26 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91036 0 0 0 284694 732 0 0 20 0 1 0 48677078 558948352 116093 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 136462 116093 4416 2842 0 118156 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 545848 KiB
Current children cumulated memory: 464372 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 47788
/proc/meminfo: memFree=128332848/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=545848 memory=464372 CPUtime=2914.1 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91036 0 0 0 290665 745 0 0 20 0 1 0 48677078 558948352 116093 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 136462 116093 4416 2842 0 118156 0
Current children cumulated CPU time: 2914.1 s
Current children cumulated vsize: 545848 KiB
Current children cumulated memory: 464372 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 47790
/proc/meminfo: memFree=128316448/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=546616 memory=464884 CPUtime=2973.96 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91178 0 0 0 296638 758 0 0 20 0 1 0 48677078 559734784 116221 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 136654 116221 4416 2842 0 118348 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 546616 KiB
Current children cumulated memory: 464884 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 47792
/proc/meminfo: memFree=128289324/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=547640 memory=465524 CPUtime=3033.79 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91351 0 0 0 302612 767 0 0 20 0 1 0 48677078 560783360 116381 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 136910 116381 4416 2842 0 118604 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 547640 KiB
Current children cumulated memory: 465524 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 47797
/proc/meminfo: memFree=128281864/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=547640 memory=465652 CPUtime=3093.64 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91355 0 0 0 308584 780 0 0 20 0 1 0 48677078 560783360 116413 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 136910 116413 4416 2842 0 118604 0
Current children cumulated CPU time: 3093.64 s
Current children cumulated vsize: 547640 KiB
Current children cumulated memory: 465652 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47799
/proc/meminfo: memFree=128229396/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=548664 memory=478616 CPUtime=3153.48 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91548 0 0 0 314556 792 0 0 20 0 1 0 48677078 561831936 119654 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137166 119654 4416 2842 0 118860 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 548664 KiB
Current children cumulated memory: 478616 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 47803
/proc/meminfo: memFree=128209172/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=548664 memory=478616 CPUtime=3213.32 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91550 0 0 0 320535 797 0 0 20 0 1 0 48677078 561831936 119654 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137166 119654 4416 2842 0 118860 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 548664 KiB
Current children cumulated memory: 478616 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 47811
/proc/meminfo: memFree=128193108/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=548920 memory=478872 CPUtime=3273.16 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91614 0 0 0 326508 808 0 0 20 0 1 0 48677078 562094080 119718 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137230 119718 4416 2842 0 118924 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 548920 KiB
Current children cumulated memory: 478872 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/265 47813
/proc/meminfo: memFree=128192716/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=548920 memory=478872 CPUtime=3333.01 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91614 0 0 0 332482 819 0 0 20 0 1 0 48677078 562094080 119718 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137230 119718 4416 2842 0 118924 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 548920 KiB
Current children cumulated memory: 478872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 47814
/proc/meminfo: memFree=128204392/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=548920 memory=481024 CPUtime=3392.86 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91618 0 0 0 338458 828 0 0 20 0 1 0 48677078 562094080 120256 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137230 120256 4416 2842 0 118924 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 548920 KiB
Current children cumulated memory: 481024 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 47817
/proc/meminfo: memFree=128175356/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=549432 memory=483584 CPUtime=3452.7 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91747 0 0 0 344433 837 0 0 20 0 1 0 48677078 562618368 120896 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137358 120896 4416 2842 0 119052 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 549432 KiB
Current children cumulated memory: 483584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 47819
/proc/meminfo: memFree=128175516/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=550128 memory=483840 CPUtime=3512.53 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 91964 0 0 0 350413 840 0 0 20 0 1 0 48677078 563331072 120960 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 137532 120960 4416 2842 0 119226 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 550128 KiB
Current children cumulated memory: 483840 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 47822
/proc/meminfo: memFree=128159372/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=683232 memory=494484 CPUtime=3572.37 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 92572 0 0 0 356386 851 0 0 20 0 1 0 48677078 699629568 123621 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 170808 123621 4416 2842 0 152502 0
Current children cumulated CPU time: 3572.37 s
Current children cumulated vsize: 683232 KiB
Current children cumulated memory: 494484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 47825
/proc/meminfo: memFree=128146892/131249996 swapFree=33010416/33010684
[pid=47486] ppid=47483 vsize=683232 memory=496788 CPUtime=3600 cores=0,2
/proc/47486/stat : 47486 (mixed-bag) R 47483 47486 45645 0 -1 4194304 92576 0 0 0 359146 854 0 0 20 0 1 0 48677078 699629568 124197 18446744073709551615 4235264 15874749 140731105513600 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 39555072 140731105515932 140731105516009 140731105516009 140731105521611 0
/proc/47486/statm: 170808 124197 4416 2842 0 152502 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 683232 KiB
Current children cumulated memory: 496788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.47 s, system=8.55068 s

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

Child status: 0

Real time (s): 3610.01
CPU time (s): 3600.02
CPU user time (s): 3591.47
CPU system time (s): 8.55068
CPU usage (%): 99.7232
Max. virtual memory (cumulated for all children) (KiB): 683232
Max. memory (cumulated for all children) (KiB): 496788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.47
system time used= 8.55068
maximum resident set size= 497300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206
involuntary context switches= 4699


# summary of solver processes directly reported to runsolver:
#   pid: 47486
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3591.47
#   total CPU system time (s): 8.55068

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10561 second user time and 16.0003 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 02:33:16
IDJOB=4488669
IDBENCH=147526
IDSOLVER=3340
FILE ID=nodeC015/4488669-1751329996
RUNJOBID= nodeC015-1751326375-45655
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB

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

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

MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=1495556869

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128464900 kB
MemAvailable:   128188452 kB
Buffers:            2128 kB
Cached:           512328 kB
SwapCached:           24 kB
Active:          1933388 kB
Inactive:         207924 kB
Active(anon):    1624824 kB
Inactive(anon):    20084 kB
Active(file):     308564 kB
Inactive(file):   187840 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15560 kB
Writeback:             0 kB
AnonPages:       1625372 kB
Mapped:           138572 kB
Shmem:             18052 kB
KReclaimable:     132772 kB
Slab:             222012 kB
SReclaimable:     132772 kB
SUnreclaim:        89240 kB
KernelStack:        4272 kB
PageTables:         6420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2201928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1538048 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432956 MiB
End job on nodeC015 at 2025-07-01 03:33:26