Trace number 4435461

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB676
LOWERBOUND821
NAM1S674
NCORES145
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

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

Solver Data 

0.00/0.03	c RoundingSat 2
0.00/0.03	c branch 
0.00/0.03	c commit 
0.00/0.03	c with Papilo
0.00/0.03	c with SCIP
0.00/0.03	c [STEP] parsing instance
0.00/0.04	c [STEP] preprocessing with Papilo
0.00/0.08	c [STEP] solving with SCIP
299.40/300.21	c [STEP] preprocessing done, loading into solver
299.40/300.22	c [STEP] solving
299.40/300.22	c #variables 1658 #constraints 3254
299.40/300.22	c SMALL=int, LARGE=long long
299.40/300.22	c bounds - >= 0 @ 299.283
299.40/300.22	c stratification level: 0
299.89/300.78	c bounds - >= 677 @ 299.286
299.89/300.78	c bounds - >= 678 @ 299.288
299.89/300.78	c bounds - >= 679 @ 299.288
299.89/300.78	c bounds - >= 680 @ 299.288
299.89/300.78	c bounds - >= 681 @ 299.288
299.89/300.78	c bounds - >= 682 @ 299.288
299.89/300.78	c bounds - >= 683 @ 299.288
299.89/300.78	c bounds - >= 684 @ 299.288
299.89/300.78	c bounds - >= 685 @ 299.288
299.89/300.78	c bounds - >= 686 @ 299.288
299.89/300.78	c bounds - >= 687 @ 299.288
299.89/300.78	c bounds - >= 688 @ 299.288
299.89/300.78	c bounds - >= 689 @ 299.288
299.89/300.78	c bounds - >= 690 @ 299.288
299.89/300.78	c bounds - >= 691 @ 299.288
299.89/300.78	c bounds - >= 692 @ 299.288
299.89/300.78	c bounds - >= 693 @ 299.288
299.89/300.78	c bounds - >= 694 @ 299.288
299.89/300.78	c bounds - >= 695 @ 299.288
299.89/300.78	c bounds - >= 696 @ 299.288
299.89/300.78	c bounds - >= 697 @ 299.288
299.89/300.78	c bounds - >= 698 @ 299.288
299.89/300.78	c bounds - >= 699 @ 299.289
299.89/300.78	c bounds - >= 700 @ 299.289
299.89/300.78	c bounds - >= 701 @ 299.289
299.89/300.78	c bounds - >= 702 @ 299.289
299.89/300.78	c bounds - >= 703 @ 299.29
299.89/300.78	c bounds - >= 704 @ 299.29
299.89/300.78	c bounds - >= 705 @ 299.29
299.89/300.78	c bounds - >= 706 @ 299.29
299.89/300.78	c bounds - >= 707 @ 299.29
299.89/300.78	c bounds - >= 708 @ 299.29
299.89/300.78	c bounds - >= 709 @ 299.29
299.89/300.78	c bounds - >= 710 @ 299.29
299.89/300.78	c bounds - >= 711 @ 299.29
299.89/300.78	c bounds - >= 712 @ 299.291
299.89/300.78	c bounds - >= 713 @ 299.291
299.89/300.78	c bounds - >= 714 @ 299.291
299.89/300.78	c bounds - >= 715 @ 299.291
299.89/300.78	c bounds - >= 716 @ 299.291
299.89/300.78	c bounds - >= 717 @ 299.292
299.89/300.78	c bounds - >= 718 @ 299.292
299.89/300.78	c bounds - >= 719 @ 299.292
299.89/300.78	c bounds - >= 720 @ 299.292
299.89/300.78	c bounds - >= 721 @ 299.293
299.89/300.78	c bounds - >= 722 @ 299.293
299.89/300.78	c bounds - >= 723 @ 299.293
299.89/300.78	c bounds - >= 724 @ 299.293
299.89/300.78	c bounds - >= 725 @ 299.294
299.89/300.78	c bounds - >= 726 @ 299.294
299.89/300.78	c bounds - >= 727 @ 299.294
299.89/300.78	c bounds - >= 728 @ 299.294
299.89/300.78	c bounds - >= 729 @ 299.295
299.89/300.78	c bounds - >= 730 @ 299.295
299.89/300.78	c bounds - >= 731 @ 299.295
299.89/300.78	c bounds - >= 732 @ 299.295
299.89/300.78	c bounds - >= 733 @ 299.296
299.89/300.78	c bounds - >= 734 @ 299.296
299.89/300.78	c bounds - >= 735 @ 299.296
299.89/300.78	c bounds - >= 736 @ 299.296
299.89/300.78	c bounds - >= 737 @ 299.297
299.89/300.78	c bounds - >= 738 @ 299.297
299.89/300.78	c bounds - >= 739 @ 299.297
299.89/300.78	c bounds - >= 740 @ 299.297
299.89/300.78	c bounds - >= 741 @ 299.297
299.89/300.78	c bounds - >= 742 @ 299.298
299.89/300.78	c bounds - >= 743 @ 299.298
299.89/300.78	c bounds - >= 744 @ 299.298
299.89/300.78	c bounds - >= 745 @ 299.298
299.89/300.78	c bounds - >= 746 @ 299.299
299.89/300.78	c bounds - >= 747 @ 299.299
299.89/300.78	c bounds - >= 748 @ 299.299
299.89/300.78	c bounds - >= 749 @ 299.3
299.89/300.78	c bounds - >= 750 @ 299.3
299.89/300.78	c bounds - >= 751 @ 299.3
299.89/300.78	c bounds - >= 752 @ 299.3
299.89/300.78	c bounds - >= 753 @ 299.301
299.89/300.78	c bounds - >= 754 @ 299.301
299.89/300.78	c bounds - >= 755 @ 299.301
299.89/300.78	c bounds - >= 756 @ 299.301
299.89/300.78	c bounds - >= 757 @ 299.301
299.89/300.78	c bounds - >= 758 @ 299.301
299.89/300.78	c bounds - >= 759 @ 299.301
299.89/300.78	c bounds - >= 760 @ 299.302
299.89/300.78	c bounds - >= 761 @ 299.302
299.89/300.78	c bounds - >= 762 @ 299.302
299.89/300.78	c bounds - >= 763 @ 299.302
299.89/300.78	c bounds - >= 764 @ 299.303
299.89/300.78	c bounds - >= 765 @ 299.303
299.89/300.78	c bounds - >= 766 @ 299.303
299.89/300.78	c bounds - >= 767 @ 299.303
299.89/300.78	c bounds - >= 768 @ 299.304
299.89/300.78	c bounds - >= 769 @ 299.304
299.89/300.78	c bounds - >= 770 @ 299.304
299.89/300.78	c bounds - >= 771 @ 299.305
299.89/300.78	c bounds - >= 772 @ 299.305
299.89/300.78	c bounds - >= 773 @ 299.305
299.89/300.78	c bounds - >= 774 @ 299.305
299.89/300.78	c bounds - >= 775 @ 299.306
299.89/300.78	c bounds - >= 776 @ 299.306
299.89/300.78	c bounds - >= 777 @ 299.306
299.89/300.78	c bounds - >= 778 @ 299.306
299.89/300.78	c bounds - >= 779 @ 299.306
299.89/300.78	c bounds - >= 780 @ 299.306
299.89/300.78	c bounds - >= 781 @ 299.306
299.89/300.78	c bounds - >= 782 @ 299.307
299.89/300.78	c bounds - >= 783 @ 299.307
299.89/300.78	c bounds - >= 784 @ 299.307
299.89/300.78	c bounds - >= 785 @ 299.307
299.89/300.78	c bounds - >= 786 @ 299.307
299.89/300.78	c bounds - >= 787 @ 299.307
299.89/300.78	c bounds - >= 788 @ 299.308
299.89/300.78	c bounds - >= 789 @ 299.308
299.89/300.78	c bounds - >= 790 @ 299.308
299.89/300.78	c bounds - >= 791 @ 299.309
299.89/300.78	c bounds - >= 792 @ 299.309
299.89/300.78	c bounds - >= 793 @ 299.309
299.89/300.78	c bounds - >= 794 @ 299.31
299.89/300.78	c bounds - >= 795 @ 299.31
299.89/300.78	c bounds - >= 796 @ 299.31
299.89/300.78	c bounds - >= 797 @ 299.31
299.89/300.78	c bounds - >= 798 @ 299.31
299.89/300.78	c bounds - >= 799 @ 299.31
299.89/300.78	c bounds - >= 800 @ 299.311
299.89/300.78	c bounds - >= 801 @ 299.311
299.89/300.78	c bounds - >= 802 @ 299.311
299.89/300.78	c bounds - >= 803 @ 299.312
299.89/300.78	c bounds - >= 804 @ 299.312
299.89/300.78	c bounds - >= 805 @ 299.312
299.89/300.78	c bounds - >= 806 @ 299.313
299.89/300.78	c bounds - >= 807 @ 299.313
299.89/300.78	c bounds - >= 808 @ 299.313
299.89/300.78	c bounds - >= 809 @ 299.313
299.89/300.78	c bounds - >= 810 @ 299.313
299.89/300.78	c bounds - >= 811 @ 299.313
299.89/300.78	c bounds - >= 812 @ 299.313
299.89/300.78	c bounds - >= 813 @ 299.313
299.89/300.78	c bounds - >= 814 @ 299.313
299.89/300.78	c bounds - >= 815 @ 299.314
299.89/300.78	c bounds - >= 816 @ 299.314
299.89/300.78	c bounds - >= 817 @ 299.315
299.89/300.78	c bounds - >= 818 @ 299.315
299.89/300.78	c bounds - >= 819 @ 299.316
299.89/300.78	c bounds - >= 820 @ 299.316
299.89/300.78	c bounds - >= 821 @ 299.316
299.89/300.78	c #Conflicts:       1000 | #Constraints:       5218
299.89/300.78	c #Conflicts:       2000 | #Constraints:       6218
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:       3000 | #Constraints:       6080
353.88/354.84	c #Conflicts:       4000 | #Constraints:       7080
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:       5000 | #Constraints:       6453
353.88/354.84	c #Conflicts:       6000 | #Constraints:       7453
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:       7000 | #Constraints:       6438
353.88/354.84	c #Conflicts:       8000 | #Constraints:       7438
353.88/354.84	c #Conflicts:       9000 | #Constraints:       8438
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      10000 | #Constraints:       7133
353.88/354.84	c #Conflicts:      11000 | #Constraints:       8133
353.88/354.84	c #Conflicts:      12000 | #Constraints:       9133
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      13000 | #Constraints:       7574
353.88/354.84	c #Conflicts:      14000 | #Constraints:       8574
353.88/354.84	c #Conflicts:      15000 | #Constraints:       9574
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      16000 | #Constraints:       7797
353.88/354.84	c #Conflicts:      17000 | #Constraints:       8797
353.88/354.84	c #Conflicts:      18000 | #Constraints:       9797
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      19000 | #Constraints:       7814
353.88/354.84	c #Conflicts:      20000 | #Constraints:       8814
353.88/354.84	c #Conflicts:      21000 | #Constraints:       9814
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      22000 | #Constraints:       7620
353.88/354.84	c #Conflicts:      23000 | #Constraints:       8620
353.88/354.84	c #Conflicts:      24000 | #Constraints:       9620
353.88/354.84	c #Conflicts:      25000 | #Constraints:      10620
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      26000 | #Constraints:       8238
353.88/354.84	c #Conflicts:      27000 | #Constraints:       9238
353.88/354.84	c #Conflicts:      28000 | #Constraints:      10238
353.88/354.84	c #Conflicts:      29000 | #Constraints:      11238
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      30000 | #Constraints:       8637
353.88/354.84	c #Conflicts:      31000 | #Constraints:       9637
353.88/354.84	c #Conflicts:      32000 | #Constraints:      10637
353.88/354.84	c #Conflicts:      33000 | #Constraints:      11637
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      34000 | #Constraints:       8825
353.88/354.84	c #Conflicts:      35000 | #Constraints:       9825
353.88/354.84	c #Conflicts:      36000 | #Constraints:      10825
353.88/354.84	c #Conflicts:      37000 | #Constraints:      11825
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      38000 | #Constraints:       8826
353.88/354.84	c #Conflicts:      39000 | #Constraints:       9826
353.88/354.84	c #Conflicts:      40000 | #Constraints:      10826
353.88/354.84	c #Conflicts:      41000 | #Constraints:      11826
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      42000 | #Constraints:       8625
353.88/354.84	c #Conflicts:      43000 | #Constraints:       9625
353.88/354.84	c #Conflicts:      44000 | #Constraints:      10625
353.88/354.84	c #Conflicts:      45000 | #Constraints:      11625
353.88/354.84	c #Conflicts:      46000 | #Constraints:      12625
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      47000 | #Constraints:       9220
353.88/354.84	c #Conflicts:      48000 | #Constraints:      10220
353.88/354.84	c #Conflicts:      49000 | #Constraints:      11220
353.88/354.84	c #Conflicts:      50000 | #Constraints:      12220
353.88/354.84	c #Conflicts:      51000 | #Constraints:      13220
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      52000 | #Constraints:       9624
353.88/354.84	c #Conflicts:      53000 | #Constraints:      10624
353.88/354.84	c #Conflicts:      54000 | #Constraints:      11624
353.88/354.84	c #Conflicts:      55000 | #Constraints:      12624
353.88/354.84	c #Conflicts:      56000 | #Constraints:      13624
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      57000 | #Constraints:       9824
353.88/354.84	c #Conflicts:      58000 | #Constraints:      10824
353.88/354.84	c #Conflicts:      59000 | #Constraints:      11824
353.88/354.84	c #Conflicts:      60000 | #Constraints:      12824
353.88/354.84	c #Conflicts:      61000 | #Constraints:      13824
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      62000 | #Constraints:       9826
353.88/354.84	c #Conflicts:      63000 | #Constraints:      10826
353.88/354.84	c #Conflicts:      64000 | #Constraints:      11826
353.88/354.84	c #Conflicts:      65000 | #Constraints:      12826
353.88/354.84	c #Conflicts:      66000 | #Constraints:      13826
353.88/354.84	c INPROCESSING
353.88/354.84	c GARBAGE COLLECT
353.88/354.84	c #Conflicts:      67000 | #Constraints:       9628
353.88/354.84	c #Conflicts:      68000 | #Constraints:      10628
353.88/354.84	c #Conflicts:      69000 | #Constraints:      11628
451.74/452.97	c #Conflicts:      70000 | #Constraints:      12628
451.74/452.97	c #Conflicts:      71000 | #Constraints:      13628
451.74/452.97	c #Conflicts:      72000 | #Constraints:      14628
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:      73000 | #Constraints:      10226
451.74/452.97	c #Conflicts:      74000 | #Constraints:      11226
451.74/452.97	c #Conflicts:      75000 | #Constraints:      12226
451.74/452.97	c #Conflicts:      76000 | #Constraints:      13226
451.74/452.97	c #Conflicts:      77000 | #Constraints:      14226
451.74/452.97	c #Conflicts:      78000 | #Constraints:      15226
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:      79000 | #Constraints:      10622
451.74/452.97	c #Conflicts:      80000 | #Constraints:      11622
451.74/452.97	c #Conflicts:      81000 | #Constraints:      12622
451.74/452.97	c #Conflicts:      82000 | #Constraints:      13622
451.74/452.97	c #Conflicts:      83000 | #Constraints:      14622
451.74/452.97	c #Conflicts:      84000 | #Constraints:      15622
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:      85000 | #Constraints:      10832
451.74/452.97	c #Conflicts:      86000 | #Constraints:      11832
451.74/452.97	c #Conflicts:      87000 | #Constraints:      12832
451.74/452.97	c #Conflicts:      88000 | #Constraints:      13832
451.74/452.97	c #Conflicts:      89000 | #Constraints:      14832
451.74/452.97	c #Conflicts:      90000 | #Constraints:      15832
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:      91000 | #Constraints:      10834
451.74/452.97	c #Conflicts:      92000 | #Constraints:      11834
451.74/452.97	c #Conflicts:      93000 | #Constraints:      12834
451.74/452.97	c #Conflicts:      94000 | #Constraints:      13834
451.74/452.97	c #Conflicts:      95000 | #Constraints:      14834
451.74/452.97	c #Conflicts:      96000 | #Constraints:      15834
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:      97000 | #Constraints:      10638
451.74/452.97	c #Conflicts:      98000 | #Constraints:      11638
451.74/452.97	c #Conflicts:      99000 | #Constraints:      12638
451.74/452.97	c #Conflicts:     100000 | #Constraints:      13638
451.74/452.97	c #Conflicts:     101000 | #Constraints:      14638
451.74/452.97	c #Conflicts:     102000 | #Constraints:      15638
451.74/452.97	c #Conflicts:     103000 | #Constraints:      16638
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     104000 | #Constraints:      11232
451.74/452.97	c #Conflicts:     105000 | #Constraints:      12232
451.74/452.97	c #Conflicts:     106000 | #Constraints:      13232
451.74/452.97	c #Conflicts:     107000 | #Constraints:      14232
451.74/452.97	c #Conflicts:     108000 | #Constraints:      15232
451.74/452.97	c #Conflicts:     109000 | #Constraints:      16232
451.74/452.97	c #Conflicts:     110000 | #Constraints:      17232
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     111000 | #Constraints:      11631
451.74/452.97	c #Conflicts:     112000 | #Constraints:      12631
451.74/452.97	c #Conflicts:     113000 | #Constraints:      13631
451.74/452.97	c #Conflicts:     114000 | #Constraints:      14631
451.74/452.97	c #Conflicts:     115000 | #Constraints:      15631
451.74/452.97	c #Conflicts:     116000 | #Constraints:      16631
451.74/452.97	c #Conflicts:     117000 | #Constraints:      17631
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     118000 | #Constraints:      11832
451.74/452.97	c #Conflicts:     119000 | #Constraints:      12832
451.74/452.97	c #Conflicts:     120000 | #Constraints:      13832
451.74/452.97	c #Conflicts:     121000 | #Constraints:      14832
451.74/452.97	c #Conflicts:     122000 | #Constraints:      15832
451.74/452.97	c #Conflicts:     123000 | #Constraints:      16832
451.74/452.97	c #Conflicts:     124000 | #Constraints:      17832
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     125000 | #Constraints:      11833
451.74/452.97	c #Conflicts:     126000 | #Constraints:      12833
451.74/452.97	c #Conflicts:     127000 | #Constraints:      13833
451.74/452.97	c #Conflicts:     128000 | #Constraints:      14833
451.74/452.97	c #Conflicts:     129000 | #Constraints:      15833
451.74/452.97	c #Conflicts:     130000 | #Constraints:      16833
451.74/452.97	c #Conflicts:     131000 | #Constraints:      17833
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     132000 | #Constraints:      11624
451.74/452.97	c #Conflicts:     133000 | #Constraints:      12624
451.74/452.97	c #Conflicts:     134000 | #Constraints:      13624
451.74/452.97	c #Conflicts:     135000 | #Constraints:      14624
451.74/452.97	c #Conflicts:     136000 | #Constraints:      15624
451.74/452.97	c #Conflicts:     137000 | #Constraints:      16624
451.74/452.97	c #Conflicts:     138000 | #Constraints:      17624
451.74/452.97	c #Conflicts:     139000 | #Constraints:      18624
451.74/452.97	c INPROCESSING
451.74/452.97	c GARBAGE COLLECT
451.74/452.97	c #Conflicts:     140000 | #Constraints:      12221
451.74/452.97	c #Conflicts:     141000 | #Constraints:      13221
560.87/562.32	c #Conflicts:     142000 | #Constraints:      14221
560.87/562.32	c #Conflicts:     143000 | #Constraints:      15221
560.87/562.32	c #Conflicts:     144000 | #Constraints:      16221
560.87/562.32	c #Conflicts:     145000 | #Constraints:      17221
560.87/562.32	c #Conflicts:     146000 | #Constraints:      18221
560.87/562.32	c #Conflicts:     147000 | #Constraints:      19221
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     148000 | #Constraints:      12619
560.87/562.32	c #Conflicts:     149000 | #Constraints:      13619
560.87/562.32	c #Conflicts:     150000 | #Constraints:      14619
560.87/562.32	c #Conflicts:     151000 | #Constraints:      15619
560.87/562.32	c #Conflicts:     152000 | #Constraints:      16619
560.87/562.32	c #Conflicts:     153000 | #Constraints:      17619
560.87/562.32	c #Conflicts:     154000 | #Constraints:      18619
560.87/562.32	c #Conflicts:     155000 | #Constraints:      19619
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     156000 | #Constraints:      12817
560.87/562.32	c #Conflicts:     157000 | #Constraints:      13817
560.87/562.32	c #Conflicts:     158000 | #Constraints:      14817
560.87/562.32	c #Conflicts:     159000 | #Constraints:      15817
560.87/562.32	c #Conflicts:     160000 | #Constraints:      16817
560.87/562.32	c #Conflicts:     161000 | #Constraints:      17817
560.87/562.32	c #Conflicts:     162000 | #Constraints:      18817
560.87/562.32	c #Conflicts:     163000 | #Constraints:      19817
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     164000 | #Constraints:      12819
560.87/562.32	c #Conflicts:     165000 | #Constraints:      13819
560.87/562.32	c #Conflicts:     166000 | #Constraints:      14819
560.87/562.32	c #Conflicts:     167000 | #Constraints:      15819
560.87/562.32	c #Conflicts:     168000 | #Constraints:      16819
560.87/562.32	c #Conflicts:     169000 | #Constraints:      17819
560.87/562.32	c #Conflicts:     170000 | #Constraints:      18819
560.87/562.32	c #Conflicts:     171000 | #Constraints:      19819
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     172000 | #Constraints:      12613
560.87/562.32	c #Conflicts:     173000 | #Constraints:      13613
560.87/562.32	c #Conflicts:     174000 | #Constraints:      14613
560.87/562.32	c #Conflicts:     175000 | #Constraints:      15613
560.87/562.32	c #Conflicts:     176000 | #Constraints:      16613
560.87/562.32	c #Conflicts:     177000 | #Constraints:      17613
560.87/562.32	c #Conflicts:     178000 | #Constraints:      18613
560.87/562.32	c #Conflicts:     179000 | #Constraints:      19613
560.87/562.32	c #Conflicts:     180000 | #Constraints:      20613
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     181000 | #Constraints:      13213
560.87/562.32	c #Conflicts:     182000 | #Constraints:      14213
560.87/562.32	c #Conflicts:     183000 | #Constraints:      15213
560.87/562.32	c #Conflicts:     184000 | #Constraints:      16213
560.87/562.32	c #Conflicts:     185000 | #Constraints:      17213
560.87/562.32	c #Conflicts:     186000 | #Constraints:      18213
560.87/562.32	c #Conflicts:     187000 | #Constraints:      19213
560.87/562.32	c #Conflicts:     188000 | #Constraints:      20213
560.87/562.32	c #Conflicts:     189000 | #Constraints:      21213
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     190000 | #Constraints:      13619
560.87/562.32	c #Conflicts:     191000 | #Constraints:      14619
560.87/562.32	c #Conflicts:     192000 | #Constraints:      15619
560.87/562.32	c #Conflicts:     193000 | #Constraints:      16619
560.87/562.32	c #Conflicts:     194000 | #Constraints:      17619
560.87/562.32	c #Conflicts:     195000 | #Constraints:      18619
560.87/562.32	c #Conflicts:     196000 | #Constraints:      19619
560.87/562.32	c #Conflicts:     197000 | #Constraints:      20619
560.87/562.32	c #Conflicts:     198000 | #Constraints:      21619
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     199000 | #Constraints:      13821
560.87/562.32	c #Conflicts:     200000 | #Constraints:      14821
560.87/562.32	c #Conflicts:     201000 | #Constraints:      15821
560.87/562.32	c #Conflicts:     202000 | #Constraints:      16821
560.87/562.32	c #Conflicts:     203000 | #Constraints:      17821
560.87/562.32	c #Conflicts:     204000 | #Constraints:      18821
560.87/562.32	c #Conflicts:     205000 | #Constraints:      19821
560.87/562.32	c #Conflicts:     206000 | #Constraints:      20821
560.87/562.32	c #Conflicts:     207000 | #Constraints:      21821
560.87/562.32	c INPROCESSING
560.87/562.32	c GARBAGE COLLECT
560.87/562.32	c #Conflicts:     208000 | #Constraints:      13826
560.87/562.32	c #Conflicts:     209000 | #Constraints:      14826
560.87/562.32	c #Conflicts:     210000 | #Constraints:      15826
560.87/562.32	c #Conflicts:     211000 | #Constraints:      16826
560.87/562.32	c #Conflicts:     212000 | #Constraints:      17826
560.87/562.32	c #Conflicts:     213000 | #Constraints:      18826
560.87/562.32	c #Conflicts:     214000 | #Constraints:      19826
720.10/721.94	c #Conflicts:     215000 | #Constraints:      20826
720.10/721.94	c #Conflicts:     216000 | #Constraints:      21826
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     217000 | #Constraints:      13624
720.10/721.94	c #Conflicts:     218000 | #Constraints:      14624
720.10/721.94	c #Conflicts:     219000 | #Constraints:      15624
720.10/721.94	c #Conflicts:     220000 | #Constraints:      16624
720.10/721.94	c #Conflicts:     221000 | #Constraints:      17624
720.10/721.94	c #Conflicts:     222000 | #Constraints:      18624
720.10/721.94	c #Conflicts:     223000 | #Constraints:      19624
720.10/721.94	c #Conflicts:     224000 | #Constraints:      20624
720.10/721.94	c #Conflicts:     225000 | #Constraints:      21624
720.10/721.94	c #Conflicts:     226000 | #Constraints:      22624
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     227000 | #Constraints:      14227
720.10/721.94	c #Conflicts:     228000 | #Constraints:      15227
720.10/721.94	c #Conflicts:     229000 | #Constraints:      16227
720.10/721.94	c #Conflicts:     230000 | #Constraints:      17227
720.10/721.94	c #Conflicts:     231000 | #Constraints:      18227
720.10/721.94	c #Conflicts:     232000 | #Constraints:      19227
720.10/721.94	c #Conflicts:     233000 | #Constraints:      20227
720.10/721.94	c #Conflicts:     234000 | #Constraints:      21227
720.10/721.94	c #Conflicts:     235000 | #Constraints:      22227
720.10/721.94	c #Conflicts:     236000 | #Constraints:      23227
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     237000 | #Constraints:      14617
720.10/721.94	c #Conflicts:     238000 | #Constraints:      15617
720.10/721.94	c #Conflicts:     239000 | #Constraints:      16617
720.10/721.94	c #Conflicts:     240000 | #Constraints:      17617
720.10/721.94	c #Conflicts:     241000 | #Constraints:      18617
720.10/721.94	c #Conflicts:     242000 | #Constraints:      19617
720.10/721.94	c #Conflicts:     243000 | #Constraints:      20617
720.10/721.94	c #Conflicts:     244000 | #Constraints:      21617
720.10/721.94	c #Conflicts:     245000 | #Constraints:      22617
720.10/721.94	c #Conflicts:     246000 | #Constraints:      23617
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     247000 | #Constraints:      14821
720.10/721.94	c #Conflicts:     248000 | #Constraints:      15821
720.10/721.94	c #Conflicts:     249000 | #Constraints:      16821
720.10/721.94	c #Conflicts:     250000 | #Constraints:      17821
720.10/721.94	c #Conflicts:     251000 | #Constraints:      18821
720.10/721.94	c #Conflicts:     252000 | #Constraints:      19821
720.10/721.94	c #Conflicts:     253000 | #Constraints:      20821
720.10/721.94	c #Conflicts:     254000 | #Constraints:      21821
720.10/721.94	c #Conflicts:     255000 | #Constraints:      22821
720.10/721.94	c #Conflicts:     256000 | #Constraints:      23821
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     257000 | #Constraints:      14817
720.10/721.94	c #Conflicts:     258000 | #Constraints:      15817
720.10/721.94	c #Conflicts:     259000 | #Constraints:      16817
720.10/721.94	c #Conflicts:     260000 | #Constraints:      17817
720.10/721.94	c #Conflicts:     261000 | #Constraints:      18817
720.10/721.94	c #Conflicts:     262000 | #Constraints:      19817
720.10/721.94	c #Conflicts:     263000 | #Constraints:      20817
720.10/721.94	c #Conflicts:     264000 | #Constraints:      21817
720.10/721.94	c #Conflicts:     265000 | #Constraints:      22817
720.10/721.94	c #Conflicts:     266000 | #Constraints:      23817
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     267000 | #Constraints:      14622
720.10/721.94	c #Conflicts:     268000 | #Constraints:      15622
720.10/721.94	c #Conflicts:     269000 | #Constraints:      16622
720.10/721.94	c #Conflicts:     270000 | #Constraints:      17622
720.10/721.94	c #Conflicts:     271000 | #Constraints:      18622
720.10/721.94	c #Conflicts:     272000 | #Constraints:      19622
720.10/721.94	c #Conflicts:     273000 | #Constraints:      20622
720.10/721.94	c #Conflicts:     274000 | #Constraints:      21622
720.10/721.94	c #Conflicts:     275000 | #Constraints:      22622
720.10/721.94	c #Conflicts:     276000 | #Constraints:      23622
720.10/721.94	c #Conflicts:     277000 | #Constraints:      24622
720.10/721.94	c INPROCESSING
720.10/721.94	c GARBAGE COLLECT
720.10/721.94	c #Conflicts:     278000 | #Constraints:      15214
720.10/721.94	c #Conflicts:     279000 | #Constraints:      16214
720.10/721.94	c #Conflicts:     280000 | #Constraints:      17214
720.10/721.94	c #Conflicts:     281000 | #Constraints:      18214
720.10/721.94	c #Conflicts:     282000 | #Constraints:      19214
720.10/721.94	c #Conflicts:     283000 | #Constraints:      20214
720.10/721.94	c #Conflicts:     284000 | #Constraints:      21214
720.10/721.94	c #Conflicts:     285000 | #Constraints:      22214
720.10/721.94	c #Conflicts:     286000 | #Constraints:      23214
720.10/721.94	c #Conflicts:     287000 | #Constraints:      24214
720.10/721.94	c #Conflicts:     288000 | #Constraints:      25214
720.10/721.94	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     289000 | #Constraints:      15612
894.98/897.21	c #Conflicts:     290000 | #Constraints:      16612
894.98/897.21	c #Conflicts:     291000 | #Constraints:      17612
894.98/897.21	c #Conflicts:     292000 | #Constraints:      18612
894.98/897.21	c #Conflicts:     293000 | #Constraints:      19612
894.98/897.21	c #Conflicts:     294000 | #Constraints:      20612
894.98/897.21	c #Conflicts:     295000 | #Constraints:      21612
894.98/897.21	c #Conflicts:     296000 | #Constraints:      22612
894.98/897.21	c #Conflicts:     297000 | #Constraints:      23612
894.98/897.21	c #Conflicts:     298000 | #Constraints:      24612
894.98/897.21	c #Conflicts:     299000 | #Constraints:      25612
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     300000 | #Constraints:      15812
894.98/897.21	c #Conflicts:     301000 | #Constraints:      16812
894.98/897.21	c #Conflicts:     302000 | #Constraints:      17812
894.98/897.21	c #Conflicts:     303000 | #Constraints:      18812
894.98/897.21	c #Conflicts:     304000 | #Constraints:      19812
894.98/897.21	c #Conflicts:     305000 | #Constraints:      20812
894.98/897.21	c #Conflicts:     306000 | #Constraints:      21812
894.98/897.21	c #Conflicts:     307000 | #Constraints:      22812
894.98/897.21	c #Conflicts:     308000 | #Constraints:      23812
894.98/897.21	c #Conflicts:     309000 | #Constraints:      24812
894.98/897.21	c #Conflicts:     310000 | #Constraints:      25812
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     311000 | #Constraints:      15821
894.98/897.21	c #Conflicts:     312000 | #Constraints:      16821
894.98/897.21	c #Conflicts:     313000 | #Constraints:      17821
894.98/897.21	c #Conflicts:     314000 | #Constraints:      18821
894.98/897.21	c #Conflicts:     315000 | #Constraints:      19821
894.98/897.21	c #Conflicts:     316000 | #Constraints:      20821
894.98/897.21	c #Conflicts:     317000 | #Constraints:      21821
894.98/897.21	c #Conflicts:     318000 | #Constraints:      22821
894.98/897.21	c #Conflicts:     319000 | #Constraints:      23821
894.98/897.21	c #Conflicts:     320000 | #Constraints:      24821
894.98/897.21	c #Conflicts:     321000 | #Constraints:      25821
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     322000 | #Constraints:      15615
894.98/897.21	c #Conflicts:     323000 | #Constraints:      16615
894.98/897.21	c #Conflicts:     324000 | #Constraints:      17615
894.98/897.21	c #Conflicts:     325000 | #Constraints:      18615
894.98/897.21	c #Conflicts:     326000 | #Constraints:      19615
894.98/897.21	c #Conflicts:     327000 | #Constraints:      20615
894.98/897.21	c #Conflicts:     328000 | #Constraints:      21615
894.98/897.21	c #Conflicts:     329000 | #Constraints:      22615
894.98/897.21	c #Conflicts:     330000 | #Constraints:      23615
894.98/897.21	c #Conflicts:     331000 | #Constraints:      24615
894.98/897.21	c #Conflicts:     332000 | #Constraints:      25615
894.98/897.21	c #Conflicts:     333000 | #Constraints:      26615
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     334000 | #Constraints:      16224
894.98/897.21	c #Conflicts:     335000 | #Constraints:      17224
894.98/897.21	c #Conflicts:     336000 | #Constraints:      18224
894.98/897.21	c #Conflicts:     337000 | #Constraints:      19224
894.98/897.21	c #Conflicts:     338000 | #Constraints:      20224
894.98/897.21	c #Conflicts:     339000 | #Constraints:      21224
894.98/897.21	c #Conflicts:     340000 | #Constraints:      22224
894.98/897.21	c #Conflicts:     341000 | #Constraints:      23224
894.98/897.21	c #Conflicts:     342000 | #Constraints:      24224
894.98/897.21	c #Conflicts:     343000 | #Constraints:      25224
894.98/897.21	c #Conflicts:     344000 | #Constraints:      26224
894.98/897.21	c #Conflicts:     345000 | #Constraints:      27224
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     346000 | #Constraints:      16622
894.98/897.21	c #Conflicts:     347000 | #Constraints:      17622
894.98/897.21	c #Conflicts:     348000 | #Constraints:      18622
894.98/897.21	c #Conflicts:     349000 | #Constraints:      19622
894.98/897.21	c #Conflicts:     350000 | #Constraints:      20622
894.98/897.21	c #Conflicts:     351000 | #Constraints:      21622
894.98/897.21	c #Conflicts:     352000 | #Constraints:      22622
894.98/897.21	c #Conflicts:     353000 | #Constraints:      23622
894.98/897.21	c #Conflicts:     354000 | #Constraints:      24622
894.98/897.21	c #Conflicts:     355000 | #Constraints:      25622
894.98/897.21	c #Conflicts:     356000 | #Constraints:      26622
894.98/897.21	c #Conflicts:     357000 | #Constraints:      27622
894.98/897.21	c INPROCESSING
894.98/897.21	c GARBAGE COLLECT
894.98/897.21	c #Conflicts:     358000 | #Constraints:      16821
894.98/897.21	c #Conflicts:     359000 | #Constraints:      17821
894.98/897.21	c #Conflicts:     360000 | #Constraints:      18821
894.98/897.21	c #Conflicts:     361000 | #Constraints:      19821
894.98/897.21	c #Conflicts:     362000 | #Constraints:      20821
894.98/897.21	c #Conflicts:     363000 | #Constraints:      21821
1079.74/1082.46	c #Conflicts:     364000 | #Constraints:      22821
1079.74/1082.46	c #Conflicts:     365000 | #Constraints:      23821
1079.74/1082.46	c #Conflicts:     366000 | #Constraints:      24821
1079.74/1082.46	c #Conflicts:     367000 | #Constraints:      25821
1079.74/1082.46	c #Conflicts:     368000 | #Constraints:      26821
1079.74/1082.46	c #Conflicts:     369000 | #Constraints:      27821
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     370000 | #Constraints:      16821
1079.74/1082.46	c #Conflicts:     371000 | #Constraints:      17821
1079.74/1082.46	c #Conflicts:     372000 | #Constraints:      18821
1079.74/1082.46	c #Conflicts:     373000 | #Constraints:      19821
1079.74/1082.46	c #Conflicts:     374000 | #Constraints:      20821
1079.74/1082.46	c #Conflicts:     375000 | #Constraints:      21821
1079.74/1082.46	c #Conflicts:     376000 | #Constraints:      22821
1079.74/1082.46	c #Conflicts:     377000 | #Constraints:      23821
1079.74/1082.46	c #Conflicts:     378000 | #Constraints:      24821
1079.74/1082.46	c #Conflicts:     379000 | #Constraints:      25821
1079.74/1082.46	c #Conflicts:     380000 | #Constraints:      26821
1079.74/1082.46	c #Conflicts:     381000 | #Constraints:      27821
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     382000 | #Constraints:      16619
1079.74/1082.46	c #Conflicts:     383000 | #Constraints:      17619
1079.74/1082.46	c #Conflicts:     384000 | #Constraints:      18619
1079.74/1082.46	c #Conflicts:     385000 | #Constraints:      19619
1079.74/1082.46	c #Conflicts:     386000 | #Constraints:      20619
1079.74/1082.46	c #Conflicts:     387000 | #Constraints:      21619
1079.74/1082.46	c #Conflicts:     388000 | #Constraints:      22619
1079.74/1082.46	c #Conflicts:     389000 | #Constraints:      23619
1079.74/1082.46	c #Conflicts:     390000 | #Constraints:      24619
1079.74/1082.46	c #Conflicts:     391000 | #Constraints:      25619
1079.74/1082.46	c #Conflicts:     392000 | #Constraints:      26619
1079.74/1082.46	c #Conflicts:     393000 | #Constraints:      27619
1079.74/1082.46	c #Conflicts:     394000 | #Constraints:      28619
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     395000 | #Constraints:      17224
1079.74/1082.46	c #Conflicts:     396000 | #Constraints:      18224
1079.74/1082.46	c #Conflicts:     397000 | #Constraints:      19224
1079.74/1082.46	c #Conflicts:     398000 | #Constraints:      20224
1079.74/1082.46	c #Conflicts:     399000 | #Constraints:      21224
1079.74/1082.46	c #Conflicts:     400000 | #Constraints:      22224
1079.74/1082.46	c #Conflicts:     401000 | #Constraints:      23224
1079.74/1082.46	c #Conflicts:     402000 | #Constraints:      24224
1079.74/1082.46	c #Conflicts:     403000 | #Constraints:      25224
1079.74/1082.46	c #Conflicts:     404000 | #Constraints:      26224
1079.74/1082.46	c #Conflicts:     405000 | #Constraints:      27224
1079.74/1082.46	c #Conflicts:     406000 | #Constraints:      28224
1079.74/1082.46	c #Conflicts:     407000 | #Constraints:      29224
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     408000 | #Constraints:      17623
1079.74/1082.46	c #Conflicts:     409000 | #Constraints:      18623
1079.74/1082.46	c #Conflicts:     410000 | #Constraints:      19623
1079.74/1082.46	c #Conflicts:     411000 | #Constraints:      20623
1079.74/1082.46	c #Conflicts:     412000 | #Constraints:      21623
1079.74/1082.46	c #Conflicts:     413000 | #Constraints:      22623
1079.74/1082.46	c #Conflicts:     414000 | #Constraints:      23623
1079.74/1082.46	c #Conflicts:     415000 | #Constraints:      24623
1079.74/1082.46	c #Conflicts:     416000 | #Constraints:      25623
1079.74/1082.46	c #Conflicts:     417000 | #Constraints:      26623
1079.74/1082.46	c #Conflicts:     418000 | #Constraints:      27623
1079.74/1082.46	c #Conflicts:     419000 | #Constraints:      28623
1079.74/1082.46	c #Conflicts:     420000 | #Constraints:      29623
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     421000 | #Constraints:      17825
1079.74/1082.46	c #Conflicts:     422000 | #Constraints:      18825
1079.74/1082.46	c #Conflicts:     423000 | #Constraints:      19825
1079.74/1082.46	c #Conflicts:     424000 | #Constraints:      20825
1079.74/1082.46	c #Conflicts:     425000 | #Constraints:      21825
1079.74/1082.46	c #Conflicts:     426000 | #Constraints:      22825
1079.74/1082.46	c #Conflicts:     427000 | #Constraints:      23825
1079.74/1082.46	c #Conflicts:     428000 | #Constraints:      24825
1079.74/1082.46	c #Conflicts:     429000 | #Constraints:      25825
1079.74/1082.46	c #Conflicts:     430000 | #Constraints:      26825
1079.74/1082.46	c #Conflicts:     431000 | #Constraints:      27825
1079.74/1082.46	c #Conflicts:     432000 | #Constraints:      28825
1079.74/1082.46	c #Conflicts:     433000 | #Constraints:      29825
1079.74/1082.46	c INPROCESSING
1079.74/1082.46	c GARBAGE COLLECT
1079.74/1082.46	c #Conflicts:     434000 | #Constraints:      17830
1079.74/1082.46	c #Conflicts:     435000 | #Constraints:      18830
1079.74/1082.46	c #Conflicts:     436000 | #Constraints:      19830
1079.74/1082.46	c #Conflicts:     437000 | #Constraints:      20830
1079.74/1082.46	c #Conflicts:     438000 | #Constraints:      21830
1269.88/1273.04	c #Conflicts:     439000 | #Constraints:      22830
1269.88/1273.04	c #Conflicts:     440000 | #Constraints:      23830
1269.88/1273.04	c #Conflicts:     441000 | #Constraints:      24830
1269.88/1273.04	c #Conflicts:     442000 | #Constraints:      25830
1269.88/1273.04	c #Conflicts:     443000 | #Constraints:      26830
1269.88/1273.04	c #Conflicts:     444000 | #Constraints:      27830
1269.88/1273.04	c #Conflicts:     445000 | #Constraints:      28830
1269.88/1273.04	c #Conflicts:     446000 | #Constraints:      29830
1269.88/1273.04	c INPROCESSING
1269.88/1273.04	c GARBAGE COLLECT
1269.88/1273.04	c #Conflicts:     447000 | #Constraints:      17632
1269.88/1273.04	c #Conflicts:     448000 | #Constraints:      18632
1269.88/1273.04	c #Conflicts:     449000 | #Constraints:      19632
1269.88/1273.04	c #Conflicts:     450000 | #Constraints:      20632
1269.88/1273.04	c #Conflicts:     451000 | #Constraints:      21632
1269.88/1273.04	c #Conflicts:     452000 | #Constraints:      22632
1269.88/1273.04	c #Conflicts:     453000 | #Constraints:      23632
1269.88/1273.04	c #Conflicts:     454000 | #Constraints:      24632
1269.88/1273.04	c #Conflicts:     455000 | #Constraints:      25632
1269.88/1273.04	c #Conflicts:     456000 | #Constraints:      26632
1269.88/1273.04	c #Conflicts:     457000 | #Constraints:      27632
1269.88/1273.04	c #Conflicts:     458000 | #Constraints:      28632
1269.88/1273.04	c #Conflicts:     459000 | #Constraints:      29632
1269.88/1273.04	c #Conflicts:     460000 | #Constraints:      30632
1269.88/1273.04	c INPROCESSING
1269.88/1273.04	c GARBAGE COLLECT
1269.88/1273.04	c #Conflicts:     461000 | #Constraints:      18225
1269.88/1273.04	c #Conflicts:     462000 | #Constraints:      19225
1269.88/1273.04	c #Conflicts:     463000 | #Constraints:      20225
1269.88/1273.04	c #Conflicts:     464000 | #Constraints:      21225
1269.88/1273.04	c #Conflicts:     465000 | #Constraints:      22225
1269.88/1273.04	c #Conflicts:     466000 | #Constraints:      23225
1269.88/1273.04	c #Conflicts:     467000 | #Constraints:      24225
1269.88/1273.04	c #Conflicts:     468000 | #Constraints:      25225
1269.88/1273.04	c #Conflicts:     469000 | #Constraints:      26225
1269.88/1273.04	c #Conflicts:     470000 | #Constraints:      27225
1269.88/1273.04	c #Conflicts:     471000 | #Constraints:      28225
1269.88/1273.04	c #Conflicts:     472000 | #Constraints:      29225
1269.88/1273.04	c #Conflicts:     473000 | #Constraints:      30225
1269.88/1273.04	c #Conflicts:     474000 | #Constraints:      31225
1269.88/1273.04	c INPROCESSING
1269.88/1273.04	c GARBAGE COLLECT
1269.88/1273.04	c #Conflicts:     475000 | #Constraints:      18628
1269.88/1273.04	c #Conflicts:     476000 | #Constraints:      19628
1269.88/1273.04	c #Conflicts:     477000 | #Constraints:      20628
1269.88/1273.04	c #Conflicts:     478000 | #Constraints:      21628
1269.88/1273.04	c #Conflicts:     479000 | #Constraints:      22628
1269.88/1273.04	c #Conflicts:     480000 | #Constraints:      23628
1269.88/1273.04	c #Conflicts:     481000 | #Constraints:      24628
1269.88/1273.04	c #Conflicts:     482000 | #Constraints:      25628
1269.88/1273.04	c #Conflicts:     483000 | #Constraints:      26628
1269.88/1273.04	c #Conflicts:     484000 | #Constraints:      27628
1269.88/1273.04	c #Conflicts:     485000 | #Constraints:      28628
1269.88/1273.04	c #Conflicts:     486000 | #Constraints:      29628
1269.88/1273.04	c #Conflicts:     487000 | #Constraints:      30628
1269.88/1273.04	c #Conflicts:     488000 | #Constraints:      31628
1269.88/1273.04	c INPROCESSING
1269.88/1273.04	c GARBAGE COLLECT
1269.88/1273.04	c #Conflicts:     489000 | #Constraints:      18830
1269.88/1273.04	c #Conflicts:     490000 | #Constraints:      19830
1269.88/1273.04	c #Conflicts:     491000 | #Constraints:      20830
1269.88/1273.04	c #Conflicts:     492000 | #Constraints:      21830
1269.88/1273.04	c #Conflicts:     493000 | #Constraints:      22830
1269.88/1273.04	c #Conflicts:     494000 | #Constraints:      23830
1269.88/1273.04	c #Conflicts:     495000 | #Constraints:      24830
1269.88/1273.04	c #Conflicts:     496000 | #Constraints:      25830
1269.88/1273.04	c #Conflicts:     497000 | #Constraints:      26830
1269.88/1273.04	c #Conflicts:     498000 | #Constraints:      27830
1269.88/1273.04	c #Conflicts:     499000 | #Constraints:      28830
1269.88/1273.04	c #Conflicts:     500000 | #Constraints:      29830
1269.88/1273.04	c #Conflicts:     501000 | #Constraints:      30830
1269.88/1273.04	c #Conflicts:     502000 | #Constraints:      31830
1269.88/1273.04	c INPROCESSING
1269.88/1273.04	c GARBAGE COLLECT
1269.88/1273.04	c #Conflicts:     503000 | #Constraints:      18833
1269.88/1273.04	c #Conflicts:     504000 | #Constraints:      19833
1269.88/1273.04	c #Conflicts:     505000 | #Constraints:      20833
1269.88/1273.04	c #Conflicts:     506000 | #Constraints:      21833
1269.88/1273.04	c #Conflicts:     507000 | #Constraints:      22833
1269.88/1273.04	c #Conflicts:     508000 | #Constraints:      23833
1269.88/1273.04	c #Conflicts:     509000 | #Constraints:      24833
1269.88/1273.04	c #Conflicts:     510000 | #Constraints:      25833
1269.88/1273.04	c #Conflicts:     511000 | #Constraints:      26833
1269.88/1273.04	c #Conflicts:     512000 | #Constraints:      27833
1269.88/1273.04	c #Conflicts:     513000 | #Constraints:      28833
1269.88/1273.04	c #Conflicts:     514000 | #Constraints:      29833
1443.35/1446.97	c #Conflicts:     515000 | #Constraints:      30833
1443.35/1446.97	c #Conflicts:     516000 | #Constraints:      31833
1443.35/1446.97	c INPROCESSING
1443.35/1446.97	c GARBAGE COLLECT
1443.35/1446.97	c #Conflicts:     517000 | #Constraints:      18623
1443.35/1446.97	c #Conflicts:     518000 | #Constraints:      19623
1443.35/1446.97	c #Conflicts:     519000 | #Constraints:      20623
1443.35/1446.97	c #Conflicts:     520000 | #Constraints:      21623
1443.35/1446.97	c #Conflicts:     521000 | #Constraints:      22623
1443.35/1446.97	c #Conflicts:     522000 | #Constraints:      23623
1443.35/1446.97	c #Conflicts:     523000 | #Constraints:      24623
1443.35/1446.97	c #Conflicts:     524000 | #Constraints:      25623
1443.35/1446.97	c #Conflicts:     525000 | #Constraints:      26623
1443.35/1446.97	c #Conflicts:     526000 | #Constraints:      27623
1443.35/1446.97	c #Conflicts:     527000 | #Constraints:      28623
1443.35/1446.97	c #Conflicts:     528000 | #Constraints:      29623
1443.35/1446.97	c #Conflicts:     529000 | #Constraints:      30623
1443.35/1446.97	c #Conflicts:     530000 | #Constraints:      31623
1443.35/1446.97	c #Conflicts:     531000 | #Constraints:      32623
1443.35/1446.97	c INPROCESSING
1443.35/1446.97	c GARBAGE COLLECT
1443.35/1446.97	c #Conflicts:     532000 | #Constraints:      19226
1443.35/1446.97	c #Conflicts:     533000 | #Constraints:      20226
1443.35/1446.97	c #Conflicts:     534000 | #Constraints:      21226
1443.35/1446.97	c #Conflicts:     535000 | #Constraints:      22226
1443.35/1446.97	c #Conflicts:     536000 | #Constraints:      23226
1443.35/1446.97	c #Conflicts:     537000 | #Constraints:      24226
1443.35/1446.97	c #Conflicts:     538000 | #Constraints:      25226
1443.35/1446.97	c #Conflicts:     539000 | #Constraints:      26226
1443.35/1446.97	c #Conflicts:     540000 | #Constraints:      27226
1443.35/1446.97	c #Conflicts:     541000 | #Constraints:      28226
1443.35/1446.97	c #Conflicts:     542000 | #Constraints:      29226
1443.35/1446.97	c #Conflicts:     543000 | #Constraints:      30226
1443.35/1446.97	c #Conflicts:     544000 | #Constraints:      31226
1443.35/1446.97	c #Conflicts:     545000 | #Constraints:      32226
1443.35/1446.97	c #Conflicts:     546000 | #Constraints:      33226
1443.35/1446.97	c INPROCESSING
1443.35/1446.97	c GARBAGE COLLECT
1443.35/1446.97	c #Conflicts:     547000 | #Constraints:      19629
1443.35/1446.97	c #Conflicts:     548000 | #Constraints:      20629
1443.35/1446.97	c #Conflicts:     549000 | #Constraints:      21629
1443.35/1446.97	c #Conflicts:     550000 | #Constraints:      22629
1443.35/1446.97	c #Conflicts:     551000 | #Constraints:      23629
1443.35/1446.97	c #Conflicts:     552000 | #Constraints:      24629
1443.35/1446.97	c #Conflicts:     553000 | #Constraints:      25629
1443.35/1446.97	c #Conflicts:     554000 | #Constraints:      26629
1443.35/1446.97	c #Conflicts:     555000 | #Constraints:      27629
1443.35/1446.97	c #Conflicts:     556000 | #Constraints:      28629
1443.35/1446.97	c #Conflicts:     557000 | #Constraints:      29629
1443.35/1446.97	c #Conflicts:     558000 | #Constraints:      30629
1443.35/1446.97	c #Conflicts:     559000 | #Constraints:      31629
1443.35/1446.97	c #Conflicts:     560000 | #Constraints:      32629
1443.35/1446.97	c #Conflicts:     561000 | #Constraints:      33629
1443.35/1446.97	c INPROCESSING
1443.35/1446.97	c GARBAGE COLLECT
1443.35/1446.97	c #Conflicts:     562000 | #Constraints:      19826
1443.35/1446.97	c #Conflicts:     563000 | #Constraints:      20826
1443.35/1446.97	c #Conflicts:     564000 | #Constraints:      21826
1443.35/1446.97	c #Conflicts:     565000 | #Constraints:      22826
1443.35/1446.97	c #Conflicts:     566000 | #Constraints:      23826
1443.35/1446.97	c #Conflicts:     567000 | #Constraints:      24826
1443.35/1446.97	c #Conflicts:     568000 | #Constraints:      25826
1443.35/1446.97	c #Conflicts:     569000 | #Constraints:      26826
1443.35/1446.97	c #Conflicts:     570000 | #Constraints:      27826
1443.35/1446.97	c #Conflicts:     571000 | #Constraints:      28826
1443.35/1446.97	c #Conflicts:     572000 | #Constraints:      29826
1443.35/1446.97	c #Conflicts:     573000 | #Constraints:      30826
1443.35/1446.97	c #Conflicts:     574000 | #Constraints:      31826
1443.35/1446.97	c #Conflicts:     575000 | #Constraints:      32826
1443.35/1446.97	c #Conflicts:     576000 | #Constraints:      33826
1443.35/1446.97	c INPROCESSING
1443.35/1446.97	c GARBAGE COLLECT
1443.35/1446.97	c #Conflicts:     577000 | #Constraints:      19828
1443.35/1446.97	c #Conflicts:     578000 | #Constraints:      20828
1443.35/1446.97	c #Conflicts:     579000 | #Constraints:      21828
1443.35/1446.97	c #Conflicts:     580000 | #Constraints:      22828
1443.35/1446.97	c #Conflicts:     581000 | #Constraints:      23828
1443.35/1446.97	c #Conflicts:     582000 | #Constraints:      24828
1443.35/1446.97	c #Conflicts:     583000 | #Constraints:      25828
1443.35/1446.97	c #Conflicts:     584000 | #Constraints:      26828
1443.35/1446.97	c #Conflicts:     585000 | #Constraints:      27828
1443.35/1446.97	c #Conflicts:     586000 | #Constraints:      28828
1443.35/1446.97	c #Conflicts:     587000 | #Constraints:      29828
1443.35/1446.97	c #Conflicts:     588000 | #Constraints:      30828
1443.35/1446.97	c #Conflicts:     589000 | #Constraints:      31828
1619.71/1623.75	c #Conflicts:     590000 | #Constraints:      32828
1619.71/1623.75	c #Conflicts:     591000 | #Constraints:      33828
1619.71/1623.75	c INPROCESSING
1619.71/1623.75	c GARBAGE COLLECT
1619.71/1623.75	c #Conflicts:     592000 | #Constraints:      19625
1619.71/1623.75	c #Conflicts:     593000 | #Constraints:      20625
1619.71/1623.75	c #Conflicts:     594000 | #Constraints:      21625
1619.71/1623.75	c #Conflicts:     595000 | #Constraints:      22625
1619.71/1623.75	c #Conflicts:     596000 | #Constraints:      23625
1619.71/1623.75	c #Conflicts:     597000 | #Constraints:      24625
1619.71/1623.75	c #Conflicts:     598000 | #Constraints:      25625
1619.71/1623.75	c #Conflicts:     599000 | #Constraints:      26625
1619.71/1623.75	c #Conflicts:     600000 | #Constraints:      27625
1619.71/1623.75	c #Conflicts:     601000 | #Constraints:      28625
1619.71/1623.75	c #Conflicts:     602000 | #Constraints:      29625
1619.71/1623.75	c #Conflicts:     603000 | #Constraints:      30625
1619.71/1623.75	c #Conflicts:     604000 | #Constraints:      31625
1619.71/1623.75	c #Conflicts:     605000 | #Constraints:      32625
1619.71/1623.75	c #Conflicts:     606000 | #Constraints:      33625
1619.71/1623.75	c #Conflicts:     607000 | #Constraints:      34625
1619.71/1623.75	c INPROCESSING
1619.71/1623.75	c GARBAGE COLLECT
1619.71/1623.75	c #Conflicts:     608000 | #Constraints:      20227
1619.71/1623.75	c #Conflicts:     609000 | #Constraints:      21227
1619.71/1623.75	c #Conflicts:     610000 | #Constraints:      22227
1619.71/1623.75	c #Conflicts:     611000 | #Constraints:      23227
1619.71/1623.75	c #Conflicts:     612000 | #Constraints:      24227
1619.71/1623.75	c #Conflicts:     613000 | #Constraints:      25227
1619.71/1623.75	c #Conflicts:     614000 | #Constraints:      26227
1619.71/1623.75	c #Conflicts:     615000 | #Constraints:      27227
1619.71/1623.75	c #Conflicts:     616000 | #Constraints:      28227
1619.71/1623.75	c #Conflicts:     617000 | #Constraints:      29227
1619.71/1623.75	c #Conflicts:     618000 | #Constraints:      30227
1619.71/1623.75	c #Conflicts:     619000 | #Constraints:      31227
1619.71/1623.75	c #Conflicts:     620000 | #Constraints:      32227
1619.71/1623.75	c #Conflicts:     621000 | #Constraints:      33227
1619.71/1623.75	c #Conflicts:     622000 | #Constraints:      34227
1619.71/1623.75	c #Conflicts:     623000 | #Constraints:      35227
1619.71/1623.75	c INPROCESSING
1619.71/1623.75	c GARBAGE COLLECT
1619.71/1623.75	c #Conflicts:     624000 | #Constraints:      20629
1619.71/1623.75	c #Conflicts:     625000 | #Constraints:      21629
1619.71/1623.75	c #Conflicts:     626000 | #Constraints:      22629
1619.71/1623.75	c #Conflicts:     627000 | #Constraints:      23629
1619.71/1623.75	c #Conflicts:     628000 | #Constraints:      24629
1619.71/1623.75	c #Conflicts:     629000 | #Constraints:      25629
1619.71/1623.75	c #Conflicts:     630000 | #Constraints:      26629
1619.71/1623.75	c #Conflicts:     631000 | #Constraints:      27629
1619.71/1623.75	c #Conflicts:     632000 | #Constraints:      28629
1619.71/1623.75	c #Conflicts:     633000 | #Constraints:      29629
1619.71/1623.75	c #Conflicts:     634000 | #Constraints:      30629
1619.71/1623.75	c #Conflicts:     635000 | #Constraints:      31629
1619.71/1623.75	c #Conflicts:     636000 | #Constraints:      32629
1619.71/1623.75	c #Conflicts:     637000 | #Constraints:      33629
1619.71/1623.75	c #Conflicts:     638000 | #Constraints:      34629
1619.71/1623.75	c #Conflicts:     639000 | #Constraints:      35629
1619.71/1623.75	c INPROCESSING
1619.71/1623.75	c GARBAGE COLLECT
1619.71/1623.75	c #Conflicts:     640000 | #Constraints:      20829
1619.71/1623.75	c #Conflicts:     641000 | #Constraints:      21829
1619.71/1623.75	c #Conflicts:     642000 | #Constraints:      22829
1619.71/1623.75	c #Conflicts:     643000 | #Constraints:      23829
1619.71/1623.75	c #Conflicts:     644000 | #Constraints:      24829
1619.71/1623.75	c #Conflicts:     645000 | #Constraints:      25829
1619.71/1623.75	c #Conflicts:     646000 | #Constraints:      26829
1619.71/1623.75	c #Conflicts:     647000 | #Constraints:      27829
1619.71/1623.75	c #Conflicts:     648000 | #Constraints:      28829
1619.71/1623.75	c #Conflicts:     649000 | #Constraints:      29829
1619.71/1623.75	c #Conflicts:     650000 | #Constraints:      30829
1619.71/1623.75	c #Conflicts:     651000 | #Constraints:      31829
1619.71/1623.75	c #Conflicts:     652000 | #Constraints:      32829
1619.71/1623.75	c #Conflicts:     653000 | #Constraints:      33829
1619.71/1623.75	c #Conflicts:     654000 | #Constraints:      34829
1619.71/1623.75	c #Conflicts:     655000 | #Constraints:      35829
1619.71/1623.75	c INPROCESSING
1619.71/1623.75	c GARBAGE COLLECT
1619.71/1623.75	c #Conflicts:     656000 | #Constraints:      20829
1619.71/1623.75	c #Conflicts:     657000 | #Constraints:      21829
1619.71/1623.75	c #Conflicts:     658000 | #Constraints:      22829
1619.71/1623.75	c #Conflicts:     659000 | #Constraints:      23829
1619.71/1623.75	c #Conflicts:     660000 | #Constraints:      24829
1619.71/1623.75	c #Conflicts:     661000 | #Constraints:      25829
1619.71/1623.75	c #Conflicts:     662000 | #Constraints:      26829
1619.71/1623.75	c #Conflicts:     663000 | #Constraints:      27829
1619.71/1623.75	c #Conflicts:     664000 | #Constraints:      28829
1619.71/1623.75	c #Conflicts:     665000 | #Constraints:      29829
1795.36/1799.81	c #Conflicts:     666000 | #Constraints:      30829
1795.36/1799.81	c #Conflicts:     667000 | #Constraints:      31829
1795.36/1799.81	c #Conflicts:     668000 | #Constraints:      32829
1795.36/1799.81	c #Conflicts:     669000 | #Constraints:      33829
1795.36/1799.81	c #Conflicts:     670000 | #Constraints:      34829
1795.36/1799.81	c #Conflicts:     671000 | #Constraints:      35829
1795.36/1799.81	c INPROCESSING
1795.36/1799.81	c GARBAGE COLLECT
1795.36/1799.81	c #Conflicts:     672000 | #Constraints:      20633
1795.36/1799.81	c #Conflicts:     673000 | #Constraints:      21633
1795.36/1799.81	c #Conflicts:     674000 | #Constraints:      22633
1795.36/1799.81	c #Conflicts:     675000 | #Constraints:      23633
1795.36/1799.81	c #Conflicts:     676000 | #Constraints:      24633
1795.36/1799.81	c #Conflicts:     677000 | #Constraints:      25633
1795.36/1799.81	c #Conflicts:     678000 | #Constraints:      26633
1795.36/1799.81	c #Conflicts:     679000 | #Constraints:      27633
1795.36/1799.81	c #Conflicts:     680000 | #Constraints:      28633
1795.36/1799.81	c #Conflicts:     681000 | #Constraints:      29633
1795.36/1799.81	c #Conflicts:     682000 | #Constraints:      30633
1795.36/1799.81	c #Conflicts:     683000 | #Constraints:      31633
1795.36/1799.81	c #Conflicts:     684000 | #Constraints:      32633
1795.36/1799.81	c #Conflicts:     685000 | #Constraints:      33633
1795.36/1799.81	c #Conflicts:     686000 | #Constraints:      34633
1795.36/1799.81	c #Conflicts:     687000 | #Constraints:      35633
1795.36/1799.81	c #Conflicts:     688000 | #Constraints:      36633
1795.36/1799.81	c INPROCESSING
1795.36/1799.81	c GARBAGE COLLECT
1795.36/1799.81	c #Conflicts:     689000 | #Constraints:      21236
1795.36/1799.81	c #Conflicts:     690000 | #Constraints:      22236
1795.36/1799.81	c #Conflicts:     691000 | #Constraints:      23236
1795.36/1799.81	c #Conflicts:     692000 | #Constraints:      24236
1795.36/1799.81	c #Conflicts:     693000 | #Constraints:      25236
1795.36/1799.81	c #Conflicts:     694000 | #Constraints:      26236
1795.36/1799.81	c #Conflicts:     695000 | #Constraints:      27236
1795.36/1799.81	c #Conflicts:     696000 | #Constraints:      28236
1795.36/1799.81	c #Conflicts:     697000 | #Constraints:      29236
1795.36/1799.81	c #Conflicts:     698000 | #Constraints:      30236
1795.36/1799.81	c #Conflicts:     699000 | #Constraints:      31236
1795.36/1799.81	c #Conflicts:     700000 | #Constraints:      32236
1795.36/1799.81	c #Conflicts:     701000 | #Constraints:      33236
1795.36/1799.81	c #Conflicts:     702000 | #Constraints:      34236
1795.36/1799.81	c #Conflicts:     703000 | #Constraints:      35236
1795.36/1799.81	c #Conflicts:     704000 | #Constraints:      36236
1795.36/1799.81	c #Conflicts:     705000 | #Constraints:      37236
1795.36/1799.81	c INPROCESSING
1795.36/1799.81	c GARBAGE COLLECT
1795.36/1799.81	c #Conflicts:     706000 | #Constraints:      21633
1795.36/1799.81	c #Conflicts:     707000 | #Constraints:      22633
1795.36/1799.81	c #Conflicts:     708000 | #Constraints:      23633
1795.36/1799.81	c #Conflicts:     709000 | #Constraints:      24633
1795.36/1799.81	c #Conflicts:     710000 | #Constraints:      25633
1795.36/1799.81	c #Conflicts:     711000 | #Constraints:      26633
1795.36/1799.81	c #Conflicts:     712000 | #Constraints:      27633
1795.36/1799.81	c #Conflicts:     713000 | #Constraints:      28633
1795.36/1799.81	c #Conflicts:     714000 | #Constraints:      29633
1795.36/1799.81	c #Conflicts:     715000 | #Constraints:      30633
1795.36/1799.81	c #Conflicts:     716000 | #Constraints:      31633
1795.36/1799.81	c #Conflicts:     717000 | #Constraints:      32633
1795.36/1799.81	c #Conflicts:     718000 | #Constraints:      33633
1795.36/1799.81	c #Conflicts:     719000 | #Constraints:      34633
1795.36/1799.81	c #Conflicts:     720000 | #Constraints:      35633
1795.36/1799.81	c #Conflicts:     721000 | #Constraints:      36633
1795.36/1799.81	c #Conflicts:     722000 | #Constraints:      37633
1795.36/1799.81	c INPROCESSING
1795.36/1799.81	c GARBAGE COLLECT
1795.36/1799.81	c #Conflicts:     723000 | #Constraints:      21831
1795.36/1799.81	c #Conflicts:     724000 | #Constraints:      22831
1795.36/1799.81	c #Conflicts:     725000 | #Constraints:      23831
1795.36/1799.81	c #Conflicts:     726000 | #Constraints:      24831
1795.36/1799.81	c #Conflicts:     727000 | #Constraints:      25831
1795.36/1799.81	c #Conflicts:     728000 | #Constraints:      26831
1795.36/1799.81	c #Conflicts:     729000 | #Constraints:      27831
1795.36/1799.81	c #Conflicts:     730000 | #Constraints:      28831
1795.36/1799.81	c #Conflicts:     731000 | #Constraints:      29831
1795.36/1799.81	c #Conflicts:     732000 | #Constraints:      30831
1795.36/1799.81	c #Conflicts:     733000 | #Constraints:      31831
1795.36/1799.81	c #Conflicts:     734000 | #Constraints:      32831
1795.36/1799.81	c #Conflicts:     735000 | #Constraints:      33831
1795.36/1799.81	c #Conflicts:     736000 | #Constraints:      34831
1795.36/1799.81	c #Conflicts:     737000 | #Constraints:      35831
1795.36/1799.81	c #Conflicts:     738000 | #Constraints:      36831
1795.36/1799.81	c #Conflicts:     739000 | #Constraints:      37831
1795.36/1799.81	c INPROCESSING
1795.36/1799.81	c GARBAGE COLLECT
1795.36/1799.81	c #Conflicts:     740000 | #Constraints:      21830
2013.88/2018.94	c #Conflicts:     741000 | #Constraints:      22830
2013.88/2018.94	c #Conflicts:     742000 | #Constraints:      23830
2013.88/2018.94	c #Conflicts:     743000 | #Constraints:      24830
2013.88/2018.94	c #Conflicts:     744000 | #Constraints:      25830
2013.88/2018.94	c #Conflicts:     745000 | #Constraints:      26830
2013.88/2018.94	c #Conflicts:     746000 | #Constraints:      27830
2013.88/2018.94	c #Conflicts:     747000 | #Constraints:      28830
2013.88/2018.94	c #Conflicts:     748000 | #Constraints:      29830
2013.88/2018.94	c #Conflicts:     749000 | #Constraints:      30830
2013.88/2018.94	c #Conflicts:     750000 | #Constraints:      31830
2013.88/2018.94	c #Conflicts:     751000 | #Constraints:      32830
2013.88/2018.94	c #Conflicts:     752000 | #Constraints:      33830
2013.88/2018.94	c #Conflicts:     753000 | #Constraints:      34830
2013.88/2018.94	c #Conflicts:     754000 | #Constraints:      35830
2013.88/2018.94	c #Conflicts:     755000 | #Constraints:      36830
2013.88/2018.94	c #Conflicts:     756000 | #Constraints:      37830
2013.88/2018.94	c INPROCESSING
2013.88/2018.94	c GARBAGE COLLECT
2013.88/2018.94	c #Conflicts:     757000 | #Constraints:      21629
2013.88/2018.94	c #Conflicts:     758000 | #Constraints:      22629
2013.88/2018.94	c #Conflicts:     759000 | #Constraints:      23629
2013.88/2018.94	c #Conflicts:     760000 | #Constraints:      24629
2013.88/2018.94	c #Conflicts:     761000 | #Constraints:      25629
2013.88/2018.94	c #Conflicts:     762000 | #Constraints:      26629
2013.88/2018.94	c #Conflicts:     763000 | #Constraints:      27629
2013.88/2018.94	c #Conflicts:     764000 | #Constraints:      28629
2013.88/2018.94	c #Conflicts:     765000 | #Constraints:      29629
2013.88/2018.94	c #Conflicts:     766000 | #Constraints:      30629
2013.88/2018.94	c #Conflicts:     767000 | #Constraints:      31629
2013.88/2018.94	c #Conflicts:     768000 | #Constraints:      32629
2013.88/2018.94	c #Conflicts:     769000 | #Constraints:      33629
2013.88/2018.94	c #Conflicts:     770000 | #Constraints:      34629
2013.88/2018.94	c #Conflicts:     771000 | #Constraints:      35629
2013.88/2018.94	c #Conflicts:     772000 | #Constraints:      36629
2013.88/2018.94	c #Conflicts:     773000 | #Constraints:      37629
2013.88/2018.94	c #Conflicts:     774000 | #Constraints:      38629
2013.88/2018.94	c INPROCESSING
2013.88/2018.94	c GARBAGE COLLECT
2013.88/2018.94	c #Conflicts:     775000 | #Constraints:      22222
2013.88/2018.94	c #Conflicts:     776000 | #Constraints:      23222
2013.88/2018.94	c #Conflicts:     777000 | #Constraints:      24222
2013.88/2018.94	c #Conflicts:     778000 | #Constraints:      25222
2013.88/2018.94	c #Conflicts:     779000 | #Constraints:      26222
2013.88/2018.94	c #Conflicts:     780000 | #Constraints:      27222
2013.88/2018.94	c #Conflicts:     781000 | #Constraints:      28222
2013.88/2018.94	c #Conflicts:     782000 | #Constraints:      29222
2013.88/2018.94	c #Conflicts:     783000 | #Constraints:      30222
2013.88/2018.94	c #Conflicts:     784000 | #Constraints:      31222
2013.88/2018.94	c #Conflicts:     785000 | #Constraints:      32222
2013.88/2018.94	c #Conflicts:     786000 | #Constraints:      33222
2013.88/2018.94	c #Conflicts:     787000 | #Constraints:      34222
2013.88/2018.94	c #Conflicts:     788000 | #Constraints:      35222
2013.88/2018.94	c #Conflicts:     789000 | #Constraints:      36222
2013.88/2018.94	c #Conflicts:     790000 | #Constraints:      37222
2013.88/2018.94	c #Conflicts:     791000 | #Constraints:      38222
2013.88/2018.94	c #Conflicts:     792000 | #Constraints:      39222
2013.88/2018.94	c INPROCESSING
2013.88/2018.94	c GARBAGE COLLECT
2013.88/2018.94	c #Conflicts:     793000 | #Constraints:      22623
2013.88/2018.94	c #Conflicts:     794000 | #Constraints:      23623
2013.88/2018.94	c #Conflicts:     795000 | #Constraints:      24623
2013.88/2018.94	c #Conflicts:     796000 | #Constraints:      25623
2013.88/2018.94	c #Conflicts:     797000 | #Constraints:      26623
2013.88/2018.94	c #Conflicts:     798000 | #Constraints:      27623
2013.88/2018.94	c #Conflicts:     799000 | #Constraints:      28623
2013.88/2018.94	c #Conflicts:     800000 | #Constraints:      29623
2013.88/2018.94	c #Conflicts:     801000 | #Constraints:      30623
2013.88/2018.94	c #Conflicts:     802000 | #Constraints:      31623
2013.88/2018.94	c #Conflicts:     803000 | #Constraints:      32623
2013.88/2018.94	c #Conflicts:     804000 | #Constraints:      33623
2013.88/2018.94	c #Conflicts:     805000 | #Constraints:      34623
2013.88/2018.94	c #Conflicts:     806000 | #Constraints:      35623
2013.88/2018.94	c #Conflicts:     807000 | #Constraints:      36623
2013.88/2018.94	c #Conflicts:     808000 | #Constraints:      37623
2013.88/2018.94	c #Conflicts:     809000 | #Constraints:      38623
2013.88/2018.94	c #Conflicts:     810000 | #Constraints:      39623
2013.88/2018.94	c INPROCESSING
2013.88/2018.94	c GARBAGE COLLECT
2013.88/2018.94	c #Conflicts:     811000 | #Constraints:      22819
2013.88/2018.94	c #Conflicts:     812000 | #Constraints:      23819
2013.88/2018.94	c #Conflicts:     813000 | #Constraints:      24819
2013.88/2018.94	c #Conflicts:     814000 | #Constraints:      25819
2013.88/2018.94	c #Conflicts:     815000 | #Constraints:      26819
2013.88/2018.94	c #Conflicts:     816000 | #Constraints:      27819
2013.88/2018.94	c #Conflicts:     817000 | #Constraints:      28819
2248.09/2253.71	c #Conflicts:     818000 | #Constraints:      29819
2248.09/2253.71	c #Conflicts:     819000 | #Constraints:      30819
2248.09/2253.71	c #Conflicts:     820000 | #Constraints:      31819
2248.09/2253.71	c #Conflicts:     821000 | #Constraints:      32819
2248.09/2253.71	c #Conflicts:     822000 | #Constraints:      33819
2248.09/2253.71	c #Conflicts:     823000 | #Constraints:      34819
2248.09/2253.71	c #Conflicts:     824000 | #Constraints:      35819
2248.09/2253.71	c #Conflicts:     825000 | #Constraints:      36819
2248.09/2253.71	c #Conflicts:     826000 | #Constraints:      37819
2248.09/2253.71	c #Conflicts:     827000 | #Constraints:      38819
2248.09/2253.71	c #Conflicts:     828000 | #Constraints:      39819
2248.09/2253.71	c INPROCESSING
2248.09/2253.71	c GARBAGE COLLECT
2248.09/2253.71	c #Conflicts:     829000 | #Constraints:      22821
2248.09/2253.71	c #Conflicts:     830000 | #Constraints:      23821
2248.09/2253.71	c #Conflicts:     831000 | #Constraints:      24821
2248.09/2253.71	c #Conflicts:     832000 | #Constraints:      25821
2248.09/2253.71	c #Conflicts:     833000 | #Constraints:      26821
2248.09/2253.71	c #Conflicts:     834000 | #Constraints:      27821
2248.09/2253.71	c #Conflicts:     835000 | #Constraints:      28821
2248.09/2253.71	c #Conflicts:     836000 | #Constraints:      29821
2248.09/2253.71	c #Conflicts:     837000 | #Constraints:      30821
2248.09/2253.71	c #Conflicts:     838000 | #Constraints:      31821
2248.09/2253.71	c #Conflicts:     839000 | #Constraints:      32821
2248.09/2253.71	c #Conflicts:     840000 | #Constraints:      33821
2248.09/2253.71	c #Conflicts:     841000 | #Constraints:      34821
2248.09/2253.71	c #Conflicts:     842000 | #Constraints:      35821
2248.09/2253.71	c #Conflicts:     843000 | #Constraints:      36821
2248.09/2253.71	c #Conflicts:     844000 | #Constraints:      37821
2248.09/2253.71	c #Conflicts:     845000 | #Constraints:      38821
2248.09/2253.71	c #Conflicts:     846000 | #Constraints:      39821
2248.09/2253.71	c INPROCESSING
2248.09/2253.71	c GARBAGE COLLECT
2248.09/2253.71	c #Conflicts:     847000 | #Constraints:      22627
2248.09/2253.71	c #Conflicts:     848000 | #Constraints:      23627
2248.09/2253.71	c #Conflicts:     849000 | #Constraints:      24627
2248.09/2253.71	c #Conflicts:     850000 | #Constraints:      25627
2248.09/2253.71	c #Conflicts:     851000 | #Constraints:      26627
2248.09/2253.71	c #Conflicts:     852000 | #Constraints:      27627
2248.09/2253.71	c #Conflicts:     853000 | #Constraints:      28627
2248.09/2253.71	c #Conflicts:     854000 | #Constraints:      29627
2248.09/2253.71	c #Conflicts:     855000 | #Constraints:      30627
2248.09/2253.71	c #Conflicts:     856000 | #Constraints:      31627
2248.09/2253.71	c #Conflicts:     857000 | #Constraints:      32627
2248.09/2253.71	c #Conflicts:     858000 | #Constraints:      33627
2248.09/2253.71	c #Conflicts:     859000 | #Constraints:      34627
2248.09/2253.71	c #Conflicts:     860000 | #Constraints:      35627
2248.09/2253.71	c #Conflicts:     861000 | #Constraints:      36627
2248.09/2253.71	c #Conflicts:     862000 | #Constraints:      37627
2248.09/2253.71	c #Conflicts:     863000 | #Constraints:      38627
2248.09/2253.71	c #Conflicts:     864000 | #Constraints:      39627
2248.09/2253.71	c #Conflicts:     865000 | #Constraints:      40627
2248.09/2253.71	c INPROCESSING
2248.09/2253.71	c GARBAGE COLLECT
2248.09/2253.71	c #Conflicts:     866000 | #Constraints:      23224
2248.09/2253.71	c #Conflicts:     867000 | #Constraints:      24224
2248.09/2253.71	c #Conflicts:     868000 | #Constraints:      25224
2248.09/2253.71	c #Conflicts:     869000 | #Constraints:      26224
2248.09/2253.71	c #Conflicts:     870000 | #Constraints:      27224
2248.09/2253.71	c #Conflicts:     871000 | #Constraints:      28224
2248.09/2253.71	c #Conflicts:     872000 | #Constraints:      29224
2248.09/2253.71	c #Conflicts:     873000 | #Constraints:      30224
2248.09/2253.71	c #Conflicts:     874000 | #Constraints:      31224
2248.09/2253.71	c #Conflicts:     875000 | #Constraints:      32224
2248.09/2253.71	c #Conflicts:     876000 | #Constraints:      33224
2248.09/2253.71	c #Conflicts:     877000 | #Constraints:      34224
2248.09/2253.71	c #Conflicts:     878000 | #Constraints:      35224
2248.09/2253.71	c #Conflicts:     879000 | #Constraints:      36224
2248.09/2253.71	c #Conflicts:     880000 | #Constraints:      37224
2248.09/2253.71	c #Conflicts:     881000 | #Constraints:      38224
2248.09/2253.71	c #Conflicts:     882000 | #Constraints:      39224
2248.09/2253.71	c #Conflicts:     883000 | #Constraints:      40224
2248.09/2253.71	c #Conflicts:     884000 | #Constraints:      41224
2248.09/2253.71	c INPROCESSING
2248.09/2253.71	c GARBAGE COLLECT
2248.09/2253.71	c #Conflicts:     885000 | #Constraints:      23625
2248.09/2253.71	c #Conflicts:     886000 | #Constraints:      24625
2248.09/2253.71	c #Conflicts:     887000 | #Constraints:      25625
2248.09/2253.71	c #Conflicts:     888000 | #Constraints:      26625
2248.09/2253.71	c #Conflicts:     889000 | #Constraints:      27625
2248.09/2253.71	c #Conflicts:     890000 | #Constraints:      28625
2248.09/2253.71	c #Conflicts:     891000 | #Constraints:      29625
2248.09/2253.71	c #Conflicts:     892000 | #Constraints:      30625
2248.09/2253.71	c #Conflicts:     893000 | #Constraints:      31625
2495.13/2501.38	c #Conflicts:     894000 | #Constraints:      32625
2495.13/2501.38	c #Conflicts:     895000 | #Constraints:      33625
2495.13/2501.38	c #Conflicts:     896000 | #Constraints:      34625
2495.13/2501.38	c #Conflicts:     897000 | #Constraints:      35625
2495.13/2501.38	c #Conflicts:     898000 | #Constraints:      36625
2495.13/2501.38	c #Conflicts:     899000 | #Constraints:      37625
2495.13/2501.38	c #Conflicts:     900000 | #Constraints:      38625
2495.13/2501.38	c #Conflicts:     901000 | #Constraints:      39625
2495.13/2501.38	c #Conflicts:     902000 | #Constraints:      40625
2495.13/2501.38	c #Conflicts:     903000 | #Constraints:      41625
2495.13/2501.38	c INPROCESSING
2495.13/2501.38	c GARBAGE COLLECT
2495.13/2501.38	c #Conflicts:     904000 | #Constraints:      23825
2495.13/2501.38	c #Conflicts:     905000 | #Constraints:      24825
2495.13/2501.38	c #Conflicts:     906000 | #Constraints:      25825
2495.13/2501.38	c #Conflicts:     907000 | #Constraints:      26825
2495.13/2501.38	c #Conflicts:     908000 | #Constraints:      27825
2495.13/2501.38	c #Conflicts:     909000 | #Constraints:      28825
2495.13/2501.38	c #Conflicts:     910000 | #Constraints:      29825
2495.13/2501.38	c #Conflicts:     911000 | #Constraints:      30825
2495.13/2501.38	c #Conflicts:     912000 | #Constraints:      31825
2495.13/2501.38	c #Conflicts:     913000 | #Constraints:      32825
2495.13/2501.38	c #Conflicts:     914000 | #Constraints:      33825
2495.13/2501.38	c #Conflicts:     915000 | #Constraints:      34825
2495.13/2501.38	c #Conflicts:     916000 | #Constraints:      35825
2495.13/2501.38	c #Conflicts:     917000 | #Constraints:      36825
2495.13/2501.38	c #Conflicts:     918000 | #Constraints:      37825
2495.13/2501.38	c #Conflicts:     919000 | #Constraints:      38825
2495.13/2501.38	c #Conflicts:     920000 | #Constraints:      39825
2495.13/2501.38	c #Conflicts:     921000 | #Constraints:      40825
2495.13/2501.38	c #Conflicts:     922000 | #Constraints:      41825
2495.13/2501.38	c INPROCESSING
2495.13/2501.38	c GARBAGE COLLECT
2495.13/2501.38	c #Conflicts:     923000 | #Constraints:      23822
2495.13/2501.38	c #Conflicts:     924000 | #Constraints:      24822
2495.13/2501.38	c #Conflicts:     925000 | #Constraints:      25822
2495.13/2501.38	c #Conflicts:     926000 | #Constraints:      26822
2495.13/2501.38	c #Conflicts:     927000 | #Constraints:      27822
2495.13/2501.38	c #Conflicts:     928000 | #Constraints:      28822
2495.13/2501.38	c #Conflicts:     929000 | #Constraints:      29822
2495.13/2501.38	c #Conflicts:     930000 | #Constraints:      30822
2495.13/2501.38	c #Conflicts:     931000 | #Constraints:      31822
2495.13/2501.38	c #Conflicts:     932000 | #Constraints:      32822
2495.13/2501.38	c #Conflicts:     933000 | #Constraints:      33822
2495.13/2501.38	c #Conflicts:     934000 | #Constraints:      34822
2495.13/2501.38	c #Conflicts:     935000 | #Constraints:      35822
2495.13/2501.38	c #Conflicts:     936000 | #Constraints:      36822
2495.13/2501.38	c #Conflicts:     937000 | #Constraints:      37822
2495.13/2501.38	c #Conflicts:     938000 | #Constraints:      38822
2495.13/2501.38	c #Conflicts:     939000 | #Constraints:      39822
2495.13/2501.38	c #Conflicts:     940000 | #Constraints:      40822
2495.13/2501.38	c #Conflicts:     941000 | #Constraints:      41822
2495.13/2501.38	c INPROCESSING
2495.13/2501.38	c GARBAGE COLLECT
2495.13/2501.38	c #Conflicts:     942000 | #Constraints:      23628
2495.13/2501.38	c #Conflicts:     943000 | #Constraints:      24628
2495.13/2501.38	c #Conflicts:     944000 | #Constraints:      25628
2495.13/2501.38	c #Conflicts:     945000 | #Constraints:      26628
2495.13/2501.38	c #Conflicts:     946000 | #Constraints:      27628
2495.13/2501.38	c #Conflicts:     947000 | #Constraints:      28628
2495.13/2501.38	c #Conflicts:     948000 | #Constraints:      29628
2495.13/2501.38	c #Conflicts:     949000 | #Constraints:      30628
2495.13/2501.38	c #Conflicts:     950000 | #Constraints:      31628
2495.13/2501.38	c #Conflicts:     951000 | #Constraints:      32628
2495.13/2501.38	c #Conflicts:     952000 | #Constraints:      33628
2495.13/2501.38	c #Conflicts:     953000 | #Constraints:      34628
2495.13/2501.38	c #Conflicts:     954000 | #Constraints:      35628
2495.13/2501.38	c #Conflicts:     955000 | #Constraints:      36628
2495.13/2501.38	c #Conflicts:     956000 | #Constraints:      37628
2495.13/2501.38	c #Conflicts:     957000 | #Constraints:      38628
2495.13/2501.38	c #Conflicts:     958000 | #Constraints:      39628
2495.13/2501.38	c #Conflicts:     959000 | #Constraints:      40628
2495.13/2501.38	c #Conflicts:     960000 | #Constraints:      41628
2495.13/2501.38	c #Conflicts:     961000 | #Constraints:      42628
2495.13/2501.38	c INPROCESSING
2495.13/2501.38	c GARBAGE COLLECT
2495.13/2501.38	c #Conflicts:     962000 | #Constraints:      24223
2495.13/2501.38	c #Conflicts:     963000 | #Constraints:      25223
2495.13/2501.38	c #Conflicts:     964000 | #Constraints:      26223
2495.13/2501.38	c #Conflicts:     965000 | #Constraints:      27223
2495.13/2501.38	c #Conflicts:     966000 | #Constraints:      28223
2495.13/2501.38	c #Conflicts:     967000 | #Constraints:      29223
2495.13/2501.38	c #Conflicts:     968000 | #Constraints:      30223
2495.13/2501.38	c #Conflicts:     969000 | #Constraints:      31223
2771.05/2777.90	c #Conflicts:     970000 | #Constraints:      32223
2771.05/2777.90	c #Conflicts:     971000 | #Constraints:      33223
2771.05/2777.90	c #Conflicts:     972000 | #Constraints:      34223
2771.05/2777.90	c #Conflicts:     973000 | #Constraints:      35223
2771.05/2777.90	c #Conflicts:     974000 | #Constraints:      36223
2771.05/2777.90	c #Conflicts:     975000 | #Constraints:      37223
2771.05/2777.90	c #Conflicts:     976000 | #Constraints:      38223
2771.05/2777.90	c #Conflicts:     977000 | #Constraints:      39223
2771.05/2777.90	c #Conflicts:     978000 | #Constraints:      40223
2771.05/2777.90	c #Conflicts:     979000 | #Constraints:      41223
2771.05/2777.90	c #Conflicts:     980000 | #Constraints:      42223
2771.05/2777.90	c #Conflicts:     981000 | #Constraints:      43223
2771.05/2777.90	c INPROCESSING
2771.05/2777.90	c GARBAGE COLLECT
2771.05/2777.90	c #Conflicts:     982000 | #Constraints:      24626
2771.05/2777.90	c #Conflicts:     983000 | #Constraints:      25626
2771.05/2777.90	c #Conflicts:     984000 | #Constraints:      26626
2771.05/2777.90	c #Conflicts:     985000 | #Constraints:      27626
2771.05/2777.90	c #Conflicts:     986000 | #Constraints:      28626
2771.05/2777.90	c #Conflicts:     987000 | #Constraints:      29626
2771.05/2777.90	c #Conflicts:     988000 | #Constraints:      30626
2771.05/2777.90	c #Conflicts:     989000 | #Constraints:      31626
2771.05/2777.90	c #Conflicts:     990000 | #Constraints:      32626
2771.05/2777.90	c #Conflicts:     991000 | #Constraints:      33626
2771.05/2777.90	c #Conflicts:     992000 | #Constraints:      34626
2771.05/2777.90	c #Conflicts:     993000 | #Constraints:      35626
2771.05/2777.90	c #Conflicts:     994000 | #Constraints:      36626
2771.05/2777.90	c #Conflicts:     995000 | #Constraints:      37626
2771.05/2777.90	c #Conflicts:     996000 | #Constraints:      38626
2771.05/2777.90	c #Conflicts:     997000 | #Constraints:      39626
2771.05/2777.90	c #Conflicts:     998000 | #Constraints:      40626
2771.05/2777.90	c #Conflicts:     999000 | #Constraints:      41626
2771.05/2777.90	c #Conflicts:    1000000 | #Constraints:      42626
2771.05/2777.90	c #Conflicts:    1001000 | #Constraints:      43626
2771.05/2777.90	c INPROCESSING
2771.05/2777.90	c GARBAGE COLLECT
2771.05/2777.90	c #Conflicts:    1002000 | #Constraints:      24831
2771.05/2777.90	c #Conflicts:    1003000 | #Constraints:      25831
2771.05/2777.90	c #Conflicts:    1004000 | #Constraints:      26831
2771.05/2777.90	c #Conflicts:    1005000 | #Constraints:      27831
2771.05/2777.90	c #Conflicts:    1006000 | #Constraints:      28831
2771.05/2777.90	c #Conflicts:    1007000 | #Constraints:      29831
2771.05/2777.90	c #Conflicts:    1008000 | #Constraints:      30831
2771.05/2777.90	c #Conflicts:    1009000 | #Constraints:      31831
2771.05/2777.90	c #Conflicts:    1010000 | #Constraints:      32831
2771.05/2777.90	c #Conflicts:    1011000 | #Constraints:      33831
2771.05/2777.90	c #Conflicts:    1012000 | #Constraints:      34831
2771.05/2777.90	c #Conflicts:    1013000 | #Constraints:      35831
2771.05/2777.90	c #Conflicts:    1014000 | #Constraints:      36831
2771.05/2777.90	c #Conflicts:    1015000 | #Constraints:      37831
2771.05/2777.90	c #Conflicts:    1016000 | #Constraints:      38831
2771.05/2777.90	c #Conflicts:    1017000 | #Constraints:      39831
2771.05/2777.90	c #Conflicts:    1018000 | #Constraints:      40831
2771.05/2777.90	c #Conflicts:    1019000 | #Constraints:      41831
2771.05/2777.90	c #Conflicts:    1020000 | #Constraints:      42831
2771.05/2777.90	c #Conflicts:    1021000 | #Constraints:      43831
2771.05/2777.90	c INPROCESSING
2771.05/2777.90	c GARBAGE COLLECT
2771.05/2777.90	c #Conflicts:    1022000 | #Constraints:      24829
2771.05/2777.90	c #Conflicts:    1023000 | #Constraints:      25829
2771.05/2777.90	c #Conflicts:    1024000 | #Constraints:      26829
2771.05/2777.90	c #Conflicts:    1025000 | #Constraints:      27829
2771.05/2777.90	c #Conflicts:    1026000 | #Constraints:      28829
2771.05/2777.90	c #Conflicts:    1027000 | #Constraints:      29829
2771.05/2777.90	c #Conflicts:    1028000 | #Constraints:      30829
2771.05/2777.90	c #Conflicts:    1029000 | #Constraints:      31829
2771.05/2777.90	c #Conflicts:    1030000 | #Constraints:      32829
2771.05/2777.90	c #Conflicts:    1031000 | #Constraints:      33829
2771.05/2777.90	c #Conflicts:    1032000 | #Constraints:      34829
2771.05/2777.90	c #Conflicts:    1033000 | #Constraints:      35829
2771.05/2777.90	c #Conflicts:    1034000 | #Constraints:      36829
2771.05/2777.90	c #Conflicts:    1035000 | #Constraints:      37829
2771.05/2777.90	c #Conflicts:    1036000 | #Constraints:      38829
2771.05/2777.90	c #Conflicts:    1037000 | #Constraints:      39829
2771.05/2777.90	c #Conflicts:    1038000 | #Constraints:      40829
2771.05/2777.90	c #Conflicts:    1039000 | #Constraints:      41829
2771.05/2777.90	c #Conflicts:    1040000 | #Constraints:      42829
2771.05/2777.90	c #Conflicts:    1041000 | #Constraints:      43829
2771.05/2777.90	c INPROCESSING
2771.05/2777.90	c GARBAGE COLLECT
2771.05/2777.90	c #Conflicts:    1042000 | #Constraints:      24628
2771.05/2777.90	c #Conflicts:    1043000 | #Constraints:      25628
2771.05/2777.90	c #Conflicts:    1044000 | #Constraints:      26628
2771.05/2777.90	c #Conflicts:    1045000 | #Constraints:      27628
3019.50/3027.09	c #Conflicts:    1046000 | #Constraints:      28628
3019.50/3027.09	c #Conflicts:    1047000 | #Constraints:      29628
3019.50/3027.09	c #Conflicts:    1048000 | #Constraints:      30628
3019.50/3027.09	c #Conflicts:    1049000 | #Constraints:      31628
3019.50/3027.09	c #Conflicts:    1050000 | #Constraints:      32628
3019.50/3027.09	c #Conflicts:    1051000 | #Constraints:      33628
3019.50/3027.09	c #Conflicts:    1052000 | #Constraints:      34628
3019.50/3027.09	c #Conflicts:    1053000 | #Constraints:      35628
3019.50/3027.09	c #Conflicts:    1054000 | #Constraints:      36628
3019.50/3027.09	c #Conflicts:    1055000 | #Constraints:      37628
3019.50/3027.09	c #Conflicts:    1056000 | #Constraints:      38628
3019.50/3027.09	c #Conflicts:    1057000 | #Constraints:      39628
3019.50/3027.09	c #Conflicts:    1058000 | #Constraints:      40628
3019.50/3027.09	c #Conflicts:    1059000 | #Constraints:      41628
3019.50/3027.09	c #Conflicts:    1060000 | #Constraints:      42628
3019.50/3027.09	c #Conflicts:    1061000 | #Constraints:      43628
3019.50/3027.09	c #Conflicts:    1062000 | #Constraints:      44628
3019.50/3027.09	c INPROCESSING
3019.50/3027.09	c GARBAGE COLLECT
3019.50/3027.09	c #Conflicts:    1063000 | #Constraints:      25228
3019.50/3027.09	c #Conflicts:    1064000 | #Constraints:      26228
3019.50/3027.09	c #Conflicts:    1065000 | #Constraints:      27228
3019.50/3027.09	c #Conflicts:    1066000 | #Constraints:      28228
3019.50/3027.09	c #Conflicts:    1067000 | #Constraints:      29228
3019.50/3027.09	c #Conflicts:    1068000 | #Constraints:      30228
3019.50/3027.09	c #Conflicts:    1069000 | #Constraints:      31228
3019.50/3027.09	c #Conflicts:    1070000 | #Constraints:      32228
3019.50/3027.09	c #Conflicts:    1071000 | #Constraints:      33228
3019.50/3027.09	c #Conflicts:    1072000 | #Constraints:      34228
3019.50/3027.09	c #Conflicts:    1073000 | #Constraints:      35228
3019.50/3027.09	c #Conflicts:    1074000 | #Constraints:      36228
3019.50/3027.09	c #Conflicts:    1075000 | #Constraints:      37228
3019.50/3027.09	c #Conflicts:    1076000 | #Constraints:      38228
3019.50/3027.09	c #Conflicts:    1077000 | #Constraints:      39228
3019.50/3027.09	c #Conflicts:    1078000 | #Constraints:      40228
3019.50/3027.09	c #Conflicts:    1079000 | #Constraints:      41228
3019.50/3027.09	c #Conflicts:    1080000 | #Constraints:      42228
3019.50/3027.09	c #Conflicts:    1081000 | #Constraints:      43228
3019.50/3027.09	c #Conflicts:    1082000 | #Constraints:      44228
3019.50/3027.09	c #Conflicts:    1083000 | #Constraints:      45228
3019.50/3027.09	c INPROCESSING
3019.50/3027.09	c GARBAGE COLLECT
3019.50/3027.09	c #Conflicts:    1084000 | #Constraints:      25622
3019.50/3027.09	c #Conflicts:    1085000 | #Constraints:      26622
3019.50/3027.09	c #Conflicts:    1086000 | #Constraints:      27622
3019.50/3027.09	c #Conflicts:    1087000 | #Constraints:      28622
3019.50/3027.09	c #Conflicts:    1088000 | #Constraints:      29622
3019.50/3027.09	c #Conflicts:    1089000 | #Constraints:      30622
3019.50/3027.09	c #Conflicts:    1090000 | #Constraints:      31622
3019.50/3027.09	c #Conflicts:    1091000 | #Constraints:      32622
3019.50/3027.09	c #Conflicts:    1092000 | #Constraints:      33622
3019.50/3027.09	c #Conflicts:    1093000 | #Constraints:      34622
3019.50/3027.09	c #Conflicts:    1094000 | #Constraints:      35622
3019.50/3027.09	c #Conflicts:    1095000 | #Constraints:      36622
3019.50/3027.09	c #Conflicts:    1096000 | #Constraints:      37622
3019.50/3027.09	c #Conflicts:    1097000 | #Constraints:      38622
3019.50/3027.09	c #Conflicts:    1098000 | #Constraints:      39622
3019.50/3027.09	c #Conflicts:    1099000 | #Constraints:      40622
3019.50/3027.09	c #Conflicts:    1100000 | #Constraints:      41622
3019.50/3027.09	c #Conflicts:    1101000 | #Constraints:      42622
3019.50/3027.09	c #Conflicts:    1102000 | #Constraints:      43622
3019.50/3027.09	c #Conflicts:    1103000 | #Constraints:      44622
3019.50/3027.09	c #Conflicts:    1104000 | #Constraints:      45622
3019.50/3027.09	c INPROCESSING
3019.50/3027.09	c GARBAGE COLLECT
3019.50/3027.09	c #Conflicts:    1105000 | #Constraints:      25833
3019.50/3027.09	c #Conflicts:    1106000 | #Constraints:      26833
3019.50/3027.09	c #Conflicts:    1107000 | #Constraints:      27833
3019.50/3027.09	c #Conflicts:    1108000 | #Constraints:      28833
3019.50/3027.09	c #Conflicts:    1109000 | #Constraints:      29833
3019.50/3027.09	c #Conflicts:    1110000 | #Constraints:      30833
3019.50/3027.09	c #Conflicts:    1111000 | #Constraints:      31833
3019.50/3027.09	c #Conflicts:    1112000 | #Constraints:      32833
3019.50/3027.09	c #Conflicts:    1113000 | #Constraints:      33833
3019.50/3027.09	c #Conflicts:    1114000 | #Constraints:      34833
3019.50/3027.09	c #Conflicts:    1115000 | #Constraints:      35833
3019.50/3027.09	c #Conflicts:    1116000 | #Constraints:      36833
3019.50/3027.09	c #Conflicts:    1117000 | #Constraints:      37833
3019.50/3027.09	c #Conflicts:    1118000 | #Constraints:      38833
3019.50/3027.09	c #Conflicts:    1119000 | #Constraints:      39833
3019.50/3027.09	c #Conflicts:    1120000 | #Constraints:      40833
3019.50/3027.09	c #Conflicts:    1121000 | #Constraints:      41833
3019.50/3027.09	c #Conflicts:    1122000 | #Constraints:      42833
3268.73/3276.95	c #Conflicts:    1123000 | #Constraints:      43833
3268.73/3276.95	c #Conflicts:    1124000 | #Constraints:      44833
3268.73/3276.95	c #Conflicts:    1125000 | #Constraints:      45833
3268.73/3276.95	c INPROCESSING
3268.73/3276.95	c GARBAGE COLLECT
3268.73/3276.95	c #Conflicts:    1126000 | #Constraints:      25834
3268.73/3276.95	c #Conflicts:    1127000 | #Constraints:      26834
3268.73/3276.95	c #Conflicts:    1128000 | #Constraints:      27834
3268.73/3276.95	c #Conflicts:    1129000 | #Constraints:      28834
3268.73/3276.95	c #Conflicts:    1130000 | #Constraints:      29834
3268.73/3276.95	c #Conflicts:    1131000 | #Constraints:      30834
3268.73/3276.95	c #Conflicts:    1132000 | #Constraints:      31834
3268.73/3276.95	c #Conflicts:    1133000 | #Constraints:      32834
3268.73/3276.95	c #Conflicts:    1134000 | #Constraints:      33834
3268.73/3276.95	c #Conflicts:    1135000 | #Constraints:      34834
3268.73/3276.95	c #Conflicts:    1136000 | #Constraints:      35834
3268.73/3276.95	c #Conflicts:    1137000 | #Constraints:      36834
3268.73/3276.95	c #Conflicts:    1138000 | #Constraints:      37834
3268.73/3276.95	c #Conflicts:    1139000 | #Constraints:      38834
3268.73/3276.95	c #Conflicts:    1140000 | #Constraints:      39834
3268.73/3276.95	c #Conflicts:    1141000 | #Constraints:      40834
3268.73/3276.95	c #Conflicts:    1142000 | #Constraints:      41834
3268.73/3276.95	c #Conflicts:    1143000 | #Constraints:      42834
3268.73/3276.95	c #Conflicts:    1144000 | #Constraints:      43834
3268.73/3276.95	c #Conflicts:    1145000 | #Constraints:      44834
3268.73/3276.95	c #Conflicts:    1146000 | #Constraints:      45834
3268.73/3276.95	c INPROCESSING
3268.73/3276.95	c GARBAGE COLLECT
3268.73/3276.95	c #Conflicts:    1147000 | #Constraints:      25619
3268.73/3276.95	c #Conflicts:    1148000 | #Constraints:      26619
3268.73/3276.95	c #Conflicts:    1149000 | #Constraints:      27619
3268.73/3276.95	c #Conflicts:    1150000 | #Constraints:      28619
3268.73/3276.95	c #Conflicts:    1151000 | #Constraints:      29619
3268.73/3276.95	c #Conflicts:    1152000 | #Constraints:      30619
3268.73/3276.95	c #Conflicts:    1153000 | #Constraints:      31619
3268.73/3276.95	c #Conflicts:    1154000 | #Constraints:      32619
3268.73/3276.95	c #Conflicts:    1155000 | #Constraints:      33619
3268.73/3276.95	c #Conflicts:    1156000 | #Constraints:      34619
3268.73/3276.95	c #Conflicts:    1157000 | #Constraints:      35619
3268.73/3276.95	c #Conflicts:    1158000 | #Constraints:      36619
3268.73/3276.95	c #Conflicts:    1159000 | #Constraints:      37619
3268.73/3276.95	c #Conflicts:    1160000 | #Constraints:      38619
3268.73/3276.95	c #Conflicts:    1161000 | #Constraints:      39619
3268.73/3276.95	c #Conflicts:    1162000 | #Constraints:      40619
3268.73/3276.95	c #Conflicts:    1163000 | #Constraints:      41619
3268.73/3276.95	c #Conflicts:    1164000 | #Constraints:      42619
3268.73/3276.95	c #Conflicts:    1165000 | #Constraints:      43619
3268.73/3276.95	c #Conflicts:    1166000 | #Constraints:      44619
3268.73/3276.95	c #Conflicts:    1167000 | #Constraints:      45619
3268.73/3276.95	c #Conflicts:    1168000 | #Constraints:      46619
3268.73/3276.95	c INPROCESSING
3268.73/3276.95	c GARBAGE COLLECT
3268.73/3276.95	c #Conflicts:    1169000 | #Constraints:      26210
3268.73/3276.95	c #Conflicts:    1170000 | #Constraints:      27210
3268.73/3276.95	c #Conflicts:    1171000 | #Constraints:      28210
3268.73/3276.95	c #Conflicts:    1172000 | #Constraints:      29210
3268.73/3276.95	c #Conflicts:    1173000 | #Constraints:      30210
3268.73/3276.95	c #Conflicts:    1174000 | #Constraints:      31210
3268.73/3276.95	c #Conflicts:    1175000 | #Constraints:      32210
3268.73/3276.95	c #Conflicts:    1176000 | #Constraints:      33210
3268.73/3276.95	c #Conflicts:    1177000 | #Constraints:      34210
3268.73/3276.95	c #Conflicts:    1178000 | #Constraints:      35210
3268.73/3276.95	c #Conflicts:    1179000 | #Constraints:      36210
3268.73/3276.95	c #Conflicts:    1180000 | #Constraints:      37210
3268.73/3276.95	c #Conflicts:    1181000 | #Constraints:      38210
3268.73/3276.95	c #Conflicts:    1182000 | #Constraints:      39210
3268.73/3276.95	c #Conflicts:    1183000 | #Constraints:      40210
3268.73/3276.95	c #Conflicts:    1184000 | #Constraints:      41210
3268.73/3276.95	c #Conflicts:    1185000 | #Constraints:      42210
3268.73/3276.95	c #Conflicts:    1186000 | #Constraints:      43210
3268.73/3276.95	c #Conflicts:    1187000 | #Constraints:      44210
3268.73/3276.95	c #Conflicts:    1188000 | #Constraints:      45210
3268.73/3276.95	c #Conflicts:    1189000 | #Constraints:      46210
3268.73/3276.95	c #Conflicts:    1190000 | #Constraints:      47210
3268.73/3276.95	c INPROCESSING
3268.73/3276.95	c GARBAGE COLLECT
3268.73/3276.95	c #Conflicts:    1191000 | #Constraints:      26616
3268.73/3276.95	c #Conflicts:    1192000 | #Constraints:      27616
3268.73/3276.95	c #Conflicts:    1193000 | #Constraints:      28616
3268.73/3276.95	c #Conflicts:    1194000 | #Constraints:      29616
3268.73/3276.95	c #Conflicts:    1195000 | #Constraints:      30616
3268.73/3276.95	c #Conflicts:    1196000 | #Constraints:      31616
3268.73/3276.95	c #Conflicts:    1197000 | #Constraints:      32616
3268.73/3276.95	c #Conflicts:    1198000 | #Constraints:      33616
3561.38/3570.31	c #Conflicts:    1199000 | #Constraints:      34616
3561.38/3570.31	c #Conflicts:    1200000 | #Constraints:      35616
3561.38/3570.31	c #Conflicts:    1201000 | #Constraints:      36616
3561.38/3570.31	c #Conflicts:    1202000 | #Constraints:      37616
3561.38/3570.31	c #Conflicts:    1203000 | #Constraints:      38616
3561.38/3570.31	c #Conflicts:    1204000 | #Constraints:      39616
3561.38/3570.31	c #Conflicts:    1205000 | #Constraints:      40616
3561.38/3570.31	c #Conflicts:    1206000 | #Constraints:      41616
3561.38/3570.31	c #Conflicts:    1207000 | #Constraints:      42616
3561.38/3570.31	c #Conflicts:    1208000 | #Constraints:      43616
3561.38/3570.31	c #Conflicts:    1209000 | #Constraints:      44616
3561.38/3570.31	c #Conflicts:    1210000 | #Constraints:      45616
3561.38/3570.31	c #Conflicts:    1211000 | #Constraints:      46616
3561.38/3570.31	c #Conflicts:    1212000 | #Constraints:      47616
3561.38/3570.31	c INPROCESSING
3561.38/3570.31	c GARBAGE COLLECT
3561.38/3570.31	c #Conflicts:    1213000 | #Constraints:      26816
3561.38/3570.31	c #Conflicts:    1214000 | #Constraints:      27816
3561.38/3570.31	c #Conflicts:    1215000 | #Constraints:      28816
3561.38/3570.31	c #Conflicts:    1216000 | #Constraints:      29816
3561.38/3570.31	c #Conflicts:    1217000 | #Constraints:      30816
3561.38/3570.31	c #Conflicts:    1218000 | #Constraints:      31816
3561.38/3570.31	c #Conflicts:    1219000 | #Constraints:      32816
3561.38/3570.31	c #Conflicts:    1220000 | #Constraints:      33816
3561.38/3570.31	c #Conflicts:    1221000 | #Constraints:      34816
3561.38/3570.31	c #Conflicts:    1222000 | #Constraints:      35816
3561.38/3570.31	c #Conflicts:    1223000 | #Constraints:      36816
3561.38/3570.31	c #Conflicts:    1224000 | #Constraints:      37816
3561.38/3570.31	c #Conflicts:    1225000 | #Constraints:      38816
3561.38/3570.31	c #Conflicts:    1226000 | #Constraints:      39816
3561.38/3570.31	c #Conflicts:    1227000 | #Constraints:      40816
3561.38/3570.31	c #Conflicts:    1228000 | #Constraints:      41816
3561.38/3570.31	c #Conflicts:    1229000 | #Constraints:      42816
3561.38/3570.31	c #Conflicts:    1230000 | #Constraints:      43816
3561.38/3570.31	c #Conflicts:    1231000 | #Constraints:      44816
3561.38/3570.31	c #Conflicts:    1232000 | #Constraints:      45816
3561.38/3570.31	c #Conflicts:    1233000 | #Constraints:      46816
3561.38/3570.31	c #Conflicts:    1234000 | #Constraints:      47816
3561.38/3570.31	c INPROCESSING
3561.38/3570.31	c GARBAGE COLLECT
3561.38/3570.31	c #Conflicts:    1235000 | #Constraints:      26818
3561.38/3570.31	c #Conflicts:    1236000 | #Constraints:      27818
3561.38/3570.31	c #Conflicts:    1237000 | #Constraints:      28818
3561.38/3570.31	c #Conflicts:    1238000 | #Constraints:      29818
3561.38/3570.31	c #Conflicts:    1239000 | #Constraints:      30818
3561.38/3570.31	c #Conflicts:    1240000 | #Constraints:      31818
3561.38/3570.31	c #Conflicts:    1241000 | #Constraints:      32818
3561.38/3570.31	c #Conflicts:    1242000 | #Constraints:      33818
3561.38/3570.31	c #Conflicts:    1243000 | #Constraints:      34818
3561.38/3570.31	c #Conflicts:    1244000 | #Constraints:      35818
3561.38/3570.31	c #Conflicts:    1245000 | #Constraints:      36818
3561.38/3570.31	c #Conflicts:    1246000 | #Constraints:      37818
3561.38/3570.31	c #Conflicts:    1247000 | #Constraints:      38818
3561.38/3570.31	c #Conflicts:    1248000 | #Constraints:      39818
3561.38/3570.31	c #Conflicts:    1249000 | #Constraints:      40818
3561.38/3570.31	c #Conflicts:    1250000 | #Constraints:      41818
3561.38/3570.31	c #Conflicts:    1251000 | #Constraints:      42818
3561.38/3570.31	c #Conflicts:    1252000 | #Constraints:      43818
3561.38/3570.31	c #Conflicts:    1253000 | #Constraints:      44818
3561.38/3570.31	c #Conflicts:    1254000 | #Constraints:      45818
3561.38/3570.31	c #Conflicts:    1255000 | #Constraints:      46818
3561.38/3570.31	c #Conflicts:    1256000 | #Constraints:      47818
3561.38/3570.31	c INPROCESSING
3561.38/3570.31	c GARBAGE COLLECT
3561.38/3570.31	c #Conflicts:    1257000 | #Constraints:      26617
3561.38/3570.31	c #Conflicts:    1258000 | #Constraints:      27617
3561.38/3570.31	c #Conflicts:    1259000 | #Constraints:      28617
3561.38/3570.31	c #Conflicts:    1260000 | #Constraints:      29617
3561.38/3570.31	c #Conflicts:    1261000 | #Constraints:      30617
3561.38/3570.31	c #Conflicts:    1262000 | #Constraints:      31617
3561.38/3570.31	c #Conflicts:    1263000 | #Constraints:      32617
3561.38/3570.31	c #Conflicts:    1264000 | #Constraints:      33617
3561.38/3570.31	c #Conflicts:    1265000 | #Constraints:      34617
3561.38/3570.31	c #Conflicts:    1266000 | #Constraints:      35617
3561.38/3570.31	c #Conflicts:    1267000 | #Constraints:      36617
3561.38/3570.31	c #Conflicts:    1268000 | #Constraints:      37617
3561.38/3570.31	c #Conflicts:    1269000 | #Constraints:      38617
3561.38/3570.31	c #Conflicts:    1270000 | #Constraints:      39617
3561.38/3570.31	c #Conflicts:    1271000 | #Constraints:      40617
3561.38/3570.31	c #Conflicts:    1272000 | #Constraints:      41617
3561.38/3570.31	c #Conflicts:    1273000 | #Constraints:      42617
3561.38/3570.31	c #Conflicts:    1274000 | #Constraints:      43617
3561.38/3570.31	c #Conflicts:    1275000 | #Constraints:      44617
3600.09/3609.11	c #Conflicts:    1276000 | #Constraints:      45617
3600.09/3609.11	c #Conflicts:    1277000 | #Constraints:      46617
3600.09/3609.11	c #Conflicts:    1278000 | #Constraints:      47617
3600.09/3609.11	c #Conflicts:    1279000 | #Constraints:      48617
3600.09/3609.11	c INPROCESSING
3600.09/3609.11	c GARBAGE COLLECT
3600.09/3609.11	c #Conflicts:    1280000 | #Constraints:      27215
3600.09/3609.11	c #Conflicts:    1281000 | #Constraints:      28215
3600.09/3609.11	c #Conflicts:    1282000 | #Constraints:      29215
3600.09/3609.11	c #Conflicts:    1283000 | #Constraints:      30215
3600.09/3609.11	c #Conflicts:    1284000 | #Constraints:      31215
3600.09/3609.11	c Program interrupted by user.
3600.09/3609.11	c cpu time 3590.99 s
3600.09/3609.11	c deterministic time 604377186469 6.04e+11
3600.09/3609.11	c optimization time 11.7888 s
3600.09/3609.11	c total solve time 3279.92 s
3600.09/3609.11	c core-guided solve time 3279.92 s
3600.09/3609.11	c propagation time 2705.41 s
3600.09/3609.11	c conflict analysis time 461.565 s
3600.09/3609.11	c propagations 159902469
3600.09/3609.11	c resolve steps 12517756
3600.09/3609.11	c decisions 4919417
3600.09/3609.11	c conflicts 1284361
3600.09/3609.11	c restarts 2465
3600.09/3609.11	c inprocessing phases 104
3600.09/3609.11	c input clauses 3928
3600.09/3609.11	c input cardinalities 146
3600.09/3609.11	c input general constraints 0
3600.09/3609.11	c input average constraint length 61.48
3600.09/3609.11	c input average constraint degree 27.81
3600.09/3609.11	c learned clauses 517749
3600.09/3609.11	c learned cardinalities 94699
3600.09/3609.11	c learned general constraints 672058
3600.09/3609.11	c learned average constraint length 763.51
3600.09/3609.11	c learned average constraint degree 5950.81
3600.09/3609.11	c watched constraints 340216
3600.09/3609.11	c counting constraints 331842
3600.09/3609.11	c gcd simplifications 27727
3600.09/3609.11	c detected cardinalities 578
3600.09/3609.11	c weakened non-implied lits 210706986
3600.09/3609.11	c weakened non-implying lits 58232
3600.09/3609.11	c original variables 1963
3600.09/3609.11	c clausal propagations 79711604
3600.09/3609.11	c cardinality propagations 14613280
3600.09/3609.11	c watched propagations 8622067
3600.09/3609.11	c counting propagations 48020327
3600.09/3609.11	c watch lookups 42730687483
3600.09/3609.11	c watch backjump lookups 32754921148
3600.09/3609.11	c watch checks 488133260311
3600.09/3609.11	c propagation checks 37587913116
3600.09/3609.11	c constraint additions 2839477606
3600.09/3609.11	c trail pops 166104918
3600.09/3609.11	c formula constraints 3254
3600.09/3609.11	c learned constraints 1284506
3600.09/3609.11	c bound constraints 146
3600.09/3609.11	c core-guided constraints 674
3600.09/3609.11	c encountered formula constraints 8732084
3600.09/3609.11	c encountered learned constraints 3403076
3600.09/3609.11	c encountered bound constraints 2
3600.09/3609.11	c encountered core-guided constraints 1666955
3600.09/3609.11	c LP total time 0 s
3600.09/3609.11	c LP solve time 0 s
3600.09/3609.11	c LP constraints added 0
3600.09/3609.11	c LP constraints removed 0
3600.09/3609.11	c LP pivots internal 0
3600.09/3609.11	c LP pivots root 0
3600.09/3609.11	c LP calls 0
3600.09/3609.11	c LP optimalities 0
3600.09/3609.11	c LP no pivot count 0
3600.09/3609.11	c LP infeasibilities 0
3600.09/3609.11	c LP valid Farkas constraints 0
3600.09/3609.11	c LP learned Farkas constraints 0
3600.09/3609.11	c LP basis resets 0
3600.09/3609.11	c LP cycling count 0
3600.09/3609.11	c LP singular count 0
3600.09/3609.11	c LP no primal count 0
3600.09/3609.11	c LP no farkas count 0
3600.09/3609.11	c LP other issue count 0
3600.09/3609.11	c LP Gomory cuts 0
3600.09/3609.11	c LP learned cuts 0
3600.09/3609.11	c LP deleted cuts 0
3600.09/3609.11	c LP encountered Gomory constraints 0
3600.09/3609.11	c LP encountered Farkas constraints 0
3600.09/3609.11	c LP encountered learned Farkas constraints 0
3600.09/3609.11	c CG auxiliary variables introduced 674
3600.09/3609.11	c CG solutions found 0
3600.09/3609.11	c CG cores constructed 145
3600.09/3609.11	c CG core cardinality constraints returned 0
3600.09/3609.11	c CG unit cores 0
3600.09/3609.11	c CG single cores 145
3600.09/3609.11	c CG blocks removed during cardinality reduction 0
3600.09/3609.11	c CG first core best 0
3600.09/3609.11	c CG decision core best 0
3600.09/3609.11	c CG core reduction tie 0
3600.09/3609.11	c CG core degree average 1.00
3600.09/3609.11	c CG core slack average 3.03
3600.09/3609.11	c CG exhausted 0
3600.09/3609.11	c CG exhaust time 0 s
3600.09/3609.11	c CG trimmed 0
3600.09/3609.11	c CG trim time 0.000863 s
3600.09/3609.11	c CG minimized 0
3600.09/3609.11	c CG minimize time 0 s
3600.09/3609.11	c CG am1 prop time 0.002016 s
3600.09/3609.11	c CG # am1s reformulated 674
3600.09/3609.11	c CG lower bound derived from am1s 676
3600.09/3609.11	c CG # clausal cores 145
3600.09/3609.11	c CG # cardinality cores 0
3600.09/3609.11	c CG # pb cores 0
3600.09/3609.11	c CG # pb reforms 0
3600.09/3609.11	c CG # cores discarded because of pb reform 0
3600.09/3609.11	d LOWERBOUND 821
3600.09/3609.11	d NCORES 145
3600.09/3609.11	d NPBCORES 0
3600.09/3609.11	d NPBREFORM 0
3600.09/3609.11	d NTRIMMED 0
3600.09/3609.11	d NEXHAUSTED 0
3600.09/3609.11	d NAM1S 674
3600.09/3609.11	d AM1LB 676
3600.09/3609.11	c [Papilo Statistics]
3600.09/3609.11	c prepro time 0.00467964s
3600.09/3609.11	c # tsx applied 150
3600.09/3609.11	c # tsx conflicts 6
3600.09/3609.11	c # bound changes 149
3600.09/3609.11	c # side changes 0
3600.09/3609.11	c # coef changes 0
3600.09/3609.11	c # rounds 2
3600.09/3609.11	c # deted vars 306
3600.09/3609.11	c # deted constrs 746
3600.09/3609.11	c # consecutive rounds of only bound changes 0
3600.09/3609.11	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62784 MiB free)
  memory of node 1: 64473 MiB (63330 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435461-1721091219/watcher-4435461-1721091219 -o /tmp/evaluation-result-4435461-1721091219/solver-4435461-1721091219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721091231-833380 --watchdog 3760 mixed-bag HOME/instance-4435461-1721091219.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 2.66 3.90 4.08 6/258 833443
/proc/meminfo: memFree=129089784/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=98236 memory=31084 CPUtime=0.03 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 4672 0 1 0 3 0 0 0 20 0 1 0 161292732 100593664 7771 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 24559 7771 3732 3002 0 8310 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 98236 KiB
Current children cumulated memory: 31084 KiB

[startup+0.206702 s]*
/proc/loadavg: 2.66 3.90 4.08 5/258 833445
/proc/meminfo: memFree=129053456/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=109740 memory=40796 CPUtime=0.13 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 7184 0 1 0 13 0 0 0 20 0 1 0 161292732 112373760 10199 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 27435 10199 3970 3002 0 11186 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 109740 KiB
Current children cumulated memory: 40796 KiB

[startup+0.306214 s]*
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=129052748/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=109740 memory=40796 CPUtime=0.23 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 7186 0 1 0 23 0 0 0 20 0 1 0 161292732 112373760 10199 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 27435 10199 3970 3002 0 11186 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 109740 KiB
Current children cumulated memory: 40796 KiB

[startup+0.700183 s]
/proc/loadavg: 2.77 3.91 4.08 8/258 833445
/proc/meminfo: memFree=129039272/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=115264 memory=45836 CPUtime=0.62 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 8409 0 1 0 61 1 0 0 20 0 1 0 161292732 118030336 11459 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 28816 11459 3986 3002 0 12567 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 115264 KiB
Current children cumulated memory: 45836 KiB

[startup+1.50017 s]
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128994696/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=118252 memory=48476 CPUtime=1.42 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 9085 0 1 0 141 1 0 0 20 0 1 0 161292732 121090048 12119 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 29563 12119 3986 3002 0 13314 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 118252 KiB
Current children cumulated memory: 48476 KiB

[startup+3.10646 s]
/proc/loadavg: 2.77 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128843584/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=140676 memory=69860 CPUtime=3.02 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 14432 0 1 0 301 1 0 0 20 0 1 0 161292732 144052224 17465 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 35169 17465 3986 3002 0 18920 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 140676 KiB
Current children cumulated memory: 69860 KiB

[startup+6.30017 s]
/proc/loadavg: 2.87 3.91 4.08 6/258 833445
/proc/meminfo: memFree=128733208/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=173132 memory=101540 CPUtime=6.2 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 22326 0 1 0 618 2 0 0 20 0 1 0 161292732 177287168 25385 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 43283 25385 3986 3002 0 27034 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 173132 KiB
Current children cumulated memory: 101540 KiB

[startup+12.7001 s]
/proc/loadavg: 2.96 3.91 4.08 6/258 833446
/proc/meminfo: memFree=128612672/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=208256 memory=131892 CPUtime=12.59 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 31027 0 1 0 1255 4 0 0 20 0 1 0 161292732 213254144 32973 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 52064 32973 3986 3002 0 35815 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 208256 KiB
Current children cumulated memory: 131892 KiB

[startup+25.5002 s]
/proc/loadavg: 3.12 3.91 4.08 6/258 833448
/proc/meminfo: memFree=128531204/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=208256 memory=132152 CPUtime=25.36 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 31114 0 1 0 2532 4 0 0 20 0 1 0 161292732 213254144 33038 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 52064 33038 3986 3002 0 35815 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 208256 KiB
Current children cumulated memory: 132152 KiB

[startup+51.1065 s]
/proc/loadavg: 3.52 3.94 4.08 6/258 833453
/proc/meminfo: memFree=128344632/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=275404 memory=193552 CPUtime=50.9 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 47900 0 1 0 5084 6 0 0 20 0 1 0 161292732 282013696 48388 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 68851 48388 4009 3002 0 52602 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 275404 KiB
Current children cumulated memory: 193552 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.98 4.09 6/257 833847
/proc/meminfo: memFree=128391672/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=287420 memory=205688 CPUtime=101.98 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 53212 0 1 0 10189 9 0 0 20 0 1 0 161292732 294318080 51422 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 71855 51422 4009 3002 0 55606 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 287420 KiB
Current children cumulated memory: 205688 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.02 4.09 6/257 833858
/proc/meminfo: memFree=128250176/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=305700 memory=223368 CPUtime=161.84 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 58350 0 1 0 16173 11 0 0 20 0 1 0 161292732 313036800 55842 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 76425 55842 4009 3002 0 60176 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 305700 KiB
Current children cumulated memory: 223368 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.03 4.09 6/256 833871
/proc/meminfo: memFree=128129644/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=320632 memory=244284 CPUtime=221.69 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 62245 0 1 0 22156 13 0 0 20 0 1 0 161292732 328327168 61071 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 80158 61071 4009 3002 0 63909 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 320632 KiB
Current children cumulated memory: 244284 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.04 4.09 6/257 834050
/proc/meminfo: memFree=128100520/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=328560 memory=258352 CPUtime=281.54 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 64128 0 1 0 28141 13 0 0 20 0 1 0 161292732 336445440 64588 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 82140 64588 4009 3002 0 65891 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 328560 KiB
Current children cumulated memory: 258352 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.06 4.09 6/256 834061
/proc/meminfo: memFree=128392512/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=232400 memory=176124 CPUtime=341.4 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 67307 0 1 0 34085 55 0 0 20 0 1 0 161292732 237977600 44031 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 58100 44031 4152 3002 0 41851 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 232400 KiB
Current children cumulated memory: 176124 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.05 4.09 6/258 834076
/proc/meminfo: memFree=128333652/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=263220 memory=190564 CPUtime=401.26 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 67879 0 1 0 40039 87 0 0 20 0 1 0 161292732 269537280 47641 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 65805 47641 4152 3002 0 49556 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 263220 KiB
Current children cumulated memory: 190564 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.07 4.09 6/259 834101
/proc/meminfo: memFree=128294212/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=268120 memory=199548 CPUtime=461.12 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 68695 0 1 0 45994 118 0 0 20 0 1 0 161292732 274554880 49887 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 67030 49887 4152 3002 0 50781 0

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

Current children cumulated memory: 408596 KiB

[startup+2922.3 s]
/proc/loadavg: 4.21 4.16 4.10 6/258 835165
/proc/meminfo: memFree=127647028/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=503708 memory=408932 CPUtime=2915.07 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 91489 0 1 0 290742 765 0 0 20 0 1 0 161292732 515796992 102233 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 125927 102233 4152 3002 0 109678 0
Current children cumulated CPU time: 2915.07 s
Current children cumulated vsize: 503708 KiB
Current children cumulated memory: 408932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 6/259 835177
/proc/meminfo: memFree=127638920/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=507932 memory=411392 CPUtime=2974.92 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 92316 0 1 0 296713 779 0 0 20 0 1 0 161292732 520122368 102848 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 126983 102848 4152 3002 0 110734 0
Current children cumulated CPU time: 2974.92 s
Current children cumulated vsize: 507932 KiB
Current children cumulated memory: 411392 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.15 4.10 6/259 835188
/proc/meminfo: memFree=127625312/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=510564 memory=417644 CPUtime=3034.76 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 92986 0 1 0 302683 793 0 0 20 0 1 0 161292732 522817536 104411 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 127641 104411 4152 3002 0 111392 0
Current children cumulated CPU time: 3034.76 s
Current children cumulated vsize: 510564 KiB
Current children cumulated memory: 417644 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/256 835198
/proc/meminfo: memFree=127622368/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512100 memory=418496 CPUtime=3094.59 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 93415 0 1 0 308651 808 0 0 20 0 1 0 161292732 524390400 104624 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128025 104624 4152 3002 0 111776 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 512100 KiB
Current children cumulated memory: 418496 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/255 835225
/proc/meminfo: memFree=127621116/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512284 memory=418636 CPUtime=3154.43 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 93617 0 1 0 314623 820 0 0 20 0 1 0 161292732 524578816 104659 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128071 104659 4152 3002 0 111822 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 512284 KiB
Current children cumulated memory: 418636 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.09 6/255 835236
/proc/meminfo: memFree=127618684/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512612 memory=419068 CPUtime=3214.28 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 93864 0 1 0 320597 831 0 0 20 0 1 0 161292732 524914688 104767 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128153 104767 4152 3002 0 111904 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 512612 KiB
Current children cumulated memory: 419068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 6/255 835247
/proc/meminfo: memFree=127614052/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512612 memory=419068 CPUtime=3274.12 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 94033 0 1 0 326569 843 0 0 20 0 1 0 161292732 524914688 104767 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128153 104767 4152 3002 0 111904 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 512612 KiB
Current children cumulated memory: 419068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/256 835259
/proc/meminfo: memFree=127597716/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512612 memory=419068 CPUtime=3333.96 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 94230 0 1 0 332543 853 0 0 20 0 1 0 161292732 524914688 104767 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128153 104767 4152 3002 0 111904 0
Current children cumulated CPU time: 3333.96 s
Current children cumulated vsize: 512612 KiB
Current children cumulated memory: 419068 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.10 6/258 835274
/proc/meminfo: memFree=127587276/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=512868 memory=419332 CPUtime=3393.8 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 94478 0 1 0 338513 867 0 0 20 0 1 0 161292732 525176832 104833 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128217 104833 4152 3002 0 111968 0
Current children cumulated CPU time: 3393.8 s
Current children cumulated vsize: 512868 KiB
Current children cumulated memory: 419332 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 6/258 835285
/proc/meminfo: memFree=127565868/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=513124 memory=432660 CPUtime=3453.64 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 94733 0 1 0 344483 881 0 0 20 0 1 0 161292732 525438976 108165 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128281 108165 4152 3002 0 112032 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 513124 KiB
Current children cumulated memory: 432660 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/258 835296
/proc/meminfo: memFree=127554676/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=515432 memory=434064 CPUtime=3513.49 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 95297 0 1 0 350456 893 0 0 20 0 1 0 161292732 527802368 108516 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128858 108516 4152 3002 0 112609 0
Current children cumulated CPU time: 3513.49 s
Current children cumulated vsize: 515432 KiB
Current children cumulated memory: 434064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/258 835306
/proc/meminfo: memFree=127542732/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=515432 memory=434076 CPUtime=3573.35 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 95486 0 1 0 356429 906 0 0 20 0 1 0 161292732 527802368 108519 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128858 108519 4152 3002 0 112609 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 515432 KiB
Current children cumulated memory: 434076 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 835325
/proc/meminfo: memFree=127904696/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=515432 memory=434076 CPUtime=3600.09 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 95615 0 1 0 359098 911 0 0 20 0 1 0 161292732 527802368 108519 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128858 108519 4152 3002 0 112609 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 515432 KiB
Current children cumulated memory: 434076 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.99 s, system=9.11558 s

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

[startup+3609.11 s]
/proc/loadavg: 4.15 4.12 4.09 6/251 835325
/proc/meminfo: memFree=127904696/131524600 swapFree=131071996/131071996
[pid=833433] ppid=833425 vsize=515432 memory=434076 CPUtime=3600.09 cores=4,6
/proc/833433/stat : 833433 (mixed-bag) R 833425 833433 833369 0 -1 4194304 95615 0 1 0 359098 911 0 0 20 0 1 0 161292732 527802368 108519 134679101440 4194304 16487941 140728357102928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 6 0 0 18723592 18734648 26050560 140728357110807 140728357110884 140728357110884 140728357117899 0
/proc/833433/statm: 128858 108519 4152 3002 0 112609 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 515432 KiB
Current children cumulated memory: 434076 KiB

Child status: 0

Real time (s): 3609.11
CPU time (s): 3600.11
CPU user time (s): 3590.99
CPU system time (s): 9.11558
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 515432
Max. memory (cumulated for all children) (KiB): 434076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.99
system time used= 9.11558
maximum resident set size= 434456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95635
page faults= 1
swaps= 0
block input operations= 568
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133
involuntary context switches= 2201


# summary of solver processes directly reported to runsolver:
#   pid: 833433
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3590.99
#   total CPU system time (s): 9.11558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.17354 second user time and 21.102 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-16 02:53:51
IDJOB=4435461
IDBENCH=147531
IDSOLVER=3066
FILE ID=nodeC035/4435461-1721091219
RUNJOBID= nodeC035-1721091231-833380
SLURM_JOB_ID= 7505584
Free space on /tmp= 890068 MiB

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

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

MD5SUM BENCH= f429a5cb74c34761160471c7897bca93
RANDOM SEED=247940641

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        129142404 kB
MemAvailable:   129742024 kB
Buffers:          374068 kB
Cached:          1064232 kB
SwapCached:            0 kB
Active:           682356 kB
Inactive:        1111592 kB
Active(anon):       1444 kB
Inactive(anon):   391948 kB
Active(file):     680912 kB
Inactive(file):   719644 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65332 kB
Writeback:             0 kB
AnonPages:        355684 kB
Mapped:           103668 kB
Shmem:             37724 kB
KReclaimable:      77772 kB
Slab:             181112 kB
SReclaimable:      77772 kB
SUnreclaim:       103340 kB
KernelStack:        3968 kB
PageTables:         9768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     751332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62528 kB
HardwareCorrupted:     0 kB
AnonHugePages:    235520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890004 MiB
End job on nodeC035 at 2024-07-16 03:54:01