Trace number 4435453

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB41
LOWERBOUND119
NAM1S41
NCORES78
NEXHAUSTED0
NPBCORES66
NPBREFORM0
NTRIMMED1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
MD5SUM8940813d27fb075f4739eb458e093f9a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark176
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables467
Total number of constraints466
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints466
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 467
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 467
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 467
Number of bits of the biggest sum of numbers9
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.00	c [STEP] preprocessing with Papilo
0.00/0.01	c [STEP] solving with SCIP
299.14/300.14	c [STEP] preprocessing done, loading into solver
299.14/300.14	c [STEP] solving
299.14/300.14	c #variables 468 #constraints 466
299.14/300.14	c SMALL=int, LARGE=long long
299.14/300.14	c bounds - >= 0 @ 299.043
299.14/300.14	c stratification level: 0
318.27/319.34	c bounds - >= 42 @ 299.045
318.27/319.34	c bounds - >= 43 @ 299.045
318.27/319.34	c bounds - >= 44 @ 299.045
318.27/319.34	c bounds - >= 45 @ 299.045
318.27/319.34	c bounds - >= 46 @ 299.045
318.27/319.34	c bounds - >= 47 @ 299.045
318.27/319.34	c bounds - >= 48 @ 299.045
318.27/319.34	c bounds - >= 49 @ 299.045
318.27/319.34	c bounds - >= 50 @ 299.046
318.27/319.34	c bounds - >= 51 @ 299.046
318.27/319.34	c bounds - >= 52 @ 299.046
318.27/319.34	c bounds - >= 53 @ 299.046
318.27/319.34	c bounds - >= 54 @ 299.046
318.27/319.34	c bounds - >= 55 @ 299.046
318.27/319.34	c bounds - >= 56 @ 299.046
318.27/319.34	c bounds - >= 57 @ 299.046
318.27/319.34	c bounds - >= 58 @ 299.046
318.27/319.34	c bounds - >= 59 @ 299.047
318.27/319.34	c bounds - >= 60 @ 299.047
318.27/319.34	c bounds - >= 61 @ 299.047
318.27/319.34	c bounds - >= 62 @ 299.047
318.27/319.34	c bounds - >= 63 @ 299.047
318.27/319.34	c bounds - >= 64 @ 299.047
318.27/319.34	c bounds - >= 65 @ 299.047
318.27/319.34	c bounds - >= 66 @ 299.047
318.27/319.34	c bounds - >= 67 @ 299.047
318.27/319.34	c bounds - >= 68 @ 299.048
318.27/319.34	c bounds - >= 69 @ 299.048
318.27/319.34	c bounds - >= 70 @ 299.048
318.27/319.34	c bounds - >= 71 @ 299.048
318.27/319.34	c bounds - >= 72 @ 299.048
318.27/319.34	c bounds - >= 73 @ 299.048
318.27/319.34	c bounds - >= 74 @ 299.048
318.27/319.34	c bounds - >= 75 @ 299.048
318.27/319.34	c bounds - >= 76 @ 299.049
318.27/319.34	c bounds - >= 77 @ 299.049
318.27/319.34	c bounds - >= 78 @ 299.049
318.27/319.34	c bounds - >= 79 @ 299.049
318.27/319.34	c bounds - >= 80 @ 299.049
318.27/319.34	c bounds - >= 81 @ 299.049
318.27/319.34	c bounds - >= 82 @ 299.049
318.27/319.34	c bounds - >= 83 @ 299.049
318.27/319.34	c bounds - >= 84 @ 299.049
318.27/319.34	c bounds - >= 85 @ 299.049
318.27/319.34	c bounds - >= 86 @ 299.049
318.27/319.34	c bounds - >= 87 @ 299.049
318.27/319.34	c bounds - >= 88 @ 299.049
318.27/319.34	c bounds - >= 89 @ 299.049
318.27/319.34	c bounds - >= 90 @ 299.049
318.27/319.34	c bounds - >= 91 @ 299.049
318.27/319.34	c bounds - >= 92 @ 299.05
318.27/319.34	c bounds - >= 93 @ 299.05
318.27/319.34	c bounds - >= 94 @ 299.05
318.27/319.34	c bounds - >= 95 @ 299.05
318.27/319.34	c bounds - >= 96 @ 299.05
318.27/319.34	c bounds - >= 97 @ 299.05
318.27/319.34	c bounds - >= 98 @ 299.05
318.27/319.34	c bounds - >= 99 @ 299.05
318.27/319.34	c bounds - >= 100 @ 299.051
318.27/319.34	c bounds - >= 101 @ 299.051
318.27/319.34	c bounds - >= 102 @ 299.051
318.27/319.34	c bounds - >= 103 @ 299.051
318.27/319.34	c bounds - >= 104 @ 299.051
318.27/319.34	c bounds - >= 105 @ 299.051
318.27/319.34	c bounds - >= 106 @ 299.051
318.27/319.34	c bounds - >= 107 @ 299.052
318.27/319.34	c bounds - >= 108 @ 299.052
318.27/319.34	c bounds - >= 109 @ 299.052
318.27/319.34	c bounds - >= 110 @ 299.052
318.27/319.34	c bounds - >= 111 @ 299.052
318.27/319.34	c bounds - >= 112 @ 299.052
318.27/319.34	c bounds - >= 113 @ 299.052
318.27/319.34	c bounds - >= 114 @ 299.052
318.27/319.34	c bounds - >= 115 @ 299.052
318.27/319.34	c bounds - >= 116 @ 299.052
318.27/319.34	c bounds - >= 117 @ 299.052
318.27/319.34	c bounds - >= 118 @ 299.052
318.27/319.34	c bounds - >= 119 @ 299.052
318.27/319.34	c #Conflicts:       1000 | #Constraints:       1590
318.27/319.34	c #Conflicts:       2000 | #Constraints:       2590
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:       3000 | #Constraints:       2519
318.27/319.34	c #Conflicts:       4000 | #Constraints:       3519
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:       5000 | #Constraints:       2918
318.27/319.34	c #Conflicts:       6000 | #Constraints:       3918
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:       7000 | #Constraints:       2920
318.27/319.34	c #Conflicts:       8000 | #Constraints:       3920
318.27/319.34	c #Conflicts:       9000 | #Constraints:       4920
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      10000 | #Constraints:       3621
318.27/319.34	c #Conflicts:      11000 | #Constraints:       4621
318.27/319.34	c #Conflicts:      12000 | #Constraints:       5621
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      13000 | #Constraints:       4073
318.27/319.34	c #Conflicts:      14000 | #Constraints:       5073
318.27/319.34	c #Conflicts:      15000 | #Constraints:       6073
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      16000 | #Constraints:       4298
318.27/319.34	c #Conflicts:      17000 | #Constraints:       5298
318.27/319.34	c #Conflicts:      18000 | #Constraints:       6298
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      19000 | #Constraints:       4313
318.27/319.34	c #Conflicts:      20000 | #Constraints:       5313
318.27/319.34	c #Conflicts:      21000 | #Constraints:       6313
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      22000 | #Constraints:       4116
318.27/319.34	c #Conflicts:      23000 | #Constraints:       5116
318.27/319.34	c #Conflicts:      24000 | #Constraints:       6116
318.27/319.34	c #Conflicts:      25000 | #Constraints:       7116
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      26000 | #Constraints:       4719
318.27/319.34	c #Conflicts:      27000 | #Constraints:       5719
318.27/319.34	c #Conflicts:      28000 | #Constraints:       6719
318.27/319.34	c #Conflicts:      29000 | #Constraints:       7719
318.27/319.34	c INPROCESSING
318.27/319.34	c GARBAGE COLLECT
318.27/319.34	c #Conflicts:      30000 | #Constraints:       5120
318.27/319.34	c #Conflicts:      31000 | #Constraints:       6120
318.27/319.34	c #Conflicts:      32000 | #Constraints:       7120
405.98/407.37	c #Conflicts:      33000 | #Constraints:       8120
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      34000 | #Constraints:       5330
405.98/407.37	c #Conflicts:      35000 | #Constraints:       6330
405.98/407.37	c #Conflicts:      36000 | #Constraints:       7330
405.98/407.37	c #Conflicts:      37000 | #Constraints:       8330
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      38000 | #Constraints:       5329
405.98/407.37	c #Conflicts:      39000 | #Constraints:       6329
405.98/407.37	c #Conflicts:      40000 | #Constraints:       7329
405.98/407.37	c #Conflicts:      41000 | #Constraints:       8329
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      42000 | #Constraints:       5129
405.98/407.37	c #Conflicts:      43000 | #Constraints:       6129
405.98/407.37	c #Conflicts:      44000 | #Constraints:       7129
405.98/407.37	c #Conflicts:      45000 | #Constraints:       8129
405.98/407.37	c #Conflicts:      46000 | #Constraints:       9129
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      47000 | #Constraints:       5725
405.98/407.37	c #Conflicts:      48000 | #Constraints:       6725
405.98/407.37	c #Conflicts:      49000 | #Constraints:       7725
405.98/407.37	c #Conflicts:      50000 | #Constraints:       8725
405.98/407.37	c #Conflicts:      51000 | #Constraints:       9725
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      52000 | #Constraints:       6128
405.98/407.37	c #Conflicts:      53000 | #Constraints:       7128
405.98/407.37	c #Conflicts:      54000 | #Constraints:       8128
405.98/407.37	c #Conflicts:      55000 | #Constraints:       9128
405.98/407.37	c #Conflicts:      56000 | #Constraints:      10128
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      57000 | #Constraints:       6328
405.98/407.37	c #Conflicts:      58000 | #Constraints:       7328
405.98/407.37	c #Conflicts:      59000 | #Constraints:       8328
405.98/407.37	c #Conflicts:      60000 | #Constraints:       9328
405.98/407.37	c #Conflicts:      61000 | #Constraints:      10328
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      62000 | #Constraints:       6328
405.98/407.37	c #Conflicts:      63000 | #Constraints:       7328
405.98/407.37	c #Conflicts:      64000 | #Constraints:       8328
405.98/407.37	c #Conflicts:      65000 | #Constraints:       9328
405.98/407.37	c #Conflicts:      66000 | #Constraints:      10328
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      67000 | #Constraints:       6126
405.98/407.37	c #Conflicts:      68000 | #Constraints:       7126
405.98/407.37	c #Conflicts:      69000 | #Constraints:       8126
405.98/407.37	c #Conflicts:      70000 | #Constraints:       9126
405.98/407.37	c #Conflicts:      71000 | #Constraints:      10126
405.98/407.37	c #Conflicts:      72000 | #Constraints:      11126
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      73000 | #Constraints:       6722
405.98/407.37	c #Conflicts:      74000 | #Constraints:       7722
405.98/407.37	c #Conflicts:      75000 | #Constraints:       8722
405.98/407.37	c #Conflicts:      76000 | #Constraints:       9722
405.98/407.37	c #Conflicts:      77000 | #Constraints:      10722
405.98/407.37	c #Conflicts:      78000 | #Constraints:      11722
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      79000 | #Constraints:       7121
405.98/407.37	c #Conflicts:      80000 | #Constraints:       8121
405.98/407.37	c #Conflicts:      81000 | #Constraints:       9121
405.98/407.37	c #Conflicts:      82000 | #Constraints:      10121
405.98/407.37	c #Conflicts:      83000 | #Constraints:      11121
405.98/407.37	c #Conflicts:      84000 | #Constraints:      12121
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      85000 | #Constraints:       7325
405.98/407.37	c #Conflicts:      86000 | #Constraints:       8325
405.98/407.37	c #Conflicts:      87000 | #Constraints:       9325
405.98/407.37	c #Conflicts:      88000 | #Constraints:      10325
405.98/407.37	c #Conflicts:      89000 | #Constraints:      11325
405.98/407.37	c #Conflicts:      90000 | #Constraints:      12325
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      91000 | #Constraints:       7328
405.98/407.37	c #Conflicts:      92000 | #Constraints:       8328
405.98/407.37	c #Conflicts:      93000 | #Constraints:       9328
405.98/407.37	c #Conflicts:      94000 | #Constraints:      10328
405.98/407.37	c #Conflicts:      95000 | #Constraints:      11328
405.98/407.37	c #Conflicts:      96000 | #Constraints:      12328
405.98/407.37	c INPROCESSING
405.98/407.37	c GARBAGE COLLECT
405.98/407.37	c #Conflicts:      97000 | #Constraints:       7124
405.98/407.37	c #Conflicts:      98000 | #Constraints:       8124
405.98/407.37	c #Conflicts:      99000 | #Constraints:       9124
405.98/407.37	c #Conflicts:     100000 | #Constraints:      10124
405.98/407.37	c #Conflicts:     101000 | #Constraints:      11124
405.98/407.37	c #Conflicts:     102000 | #Constraints:      12124
405.98/407.37	c #Conflicts:     103000 | #Constraints:      13124
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     104000 | #Constraints:       7725
557.96/559.87	c #Conflicts:     105000 | #Constraints:       8725
557.96/559.87	c #Conflicts:     106000 | #Constraints:       9725
557.96/559.87	c #Conflicts:     107000 | #Constraints:      10725
557.96/559.87	c #Conflicts:     108000 | #Constraints:      11725
557.96/559.87	c #Conflicts:     109000 | #Constraints:      12725
557.96/559.87	c #Conflicts:     110000 | #Constraints:      13725
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     111000 | #Constraints:       8125
557.96/559.87	c #Conflicts:     112000 | #Constraints:       9125
557.96/559.87	c #Conflicts:     113000 | #Constraints:      10125
557.96/559.87	c #Conflicts:     114000 | #Constraints:      11125
557.96/559.87	c #Conflicts:     115000 | #Constraints:      12125
557.96/559.87	c #Conflicts:     116000 | #Constraints:      13125
557.96/559.87	c #Conflicts:     117000 | #Constraints:      14125
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     118000 | #Constraints:       8323
557.96/559.87	c #Conflicts:     119000 | #Constraints:       9323
557.96/559.87	c #Conflicts:     120000 | #Constraints:      10323
557.96/559.87	c #Conflicts:     121000 | #Constraints:      11323
557.96/559.87	c #Conflicts:     122000 | #Constraints:      12323
557.96/559.87	c #Conflicts:     123000 | #Constraints:      13323
557.96/559.87	c #Conflicts:     124000 | #Constraints:      14323
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     125000 | #Constraints:       8327
557.96/559.87	c #Conflicts:     126000 | #Constraints:       9327
557.96/559.87	c #Conflicts:     127000 | #Constraints:      10327
557.96/559.87	c #Conflicts:     128000 | #Constraints:      11327
557.96/559.87	c #Conflicts:     129000 | #Constraints:      12327
557.96/559.87	c #Conflicts:     130000 | #Constraints:      13327
557.96/559.87	c #Conflicts:     131000 | #Constraints:      14327
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     132000 | #Constraints:       8126
557.96/559.87	c #Conflicts:     133000 | #Constraints:       9126
557.96/559.87	c #Conflicts:     134000 | #Constraints:      10126
557.96/559.87	c #Conflicts:     135000 | #Constraints:      11126
557.96/559.87	c #Conflicts:     136000 | #Constraints:      12126
557.96/559.87	c #Conflicts:     137000 | #Constraints:      13126
557.96/559.87	c #Conflicts:     138000 | #Constraints:      14126
557.96/559.87	c #Conflicts:     139000 | #Constraints:      15126
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     140000 | #Constraints:       8723
557.96/559.87	c #Conflicts:     141000 | #Constraints:       9723
557.96/559.87	c #Conflicts:     142000 | #Constraints:      10723
557.96/559.87	c #Conflicts:     143000 | #Constraints:      11723
557.96/559.87	c #Conflicts:     144000 | #Constraints:      12723
557.96/559.87	c #Conflicts:     145000 | #Constraints:      13723
557.96/559.87	c #Conflicts:     146000 | #Constraints:      14723
557.96/559.87	c #Conflicts:     147000 | #Constraints:      15723
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     148000 | #Constraints:       9132
557.96/559.87	c #Conflicts:     149000 | #Constraints:      10132
557.96/559.87	c #Conflicts:     150000 | #Constraints:      11132
557.96/559.87	c #Conflicts:     151000 | #Constraints:      12132
557.96/559.87	c #Conflicts:     152000 | #Constraints:      13132
557.96/559.87	c #Conflicts:     153000 | #Constraints:      14132
557.96/559.87	c #Conflicts:     154000 | #Constraints:      15132
557.96/559.87	c #Conflicts:     155000 | #Constraints:      16132
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     156000 | #Constraints:       9332
557.96/559.87	c #Conflicts:     157000 | #Constraints:      10332
557.96/559.87	c #Conflicts:     158000 | #Constraints:      11332
557.96/559.87	c #Conflicts:     159000 | #Constraints:      12332
557.96/559.87	c #Conflicts:     160000 | #Constraints:      13332
557.96/559.87	c #Conflicts:     161000 | #Constraints:      14332
557.96/559.87	c #Conflicts:     162000 | #Constraints:      15332
557.96/559.87	c #Conflicts:     163000 | #Constraints:      16332
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     164000 | #Constraints:       9328
557.96/559.87	c #Conflicts:     165000 | #Constraints:      10328
557.96/559.87	c #Conflicts:     166000 | #Constraints:      11328
557.96/559.87	c #Conflicts:     167000 | #Constraints:      12328
557.96/559.87	c #Conflicts:     168000 | #Constraints:      13328
557.96/559.87	c #Conflicts:     169000 | #Constraints:      14328
557.96/559.87	c #Conflicts:     170000 | #Constraints:      15328
557.96/559.87	c #Conflicts:     171000 | #Constraints:      16328
557.96/559.87	c INPROCESSING
557.96/559.87	c GARBAGE COLLECT
557.96/559.87	c #Conflicts:     172000 | #Constraints:       9130
557.96/559.87	c #Conflicts:     173000 | #Constraints:      10130
557.96/559.87	c #Conflicts:     174000 | #Constraints:      11130
557.96/559.87	c #Conflicts:     175000 | #Constraints:      12130
774.58/777.40	c #Conflicts:     176000 | #Constraints:      13130
774.58/777.40	c #Conflicts:     177000 | #Constraints:      14130
774.58/777.40	c #Conflicts:     178000 | #Constraints:      15130
774.58/777.40	c #Conflicts:     179000 | #Constraints:      16130
774.58/777.40	c #Conflicts:     180000 | #Constraints:      17130
774.58/777.40	c INPROCESSING
774.58/777.40	c GARBAGE COLLECT
774.58/777.40	c #Conflicts:     181000 | #Constraints:       9726
774.58/777.40	c #Conflicts:     182000 | #Constraints:      10726
774.58/777.40	c #Conflicts:     183000 | #Constraints:      11726
774.58/777.40	c #Conflicts:     184000 | #Constraints:      12726
774.58/777.40	c #Conflicts:     185000 | #Constraints:      13726
774.58/777.40	c #Conflicts:     186000 | #Constraints:      14726
774.58/777.40	c #Conflicts:     187000 | #Constraints:      15726
774.58/777.40	c #Conflicts:     188000 | #Constraints:      16726
774.58/777.40	c #Conflicts:     189000 | #Constraints:      17726
774.58/777.40	c INPROCESSING
774.58/777.40	c GARBAGE COLLECT
774.58/777.40	c #Conflicts:     190000 | #Constraints:      10133
774.58/777.40	c #Conflicts:     191000 | #Constraints:      11133
774.58/777.40	c #Conflicts:     192000 | #Constraints:      12133
774.58/777.40	c #Conflicts:     193000 | #Constraints:      13133
774.58/777.40	c #Conflicts:     194000 | #Constraints:      14133
774.58/777.40	c #Conflicts:     195000 | #Constraints:      15133
774.58/777.40	c #Conflicts:     196000 | #Constraints:      16133
774.58/777.40	c #Conflicts:     197000 | #Constraints:      17133
774.58/777.40	c #Conflicts:     198000 | #Constraints:      18133
774.58/777.40	c INPROCESSING
774.58/777.40	c GARBAGE COLLECT
774.58/777.40	c #Conflicts:     199000 | #Constraints:      10333
774.58/777.40	c #Conflicts:     200000 | #Constraints:      11333
774.58/777.40	c #Conflicts:     201000 | #Constraints:      12333
774.58/777.40	c #Conflicts:     202000 | #Constraints:      13333
774.58/777.40	c #Conflicts:     203000 | #Constraints:      14333
774.58/777.40	c #Conflicts:     204000 | #Constraints:      15333
774.58/777.40	c #Conflicts:     205000 | #Constraints:      16333
774.58/777.40	c #Conflicts:     206000 | #Constraints:      17333
774.58/777.40	c #Conflicts:     207000 | #Constraints:      18333
774.58/777.40	c INPROCESSING
774.58/777.40	c GARBAGE COLLECT
774.58/777.40	c #Conflicts:     208000 | #Constraints:      10327
774.58/777.40	c #Conflicts:     209000 | #Constraints:      11327
774.58/777.40	c #Conflicts:     210000 | #Constraints:      12327
774.58/777.40	c #Conflicts:     211000 | #Constraints:      13327
774.58/777.40	c #Conflicts:     212000 | #Constraints:      14327
774.58/777.41	c #Conflicts:     213000 | #Constraints:      15327
774.58/777.41	c #Conflicts:     214000 | #Constraints:      16327
774.58/777.41	c #Conflicts:     215000 | #Constraints:      17327
774.58/777.41	c #Conflicts:     216000 | #Constraints:      18327
774.58/777.41	c INPROCESSING
774.58/777.41	c GARBAGE COLLECT
774.58/777.41	c #Conflicts:     217000 | #Constraints:      10134
774.58/777.41	c #Conflicts:     218000 | #Constraints:      11134
774.58/777.41	c #Conflicts:     219000 | #Constraints:      12134
774.58/777.41	c #Conflicts:     220000 | #Constraints:      13134
774.58/777.41	c #Conflicts:     221000 | #Constraints:      14134
774.58/777.41	c #Conflicts:     222000 | #Constraints:      15134
774.58/777.41	c #Conflicts:     223000 | #Constraints:      16134
774.58/777.41	c #Conflicts:     224000 | #Constraints:      17134
774.58/777.41	c #Conflicts:     225000 | #Constraints:      18134
774.58/777.41	c #Conflicts:     226000 | #Constraints:      19134
774.58/777.41	c INPROCESSING
774.58/777.41	c GARBAGE COLLECT
774.58/777.41	c #Conflicts:     227000 | #Constraints:      10732
774.58/777.41	c #Conflicts:     228000 | #Constraints:      11732
774.58/777.41	c #Conflicts:     229000 | #Constraints:      12732
774.58/777.41	c #Conflicts:     230000 | #Constraints:      13732
774.58/777.41	c #Conflicts:     231000 | #Constraints:      14732
774.58/777.41	c #Conflicts:     232000 | #Constraints:      15732
774.58/777.41	c #Conflicts:     233000 | #Constraints:      16732
774.58/777.41	c #Conflicts:     234000 | #Constraints:      17732
774.58/777.41	c #Conflicts:     235000 | #Constraints:      18732
774.58/777.41	c #Conflicts:     236000 | #Constraints:      19732
774.58/777.41	c INPROCESSING
774.58/777.41	c GARBAGE COLLECT
774.58/777.41	c #Conflicts:     237000 | #Constraints:      11129
774.58/777.41	c #Conflicts:     238000 | #Constraints:      12129
774.58/777.41	c #Conflicts:     239000 | #Constraints:      13129
774.58/777.41	c #Conflicts:     240000 | #Constraints:      14129
774.58/777.41	c #Conflicts:     241000 | #Constraints:      15129
774.58/777.41	c #Conflicts:     242000 | #Constraints:      16129
774.58/777.41	c #Conflicts:     243000 | #Constraints:      17129
774.58/777.41	c #Conflicts:     244000 | #Constraints:      18129
774.58/777.41	c #Conflicts:     245000 | #Constraints:      19129
774.58/777.41	c #Conflicts:     246000 | #Constraints:      20129
774.58/777.41	c INPROCESSING
774.58/777.41	c GARBAGE COLLECT
774.58/777.41	c #Conflicts:     247000 | #Constraints:      11330
774.58/777.41	c #Conflicts:     248000 | #Constraints:      12330
774.58/777.41	c #Conflicts:     249000 | #Constraints:      13330
996.49/999.93	c #Conflicts:     250000 | #Constraints:      14330
996.49/999.93	c #Conflicts:     251000 | #Constraints:      15330
996.49/999.93	c #Conflicts:     252000 | #Constraints:      16330
996.49/999.93	c #Conflicts:     253000 | #Constraints:      17330
996.49/999.93	c #Conflicts:     254000 | #Constraints:      18330
996.49/999.93	c #Conflicts:     255000 | #Constraints:      19330
996.49/999.93	c #Conflicts:     256000 | #Constraints:      20330
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     257000 | #Constraints:      11326
996.49/999.93	c #Conflicts:     258000 | #Constraints:      12326
996.49/999.93	c #Conflicts:     259000 | #Constraints:      13326
996.49/999.93	c #Conflicts:     260000 | #Constraints:      14326
996.49/999.93	c #Conflicts:     261000 | #Constraints:      15326
996.49/999.93	c #Conflicts:     262000 | #Constraints:      16326
996.49/999.93	c #Conflicts:     263000 | #Constraints:      17326
996.49/999.93	c #Conflicts:     264000 | #Constraints:      18326
996.49/999.93	c #Conflicts:     265000 | #Constraints:      19326
996.49/999.93	c #Conflicts:     266000 | #Constraints:      20326
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     267000 | #Constraints:      11131
996.49/999.93	c #Conflicts:     268000 | #Constraints:      12131
996.49/999.93	c #Conflicts:     269000 | #Constraints:      13131
996.49/999.93	c #Conflicts:     270000 | #Constraints:      14131
996.49/999.93	c #Conflicts:     271000 | #Constraints:      15131
996.49/999.93	c #Conflicts:     272000 | #Constraints:      16131
996.49/999.93	c #Conflicts:     273000 | #Constraints:      17131
996.49/999.93	c #Conflicts:     274000 | #Constraints:      18131
996.49/999.93	c #Conflicts:     275000 | #Constraints:      19131
996.49/999.93	c #Conflicts:     276000 | #Constraints:      20131
996.49/999.93	c #Conflicts:     277000 | #Constraints:      21131
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     278000 | #Constraints:      11724
996.49/999.93	c #Conflicts:     279000 | #Constraints:      12724
996.49/999.93	c #Conflicts:     280000 | #Constraints:      13724
996.49/999.93	c #Conflicts:     281000 | #Constraints:      14724
996.49/999.93	c #Conflicts:     282000 | #Constraints:      15724
996.49/999.93	c #Conflicts:     283000 | #Constraints:      16724
996.49/999.93	c #Conflicts:     284000 | #Constraints:      17724
996.49/999.93	c #Conflicts:     285000 | #Constraints:      18724
996.49/999.93	c #Conflicts:     286000 | #Constraints:      19724
996.49/999.93	c #Conflicts:     287000 | #Constraints:      20724
996.49/999.93	c #Conflicts:     288000 | #Constraints:      21724
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     289000 | #Constraints:      12124
996.49/999.93	c #Conflicts:     290000 | #Constraints:      13124
996.49/999.93	c #Conflicts:     291000 | #Constraints:      14124
996.49/999.93	c #Conflicts:     292000 | #Constraints:      15124
996.49/999.93	c #Conflicts:     293000 | #Constraints:      16124
996.49/999.93	c #Conflicts:     294000 | #Constraints:      17124
996.49/999.93	c #Conflicts:     295000 | #Constraints:      18124
996.49/999.93	c #Conflicts:     296000 | #Constraints:      19124
996.49/999.93	c #Conflicts:     297000 | #Constraints:      20124
996.49/999.93	c #Conflicts:     298000 | #Constraints:      21124
996.49/999.93	c #Conflicts:     299000 | #Constraints:      22124
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     300000 | #Constraints:      12323
996.49/999.93	c #Conflicts:     301000 | #Constraints:      13323
996.49/999.93	c #Conflicts:     302000 | #Constraints:      14323
996.49/999.93	c #Conflicts:     303000 | #Constraints:      15323
996.49/999.93	c #Conflicts:     304000 | #Constraints:      16323
996.49/999.93	c #Conflicts:     305000 | #Constraints:      17323
996.49/999.93	c #Conflicts:     306000 | #Constraints:      18323
996.49/999.93	c #Conflicts:     307000 | #Constraints:      19323
996.49/999.93	c #Conflicts:     308000 | #Constraints:      20323
996.49/999.93	c #Conflicts:     309000 | #Constraints:      21323
996.49/999.93	c #Conflicts:     310000 | #Constraints:      22323
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     311000 | #Constraints:      12326
996.49/999.93	c #Conflicts:     312000 | #Constraints:      13326
996.49/999.93	c #Conflicts:     313000 | #Constraints:      14326
996.49/999.93	c #Conflicts:     314000 | #Constraints:      15326
996.49/999.93	c #Conflicts:     315000 | #Constraints:      16326
996.49/999.93	c #Conflicts:     316000 | #Constraints:      17326
996.49/999.93	c #Conflicts:     317000 | #Constraints:      18326
996.49/999.93	c #Conflicts:     318000 | #Constraints:      19326
996.49/999.93	c #Conflicts:     319000 | #Constraints:      20326
996.49/999.93	c #Conflicts:     320000 | #Constraints:      21326
996.49/999.93	c #Conflicts:     321000 | #Constraints:      22326
996.49/999.93	c INPROCESSING
996.49/999.93	c GARBAGE COLLECT
996.49/999.93	c #Conflicts:     322000 | #Constraints:      12129
996.49/999.93	c #Conflicts:     323000 | #Constraints:      13129
1253.74/1257.89	c #Conflicts:     324000 | #Constraints:      14129
1253.74/1257.89	c #Conflicts:     325000 | #Constraints:      15129
1253.74/1257.89	c #Conflicts:     326000 | #Constraints:      16129
1253.74/1257.89	c #Conflicts:     327000 | #Constraints:      17129
1253.74/1257.89	c #Conflicts:     328000 | #Constraints:      18129
1253.74/1257.89	c #Conflicts:     329000 | #Constraints:      19129
1253.74/1257.89	c #Conflicts:     330000 | #Constraints:      20129
1253.74/1257.89	c #Conflicts:     331000 | #Constraints:      21129
1253.74/1257.89	c #Conflicts:     332000 | #Constraints:      22129
1253.74/1257.89	c #Conflicts:     333000 | #Constraints:      23129
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     334000 | #Constraints:      12729
1253.74/1257.89	c #Conflicts:     335000 | #Constraints:      13729
1253.74/1257.89	c #Conflicts:     336000 | #Constraints:      14729
1253.74/1257.89	c #Conflicts:     337000 | #Constraints:      15729
1253.74/1257.89	c #Conflicts:     338000 | #Constraints:      16729
1253.74/1257.89	c #Conflicts:     339000 | #Constraints:      17729
1253.74/1257.89	c #Conflicts:     340000 | #Constraints:      18729
1253.74/1257.89	c #Conflicts:     341000 | #Constraints:      19729
1253.74/1257.89	c #Conflicts:     342000 | #Constraints:      20729
1253.74/1257.89	c #Conflicts:     343000 | #Constraints:      21729
1253.74/1257.89	c #Conflicts:     344000 | #Constraints:      22729
1253.74/1257.89	c #Conflicts:     345000 | #Constraints:      23729
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     346000 | #Constraints:      13125
1253.74/1257.89	c #Conflicts:     347000 | #Constraints:      14125
1253.74/1257.89	c #Conflicts:     348000 | #Constraints:      15125
1253.74/1257.89	c #Conflicts:     349000 | #Constraints:      16125
1253.74/1257.89	c #Conflicts:     350000 | #Constraints:      17125
1253.74/1257.89	c #Conflicts:     351000 | #Constraints:      18125
1253.74/1257.89	c #Conflicts:     352000 | #Constraints:      19125
1253.74/1257.89	c #Conflicts:     353000 | #Constraints:      20125
1253.74/1257.89	c #Conflicts:     354000 | #Constraints:      21125
1253.74/1257.89	c #Conflicts:     355000 | #Constraints:      22125
1253.74/1257.89	c #Conflicts:     356000 | #Constraints:      23125
1253.74/1257.89	c #Conflicts:     357000 | #Constraints:      24125
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     358000 | #Constraints:      13326
1253.74/1257.89	c #Conflicts:     359000 | #Constraints:      14326
1253.74/1257.89	c #Conflicts:     360000 | #Constraints:      15326
1253.74/1257.89	c #Conflicts:     361000 | #Constraints:      16326
1253.74/1257.89	c #Conflicts:     362000 | #Constraints:      17326
1253.74/1257.89	c #Conflicts:     363000 | #Constraints:      18326
1253.74/1257.89	c #Conflicts:     364000 | #Constraints:      19326
1253.74/1257.89	c #Conflicts:     365000 | #Constraints:      20326
1253.74/1257.89	c #Conflicts:     366000 | #Constraints:      21326
1253.74/1257.89	c #Conflicts:     367000 | #Constraints:      22326
1253.74/1257.89	c #Conflicts:     368000 | #Constraints:      23326
1253.74/1257.89	c #Conflicts:     369000 | #Constraints:      24326
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     370000 | #Constraints:      13329
1253.74/1257.89	c #Conflicts:     371000 | #Constraints:      14329
1253.74/1257.89	c #Conflicts:     372000 | #Constraints:      15329
1253.74/1257.89	c #Conflicts:     373000 | #Constraints:      16329
1253.74/1257.89	c #Conflicts:     374000 | #Constraints:      17329
1253.74/1257.89	c #Conflicts:     375000 | #Constraints:      18329
1253.74/1257.89	c #Conflicts:     376000 | #Constraints:      19329
1253.74/1257.89	c #Conflicts:     377000 | #Constraints:      20329
1253.74/1257.89	c #Conflicts:     378000 | #Constraints:      21329
1253.74/1257.89	c #Conflicts:     379000 | #Constraints:      22329
1253.74/1257.89	c #Conflicts:     380000 | #Constraints:      23329
1253.74/1257.89	c #Conflicts:     381000 | #Constraints:      24329
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     382000 | #Constraints:      13131
1253.74/1257.89	c #Conflicts:     383000 | #Constraints:      14131
1253.74/1257.89	c #Conflicts:     384000 | #Constraints:      15131
1253.74/1257.89	c #Conflicts:     385000 | #Constraints:      16131
1253.74/1257.89	c #Conflicts:     386000 | #Constraints:      17131
1253.74/1257.89	c #Conflicts:     387000 | #Constraints:      18131
1253.74/1257.89	c #Conflicts:     388000 | #Constraints:      19131
1253.74/1257.89	c #Conflicts:     389000 | #Constraints:      20131
1253.74/1257.89	c #Conflicts:     390000 | #Constraints:      21131
1253.74/1257.89	c #Conflicts:     391000 | #Constraints:      22131
1253.74/1257.89	c #Conflicts:     392000 | #Constraints:      23131
1253.74/1257.89	c #Conflicts:     393000 | #Constraints:      24131
1253.74/1257.89	c #Conflicts:     394000 | #Constraints:      25131
1253.74/1257.89	c INPROCESSING
1253.74/1257.89	c GARBAGE COLLECT
1253.74/1257.89	c #Conflicts:     395000 | #Constraints:      13730
1253.74/1257.89	c #Conflicts:     396000 | #Constraints:      14730
1253.74/1257.89	c #Conflicts:     397000 | #Constraints:      15730
1253.74/1257.89	c #Conflicts:     398000 | #Constraints:      16730
1630.09/1635.18	c #Conflicts:     399000 | #Constraints:      17730
1630.09/1635.18	c #Conflicts:     400000 | #Constraints:      18730
1630.09/1635.18	c #Conflicts:     401000 | #Constraints:      19730
1630.09/1635.18	c #Conflicts:     402000 | #Constraints:      20730
1630.09/1635.18	c #Conflicts:     403000 | #Constraints:      21730
1630.09/1635.18	c #Conflicts:     404000 | #Constraints:      22730
1630.09/1635.18	c #Conflicts:     405000 | #Constraints:      23730
1630.09/1635.18	c #Conflicts:     406000 | #Constraints:      24730
1630.09/1635.18	c #Conflicts:     407000 | #Constraints:      25730
1630.09/1635.18	c INPROCESSING
1630.09/1635.18	c GARBAGE COLLECT
1630.09/1635.18	c #Conflicts:     408000 | #Constraints:      14126
1630.09/1635.18	c #Conflicts:     409000 | #Constraints:      15126
1630.09/1635.18	c #Conflicts:     410000 | #Constraints:      16126
1630.09/1635.18	c #Conflicts:     411000 | #Constraints:      17126
1630.09/1635.18	c #Conflicts:     412000 | #Constraints:      18126
1630.09/1635.18	c #Conflicts:     413000 | #Constraints:      19126
1630.09/1635.18	c #Conflicts:     414000 | #Constraints:      20126
1630.09/1635.18	c #Conflicts:     415000 | #Constraints:      21126
1630.09/1635.18	c #Conflicts:     416000 | #Constraints:      22126
1630.09/1635.18	c #Conflicts:     417000 | #Constraints:      23126
1630.09/1635.18	c #Conflicts:     418000 | #Constraints:      24126
1630.09/1635.18	c #Conflicts:     419000 | #Constraints:      25126
1630.09/1635.18	c #Conflicts:     420000 | #Constraints:      26126
1630.09/1635.18	c INPROCESSING
1630.09/1635.18	c GARBAGE COLLECT
1630.09/1635.18	c #Conflicts:     421000 | #Constraints:      14329
1630.09/1635.18	c #Conflicts:     422000 | #Constraints:      15329
1630.09/1635.18	c #Conflicts:     423000 | #Constraints:      16329
1630.09/1635.18	c #Conflicts:     424000 | #Constraints:      17329
1630.09/1635.18	c #Conflicts:     425000 | #Constraints:      18329
1630.09/1635.18	c #Conflicts:     426000 | #Constraints:      19329
1630.09/1635.18	c #Conflicts:     427000 | #Constraints:      20329
1630.09/1635.18	c #Conflicts:     428000 | #Constraints:      21329
1630.09/1635.18	c #Conflicts:     429000 | #Constraints:      22329
1630.09/1635.18	c #Conflicts:     430000 | #Constraints:      23329
1630.09/1635.18	c #Conflicts:     431000 | #Constraints:      24329
1630.09/1635.18	c #Conflicts:     432000 | #Constraints:      25329
1630.09/1635.18	c #Conflicts:     433000 | #Constraints:      26329
1630.09/1635.18	c INPROCESSING
1630.09/1635.18	c GARBAGE COLLECT
1630.09/1635.18	c #Conflicts:     434000 | #Constraints:      14325
1630.09/1635.18	c #Conflicts:     435000 | #Constraints:      15325
1630.09/1635.18	c #Conflicts:     436000 | #Constraints:      16325
1630.09/1635.18	c #Conflicts:     437000 | #Constraints:      17325
1630.09/1635.18	c #Conflicts:     438000 | #Constraints:      18325
1630.09/1635.18	c #Conflicts:     439000 | #Constraints:      19325
1630.09/1635.18	c #Conflicts:     440000 | #Constraints:      20325
1630.09/1635.18	c #Conflicts:     441000 | #Constraints:      21325
1630.09/1635.18	c #Conflicts:     442000 | #Constraints:      22325
1630.09/1635.18	c #Conflicts:     443000 | #Constraints:      23325
1630.09/1635.18	c #Conflicts:     444000 | #Constraints:      24325
1630.09/1635.18	c #Conflicts:     445000 | #Constraints:      25325
1630.09/1635.18	c #Conflicts:     446000 | #Constraints:      26325
1630.09/1635.18	c INPROCESSING
1630.09/1635.18	c GARBAGE COLLECT
1630.09/1635.18	c #Conflicts:     447000 | #Constraints:      14129
1630.09/1635.18	c #Conflicts:     448000 | #Constraints:      15129
1630.09/1635.18	c #Conflicts:     449000 | #Constraints:      16129
1630.09/1635.18	c #Conflicts:     450000 | #Constraints:      17129
1630.09/1635.18	c #Conflicts:     451000 | #Constraints:      18129
1630.09/1635.18	c #Conflicts:     452000 | #Constraints:      19129
1630.09/1635.18	c #Conflicts:     453000 | #Constraints:      20129
1630.09/1635.18	c #Conflicts:     454000 | #Constraints:      21129
1630.09/1635.18	c #Conflicts:     455000 | #Constraints:      22129
1630.09/1635.18	c #Conflicts:     456000 | #Constraints:      23129
1630.09/1635.18	c #Conflicts:     457000 | #Constraints:      24129
1630.09/1635.18	c #Conflicts:     458000 | #Constraints:      25129
1630.09/1635.18	c #Conflicts:     459000 | #Constraints:      26129
1630.09/1635.18	c #Conflicts:     460000 | #Constraints:      27129
1630.09/1635.18	c INPROCESSING
1630.09/1635.18	c GARBAGE COLLECT
1630.09/1635.18	c #Conflicts:     461000 | #Constraints:      14729
1630.09/1635.18	c #Conflicts:     462000 | #Constraints:      15729
1630.09/1635.18	c #Conflicts:     463000 | #Constraints:      16729
1630.09/1635.18	c #Conflicts:     464000 | #Constraints:      17729
1630.09/1635.18	c #Conflicts:     465000 | #Constraints:      18729
1630.09/1635.18	c #Conflicts:     466000 | #Constraints:      19729
1630.09/1635.18	c #Conflicts:     467000 | #Constraints:      20729
1630.09/1635.18	c #Conflicts:     468000 | #Constraints:      21729
1630.09/1635.18	c #Conflicts:     469000 | #Constraints:      22729
1630.09/1635.18	c #Conflicts:     470000 | #Constraints:      23729
1630.09/1635.18	c #Conflicts:     471000 | #Constraints:      24729
1630.09/1635.18	c #Conflicts:     472000 | #Constraints:      25729
1630.09/1635.18	c #Conflicts:     473000 | #Constraints:      26729
1630.09/1635.18	c #Conflicts:     474000 | #Constraints:      27729
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     475000 | #Constraints:      15132
1971.02/1976.92	c #Conflicts:     476000 | #Constraints:      16132
1971.02/1976.92	c #Conflicts:     477000 | #Constraints:      17132
1971.02/1976.92	c #Conflicts:     478000 | #Constraints:      18132
1971.02/1976.92	c #Conflicts:     479000 | #Constraints:      19132
1971.02/1976.92	c #Conflicts:     480000 | #Constraints:      20132
1971.02/1976.92	c #Conflicts:     481000 | #Constraints:      21132
1971.02/1976.92	c #Conflicts:     482000 | #Constraints:      22132
1971.02/1976.92	c #Conflicts:     483000 | #Constraints:      23132
1971.02/1976.92	c #Conflicts:     484000 | #Constraints:      24132
1971.02/1976.92	c #Conflicts:     485000 | #Constraints:      25132
1971.02/1976.92	c #Conflicts:     486000 | #Constraints:      26132
1971.02/1976.92	c #Conflicts:     487000 | #Constraints:      27132
1971.02/1976.92	c #Conflicts:     488000 | #Constraints:      28132
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     489000 | #Constraints:      15337
1971.02/1976.92	c #Conflicts:     490000 | #Constraints:      16337
1971.02/1976.92	c #Conflicts:     491000 | #Constraints:      17337
1971.02/1976.92	c #Conflicts:     492000 | #Constraints:      18337
1971.02/1976.92	c #Conflicts:     493000 | #Constraints:      19337
1971.02/1976.92	c #Conflicts:     494000 | #Constraints:      20337
1971.02/1976.92	c #Conflicts:     495000 | #Constraints:      21337
1971.02/1976.92	c #Conflicts:     496000 | #Constraints:      22337
1971.02/1976.92	c #Conflicts:     497000 | #Constraints:      23337
1971.02/1976.92	c #Conflicts:     498000 | #Constraints:      24337
1971.02/1976.92	c #Conflicts:     499000 | #Constraints:      25337
1971.02/1976.92	c #Conflicts:     500000 | #Constraints:      26337
1971.02/1976.92	c #Conflicts:     501000 | #Constraints:      27337
1971.02/1976.92	c #Conflicts:     502000 | #Constraints:      28337
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     503000 | #Constraints:      15334
1971.02/1976.92	c #Conflicts:     504000 | #Constraints:      16334
1971.02/1976.92	c #Conflicts:     505000 | #Constraints:      17334
1971.02/1976.92	c #Conflicts:     506000 | #Constraints:      18334
1971.02/1976.92	c #Conflicts:     507000 | #Constraints:      19334
1971.02/1976.92	c #Conflicts:     508000 | #Constraints:      20334
1971.02/1976.92	c #Conflicts:     509000 | #Constraints:      21334
1971.02/1976.92	c #Conflicts:     510000 | #Constraints:      22334
1971.02/1976.92	c #Conflicts:     511000 | #Constraints:      23334
1971.02/1976.92	c #Conflicts:     512000 | #Constraints:      24334
1971.02/1976.92	c #Conflicts:     513000 | #Constraints:      25334
1971.02/1976.92	c #Conflicts:     514000 | #Constraints:      26334
1971.02/1976.92	c #Conflicts:     515000 | #Constraints:      27334
1971.02/1976.92	c #Conflicts:     516000 | #Constraints:      28334
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     517000 | #Constraints:      15131
1971.02/1976.92	c #Conflicts:     518000 | #Constraints:      16131
1971.02/1976.92	c #Conflicts:     519000 | #Constraints:      17131
1971.02/1976.92	c #Conflicts:     520000 | #Constraints:      18131
1971.02/1976.92	c #Conflicts:     521000 | #Constraints:      19131
1971.02/1976.92	c #Conflicts:     522000 | #Constraints:      20131
1971.02/1976.92	c #Conflicts:     523000 | #Constraints:      21131
1971.02/1976.92	c #Conflicts:     524000 | #Constraints:      22131
1971.02/1976.92	c #Conflicts:     525000 | #Constraints:      23131
1971.02/1976.92	c #Conflicts:     526000 | #Constraints:      24131
1971.02/1976.92	c #Conflicts:     527000 | #Constraints:      25131
1971.02/1976.92	c #Conflicts:     528000 | #Constraints:      26131
1971.02/1976.92	c #Conflicts:     529000 | #Constraints:      27131
1971.02/1976.92	c #Conflicts:     530000 | #Constraints:      28131
1971.02/1976.92	c #Conflicts:     531000 | #Constraints:      29131
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     532000 | #Constraints:      15733
1971.02/1976.92	c #Conflicts:     533000 | #Constraints:      16733
1971.02/1976.92	c #Conflicts:     534000 | #Constraints:      17733
1971.02/1976.92	c #Conflicts:     535000 | #Constraints:      18733
1971.02/1976.92	c #Conflicts:     536000 | #Constraints:      19733
1971.02/1976.92	c #Conflicts:     537000 | #Constraints:      20733
1971.02/1976.92	c #Conflicts:     538000 | #Constraints:      21733
1971.02/1976.92	c #Conflicts:     539000 | #Constraints:      22733
1971.02/1976.92	c #Conflicts:     540000 | #Constraints:      23733
1971.02/1976.92	c #Conflicts:     541000 | #Constraints:      24733
1971.02/1976.92	c #Conflicts:     542000 | #Constraints:      25733
1971.02/1976.92	c #Conflicts:     543000 | #Constraints:      26733
1971.02/1976.92	c #Conflicts:     544000 | #Constraints:      27733
1971.02/1976.92	c #Conflicts:     545000 | #Constraints:      28733
1971.02/1976.92	c #Conflicts:     546000 | #Constraints:      29733
1971.02/1976.92	c INPROCESSING
1971.02/1976.92	c GARBAGE COLLECT
1971.02/1976.92	c #Conflicts:     547000 | #Constraints:      16127
1971.02/1976.92	c #Conflicts:     548000 | #Constraints:      17127
1971.02/1976.92	c #Conflicts:     549000 | #Constraints:      18127
2347.18/2354.05	c #Conflicts:     550000 | #Constraints:      19127
2347.18/2354.05	c #Conflicts:     551000 | #Constraints:      20127
2347.18/2354.05	c #Conflicts:     552000 | #Constraints:      21127
2347.18/2354.05	c #Conflicts:     553000 | #Constraints:      22127
2347.18/2354.05	c #Conflicts:     554000 | #Constraints:      23127
2347.18/2354.05	c #Conflicts:     555000 | #Constraints:      24127
2347.18/2354.05	c #Conflicts:     556000 | #Constraints:      25127
2347.18/2354.05	c #Conflicts:     557000 | #Constraints:      26127
2347.18/2354.05	c #Conflicts:     558000 | #Constraints:      27127
2347.18/2354.05	c #Conflicts:     559000 | #Constraints:      28127
2347.18/2354.05	c #Conflicts:     560000 | #Constraints:      29127
2347.18/2354.05	c #Conflicts:     561000 | #Constraints:      30127
2347.18/2354.05	c INPROCESSING
2347.18/2354.05	c GARBAGE COLLECT
2347.18/2354.05	c #Conflicts:     562000 | #Constraints:      16331
2347.18/2354.05	c #Conflicts:     563000 | #Constraints:      17331
2347.18/2354.05	c #Conflicts:     564000 | #Constraints:      18331
2347.18/2354.05	c #Conflicts:     565000 | #Constraints:      19331
2347.18/2354.05	c #Conflicts:     566000 | #Constraints:      20331
2347.18/2354.05	c #Conflicts:     567000 | #Constraints:      21331
2347.18/2354.05	c #Conflicts:     568000 | #Constraints:      22331
2347.18/2354.05	c #Conflicts:     569000 | #Constraints:      23331
2347.18/2354.05	c #Conflicts:     570000 | #Constraints:      24331
2347.18/2354.05	c #Conflicts:     571000 | #Constraints:      25331
2347.18/2354.05	c #Conflicts:     572000 | #Constraints:      26331
2347.18/2354.05	c #Conflicts:     573000 | #Constraints:      27331
2347.18/2354.05	c #Conflicts:     574000 | #Constraints:      28331
2347.18/2354.05	c #Conflicts:     575000 | #Constraints:      29331
2347.18/2354.05	c #Conflicts:     576000 | #Constraints:      30331
2347.18/2354.05	c INPROCESSING
2347.18/2354.05	c GARBAGE COLLECT
2347.18/2354.05	c #Conflicts:     577000 | #Constraints:      16330
2347.18/2354.05	c #Conflicts:     578000 | #Constraints:      17330
2347.18/2354.05	c #Conflicts:     579000 | #Constraints:      18330
2347.18/2354.05	c #Conflicts:     580000 | #Constraints:      19330
2347.18/2354.05	c #Conflicts:     581000 | #Constraints:      20330
2347.18/2354.05	c #Conflicts:     582000 | #Constraints:      21330
2347.18/2354.05	c #Conflicts:     583000 | #Constraints:      22330
2347.18/2354.05	c #Conflicts:     584000 | #Constraints:      23330
2347.18/2354.05	c #Conflicts:     585000 | #Constraints:      24330
2347.18/2354.05	c #Conflicts:     586000 | #Constraints:      25330
2347.18/2354.05	c #Conflicts:     587000 | #Constraints:      26330
2347.18/2354.05	c #Conflicts:     588000 | #Constraints:      27330
2347.18/2354.05	c #Conflicts:     589000 | #Constraints:      28330
2347.18/2354.05	c #Conflicts:     590000 | #Constraints:      29330
2347.18/2354.05	c #Conflicts:     591000 | #Constraints:      30330
2347.18/2354.05	c INPROCESSING
2347.18/2354.05	c GARBAGE COLLECT
2347.18/2354.05	c #Conflicts:     592000 | #Constraints:      16133
2347.18/2354.05	c #Conflicts:     593000 | #Constraints:      17133
2347.18/2354.05	c #Conflicts:     594000 | #Constraints:      18133
2347.18/2354.05	c #Conflicts:     595000 | #Constraints:      19133
2347.18/2354.05	c #Conflicts:     596000 | #Constraints:      20133
2347.18/2354.05	c #Conflicts:     597000 | #Constraints:      21133
2347.18/2354.05	c #Conflicts:     598000 | #Constraints:      22133
2347.18/2354.05	c #Conflicts:     599000 | #Constraints:      23133
2347.18/2354.05	c #Conflicts:     600000 | #Constraints:      24133
2347.18/2354.05	c #Conflicts:     601000 | #Constraints:      25133
2347.18/2354.05	c #Conflicts:     602000 | #Constraints:      26133
2347.18/2354.05	c #Conflicts:     603000 | #Constraints:      27133
2347.18/2354.05	c #Conflicts:     604000 | #Constraints:      28133
2347.18/2354.05	c #Conflicts:     605000 | #Constraints:      29133
2347.18/2354.05	c #Conflicts:     606000 | #Constraints:      30133
2347.18/2354.05	c #Conflicts:     607000 | #Constraints:      31133
2347.18/2354.05	c INPROCESSING
2347.18/2354.05	c GARBAGE COLLECT
2347.18/2354.05	c #Conflicts:     608000 | #Constraints:      16730
2347.18/2354.05	c #Conflicts:     609000 | #Constraints:      17730
2347.18/2354.05	c #Conflicts:     610000 | #Constraints:      18730
2347.18/2354.05	c #Conflicts:     611000 | #Constraints:      19730
2347.18/2354.05	c #Conflicts:     612000 | #Constraints:      20730
2347.18/2354.05	c #Conflicts:     613000 | #Constraints:      21730
2347.18/2354.05	c #Conflicts:     614000 | #Constraints:      22730
2347.18/2354.05	c #Conflicts:     615000 | #Constraints:      23730
2347.18/2354.05	c #Conflicts:     616000 | #Constraints:      24730
2347.18/2354.05	c #Conflicts:     617000 | #Constraints:      25730
2347.18/2354.05	c #Conflicts:     618000 | #Constraints:      26730
2347.18/2354.05	c #Conflicts:     619000 | #Constraints:      27730
2347.18/2354.05	c #Conflicts:     620000 | #Constraints:      28730
2347.18/2354.05	c #Conflicts:     621000 | #Constraints:      29730
2347.18/2354.05	c #Conflicts:     622000 | #Constraints:      30730
2347.18/2354.05	c #Conflicts:     623000 | #Constraints:      31730
2347.18/2354.05	c INPROCESSING
2347.18/2354.05	c GARBAGE COLLECT
2347.18/2354.05	c #Conflicts:     624000 | #Constraints:      17126
2729.79/2737.65	c #Conflicts:     625000 | #Constraints:      18126
2729.79/2737.65	c #Conflicts:     626000 | #Constraints:      19126
2729.79/2737.65	c #Conflicts:     627000 | #Constraints:      20126
2729.79/2737.65	c #Conflicts:     628000 | #Constraints:      21126
2729.79/2737.65	c #Conflicts:     629000 | #Constraints:      22126
2729.79/2737.65	c #Conflicts:     630000 | #Constraints:      23126
2729.79/2737.65	c #Conflicts:     631000 | #Constraints:      24126
2729.79/2737.65	c #Conflicts:     632000 | #Constraints:      25126
2729.79/2737.65	c #Conflicts:     633000 | #Constraints:      26126
2729.79/2737.65	c #Conflicts:     634000 | #Constraints:      27126
2729.79/2737.65	c #Conflicts:     635000 | #Constraints:      28126
2729.79/2737.65	c #Conflicts:     636000 | #Constraints:      29126
2729.79/2737.65	c #Conflicts:     637000 | #Constraints:      30126
2729.79/2737.65	c #Conflicts:     638000 | #Constraints:      31126
2729.79/2737.65	c #Conflicts:     639000 | #Constraints:      32126
2729.79/2737.65	c INPROCESSING
2729.79/2737.65	c GARBAGE COLLECT
2729.79/2737.65	c #Conflicts:     640000 | #Constraints:      17328
2729.79/2737.65	c #Conflicts:     641000 | #Constraints:      18328
2729.79/2737.65	c #Conflicts:     642000 | #Constraints:      19328
2729.79/2737.65	c #Conflicts:     643000 | #Constraints:      20328
2729.79/2737.65	c #Conflicts:     644000 | #Constraints:      21328
2729.79/2737.65	c #Conflicts:     645000 | #Constraints:      22328
2729.79/2737.65	c #Conflicts:     646000 | #Constraints:      23328
2729.79/2737.65	c #Conflicts:     647000 | #Constraints:      24328
2729.79/2737.65	c #Conflicts:     648000 | #Constraints:      25328
2729.79/2737.65	c #Conflicts:     649000 | #Constraints:      26328
2729.79/2737.65	c #Conflicts:     650000 | #Constraints:      27328
2729.79/2737.65	c #Conflicts:     651000 | #Constraints:      28328
2729.79/2737.65	c #Conflicts:     652000 | #Constraints:      29328
2729.79/2737.65	c #Conflicts:     653000 | #Constraints:      30328
2729.79/2737.65	c #Conflicts:     654000 | #Constraints:      31328
2729.79/2737.65	c #Conflicts:     655000 | #Constraints:      32328
2729.79/2737.65	c INPROCESSING
2729.79/2737.65	c GARBAGE COLLECT
2729.79/2737.65	c #Conflicts:     656000 | #Constraints:      17326
2729.79/2737.65	c #Conflicts:     657000 | #Constraints:      18326
2729.79/2737.65	c #Conflicts:     658000 | #Constraints:      19326
2729.79/2737.65	c #Conflicts:     659000 | #Constraints:      20326
2729.79/2737.65	c #Conflicts:     660000 | #Constraints:      21326
2729.79/2737.65	c #Conflicts:     661000 | #Constraints:      22326
2729.79/2737.65	c #Conflicts:     662000 | #Constraints:      23326
2729.79/2737.65	c #Conflicts:     663000 | #Constraints:      24326
2729.79/2737.65	c #Conflicts:     664000 | #Constraints:      25326
2729.79/2737.65	c #Conflicts:     665000 | #Constraints:      26326
2729.79/2737.65	c #Conflicts:     666000 | #Constraints:      27326
2729.79/2737.65	c #Conflicts:     667000 | #Constraints:      28326
2729.79/2737.65	c #Conflicts:     668000 | #Constraints:      29326
2729.79/2737.65	c #Conflicts:     669000 | #Constraints:      30326
2729.79/2737.65	c #Conflicts:     670000 | #Constraints:      31326
2729.79/2737.65	c #Conflicts:     671000 | #Constraints:      32326
2729.79/2737.65	c INPROCESSING
2729.79/2737.65	c GARBAGE COLLECT
2729.79/2737.65	c #Conflicts:     672000 | #Constraints:      17122
2729.79/2737.65	c #Conflicts:     673000 | #Constraints:      18122
2729.79/2737.65	c #Conflicts:     674000 | #Constraints:      19122
2729.79/2737.65	c #Conflicts:     675000 | #Constraints:      20122
2729.79/2737.65	c #Conflicts:     676000 | #Constraints:      21122
2729.79/2737.65	c #Conflicts:     677000 | #Constraints:      22122
2729.79/2737.65	c #Conflicts:     678000 | #Constraints:      23122
2729.79/2737.65	c #Conflicts:     679000 | #Constraints:      24122
2729.79/2737.65	c #Conflicts:     680000 | #Constraints:      25122
2729.79/2737.65	c #Conflicts:     681000 | #Constraints:      26122
2729.79/2737.65	c #Conflicts:     682000 | #Constraints:      27122
2729.79/2737.65	c #Conflicts:     683000 | #Constraints:      28122
2729.79/2737.65	c #Conflicts:     684000 | #Constraints:      29122
2729.79/2737.65	c #Conflicts:     685000 | #Constraints:      30122
2729.79/2737.65	c #Conflicts:     686000 | #Constraints:      31122
2729.79/2737.65	c #Conflicts:     687000 | #Constraints:      32122
2729.79/2737.65	c #Conflicts:     688000 | #Constraints:      33122
2729.79/2737.65	c INPROCESSING
2729.79/2737.65	c GARBAGE COLLECT
2729.79/2737.65	c #Conflicts:     689000 | #Constraints:      17721
2729.79/2737.65	c #Conflicts:     690000 | #Constraints:      18721
2729.79/2737.65	c #Conflicts:     691000 | #Constraints:      19721
2729.79/2737.65	c #Conflicts:     692000 | #Constraints:      20721
2729.79/2737.65	c #Conflicts:     693000 | #Constraints:      21721
2729.79/2737.65	c #Conflicts:     694000 | #Constraints:      22721
2729.79/2737.65	c #Conflicts:     695000 | #Constraints:      23721
2729.79/2737.65	c #Conflicts:     696000 | #Constraints:      24721
2729.79/2737.65	c #Conflicts:     697000 | #Constraints:      25721
2729.79/2737.65	c #Conflicts:     698000 | #Constraints:      26721
2729.79/2737.65	c #Conflicts:     699000 | #Constraints:      27721
2729.79/2737.65	c #Conflicts:     700000 | #Constraints:      28721
3192.32/3201.45	c #Conflicts:     701000 | #Constraints:      29721
3192.32/3201.45	c #Conflicts:     702000 | #Constraints:      30721
3192.32/3201.45	c #Conflicts:     703000 | #Constraints:      31721
3192.32/3201.45	c #Conflicts:     704000 | #Constraints:      32721
3192.32/3201.45	c #Conflicts:     705000 | #Constraints:      33721
3192.32/3201.45	c INPROCESSING
3192.32/3201.45	c GARBAGE COLLECT
3192.32/3201.45	c #Conflicts:     706000 | #Constraints:      18125
3192.32/3201.45	c #Conflicts:     707000 | #Constraints:      19125
3192.32/3201.45	c #Conflicts:     708000 | #Constraints:      20125
3192.32/3201.45	c #Conflicts:     709000 | #Constraints:      21125
3192.32/3201.45	c #Conflicts:     710000 | #Constraints:      22125
3192.32/3201.45	c #Conflicts:     711000 | #Constraints:      23125
3192.32/3201.45	c #Conflicts:     712000 | #Constraints:      24125
3192.32/3201.45	c #Conflicts:     713000 | #Constraints:      25125
3192.32/3201.45	c #Conflicts:     714000 | #Constraints:      26125
3192.32/3201.45	c #Conflicts:     715000 | #Constraints:      27125
3192.32/3201.45	c #Conflicts:     716000 | #Constraints:      28125
3192.32/3201.45	c #Conflicts:     717000 | #Constraints:      29125
3192.32/3201.45	c #Conflicts:     718000 | #Constraints:      30125
3192.32/3201.45	c #Conflicts:     719000 | #Constraints:      31125
3192.32/3201.45	c #Conflicts:     720000 | #Constraints:      32125
3192.32/3201.45	c #Conflicts:     721000 | #Constraints:      33125
3192.32/3201.45	c #Conflicts:     722000 | #Constraints:      34125
3192.32/3201.45	c INPROCESSING
3192.32/3201.45	c GARBAGE COLLECT
3192.32/3201.45	c #Conflicts:     723000 | #Constraints:      18327
3192.32/3201.45	c #Conflicts:     724000 | #Constraints:      19327
3192.32/3201.45	c #Conflicts:     725000 | #Constraints:      20327
3192.32/3201.45	c #Conflicts:     726000 | #Constraints:      21327
3192.32/3201.45	c #Conflicts:     727000 | #Constraints:      22327
3192.32/3201.45	c #Conflicts:     728000 | #Constraints:      23327
3192.32/3201.45	c #Conflicts:     729000 | #Constraints:      24327
3192.32/3201.45	c #Conflicts:     730000 | #Constraints:      25327
3192.32/3201.45	c #Conflicts:     731000 | #Constraints:      26327
3192.32/3201.45	c #Conflicts:     732000 | #Constraints:      27327
3192.32/3201.45	c #Conflicts:     733000 | #Constraints:      28327
3192.32/3201.45	c #Conflicts:     734000 | #Constraints:      29327
3192.32/3201.45	c #Conflicts:     735000 | #Constraints:      30327
3192.32/3201.45	c #Conflicts:     736000 | #Constraints:      31327
3192.32/3201.45	c #Conflicts:     737000 | #Constraints:      32327
3192.32/3201.45	c #Conflicts:     738000 | #Constraints:      33327
3192.32/3201.45	c #Conflicts:     739000 | #Constraints:      34327
3192.32/3201.45	c INPROCESSING
3192.32/3201.45	c GARBAGE COLLECT
3192.32/3201.45	c #Conflicts:     740000 | #Constraints:      18329
3192.32/3201.45	c #Conflicts:     741000 | #Constraints:      19329
3192.32/3201.45	c #Conflicts:     742000 | #Constraints:      20329
3192.32/3201.45	c #Conflicts:     743000 | #Constraints:      21329
3192.32/3201.45	c #Conflicts:     744000 | #Constraints:      22329
3192.32/3201.45	c #Conflicts:     745000 | #Constraints:      23329
3192.32/3201.45	c #Conflicts:     746000 | #Constraints:      24329
3192.32/3201.45	c #Conflicts:     747000 | #Constraints:      25329
3192.32/3201.45	c #Conflicts:     748000 | #Constraints:      26329
3192.32/3201.45	c #Conflicts:     749000 | #Constraints:      27329
3192.32/3201.45	c #Conflicts:     750000 | #Constraints:      28329
3192.32/3201.45	c #Conflicts:     751000 | #Constraints:      29329
3192.32/3201.45	c #Conflicts:     752000 | #Constraints:      30329
3192.32/3201.45	c #Conflicts:     753000 | #Constraints:      31329
3192.32/3201.45	c #Conflicts:     754000 | #Constraints:      32329
3192.32/3201.45	c #Conflicts:     755000 | #Constraints:      33329
3192.32/3201.45	c #Conflicts:     756000 | #Constraints:      34329
3192.32/3201.45	c INPROCESSING
3192.32/3201.45	c GARBAGE COLLECT
3192.32/3201.45	c #Conflicts:     757000 | #Constraints:      18130
3192.32/3201.45	c #Conflicts:     758000 | #Constraints:      19130
3192.32/3201.45	c #Conflicts:     759000 | #Constraints:      20130
3192.32/3201.45	c #Conflicts:     760000 | #Constraints:      21130
3192.32/3201.45	c #Conflicts:     761000 | #Constraints:      22130
3192.32/3201.45	c #Conflicts:     762000 | #Constraints:      23130
3192.32/3201.45	c #Conflicts:     763000 | #Constraints:      24130
3192.32/3201.45	c #Conflicts:     764000 | #Constraints:      25130
3192.32/3201.45	c #Conflicts:     765000 | #Constraints:      26130
3192.32/3201.45	c #Conflicts:     766000 | #Constraints:      27130
3192.32/3201.45	c #Conflicts:     767000 | #Constraints:      28130
3192.32/3201.45	c #Conflicts:     768000 | #Constraints:      29130
3192.32/3201.45	c #Conflicts:     769000 | #Constraints:      30130
3192.32/3201.45	c #Conflicts:     770000 | #Constraints:      31130
3192.32/3201.45	c #Conflicts:     771000 | #Constraints:      32130
3192.32/3201.45	c #Conflicts:     772000 | #Constraints:      33130
3192.32/3201.45	c #Conflicts:     773000 | #Constraints:      34130
3192.32/3201.45	c #Conflicts:     774000 | #Constraints:      35130
3192.32/3201.45	c INPROCESSING
3192.32/3201.45	c GARBAGE COLLECT
3192.32/3201.45	c #Conflicts:     775000 | #Constraints:      18727
3192.32/3201.45	c #Conflicts:     776000 | #Constraints:      19727
3600.02/3610.20	c #Conflicts:     777000 | #Constraints:      20727
3600.02/3610.20	c #Conflicts:     778000 | #Constraints:      21727
3600.02/3610.20	c #Conflicts:     779000 | #Constraints:      22727
3600.02/3610.20	c #Conflicts:     780000 | #Constraints:      23727
3600.02/3610.20	c #Conflicts:     781000 | #Constraints:      24727
3600.02/3610.20	c #Conflicts:     782000 | #Constraints:      25727
3600.02/3610.20	c #Conflicts:     783000 | #Constraints:      26727
3600.02/3610.20	c #Conflicts:     784000 | #Constraints:      27727
3600.02/3610.20	c #Conflicts:     785000 | #Constraints:      28727
3600.02/3610.20	c #Conflicts:     786000 | #Constraints:      29727
3600.02/3610.20	c #Conflicts:     787000 | #Constraints:      30727
3600.02/3610.20	c #Conflicts:     788000 | #Constraints:      31727
3600.02/3610.20	c #Conflicts:     789000 | #Constraints:      32727
3600.02/3610.20	c #Conflicts:     790000 | #Constraints:      33727
3600.02/3610.20	c #Conflicts:     791000 | #Constraints:      34727
3600.02/3610.20	c #Conflicts:     792000 | #Constraints:      35727
3600.02/3610.20	c INPROCESSING
3600.02/3610.20	c GARBAGE COLLECT
3600.02/3610.20	c #Conflicts:     793000 | #Constraints:      19130
3600.02/3610.20	c #Conflicts:     794000 | #Constraints:      20130
3600.02/3610.20	c #Conflicts:     795000 | #Constraints:      21130
3600.02/3610.20	c #Conflicts:     796000 | #Constraints:      22130
3600.02/3610.20	c #Conflicts:     797000 | #Constraints:      23130
3600.02/3610.20	c #Conflicts:     798000 | #Constraints:      24130
3600.02/3610.20	c #Conflicts:     799000 | #Constraints:      25130
3600.02/3610.20	c #Conflicts:     800000 | #Constraints:      26130
3600.02/3610.20	c #Conflicts:     801000 | #Constraints:      27130
3600.02/3610.20	c #Conflicts:     802000 | #Constraints:      28130
3600.02/3610.20	c #Conflicts:     803000 | #Constraints:      29130
3600.02/3610.20	c #Conflicts:     804000 | #Constraints:      30130
3600.02/3610.20	c #Conflicts:     805000 | #Constraints:      31130
3600.02/3610.20	c #Conflicts:     806000 | #Constraints:      32130
3600.02/3610.20	c #Conflicts:     807000 | #Constraints:      33130
3600.02/3610.20	c #Conflicts:     808000 | #Constraints:      34130
3600.02/3610.20	c #Conflicts:     809000 | #Constraints:      35130
3600.02/3610.20	c #Conflicts:     810000 | #Constraints:      36130
3600.02/3610.20	c INPROCESSING
3600.02/3610.20	c GARBAGE COLLECT
3600.02/3610.20	c #Conflicts:     811000 | #Constraints:      19328
3600.02/3610.20	c #Conflicts:     812000 | #Constraints:      20328
3600.02/3610.20	c #Conflicts:     813000 | #Constraints:      21328
3600.02/3610.20	c #Conflicts:     814000 | #Constraints:      22328
3600.02/3610.20	c #Conflicts:     815000 | #Constraints:      23328
3600.02/3610.20	c #Conflicts:     816000 | #Constraints:      24328
3600.02/3610.20	c #Conflicts:     817000 | #Constraints:      25328
3600.02/3610.20	c #Conflicts:     818000 | #Constraints:      26328
3600.02/3610.20	c #Conflicts:     819000 | #Constraints:      27328
3600.02/3610.20	c #Conflicts:     820000 | #Constraints:      28328
3600.02/3610.20	c #Conflicts:     821000 | #Constraints:      29328
3600.02/3610.20	c #Conflicts:     822000 | #Constraints:      30328
3600.02/3610.20	c #Conflicts:     823000 | #Constraints:      31328
3600.02/3610.20	c #Conflicts:     824000 | #Constraints:      32328
3600.02/3610.20	c #Conflicts:     825000 | #Constraints:      33328
3600.02/3610.20	c #Conflicts:     826000 | #Constraints:      34328
3600.02/3610.20	c #Conflicts:     827000 | #Constraints:      35328
3600.02/3610.20	c #Conflicts:     828000 | #Constraints:      36328
3600.02/3610.20	c INPROCESSING
3600.02/3610.20	c GARBAGE COLLECT
3600.02/3610.20	c #Conflicts:     829000 | #Constraints:      19325
3600.02/3610.20	c #Conflicts:     830000 | #Constraints:      20325
3600.02/3610.20	c #Conflicts:     831000 | #Constraints:      21325
3600.02/3610.20	c #Conflicts:     832000 | #Constraints:      22325
3600.02/3610.20	c #Conflicts:     833000 | #Constraints:      23325
3600.02/3610.20	c #Conflicts:     834000 | #Constraints:      24325
3600.02/3610.20	c #Conflicts:     835000 | #Constraints:      25325
3600.02/3610.20	c #Conflicts:     836000 | #Constraints:      26325
3600.02/3610.20	c #Conflicts:     837000 | #Constraints:      27325
3600.02/3610.20	c #Conflicts:     838000 | #Constraints:      28325
3600.02/3610.20	c #Conflicts:     839000 | #Constraints:      29325
3600.02/3610.20	c #Conflicts:     840000 | #Constraints:      30325
3600.02/3610.20	c #Conflicts:     841000 | #Constraints:      31325
3600.02/3610.20	c Program interrupted by user.
3600.02/3610.20	c cpu time 3590.85 s
3600.02/3610.20	c deterministic time 383043661855 3.83e+11
3600.02/3610.20	c optimization time 89.3114 s
3600.02/3610.20	c total solve time 3202.49 s
3600.02/3610.20	c core-guided solve time 3202.49 s
3600.02/3610.20	c propagation time 2876.29 s
3600.02/3610.20	c conflict analysis time 364.119 s
3600.02/3610.20	c propagations 54663779
3600.02/3610.20	c resolve steps 4257476
3600.02/3610.20	c decisions 5328728
3600.02/3610.20	c conflicts 841770
3600.02/3610.20	c restarts 1788
3600.02/3610.20	c inprocessing phases 82
3600.02/3610.20	c input clauses 45
3600.02/3610.20	c input cardinalities 79
3600.02/3610.20	c input general constraints 462
3600.02/3610.20	c input average constraint length 70.34
3600.02/3610.20	c input average constraint degree 33.67
3600.02/3610.20	c learned clauses 152375
3600.02/3610.20	c learned cardinalities 325
3600.02/3610.20	c learned general constraints 689074
3600.02/3610.20	c learned average constraint length 321.08
3600.02/3610.20	c learned average constraint degree 255869.23
3600.02/3610.20	c watched constraints 579925
3600.02/3610.20	c counting constraints 109611
3600.02/3610.20	c gcd simplifications 120436
3600.02/3610.20	c detected cardinalities 239
3600.02/3610.20	c weakened non-implied lits 22028644
3600.02/3610.20	c weakened non-implying lits 70566
3600.02/3610.20	c original variables 467
3600.02/3610.20	c clausal propagations 740920
3600.02/3610.20	c cardinality propagations 75535
3600.02/3610.20	c watched propagations 30817927
3600.02/3610.20	c counting propagations 22348368
3600.02/3610.20	c watch lookups 62715572559
3600.02/3610.20	c watch backjump lookups 59115509972
3600.02/3610.20	c watch checks 253633725952
3600.02/3610.20	c propagation checks 6599821662
3600.02/3610.20	c constraint additions 858205418
3600.02/3610.20	c trail pops 60833784
3600.02/3610.20	c formula constraints 466
3600.02/3610.20	c learned constraints 841774
3600.02/3610.20	c bound constraints 79
3600.02/3610.20	c core-guided constraints 41
3600.02/3610.20	c encountered formula constraints 2638540
3600.02/3610.20	c encountered learned constraints 2406182
3600.02/3610.20	c encountered bound constraints 249
3600.02/3610.20	c encountered core-guided constraints 54275
3600.02/3610.20	c LP total time 0 s
3600.02/3610.20	c LP solve time 0 s
3600.02/3610.20	c LP constraints added 0
3600.02/3610.20	c LP constraints removed 0
3600.02/3610.20	c LP pivots internal 0
3600.02/3610.20	c LP pivots root 0
3600.02/3610.20	c LP calls 0
3600.02/3610.20	c LP optimalities 0
3600.02/3610.20	c LP no pivot count 0
3600.02/3610.20	c LP infeasibilities 0
3600.02/3610.20	c LP valid Farkas constraints 0
3600.02/3610.20	c LP learned Farkas constraints 0
3600.02/3610.20	c LP basis resets 0
3600.02/3610.20	c LP cycling count 0
3600.02/3610.20	c LP singular count 0
3600.02/3610.20	c LP no primal count 0
3600.02/3610.20	c LP no farkas count 0
3600.02/3610.20	c LP other issue count 0
3600.02/3610.20	c LP Gomory cuts 0
3600.02/3610.20	c LP learned cuts 0
3600.02/3610.20	c LP deleted cuts 0
3600.02/3610.20	c LP encountered Gomory constraints 0
3600.02/3610.20	c LP encountered Farkas constraints 0
3600.02/3610.20	c LP encountered learned Farkas constraints 0
3600.02/3610.20	c CG auxiliary variables introduced 41
3600.02/3610.20	c CG solutions found 0
3600.02/3610.20	c CG cores constructed 78
3600.02/3610.20	c CG core cardinality constraints returned 0
3600.02/3610.20	c CG unit cores 0
3600.02/3610.20	c CG single cores 78
3600.02/3610.20	c CG blocks removed during cardinality reduction 0
3600.02/3610.20	c CG first core best 0
3600.02/3610.20	c CG decision core best 0
3600.02/3610.20	c CG core reduction tie 0
3600.02/3610.20	c CG core degree average 1.00
3600.02/3610.20	c CG core slack average 2.77
3600.02/3610.20	c CG exhausted 0
3600.02/3610.20	c CG exhaust time 0 s
3600.02/3610.20	c CG trimmed 1
3600.02/3610.20	c CG trim time 0.000475 s
3600.02/3610.20	c CG minimized 0
3600.02/3610.20	c CG minimize time 0 s
3600.02/3610.20	c CG am1 prop time 0.000785 s
3600.02/3610.20	c CG # am1s reformulated 41
3600.02/3610.20	c CG lower bound derived from am1s 41
3600.02/3610.20	c CG # clausal cores 12
3600.02/3610.20	c CG # cardinality cores 0
3600.02/3610.20	c CG # pb cores 66
3600.02/3610.20	c CG # pb reforms 0
3600.02/3610.20	c CG # cores discarded because of pb reform 0
3600.02/3610.20	d LOWERBOUND 119
3600.02/3610.20	d NCORES 78
3600.02/3610.20	d NPBCORES 66
3600.02/3610.20	d NPBREFORM 0
3600.02/3610.20	d NTRIMMED 1
3600.02/3610.20	d NEXHAUSTED 0
3600.02/3610.20	d NAM1S 41
3600.02/3610.20	d AM1LB 41
3600.02/3610.20	c [Papilo Statistics]
3600.02/3610.20	c prepro time 0.00148133s
3600.02/3610.20	c # tsx applied 23
3600.02/3610.20	c # tsx conflicts 0
3600.02/3610.20	c # bound changes 0
3600.02/3610.20	c # side changes 0
3600.02/3610.20	c # coef changes 54
3600.02/3610.20	c # rounds 3
3600.02/3610.20	c # deted vars 0
3600.02/3610.20	c # deted constrs 0
3600.02/3610.20	c # consecutive rounds of only bound changes 0
3600.02/3610.20	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435453-1721092424/watcher-4435453-1721092424 -o /tmp/evaluation-result-4435453-1721092424/solver-4435453-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831067 --watchdog 3760 mixed-bag HOME/instance-4435453-1721092424.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100084 s]*
/proc/loadavg: 3.95 4.19 4.19 7/259 831130
/proc/meminfo: memFree=126423820/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=93160 memory=26260 CPUtime=0.09 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 3030 0 0 0 9 0 0 0 20 0 1 0 161406212 95395840 6565 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 23290 6565 4014 3002 0 7041 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93160 KiB
Current children cumulated memory: 26260 KiB

[startup+0.205389 s]*
/proc/loadavg: 3.95 4.19 4.19 7/259 831130
/proc/meminfo: memFree=126409704/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=93288 memory=26332 CPUtime=0.19 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 3082 0 0 0 19 0 0 0 20 0 1 0 161406212 95526912 6583 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 23322 6583 4014 3002 0 7073 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 93288 KiB
Current children cumulated memory: 26332 KiB

[startup+0.305257 s]*
/proc/loadavg: 3.95 4.19 4.19 7/259 831130
/proc/meminfo: memFree=126399076/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=93488 memory=26332 CPUtime=0.29 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 3119 0 0 0 29 0 0 0 20 0 1 0 161406212 95731712 6583 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 23372 6583 4014 3002 0 7123 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 93488 KiB
Current children cumulated memory: 26332 KiB

[startup+0.700163 s]
/proc/loadavg: 3.95 4.19 4.19 7/259 831130
/proc/meminfo: memFree=126375988/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=109388 memory=41852 CPUtime=0.69 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 7072 0 0 0 68 1 0 0 20 0 1 0 161406212 112013312 10463 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 27347 10463 4030 3002 0 11098 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109388 KiB
Current children cumulated memory: 41852 KiB

[startup+1.50019 s]
/proc/loadavg: 3.96 4.19 4.19 7/259 831130
/proc/meminfo: memFree=126189880/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=175876 memory=107276 CPUtime=1.48 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 25031 0 0 0 145 3 0 0 20 0 1 0 161406212 180097024 26819 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 43969 26819 4030 3002 0 27720 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175876 KiB
Current children cumulated memory: 107276 KiB

[startup+3.10517 s]
/proc/loadavg: 3.96 4.19 4.19 7/259 831130
/proc/meminfo: memFree=125898680/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=228324 memory=157964 CPUtime=3.08 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 37711 0 0 0 304 4 0 0 20 0 1 0 161406212 233803776 39491 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 57081 39491 4030 3002 0 40832 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 228324 KiB
Current children cumulated memory: 157964 KiB

[startup+6.30015 s]
/proc/loadavg: 3.96 4.18 4.19 7/259 831130
/proc/meminfo: memFree=125897696/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=228324 memory=157964 CPUtime=6.26 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 37713 0 0 0 622 4 0 0 20 0 1 0 161406212 233803776 39491 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 57081 39491 4030 3002 0 40832 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 228324 KiB
Current children cumulated memory: 157964 KiB

[startup+12.7001 s]
/proc/loadavg: 3.96 4.18 4.19 7/259 831132
/proc/meminfo: memFree=125897280/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=228324 memory=157964 CPUtime=12.64 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 37713 0 0 0 1260 4 0 0 20 0 1 0 161406212 233803776 39491 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 57081 39491 4030 3002 0 40832 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 228324 KiB
Current children cumulated memory: 157964 KiB

[startup+25.5002 s]
/proc/loadavg: 3.97 4.17 4.18 7/259 831134
/proc/meminfo: memFree=125691200/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=258088 memory=186272 CPUtime=25.41 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 45692 0 0 0 2535 6 0 0 20 0 1 0 161406212 264282112 46568 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 64522 46568 4030 3002 0 48273 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 258088 KiB
Current children cumulated memory: 186272 KiB

[startup+51.1053 s]
/proc/loadavg: 4.04 4.17 4.18 7/259 831138
/proc/meminfo: memFree=125688644/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=260212 memory=188436 CPUtime=50.93 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 46629 0 0 0 5086 7 0 0 20 0 1 0 161406212 266457088 47109 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 65053 47109 4030 3002 0 48804 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 260212 KiB
Current children cumulated memory: 188436 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.17 4.18 7/257 831147
/proc/meminfo: memFree=125604424/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=262260 memory=190876 CPUtime=101.97 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 47531 0 0 0 10189 8 0 0 20 0 1 0 161406212 268554240 47719 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 65565 47719 4030 3002 0 49316 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 262260 KiB
Current children cumulated memory: 190876 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.16 4.17 7/257 831159
/proc/meminfo: memFree=125412428/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=349184 memory=278236 CPUtime=161.77 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 69817 0 0 0 16165 12 0 0 20 0 1 0 161406212 357564416 69559 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 87296 69559 4039 3002 0 71047 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 349184 KiB
Current children cumulated memory: 278236 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.14 4.17 7/257 831169
/proc/meminfo: memFree=125334156/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=353272 memory=282460 CPUtime=221.58 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 70899 0 0 0 22145 13 0 0 20 0 1 0 161406212 361750528 70615 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 88318 70615 4039 3002 0 72069 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 353272 KiB
Current children cumulated memory: 282460 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.16 7/257 831181
/proc/meminfo: memFree=125328632/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=353272 memory=282460 CPUtime=281.39 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 70899 0 0 0 28125 14 0 0 20 0 1 0 161406212 361750528 70615 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 88318 70615 4039 3002 0 72069 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 353272 KiB
Current children cumulated memory: 282460 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.17 7/255 831192
/proc/meminfo: memFree=125497028/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=294548 memory=225872 CPUtime=341.19 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 73820 0 0 0 34050 69 0 0 20 0 1 0 161406212 301617152 56468 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 73637 56468 4198 3002 0 57388 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 294548 KiB
Current children cumulated memory: 225872 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.15 4.17 7/258 831207
/proc/meminfo: memFree=125468076/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=313516 memory=233068 CPUtime=400.99 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 74092 0 0 0 39983 116 0 0 20 0 1 0 161406212 321040384 58267 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 78379 58267 4198 3002 0 62130 0
Current children cumulated CPU time: 400.99 s
Current children cumulated vsize: 313516 KiB
Current children cumulated memory: 233068 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.15 4.17 7/258 831217
/proc/meminfo: memFree=125448528/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=313516 memory=240532 CPUtime=460.79 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 74443 0 0 0 45924 155 0 0 20 0 1 0 161406212 321040384 60133 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 78379 60133 4198 3002 0 62130 0

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

Current children cumulated memory: 293080 KiB

[startup+2862.3 s]
/proc/loadavg: 4.04 4.10 4.14 7/256 832848
/proc/meminfo: memFree=125241752/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=2854.15 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78160 0 0 0 284661 754 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 2854.15 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.13 4.15 7/256 832858
/proc/meminfo: memFree=125241076/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=2913.99 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78288 0 0 0 290634 765 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 2913.99 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.14 7/254 832869
/proc/meminfo: memFree=125240524/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=2973.82 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78422 0 0 0 296610 772 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.14 7/254 832881
/proc/meminfo: memFree=125236208/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=3033.66 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78552 0 0 0 302577 789 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.13 7/254 832891
/proc/meminfo: memFree=125235436/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=3093.5 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78684 0 0 0 308548 802 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 3093.5 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.13 7/254 832901
/proc/meminfo: memFree=125232616/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=293080 CPUtime=3153.33 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78814 0 0 0 314518 815 0 0 20 0 1 0 161406212 403890176 73270 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73270 4198 3002 0 82357 0
Current children cumulated CPU time: 3153.33 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 293080 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.11 4.13 7/254 832912
/proc/meminfo: memFree=125229904/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=295128 CPUtime=3213.17 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 78949 0 0 0 320488 829 0 0 20 0 1 0 161406212 403890176 73782 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73782 4198 3002 0 82357 0
Current children cumulated CPU time: 3213.17 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 295128 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.08 4.11 7/255 832923
/proc/meminfo: memFree=125229100/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=295128 CPUtime=3272.99 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79079 0 0 0 326459 840 0 0 20 0 1 0 161406212 403890176 73782 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73782 4198 3002 0 82357 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 295128 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.11 8/255 832933
/proc/meminfo: memFree=125226316/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=295128 CPUtime=3332.82 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79212 0 0 0 332426 856 0 0 20 0 1 0 161406212 403890176 73782 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73782 4198 3002 0 82357 0
Current children cumulated CPU time: 3332.82 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 295128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.11 7/257 832948
/proc/meminfo: memFree=125223488/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=295128 CPUtime=3392.66 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79347 0 0 0 338396 870 0 0 20 0 1 0 161406212 403890176 73782 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73782 4198 3002 0 82357 0
Current children cumulated CPU time: 3392.66 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 295128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.11 7/257 832959
/proc/meminfo: memFree=125222796/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=295128 CPUtime=3452.51 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79477 0 0 0 344362 889 0 0 20 0 1 0 161406212 403890176 73782 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 73782 4198 3002 0 82357 0
Current children cumulated CPU time: 3452.51 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 295128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.12 4.11 7/257 832969
/proc/meminfo: memFree=125219568/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=297176 CPUtime=3512.35 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79617 0 0 0 350333 902 0 0 20 0 1 0 161406212 403890176 74294 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 74294 4198 3002 0 82357 0
Current children cumulated CPU time: 3512.35 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 297176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.10 7/256 832980
/proc/meminfo: memFree=125215060/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=297176 CPUtime=3572.2 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79749 0 0 0 356306 914 0 0 20 0 1 0 161406212 403890176 74294 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 74294 4198 3002 0 82357 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 297176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.16 4.12 4.10 7/256 833032
/proc/meminfo: memFree=125412996/131524600 swapFree=131071996/131071996
[pid=831123] ppid=831119 vsize=394424 memory=297176 CPUtime=3600.02 cores=1,3
/proc/831123/stat : 831123 (mixed-bag) R 831119 831123 831055 0 -1 4194304 79815 0 0 0 359084 918 0 0 20 0 1 0 161406212 403890176 74294 134679101440 4194304 16487941 140731320033296 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 25739264 140731320042519 140731320042596 140731320042596 140731320049611 0
/proc/831123/statm: 98606 74294 4198 3002 0 82357 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 394424 KiB
Current children cumulated memory: 297176 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.85 s, system=9.18592 s

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

Child status: 0

Real time (s): 3610.2
CPU time (s): 3600.03
CPU user time (s): 3590.85
CPU system time (s): 9.18592
CPU usage (%): 99.7183
Max. virtual memory (cumulated for all children) (KiB): 394424
Max. memory (cumulated for all children) (KiB): 297176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.85
system time used= 9.18592
maximum resident set size= 297900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79835
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= 59
involuntary context switches= 3519


# summary of solver processes directly reported to runsolver:
#   pid: 831123
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.85
#   total CPU system time (s): 9.18592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.62953 second user time and 13.8082 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-16 03:13:56
IDJOB=4435453
IDBENCH=147542
IDSOLVER=3066
FILE ID=nodeC021/4435453-1721092424
RUNJOBID= nodeC021-1721092436-831067
SLURM_JOB_ID= 7505590
Free space on /tmp= 890060 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_19.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435453-1721092424/watcher-4435453-1721092424 -o /tmp/evaluation-result-4435453-1721092424/solver-4435453-1721092424 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831067 --watchdog 3760  mixed-bag HOME/instance-4435453-1721092424.opb

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

MD5SUM BENCH= 8940813d27fb075f4739eb458e093f9a
RANDOM SEED=988679644

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126466892 kB
MemAvailable:   129692772 kB
Buffers:          380768 kB
Cached:          3647524 kB
SwapCached:            0 kB
Active:           715108 kB
Inactive:        3673132 kB
Active(anon):       1452 kB
Inactive(anon):   396264 kB
Active(file):     713656 kB
Inactive(file):  3276868 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65296 kB
Writeback:            16 kB
AnonPages:        359300 kB
Mapped:           103492 kB
Shmem:             37720 kB
KReclaimable:     150356 kB
Slab:             263604 kB
SReclaimable:     150356 kB
SUnreclaim:       113248 kB
KernelStack:        3872 kB
PageTables:         9608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     802512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      256724 kB
DirectMap2M:    23633920 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC021 at 2024-07-16 04:14:06