Trace number 4454721

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-19? (TO) 3600.04 3609.02

DiagnosticValue
AM1LB669
LOWERBOUND814
NAM1S668
NCORES145
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB893

General information on the benchmark

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

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454721-1721467713/watcher-4454721-1721467713 -o /tmp/evaluation-result-4454721-1721467713/solver-4454721-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064087 --watchdog 3760 mixed-bag HOME/instance-4454721-1721467713.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1064144, runsolver pid=1064134

[startup+0.100078 s]*
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127193504/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=97604 memory=30984 CPUtime=0.1 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 4663 0 0 0 8 2 0 0 20 0 1 0 198927960 99946496 7746 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 24401 7746 3837 3002 0 8150 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 97604 KiB
Current children cumulated memory: 30984 KiB

[startup+0.218648 s]*
/proc/loadavg: 1.83 1.45 2.20 9/248 1064152
/proc/meminfo: memFree=127161732/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=106812 memory=38332 CPUtime=0.21 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 6507 0 0 0 19 2 0 0 20 0 1 0 198927960 109375488 9583 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 26703 9583 4013 3002 0 10452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 106812 KiB
Current children cumulated memory: 38332 KiB

[startup+0.313597 s]*
/proc/loadavg: 1.83 1.45 2.20 5/248 1064152
/proc/meminfo: memFree=127150212/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=109048 memory=40608 CPUtime=0.31 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 7055 0 0 0 29 2 0 0 20 0 1 0 198927960 111665152 10152 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 27262 10152 4061 3002 0 11011 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 109048 KiB
Current children cumulated memory: 40608 KiB

[startup+0.700272 s]
/proc/loadavg: 1.83 1.45 2.20 5/248 1064152
/proc/meminfo: memFree=127146588/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=109860 memory=41452 CPUtime=0.68 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 7257 0 0 0 66 2 0 0 20 0 1 0 198927960 112496640 10363 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 27465 10363 4077 3002 0 11214 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109860 KiB
Current children cumulated memory: 41452 KiB

[startup+1.5003 s]
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127132056/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=115320 memory=46172 CPUtime=1.48 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 8448 0 0 0 145 3 0 0 20 0 1 0 198927960 118087680 11543 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 28830 11543 4077 3002 0 12579 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115320 KiB
Current children cumulated memory: 46172 KiB

[startup+3.11401 s]
/proc/loadavg: 1.83 1.45 2.20 6/248 1064152
/proc/meminfo: memFree=127072252/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=141288 memory=70724 CPUtime=3.09 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 14555 0 0 0 305 4 0 0 20 0 1 0 198927960 144678912 17681 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 35322 17681 4077 3002 0 19071 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 141288 KiB
Current children cumulated memory: 70724 KiB

[startup+6.30027 s]
/proc/loadavg: 2.08 1.51 2.21 6/248 1064152
/proc/meminfo: memFree=126905460/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=191236 memory=119300 CPUtime=6.26 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 26744 0 0 0 621 5 0 0 20 0 1 0 198927960 195825664 29825 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 47809 29825 4077 3002 0 31558 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 191236 KiB
Current children cumulated memory: 119300 KiB

[startup+12.7002 s]
/proc/loadavg: 2.23 1.55 2.22 6/248 1064154
/proc/meminfo: memFree=126788188/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=199028 memory=124900 CPUtime=12.65 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 29214 0 0 0 1259 6 0 0 20 0 1 0 198927960 203804672 31225 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 49757 31225 4077 3002 0 33506 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 199028 KiB
Current children cumulated memory: 124900 KiB

[startup+25.5003 s]
/proc/loadavg: 2.63 1.67 2.25 6/248 1064155
/proc/meminfo: memFree=126782276/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=199028 memory=125952 CPUtime=25.42 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 29448 0 0 0 2536 6 0 0 20 0 1 0 198927960 203804672 31488 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 49757 31488 4077 3002 0 33506 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 199028 KiB
Current children cumulated memory: 125952 KiB

[startup+51.1139 s]
/proc/loadavg: 3.18 1.87 2.30 6/248 1064160
/proc/meminfo: memFree=126576756/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=240316 memory=161824 CPUtime=50.97 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 39032 0 0 0 5088 9 0 0 20 0 1 0 198927960 246083584 40456 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 60079 40456 4100 3002 0 43828 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 240316 KiB
Current children cumulated memory: 161824 KiB

[startup+102.3 s]
/proc/loadavg: 3.71 2.22 2.40 7/251 1064228
/proc/meminfo: memFree=126438292/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=318416 memory=234260 CPUtime=102.04 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 59130 0 0 0 10187 17 0 0 20 0 1 0 198927960 326057984 58565 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 79604 58565 4100 3002 0 63353 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 318416 KiB
Current children cumulated memory: 234260 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.56 2.51 6/250 1064239
/proc/meminfo: memFree=126330708/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=363052 memory=275160 CPUtime=161.89 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 69777 0 0 0 16169 20 0 0 20 0 1 0 198927960 371765248 68790 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 90763 68790 4100 3002 0 74512 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 363052 KiB
Current children cumulated memory: 275160 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 2.86 2.61 6/250 1064249
/proc/meminfo: memFree=126243532/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=412000 memory=322436 CPUtime=221.75 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 81747 0 0 0 22152 23 0 0 20 0 1 0 198927960 421888000 80609 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 103000 80609 4100 3002 0 86749 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 412000 KiB
Current children cumulated memory: 322436 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.10 2.71 6/250 1064259
/proc/meminfo: memFree=126163616/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=415820 memory=330644 CPUtime=281.59 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 83911 0 0 0 28135 24 0 0 20 0 1 0 198927960 425799680 82661 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 103955 82661 4100 3002 0 87704 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 415820 KiB
Current children cumulated memory: 330644 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.28 2.80 6/245 1064270
/proc/meminfo: memFree=126459776/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=364536 memory=294600 CPUtime=341.44 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 86642 0 0 0 34077 67 0 0 20 0 1 0 198927960 373284864 73650 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 91134 73650 4228 3002 0 74883 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 364536 KiB
Current children cumulated memory: 294600 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.44 2.89 6/242 1064281
/proc/meminfo: memFree=126378364/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=395356 memory=321560 CPUtime=401.28 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 87218 0 0 0 40034 94 0 0 20 0 1 0 198927960 404844544 80390 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 98839 80390 4228 3002 0 82588 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 395356 KiB
Current children cumulated memory: 321560 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.56 2.97 6/242 1064291
/proc/meminfo: memFree=126314768/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=445444 memory=340164 CPUtime=461.13 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 87859 0 0 0 45990 123 0 0 20 0 1 0 198927960 456134656 85041 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 111361 85041 4228 3002 0 95110 0

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

Current children cumulated memory: 459740 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.10 4.02 6/242 1065292
/proc/meminfo: memFree=125352044/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=537656 memory=463976 CPUtime=2855.09 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 97075 0 0 0 284792 717 0 0 20 0 1 0 198927960 550559744 115994 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134414 115994 4228 3002 0 118163 0
Current children cumulated CPU time: 2855.09 s
Current children cumulated vsize: 537656 KiB
Current children cumulated memory: 463976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/242 1065302
/proc/meminfo: memFree=125346496/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=537656 memory=463984 CPUtime=2914.94 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 97304 0 0 0 290767 727 0 0 20 0 1 0 198927960 550559744 115996 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134414 115996 4228 3002 0 118163 0
Current children cumulated CPU time: 2914.94 s
Current children cumulated vsize: 537656 KiB
Current children cumulated memory: 463984 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/242 1065312
/proc/meminfo: memFree=125341604/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=537656 memory=463984 CPUtime=2974.8 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 97506 0 0 0 296740 740 0 0 20 0 1 0 198927960 550559744 115996 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134414 115996 4228 3002 0 118163 0
Current children cumulated CPU time: 2974.8 s
Current children cumulated vsize: 537656 KiB
Current children cumulated memory: 463984 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.02 6/242 1065323
/proc/meminfo: memFree=125325308/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=537656 memory=463984 CPUtime=3034.66 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 97711 0 0 0 302715 751 0 0 20 0 1 0 198927960 550559744 115996 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134414 115996 4228 3002 0 118163 0
Current children cumulated CPU time: 3034.66 s
Current children cumulated vsize: 537656 KiB
Current children cumulated memory: 463984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/244 1065337
/proc/meminfo: memFree=125307276/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=538424 memory=464536 CPUtime=3094.52 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 98045 0 0 0 308690 762 0 0 20 0 1 0 198927960 551346176 116134 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134606 116134 4228 3002 0 118355 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 538424 KiB
Current children cumulated memory: 464536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/244 1065347
/proc/meminfo: memFree=125296920/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=539376 memory=464764 CPUtime=3154.38 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 98400 0 0 0 314664 774 0 0 20 0 1 0 198927960 552321024 116191 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134844 116191 4228 3002 0 118593 0
Current children cumulated CPU time: 3154.38 s
Current children cumulated vsize: 539376 KiB
Current children cumulated memory: 464764 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/244 1065357
/proc/meminfo: memFree=125294248/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=539704 memory=465360 CPUtime=3214.24 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 98695 0 0 0 320637 787 0 0 20 0 1 0 198927960 552656896 116340 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 134926 116340 4228 3002 0 118675 0
Current children cumulated CPU time: 3214.24 s
Current children cumulated vsize: 539704 KiB
Current children cumulated memory: 465360 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.04 6/244 1065368
/proc/meminfo: memFree=125256204/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=540728 memory=478392 CPUtime=3274.09 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 99080 0 0 0 326609 800 0 0 20 0 1 0 198927960 553705472 119598 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135182 119598 4228 3002 0 118931 0
Current children cumulated CPU time: 3274.09 s
Current children cumulated vsize: 540728 KiB
Current children cumulated memory: 478392 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.11 4.04 6/245 1065379
/proc/meminfo: memFree=125254960/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=540728 memory=478392 CPUtime=3333.95 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 99307 0 0 0 332588 807 0 0 20 0 1 0 198927960 553705472 119598 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135182 119598 4228 3002 0 118931 0
Current children cumulated CPU time: 3333.95 s
Current children cumulated vsize: 540728 KiB
Current children cumulated memory: 478392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.05 6/246 1065773
/proc/meminfo: memFree=125251740/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=540984 memory=478656 CPUtime=3393.81 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 99566 0 0 0 338565 816 0 0 20 0 1 0 198927960 553967616 119664 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135246 119664 4228 3002 0 118995 0
Current children cumulated CPU time: 3393.81 s
Current children cumulated vsize: 540984 KiB
Current children cumulated memory: 478656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.05 6/245 1065784
/proc/meminfo: memFree=125247652/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=540984 memory=478656 CPUtime=3453.66 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 99770 0 0 0 344539 827 0 0 20 0 1 0 198927960 553967616 119664 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135246 119664 4228 3002 0 118995 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 540984 KiB
Current children cumulated memory: 478656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/245 1065794
/proc/meminfo: memFree=125208716/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=540984 memory=478656 CPUtime=3513.51 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 100013 0 0 0 350515 836 0 0 20 0 1 0 198927960 553967616 119664 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135246 119664 4228 3002 0 118995 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 540984 KiB
Current children cumulated memory: 478656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.05 6/247 1065974
/proc/meminfo: memFree=125185640/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=542008 memory=484128 CPUtime=3573.38 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 100552 0 0 0 356492 846 0 0 20 0 1 0 198927960 555016192 121032 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135502 121032 4228 3002 0 119251 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 542008 KiB
Current children cumulated memory: 484128 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.16 4.12 4.06 5/244 1065992
/proc/meminfo: memFree=125649316/131655788 swapFree=131071996/131071996
[pid=1064144] ppid=1064134 vsize=542008 memory=484128 CPUtime=3600.03 cores=1,3
/proc/1064144/stat : 1064144 (mixed-bag) R 1064134 1064144 1064075 0 -1 4194304 100693 0 0 0 359153 850 0 0 20 0 1 0 198927960 555016192 121032 134679101440 4194304 16488053 140734990783040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 34320384 140734990787605 140734990787682 140734990787682 140734990794699 0
/proc/1064144/statm: 135502 121032 4228 3002 0 119251 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 542008 KiB
Current children cumulated memory: 484128 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.54 s, system=8.50604 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.04
CPU user time (s): 3591.54
CPU system time (s): 8.50604
CPU usage (%): 99.7513
Max. virtual memory (cumulated for all children) (KiB): 542008
Max. memory (cumulated for all children) (KiB): 484128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.54
system time used= 8.50604
maximum resident set size= 484128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100716
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 1650


# summary of solver processes directly reported to runsolver:
#   pid: 1064144
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3591.54
#   total CPU system time (s): 8.50604

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2392 second user time and 38.4722 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-20 11:28:45
IDJOB=4454721
IDBENCH=147526
IDSOLVER=3083
FILE ID=nodeC007/4454721-1721467713
RUNJOBID= nodeC007-1721467725-1064087
SLURM_JOB_ID= 7545722
Free space on /tmp= 723784 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_34.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454721-1721467713/watcher-4454721-1721467713 -o /tmp/evaluation-result-4454721-1721467713/solver-4454721-1721467713 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721467725-1064087 --watchdog 3760  mixed-bag HOME/instance-4454721-1721467713.opb

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

MD5SUM BENCH= 52f0a3c0093dc9bf421bafb6505effdf
RANDOM SEED=910349485

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127255928 kB
MemAvailable:   129911808 kB
Buffers:          555256 kB
Cached:          2941324 kB
SwapCached:            0 kB
Active:          1151172 kB
Inactive:        2681804 kB
Active(anon):       1360 kB
Inactive(anon):   381576 kB
Active(file):    1149812 kB
Inactive(file):  2300228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65132 kB
Writeback:             4 kB
AnonPages:        337064 kB
Mapped:           107496 kB
Shmem:             45896 kB
KReclaimable:      91744 kB
Slab:             194604 kB
SReclaimable:      91744 kB
SUnreclaim:       102860 kB
KernelStack:        3748 kB
PageTables:        10112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     713284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62016 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC007 at 2024-07-20 12:28:55