Trace number 4488807

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_33.opb.PB06.opb
MD5SUM40249833eecc795c9ed736ead45c4ff1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1034
Best CPU time to get the best result obtained on this benchmark15154.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1965
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 1965
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 1965
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 1965
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.00/0.02	c [STEP] preprocessing with Papilo
0.00/0.03	c [STEP] solving with SCIP
299.59/300.41	c [STEP] preprocessing done, loading into solver
299.59/300.41	c [STEP] solving
299.59/300.41	c #variables 1691 #constraints 3376
299.59/300.41	c SMALL=int, LARGE=long long
299.59/300.41	d SCIPUB 904
299.59/300.41	c bounds - >= 0 @ 299.467
299.59/300.41	c stratification level: 0
299.59/300.47	c bounds - >= 691 @ 299.473
299.59/300.47	c bounds - >= 692 @ 299.474
299.59/300.47	c bounds - >= 693 @ 299.474
299.59/300.47	c bounds - >= 694 @ 299.474
299.59/300.47	c bounds - >= 695 @ 299.474
299.59/300.47	c bounds - >= 696 @ 299.474
299.59/300.47	c bounds - >= 697 @ 299.474
299.59/300.47	c bounds - >= 698 @ 299.475
299.59/300.47	c bounds - >= 699 @ 299.475
299.59/300.47	c bounds - >= 700 @ 299.475
299.59/300.47	c bounds - >= 701 @ 299.475
299.59/300.47	c bounds - >= 702 @ 299.475
299.59/300.47	c bounds - >= 703 @ 299.476
299.59/300.47	c bounds - >= 704 @ 299.476
299.59/300.47	c bounds - >= 705 @ 299.476
299.59/300.47	c bounds - >= 706 @ 299.476
299.59/300.47	c bounds - >= 707 @ 299.476
299.59/300.47	c bounds - >= 708 @ 299.477
299.59/300.47	c bounds - >= 709 @ 299.477
299.59/300.47	c bounds - >= 710 @ 299.477
299.59/300.47	c bounds - >= 711 @ 299.477
299.59/300.47	c bounds - >= 712 @ 299.478
299.59/300.47	c bounds - >= 713 @ 299.478
299.59/300.47	c bounds - >= 714 @ 299.478
299.59/300.47	c bounds - >= 715 @ 299.478
299.59/300.47	c bounds - >= 716 @ 299.478
299.59/300.47	c bounds - >= 717 @ 299.479
299.59/300.47	c bounds - >= 718 @ 299.479
299.59/300.47	c bounds - >= 719 @ 299.479
299.59/300.47	c bounds - >= 720 @ 299.479
299.59/300.47	c bounds - >= 721 @ 299.479
299.59/300.47	c bounds - >= 722 @ 299.479
299.59/300.47	c bounds - >= 723 @ 299.479
299.59/300.47	c bounds - >= 724 @ 299.479
299.59/300.47	c bounds - >= 725 @ 299.479
299.59/300.47	c bounds - >= 726 @ 299.479
299.59/300.47	c bounds - >= 727 @ 299.479
299.59/300.47	c bounds - >= 728 @ 299.479
299.59/300.47	c bounds - >= 729 @ 299.48
299.59/300.47	c bounds - >= 730 @ 299.48
299.59/300.47	c bounds - >= 731 @ 299.48
299.59/300.47	c bounds - >= 732 @ 299.48
299.59/300.47	c bounds - >= 733 @ 299.481
299.59/300.47	c bounds - >= 734 @ 299.481
299.59/300.47	c bounds - >= 735 @ 299.481
299.59/300.47	c bounds - >= 736 @ 299.481
299.59/300.47	c bounds - >= 737 @ 299.482
299.59/300.47	c bounds - >= 738 @ 299.482
299.59/300.47	c bounds - >= 739 @ 299.482
299.59/300.47	c bounds - >= 740 @ 299.482
299.59/300.47	c bounds - >= 741 @ 299.483
299.59/300.47	c bounds - >= 742 @ 299.483
299.59/300.47	c bounds - >= 743 @ 299.483
299.59/300.47	c bounds - >= 744 @ 299.483
299.59/300.47	c bounds - >= 745 @ 299.484
299.59/300.47	c bounds - >= 746 @ 299.484
299.59/300.47	c bounds - >= 747 @ 299.484
299.59/300.47	c bounds - >= 748 @ 299.484
299.59/300.47	c bounds - >= 749 @ 299.485
299.59/300.47	c bounds - >= 750 @ 299.485
299.59/300.47	c bounds - >= 751 @ 299.485
299.59/300.47	c bounds - >= 752 @ 299.485
299.59/300.47	c bounds - >= 753 @ 299.486
299.59/300.47	c bounds - >= 754 @ 299.486
299.59/300.47	c bounds - >= 755 @ 299.486
299.59/300.47	c bounds - >= 756 @ 299.487
299.59/300.47	c bounds - >= 757 @ 299.487
299.59/300.47	c bounds - >= 758 @ 299.487
299.59/300.47	c bounds - >= 759 @ 299.487
299.59/300.47	c bounds - >= 760 @ 299.487
299.59/300.47	c bounds - >= 761 @ 299.487
299.59/300.47	c bounds - >= 762 @ 299.487
299.59/300.47	c bounds - >= 763 @ 299.487
299.59/300.47	c bounds - >= 764 @ 299.488
299.59/300.47	c bounds - >= 765 @ 299.488
299.59/300.47	c bounds - >= 766 @ 299.488
299.59/300.47	c bounds - >= 767 @ 299.489
299.59/300.47	c bounds - >= 768 @ 299.489
299.59/300.47	c bounds - >= 769 @ 299.489
299.59/300.47	c bounds - >= 770 @ 299.489
299.59/300.47	c bounds - >= 771 @ 299.49
299.59/300.47	c bounds - >= 772 @ 299.49
299.59/300.47	c bounds - >= 773 @ 299.49
299.59/300.47	c bounds - >= 774 @ 299.49
299.59/300.47	c bounds - >= 775 @ 299.491
299.59/300.47	c bounds - >= 776 @ 299.491
299.59/300.47	c bounds - >= 777 @ 299.491
299.59/300.47	c bounds - >= 778 @ 299.492
299.59/300.47	c bounds - >= 779 @ 299.492
299.59/300.47	c bounds - >= 780 @ 299.492
299.59/300.47	c bounds - >= 781 @ 299.492
299.59/300.47	c bounds - >= 782 @ 299.493
299.59/300.47	c bounds - >= 783 @ 299.493
299.59/300.47	c bounds - >= 784 @ 299.493
299.59/300.47	c bounds - >= 785 @ 299.494
299.59/300.47	c bounds - >= 786 @ 299.494
299.59/300.47	c bounds - >= 787 @ 299.494
299.59/300.47	c bounds - >= 788 @ 299.494
299.59/300.47	c bounds - >= 789 @ 299.494
299.59/300.47	c bounds - >= 790 @ 299.494
299.59/300.47	c bounds - >= 791 @ 299.494
299.59/300.47	c bounds - >= 792 @ 299.495
299.59/300.47	c bounds - >= 793 @ 299.495
299.59/300.47	c bounds - >= 794 @ 299.495
299.59/300.47	c bounds - >= 795 @ 299.495
299.59/300.47	c bounds - >= 796 @ 299.496
299.59/300.47	c bounds - >= 797 @ 299.496
299.59/300.47	c bounds - >= 798 @ 299.496
299.59/300.47	c bounds - >= 799 @ 299.497
299.59/300.47	c bounds - >= 800 @ 299.497
299.59/300.47	c bounds - >= 801 @ 299.497
299.59/300.47	c bounds - >= 802 @ 299.498
299.59/300.47	c bounds - >= 803 @ 299.498
299.59/300.47	c bounds - >= 804 @ 299.498
299.59/300.47	c bounds - >= 805 @ 299.499
299.59/300.47	c bounds - >= 806 @ 299.499
299.59/300.47	c bounds - >= 807 @ 299.499
299.59/300.47	c bounds - >= 808 @ 299.5
299.59/300.47	c bounds - >= 809 @ 299.5
299.59/300.47	c bounds - >= 810 @ 299.5
299.59/300.47	c bounds - >= 811 @ 299.501
299.59/300.47	c bounds - >= 812 @ 299.501
299.59/300.47	c bounds - >= 813 @ 299.501
299.59/300.47	c bounds - >= 814 @ 299.502
299.59/300.47	c bounds - >= 815 @ 299.502
299.59/300.47	c bounds - >= 816 @ 299.502
299.59/300.47	c bounds - >= 817 @ 299.503
299.59/300.47	c bounds - >= 818 @ 299.503
299.59/300.47	c bounds - >= 819 @ 299.503
299.59/300.47	c bounds - >= 820 @ 299.504
299.59/300.47	c bounds - >= 821 @ 299.504
299.59/300.47	c bounds - >= 822 @ 299.504
299.59/300.47	c bounds - >= 823 @ 299.504
299.59/300.47	c bounds - >= 824 @ 299.504
299.59/300.47	c bounds - >= 825 @ 299.505
299.59/300.47	c bounds - >= 826 @ 299.505
299.59/300.47	c bounds - >= 827 @ 299.505
299.59/300.47	c bounds - >= 828 @ 299.506
299.59/300.47	c bounds - >= 829 @ 299.506
299.59/300.47	c bounds - >= 830 @ 299.507
299.59/300.47	c bounds - >= 831 @ 299.507
299.59/300.47	c bounds - >= 832 @ 299.507
299.59/300.47	c bounds - >= 833 @ 299.507
299.59/300.47	c bounds - >= 834 @ 299.507
299.59/300.47	c bounds - >= 835 @ 299.507
299.59/300.47	c bounds - >= 836 @ 299.507
299.59/300.47	c bounds - >= 837 @ 299.507
355.53/356.53	c bounds - >= 838 @ 299.507
355.53/356.53	c bounds - >= 839 @ 299.508
355.53/356.53	c bounds - >= 840 @ 299.509
355.53/356.53	c #Conflicts:       1000 | #Constraints:       5365
355.53/356.53	c #Conflicts:       2000 | #Constraints:       6365
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:       3000 | #Constraints:       6198
355.53/356.53	c #Conflicts:       4000 | #Constraints:       7198
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:       5000 | #Constraints:       6594
355.53/356.53	c #Conflicts:       6000 | #Constraints:       7594
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:       7000 | #Constraints:       6586
355.53/356.53	c #Conflicts:       8000 | #Constraints:       7586
355.53/356.53	c #Conflicts:       9000 | #Constraints:       8586
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      10000 | #Constraints:       7286
355.53/356.53	c #Conflicts:      11000 | #Constraints:       8286
355.53/356.53	c #Conflicts:      12000 | #Constraints:       9286
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      13000 | #Constraints:       7734
355.53/356.53	c #Conflicts:      14000 | #Constraints:       8734
355.53/356.53	c #Conflicts:      15000 | #Constraints:       9734
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      16000 | #Constraints:       7954
355.53/356.53	c #Conflicts:      17000 | #Constraints:       8954
355.53/356.53	c #Conflicts:      18000 | #Constraints:       9954
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      19000 | #Constraints:       7978
355.53/356.53	c #Conflicts:      20000 | #Constraints:       8978
355.53/356.53	c #Conflicts:      21000 | #Constraints:       9978
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      22000 | #Constraints:       7788
355.53/356.53	c #Conflicts:      23000 | #Constraints:       8788
355.53/356.53	c #Conflicts:      24000 | #Constraints:       9788
355.53/356.53	c #Conflicts:      25000 | #Constraints:      10788
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      26000 | #Constraints:       8394
355.53/356.53	c #Conflicts:      27000 | #Constraints:       9394
355.53/356.53	c #Conflicts:      28000 | #Constraints:      10394
355.53/356.53	c #Conflicts:      29000 | #Constraints:      11394
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      30000 | #Constraints:       8785
355.53/356.53	c #Conflicts:      31000 | #Constraints:       9785
355.53/356.53	c #Conflicts:      32000 | #Constraints:      10785
355.53/356.53	c #Conflicts:      33000 | #Constraints:      11785
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      34000 | #Constraints:       8987
355.53/356.53	c #Conflicts:      35000 | #Constraints:       9987
355.53/356.53	c #Conflicts:      36000 | #Constraints:      10987
355.53/356.53	c #Conflicts:      37000 | #Constraints:      11987
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      38000 | #Constraints:       8989
355.53/356.53	c #Conflicts:      39000 | #Constraints:       9989
355.53/356.53	c #Conflicts:      40000 | #Constraints:      10989
355.53/356.53	c #Conflicts:      41000 | #Constraints:      11989
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      42000 | #Constraints:       8794
355.53/356.53	c #Conflicts:      43000 | #Constraints:       9794
355.53/356.53	c #Conflicts:      44000 | #Constraints:      10794
355.53/356.53	c #Conflicts:      45000 | #Constraints:      11794
355.53/356.53	c #Conflicts:      46000 | #Constraints:      12794
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      47000 | #Constraints:       9396
355.53/356.53	c #Conflicts:      48000 | #Constraints:      10396
355.53/356.53	c #Conflicts:      49000 | #Constraints:      11396
355.53/356.53	c #Conflicts:      50000 | #Constraints:      12396
355.53/356.53	c #Conflicts:      51000 | #Constraints:      13396
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      52000 | #Constraints:       9793
355.53/356.53	c #Conflicts:      53000 | #Constraints:      10793
355.53/356.53	c #Conflicts:      54000 | #Constraints:      11793
355.53/356.53	c #Conflicts:      55000 | #Constraints:      12793
355.53/356.53	c #Conflicts:      56000 | #Constraints:      13793
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      57000 | #Constraints:       9989
355.53/356.53	c #Conflicts:      58000 | #Constraints:      10989
355.53/356.53	c #Conflicts:      59000 | #Constraints:      11989
355.53/356.53	c #Conflicts:      60000 | #Constraints:      12989
355.53/356.53	c #Conflicts:      61000 | #Constraints:      13989
355.53/356.53	c INPROCESSING
355.53/356.53	c GARBAGE COLLECT
355.53/356.53	c #Conflicts:      62000 | #Constraints:       9991
355.53/356.53	c #Conflicts:      63000 | #Constraints:      10991
355.53/356.53	c #Conflicts:      64000 | #Constraints:      11991
355.53/356.53	c #Conflicts:      65000 | #Constraints:      12991
355.53/356.53	c #Conflicts:      66000 | #Constraints:      13991
355.53/356.53	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      67000 | #Constraints:       9789
449.05/450.36	c #Conflicts:      68000 | #Constraints:      10789
449.05/450.36	c #Conflicts:      69000 | #Constraints:      11789
449.05/450.36	c #Conflicts:      70000 | #Constraints:      12789
449.05/450.36	c #Conflicts:      71000 | #Constraints:      13789
449.05/450.36	c #Conflicts:      72000 | #Constraints:      14789
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      73000 | #Constraints:      10389
449.05/450.36	c #Conflicts:      74000 | #Constraints:      11389
449.05/450.36	c #Conflicts:      75000 | #Constraints:      12389
449.05/450.36	c #Conflicts:      76000 | #Constraints:      13389
449.05/450.36	c #Conflicts:      77000 | #Constraints:      14389
449.05/450.36	c #Conflicts:      78000 | #Constraints:      15389
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      79000 | #Constraints:      10792
449.05/450.36	c #Conflicts:      80000 | #Constraints:      11792
449.05/450.36	c #Conflicts:      81000 | #Constraints:      12792
449.05/450.36	c #Conflicts:      82000 | #Constraints:      13792
449.05/450.36	c #Conflicts:      83000 | #Constraints:      14792
449.05/450.36	c #Conflicts:      84000 | #Constraints:      15792
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      85000 | #Constraints:      10993
449.05/450.36	c #Conflicts:      86000 | #Constraints:      11993
449.05/450.36	c #Conflicts:      87000 | #Constraints:      12993
449.05/450.36	c #Conflicts:      88000 | #Constraints:      13993
449.05/450.36	c #Conflicts:      89000 | #Constraints:      14993
449.05/450.36	c #Conflicts:      90000 | #Constraints:      15993
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      91000 | #Constraints:      10994
449.05/450.36	c #Conflicts:      92000 | #Constraints:      11994
449.05/450.36	c #Conflicts:      93000 | #Constraints:      12994
449.05/450.36	c #Conflicts:      94000 | #Constraints:      13994
449.05/450.36	c #Conflicts:      95000 | #Constraints:      14994
449.05/450.36	c #Conflicts:      96000 | #Constraints:      15994
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:      97000 | #Constraints:      10794
449.05/450.36	c #Conflicts:      98000 | #Constraints:      11794
449.05/450.36	c #Conflicts:      99000 | #Constraints:      12794
449.05/450.36	c #Conflicts:     100000 | #Constraints:      13794
449.05/450.36	c #Conflicts:     101000 | #Constraints:      14794
449.05/450.36	c #Conflicts:     102000 | #Constraints:      15794
449.05/450.36	c #Conflicts:     103000 | #Constraints:      16794
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:     104000 | #Constraints:      11393
449.05/450.36	c #Conflicts:     105000 | #Constraints:      12393
449.05/450.36	c #Conflicts:     106000 | #Constraints:      13393
449.05/450.36	c #Conflicts:     107000 | #Constraints:      14393
449.05/450.36	c #Conflicts:     108000 | #Constraints:      15393
449.05/450.36	c #Conflicts:     109000 | #Constraints:      16393
449.05/450.36	c #Conflicts:     110000 | #Constraints:      17393
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:     111000 | #Constraints:      11792
449.05/450.36	c #Conflicts:     112000 | #Constraints:      12792
449.05/450.36	c #Conflicts:     113000 | #Constraints:      13792
449.05/450.36	c #Conflicts:     114000 | #Constraints:      14792
449.05/450.36	c #Conflicts:     115000 | #Constraints:      15792
449.05/450.36	c #Conflicts:     116000 | #Constraints:      16792
449.05/450.36	c #Conflicts:     117000 | #Constraints:      17792
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:     118000 | #Constraints:      11987
449.05/450.36	c #Conflicts:     119000 | #Constraints:      12987
449.05/450.36	c #Conflicts:     120000 | #Constraints:      13987
449.05/450.36	c #Conflicts:     121000 | #Constraints:      14987
449.05/450.36	c #Conflicts:     122000 | #Constraints:      15987
449.05/450.36	c #Conflicts:     123000 | #Constraints:      16987
449.05/450.36	c #Conflicts:     124000 | #Constraints:      17987
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:     125000 | #Constraints:      11987
449.05/450.36	c #Conflicts:     126000 | #Constraints:      12987
449.05/450.36	c #Conflicts:     127000 | #Constraints:      13987
449.05/450.36	c #Conflicts:     128000 | #Constraints:      14987
449.05/450.36	c #Conflicts:     129000 | #Constraints:      15987
449.05/450.36	c #Conflicts:     130000 | #Constraints:      16987
449.05/450.36	c #Conflicts:     131000 | #Constraints:      17987
449.05/450.36	c INPROCESSING
449.05/450.36	c GARBAGE COLLECT
449.05/450.36	c #Conflicts:     132000 | #Constraints:      11777
449.05/450.36	c #Conflicts:     133000 | #Constraints:      12777
449.05/450.36	c #Conflicts:     134000 | #Constraints:      13777
449.05/450.36	c #Conflicts:     135000 | #Constraints:      14777
449.05/450.36	c #Conflicts:     136000 | #Constraints:      15777
449.05/450.36	c #Conflicts:     137000 | #Constraints:      16777
449.05/450.36	c #Conflicts:     138000 | #Constraints:      17777
449.05/450.36	c #Conflicts:     139000 | #Constraints:      18777
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     140000 | #Constraints:      12380
577.05/578.73	c #Conflicts:     141000 | #Constraints:      13380
577.05/578.73	c #Conflicts:     142000 | #Constraints:      14380
577.05/578.73	c #Conflicts:     143000 | #Constraints:      15380
577.05/578.73	c #Conflicts:     144000 | #Constraints:      16380
577.05/578.73	c #Conflicts:     145000 | #Constraints:      17380
577.05/578.73	c #Conflicts:     146000 | #Constraints:      18380
577.05/578.73	c #Conflicts:     147000 | #Constraints:      19380
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     148000 | #Constraints:      12785
577.05/578.73	c #Conflicts:     149000 | #Constraints:      13785
577.05/578.73	c #Conflicts:     150000 | #Constraints:      14785
577.05/578.73	c #Conflicts:     151000 | #Constraints:      15785
577.05/578.73	c #Conflicts:     152000 | #Constraints:      16785
577.05/578.73	c #Conflicts:     153000 | #Constraints:      17785
577.05/578.73	c #Conflicts:     154000 | #Constraints:      18785
577.05/578.73	c #Conflicts:     155000 | #Constraints:      19785
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     156000 | #Constraints:      12982
577.05/578.73	c #Conflicts:     157000 | #Constraints:      13982
577.05/578.73	c #Conflicts:     158000 | #Constraints:      14982
577.05/578.73	c #Conflicts:     159000 | #Constraints:      15982
577.05/578.73	c #Conflicts:     160000 | #Constraints:      16982
577.05/578.73	c #Conflicts:     161000 | #Constraints:      17982
577.05/578.73	c #Conflicts:     162000 | #Constraints:      18982
577.05/578.73	c #Conflicts:     163000 | #Constraints:      19982
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     164000 | #Constraints:      12985
577.05/578.73	c #Conflicts:     165000 | #Constraints:      13985
577.05/578.73	c #Conflicts:     166000 | #Constraints:      14985
577.05/578.73	c #Conflicts:     167000 | #Constraints:      15985
577.05/578.73	c #Conflicts:     168000 | #Constraints:      16985
577.05/578.73	c #Conflicts:     169000 | #Constraints:      17985
577.05/578.73	c #Conflicts:     170000 | #Constraints:      18985
577.05/578.73	c #Conflicts:     171000 | #Constraints:      19985
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     172000 | #Constraints:      12781
577.05/578.73	c #Conflicts:     173000 | #Constraints:      13781
577.05/578.73	c #Conflicts:     174000 | #Constraints:      14781
577.05/578.73	c #Conflicts:     175000 | #Constraints:      15781
577.05/578.73	c #Conflicts:     176000 | #Constraints:      16781
577.05/578.73	c #Conflicts:     177000 | #Constraints:      17781
577.05/578.73	c #Conflicts:     178000 | #Constraints:      18781
577.05/578.73	c #Conflicts:     179000 | #Constraints:      19781
577.05/578.73	c #Conflicts:     180000 | #Constraints:      20781
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     181000 | #Constraints:      13379
577.05/578.73	c #Conflicts:     182000 | #Constraints:      14379
577.05/578.73	c #Conflicts:     183000 | #Constraints:      15379
577.05/578.73	c #Conflicts:     184000 | #Constraints:      16379
577.05/578.73	c #Conflicts:     185000 | #Constraints:      17379
577.05/578.73	c #Conflicts:     186000 | #Constraints:      18379
577.05/578.73	c #Conflicts:     187000 | #Constraints:      19379
577.05/578.73	c #Conflicts:     188000 | #Constraints:      20379
577.05/578.73	c #Conflicts:     189000 | #Constraints:      21379
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     190000 | #Constraints:      13780
577.05/578.73	c #Conflicts:     191000 | #Constraints:      14780
577.05/578.73	c #Conflicts:     192000 | #Constraints:      15780
577.05/578.73	c #Conflicts:     193000 | #Constraints:      16780
577.05/578.73	c #Conflicts:     194000 | #Constraints:      17780
577.05/578.73	c #Conflicts:     195000 | #Constraints:      18780
577.05/578.73	c #Conflicts:     196000 | #Constraints:      19780
577.05/578.73	c #Conflicts:     197000 | #Constraints:      20780
577.05/578.73	c #Conflicts:     198000 | #Constraints:      21780
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     199000 | #Constraints:      13974
577.05/578.73	c #Conflicts:     200000 | #Constraints:      14974
577.05/578.73	c #Conflicts:     201000 | #Constraints:      15974
577.05/578.73	c #Conflicts:     202000 | #Constraints:      16974
577.05/578.73	c #Conflicts:     203000 | #Constraints:      17974
577.05/578.73	c #Conflicts:     204000 | #Constraints:      18974
577.05/578.73	c #Conflicts:     205000 | #Constraints:      19974
577.05/578.73	c #Conflicts:     206000 | #Constraints:      20974
577.05/578.73	c #Conflicts:     207000 | #Constraints:      21974
577.05/578.73	c INPROCESSING
577.05/578.73	c GARBAGE COLLECT
577.05/578.73	c #Conflicts:     208000 | #Constraints:      13983
577.05/578.73	c #Conflicts:     209000 | #Constraints:      14983
577.05/578.73	c #Conflicts:     210000 | #Constraints:      15983
577.05/578.73	c #Conflicts:     211000 | #Constraints:      16983
577.05/578.73	c #Conflicts:     212000 | #Constraints:      17983
737.01/739.13	c #Conflicts:     213000 | #Constraints:      18983
737.01/739.13	c #Conflicts:     214000 | #Constraints:      19983
737.01/739.13	c #Conflicts:     215000 | #Constraints:      20983
737.01/739.13	c #Conflicts:     216000 | #Constraints:      21983
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     217000 | #Constraints:      13785
737.01/739.13	c #Conflicts:     218000 | #Constraints:      14785
737.01/739.13	c #Conflicts:     219000 | #Constraints:      15785
737.01/739.13	c #Conflicts:     220000 | #Constraints:      16785
737.01/739.13	c #Conflicts:     221000 | #Constraints:      17785
737.01/739.13	c #Conflicts:     222000 | #Constraints:      18785
737.01/739.13	c #Conflicts:     223000 | #Constraints:      19785
737.01/739.13	c #Conflicts:     224000 | #Constraints:      20785
737.01/739.13	c #Conflicts:     225000 | #Constraints:      21785
737.01/739.13	c #Conflicts:     226000 | #Constraints:      22785
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     227000 | #Constraints:      14383
737.01/739.13	c #Conflicts:     228000 | #Constraints:      15383
737.01/739.13	c #Conflicts:     229000 | #Constraints:      16383
737.01/739.13	c #Conflicts:     230000 | #Constraints:      17383
737.01/739.13	c #Conflicts:     231000 | #Constraints:      18383
737.01/739.13	c #Conflicts:     232000 | #Constraints:      19383
737.01/739.13	c #Conflicts:     233000 | #Constraints:      20383
737.01/739.13	c #Conflicts:     234000 | #Constraints:      21383
737.01/739.13	c #Conflicts:     235000 | #Constraints:      22383
737.01/739.13	c #Conflicts:     236000 | #Constraints:      23383
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     237000 | #Constraints:      14786
737.01/739.13	c #Conflicts:     238000 | #Constraints:      15786
737.01/739.13	c #Conflicts:     239000 | #Constraints:      16786
737.01/739.13	c #Conflicts:     240000 | #Constraints:      17786
737.01/739.13	c #Conflicts:     241000 | #Constraints:      18786
737.01/739.13	c #Conflicts:     242000 | #Constraints:      19786
737.01/739.13	c #Conflicts:     243000 | #Constraints:      20786
737.01/739.13	c #Conflicts:     244000 | #Constraints:      21786
737.01/739.13	c #Conflicts:     245000 | #Constraints:      22786
737.01/739.13	c #Conflicts:     246000 | #Constraints:      23786
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     247000 | #Constraints:      14977
737.01/739.13	c #Conflicts:     248000 | #Constraints:      15977
737.01/739.13	c #Conflicts:     249000 | #Constraints:      16977
737.01/739.13	c #Conflicts:     250000 | #Constraints:      17977
737.01/739.13	c #Conflicts:     251000 | #Constraints:      18977
737.01/739.13	c #Conflicts:     252000 | #Constraints:      19977
737.01/739.13	c #Conflicts:     253000 | #Constraints:      20977
737.01/739.13	c #Conflicts:     254000 | #Constraints:      21977
737.01/739.13	c #Conflicts:     255000 | #Constraints:      22977
737.01/739.13	c #Conflicts:     256000 | #Constraints:      23977
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     257000 | #Constraints:      14978
737.01/739.13	c #Conflicts:     258000 | #Constraints:      15978
737.01/739.13	c #Conflicts:     259000 | #Constraints:      16978
737.01/739.13	c #Conflicts:     260000 | #Constraints:      17978
737.01/739.13	c #Conflicts:     261000 | #Constraints:      18978
737.01/739.13	c #Conflicts:     262000 | #Constraints:      19978
737.01/739.13	c #Conflicts:     263000 | #Constraints:      20978
737.01/739.13	c #Conflicts:     264000 | #Constraints:      21978
737.01/739.13	c #Conflicts:     265000 | #Constraints:      22978
737.01/739.13	c #Conflicts:     266000 | #Constraints:      23978
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     267000 | #Constraints:      14787
737.01/739.13	c #Conflicts:     268000 | #Constraints:      15787
737.01/739.13	c #Conflicts:     269000 | #Constraints:      16787
737.01/739.13	c #Conflicts:     270000 | #Constraints:      17787
737.01/739.13	c #Conflicts:     271000 | #Constraints:      18787
737.01/739.13	c #Conflicts:     272000 | #Constraints:      19787
737.01/739.13	c #Conflicts:     273000 | #Constraints:      20787
737.01/739.13	c #Conflicts:     274000 | #Constraints:      21787
737.01/739.13	c #Conflicts:     275000 | #Constraints:      22787
737.01/739.13	c #Conflicts:     276000 | #Constraints:      23787
737.01/739.13	c #Conflicts:     277000 | #Constraints:      24787
737.01/739.13	c INPROCESSING
737.01/739.13	c GARBAGE COLLECT
737.01/739.13	c #Conflicts:     278000 | #Constraints:      15383
737.01/739.13	c #Conflicts:     279000 | #Constraints:      16383
737.01/739.13	c #Conflicts:     280000 | #Constraints:      17383
737.01/739.13	c #Conflicts:     281000 | #Constraints:      18383
737.01/739.13	c #Conflicts:     282000 | #Constraints:      19383
737.01/739.13	c #Conflicts:     283000 | #Constraints:      20383
737.01/739.13	c #Conflicts:     284000 | #Constraints:      21383
737.01/739.13	c #Conflicts:     285000 | #Constraints:      22383
737.01/739.13	c #Conflicts:     286000 | #Constraints:      23383
907.04/909.60	c #Conflicts:     287000 | #Constraints:      24383
907.04/909.60	c #Conflicts:     288000 | #Constraints:      25383
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     289000 | #Constraints:      15782
907.04/909.60	c #Conflicts:     290000 | #Constraints:      16782
907.04/909.60	c #Conflicts:     291000 | #Constraints:      17782
907.04/909.60	c #Conflicts:     292000 | #Constraints:      18782
907.04/909.60	c #Conflicts:     293000 | #Constraints:      19782
907.04/909.60	c #Conflicts:     294000 | #Constraints:      20782
907.04/909.60	c #Conflicts:     295000 | #Constraints:      21782
907.04/909.60	c #Conflicts:     296000 | #Constraints:      22782
907.04/909.60	c #Conflicts:     297000 | #Constraints:      23782
907.04/909.60	c #Conflicts:     298000 | #Constraints:      24782
907.04/909.60	c #Conflicts:     299000 | #Constraints:      25782
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     300000 | #Constraints:      15983
907.04/909.60	c #Conflicts:     301000 | #Constraints:      16983
907.04/909.60	c #Conflicts:     302000 | #Constraints:      17983
907.04/909.60	c #Conflicts:     303000 | #Constraints:      18983
907.04/909.60	c #Conflicts:     304000 | #Constraints:      19983
907.04/909.60	c #Conflicts:     305000 | #Constraints:      20983
907.04/909.60	c #Conflicts:     306000 | #Constraints:      21983
907.04/909.60	c #Conflicts:     307000 | #Constraints:      22983
907.04/909.60	c #Conflicts:     308000 | #Constraints:      23983
907.04/909.60	c #Conflicts:     309000 | #Constraints:      24983
907.04/909.60	c #Conflicts:     310000 | #Constraints:      25983
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     311000 | #Constraints:      15979
907.04/909.60	c #Conflicts:     312000 | #Constraints:      16979
907.04/909.60	c #Conflicts:     313000 | #Constraints:      17979
907.04/909.60	c #Conflicts:     314000 | #Constraints:      18979
907.04/909.60	c #Conflicts:     315000 | #Constraints:      19979
907.04/909.60	c #Conflicts:     316000 | #Constraints:      20979
907.04/909.60	c #Conflicts:     317000 | #Constraints:      21979
907.04/909.60	c #Conflicts:     318000 | #Constraints:      22979
907.04/909.60	c #Conflicts:     319000 | #Constraints:      23979
907.04/909.60	c #Conflicts:     320000 | #Constraints:      24979
907.04/909.60	c #Conflicts:     321000 | #Constraints:      25979
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     322000 | #Constraints:      15778
907.04/909.60	c #Conflicts:     323000 | #Constraints:      16778
907.04/909.60	c #Conflicts:     324000 | #Constraints:      17778
907.04/909.60	c #Conflicts:     325000 | #Constraints:      18778
907.04/909.60	c #Conflicts:     326000 | #Constraints:      19778
907.04/909.60	c #Conflicts:     327000 | #Constraints:      20778
907.04/909.60	c #Conflicts:     328000 | #Constraints:      21778
907.04/909.60	c #Conflicts:     329000 | #Constraints:      22778
907.04/909.60	c #Conflicts:     330000 | #Constraints:      23778
907.04/909.60	c #Conflicts:     331000 | #Constraints:      24778
907.04/909.60	c #Conflicts:     332000 | #Constraints:      25778
907.04/909.60	c #Conflicts:     333000 | #Constraints:      26778
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     334000 | #Constraints:      16383
907.04/909.60	c #Conflicts:     335000 | #Constraints:      17383
907.04/909.60	c #Conflicts:     336000 | #Constraints:      18383
907.04/909.60	c #Conflicts:     337000 | #Constraints:      19383
907.04/909.60	c #Conflicts:     338000 | #Constraints:      20383
907.04/909.60	c #Conflicts:     339000 | #Constraints:      21383
907.04/909.60	c #Conflicts:     340000 | #Constraints:      22383
907.04/909.60	c #Conflicts:     341000 | #Constraints:      23383
907.04/909.60	c #Conflicts:     342000 | #Constraints:      24383
907.04/909.60	c #Conflicts:     343000 | #Constraints:      25383
907.04/909.60	c #Conflicts:     344000 | #Constraints:      26383
907.04/909.60	c #Conflicts:     345000 | #Constraints:      27383
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     346000 | #Constraints:      16771
907.04/909.60	c #Conflicts:     347000 | #Constraints:      17771
907.04/909.60	c #Conflicts:     348000 | #Constraints:      18771
907.04/909.60	c #Conflicts:     349000 | #Constraints:      19771
907.04/909.60	c #Conflicts:     350000 | #Constraints:      20771
907.04/909.60	c #Conflicts:     351000 | #Constraints:      21771
907.04/909.60	c #Conflicts:     352000 | #Constraints:      22771
907.04/909.60	c #Conflicts:     353000 | #Constraints:      23771
907.04/909.60	c #Conflicts:     354000 | #Constraints:      24771
907.04/909.60	c #Conflicts:     355000 | #Constraints:      25771
907.04/909.60	c #Conflicts:     356000 | #Constraints:      26771
907.04/909.60	c #Conflicts:     357000 | #Constraints:      27771
907.04/909.60	c INPROCESSING
907.04/909.60	c GARBAGE COLLECT
907.04/909.60	c #Conflicts:     358000 | #Constraints:      16964
907.04/909.60	c #Conflicts:     359000 | #Constraints:      17964
907.04/909.60	c #Conflicts:     360000 | #Constraints:      18964
1109.10/1112.23	c #Conflicts:     361000 | #Constraints:      19964
1109.10/1112.23	c #Conflicts:     362000 | #Constraints:      20964
1109.10/1112.23	c #Conflicts:     363000 | #Constraints:      21964
1109.10/1112.23	c #Conflicts:     364000 | #Constraints:      22964
1109.10/1112.23	c #Conflicts:     365000 | #Constraints:      23964
1109.10/1112.23	c #Conflicts:     366000 | #Constraints:      24964
1109.10/1112.23	c #Conflicts:     367000 | #Constraints:      25964
1109.10/1112.23	c #Conflicts:     368000 | #Constraints:      26964
1109.10/1112.23	c #Conflicts:     369000 | #Constraints:      27964
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     370000 | #Constraints:      16969
1109.10/1112.23	c #Conflicts:     371000 | #Constraints:      17969
1109.10/1112.23	c #Conflicts:     372000 | #Constraints:      18969
1109.10/1112.23	c #Conflicts:     373000 | #Constraints:      19969
1109.10/1112.23	c #Conflicts:     374000 | #Constraints:      20969
1109.10/1112.23	c #Conflicts:     375000 | #Constraints:      21969
1109.10/1112.23	c #Conflicts:     376000 | #Constraints:      22969
1109.10/1112.23	c #Conflicts:     377000 | #Constraints:      23969
1109.10/1112.23	c #Conflicts:     378000 | #Constraints:      24969
1109.10/1112.23	c #Conflicts:     379000 | #Constraints:      25969
1109.10/1112.23	c #Conflicts:     380000 | #Constraints:      26969
1109.10/1112.23	c #Conflicts:     381000 | #Constraints:      27969
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     382000 | #Constraints:      16768
1109.10/1112.23	c #Conflicts:     383000 | #Constraints:      17768
1109.10/1112.23	c #Conflicts:     384000 | #Constraints:      18768
1109.10/1112.23	c #Conflicts:     385000 | #Constraints:      19768
1109.10/1112.23	c #Conflicts:     386000 | #Constraints:      20768
1109.10/1112.23	c #Conflicts:     387000 | #Constraints:      21768
1109.10/1112.23	c #Conflicts:     388000 | #Constraints:      22768
1109.10/1112.23	c #Conflicts:     389000 | #Constraints:      23768
1109.10/1112.23	c #Conflicts:     390000 | #Constraints:      24768
1109.10/1112.23	c #Conflicts:     391000 | #Constraints:      25768
1109.10/1112.23	c #Conflicts:     392000 | #Constraints:      26768
1109.10/1112.23	c #Conflicts:     393000 | #Constraints:      27768
1109.10/1112.23	c #Conflicts:     394000 | #Constraints:      28768
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     395000 | #Constraints:      17369
1109.10/1112.23	c #Conflicts:     396000 | #Constraints:      18369
1109.10/1112.23	c #Conflicts:     397000 | #Constraints:      19369
1109.10/1112.23	c #Conflicts:     398000 | #Constraints:      20369
1109.10/1112.23	c #Conflicts:     399000 | #Constraints:      21369
1109.10/1112.23	c #Conflicts:     400000 | #Constraints:      22369
1109.10/1112.23	c #Conflicts:     401000 | #Constraints:      23369
1109.10/1112.23	c #Conflicts:     402000 | #Constraints:      24369
1109.10/1112.23	c #Conflicts:     403000 | #Constraints:      25369
1109.10/1112.23	c #Conflicts:     404000 | #Constraints:      26369
1109.10/1112.23	c #Conflicts:     405000 | #Constraints:      27369
1109.10/1112.23	c #Conflicts:     406000 | #Constraints:      28369
1109.10/1112.23	c #Conflicts:     407000 | #Constraints:      29369
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     408000 | #Constraints:      17766
1109.10/1112.23	c #Conflicts:     409000 | #Constraints:      18766
1109.10/1112.23	c #Conflicts:     410000 | #Constraints:      19766
1109.10/1112.23	c #Conflicts:     411000 | #Constraints:      20766
1109.10/1112.23	c #Conflicts:     412000 | #Constraints:      21766
1109.10/1112.23	c #Conflicts:     413000 | #Constraints:      22766
1109.10/1112.23	c #Conflicts:     414000 | #Constraints:      23766
1109.10/1112.23	c #Conflicts:     415000 | #Constraints:      24766
1109.10/1112.23	c #Conflicts:     416000 | #Constraints:      25766
1109.10/1112.23	c #Conflicts:     417000 | #Constraints:      26766
1109.10/1112.23	c #Conflicts:     418000 | #Constraints:      27766
1109.10/1112.23	c #Conflicts:     419000 | #Constraints:      28766
1109.10/1112.23	c #Conflicts:     420000 | #Constraints:      29766
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     421000 | #Constraints:      17970
1109.10/1112.23	c #Conflicts:     422000 | #Constraints:      18970
1109.10/1112.23	c #Conflicts:     423000 | #Constraints:      19970
1109.10/1112.23	c #Conflicts:     424000 | #Constraints:      20970
1109.10/1112.23	c #Conflicts:     425000 | #Constraints:      21970
1109.10/1112.23	c #Conflicts:     426000 | #Constraints:      22970
1109.10/1112.23	c #Conflicts:     427000 | #Constraints:      23970
1109.10/1112.23	c #Conflicts:     428000 | #Constraints:      24970
1109.10/1112.23	c #Conflicts:     429000 | #Constraints:      25970
1109.10/1112.23	c #Conflicts:     430000 | #Constraints:      26970
1109.10/1112.23	c #Conflicts:     431000 | #Constraints:      27970
1109.10/1112.23	c #Conflicts:     432000 | #Constraints:      28970
1109.10/1112.23	c #Conflicts:     433000 | #Constraints:      29970
1109.10/1112.23	c INPROCESSING
1109.10/1112.23	c GARBAGE COLLECT
1109.10/1112.23	c #Conflicts:     434000 | #Constraints:      17970
1109.10/1112.23	c #Conflicts:     435000 | #Constraints:      18970
1313.06/1316.71	c #Conflicts:     436000 | #Constraints:      19970
1313.06/1316.71	c #Conflicts:     437000 | #Constraints:      20970
1313.06/1316.71	c #Conflicts:     438000 | #Constraints:      21970
1313.06/1316.71	c #Conflicts:     439000 | #Constraints:      22970
1313.06/1316.71	c #Conflicts:     440000 | #Constraints:      23970
1313.06/1316.71	c #Conflicts:     441000 | #Constraints:      24970
1313.06/1316.71	c #Conflicts:     442000 | #Constraints:      25970
1313.06/1316.71	c #Conflicts:     443000 | #Constraints:      26970
1313.06/1316.71	c #Conflicts:     444000 | #Constraints:      27970
1313.06/1316.71	c #Conflicts:     445000 | #Constraints:      28970
1313.06/1316.71	c #Conflicts:     446000 | #Constraints:      29970
1313.06/1316.71	c INPROCESSING
1313.06/1316.71	c GARBAGE COLLECT
1313.06/1316.71	c #Conflicts:     447000 | #Constraints:      17766
1313.06/1316.71	c #Conflicts:     448000 | #Constraints:      18766
1313.06/1316.71	c #Conflicts:     449000 | #Constraints:      19766
1313.06/1316.71	c #Conflicts:     450000 | #Constraints:      20766
1313.06/1316.71	c #Conflicts:     451000 | #Constraints:      21766
1313.06/1316.71	c #Conflicts:     452000 | #Constraints:      22766
1313.06/1316.71	c #Conflicts:     453000 | #Constraints:      23766
1313.06/1316.71	c #Conflicts:     454000 | #Constraints:      24766
1313.06/1316.71	c #Conflicts:     455000 | #Constraints:      25766
1313.06/1316.71	c #Conflicts:     456000 | #Constraints:      26766
1313.06/1316.71	c #Conflicts:     457000 | #Constraints:      27766
1313.06/1316.71	c #Conflicts:     458000 | #Constraints:      28766
1313.06/1316.71	c #Conflicts:     459000 | #Constraints:      29766
1313.06/1316.71	c #Conflicts:     460000 | #Constraints:      30766
1313.06/1316.71	c INPROCESSING
1313.06/1316.71	c GARBAGE COLLECT
1313.06/1316.71	c #Conflicts:     461000 | #Constraints:      18355
1313.06/1316.71	c #Conflicts:     462000 | #Constraints:      19355
1313.06/1316.71	c #Conflicts:     463000 | #Constraints:      20355
1313.06/1316.71	c #Conflicts:     464000 | #Constraints:      21355
1313.06/1316.71	c #Conflicts:     465000 | #Constraints:      22355
1313.06/1316.71	c #Conflicts:     466000 | #Constraints:      23355
1313.06/1316.71	c #Conflicts:     467000 | #Constraints:      24355
1313.06/1316.71	c #Conflicts:     468000 | #Constraints:      25355
1313.06/1316.71	c #Conflicts:     469000 | #Constraints:      26355
1313.06/1316.71	c #Conflicts:     470000 | #Constraints:      27355
1313.06/1316.71	c #Conflicts:     471000 | #Constraints:      28355
1313.06/1316.71	c #Conflicts:     472000 | #Constraints:      29355
1313.06/1316.71	c #Conflicts:     473000 | #Constraints:      30355
1313.06/1316.71	c #Conflicts:     474000 | #Constraints:      31355
1313.06/1316.71	c INPROCESSING
1313.06/1316.71	c GARBAGE COLLECT
1313.06/1316.71	c #Conflicts:     475000 | #Constraints:      18757
1313.06/1316.71	c #Conflicts:     476000 | #Constraints:      19757
1313.06/1316.71	c #Conflicts:     477000 | #Constraints:      20757
1313.06/1316.71	c #Conflicts:     478000 | #Constraints:      21757
1313.06/1316.71	c #Conflicts:     479000 | #Constraints:      22757
1313.06/1316.71	c #Conflicts:     480000 | #Constraints:      23757
1313.06/1316.71	c #Conflicts:     481000 | #Constraints:      24757
1313.06/1316.71	c #Conflicts:     482000 | #Constraints:      25757
1313.06/1316.71	c #Conflicts:     483000 | #Constraints:      26757
1313.06/1316.71	c #Conflicts:     484000 | #Constraints:      27757
1313.06/1316.71	c #Conflicts:     485000 | #Constraints:      28757
1313.06/1316.71	c #Conflicts:     486000 | #Constraints:      29757
1313.06/1316.71	c #Conflicts:     487000 | #Constraints:      30757
1313.06/1316.71	c #Conflicts:     488000 | #Constraints:      31757
1313.06/1316.71	c INPROCESSING
1313.06/1316.71	c GARBAGE COLLECT
1313.06/1316.71	c #Conflicts:     489000 | #Constraints:      18959
1313.06/1316.71	c #Conflicts:     490000 | #Constraints:      19959
1313.06/1316.71	c #Conflicts:     491000 | #Constraints:      20959
1313.06/1316.71	c #Conflicts:     492000 | #Constraints:      21959
1313.06/1316.71	c #Conflicts:     493000 | #Constraints:      22959
1313.06/1316.71	c #Conflicts:     494000 | #Constraints:      23959
1313.06/1316.71	c #Conflicts:     495000 | #Constraints:      24959
1313.06/1316.71	c #Conflicts:     496000 | #Constraints:      25959
1313.06/1316.71	c #Conflicts:     497000 | #Constraints:      26959
1313.06/1316.71	c #Conflicts:     498000 | #Constraints:      27959
1313.06/1316.71	c #Conflicts:     499000 | #Constraints:      28959
1313.06/1316.71	c #Conflicts:     500000 | #Constraints:      29959
1313.06/1316.71	c #Conflicts:     501000 | #Constraints:      30959
1313.06/1316.71	c #Conflicts:     502000 | #Constraints:      31959
1313.06/1316.71	c INPROCESSING
1313.06/1316.71	c GARBAGE COLLECT
1313.06/1316.71	c #Conflicts:     503000 | #Constraints:      18959
1313.06/1316.71	c #Conflicts:     504000 | #Constraints:      19959
1313.06/1316.71	c #Conflicts:     505000 | #Constraints:      20959
1313.06/1316.71	c #Conflicts:     506000 | #Constraints:      21959
1313.06/1316.71	c #Conflicts:     507000 | #Constraints:      22959
1313.06/1316.71	c #Conflicts:     508000 | #Constraints:      23959
1313.06/1316.71	c #Conflicts:     509000 | #Constraints:      24959
1313.06/1316.71	c #Conflicts:     510000 | #Constraints:      25959
1313.06/1316.71	c #Conflicts:     511000 | #Constraints:      26959
1572.48/1576.83	c #Conflicts:     512000 | #Constraints:      27959
1572.48/1576.83	c #Conflicts:     513000 | #Constraints:      28959
1572.48/1576.83	c #Conflicts:     514000 | #Constraints:      29959
1572.48/1576.83	c #Conflicts:     515000 | #Constraints:      30959
1572.48/1576.83	c #Conflicts:     516000 | #Constraints:      31959
1572.48/1576.83	c INPROCESSING
1572.48/1576.83	c GARBAGE COLLECT
1572.48/1576.83	c #Conflicts:     517000 | #Constraints:      18749
1572.48/1576.83	c #Conflicts:     518000 | #Constraints:      19749
1572.48/1576.83	c #Conflicts:     519000 | #Constraints:      20749
1572.48/1576.83	c #Conflicts:     520000 | #Constraints:      21749
1572.48/1576.83	c #Conflicts:     521000 | #Constraints:      22749
1572.48/1576.83	c #Conflicts:     522000 | #Constraints:      23749
1572.48/1576.83	c #Conflicts:     523000 | #Constraints:      24749
1572.48/1576.83	c #Conflicts:     524000 | #Constraints:      25749
1572.48/1576.83	c #Conflicts:     525000 | #Constraints:      26749
1572.48/1576.83	c #Conflicts:     526000 | #Constraints:      27749
1572.48/1576.83	c #Conflicts:     527000 | #Constraints:      28749
1572.48/1576.83	c #Conflicts:     528000 | #Constraints:      29749
1572.48/1576.83	c #Conflicts:     529000 | #Constraints:      30749
1572.48/1576.83	c #Conflicts:     530000 | #Constraints:      31749
1572.48/1576.83	c #Conflicts:     531000 | #Constraints:      32749
1572.48/1576.83	c INPROCESSING
1572.48/1576.83	c GARBAGE COLLECT
1572.48/1576.83	c #Conflicts:     532000 | #Constraints:      19350
1572.48/1576.83	c #Conflicts:     533000 | #Constraints:      20350
1572.48/1576.83	c #Conflicts:     534000 | #Constraints:      21350
1572.48/1576.83	c #Conflicts:     535000 | #Constraints:      22350
1572.48/1576.83	c #Conflicts:     536000 | #Constraints:      23350
1572.48/1576.83	c #Conflicts:     537000 | #Constraints:      24350
1572.48/1576.83	c #Conflicts:     538000 | #Constraints:      25350
1572.48/1576.83	c #Conflicts:     539000 | #Constraints:      26350
1572.48/1576.83	c #Conflicts:     540000 | #Constraints:      27350
1572.48/1576.83	c #Conflicts:     541000 | #Constraints:      28350
1572.48/1576.83	c #Conflicts:     542000 | #Constraints:      29350
1572.48/1576.83	c #Conflicts:     543000 | #Constraints:      30350
1572.48/1576.83	c #Conflicts:     544000 | #Constraints:      31350
1572.48/1576.83	c #Conflicts:     545000 | #Constraints:      32350
1572.48/1576.83	c #Conflicts:     546000 | #Constraints:      33350
1572.48/1576.83	c INPROCESSING
1572.48/1576.83	c GARBAGE COLLECT
1572.48/1576.83	c #Conflicts:     547000 | #Constraints:      19749
1572.48/1576.83	c #Conflicts:     548000 | #Constraints:      20749
1572.48/1576.83	c #Conflicts:     549000 | #Constraints:      21749
1572.48/1576.83	c #Conflicts:     550000 | #Constraints:      22749
1572.48/1576.83	c #Conflicts:     551000 | #Constraints:      23749
1572.48/1576.83	c #Conflicts:     552000 | #Constraints:      24749
1572.48/1576.83	c #Conflicts:     553000 | #Constraints:      25749
1572.48/1576.83	c #Conflicts:     554000 | #Constraints:      26749
1572.48/1576.83	c #Conflicts:     555000 | #Constraints:      27749
1572.48/1576.83	c #Conflicts:     556000 | #Constraints:      28749
1572.48/1576.83	c #Conflicts:     557000 | #Constraints:      29749
1572.48/1576.83	c #Conflicts:     558000 | #Constraints:      30749
1572.48/1576.83	c #Conflicts:     559000 | #Constraints:      31749
1572.48/1576.83	c #Conflicts:     560000 | #Constraints:      32749
1572.48/1576.83	c #Conflicts:     561000 | #Constraints:      33749
1572.48/1576.83	c INPROCESSING
1572.48/1576.83	c GARBAGE COLLECT
1572.48/1576.83	c #Conflicts:     562000 | #Constraints:      19956
1572.48/1576.83	c #Conflicts:     563000 | #Constraints:      20956
1572.48/1576.83	c #Conflicts:     564000 | #Constraints:      21956
1572.48/1576.83	c #Conflicts:     565000 | #Constraints:      22956
1572.48/1576.83	c #Conflicts:     566000 | #Constraints:      23956
1572.48/1576.83	c #Conflicts:     567000 | #Constraints:      24956
1572.48/1576.83	c #Conflicts:     568000 | #Constraints:      25956
1572.48/1576.83	c #Conflicts:     569000 | #Constraints:      26956
1572.48/1576.83	c #Conflicts:     570000 | #Constraints:      27956
1572.48/1576.83	c #Conflicts:     571000 | #Constraints:      28956
1572.48/1576.83	c #Conflicts:     572000 | #Constraints:      29956
1572.48/1576.83	c #Conflicts:     573000 | #Constraints:      30956
1572.48/1576.83	c #Conflicts:     574000 | #Constraints:      31956
1572.48/1576.83	c #Conflicts:     575000 | #Constraints:      32956
1572.48/1576.83	c #Conflicts:     576000 | #Constraints:      33956
1572.48/1576.83	c INPROCESSING
1572.48/1576.83	c GARBAGE COLLECT
1572.48/1576.83	c #Conflicts:     577000 | #Constraints:      19956
1572.48/1576.83	c #Conflicts:     578000 | #Constraints:      20956
1572.48/1576.83	c #Conflicts:     579000 | #Constraints:      21956
1572.48/1576.83	c #Conflicts:     580000 | #Constraints:      22956
1572.48/1576.83	c #Conflicts:     581000 | #Constraints:      23956
1572.48/1576.83	c #Conflicts:     582000 | #Constraints:      24956
1572.48/1576.83	c #Conflicts:     583000 | #Constraints:      25956
1572.48/1576.83	c #Conflicts:     584000 | #Constraints:      26956
1572.48/1576.83	c #Conflicts:     585000 | #Constraints:      27956
1572.48/1576.83	c #Conflicts:     586000 | #Constraints:      28956
1817.16/1822.17	c #Conflicts:     587000 | #Constraints:      29956
1817.16/1822.17	c #Conflicts:     588000 | #Constraints:      30956
1817.16/1822.17	c #Conflicts:     589000 | #Constraints:      31956
1817.16/1822.17	c #Conflicts:     590000 | #Constraints:      32956
1817.16/1822.17	c #Conflicts:     591000 | #Constraints:      33956
1817.16/1822.17	c INPROCESSING
1817.16/1822.17	c GARBAGE COLLECT
1817.16/1822.17	c #Conflicts:     592000 | #Constraints:      19758
1817.16/1822.17	c #Conflicts:     593000 | #Constraints:      20758
1817.16/1822.17	c #Conflicts:     594000 | #Constraints:      21758
1817.16/1822.17	c #Conflicts:     595000 | #Constraints:      22758
1817.16/1822.17	c #Conflicts:     596000 | #Constraints:      23758
1817.16/1822.17	c #Conflicts:     597000 | #Constraints:      24758
1817.16/1822.17	c #Conflicts:     598000 | #Constraints:      25758
1817.16/1822.17	c #Conflicts:     599000 | #Constraints:      26758
1817.16/1822.17	c #Conflicts:     600000 | #Constraints:      27758
1817.16/1822.17	c #Conflicts:     601000 | #Constraints:      28758
1817.16/1822.17	c #Conflicts:     602000 | #Constraints:      29758
1817.16/1822.17	c #Conflicts:     603000 | #Constraints:      30758
1817.16/1822.17	c #Conflicts:     604000 | #Constraints:      31758
1817.16/1822.17	c #Conflicts:     605000 | #Constraints:      32758
1817.16/1822.17	c #Conflicts:     606000 | #Constraints:      33758
1817.16/1822.17	c #Conflicts:     607000 | #Constraints:      34758
1817.16/1822.17	c INPROCESSING
1817.16/1822.17	c GARBAGE COLLECT
1817.16/1822.17	c #Conflicts:     608000 | #Constraints:      20355
1817.16/1822.17	c #Conflicts:     609000 | #Constraints:      21355
1817.16/1822.17	c #Conflicts:     610000 | #Constraints:      22355
1817.16/1822.17	c #Conflicts:     611000 | #Constraints:      23355
1817.16/1822.17	c #Conflicts:     612000 | #Constraints:      24355
1817.16/1822.17	c #Conflicts:     613000 | #Constraints:      25355
1817.16/1822.17	c #Conflicts:     614000 | #Constraints:      26355
1817.16/1822.17	c #Conflicts:     615000 | #Constraints:      27355
1817.16/1822.17	c #Conflicts:     616000 | #Constraints:      28355
1817.16/1822.17	c #Conflicts:     617000 | #Constraints:      29355
1817.16/1822.17	c #Conflicts:     618000 | #Constraints:      30355
1817.16/1822.17	c #Conflicts:     619000 | #Constraints:      31355
1817.16/1822.17	c #Conflicts:     620000 | #Constraints:      32355
1817.16/1822.17	c #Conflicts:     621000 | #Constraints:      33355
1817.16/1822.17	c #Conflicts:     622000 | #Constraints:      34355
1817.16/1822.17	c #Conflicts:     623000 | #Constraints:      35355
1817.16/1822.17	c INPROCESSING
1817.16/1822.17	c GARBAGE COLLECT
1817.16/1822.17	c #Conflicts:     624000 | #Constraints:      20760
1817.16/1822.17	c #Conflicts:     625000 | #Constraints:      21760
1817.16/1822.17	c #Conflicts:     626000 | #Constraints:      22760
1817.16/1822.17	c #Conflicts:     627000 | #Constraints:      23760
1817.16/1822.17	c #Conflicts:     628000 | #Constraints:      24760
1817.16/1822.17	c #Conflicts:     629000 | #Constraints:      25760
1817.16/1822.17	c #Conflicts:     630000 | #Constraints:      26760
1817.16/1822.17	c #Conflicts:     631000 | #Constraints:      27760
1817.16/1822.17	c #Conflicts:     632000 | #Constraints:      28760
1817.16/1822.17	c #Conflicts:     633000 | #Constraints:      29760
1817.16/1822.17	c #Conflicts:     634000 | #Constraints:      30760
1817.16/1822.17	c #Conflicts:     635000 | #Constraints:      31760
1817.16/1822.17	c #Conflicts:     636000 | #Constraints:      32760
1817.16/1822.17	c #Conflicts:     637000 | #Constraints:      33760
1817.16/1822.17	c #Conflicts:     638000 | #Constraints:      34760
1817.16/1822.17	c #Conflicts:     639000 | #Constraints:      35760
1817.16/1822.17	c INPROCESSING
1817.16/1822.17	c GARBAGE COLLECT
1817.16/1822.17	c #Conflicts:     640000 | #Constraints:      20964
1817.16/1822.17	c #Conflicts:     641000 | #Constraints:      21964
1817.16/1822.17	c #Conflicts:     642000 | #Constraints:      22964
1817.16/1822.17	c #Conflicts:     643000 | #Constraints:      23964
1817.16/1822.17	c #Conflicts:     644000 | #Constraints:      24964
1817.16/1822.17	c #Conflicts:     645000 | #Constraints:      25964
1817.16/1822.17	c #Conflicts:     646000 | #Constraints:      26964
1817.16/1822.17	c #Conflicts:     647000 | #Constraints:      27964
1817.16/1822.17	c #Conflicts:     648000 | #Constraints:      28964
1817.16/1822.17	c #Conflicts:     649000 | #Constraints:      29964
1817.16/1822.17	c #Conflicts:     650000 | #Constraints:      30964
1817.16/1822.17	c #Conflicts:     651000 | #Constraints:      31964
1817.16/1822.17	c #Conflicts:     652000 | #Constraints:      32964
1817.16/1822.17	c #Conflicts:     653000 | #Constraints:      33964
1817.16/1822.17	c #Conflicts:     654000 | #Constraints:      34964
1817.16/1822.17	c #Conflicts:     655000 | #Constraints:      35964
1817.16/1822.17	c INPROCESSING
1817.16/1822.17	c GARBAGE COLLECT
1817.16/1822.17	c #Conflicts:     656000 | #Constraints:      20955
1817.16/1822.17	c #Conflicts:     657000 | #Constraints:      21955
1817.16/1822.17	c #Conflicts:     658000 | #Constraints:      22955
1817.16/1822.17	c #Conflicts:     659000 | #Constraints:      23955
1817.16/1822.17	c #Conflicts:     660000 | #Constraints:      24955
1817.16/1822.17	c #Conflicts:     661000 | #Constraints:      25955
1817.16/1822.17	c #Conflicts:     662000 | #Constraints:      26955
2057.75/2063.36	c #Conflicts:     663000 | #Constraints:      27955
2057.75/2063.36	c #Conflicts:     664000 | #Constraints:      28955
2057.75/2063.36	c #Conflicts:     665000 | #Constraints:      29955
2057.75/2063.36	c #Conflicts:     666000 | #Constraints:      30955
2057.75/2063.36	c #Conflicts:     667000 | #Constraints:      31955
2057.75/2063.36	c #Conflicts:     668000 | #Constraints:      32955
2057.75/2063.36	c #Conflicts:     669000 | #Constraints:      33955
2057.75/2063.36	c #Conflicts:     670000 | #Constraints:      34955
2057.75/2063.36	c #Conflicts:     671000 | #Constraints:      35955
2057.75/2063.36	c INPROCESSING
2057.75/2063.36	c GARBAGE COLLECT
2057.75/2063.36	c #Conflicts:     672000 | #Constraints:      20748
2057.75/2063.36	c #Conflicts:     673000 | #Constraints:      21748
2057.75/2063.36	c #Conflicts:     674000 | #Constraints:      22748
2057.75/2063.36	c #Conflicts:     675000 | #Constraints:      23748
2057.75/2063.36	c #Conflicts:     676000 | #Constraints:      24748
2057.75/2063.36	c #Conflicts:     677000 | #Constraints:      25748
2057.75/2063.36	c #Conflicts:     678000 | #Constraints:      26748
2057.75/2063.36	c #Conflicts:     679000 | #Constraints:      27748
2057.75/2063.36	c #Conflicts:     680000 | #Constraints:      28748
2057.75/2063.36	c #Conflicts:     681000 | #Constraints:      29748
2057.75/2063.36	c #Conflicts:     682000 | #Constraints:      30748
2057.75/2063.36	c #Conflicts:     683000 | #Constraints:      31748
2057.75/2063.36	c #Conflicts:     684000 | #Constraints:      32748
2057.75/2063.36	c #Conflicts:     685000 | #Constraints:      33748
2057.75/2063.36	c #Conflicts:     686000 | #Constraints:      34748
2057.75/2063.36	c #Conflicts:     687000 | #Constraints:      35748
2057.75/2063.36	c #Conflicts:     688000 | #Constraints:      36748
2057.75/2063.36	c INPROCESSING
2057.75/2063.36	c GARBAGE COLLECT
2057.75/2063.36	c #Conflicts:     689000 | #Constraints:      21342
2057.75/2063.36	c #Conflicts:     690000 | #Constraints:      22342
2057.75/2063.36	c #Conflicts:     691000 | #Constraints:      23342
2057.75/2063.36	c #Conflicts:     692000 | #Constraints:      24342
2057.75/2063.36	c #Conflicts:     693000 | #Constraints:      25342
2057.75/2063.36	c #Conflicts:     694000 | #Constraints:      26342
2057.75/2063.36	c #Conflicts:     695000 | #Constraints:      27342
2057.75/2063.36	c #Conflicts:     696000 | #Constraints:      28342
2057.75/2063.36	c #Conflicts:     697000 | #Constraints:      29342
2057.75/2063.36	c #Conflicts:     698000 | #Constraints:      30342
2057.75/2063.36	c #Conflicts:     699000 | #Constraints:      31342
2057.75/2063.36	c #Conflicts:     700000 | #Constraints:      32342
2057.75/2063.36	c #Conflicts:     701000 | #Constraints:      33342
2057.75/2063.36	c #Conflicts:     702000 | #Constraints:      34342
2057.75/2063.36	c #Conflicts:     703000 | #Constraints:      35342
2057.75/2063.36	c #Conflicts:     704000 | #Constraints:      36342
2057.75/2063.36	c #Conflicts:     705000 | #Constraints:      37342
2057.75/2063.36	c INPROCESSING
2057.75/2063.36	c GARBAGE COLLECT
2057.75/2063.36	c #Conflicts:     706000 | #Constraints:      21750
2057.75/2063.36	c #Conflicts:     707000 | #Constraints:      22750
2057.75/2063.36	c #Conflicts:     708000 | #Constraints:      23750
2057.75/2063.36	c #Conflicts:     709000 | #Constraints:      24750
2057.75/2063.36	c #Conflicts:     710000 | #Constraints:      25750
2057.75/2063.36	c #Conflicts:     711000 | #Constraints:      26750
2057.75/2063.36	c #Conflicts:     712000 | #Constraints:      27750
2057.75/2063.36	c #Conflicts:     713000 | #Constraints:      28750
2057.75/2063.36	c #Conflicts:     714000 | #Constraints:      29750
2057.75/2063.36	c #Conflicts:     715000 | #Constraints:      30750
2057.75/2063.36	c #Conflicts:     716000 | #Constraints:      31750
2057.75/2063.36	c #Conflicts:     717000 | #Constraints:      32750
2057.75/2063.36	c #Conflicts:     718000 | #Constraints:      33750
2057.75/2063.36	c #Conflicts:     719000 | #Constraints:      34750
2057.75/2063.36	c #Conflicts:     720000 | #Constraints:      35750
2057.75/2063.36	c #Conflicts:     721000 | #Constraints:      36750
2057.75/2063.36	c #Conflicts:     722000 | #Constraints:      37750
2057.75/2063.36	c INPROCESSING
2057.75/2063.36	c GARBAGE COLLECT
2057.75/2063.36	c #Conflicts:     723000 | #Constraints:      21950
2057.75/2063.36	c #Conflicts:     724000 | #Constraints:      22950
2057.75/2063.36	c #Conflicts:     725000 | #Constraints:      23950
2057.75/2063.36	c #Conflicts:     726000 | #Constraints:      24950
2057.75/2063.36	c #Conflicts:     727000 | #Constraints:      25950
2057.75/2063.36	c #Conflicts:     728000 | #Constraints:      26950
2057.75/2063.36	c #Conflicts:     729000 | #Constraints:      27950
2057.75/2063.36	c #Conflicts:     730000 | #Constraints:      28950
2057.75/2063.36	c #Conflicts:     731000 | #Constraints:      29950
2057.75/2063.36	c #Conflicts:     732000 | #Constraints:      30950
2057.75/2063.36	c #Conflicts:     733000 | #Constraints:      31950
2057.75/2063.36	c #Conflicts:     734000 | #Constraints:      32950
2057.75/2063.36	c #Conflicts:     735000 | #Constraints:      33950
2057.75/2063.36	c #Conflicts:     736000 | #Constraints:      34950
2057.75/2063.36	c #Conflicts:     737000 | #Constraints:      35950
2057.75/2063.36	c #Conflicts:     738000 | #Constraints:      36950
2306.44/2312.68	c #Conflicts:     739000 | #Constraints:      37950
2306.44/2312.68	c INPROCESSING
2306.44/2312.68	c GARBAGE COLLECT
2306.44/2312.68	c #Conflicts:     740000 | #Constraints:      21956
2306.44/2312.68	c #Conflicts:     741000 | #Constraints:      22956
2306.44/2312.68	c #Conflicts:     742000 | #Constraints:      23956
2306.44/2312.68	c #Conflicts:     743000 | #Constraints:      24956
2306.44/2312.68	c #Conflicts:     744000 | #Constraints:      25956
2306.44/2312.68	c #Conflicts:     745000 | #Constraints:      26956
2306.44/2312.68	c #Conflicts:     746000 | #Constraints:      27956
2306.44/2312.68	c #Conflicts:     747000 | #Constraints:      28956
2306.44/2312.68	c #Conflicts:     748000 | #Constraints:      29956
2306.44/2312.68	c #Conflicts:     749000 | #Constraints:      30956
2306.44/2312.68	c #Conflicts:     750000 | #Constraints:      31956
2306.44/2312.68	c #Conflicts:     751000 | #Constraints:      32956
2306.44/2312.68	c #Conflicts:     752000 | #Constraints:      33956
2306.44/2312.68	c #Conflicts:     753000 | #Constraints:      34956
2306.44/2312.68	c #Conflicts:     754000 | #Constraints:      35956
2306.44/2312.68	c #Conflicts:     755000 | #Constraints:      36956
2306.44/2312.68	c #Conflicts:     756000 | #Constraints:      37956
2306.44/2312.68	c INPROCESSING
2306.44/2312.68	c GARBAGE COLLECT
2306.44/2312.68	c #Conflicts:     757000 | #Constraints:      21765
2306.44/2312.68	c #Conflicts:     758000 | #Constraints:      22765
2306.44/2312.68	c #Conflicts:     759000 | #Constraints:      23765
2306.44/2312.68	c #Conflicts:     760000 | #Constraints:      24765
2306.44/2312.68	c #Conflicts:     761000 | #Constraints:      25765
2306.44/2312.68	c #Conflicts:     762000 | #Constraints:      26765
2306.44/2312.68	c #Conflicts:     763000 | #Constraints:      27765
2306.44/2312.68	c #Conflicts:     764000 | #Constraints:      28765
2306.44/2312.68	c #Conflicts:     765000 | #Constraints:      29765
2306.44/2312.68	c #Conflicts:     766000 | #Constraints:      30765
2306.44/2312.68	c #Conflicts:     767000 | #Constraints:      31765
2306.44/2312.68	c #Conflicts:     768000 | #Constraints:      32765
2306.44/2312.68	c #Conflicts:     769000 | #Constraints:      33765
2306.44/2312.68	c #Conflicts:     770000 | #Constraints:      34765
2306.44/2312.68	c #Conflicts:     771000 | #Constraints:      35765
2306.44/2312.68	c #Conflicts:     772000 | #Constraints:      36765
2306.44/2312.68	c #Conflicts:     773000 | #Constraints:      37765
2306.44/2312.68	c #Conflicts:     774000 | #Constraints:      38765
2306.44/2312.68	c INPROCESSING
2306.44/2312.68	c GARBAGE COLLECT
2306.44/2312.68	c #Conflicts:     775000 | #Constraints:      22367
2306.44/2312.68	c #Conflicts:     776000 | #Constraints:      23367
2306.44/2312.68	c #Conflicts:     777000 | #Constraints:      24367
2306.44/2312.68	c #Conflicts:     778000 | #Constraints:      25367
2306.44/2312.68	c #Conflicts:     779000 | #Constraints:      26367
2306.44/2312.68	c #Conflicts:     780000 | #Constraints:      27367
2306.44/2312.68	c #Conflicts:     781000 | #Constraints:      28367
2306.44/2312.68	c #Conflicts:     782000 | #Constraints:      29367
2306.44/2312.68	c #Conflicts:     783000 | #Constraints:      30367
2306.44/2312.68	c #Conflicts:     784000 | #Constraints:      31367
2306.44/2312.68	c #Conflicts:     785000 | #Constraints:      32367
2306.44/2312.68	c #Conflicts:     786000 | #Constraints:      33367
2306.44/2312.68	c #Conflicts:     787000 | #Constraints:      34367
2306.44/2312.68	c #Conflicts:     788000 | #Constraints:      35367
2306.44/2312.68	c #Conflicts:     789000 | #Constraints:      36367
2306.44/2312.68	c #Conflicts:     790000 | #Constraints:      37367
2306.44/2312.68	c #Conflicts:     791000 | #Constraints:      38367
2306.44/2312.68	c #Conflicts:     792000 | #Constraints:      39367
2306.44/2312.68	c INPROCESSING
2306.44/2312.68	c GARBAGE COLLECT
2306.44/2312.68	c #Conflicts:     793000 | #Constraints:      22761
2306.44/2312.68	c #Conflicts:     794000 | #Constraints:      23761
2306.44/2312.68	c #Conflicts:     795000 | #Constraints:      24761
2306.44/2312.68	c #Conflicts:     796000 | #Constraints:      25761
2306.44/2312.68	c #Conflicts:     797000 | #Constraints:      26761
2306.44/2312.68	c #Conflicts:     798000 | #Constraints:      27761
2306.44/2312.68	c #Conflicts:     799000 | #Constraints:      28761
2306.44/2312.68	c #Conflicts:     800000 | #Constraints:      29761
2306.44/2312.68	c #Conflicts:     801000 | #Constraints:      30761
2306.44/2312.68	c #Conflicts:     802000 | #Constraints:      31761
2306.44/2312.68	c #Conflicts:     803000 | #Constraints:      32761
2306.44/2312.68	c #Conflicts:     804000 | #Constraints:      33761
2306.44/2312.68	c #Conflicts:     805000 | #Constraints:      34761
2306.44/2312.68	c #Conflicts:     806000 | #Constraints:      35761
2306.44/2312.68	c #Conflicts:     807000 | #Constraints:      36761
2306.44/2312.68	c #Conflicts:     808000 | #Constraints:      37761
2306.44/2312.68	c #Conflicts:     809000 | #Constraints:      38761
2306.44/2312.68	c #Conflicts:     810000 | #Constraints:      39761
2306.44/2312.68	c INPROCESSING
2306.44/2312.68	c GARBAGE COLLECT
2306.44/2312.68	c #Conflicts:     811000 | #Constraints:      22958
2306.44/2312.68	c #Conflicts:     812000 | #Constraints:      23958
2306.44/2312.68	c #Conflicts:     813000 | #Constraints:      24958
2306.44/2312.68	c #Conflicts:     814000 | #Constraints:      25958
2568.30/2575.20	c #Conflicts:     815000 | #Constraints:      26958
2568.30/2575.20	c #Conflicts:     816000 | #Constraints:      27958
2568.30/2575.20	c #Conflicts:     817000 | #Constraints:      28958
2568.30/2575.20	c #Conflicts:     818000 | #Constraints:      29958
2568.30/2575.20	c #Conflicts:     819000 | #Constraints:      30958
2568.30/2575.20	c #Conflicts:     820000 | #Constraints:      31958
2568.30/2575.20	c #Conflicts:     821000 | #Constraints:      32958
2568.30/2575.20	c #Conflicts:     822000 | #Constraints:      33958
2568.30/2575.20	c #Conflicts:     823000 | #Constraints:      34958
2568.30/2575.20	c #Conflicts:     824000 | #Constraints:      35958
2568.30/2575.20	c #Conflicts:     825000 | #Constraints:      36958
2568.30/2575.20	c #Conflicts:     826000 | #Constraints:      37958
2568.30/2575.20	c #Conflicts:     827000 | #Constraints:      38958
2568.30/2575.20	c #Conflicts:     828000 | #Constraints:      39958
2568.30/2575.20	c INPROCESSING
2568.30/2575.20	c GARBAGE COLLECT
2568.30/2575.20	c #Conflicts:     829000 | #Constraints:      22961
2568.30/2575.20	c #Conflicts:     830000 | #Constraints:      23961
2568.30/2575.20	c #Conflicts:     831000 | #Constraints:      24961
2568.30/2575.20	c #Conflicts:     832000 | #Constraints:      25961
2568.30/2575.20	c #Conflicts:     833000 | #Constraints:      26961
2568.30/2575.20	c #Conflicts:     834000 | #Constraints:      27961
2568.30/2575.20	c #Conflicts:     835000 | #Constraints:      28961
2568.30/2575.20	c #Conflicts:     836000 | #Constraints:      29961
2568.30/2575.20	c #Conflicts:     837000 | #Constraints:      30961
2568.30/2575.20	c #Conflicts:     838000 | #Constraints:      31961
2568.30/2575.20	c #Conflicts:     839000 | #Constraints:      32961
2568.30/2575.20	c #Conflicts:     840000 | #Constraints:      33961
2568.30/2575.20	c #Conflicts:     841000 | #Constraints:      34961
2568.30/2575.20	c #Conflicts:     842000 | #Constraints:      35961
2568.30/2575.20	c #Conflicts:     843000 | #Constraints:      36961
2568.30/2575.20	c #Conflicts:     844000 | #Constraints:      37961
2568.30/2575.20	c #Conflicts:     845000 | #Constraints:      38961
2568.30/2575.20	c #Conflicts:     846000 | #Constraints:      39961
2568.30/2575.20	c INPROCESSING
2568.30/2575.20	c GARBAGE COLLECT
2568.30/2575.20	c #Conflicts:     847000 | #Constraints:      22760
2568.30/2575.20	c #Conflicts:     848000 | #Constraints:      23760
2568.30/2575.20	c #Conflicts:     849000 | #Constraints:      24760
2568.30/2575.20	c #Conflicts:     850000 | #Constraints:      25760
2568.30/2575.20	c #Conflicts:     851000 | #Constraints:      26760
2568.30/2575.20	c #Conflicts:     852000 | #Constraints:      27760
2568.30/2575.20	c #Conflicts:     853000 | #Constraints:      28760
2568.30/2575.20	c #Conflicts:     854000 | #Constraints:      29760
2568.30/2575.20	c #Conflicts:     855000 | #Constraints:      30760
2568.30/2575.20	c #Conflicts:     856000 | #Constraints:      31760
2568.30/2575.20	c #Conflicts:     857000 | #Constraints:      32760
2568.30/2575.20	c #Conflicts:     858000 | #Constraints:      33760
2568.30/2575.20	c #Conflicts:     859000 | #Constraints:      34760
2568.30/2575.20	c #Conflicts:     860000 | #Constraints:      35760
2568.30/2575.20	c #Conflicts:     861000 | #Constraints:      36760
2568.30/2575.20	c #Conflicts:     862000 | #Constraints:      37760
2568.30/2575.20	c #Conflicts:     863000 | #Constraints:      38760
2568.30/2575.20	c #Conflicts:     864000 | #Constraints:      39760
2568.30/2575.20	c #Conflicts:     865000 | #Constraints:      40760
2568.30/2575.20	c INPROCESSING
2568.30/2575.20	c GARBAGE COLLECT
2568.30/2575.20	c #Conflicts:     866000 | #Constraints:      23364
2568.30/2575.20	c #Conflicts:     867000 | #Constraints:      24364
2568.30/2575.20	c #Conflicts:     868000 | #Constraints:      25364
2568.30/2575.20	c #Conflicts:     869000 | #Constraints:      26364
2568.30/2575.20	c #Conflicts:     870000 | #Constraints:      27364
2568.30/2575.20	c #Conflicts:     871000 | #Constraints:      28364
2568.30/2575.20	c #Conflicts:     872000 | #Constraints:      29364
2568.30/2575.20	c #Conflicts:     873000 | #Constraints:      30364
2568.30/2575.20	c #Conflicts:     874000 | #Constraints:      31364
2568.30/2575.20	c #Conflicts:     875000 | #Constraints:      32364
2568.30/2575.20	c #Conflicts:     876000 | #Constraints:      33364
2568.30/2575.20	c #Conflicts:     877000 | #Constraints:      34364
2568.30/2575.20	c #Conflicts:     878000 | #Constraints:      35364
2568.30/2575.20	c #Conflicts:     879000 | #Constraints:      36364
2568.30/2575.20	c #Conflicts:     880000 | #Constraints:      37364
2568.30/2575.20	c #Conflicts:     881000 | #Constraints:      38364
2568.30/2575.20	c #Conflicts:     882000 | #Constraints:      39364
2568.30/2575.20	c #Conflicts:     883000 | #Constraints:      40364
2568.30/2575.20	c #Conflicts:     884000 | #Constraints:      41364
2568.30/2575.20	c INPROCESSING
2568.30/2575.20	c GARBAGE COLLECT
2568.30/2575.20	c #Conflicts:     885000 | #Constraints:      23765
2568.30/2575.20	c #Conflicts:     886000 | #Constraints:      24765
2568.30/2575.20	c #Conflicts:     887000 | #Constraints:      25765
2568.30/2575.20	c #Conflicts:     888000 | #Constraints:      26765
2568.30/2575.20	c #Conflicts:     889000 | #Constraints:      27765
2568.30/2575.20	c #Conflicts:     890000 | #Constraints:      28765
2835.19/2842.95	c #Conflicts:     891000 | #Constraints:      29765
2835.19/2842.95	c #Conflicts:     892000 | #Constraints:      30765
2835.19/2842.95	c #Conflicts:     893000 | #Constraints:      31765
2835.19/2842.95	c #Conflicts:     894000 | #Constraints:      32765
2835.19/2842.95	c #Conflicts:     895000 | #Constraints:      33765
2835.19/2842.95	c #Conflicts:     896000 | #Constraints:      34765
2835.19/2842.95	c #Conflicts:     897000 | #Constraints:      35765
2835.19/2842.95	c #Conflicts:     898000 | #Constraints:      36765
2835.19/2842.95	c #Conflicts:     899000 | #Constraints:      37765
2835.19/2842.95	c #Conflicts:     900000 | #Constraints:      38765
2835.19/2842.95	c #Conflicts:     901000 | #Constraints:      39765
2835.19/2842.95	c #Conflicts:     902000 | #Constraints:      40765
2835.19/2842.95	c #Conflicts:     903000 | #Constraints:      41765
2835.19/2842.95	c INPROCESSING
2835.19/2842.95	c GARBAGE COLLECT
2835.19/2842.95	c #Conflicts:     904000 | #Constraints:      23969
2835.19/2842.95	c #Conflicts:     905000 | #Constraints:      24969
2835.19/2842.95	c #Conflicts:     906000 | #Constraints:      25969
2835.19/2842.95	c #Conflicts:     907000 | #Constraints:      26969
2835.19/2842.95	c #Conflicts:     908000 | #Constraints:      27969
2835.19/2842.95	c #Conflicts:     909000 | #Constraints:      28969
2835.19/2842.95	c #Conflicts:     910000 | #Constraints:      29969
2835.19/2842.95	c #Conflicts:     911000 | #Constraints:      30969
2835.19/2842.95	c #Conflicts:     912000 | #Constraints:      31969
2835.19/2842.95	c #Conflicts:     913000 | #Constraints:      32969
2835.19/2842.95	c #Conflicts:     914000 | #Constraints:      33969
2835.19/2842.95	c #Conflicts:     915000 | #Constraints:      34969
2835.19/2842.95	c #Conflicts:     916000 | #Constraints:      35969
2835.19/2842.95	c #Conflicts:     917000 | #Constraints:      36969
2835.19/2842.95	c #Conflicts:     918000 | #Constraints:      37969
2835.19/2842.95	c #Conflicts:     919000 | #Constraints:      38969
2835.19/2842.95	c #Conflicts:     920000 | #Constraints:      39969
2835.19/2842.95	c #Conflicts:     921000 | #Constraints:      40969
2835.19/2842.95	c #Conflicts:     922000 | #Constraints:      41969
2835.19/2842.95	c INPROCESSING
2835.19/2842.95	c GARBAGE COLLECT
2835.19/2842.95	c #Conflicts:     923000 | #Constraints:      23966
2835.19/2842.95	c #Conflicts:     924000 | #Constraints:      24966
2835.19/2842.95	c #Conflicts:     925000 | #Constraints:      25966
2835.19/2842.95	c #Conflicts:     926000 | #Constraints:      26966
2835.19/2842.95	c #Conflicts:     927000 | #Constraints:      27966
2835.19/2842.95	c #Conflicts:     928000 | #Constraints:      28966
2835.19/2842.95	c #Conflicts:     929000 | #Constraints:      29966
2835.19/2842.95	c #Conflicts:     930000 | #Constraints:      30966
2835.19/2842.95	c #Conflicts:     931000 | #Constraints:      31966
2835.19/2842.95	c #Conflicts:     932000 | #Constraints:      32966
2835.19/2842.95	c #Conflicts:     933000 | #Constraints:      33966
2835.19/2842.95	c #Conflicts:     934000 | #Constraints:      34966
2835.19/2842.95	c #Conflicts:     935000 | #Constraints:      35966
2835.19/2842.95	c #Conflicts:     936000 | #Constraints:      36966
2835.19/2842.95	c #Conflicts:     937000 | #Constraints:      37966
2835.19/2842.95	c #Conflicts:     938000 | #Constraints:      38966
2835.19/2842.95	c #Conflicts:     939000 | #Constraints:      39966
2835.19/2842.95	c #Conflicts:     940000 | #Constraints:      40966
2835.19/2842.95	c #Conflicts:     941000 | #Constraints:      41966
2835.19/2842.95	c INPROCESSING
2835.19/2842.95	c GARBAGE COLLECT
2835.19/2842.95	c #Conflicts:     942000 | #Constraints:      23761
2835.19/2842.95	c #Conflicts:     943000 | #Constraints:      24761
2835.19/2842.95	c #Conflicts:     944000 | #Constraints:      25761
2835.19/2842.95	c #Conflicts:     945000 | #Constraints:      26761
2835.19/2842.95	c #Conflicts:     946000 | #Constraints:      27761
2835.19/2842.95	c #Conflicts:     947000 | #Constraints:      28761
2835.19/2842.95	c #Conflicts:     948000 | #Constraints:      29761
2835.19/2842.95	c #Conflicts:     949000 | #Constraints:      30761
2835.19/2842.95	c #Conflicts:     950000 | #Constraints:      31761
2835.19/2842.95	c #Conflicts:     951000 | #Constraints:      32761
2835.19/2842.95	c #Conflicts:     952000 | #Constraints:      33761
2835.19/2842.95	c #Conflicts:     953000 | #Constraints:      34761
2835.19/2842.95	c #Conflicts:     954000 | #Constraints:      35761
2835.19/2842.95	c #Conflicts:     955000 | #Constraints:      36761
2835.19/2842.95	c #Conflicts:     956000 | #Constraints:      37761
2835.19/2842.95	c #Conflicts:     957000 | #Constraints:      38761
2835.19/2842.95	c #Conflicts:     958000 | #Constraints:      39761
2835.19/2842.95	c #Conflicts:     959000 | #Constraints:      40761
2835.19/2842.95	c #Conflicts:     960000 | #Constraints:      41761
2835.19/2842.95	c #Conflicts:     961000 | #Constraints:      42761
2835.19/2842.95	c INPROCESSING
2835.19/2842.95	c GARBAGE COLLECT
2835.19/2842.95	c #Conflicts:     962000 | #Constraints:      24365
2835.19/2842.95	c #Conflicts:     963000 | #Constraints:      25365
2835.19/2842.95	c #Conflicts:     964000 | #Constraints:      26365
2835.19/2842.95	c #Conflicts:     965000 | #Constraints:      27365
2835.19/2842.95	c #Conflicts:     966000 | #Constraints:      28365
3097.61/3106.13	c #Conflicts:     967000 | #Constraints:      29365
3097.61/3106.13	c #Conflicts:     968000 | #Constraints:      30365
3097.61/3106.13	c #Conflicts:     969000 | #Constraints:      31365
3097.61/3106.13	c #Conflicts:     970000 | #Constraints:      32365
3097.61/3106.13	c #Conflicts:     971000 | #Constraints:      33365
3097.61/3106.13	c #Conflicts:     972000 | #Constraints:      34365
3097.61/3106.13	c #Conflicts:     973000 | #Constraints:      35365
3097.61/3106.13	c #Conflicts:     974000 | #Constraints:      36365
3097.61/3106.13	c #Conflicts:     975000 | #Constraints:      37365
3097.61/3106.13	c #Conflicts:     976000 | #Constraints:      38365
3097.61/3106.13	c #Conflicts:     977000 | #Constraints:      39365
3097.61/3106.13	c #Conflicts:     978000 | #Constraints:      40365
3097.61/3106.13	c #Conflicts:     979000 | #Constraints:      41365
3097.61/3106.13	c #Conflicts:     980000 | #Constraints:      42365
3097.61/3106.13	c #Conflicts:     981000 | #Constraints:      43365
3097.61/3106.13	c INPROCESSING
3097.61/3106.13	c GARBAGE COLLECT
3097.61/3106.13	c #Conflicts:     982000 | #Constraints:      24765
3097.61/3106.13	c #Conflicts:     983000 | #Constraints:      25765
3097.61/3106.13	c #Conflicts:     984000 | #Constraints:      26765
3097.61/3106.13	c #Conflicts:     985000 | #Constraints:      27765
3097.61/3106.13	c #Conflicts:     986000 | #Constraints:      28765
3097.61/3106.13	c #Conflicts:     987000 | #Constraints:      29765
3097.61/3106.13	c #Conflicts:     988000 | #Constraints:      30765
3097.61/3106.13	c #Conflicts:     989000 | #Constraints:      31765
3097.61/3106.13	c #Conflicts:     990000 | #Constraints:      32765
3097.61/3106.13	c #Conflicts:     991000 | #Constraints:      33765
3097.61/3106.13	c #Conflicts:     992000 | #Constraints:      34765
3097.61/3106.13	c #Conflicts:     993000 | #Constraints:      35765
3097.61/3106.13	c #Conflicts:     994000 | #Constraints:      36765
3097.61/3106.13	c #Conflicts:     995000 | #Constraints:      37765
3097.61/3106.13	c #Conflicts:     996000 | #Constraints:      38765
3097.61/3106.13	c #Conflicts:     997000 | #Constraints:      39765
3097.61/3106.13	c #Conflicts:     998000 | #Constraints:      40765
3097.61/3106.13	c #Conflicts:     999000 | #Constraints:      41765
3097.61/3106.13	c #Conflicts:    1000000 | #Constraints:      42765
3097.61/3106.13	c #Conflicts:    1001000 | #Constraints:      43765
3097.61/3106.13	c INPROCESSING
3097.61/3106.13	c GARBAGE COLLECT
3097.61/3106.13	c #Conflicts:    1002000 | #Constraints:      24968
3097.61/3106.13	c #Conflicts:    1003000 | #Constraints:      25968
3097.61/3106.13	c #Conflicts:    1004000 | #Constraints:      26968
3097.61/3106.13	c #Conflicts:    1005000 | #Constraints:      27968
3097.61/3106.13	c #Conflicts:    1006000 | #Constraints:      28968
3097.61/3106.13	c #Conflicts:    1007000 | #Constraints:      29968
3097.61/3106.13	c #Conflicts:    1008000 | #Constraints:      30968
3097.61/3106.13	c #Conflicts:    1009000 | #Constraints:      31968
3097.61/3106.13	c #Conflicts:    1010000 | #Constraints:      32968
3097.61/3106.13	c #Conflicts:    1011000 | #Constraints:      33968
3097.61/3106.13	c #Conflicts:    1012000 | #Constraints:      34968
3097.61/3106.13	c #Conflicts:    1013000 | #Constraints:      35968
3097.61/3106.13	c #Conflicts:    1014000 | #Constraints:      36968
3097.61/3106.13	c #Conflicts:    1015000 | #Constraints:      37968
3097.61/3106.13	c #Conflicts:    1016000 | #Constraints:      38968
3097.61/3106.13	c #Conflicts:    1017000 | #Constraints:      39968
3097.61/3106.13	c #Conflicts:    1018000 | #Constraints:      40968
3097.61/3106.13	c #Conflicts:    1019000 | #Constraints:      41968
3097.61/3106.13	c #Conflicts:    1020000 | #Constraints:      42968
3097.61/3106.13	c #Conflicts:    1021000 | #Constraints:      43968
3097.61/3106.13	c INPROCESSING
3097.61/3106.13	c GARBAGE COLLECT
3097.61/3106.13	c #Conflicts:    1022000 | #Constraints:      24974
3097.61/3106.13	c #Conflicts:    1023000 | #Constraints:      25974
3097.61/3106.13	c #Conflicts:    1024000 | #Constraints:      26974
3097.61/3106.13	c #Conflicts:    1025000 | #Constraints:      27974
3097.61/3106.13	c #Conflicts:    1026000 | #Constraints:      28974
3097.61/3106.13	c #Conflicts:    1027000 | #Constraints:      29974
3097.61/3106.13	c #Conflicts:    1028000 | #Constraints:      30974
3097.61/3106.13	c #Conflicts:    1029000 | #Constraints:      31974
3097.61/3106.13	c #Conflicts:    1030000 | #Constraints:      32974
3097.61/3106.13	c #Conflicts:    1031000 | #Constraints:      33974
3097.61/3106.13	c #Conflicts:    1032000 | #Constraints:      34974
3097.61/3106.13	c #Conflicts:    1033000 | #Constraints:      35974
3097.61/3106.13	c #Conflicts:    1034000 | #Constraints:      36974
3097.61/3106.13	c #Conflicts:    1035000 | #Constraints:      37974
3097.61/3106.13	c #Conflicts:    1036000 | #Constraints:      38974
3097.61/3106.13	c #Conflicts:    1037000 | #Constraints:      39974
3097.61/3106.13	c #Conflicts:    1038000 | #Constraints:      40974
3097.61/3106.13	c #Conflicts:    1039000 | #Constraints:      41974
3097.61/3106.13	c #Conflicts:    1040000 | #Constraints:      42974
3097.61/3106.13	c #Conflicts:    1041000 | #Constraints:      43974
3097.61/3106.13	c INPROCESSING
3097.61/3106.13	c GARBAGE COLLECT
3097.61/3106.13	c #Conflicts:    1042000 | #Constraints:      24768
3097.61/3106.13	c #Conflicts:    1043000 | #Constraints:      25768
3345.56/3354.89	c #Conflicts:    1044000 | #Constraints:      26768
3345.56/3354.89	c #Conflicts:    1045000 | #Constraints:      27768
3345.56/3354.89	c #Conflicts:    1046000 | #Constraints:      28768
3345.56/3354.89	c #Conflicts:    1047000 | #Constraints:      29768
3345.56/3354.89	c #Conflicts:    1048000 | #Constraints:      30768
3345.56/3354.89	c #Conflicts:    1049000 | #Constraints:      31768
3345.56/3354.89	c #Conflicts:    1050000 | #Constraints:      32768
3345.56/3354.89	c #Conflicts:    1051000 | #Constraints:      33768
3345.56/3354.89	c #Conflicts:    1052000 | #Constraints:      34768
3345.56/3354.89	c #Conflicts:    1053000 | #Constraints:      35768
3345.56/3354.89	c #Conflicts:    1054000 | #Constraints:      36768
3345.56/3354.89	c #Conflicts:    1055000 | #Constraints:      37768
3345.56/3354.89	c #Conflicts:    1056000 | #Constraints:      38768
3345.56/3354.89	c #Conflicts:    1057000 | #Constraints:      39768
3345.56/3354.89	c #Conflicts:    1058000 | #Constraints:      40768
3345.56/3354.89	c #Conflicts:    1059000 | #Constraints:      41768
3345.56/3354.89	c #Conflicts:    1060000 | #Constraints:      42768
3345.56/3354.89	c #Conflicts:    1061000 | #Constraints:      43768
3345.56/3354.89	c #Conflicts:    1062000 | #Constraints:      44768
3345.56/3354.89	c INPROCESSING
3345.56/3354.89	c GARBAGE COLLECT
3345.56/3354.89	c #Conflicts:    1063000 | #Constraints:      25365
3345.56/3354.89	c #Conflicts:    1064000 | #Constraints:      26365
3345.56/3354.89	c #Conflicts:    1065000 | #Constraints:      27365
3345.56/3354.89	c #Conflicts:    1066000 | #Constraints:      28365
3345.56/3354.89	c #Conflicts:    1067000 | #Constraints:      29365
3345.56/3354.89	c #Conflicts:    1068000 | #Constraints:      30365
3345.56/3354.89	c #Conflicts:    1069000 | #Constraints:      31365
3345.56/3354.89	c #Conflicts:    1070000 | #Constraints:      32365
3345.56/3354.89	c #Conflicts:    1071000 | #Constraints:      33365
3345.56/3354.89	c #Conflicts:    1072000 | #Constraints:      34365
3345.56/3354.89	c #Conflicts:    1073000 | #Constraints:      35365
3345.56/3354.89	c #Conflicts:    1074000 | #Constraints:      36365
3345.56/3354.89	c #Conflicts:    1075000 | #Constraints:      37365
3345.56/3354.89	c #Conflicts:    1076000 | #Constraints:      38365
3345.56/3354.89	c #Conflicts:    1077000 | #Constraints:      39365
3345.56/3354.89	c #Conflicts:    1078000 | #Constraints:      40365
3345.56/3354.89	c #Conflicts:    1079000 | #Constraints:      41365
3345.56/3354.89	c #Conflicts:    1080000 | #Constraints:      42365
3345.56/3354.89	c #Conflicts:    1081000 | #Constraints:      43365
3345.56/3354.89	c #Conflicts:    1082000 | #Constraints:      44365
3345.56/3354.89	c #Conflicts:    1083000 | #Constraints:      45365
3345.56/3354.89	c INPROCESSING
3345.56/3354.89	c GARBAGE COLLECT
3345.56/3354.89	c #Conflicts:    1084000 | #Constraints:      25769
3345.56/3354.89	c #Conflicts:    1085000 | #Constraints:      26769
3345.56/3354.89	c #Conflicts:    1086000 | #Constraints:      27769
3345.56/3354.89	c #Conflicts:    1087000 | #Constraints:      28769
3345.56/3354.89	c #Conflicts:    1088000 | #Constraints:      29769
3345.56/3354.89	c #Conflicts:    1089000 | #Constraints:      30769
3345.56/3354.89	c #Conflicts:    1090000 | #Constraints:      31769
3345.56/3354.89	c #Conflicts:    1091000 | #Constraints:      32769
3345.56/3354.89	c #Conflicts:    1092000 | #Constraints:      33769
3345.56/3354.89	c #Conflicts:    1093000 | #Constraints:      34769
3345.56/3354.89	c #Conflicts:    1094000 | #Constraints:      35769
3345.56/3354.89	c #Conflicts:    1095000 | #Constraints:      36769
3345.56/3354.89	c #Conflicts:    1096000 | #Constraints:      37769
3345.56/3354.89	c #Conflicts:    1097000 | #Constraints:      38769
3345.56/3354.89	c #Conflicts:    1098000 | #Constraints:      39769
3345.56/3354.89	c #Conflicts:    1099000 | #Constraints:      40769
3345.56/3354.89	c #Conflicts:    1100000 | #Constraints:      41769
3345.56/3354.89	c #Conflicts:    1101000 | #Constraints:      42769
3345.56/3354.89	c #Conflicts:    1102000 | #Constraints:      43769
3345.56/3354.89	c #Conflicts:    1103000 | #Constraints:      44769
3345.56/3354.89	c #Conflicts:    1104000 | #Constraints:      45769
3345.56/3354.89	c INPROCESSING
3345.56/3354.89	c GARBAGE COLLECT
3345.56/3354.89	c #Conflicts:    1105000 | #Constraints:      25976
3345.56/3354.89	c #Conflicts:    1106000 | #Constraints:      26976
3345.56/3354.89	c #Conflicts:    1107000 | #Constraints:      27976
3345.56/3354.89	c #Conflicts:    1108000 | #Constraints:      28976
3345.56/3354.89	c #Conflicts:    1109000 | #Constraints:      29976
3345.56/3354.89	c #Conflicts:    1110000 | #Constraints:      30976
3345.56/3354.89	c #Conflicts:    1111000 | #Constraints:      31976
3345.56/3354.89	c #Conflicts:    1112000 | #Constraints:      32976
3345.56/3354.89	c #Conflicts:    1113000 | #Constraints:      33976
3345.56/3354.89	c #Conflicts:    1114000 | #Constraints:      34976
3345.56/3354.89	c #Conflicts:    1115000 | #Constraints:      35976
3345.56/3354.89	c #Conflicts:    1116000 | #Constraints:      36976
3345.56/3354.89	c #Conflicts:    1117000 | #Constraints:      37976
3345.56/3354.89	c #Conflicts:    1118000 | #Constraints:      38976
3345.56/3354.89	c #Conflicts:    1119000 | #Constraints:      39976
3600.05/3610.10	c #Conflicts:    1120000 | #Constraints:      40976
3600.05/3610.10	c #Conflicts:    1121000 | #Constraints:      41976
3600.05/3610.10	c #Conflicts:    1122000 | #Constraints:      42976
3600.05/3610.10	c #Conflicts:    1123000 | #Constraints:      43976
3600.05/3610.10	c #Conflicts:    1124000 | #Constraints:      44976
3600.05/3610.10	c #Conflicts:    1125000 | #Constraints:      45976
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:    1126000 | #Constraints:      25972
3600.05/3610.10	c #Conflicts:    1127000 | #Constraints:      26972
3600.05/3610.10	c #Conflicts:    1128000 | #Constraints:      27972
3600.05/3610.10	c #Conflicts:    1129000 | #Constraints:      28972
3600.05/3610.10	c #Conflicts:    1130000 | #Constraints:      29972
3600.05/3610.10	c #Conflicts:    1131000 | #Constraints:      30972
3600.05/3610.10	c #Conflicts:    1132000 | #Constraints:      31972
3600.05/3610.10	c #Conflicts:    1133000 | #Constraints:      32972
3600.05/3610.10	c #Conflicts:    1134000 | #Constraints:      33972
3600.05/3610.10	c #Conflicts:    1135000 | #Constraints:      34972
3600.05/3610.10	c #Conflicts:    1136000 | #Constraints:      35972
3600.05/3610.10	c #Conflicts:    1137000 | #Constraints:      36972
3600.05/3610.10	c #Conflicts:    1138000 | #Constraints:      37972
3600.05/3610.10	c #Conflicts:    1139000 | #Constraints:      38972
3600.05/3610.10	c #Conflicts:    1140000 | #Constraints:      39972
3600.05/3610.10	c #Conflicts:    1141000 | #Constraints:      40972
3600.05/3610.10	c #Conflicts:    1142000 | #Constraints:      41972
3600.05/3610.10	c #Conflicts:    1143000 | #Constraints:      42972
3600.05/3610.10	c #Conflicts:    1144000 | #Constraints:      43972
3600.05/3610.10	c #Conflicts:    1145000 | #Constraints:      44972
3600.05/3610.10	c #Conflicts:    1146000 | #Constraints:      45972
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:    1147000 | #Constraints:      25760
3600.05/3610.10	c #Conflicts:    1148000 | #Constraints:      26760
3600.05/3610.10	c #Conflicts:    1149000 | #Constraints:      27760
3600.05/3610.10	c #Conflicts:    1150000 | #Constraints:      28760
3600.05/3610.10	c #Conflicts:    1151000 | #Constraints:      29760
3600.05/3610.10	c #Conflicts:    1152000 | #Constraints:      30760
3600.05/3610.10	c #Conflicts:    1153000 | #Constraints:      31760
3600.05/3610.10	c #Conflicts:    1154000 | #Constraints:      32760
3600.05/3610.10	c #Conflicts:    1155000 | #Constraints:      33760
3600.05/3610.10	c #Conflicts:    1156000 | #Constraints:      34760
3600.05/3610.10	c #Conflicts:    1157000 | #Constraints:      35760
3600.05/3610.10	c #Conflicts:    1158000 | #Constraints:      36760
3600.05/3610.10	c #Conflicts:    1159000 | #Constraints:      37760
3600.05/3610.10	c #Conflicts:    1160000 | #Constraints:      38760
3600.05/3610.10	c #Conflicts:    1161000 | #Constraints:      39760
3600.05/3610.10	c #Conflicts:    1162000 | #Constraints:      40760
3600.05/3610.10	c #Conflicts:    1163000 | #Constraints:      41760
3600.05/3610.10	c #Conflicts:    1164000 | #Constraints:      42760
3600.05/3610.10	c #Conflicts:    1165000 | #Constraints:      43760
3600.05/3610.10	c #Conflicts:    1166000 | #Constraints:      44760
3600.05/3610.10	c #Conflicts:    1167000 | #Constraints:      45760
3600.05/3610.10	c #Conflicts:    1168000 | #Constraints:      46760
3600.05/3610.10	c INPROCESSING
3600.05/3610.10	c GARBAGE COLLECT
3600.05/3610.10	c #Conflicts:    1169000 | #Constraints:      26361
3600.05/3610.10	c #Conflicts:    1170000 | #Constraints:      27361
3600.05/3610.10	c #Conflicts:    1171000 | #Constraints:      28361
3600.05/3610.10	c #Conflicts:    1172000 | #Constraints:      29361
3600.05/3610.10	c #Conflicts:    1173000 | #Constraints:      30361
3600.05/3610.10	c #Conflicts:    1174000 | #Constraints:      31361
3600.05/3610.10	c #Conflicts:    1175000 | #Constraints:      32361
3600.05/3610.10	c #Conflicts:    1176000 | #Constraints:      33361
3600.05/3610.10	c #Conflicts:    1177000 | #Constraints:      34361
3600.05/3610.10	c #Conflicts:    1178000 | #Constraints:      35361
3600.05/3610.10	c #Conflicts:    1179000 | #Constraints:      36361
3600.05/3610.10	c #Conflicts:    1180000 | #Constraints:      37361
3600.05/3610.10	c #Conflicts:    1181000 | #Constraints:      38361
3600.05/3610.10	c #Conflicts:    1182000 | #Constraints:      39361
3600.05/3610.10	c #Conflicts:    1183000 | #Constraints:      40361
3600.05/3610.10	c Program interrupted by user.
3600.05/3610.10	c cpu time 3591.43 s
3600.05/3610.10	c deterministic time 576413022596 5.76e+11
3600.05/3610.10	c optimization time 55.403 s
3600.05/3610.10	c total solve time 3236.56 s
3600.05/3610.10	c core-guided solve time 3236.56 s
3600.05/3610.10	c propagation time 2622.33 s
3600.05/3610.10	c conflict analysis time 524.265 s
3600.05/3610.10	c propagations 147538524
3600.05/3610.10	c resolve steps 13295129
3600.05/3610.10	c decisions 4970030
3600.05/3610.10	c conflicts 1183748
3600.05/3610.10	c restarts 2219
3600.05/3610.10	c inprocessing phases 99
3600.05/3610.10	c input clauses 4066
3600.05/3610.10	c input cardinalities 151
3600.05/3610.10	c input general constraints 0
3600.05/3610.10	c input average constraint length 62.61
3600.05/3610.10	c input average constraint degree 28.38
3600.05/3610.10	c learned clauses 495959
3600.05/3610.10	c learned cardinalities 66239
3600.05/3610.10	c learned general constraints 621698
3600.05/3610.10	c learned average constraint length 758.47
3600.05/3610.10	c learned average constraint degree 154995.39
3600.05/3610.10	c watched constraints 315852
3600.05/3610.10	c counting constraints 305846
3600.05/3610.10	c gcd simplifications 21932
3600.05/3610.10	c detected cardinalities 246
3600.05/3610.10	c weakened non-implied lits 188968387
3600.05/3610.10	c weakened non-implying lits 62481
3600.05/3610.10	c original variables 1965
3600.05/3610.10	c clausal propagations 74508907
3600.05/3610.10	c cardinality propagations 11978259
3600.05/3610.10	c watched propagations 8123214
3600.05/3610.10	c counting propagations 46921767
3600.05/3610.10	c watch lookups 45603154852
3600.05/3610.10	c watch backjump lookups 38163474873
3600.05/3610.10	c watch checks 436172017296
3600.05/3610.10	c propagation checks 53243828721
3600.05/3610.10	c constraint additions 2924347597
3600.05/3610.10	c trail pops 153690702
3600.05/3610.10	c formula constraints 3376
3600.05/3610.10	c learned constraints 1183896
3600.05/3610.10	c bound constraints 151
3600.05/3610.10	c core-guided constraints 690
3600.05/3610.10	c encountered formula constraints 9102141
3600.05/3610.10	c encountered learned constraints 3582404
3600.05/3610.10	c encountered bound constraints 2
3600.05/3610.10	c encountered core-guided constraints 1794330
3600.05/3610.10	c LP total time 0 s
3600.05/3610.10	c LP solve time 0 s
3600.05/3610.10	c LP constraints added 0
3600.05/3610.10	c LP constraints removed 0
3600.05/3610.10	c LP pivots internal 0
3600.05/3610.10	c LP pivots root 0
3600.05/3610.10	c LP calls 0
3600.05/3610.10	c LP optimalities 0
3600.05/3610.10	c LP no pivot count 0
3600.05/3610.10	c LP infeasibilities 0
3600.05/3610.10	c LP valid Farkas constraints 0
3600.05/3610.10	c LP learned Farkas constraints 0
3600.05/3610.10	c LP basis resets 0
3600.05/3610.10	c LP cycling count 0
3600.05/3610.10	c LP singular count 0
3600.05/3610.10	c LP no primal count 0
3600.05/3610.10	c LP no farkas count 0
3600.05/3610.10	c LP other issue count 0
3600.05/3610.10	c LP Gomory cuts 0
3600.05/3610.10	c LP learned cuts 0
3600.05/3610.10	c LP deleted cuts 0
3600.05/3610.10	c LP encountered Gomory constraints 0
3600.05/3610.10	c LP encountered Farkas constraints 0
3600.05/3610.10	c LP encountered learned Farkas constraints 0
3600.05/3610.10	c CG auxiliary variables introduced 690
3600.05/3610.10	c CG solutions found 0
3600.05/3610.10	c CG cores constructed 150
3600.05/3610.10	c CG core cardinality constraints returned 0
3600.05/3610.10	c CG unit cores 0
3600.05/3610.10	c CG single cores 150
3600.05/3610.10	c CG blocks removed during cardinality reduction 0
3600.05/3610.10	c CG first core best 0
3600.05/3610.10	c CG decision core best 0
3600.05/3610.10	c CG core reduction tie 0
3600.05/3610.10	c CG core degree average 1.00
3600.05/3610.10	c CG core slack average 3.14
3600.05/3610.10	c CG exhausted 0
3600.05/3610.10	c CG exhaust time 0 s
3600.05/3610.10	c CG trimmed 2
3600.05/3610.10	c CG trim time 0.001082 s
3600.05/3610.10	c CG minimized 0
3600.05/3610.10	c CG minimize time 0 s
3600.05/3610.10	c CG am1 prop time 0.00191 s
3600.05/3610.10	c CG # am1s reformulated 690
3600.05/3610.10	c CG lower bound derived from am1s 690
3600.05/3610.10	c CG # clausal cores 150
3600.05/3610.10	c CG # cardinality cores 0
3600.05/3610.10	c CG # pb cores 0
3600.05/3610.10	c CG # pb reforms 0
3600.05/3610.10	c CG # cores discarded because of pb reform 0
3600.05/3610.10	d LOWERBOUND 840
3600.05/3610.10	d NCORES 150
3600.05/3610.10	d NPBCORES 0
3600.05/3610.10	d NPBREFORM 0
3600.05/3610.10	d NTRIMMED 2
3600.05/3610.10	d NEXHAUSTED 0
3600.05/3610.10	d NAM1S 690
3600.05/3610.10	d AM1LB 690
3600.05/3610.10	c [Papilo Statistics]
3600.05/3610.10	c prepro time 0.00470036s
3600.05/3610.10	c # tsx applied 134
3600.05/3610.10	c # tsx conflicts 7
3600.05/3610.10	c # bound changes 133
3600.05/3610.10	c # side changes 0
3600.05/3610.10	c # coef changes 0
3600.05/3610.10	c # rounds 2
3600.05/3610.10	c # deted vars 275
3600.05/3610.10	c # deted constrs 624
3600.05/3610.10	c # consecutive rounds of only bound changes 0
3600.05/3610.11	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=47630, runsolver pid=47627

[startup+0.100064 s]*
/proc/loadavg: 4.05 4.08 4.14 5/266 47631
/proc/meminfo: memFree=129388176/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=117260 memory=41272 CPUtime=0.08 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 7156 0 0 0 7 1 0 0 20 0 1 0 48694553 120074240 10318 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 29315 10318 4224 2842 0 11009 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 117260 KiB
Current children cumulated memory: 41272 KiB

[startup+0.205637 s]*
/proc/loadavg: 4.05 4.08 4.14 5/266 47631
/proc/meminfo: memFree=129386412/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=119452 memory=43448 CPUtime=0.18 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 7694 0 0 0 17 1 0 0 20 0 1 0 48694553 122318848 10862 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 29863 10862 4256 2842 0 11557 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 119452 KiB
Current children cumulated memory: 43448 KiB

[startup+0.305393 s]*
/proc/loadavg: 4.05 4.08 4.14 5/266 47631
/proc/meminfo: memFree=129386732/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=119876 memory=43832 CPUtime=0.28 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 7785 0 0 0 27 1 0 0 20 0 1 0 48694553 122753024 10958 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 29969 10958 4256 2842 0 11663 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 119876 KiB
Current children cumulated memory: 43832 KiB

[startup+0.700116 s]
/proc/loadavg: 4.05 4.08 4.14 5/266 47631
/proc/meminfo: memFree=129380684/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=124144 memory=47672 CPUtime=0.67 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 8757 0 0 0 66 1 0 0 20 0 1 0 48694553 127123456 11918 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 31036 11918 4256 2842 0 12730 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 124144 KiB
Current children cumulated memory: 47672 KiB

[startup+1.50013 s]
/proc/loadavg: 4.05 4.08 4.14 5/266 47631
/proc/meminfo: memFree=129380684/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=127252 memory=50232 CPUtime=1.47 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 9383 0 0 0 145 2 0 0 20 0 1 0 48694553 130306048 12558 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 31813 12558 4256 2842 0 13507 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127252 KiB
Current children cumulated memory: 50232 KiB

[startup+3.10541 s]
/proc/loadavg: 4.05 4.08 4.13 5/266 47631
/proc/meminfo: memFree=129356656/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=143180 memory=64952 CPUtime=3.08 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 13079 0 0 0 305 3 0 0 20 0 1 0 48694553 146616320 16238 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 35795 16238 4256 2842 0 17489 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 143180 KiB
Current children cumulated memory: 64952 KiB

[startup+6.3001 s]
/proc/loadavg: 4.05 4.08 4.13 5/266 47631
/proc/meminfo: memFree=129324652/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=178084 memory=98360 CPUtime=6.26 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 21432 0 0 0 622 4 0 0 20 0 1 0 48694553 182358016 24590 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 44521 24590 4256 2842 0 26215 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 178084 KiB
Current children cumulated memory: 98360 KiB

[startup+12.7001 s]
/proc/loadavg: 4.04 4.08 4.13 5/266 47631
/proc/meminfo: memFree=129208100/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=254508 memory=170200 CPUtime=12.64 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 39636 0 0 0 1256 8 0 0 20 0 1 0 48694553 260616192 42550 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 63627 42550 4256 2842 0 45321 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 254508 KiB
Current children cumulated memory: 170200 KiB

[startup+25.5001 s]
/proc/loadavg: 4.11 4.09 4.14 5/266 47631
/proc/meminfo: memFree=129172976/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=254508 memory=170584 CPUtime=25.41 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 39719 0 0 0 2533 8 0 0 20 0 1 0 48694553 260616192 42646 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 63627 42646 4256 2842 0 45321 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 254508 KiB
Current children cumulated memory: 170584 KiB

[startup+51.1054 s]
/proc/loadavg: 4.07 4.08 4.13 5/266 47632
/proc/meminfo: memFree=129062392/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=299656 memory=216220 CPUtime=50.95 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 51402 0 0 0 5085 10 0 0 20 0 1 0 48694553 306847744 54055 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 74914 54055 4256 2842 0 56608 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 299656 KiB
Current children cumulated memory: 216220 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.13 5/266 47639
/proc/meminfo: memFree=128993108/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=318376 memory=235536 CPUtime=102.01 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 60921 0 0 0 10190 11 0 0 20 0 1 0 48694553 326017024 58884 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 79594 58884 4288 2842 0 61288 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 318376 KiB
Current children cumulated memory: 235536 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.13 5/266 47641
/proc/meminfo: memFree=129107416/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=370436 memory=286036 CPUtime=161.85 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 74041 0 0 0 16172 13 0 0 20 0 1 0 48694553 379326464 71509 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 92609 71509 4288 2842 0 74303 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 370436 KiB
Current children cumulated memory: 286036 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 4.07 4.12 5/267 47644
/proc/meminfo: memFree=129059044/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=372260 memory=288596 CPUtime=221.69 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 74681 0 0 0 22156 13 0 0 20 0 1 0 48694553 381194240 72149 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 93065 72149 4288 2842 0 74759 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 372260 KiB
Current children cumulated memory: 288596 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/266 47646
/proc/meminfo: memFree=129017072/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=376080 memory=287836 CPUtime=281.53 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 74850 0 0 0 28140 13 0 0 20 0 1 0 48694553 385105920 71959 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 94020 71959 4288 2842 0 75714 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 376080 KiB
Current children cumulated memory: 287836 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/266 47649
/proc/meminfo: memFree=129100180/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=319716 memory=240240 CPUtime=341.37 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 78265 0 0 0 34084 53 0 0 20 0 1 0 48694553 327389184 60060 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 79929 60060 4416 2842 0 61623 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 319716 KiB
Current children cumulated memory: 240240 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/265 47651
/proc/meminfo: memFree=129033768/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=350536 memory=253180 CPUtime=401.21 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 78941 0 0 0 40030 91 0 0 20 0 1 0 48694553 358948864 63295 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 87634 63295 4416 2842 0 69328 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 350536 KiB
Current children cumulated memory: 253180 KiB

[startup+462.3 s]
/proc/loadavg: 4.32 4.13 4.12 5/265 47652
/proc/meminfo: memFree=128947540/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=350536 memory=265836 CPUtime=461.01 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 79030 0 0 0 45981 120 0 0 20 0 1 0 48694553 358948864 66459 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 87634 66459 4416 2842 0 69328 0

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

Current children cumulated memory: 380220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 47797
/proc/meminfo: memFree=128281864/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=489764 memory=380604 CPUtime=2914.35 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 82354 0 0 0 290696 739 0 0 20 0 1 0 48694553 501518336 95151 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 122441 95151 4416 2842 0 104135 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 489764 KiB
Current children cumulated memory: 380604 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 47798
/proc/meminfo: memFree=128269440/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=489764 memory=380604 CPUtime=2974.18 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 82398 0 0 0 296666 752 0 0 20 0 1 0 48694553 501518336 95151 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 122441 95151 4416 2842 0 104135 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 489764 KiB
Current children cumulated memory: 380604 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 47802
/proc/meminfo: memFree=128209172/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=492068 memory=390692 CPUtime=3033.99 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 82757 0 0 0 302636 763 0 0 20 0 1 0 48694553 503877632 97673 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 123017 97673 4416 2842 0 104711 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 492068 KiB
Current children cumulated memory: 390692 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 47810
/proc/meminfo: memFree=128197204/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=492068 memory=390692 CPUtime=3093.82 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 82758 0 0 0 308610 772 0 0 20 0 1 0 48694553 503877632 97673 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 123017 97673 4416 2842 0 104711 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 492068 KiB
Current children cumulated memory: 390692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 47812
/proc/meminfo: memFree=128192716/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=492580 memory=395252 CPUtime=3153.65 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 82857 0 0 0 314582 783 0 0 20 0 1 0 48694553 504401920 98813 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 123145 98813 4416 2842 0 104839 0
Current children cumulated CPU time: 3153.65 s
Current children cumulated vsize: 492580 KiB
Current children cumulated memory: 395252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 47814
/proc/meminfo: memFree=128204392/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=495324 memory=398724 CPUtime=3213.47 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83236 0 0 0 320553 794 0 0 20 0 1 0 48694553 507211776 99681 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 123831 99681 4416 2842 0 105525 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 495324 KiB
Current children cumulated memory: 398724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/264 47817
/proc/meminfo: memFree=128187644/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=497700 memory=412576 CPUtime=3273.29 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83632 0 0 0 326525 804 0 0 20 0 1 0 48694553 509644800 103144 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124425 103144 4416 2842 0 106119 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 497700 KiB
Current children cumulated memory: 412576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 47819
/proc/meminfo: memFree=128175516/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=497956 memory=412832 CPUtime=3333.11 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83696 0 0 0 332497 814 0 0 20 0 1 0 48694553 509906944 103208 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124489 103208 4416 2842 0 106183 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 497956 KiB
Current children cumulated memory: 412832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 47822
/proc/meminfo: memFree=128159372/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3392.92 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 338464 828 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 47870
/proc/meminfo: memFree=128483408/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3452.73 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 344436 837 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 47917
/proc/meminfo: memFree=128730904/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3512.54 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 350406 848 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 47919
/proc/meminfo: memFree=128654640/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3572.33 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 356374 859 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 47966
/proc/meminfo: memFree=128879328/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3600.05 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 359142 863 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.43 s, system=8.63405 s

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

[startup+3610.11 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 47966
/proc/meminfo: memFree=128879328/131249996 swapFree=33010416/33010684
[pid=47630] ppid=47627 vsize=498212 memory=413088 CPUtime=3600.05 cores=1,3
/proc/47630/stat : 47630 (mixed-bag) R 47627 47630 45645 0 -1 4194304 83762 0 0 0 359142 863 0 0 20 0 1 0 48694553 510169088 103272 18446744073709551615 4235264 15874749 140736552696224 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18096864 18107984 45961216 140736552700316 140736552700393 140736552700393 140736552705995 0
/proc/47630/statm: 124553 103272 4416 2842 0 106247 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 498212 KiB
Current children cumulated memory: 413088 KiB

Child status: 0

Real time (s): 3610.11
CPU time (s): 3600.06
CPU user time (s): 3591.43
CPU system time (s): 8.63405
CPU usage (%): 99.7217
Max. virtual memory (cumulated for all children) (KiB): 498212
Max. memory (cumulated for all children) (KiB): 413088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.43
system time used= 8.63405
maximum resident set size= 413600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83790
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= 197
involuntary context switches= 5052


# summary of solver processes directly reported to runsolver:
#   pid: 47630
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.43
#   total CPU system time (s): 8.63405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87217 second user time and 16.9722 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2025-07-01 02:36:11
IDJOB=4488807
IDBENCH=147532
IDSOLVER=3340
FILE ID=nodeC015/4488807-1751330171
RUNJOBID= nodeC015-1751326375-45657
SLURM_JOB_ID= 9594361
Free space on /tmp= 432972 MiB

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

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

MD5SUM BENCH= 40249833eecc795c9ed736ead45c4ff1
RANDOM SEED=999308919

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129398852 kB
MemAvailable:   129122164 kB
Buffers:            2128 kB
Cached:           512088 kB
SwapCached:           24 kB
Active:          1021604 kB
Inactive:         207684 kB
Active(anon):     713040 kB
Inactive(anon):    20084 kB
Active(file):     308564 kB
Inactive(file):   187600 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15560 kB
Writeback:             0 kB
AnonPages:        718328 kB
Mapped:           137316 kB
Shmem:             18052 kB
KReclaimable:     132772 kB
Slab:             221620 kB
SReclaimable:     132772 kB
SUnreclaim:        88848 kB
KernelStack:        4268 kB
PageTables:         4604 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1152744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:    11100160 kB
DirectMap1G:    124780544 kB

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