Trace number 4489221

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
MD5SUM79a11fcf881101c51e0b67ee01609c80
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 benchmark179
Best CPU time to get the best result obtained on this benchmark3586
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables470
Total number of constraints470
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 constraints470
Minimum length of a constraint4
Maximum length of a constraint20
Number of terms in the objective function 470
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 470
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 470
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.03	c RoundingSat 2
0.00/0.03	c branch 
0.00/0.03	c commit 
0.00/0.03	c with Papilo
0.00/0.03	c with SCIP
0.00/0.03	c [STEP] parsing instance
0.00/0.04	c [STEP] preprocessing with Papilo
0.00/0.05	c [STEP] solving with SCIP
299.36/300.21	c [STEP] preprocessing done, loading into solver
299.36/300.21	c [STEP] solving
299.36/300.21	c #variables 471 #constraints 470
299.36/300.21	c SMALL=int, LARGE=long long
299.36/300.21	d SCIPUB 186
299.36/300.21	c bounds - >= 0 @ 299.229
299.36/300.21	c stratification level: 0
315.32/316.22	c bounds - >= 55 @ 299.23
315.32/316.22	c bounds - >= 56 @ 299.23
315.32/316.22	c bounds - >= 57 @ 299.23
315.32/316.22	c bounds - >= 58 @ 299.23
315.32/316.22	c bounds - >= 59 @ 299.23
315.32/316.22	c bounds - >= 60 @ 299.231
315.32/316.22	c bounds - >= 61 @ 299.231
315.32/316.22	c bounds - >= 62 @ 299.231
315.32/316.22	c bounds - >= 63 @ 299.231
315.32/316.22	c bounds - >= 64 @ 299.231
315.32/316.22	c bounds - >= 65 @ 299.231
315.32/316.22	c bounds - >= 66 @ 299.231
315.32/316.22	c bounds - >= 67 @ 299.231
315.32/316.22	c bounds - >= 68 @ 299.231
315.32/316.22	c bounds - >= 69 @ 299.231
315.32/316.22	c bounds - >= 70 @ 299.232
315.32/316.22	c bounds - >= 71 @ 299.232
315.32/316.22	c bounds - >= 72 @ 299.232
315.32/316.22	c bounds - >= 73 @ 299.232
315.32/316.22	c bounds - >= 74 @ 299.232
315.32/316.22	c bounds - >= 75 @ 299.232
315.32/316.22	c bounds - >= 76 @ 299.232
315.32/316.22	c bounds - >= 77 @ 299.232
315.32/316.22	c bounds - >= 78 @ 299.232
315.32/316.22	c bounds - >= 79 @ 299.232
315.32/316.22	c bounds - >= 80 @ 299.232
315.32/316.22	c bounds - >= 81 @ 299.232
315.32/316.22	c bounds - >= 82 @ 299.232
315.32/316.22	c bounds - >= 83 @ 299.232
315.32/316.22	c bounds - >= 84 @ 299.232
315.32/316.22	c bounds - >= 85 @ 299.232
315.32/316.22	c bounds - >= 86 @ 299.232
315.32/316.22	c bounds - >= 87 @ 299.233
315.32/316.22	c bounds - >= 88 @ 299.233
315.32/316.22	c bounds - >= 89 @ 299.233
315.32/316.22	c bounds - >= 90 @ 299.233
315.32/316.22	c bounds - >= 91 @ 299.233
315.32/316.22	c bounds - >= 92 @ 299.233
315.32/316.22	c bounds - >= 93 @ 299.233
315.32/316.22	c bounds - >= 94 @ 299.233
315.32/316.22	c bounds - >= 95 @ 299.233
315.32/316.22	c bounds - >= 96 @ 299.233
315.32/316.22	c bounds - >= 97 @ 299.233
315.32/316.22	c bounds - >= 98 @ 299.233
315.32/316.22	c bounds - >= 99 @ 299.233
315.32/316.22	c bounds - >= 100 @ 299.233
315.32/316.22	c bounds - >= 101 @ 299.233
315.32/316.22	c bounds - >= 102 @ 299.233
315.32/316.22	c bounds - >= 103 @ 299.233
315.32/316.22	c bounds - >= 104 @ 299.233
315.32/316.22	c bounds - >= 105 @ 299.233
315.32/316.22	c bounds - >= 106 @ 299.233
315.32/316.22	c bounds - >= 107 @ 299.233
315.32/316.22	c bounds - >= 108 @ 299.233
315.32/316.22	c bounds - >= 109 @ 299.233
315.32/316.22	c bounds - >= 110 @ 299.233
315.32/316.22	c bounds - >= 111 @ 299.234
315.32/316.22	c bounds - >= 112 @ 299.234
315.32/316.22	c bounds - >= 113 @ 299.234
315.32/316.22	c bounds - >= 114 @ 299.234
315.32/316.22	c bounds - >= 115 @ 299.234
315.32/316.22	c bounds - >= 116 @ 299.234
315.32/316.22	c bounds - >= 117 @ 299.234
315.32/316.22	c bounds - >= 118 @ 299.234
315.32/316.22	c bounds - >= 119 @ 299.234
315.32/316.22	c bounds - >= 120 @ 299.234
315.32/316.22	c bounds - >= 121 @ 299.234
315.32/316.22	c bounds - >= 122 @ 299.235
315.32/316.22	c bounds - >= 123 @ 299.235
315.32/316.22	c bounds - >= 124 @ 299.235
315.32/316.22	c bounds - >= 125 @ 299.235
315.32/316.22	c bounds - >= 126 @ 299.235
315.32/316.22	c bounds - >= 127 @ 299.235
315.32/316.22	c bounds - >= 128 @ 299.235
315.32/316.22	c bounds - >= 129 @ 299.235
315.32/316.22	c bounds - >= 130 @ 299.235
315.32/316.22	c bounds - >= 131 @ 299.235
315.32/316.22	c #Conflicts:       1000 | #Constraints:       1619
315.32/316.22	c #Conflicts:       2000 | #Constraints:       2619
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:       3000 | #Constraints:       2540
315.32/316.22	c #Conflicts:       4000 | #Constraints:       3540
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:       5000 | #Constraints:       2948
315.32/316.22	c #Conflicts:       6000 | #Constraints:       3948
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:       7000 | #Constraints:       2946
315.32/316.22	c #Conflicts:       8000 | #Constraints:       3946
315.32/316.22	c #Conflicts:       9000 | #Constraints:       4946
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      10000 | #Constraints:       3644
315.32/316.22	c #Conflicts:      11000 | #Constraints:       4644
315.32/316.22	c #Conflicts:      12000 | #Constraints:       5644
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      13000 | #Constraints:       4094
315.32/316.22	c #Conflicts:      14000 | #Constraints:       5094
315.32/316.22	c #Conflicts:      15000 | #Constraints:       6094
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      16000 | #Constraints:       4323
315.32/316.22	c #Conflicts:      17000 | #Constraints:       5323
315.32/316.22	c #Conflicts:      18000 | #Constraints:       6323
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      19000 | #Constraints:       4334
315.32/316.22	c #Conflicts:      20000 | #Constraints:       5334
315.32/316.22	c #Conflicts:      21000 | #Constraints:       6334
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      22000 | #Constraints:       4133
315.32/316.22	c #Conflicts:      23000 | #Constraints:       5133
315.32/316.22	c #Conflicts:      24000 | #Constraints:       6133
315.32/316.22	c #Conflicts:      25000 | #Constraints:       7133
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      26000 | #Constraints:       4740
315.32/316.22	c #Conflicts:      27000 | #Constraints:       5740
315.32/316.22	c #Conflicts:      28000 | #Constraints:       6740
315.32/316.22	c #Conflicts:      29000 | #Constraints:       7740
315.32/316.22	c INPROCESSING
315.32/316.22	c GARBAGE COLLECT
315.32/316.22	c #Conflicts:      30000 | #Constraints:       5148
315.32/316.22	c #Conflicts:      31000 | #Constraints:       6148
315.32/316.22	c #Conflicts:      32000 | #Constraints:       7148
405.98/407.13	c #Conflicts:      33000 | #Constraints:       8148
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      34000 | #Constraints:       5345
405.98/407.13	c #Conflicts:      35000 | #Constraints:       6345
405.98/407.13	c #Conflicts:      36000 | #Constraints:       7345
405.98/407.13	c #Conflicts:      37000 | #Constraints:       8345
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      38000 | #Constraints:       5348
405.98/407.13	c #Conflicts:      39000 | #Constraints:       6348
405.98/407.13	c #Conflicts:      40000 | #Constraints:       7348
405.98/407.13	c #Conflicts:      41000 | #Constraints:       8348
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      42000 | #Constraints:       5144
405.98/407.13	c #Conflicts:      43000 | #Constraints:       6144
405.98/407.13	c #Conflicts:      44000 | #Constraints:       7144
405.98/407.13	c #Conflicts:      45000 | #Constraints:       8144
405.98/407.13	c #Conflicts:      46000 | #Constraints:       9144
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      47000 | #Constraints:       5744
405.98/407.13	c #Conflicts:      48000 | #Constraints:       6744
405.98/407.13	c #Conflicts:      49000 | #Constraints:       7744
405.98/407.13	c #Conflicts:      50000 | #Constraints:       8744
405.98/407.13	c #Conflicts:      51000 | #Constraints:       9744
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      52000 | #Constraints:       6149
405.98/407.13	c #Conflicts:      53000 | #Constraints:       7149
405.98/407.13	c #Conflicts:      54000 | #Constraints:       8149
405.98/407.13	c #Conflicts:      55000 | #Constraints:       9149
405.98/407.13	c #Conflicts:      56000 | #Constraints:      10149
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      57000 | #Constraints:       6350
405.98/407.13	c #Conflicts:      58000 | #Constraints:       7350
405.98/407.13	c #Conflicts:      59000 | #Constraints:       8350
405.98/407.13	c #Conflicts:      60000 | #Constraints:       9350
405.98/407.13	c #Conflicts:      61000 | #Constraints:      10350
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      62000 | #Constraints:       6346
405.98/407.13	c #Conflicts:      63000 | #Constraints:       7346
405.98/407.13	c #Conflicts:      64000 | #Constraints:       8346
405.98/407.13	c #Conflicts:      65000 | #Constraints:       9346
405.98/407.13	c #Conflicts:      66000 | #Constraints:      10346
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      67000 | #Constraints:       6142
405.98/407.13	c #Conflicts:      68000 | #Constraints:       7142
405.98/407.13	c #Conflicts:      69000 | #Constraints:       8142
405.98/407.13	c #Conflicts:      70000 | #Constraints:       9142
405.98/407.13	c #Conflicts:      71000 | #Constraints:      10142
405.98/407.13	c #Conflicts:      72000 | #Constraints:      11142
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      73000 | #Constraints:       6743
405.98/407.13	c #Conflicts:      74000 | #Constraints:       7743
405.98/407.13	c #Conflicts:      75000 | #Constraints:       8743
405.98/407.13	c #Conflicts:      76000 | #Constraints:       9743
405.98/407.13	c #Conflicts:      77000 | #Constraints:      10743
405.98/407.13	c #Conflicts:      78000 | #Constraints:      11743
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      79000 | #Constraints:       7149
405.98/407.13	c #Conflicts:      80000 | #Constraints:       8149
405.98/407.13	c #Conflicts:      81000 | #Constraints:       9149
405.98/407.13	c #Conflicts:      82000 | #Constraints:      10149
405.98/407.13	c #Conflicts:      83000 | #Constraints:      11149
405.98/407.13	c #Conflicts:      84000 | #Constraints:      12149
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      85000 | #Constraints:       7349
405.98/407.13	c #Conflicts:      86000 | #Constraints:       8349
405.98/407.13	c #Conflicts:      87000 | #Constraints:       9349
405.98/407.13	c #Conflicts:      88000 | #Constraints:      10349
405.98/407.13	c #Conflicts:      89000 | #Constraints:      11349
405.98/407.13	c #Conflicts:      90000 | #Constraints:      12349
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      91000 | #Constraints:       7348
405.98/407.13	c #Conflicts:      92000 | #Constraints:       8348
405.98/407.13	c #Conflicts:      93000 | #Constraints:       9348
405.98/407.13	c #Conflicts:      94000 | #Constraints:      10348
405.98/407.13	c #Conflicts:      95000 | #Constraints:      11348
405.98/407.13	c #Conflicts:      96000 | #Constraints:      12348
405.98/407.13	c INPROCESSING
405.98/407.13	c GARBAGE COLLECT
405.98/407.13	c #Conflicts:      97000 | #Constraints:       7150
405.98/407.13	c #Conflicts:      98000 | #Constraints:       8150
405.98/407.13	c #Conflicts:      99000 | #Constraints:       9150
405.98/407.13	c #Conflicts:     100000 | #Constraints:      10150
405.98/407.13	c #Conflicts:     101000 | #Constraints:      11150
405.98/407.13	c #Conflicts:     102000 | #Constraints:      12150
405.98/407.13	c #Conflicts:     103000 | #Constraints:      13150
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     104000 | #Constraints:       7745
526.40/527.97	c #Conflicts:     105000 | #Constraints:       8745
526.40/527.97	c #Conflicts:     106000 | #Constraints:       9745
526.40/527.97	c #Conflicts:     107000 | #Constraints:      10745
526.40/527.97	c #Conflicts:     108000 | #Constraints:      11745
526.40/527.97	c #Conflicts:     109000 | #Constraints:      12745
526.40/527.97	c #Conflicts:     110000 | #Constraints:      13745
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     111000 | #Constraints:       8146
526.40/527.97	c #Conflicts:     112000 | #Constraints:       9146
526.40/527.97	c #Conflicts:     113000 | #Constraints:      10146
526.40/527.97	c #Conflicts:     114000 | #Constraints:      11146
526.40/527.97	c #Conflicts:     115000 | #Constraints:      12146
526.40/527.97	c #Conflicts:     116000 | #Constraints:      13146
526.40/527.97	c #Conflicts:     117000 | #Constraints:      14146
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     118000 | #Constraints:       8349
526.40/527.97	c #Conflicts:     119000 | #Constraints:       9349
526.40/527.97	c #Conflicts:     120000 | #Constraints:      10349
526.40/527.97	c #Conflicts:     121000 | #Constraints:      11349
526.40/527.97	c #Conflicts:     122000 | #Constraints:      12349
526.40/527.97	c #Conflicts:     123000 | #Constraints:      13349
526.40/527.97	c #Conflicts:     124000 | #Constraints:      14349
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     125000 | #Constraints:       8350
526.40/527.97	c #Conflicts:     126000 | #Constraints:       9350
526.40/527.97	c #Conflicts:     127000 | #Constraints:      10350
526.40/527.97	c #Conflicts:     128000 | #Constraints:      11350
526.40/527.97	c #Conflicts:     129000 | #Constraints:      12350
526.40/527.97	c #Conflicts:     130000 | #Constraints:      13350
526.40/527.97	c #Conflicts:     131000 | #Constraints:      14350
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     132000 | #Constraints:       8148
526.40/527.97	c #Conflicts:     133000 | #Constraints:       9148
526.40/527.97	c #Conflicts:     134000 | #Constraints:      10148
526.40/527.97	c #Conflicts:     135000 | #Constraints:      11148
526.40/527.97	c #Conflicts:     136000 | #Constraints:      12148
526.40/527.97	c #Conflicts:     137000 | #Constraints:      13148
526.40/527.97	c #Conflicts:     138000 | #Constraints:      14148
526.40/527.97	c #Conflicts:     139000 | #Constraints:      15148
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     140000 | #Constraints:       8751
526.40/527.97	c #Conflicts:     141000 | #Constraints:       9751
526.40/527.97	c #Conflicts:     142000 | #Constraints:      10751
526.40/527.97	c #Conflicts:     143000 | #Constraints:      11751
526.40/527.97	c #Conflicts:     144000 | #Constraints:      12751
526.40/527.97	c #Conflicts:     145000 | #Constraints:      13751
526.40/527.97	c #Conflicts:     146000 | #Constraints:      14751
526.40/527.97	c #Conflicts:     147000 | #Constraints:      15751
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     148000 | #Constraints:       9153
526.40/527.97	c #Conflicts:     149000 | #Constraints:      10153
526.40/527.97	c #Conflicts:     150000 | #Constraints:      11153
526.40/527.97	c #Conflicts:     151000 | #Constraints:      12153
526.40/527.97	c #Conflicts:     152000 | #Constraints:      13153
526.40/527.97	c #Conflicts:     153000 | #Constraints:      14153
526.40/527.97	c #Conflicts:     154000 | #Constraints:      15153
526.40/527.97	c #Conflicts:     155000 | #Constraints:      16153
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     156000 | #Constraints:       9352
526.40/527.97	c #Conflicts:     157000 | #Constraints:      10352
526.40/527.97	c #Conflicts:     158000 | #Constraints:      11352
526.40/527.97	c #Conflicts:     159000 | #Constraints:      12352
526.40/527.97	c #Conflicts:     160000 | #Constraints:      13352
526.40/527.97	c #Conflicts:     161000 | #Constraints:      14352
526.40/527.97	c #Conflicts:     162000 | #Constraints:      15352
526.40/527.97	c #Conflicts:     163000 | #Constraints:      16352
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     164000 | #Constraints:       9345
526.40/527.97	c #Conflicts:     165000 | #Constraints:      10345
526.40/527.97	c #Conflicts:     166000 | #Constraints:      11345
526.40/527.97	c #Conflicts:     167000 | #Constraints:      12345
526.40/527.97	c #Conflicts:     168000 | #Constraints:      13345
526.40/527.97	c #Conflicts:     169000 | #Constraints:      14345
526.40/527.97	c #Conflicts:     170000 | #Constraints:      15345
526.40/527.97	c #Conflicts:     171000 | #Constraints:      16345
526.40/527.97	c INPROCESSING
526.40/527.97	c GARBAGE COLLECT
526.40/527.97	c #Conflicts:     172000 | #Constraints:       9144
526.40/527.97	c #Conflicts:     173000 | #Constraints:      10144
526.40/527.97	c #Conflicts:     174000 | #Constraints:      11144
526.40/527.97	c #Conflicts:     175000 | #Constraints:      12144
733.61/735.76	c #Conflicts:     176000 | #Constraints:      13144
733.61/735.76	c #Conflicts:     177000 | #Constraints:      14144
733.61/735.76	c #Conflicts:     178000 | #Constraints:      15144
733.61/735.76	c #Conflicts:     179000 | #Constraints:      16144
733.61/735.76	c #Conflicts:     180000 | #Constraints:      17144
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     181000 | #Constraints:       9748
733.61/735.76	c #Conflicts:     182000 | #Constraints:      10748
733.61/735.76	c #Conflicts:     183000 | #Constraints:      11748
733.61/735.76	c #Conflicts:     184000 | #Constraints:      12748
733.61/735.76	c #Conflicts:     185000 | #Constraints:      13748
733.61/735.76	c #Conflicts:     186000 | #Constraints:      14748
733.61/735.76	c #Conflicts:     187000 | #Constraints:      15748
733.61/735.76	c #Conflicts:     188000 | #Constraints:      16748
733.61/735.76	c #Conflicts:     189000 | #Constraints:      17748
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     190000 | #Constraints:      10154
733.61/735.76	c #Conflicts:     191000 | #Constraints:      11154
733.61/735.76	c #Conflicts:     192000 | #Constraints:      12154
733.61/735.76	c #Conflicts:     193000 | #Constraints:      13154
733.61/735.76	c #Conflicts:     194000 | #Constraints:      14154
733.61/735.76	c #Conflicts:     195000 | #Constraints:      15154
733.61/735.76	c #Conflicts:     196000 | #Constraints:      16154
733.61/735.76	c #Conflicts:     197000 | #Constraints:      17154
733.61/735.76	c #Conflicts:     198000 | #Constraints:      18154
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     199000 | #Constraints:      10350
733.61/735.76	c #Conflicts:     200000 | #Constraints:      11350
733.61/735.76	c #Conflicts:     201000 | #Constraints:      12350
733.61/735.76	c #Conflicts:     202000 | #Constraints:      13350
733.61/735.76	c #Conflicts:     203000 | #Constraints:      14350
733.61/735.76	c #Conflicts:     204000 | #Constraints:      15350
733.61/735.76	c #Conflicts:     205000 | #Constraints:      16350
733.61/735.76	c #Conflicts:     206000 | #Constraints:      17350
733.61/735.76	c #Conflicts:     207000 | #Constraints:      18350
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     208000 | #Constraints:      10349
733.61/735.76	c #Conflicts:     209000 | #Constraints:      11349
733.61/735.76	c #Conflicts:     210000 | #Constraints:      12349
733.61/735.76	c #Conflicts:     211000 | #Constraints:      13349
733.61/735.76	c #Conflicts:     212000 | #Constraints:      14349
733.61/735.76	c #Conflicts:     213000 | #Constraints:      15349
733.61/735.76	c #Conflicts:     214000 | #Constraints:      16349
733.61/735.76	c #Conflicts:     215000 | #Constraints:      17349
733.61/735.76	c #Conflicts:     216000 | #Constraints:      18349
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     217000 | #Constraints:      10149
733.61/735.76	c #Conflicts:     218000 | #Constraints:      11149
733.61/735.76	c #Conflicts:     219000 | #Constraints:      12149
733.61/735.76	c #Conflicts:     220000 | #Constraints:      13149
733.61/735.76	c #Conflicts:     221000 | #Constraints:      14149
733.61/735.76	c #Conflicts:     222000 | #Constraints:      15149
733.61/735.76	c #Conflicts:     223000 | #Constraints:      16149
733.61/735.76	c #Conflicts:     224000 | #Constraints:      17149
733.61/735.76	c #Conflicts:     225000 | #Constraints:      18149
733.61/735.76	c #Conflicts:     226000 | #Constraints:      19149
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     227000 | #Constraints:      10758
733.61/735.76	c #Conflicts:     228000 | #Constraints:      11758
733.61/735.76	c #Conflicts:     229000 | #Constraints:      12758
733.61/735.76	c #Conflicts:     230000 | #Constraints:      13758
733.61/735.76	c #Conflicts:     231000 | #Constraints:      14758
733.61/735.76	c #Conflicts:     232000 | #Constraints:      15758
733.61/735.76	c #Conflicts:     233000 | #Constraints:      16758
733.61/735.76	c #Conflicts:     234000 | #Constraints:      17758
733.61/735.76	c #Conflicts:     235000 | #Constraints:      18758
733.61/735.76	c #Conflicts:     236000 | #Constraints:      19758
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     237000 | #Constraints:      11151
733.61/735.76	c #Conflicts:     238000 | #Constraints:      12151
733.61/735.76	c #Conflicts:     239000 | #Constraints:      13151
733.61/735.76	c #Conflicts:     240000 | #Constraints:      14151
733.61/735.76	c #Conflicts:     241000 | #Constraints:      15151
733.61/735.76	c #Conflicts:     242000 | #Constraints:      16151
733.61/735.76	c #Conflicts:     243000 | #Constraints:      17151
733.61/735.76	c #Conflicts:     244000 | #Constraints:      18151
733.61/735.76	c #Conflicts:     245000 | #Constraints:      19151
733.61/735.76	c #Conflicts:     246000 | #Constraints:      20151
733.61/735.76	c INPROCESSING
733.61/735.76	c GARBAGE COLLECT
733.61/735.76	c #Conflicts:     247000 | #Constraints:      11346
733.61/735.76	c #Conflicts:     248000 | #Constraints:      12346
733.61/735.76	c #Conflicts:     249000 | #Constraints:      13346
956.96/959.75	c #Conflicts:     250000 | #Constraints:      14346
956.96/959.75	c #Conflicts:     251000 | #Constraints:      15346
956.96/959.75	c #Conflicts:     252000 | #Constraints:      16346
956.96/959.75	c #Conflicts:     253000 | #Constraints:      17346
956.96/959.75	c #Conflicts:     254000 | #Constraints:      18346
956.96/959.75	c #Conflicts:     255000 | #Constraints:      19346
956.96/959.75	c #Conflicts:     256000 | #Constraints:      20346
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     257000 | #Constraints:      11349
956.96/959.75	c #Conflicts:     258000 | #Constraints:      12349
956.96/959.75	c #Conflicts:     259000 | #Constraints:      13349
956.96/959.75	c #Conflicts:     260000 | #Constraints:      14349
956.96/959.75	c #Conflicts:     261000 | #Constraints:      15349
956.96/959.75	c #Conflicts:     262000 | #Constraints:      16349
956.96/959.75	c #Conflicts:     263000 | #Constraints:      17349
956.96/959.75	c #Conflicts:     264000 | #Constraints:      18349
956.96/959.75	c #Conflicts:     265000 | #Constraints:      19349
956.96/959.75	c #Conflicts:     266000 | #Constraints:      20349
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     267000 | #Constraints:      11147
956.96/959.75	c #Conflicts:     268000 | #Constraints:      12147
956.96/959.75	c #Conflicts:     269000 | #Constraints:      13147
956.96/959.75	c #Conflicts:     270000 | #Constraints:      14147
956.96/959.75	c #Conflicts:     271000 | #Constraints:      15147
956.96/959.75	c #Conflicts:     272000 | #Constraints:      16147
956.96/959.75	c #Conflicts:     273000 | #Constraints:      17147
956.96/959.75	c #Conflicts:     274000 | #Constraints:      18147
956.96/959.75	c #Conflicts:     275000 | #Constraints:      19147
956.96/959.75	c #Conflicts:     276000 | #Constraints:      20147
956.96/959.75	c #Conflicts:     277000 | #Constraints:      21147
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     278000 | #Constraints:      11745
956.96/959.75	c #Conflicts:     279000 | #Constraints:      12745
956.96/959.75	c #Conflicts:     280000 | #Constraints:      13745
956.96/959.75	c #Conflicts:     281000 | #Constraints:      14745
956.96/959.75	c #Conflicts:     282000 | #Constraints:      15745
956.96/959.75	c #Conflicts:     283000 | #Constraints:      16745
956.96/959.75	c #Conflicts:     284000 | #Constraints:      17745
956.96/959.75	c #Conflicts:     285000 | #Constraints:      18745
956.96/959.75	c #Conflicts:     286000 | #Constraints:      19745
956.96/959.75	c #Conflicts:     287000 | #Constraints:      20745
956.96/959.75	c #Conflicts:     288000 | #Constraints:      21745
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     289000 | #Constraints:      12143
956.96/959.75	c #Conflicts:     290000 | #Constraints:      13143
956.96/959.75	c #Conflicts:     291000 | #Constraints:      14143
956.96/959.75	c #Conflicts:     292000 | #Constraints:      15143
956.96/959.75	c #Conflicts:     293000 | #Constraints:      16143
956.96/959.75	c #Conflicts:     294000 | #Constraints:      17143
956.96/959.75	c #Conflicts:     295000 | #Constraints:      18143
956.96/959.75	c #Conflicts:     296000 | #Constraints:      19143
956.96/959.75	c #Conflicts:     297000 | #Constraints:      20143
956.96/959.75	c #Conflicts:     298000 | #Constraints:      21143
956.96/959.75	c #Conflicts:     299000 | #Constraints:      22143
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     300000 | #Constraints:      12347
956.96/959.75	c #Conflicts:     301000 | #Constraints:      13347
956.96/959.75	c #Conflicts:     302000 | #Constraints:      14347
956.96/959.75	c #Conflicts:     303000 | #Constraints:      15347
956.96/959.75	c #Conflicts:     304000 | #Constraints:      16347
956.96/959.75	c #Conflicts:     305000 | #Constraints:      17347
956.96/959.75	c #Conflicts:     306000 | #Constraints:      18347
956.96/959.75	c #Conflicts:     307000 | #Constraints:      19347
956.96/959.75	c #Conflicts:     308000 | #Constraints:      20347
956.96/959.75	c #Conflicts:     309000 | #Constraints:      21347
956.96/959.75	c #Conflicts:     310000 | #Constraints:      22347
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     311000 | #Constraints:      12346
956.96/959.75	c #Conflicts:     312000 | #Constraints:      13346
956.96/959.75	c #Conflicts:     313000 | #Constraints:      14346
956.96/959.75	c #Conflicts:     314000 | #Constraints:      15346
956.96/959.75	c #Conflicts:     315000 | #Constraints:      16346
956.96/959.75	c #Conflicts:     316000 | #Constraints:      17346
956.96/959.75	c #Conflicts:     317000 | #Constraints:      18346
956.96/959.75	c #Conflicts:     318000 | #Constraints:      19346
956.96/959.75	c #Conflicts:     319000 | #Constraints:      20346
956.96/959.75	c #Conflicts:     320000 | #Constraints:      21346
956.96/959.75	c #Conflicts:     321000 | #Constraints:      22346
956.96/959.75	c INPROCESSING
956.96/959.75	c GARBAGE COLLECT
956.96/959.75	c #Conflicts:     322000 | #Constraints:      12143
956.96/959.75	c #Conflicts:     323000 | #Constraints:      13143
1175.74/1179.16	c #Conflicts:     324000 | #Constraints:      14143
1175.74/1179.16	c #Conflicts:     325000 | #Constraints:      15143
1175.74/1179.16	c #Conflicts:     326000 | #Constraints:      16143
1175.74/1179.16	c #Conflicts:     327000 | #Constraints:      17143
1175.74/1179.16	c #Conflicts:     328000 | #Constraints:      18143
1175.74/1179.16	c #Conflicts:     329000 | #Constraints:      19143
1175.74/1179.16	c #Conflicts:     330000 | #Constraints:      20143
1175.74/1179.16	c #Conflicts:     331000 | #Constraints:      21143
1175.74/1179.16	c #Conflicts:     332000 | #Constraints:      22143
1175.74/1179.16	c #Conflicts:     333000 | #Constraints:      23143
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     334000 | #Constraints:      12746
1175.74/1179.16	c #Conflicts:     335000 | #Constraints:      13746
1175.74/1179.16	c #Conflicts:     336000 | #Constraints:      14746
1175.74/1179.16	c #Conflicts:     337000 | #Constraints:      15746
1175.74/1179.16	c #Conflicts:     338000 | #Constraints:      16746
1175.74/1179.16	c #Conflicts:     339000 | #Constraints:      17746
1175.74/1179.16	c #Conflicts:     340000 | #Constraints:      18746
1175.74/1179.16	c #Conflicts:     341000 | #Constraints:      19746
1175.74/1179.16	c #Conflicts:     342000 | #Constraints:      20746
1175.74/1179.16	c #Conflicts:     343000 | #Constraints:      21746
1175.74/1179.16	c #Conflicts:     344000 | #Constraints:      22746
1175.74/1179.16	c #Conflicts:     345000 | #Constraints:      23746
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     346000 | #Constraints:      13146
1175.74/1179.16	c #Conflicts:     347000 | #Constraints:      14146
1175.74/1179.16	c #Conflicts:     348000 | #Constraints:      15146
1175.74/1179.16	c #Conflicts:     349000 | #Constraints:      16146
1175.74/1179.16	c #Conflicts:     350000 | #Constraints:      17146
1175.74/1179.16	c #Conflicts:     351000 | #Constraints:      18146
1175.74/1179.16	c #Conflicts:     352000 | #Constraints:      19146
1175.74/1179.16	c #Conflicts:     353000 | #Constraints:      20146
1175.74/1179.16	c #Conflicts:     354000 | #Constraints:      21146
1175.74/1179.16	c #Conflicts:     355000 | #Constraints:      22146
1175.74/1179.16	c #Conflicts:     356000 | #Constraints:      23146
1175.74/1179.16	c #Conflicts:     357000 | #Constraints:      24146
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     358000 | #Constraints:      13341
1175.74/1179.16	c #Conflicts:     359000 | #Constraints:      14341
1175.74/1179.16	c #Conflicts:     360000 | #Constraints:      15341
1175.74/1179.16	c #Conflicts:     361000 | #Constraints:      16341
1175.74/1179.16	c #Conflicts:     362000 | #Constraints:      17341
1175.74/1179.16	c #Conflicts:     363000 | #Constraints:      18341
1175.74/1179.16	c #Conflicts:     364000 | #Constraints:      19341
1175.74/1179.16	c #Conflicts:     365000 | #Constraints:      20341
1175.74/1179.16	c #Conflicts:     366000 | #Constraints:      21341
1175.74/1179.16	c #Conflicts:     367000 | #Constraints:      22341
1175.74/1179.16	c #Conflicts:     368000 | #Constraints:      23341
1175.74/1179.16	c #Conflicts:     369000 | #Constraints:      24341
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     370000 | #Constraints:      13342
1175.74/1179.16	c #Conflicts:     371000 | #Constraints:      14342
1175.74/1179.16	c #Conflicts:     372000 | #Constraints:      15342
1175.74/1179.16	c #Conflicts:     373000 | #Constraints:      16342
1175.74/1179.16	c #Conflicts:     374000 | #Constraints:      17342
1175.74/1179.16	c #Conflicts:     375000 | #Constraints:      18342
1175.74/1179.16	c #Conflicts:     376000 | #Constraints:      19342
1175.74/1179.16	c #Conflicts:     377000 | #Constraints:      20342
1175.74/1179.16	c #Conflicts:     378000 | #Constraints:      21342
1175.74/1179.16	c #Conflicts:     379000 | #Constraints:      22342
1175.74/1179.16	c #Conflicts:     380000 | #Constraints:      23342
1175.74/1179.16	c #Conflicts:     381000 | #Constraints:      24342
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     382000 | #Constraints:      13142
1175.74/1179.16	c #Conflicts:     383000 | #Constraints:      14142
1175.74/1179.16	c #Conflicts:     384000 | #Constraints:      15142
1175.74/1179.16	c #Conflicts:     385000 | #Constraints:      16142
1175.74/1179.16	c #Conflicts:     386000 | #Constraints:      17142
1175.74/1179.16	c #Conflicts:     387000 | #Constraints:      18142
1175.74/1179.16	c #Conflicts:     388000 | #Constraints:      19142
1175.74/1179.16	c #Conflicts:     389000 | #Constraints:      20142
1175.74/1179.16	c #Conflicts:     390000 | #Constraints:      21142
1175.74/1179.16	c #Conflicts:     391000 | #Constraints:      22142
1175.74/1179.16	c #Conflicts:     392000 | #Constraints:      23142
1175.74/1179.16	c #Conflicts:     393000 | #Constraints:      24142
1175.74/1179.16	c #Conflicts:     394000 | #Constraints:      25142
1175.74/1179.16	c INPROCESSING
1175.74/1179.16	c GARBAGE COLLECT
1175.74/1179.16	c #Conflicts:     395000 | #Constraints:      13744
1175.74/1179.16	c #Conflicts:     396000 | #Constraints:      14744
1175.74/1179.16	c #Conflicts:     397000 | #Constraints:      15744
1175.74/1179.16	c #Conflicts:     398000 | #Constraints:      16744
1538.26/1542.64	c #Conflicts:     399000 | #Constraints:      17744
1538.26/1542.64	c #Conflicts:     400000 | #Constraints:      18744
1538.26/1542.64	c #Conflicts:     401000 | #Constraints:      19744
1538.26/1542.64	c #Conflicts:     402000 | #Constraints:      20744
1538.26/1542.64	c #Conflicts:     403000 | #Constraints:      21744
1538.26/1542.64	c #Conflicts:     404000 | #Constraints:      22744
1538.26/1542.64	c #Conflicts:     405000 | #Constraints:      23744
1538.26/1542.64	c #Conflicts:     406000 | #Constraints:      24744
1538.26/1542.64	c #Conflicts:     407000 | #Constraints:      25744
1538.26/1542.64	c INPROCESSING
1538.26/1542.64	c GARBAGE COLLECT
1538.26/1542.64	c #Conflicts:     408000 | #Constraints:      14141
1538.26/1542.64	c #Conflicts:     409000 | #Constraints:      15141
1538.26/1542.64	c #Conflicts:     410000 | #Constraints:      16141
1538.26/1542.64	c #Conflicts:     411000 | #Constraints:      17141
1538.26/1542.64	c #Conflicts:     412000 | #Constraints:      18141
1538.26/1542.64	c #Conflicts:     413000 | #Constraints:      19141
1538.26/1542.64	c #Conflicts:     414000 | #Constraints:      20141
1538.26/1542.64	c #Conflicts:     415000 | #Constraints:      21141
1538.26/1542.64	c #Conflicts:     416000 | #Constraints:      22141
1538.26/1542.64	c #Conflicts:     417000 | #Constraints:      23141
1538.26/1542.64	c #Conflicts:     418000 | #Constraints:      24141
1538.26/1542.64	c #Conflicts:     419000 | #Constraints:      25141
1538.26/1542.64	c #Conflicts:     420000 | #Constraints:      26141
1538.26/1542.64	c INPROCESSING
1538.26/1542.64	c GARBAGE COLLECT
1538.26/1542.64	c #Conflicts:     421000 | #Constraints:      14342
1538.26/1542.64	c #Conflicts:     422000 | #Constraints:      15342
1538.26/1542.64	c #Conflicts:     423000 | #Constraints:      16342
1538.26/1542.64	c #Conflicts:     424000 | #Constraints:      17342
1538.26/1542.64	c #Conflicts:     425000 | #Constraints:      18342
1538.26/1542.64	c #Conflicts:     426000 | #Constraints:      19342
1538.26/1542.64	c #Conflicts:     427000 | #Constraints:      20342
1538.26/1542.64	c #Conflicts:     428000 | #Constraints:      21342
1538.26/1542.64	c #Conflicts:     429000 | #Constraints:      22342
1538.26/1542.64	c #Conflicts:     430000 | #Constraints:      23342
1538.26/1542.64	c #Conflicts:     431000 | #Constraints:      24342
1538.26/1542.64	c #Conflicts:     432000 | #Constraints:      25342
1538.26/1542.64	c #Conflicts:     433000 | #Constraints:      26342
1538.26/1542.64	c INPROCESSING
1538.26/1542.64	c GARBAGE COLLECT
1538.26/1542.64	c #Conflicts:     434000 | #Constraints:      14344
1538.26/1542.64	c #Conflicts:     435000 | #Constraints:      15344
1538.26/1542.64	c #Conflicts:     436000 | #Constraints:      16344
1538.26/1542.64	c #Conflicts:     437000 | #Constraints:      17344
1538.26/1542.64	c #Conflicts:     438000 | #Constraints:      18344
1538.26/1542.64	c #Conflicts:     439000 | #Constraints:      19344
1538.26/1542.64	c #Conflicts:     440000 | #Constraints:      20344
1538.26/1542.64	c #Conflicts:     441000 | #Constraints:      21344
1538.26/1542.64	c #Conflicts:     442000 | #Constraints:      22344
1538.26/1542.64	c #Conflicts:     443000 | #Constraints:      23344
1538.26/1542.64	c #Conflicts:     444000 | #Constraints:      24344
1538.26/1542.64	c #Conflicts:     445000 | #Constraints:      25344
1538.26/1542.64	c #Conflicts:     446000 | #Constraints:      26344
1538.26/1542.64	c INPROCESSING
1538.26/1542.64	c GARBAGE COLLECT
1538.26/1542.64	c #Conflicts:     447000 | #Constraints:      14150
1538.26/1542.64	c #Conflicts:     448000 | #Constraints:      15150
1538.26/1542.64	c #Conflicts:     449000 | #Constraints:      16150
1538.26/1542.64	c #Conflicts:     450000 | #Constraints:      17150
1538.26/1542.64	c #Conflicts:     451000 | #Constraints:      18150
1538.26/1542.64	c #Conflicts:     452000 | #Constraints:      19150
1538.26/1542.64	c #Conflicts:     453000 | #Constraints:      20150
1538.26/1542.64	c #Conflicts:     454000 | #Constraints:      21150
1538.26/1542.64	c #Conflicts:     455000 | #Constraints:      22150
1538.26/1542.64	c #Conflicts:     456000 | #Constraints:      23150
1538.26/1542.64	c #Conflicts:     457000 | #Constraints:      24150
1538.26/1542.64	c #Conflicts:     458000 | #Constraints:      25150
1538.26/1542.64	c #Conflicts:     459000 | #Constraints:      26150
1538.26/1542.64	c #Conflicts:     460000 | #Constraints:      27150
1538.26/1542.64	c INPROCESSING
1538.26/1542.64	c GARBAGE COLLECT
1538.26/1542.64	c #Conflicts:     461000 | #Constraints:      14758
1538.26/1542.64	c #Conflicts:     462000 | #Constraints:      15758
1538.26/1542.64	c #Conflicts:     463000 | #Constraints:      16758
1538.26/1542.64	c #Conflicts:     464000 | #Constraints:      17758
1538.26/1542.64	c #Conflicts:     465000 | #Constraints:      18758
1538.26/1542.64	c #Conflicts:     466000 | #Constraints:      19758
1538.26/1542.64	c #Conflicts:     467000 | #Constraints:      20758
1538.26/1542.64	c #Conflicts:     468000 | #Constraints:      21758
1538.26/1542.64	c #Conflicts:     469000 | #Constraints:      22758
1538.26/1542.64	c #Conflicts:     470000 | #Constraints:      23758
1538.26/1542.64	c #Conflicts:     471000 | #Constraints:      24758
1538.26/1542.64	c #Conflicts:     472000 | #Constraints:      25758
1538.26/1542.64	c #Conflicts:     473000 | #Constraints:      26758
1538.26/1542.64	c #Conflicts:     474000 | #Constraints:      27758
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     475000 | #Constraints:      15158
1919.42/1924.84	c #Conflicts:     476000 | #Constraints:      16158
1919.42/1924.84	c #Conflicts:     477000 | #Constraints:      17158
1919.42/1924.84	c #Conflicts:     478000 | #Constraints:      18158
1919.42/1924.84	c #Conflicts:     479000 | #Constraints:      19158
1919.42/1924.84	c #Conflicts:     480000 | #Constraints:      20158
1919.42/1924.84	c #Conflicts:     481000 | #Constraints:      21158
1919.42/1924.84	c #Conflicts:     482000 | #Constraints:      22158
1919.42/1924.84	c #Conflicts:     483000 | #Constraints:      23158
1919.42/1924.84	c #Conflicts:     484000 | #Constraints:      24158
1919.42/1924.84	c #Conflicts:     485000 | #Constraints:      25158
1919.42/1924.84	c #Conflicts:     486000 | #Constraints:      26158
1919.42/1924.84	c #Conflicts:     487000 | #Constraints:      27158
1919.42/1924.84	c #Conflicts:     488000 | #Constraints:      28158
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     489000 | #Constraints:      15354
1919.42/1924.84	c #Conflicts:     490000 | #Constraints:      16354
1919.42/1924.84	c #Conflicts:     491000 | #Constraints:      17354
1919.42/1924.84	c #Conflicts:     492000 | #Constraints:      18354
1919.42/1924.84	c #Conflicts:     493000 | #Constraints:      19354
1919.42/1924.84	c #Conflicts:     494000 | #Constraints:      20354
1919.42/1924.84	c #Conflicts:     495000 | #Constraints:      21354
1919.42/1924.84	c #Conflicts:     496000 | #Constraints:      22354
1919.42/1924.84	c #Conflicts:     497000 | #Constraints:      23354
1919.42/1924.84	c #Conflicts:     498000 | #Constraints:      24354
1919.42/1924.84	c #Conflicts:     499000 | #Constraints:      25354
1919.42/1924.84	c #Conflicts:     500000 | #Constraints:      26354
1919.42/1924.84	c #Conflicts:     501000 | #Constraints:      27354
1919.42/1924.84	c #Conflicts:     502000 | #Constraints:      28354
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     503000 | #Constraints:      15355
1919.42/1924.84	c #Conflicts:     504000 | #Constraints:      16355
1919.42/1924.84	c #Conflicts:     505000 | #Constraints:      17355
1919.42/1924.84	c #Conflicts:     506000 | #Constraints:      18355
1919.42/1924.84	c #Conflicts:     507000 | #Constraints:      19355
1919.42/1924.84	c #Conflicts:     508000 | #Constraints:      20355
1919.42/1924.84	c #Conflicts:     509000 | #Constraints:      21355
1919.42/1924.84	c #Conflicts:     510000 | #Constraints:      22355
1919.42/1924.84	c #Conflicts:     511000 | #Constraints:      23355
1919.42/1924.84	c #Conflicts:     512000 | #Constraints:      24355
1919.42/1924.84	c #Conflicts:     513000 | #Constraints:      25355
1919.42/1924.84	c #Conflicts:     514000 | #Constraints:      26355
1919.42/1924.84	c #Conflicts:     515000 | #Constraints:      27355
1919.42/1924.84	c #Conflicts:     516000 | #Constraints:      28355
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     517000 | #Constraints:      15156
1919.42/1924.84	c #Conflicts:     518000 | #Constraints:      16156
1919.42/1924.84	c #Conflicts:     519000 | #Constraints:      17156
1919.42/1924.84	c #Conflicts:     520000 | #Constraints:      18156
1919.42/1924.84	c #Conflicts:     521000 | #Constraints:      19156
1919.42/1924.84	c #Conflicts:     522000 | #Constraints:      20156
1919.42/1924.84	c #Conflicts:     523000 | #Constraints:      21156
1919.42/1924.84	c #Conflicts:     524000 | #Constraints:      22156
1919.42/1924.84	c #Conflicts:     525000 | #Constraints:      23156
1919.42/1924.84	c #Conflicts:     526000 | #Constraints:      24156
1919.42/1924.84	c #Conflicts:     527000 | #Constraints:      25156
1919.42/1924.84	c #Conflicts:     528000 | #Constraints:      26156
1919.42/1924.84	c #Conflicts:     529000 | #Constraints:      27156
1919.42/1924.84	c #Conflicts:     530000 | #Constraints:      28156
1919.42/1924.84	c #Conflicts:     531000 | #Constraints:      29156
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     532000 | #Constraints:      15751
1919.42/1924.84	c #Conflicts:     533000 | #Constraints:      16751
1919.42/1924.84	c #Conflicts:     534000 | #Constraints:      17751
1919.42/1924.84	c #Conflicts:     535000 | #Constraints:      18751
1919.42/1924.84	c #Conflicts:     536000 | #Constraints:      19751
1919.42/1924.84	c #Conflicts:     537000 | #Constraints:      20751
1919.42/1924.84	c #Conflicts:     538000 | #Constraints:      21751
1919.42/1924.84	c #Conflicts:     539000 | #Constraints:      22751
1919.42/1924.84	c #Conflicts:     540000 | #Constraints:      23751
1919.42/1924.84	c #Conflicts:     541000 | #Constraints:      24751
1919.42/1924.84	c #Conflicts:     542000 | #Constraints:      25751
1919.42/1924.84	c #Conflicts:     543000 | #Constraints:      26751
1919.42/1924.84	c #Conflicts:     544000 | #Constraints:      27751
1919.42/1924.84	c #Conflicts:     545000 | #Constraints:      28751
1919.42/1924.84	c #Conflicts:     546000 | #Constraints:      29751
1919.42/1924.84	c INPROCESSING
1919.42/1924.84	c GARBAGE COLLECT
1919.42/1924.84	c #Conflicts:     547000 | #Constraints:      16147
1919.42/1924.84	c #Conflicts:     548000 | #Constraints:      17147
1919.42/1924.84	c #Conflicts:     549000 | #Constraints:      18147
2234.89/2241.20	c #Conflicts:     550000 | #Constraints:      19147
2234.89/2241.20	c #Conflicts:     551000 | #Constraints:      20147
2234.89/2241.20	c #Conflicts:     552000 | #Constraints:      21147
2234.89/2241.20	c #Conflicts:     553000 | #Constraints:      22147
2234.89/2241.20	c #Conflicts:     554000 | #Constraints:      23147
2234.89/2241.20	c #Conflicts:     555000 | #Constraints:      24147
2234.89/2241.20	c #Conflicts:     556000 | #Constraints:      25147
2234.89/2241.20	c #Conflicts:     557000 | #Constraints:      26147
2234.89/2241.20	c #Conflicts:     558000 | #Constraints:      27147
2234.89/2241.20	c #Conflicts:     559000 | #Constraints:      28147
2234.89/2241.20	c #Conflicts:     560000 | #Constraints:      29147
2234.89/2241.20	c #Conflicts:     561000 | #Constraints:      30147
2234.89/2241.20	c INPROCESSING
2234.89/2241.20	c GARBAGE COLLECT
2234.89/2241.20	c #Conflicts:     562000 | #Constraints:      16344
2234.89/2241.20	c #Conflicts:     563000 | #Constraints:      17344
2234.89/2241.20	c #Conflicts:     564000 | #Constraints:      18344
2234.89/2241.20	c #Conflicts:     565000 | #Constraints:      19344
2234.89/2241.20	c #Conflicts:     566000 | #Constraints:      20344
2234.89/2241.20	c #Conflicts:     567000 | #Constraints:      21344
2234.89/2241.20	c #Conflicts:     568000 | #Constraints:      22344
2234.89/2241.20	c #Conflicts:     569000 | #Constraints:      23344
2234.89/2241.20	c #Conflicts:     570000 | #Constraints:      24344
2234.89/2241.20	c #Conflicts:     571000 | #Constraints:      25344
2234.89/2241.20	c #Conflicts:     572000 | #Constraints:      26344
2234.89/2241.20	c #Conflicts:     573000 | #Constraints:      27344
2234.89/2241.20	c #Conflicts:     574000 | #Constraints:      28344
2234.89/2241.20	c #Conflicts:     575000 | #Constraints:      29344
2234.89/2241.20	c #Conflicts:     576000 | #Constraints:      30344
2234.89/2241.20	c INPROCESSING
2234.89/2241.20	c GARBAGE COLLECT
2234.89/2241.20	c #Conflicts:     577000 | #Constraints:      16346
2234.89/2241.20	c #Conflicts:     578000 | #Constraints:      17346
2234.89/2241.20	c #Conflicts:     579000 | #Constraints:      18346
2234.89/2241.20	c #Conflicts:     580000 | #Constraints:      19346
2234.89/2241.20	c #Conflicts:     581000 | #Constraints:      20346
2234.89/2241.20	c #Conflicts:     582000 | #Constraints:      21346
2234.89/2241.20	c #Conflicts:     583000 | #Constraints:      22346
2234.89/2241.20	c #Conflicts:     584000 | #Constraints:      23346
2234.89/2241.20	c #Conflicts:     585000 | #Constraints:      24346
2234.89/2241.20	c #Conflicts:     586000 | #Constraints:      25346
2234.89/2241.20	c #Conflicts:     587000 | #Constraints:      26346
2234.89/2241.20	c #Conflicts:     588000 | #Constraints:      27346
2234.89/2241.20	c #Conflicts:     589000 | #Constraints:      28346
2234.89/2241.20	c #Conflicts:     590000 | #Constraints:      29346
2234.89/2241.20	c #Conflicts:     591000 | #Constraints:      30346
2234.89/2241.20	c INPROCESSING
2234.89/2241.20	c GARBAGE COLLECT
2234.89/2241.20	c #Conflicts:     592000 | #Constraints:      16147
2234.89/2241.20	c #Conflicts:     593000 | #Constraints:      17147
2234.89/2241.20	c #Conflicts:     594000 | #Constraints:      18147
2234.89/2241.20	c #Conflicts:     595000 | #Constraints:      19147
2234.89/2241.20	c #Conflicts:     596000 | #Constraints:      20147
2234.89/2241.20	c #Conflicts:     597000 | #Constraints:      21147
2234.89/2241.20	c #Conflicts:     598000 | #Constraints:      22147
2234.89/2241.20	c #Conflicts:     599000 | #Constraints:      23147
2234.89/2241.20	c #Conflicts:     600000 | #Constraints:      24147
2234.89/2241.20	c #Conflicts:     601000 | #Constraints:      25147
2234.89/2241.20	c #Conflicts:     602000 | #Constraints:      26147
2234.89/2241.20	c #Conflicts:     603000 | #Constraints:      27147
2234.89/2241.20	c #Conflicts:     604000 | #Constraints:      28147
2234.89/2241.20	c #Conflicts:     605000 | #Constraints:      29147
2234.89/2241.20	c #Conflicts:     606000 | #Constraints:      30147
2234.89/2241.20	c #Conflicts:     607000 | #Constraints:      31147
2234.89/2241.20	c INPROCESSING
2234.89/2241.20	c GARBAGE COLLECT
2234.89/2241.20	c #Conflicts:     608000 | #Constraints:      16747
2234.89/2241.20	c #Conflicts:     609000 | #Constraints:      17747
2234.89/2241.20	c #Conflicts:     610000 | #Constraints:      18747
2234.89/2241.20	c #Conflicts:     611000 | #Constraints:      19747
2234.89/2241.20	c #Conflicts:     612000 | #Constraints:      20747
2234.89/2241.20	c #Conflicts:     613000 | #Constraints:      21747
2234.89/2241.20	c #Conflicts:     614000 | #Constraints:      22747
2234.89/2241.20	c #Conflicts:     615000 | #Constraints:      23747
2234.89/2241.20	c #Conflicts:     616000 | #Constraints:      24747
2234.89/2241.20	c #Conflicts:     617000 | #Constraints:      25747
2234.89/2241.20	c #Conflicts:     618000 | #Constraints:      26747
2234.89/2241.20	c #Conflicts:     619000 | #Constraints:      27747
2234.89/2241.20	c #Conflicts:     620000 | #Constraints:      28747
2234.89/2241.20	c #Conflicts:     621000 | #Constraints:      29747
2234.89/2241.20	c #Conflicts:     622000 | #Constraints:      30747
2234.89/2241.20	c #Conflicts:     623000 | #Constraints:      31747
2234.89/2241.20	c INPROCESSING
2234.89/2241.20	c GARBAGE COLLECT
2234.89/2241.20	c #Conflicts:     624000 | #Constraints:      17147
2650.87/2658.27	c #Conflicts:     625000 | #Constraints:      18147
2650.87/2658.27	c #Conflicts:     626000 | #Constraints:      19147
2650.87/2658.27	c #Conflicts:     627000 | #Constraints:      20147
2650.87/2658.27	c #Conflicts:     628000 | #Constraints:      21147
2650.87/2658.27	c #Conflicts:     629000 | #Constraints:      22147
2650.87/2658.27	c #Conflicts:     630000 | #Constraints:      23147
2650.87/2658.27	c #Conflicts:     631000 | #Constraints:      24147
2650.87/2658.27	c #Conflicts:     632000 | #Constraints:      25147
2650.87/2658.27	c #Conflicts:     633000 | #Constraints:      26147
2650.87/2658.27	c #Conflicts:     634000 | #Constraints:      27147
2650.87/2658.27	c #Conflicts:     635000 | #Constraints:      28147
2650.87/2658.27	c #Conflicts:     636000 | #Constraints:      29147
2650.87/2658.27	c #Conflicts:     637000 | #Constraints:      30147
2650.87/2658.27	c #Conflicts:     638000 | #Constraints:      31147
2650.87/2658.27	c #Conflicts:     639000 | #Constraints:      32147
2650.87/2658.27	c INPROCESSING
2650.87/2658.27	c GARBAGE COLLECT
2650.87/2658.27	c #Conflicts:     640000 | #Constraints:      17344
2650.87/2658.27	c #Conflicts:     641000 | #Constraints:      18344
2650.87/2658.27	c #Conflicts:     642000 | #Constraints:      19344
2650.87/2658.27	c #Conflicts:     643000 | #Constraints:      20344
2650.87/2658.27	c #Conflicts:     644000 | #Constraints:      21344
2650.87/2658.27	c #Conflicts:     645000 | #Constraints:      22344
2650.87/2658.27	c #Conflicts:     646000 | #Constraints:      23344
2650.87/2658.27	c #Conflicts:     647000 | #Constraints:      24344
2650.87/2658.27	c #Conflicts:     648000 | #Constraints:      25344
2650.87/2658.27	c #Conflicts:     649000 | #Constraints:      26344
2650.87/2658.27	c #Conflicts:     650000 | #Constraints:      27344
2650.87/2658.27	c #Conflicts:     651000 | #Constraints:      28344
2650.87/2658.27	c #Conflicts:     652000 | #Constraints:      29344
2650.87/2658.27	c #Conflicts:     653000 | #Constraints:      30344
2650.87/2658.27	c #Conflicts:     654000 | #Constraints:      31344
2650.87/2658.27	c #Conflicts:     655000 | #Constraints:      32344
2650.87/2658.27	c INPROCESSING
2650.87/2658.27	c GARBAGE COLLECT
2650.87/2658.27	c #Conflicts:     656000 | #Constraints:      17343
2650.87/2658.27	c #Conflicts:     657000 | #Constraints:      18343
2650.87/2658.27	c #Conflicts:     658000 | #Constraints:      19343
2650.87/2658.27	c #Conflicts:     659000 | #Constraints:      20343
2650.87/2658.27	c #Conflicts:     660000 | #Constraints:      21343
2650.87/2658.27	c #Conflicts:     661000 | #Constraints:      22343
2650.87/2658.27	c #Conflicts:     662000 | #Constraints:      23343
2650.87/2658.27	c #Conflicts:     663000 | #Constraints:      24343
2650.87/2658.27	c #Conflicts:     664000 | #Constraints:      25343
2650.87/2658.27	c #Conflicts:     665000 | #Constraints:      26343
2650.87/2658.27	c #Conflicts:     666000 | #Constraints:      27343
2650.87/2658.27	c #Conflicts:     667000 | #Constraints:      28343
2650.87/2658.27	c #Conflicts:     668000 | #Constraints:      29343
2650.87/2658.27	c #Conflicts:     669000 | #Constraints:      30343
2650.87/2658.27	c #Conflicts:     670000 | #Constraints:      31343
2650.87/2658.27	c #Conflicts:     671000 | #Constraints:      32343
2650.87/2658.27	c INPROCESSING
2650.87/2658.27	c GARBAGE COLLECT
2650.87/2658.27	c #Conflicts:     672000 | #Constraints:      17144
2650.87/2658.27	c #Conflicts:     673000 | #Constraints:      18144
2650.87/2658.27	c #Conflicts:     674000 | #Constraints:      19144
2650.87/2658.27	c #Conflicts:     675000 | #Constraints:      20144
2650.87/2658.27	c #Conflicts:     676000 | #Constraints:      21144
2650.87/2658.27	c #Conflicts:     677000 | #Constraints:      22144
2650.87/2658.27	c #Conflicts:     678000 | #Constraints:      23144
2650.87/2658.27	c #Conflicts:     679000 | #Constraints:      24144
2650.87/2658.27	c #Conflicts:     680000 | #Constraints:      25144
2650.87/2658.27	c #Conflicts:     681000 | #Constraints:      26144
2650.87/2658.27	c #Conflicts:     682000 | #Constraints:      27144
2650.87/2658.27	c #Conflicts:     683000 | #Constraints:      28144
2650.87/2658.27	c #Conflicts:     684000 | #Constraints:      29144
2650.87/2658.27	c #Conflicts:     685000 | #Constraints:      30144
2650.87/2658.27	c #Conflicts:     686000 | #Constraints:      31144
2650.87/2658.27	c #Conflicts:     687000 | #Constraints:      32144
2650.87/2658.27	c #Conflicts:     688000 | #Constraints:      33144
2650.87/2658.27	c INPROCESSING
2650.87/2658.27	c GARBAGE COLLECT
2650.87/2658.27	c #Conflicts:     689000 | #Constraints:      17748
2650.87/2658.27	c #Conflicts:     690000 | #Constraints:      18748
2650.87/2658.27	c #Conflicts:     691000 | #Constraints:      19748
2650.87/2658.27	c #Conflicts:     692000 | #Constraints:      20748
2650.87/2658.27	c #Conflicts:     693000 | #Constraints:      21748
2650.87/2658.27	c #Conflicts:     694000 | #Constraints:      22748
2650.87/2658.27	c #Conflicts:     695000 | #Constraints:      23748
2650.87/2658.27	c #Conflicts:     696000 | #Constraints:      24748
2650.87/2658.27	c #Conflicts:     697000 | #Constraints:      25748
2650.87/2658.27	c #Conflicts:     698000 | #Constraints:      26748
2650.87/2658.27	c #Conflicts:     699000 | #Constraints:      27748
2650.87/2658.27	c #Conflicts:     700000 | #Constraints:      28748
2650.87/2658.27	c #Conflicts:     701000 | #Constraints:      29748
3149.79/3158.55	c #Conflicts:     702000 | #Constraints:      30748
3149.79/3158.55	c #Conflicts:     703000 | #Constraints:      31748
3149.79/3158.55	c #Conflicts:     704000 | #Constraints:      32748
3149.79/3158.55	c #Conflicts:     705000 | #Constraints:      33748
3149.79/3158.55	c INPROCESSING
3149.79/3158.55	c GARBAGE COLLECT
3149.79/3158.55	c #Conflicts:     706000 | #Constraints:      18147
3149.79/3158.55	c #Conflicts:     707000 | #Constraints:      19147
3149.79/3158.55	c #Conflicts:     708000 | #Constraints:      20147
3149.79/3158.55	c #Conflicts:     709000 | #Constraints:      21147
3149.79/3158.55	c #Conflicts:     710000 | #Constraints:      22147
3149.79/3158.55	c #Conflicts:     711000 | #Constraints:      23147
3149.79/3158.55	c #Conflicts:     712000 | #Constraints:      24147
3149.79/3158.55	c #Conflicts:     713000 | #Constraints:      25147
3149.79/3158.55	c #Conflicts:     714000 | #Constraints:      26147
3149.79/3158.55	c #Conflicts:     715000 | #Constraints:      27147
3149.79/3158.55	c #Conflicts:     716000 | #Constraints:      28147
3149.79/3158.55	c #Conflicts:     717000 | #Constraints:      29147
3149.79/3158.55	c #Conflicts:     718000 | #Constraints:      30147
3149.79/3158.55	c #Conflicts:     719000 | #Constraints:      31147
3149.79/3158.55	c #Conflicts:     720000 | #Constraints:      32147
3149.79/3158.55	c #Conflicts:     721000 | #Constraints:      33147
3149.79/3158.55	c #Conflicts:     722000 | #Constraints:      34147
3149.79/3158.55	c INPROCESSING
3149.79/3158.55	c GARBAGE COLLECT
3149.79/3158.55	c #Conflicts:     723000 | #Constraints:      18345
3149.79/3158.55	c #Conflicts:     724000 | #Constraints:      19345
3149.79/3158.55	c #Conflicts:     725000 | #Constraints:      20345
3149.79/3158.55	c #Conflicts:     726000 | #Constraints:      21345
3149.79/3158.55	c #Conflicts:     727000 | #Constraints:      22345
3149.79/3158.55	c #Conflicts:     728000 | #Constraints:      23345
3149.79/3158.55	c #Conflicts:     729000 | #Constraints:      24345
3149.79/3158.55	c #Conflicts:     730000 | #Constraints:      25345
3149.79/3158.55	c #Conflicts:     731000 | #Constraints:      26345
3149.79/3158.55	c #Conflicts:     732000 | #Constraints:      27345
3149.79/3158.55	c #Conflicts:     733000 | #Constraints:      28345
3149.79/3158.55	c #Conflicts:     734000 | #Constraints:      29345
3149.79/3158.55	c #Conflicts:     735000 | #Constraints:      30345
3149.79/3158.55	c #Conflicts:     736000 | #Constraints:      31345
3149.79/3158.55	c #Conflicts:     737000 | #Constraints:      32345
3149.79/3158.55	c #Conflicts:     738000 | #Constraints:      33345
3149.79/3158.55	c #Conflicts:     739000 | #Constraints:      34345
3149.79/3158.55	c INPROCESSING
3149.79/3158.55	c GARBAGE COLLECT
3149.79/3158.55	c #Conflicts:     740000 | #Constraints:      18345
3149.79/3158.55	c #Conflicts:     741000 | #Constraints:      19345
3149.79/3158.55	c #Conflicts:     742000 | #Constraints:      20345
3149.79/3158.55	c #Conflicts:     743000 | #Constraints:      21345
3149.79/3158.55	c #Conflicts:     744000 | #Constraints:      22345
3149.79/3158.55	c #Conflicts:     745000 | #Constraints:      23345
3149.79/3158.55	c #Conflicts:     746000 | #Constraints:      24345
3149.79/3158.55	c #Conflicts:     747000 | #Constraints:      25345
3149.79/3158.55	c #Conflicts:     748000 | #Constraints:      26345
3149.79/3158.55	c #Conflicts:     749000 | #Constraints:      27345
3149.79/3158.55	c #Conflicts:     750000 | #Constraints:      28345
3149.79/3158.55	c #Conflicts:     751000 | #Constraints:      29345
3149.79/3158.55	c #Conflicts:     752000 | #Constraints:      30345
3149.79/3158.55	c #Conflicts:     753000 | #Constraints:      31345
3149.79/3158.55	c #Conflicts:     754000 | #Constraints:      32345
3149.79/3158.55	c #Conflicts:     755000 | #Constraints:      33345
3149.79/3158.55	c #Conflicts:     756000 | #Constraints:      34345
3149.79/3158.55	c INPROCESSING
3149.79/3158.55	c GARBAGE COLLECT
3149.79/3158.55	c #Conflicts:     757000 | #Constraints:      18144
3149.79/3158.55	c #Conflicts:     758000 | #Constraints:      19144
3149.79/3158.55	c #Conflicts:     759000 | #Constraints:      20144
3149.79/3158.55	c #Conflicts:     760000 | #Constraints:      21144
3149.79/3158.55	c #Conflicts:     761000 | #Constraints:      22144
3149.79/3158.55	c #Conflicts:     762000 | #Constraints:      23144
3149.79/3158.55	c #Conflicts:     763000 | #Constraints:      24144
3149.79/3158.55	c #Conflicts:     764000 | #Constraints:      25144
3149.79/3158.55	c #Conflicts:     765000 | #Constraints:      26144
3149.79/3158.55	c #Conflicts:     766000 | #Constraints:      27144
3149.79/3158.55	c #Conflicts:     767000 | #Constraints:      28144
3149.79/3158.55	c #Conflicts:     768000 | #Constraints:      29144
3149.79/3158.55	c #Conflicts:     769000 | #Constraints:      30144
3149.79/3158.55	c #Conflicts:     770000 | #Constraints:      31144
3149.79/3158.55	c #Conflicts:     771000 | #Constraints:      32144
3149.79/3158.55	c #Conflicts:     772000 | #Constraints:      33144
3149.79/3158.55	c #Conflicts:     773000 | #Constraints:      34144
3149.79/3158.55	c #Conflicts:     774000 | #Constraints:      35144
3149.79/3158.55	c INPROCESSING
3149.79/3158.55	c GARBAGE COLLECT
3149.79/3158.55	c #Conflicts:     775000 | #Constraints:      18743
3149.79/3158.55	c #Conflicts:     776000 | #Constraints:      19743
3564.60/3574.48	c #Conflicts:     777000 | #Constraints:      20743
3564.60/3574.48	c #Conflicts:     778000 | #Constraints:      21743
3564.60/3574.48	c #Conflicts:     779000 | #Constraints:      22743
3564.60/3574.48	c #Conflicts:     780000 | #Constraints:      23743
3564.60/3574.48	c #Conflicts:     781000 | #Constraints:      24743
3564.60/3574.48	c #Conflicts:     782000 | #Constraints:      25743
3564.60/3574.48	c #Conflicts:     783000 | #Constraints:      26743
3564.60/3574.48	c #Conflicts:     784000 | #Constraints:      27743
3564.60/3574.48	c #Conflicts:     785000 | #Constraints:      28743
3564.60/3574.48	c #Conflicts:     786000 | #Constraints:      29743
3564.60/3574.48	c #Conflicts:     787000 | #Constraints:      30743
3564.60/3574.48	c #Conflicts:     788000 | #Constraints:      31743
3564.60/3574.48	c #Conflicts:     789000 | #Constraints:      32743
3564.60/3574.48	c #Conflicts:     790000 | #Constraints:      33743
3564.60/3574.48	c #Conflicts:     791000 | #Constraints:      34743
3564.60/3574.48	c #Conflicts:     792000 | #Constraints:      35743
3564.60/3574.48	c INPROCESSING
3564.60/3574.48	c GARBAGE COLLECT
3564.60/3574.48	c #Conflicts:     793000 | #Constraints:      19142
3564.60/3574.48	c #Conflicts:     794000 | #Constraints:      20142
3564.60/3574.48	c #Conflicts:     795000 | #Constraints:      21142
3564.60/3574.48	c #Conflicts:     796000 | #Constraints:      22142
3564.60/3574.48	c #Conflicts:     797000 | #Constraints:      23142
3564.60/3574.48	c #Conflicts:     798000 | #Constraints:      24142
3564.60/3574.48	c #Conflicts:     799000 | #Constraints:      25142
3564.60/3574.48	c #Conflicts:     800000 | #Constraints:      26142
3564.60/3574.48	c #Conflicts:     801000 | #Constraints:      27142
3564.60/3574.48	c #Conflicts:     802000 | #Constraints:      28142
3564.60/3574.48	c #Conflicts:     803000 | #Constraints:      29142
3564.60/3574.48	c #Conflicts:     804000 | #Constraints:      30142
3564.60/3574.48	c #Conflicts:     805000 | #Constraints:      31142
3564.60/3574.48	c #Conflicts:     806000 | #Constraints:      32142
3564.60/3574.48	c #Conflicts:     807000 | #Constraints:      33142
3564.60/3574.48	c #Conflicts:     808000 | #Constraints:      34142
3564.60/3574.48	c #Conflicts:     809000 | #Constraints:      35142
3564.60/3574.48	c #Conflicts:     810000 | #Constraints:      36142
3564.60/3574.48	c INPROCESSING
3564.60/3574.48	c GARBAGE COLLECT
3564.60/3574.48	c #Conflicts:     811000 | #Constraints:      19342
3564.60/3574.48	c #Conflicts:     812000 | #Constraints:      20342
3564.60/3574.48	c #Conflicts:     813000 | #Constraints:      21342
3564.60/3574.48	c #Conflicts:     814000 | #Constraints:      22342
3564.60/3574.48	c #Conflicts:     815000 | #Constraints:      23342
3564.60/3574.48	c #Conflicts:     816000 | #Constraints:      24342
3564.60/3574.48	c #Conflicts:     817000 | #Constraints:      25342
3564.60/3574.48	c #Conflicts:     818000 | #Constraints:      26342
3564.60/3574.48	c #Conflicts:     819000 | #Constraints:      27342
3564.60/3574.48	c #Conflicts:     820000 | #Constraints:      28342
3564.60/3574.48	c #Conflicts:     821000 | #Constraints:      29342
3564.60/3574.48	c #Conflicts:     822000 | #Constraints:      30342
3564.60/3574.48	c #Conflicts:     823000 | #Constraints:      31342
3564.60/3574.48	c #Conflicts:     824000 | #Constraints:      32342
3564.60/3574.48	c #Conflicts:     825000 | #Constraints:      33342
3564.60/3574.48	c #Conflicts:     826000 | #Constraints:      34342
3564.60/3574.48	c #Conflicts:     827000 | #Constraints:      35342
3564.60/3574.48	c #Conflicts:     828000 | #Constraints:      36342
3564.60/3574.48	c INPROCESSING
3564.60/3574.48	c GARBAGE COLLECT
3564.60/3574.48	c #Conflicts:     829000 | #Constraints:      19344
3564.60/3574.48	c #Conflicts:     830000 | #Constraints:      20344
3564.60/3574.48	c #Conflicts:     831000 | #Constraints:      21344
3564.60/3574.48	c #Conflicts:     832000 | #Constraints:      22344
3564.60/3574.48	c #Conflicts:     833000 | #Constraints:      23344
3564.60/3574.48	c #Conflicts:     834000 | #Constraints:      24344
3564.60/3574.48	c #Conflicts:     835000 | #Constraints:      25344
3564.60/3574.48	c #Conflicts:     836000 | #Constraints:      26344
3564.60/3574.48	c #Conflicts:     837000 | #Constraints:      27344
3564.60/3574.48	c #Conflicts:     838000 | #Constraints:      28344
3564.60/3574.48	c #Conflicts:     839000 | #Constraints:      29344
3564.60/3574.48	c #Conflicts:     840000 | #Constraints:      30344
3564.60/3574.48	c #Conflicts:     841000 | #Constraints:      31344
3564.60/3574.48	c #Conflicts:     842000 | #Constraints:      32344
3564.60/3574.48	c #Conflicts:     843000 | #Constraints:      33344
3564.60/3574.48	c #Conflicts:     844000 | #Constraints:      34344
3564.60/3574.48	c #Conflicts:     845000 | #Constraints:      35344
3564.60/3574.48	c #Conflicts:     846000 | #Constraints:      36344
3564.60/3574.48	c INPROCESSING
3564.60/3574.48	c GARBAGE COLLECT
3564.60/3574.48	c #Conflicts:     847000 | #Constraints:      19140
3564.60/3574.48	c #Conflicts:     848000 | #Constraints:      20140
3564.60/3574.48	c #Conflicts:     849000 | #Constraints:      21140
3564.60/3574.48	c #Conflicts:     850000 | #Constraints:      22140
3564.60/3574.48	c #Conflicts:     851000 | #Constraints:      23140
3564.60/3574.48	c #Conflicts:     852000 | #Constraints:      24140
3564.60/3574.48	c #Conflicts:     853000 | #Constraints:      25140
3600.01/3609.90	c #Conflicts:     854000 | #Constraints:      26140
3600.01/3609.90	c #Conflicts:     855000 | #Constraints:      27140
3600.01/3609.90	c #Conflicts:     856000 | #Constraints:      28140
3600.01/3609.90	c #Conflicts:     857000 | #Constraints:      29140
3600.01/3609.90	c #Conflicts:     858000 | #Constraints:      30140
3600.01/3609.90	c #Conflicts:     859000 | #Constraints:      31140
3600.01/3609.90	c Program interrupted by user.
3600.01/3609.90	c cpu time 3590.38 s
3600.01/3609.90	c deterministic time 394312765526 3.94e+11
3600.01/3609.90	c optimization time 60.616 s
3600.01/3609.90	c total solve time 3230.54 s
3600.01/3609.90	c core-guided solve time 3230.54 s
3600.01/3609.90	c propagation time 2911.77 s
3600.01/3609.90	c conflict analysis time 329.739 s
3600.01/3609.90	c propagations 64870559
3600.01/3609.90	c resolve steps 4288791
3600.01/3609.90	c decisions 5784808
3600.01/3609.90	c conflicts 859444
3600.01/3609.90	c restarts 1850
3600.01/3609.90	c inprocessing phases 83
3600.01/3609.90	c input clauses 56
3600.01/3609.90	c input cardinalities 78
3600.01/3609.90	c input general constraints 468
3600.01/3609.90	c input average constraint length 68.28
3600.01/3609.90	c input average constraint degree 34.81
3600.01/3609.90	c learned clauses 169894
3600.01/3609.90	c learned cardinalities 1167
3600.01/3609.90	c learned general constraints 688401
3600.01/3609.90	c learned average constraint length 321.06
3600.01/3609.90	c learned average constraint degree 318189.51
3600.01/3609.90	c watched constraints 596147
3600.01/3609.90	c counting constraints 92722
3600.01/3609.90	c gcd simplifications 139992
3600.01/3609.90	c detected cardinalities 918
3600.01/3609.90	c weakened non-implied lits 26335855
3600.01/3609.90	c weakened non-implying lits 68198
3600.01/3609.90	c original variables 470
3600.01/3609.90	c clausal propagations 1262637
3600.01/3609.90	c cardinality propagations 186614
3600.01/3609.90	c watched propagations 40093790
3600.01/3609.90	c counting propagations 22231392
3600.01/3609.90	c watch lookups 60798734553
3600.01/3609.90	c watch backjump lookups 56901331190
3600.01/3609.90	c watch checks 267663707521
3600.01/3609.90	c propagation checks 7918793897
3600.01/3609.90	c constraint additions 888028577
3600.01/3609.90	c trail pops 71514420
3600.01/3609.90	c formula constraints 470
3600.01/3609.90	c learned constraints 859462
3600.01/3609.90	c bound constraints 78
3600.01/3609.90	c core-guided constraints 54
3600.01/3609.90	c encountered formula constraints 2631766
3600.01/3609.90	c encountered learned constraints 2419830
3600.01/3609.90	c encountered bound constraints 293
3600.01/3609.90	c encountered core-guided constraints 96346
3600.01/3609.90	c LP total time 0 s
3600.01/3609.90	c LP solve time 0 s
3600.01/3609.90	c LP constraints added 0
3600.01/3609.90	c LP constraints removed 0
3600.01/3609.90	c LP pivots internal 0
3600.01/3609.90	c LP pivots root 0
3600.01/3609.90	c LP calls 0
3600.01/3609.90	c LP optimalities 0
3600.01/3609.90	c LP no pivot count 0
3600.01/3609.90	c LP infeasibilities 0
3600.01/3609.90	c LP valid Farkas constraints 0
3600.01/3609.90	c LP learned Farkas constraints 0
3600.01/3609.90	c LP basis resets 0
3600.01/3609.90	c LP cycling count 0
3600.01/3609.90	c LP singular count 0
3600.01/3609.90	c LP no primal count 0
3600.01/3609.90	c LP no farkas count 0
3600.01/3609.90	c LP other issue count 0
3600.01/3609.90	c LP Gomory cuts 0
3600.01/3609.90	c LP learned cuts 0
3600.01/3609.90	c LP deleted cuts 0
3600.01/3609.90	c LP encountered Gomory constraints 0
3600.01/3609.90	c LP encountered Farkas constraints 0
3600.01/3609.90	c LP encountered learned Farkas constraints 0
3600.01/3609.90	c CG auxiliary variables introduced 54
3600.01/3609.90	c CG solutions found 0
3600.01/3609.90	c CG cores constructed 77
3600.01/3609.90	c CG core cardinality constraints returned 0
3600.01/3609.90	c CG unit cores 0
3600.01/3609.90	c CG single cores 77
3600.01/3609.90	c CG blocks removed during cardinality reduction 0
3600.01/3609.90	c CG first core best 0
3600.01/3609.90	c CG decision core best 0
3600.01/3609.90	c CG core reduction tie 0
3600.01/3609.90	c CG core degree average 1.00
3600.01/3609.90	c CG core slack average 2.77
3600.01/3609.90	c CG exhausted 0
3600.01/3609.90	c CG exhaust time 0 s
3600.01/3609.90	c CG trimmed 1
3600.01/3609.90	c CG trim time 0.000305 s
3600.01/3609.90	c CG minimized 0
3600.01/3609.90	c CG minimize time 0 s
3600.01/3609.90	c CG am1 prop time 0.000399 s
3600.01/3609.90	c CG # am1s reformulated 54
3600.01/3609.90	c CG lower bound derived from am1s 54
3600.01/3609.90	c CG # clausal cores 18
3600.01/3609.90	c CG # cardinality cores 0
3600.01/3609.90	c CG # pb cores 59
3600.01/3609.90	c CG # pb reforms 0
3600.01/3609.90	c CG # cores discarded because of pb reform 0
3600.01/3609.90	d LOWERBOUND 131
3600.01/3609.90	d NCORES 77
3600.01/3609.90	d NPBCORES 59
3600.01/3609.90	d NPBREFORM 0
3600.01/3609.90	d NTRIMMED 1
3600.01/3609.90	d NEXHAUSTED 0
3600.01/3609.90	d NAM1S 54
3600.01/3609.90	d AM1LB 54
3600.01/3609.90	c [Papilo Statistics]
3600.01/3609.90	c prepro time 0.00432343s
3600.01/3609.90	c # tsx applied 15
3600.01/3609.90	c # tsx conflicts 0
3600.01/3609.90	c # bound changes 0
3600.01/3609.90	c # side changes 0
3600.01/3609.90	c # coef changes 43
3600.01/3609.90	c # rounds 3
3600.01/3609.90	c # deted vars 0
3600.01/3609.90	c # deted constrs 0
3600.01/3609.90	c # consecutive rounds of only bound changes 0
3600.01/3609.90	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: 63794 MiB (60707 MiB free)
  memory of node 1: 64507 MiB (59573 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489221-1751353208/watcher-4489221-1751353208 -o /tmp/evaluation-result-4489221-1751353208/solver-4489221-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50712 --watchdog 3760 mixed-bag HOME/instance-4489221-1751353208.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=51075, runsolver pid=51068

[startup+0.10007 s]*
/proc/loadavg: 4.12 4.11 4.09 3/247 51089
/proc/meminfo: memFree=123156852/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=99172 memory=24448 CPUtime=0.08 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 2466 0 0 0 7 1 0 0 20 0 1 0 51000600 101552128 6112 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 24793 6112 4128 2842 0 6487 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 99172 KiB
Current children cumulated memory: 24448 KiB

[startup+0.214233 s]*
/proc/loadavg: 4.12 4.11 4.09 5/244 51093
/proc/meminfo: memFree=123149140/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=101396 memory=27384 CPUtime=0.2 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 3110 0 0 0 18 2 0 0 20 0 1 0 51000600 103829504 6846 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 25349 6846 4288 2842 0 7043 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 101396 KiB
Current children cumulated memory: 27384 KiB

[startup+0.312989 s]*
/proc/loadavg: 4.12 4.11 4.09 4/246 51107
/proc/meminfo: memFree=123149460/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=101564 memory=27512 CPUtime=0.3 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 3141 0 0 0 28 2 0 0 20 0 1 0 51000600 104001536 6878 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 25391 6878 4288 2842 0 7085 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101564 KiB
Current children cumulated memory: 27512 KiB

[startup+0.700248 s]
/proc/loadavg: 4.12 4.11 4.09 5/247 51120
/proc/meminfo: memFree=123152580/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=101912 memory=27768 CPUtime=0.67 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 3218 0 0 0 65 2 0 0 20 0 1 0 51000600 104357888 6942 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 25478 6942 4288 2842 0 7172 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 101912 KiB
Current children cumulated memory: 27768 KiB

[startup+1.50029 s]
/proc/loadavg: 4.12 4.11 4.09 5/252 51130
/proc/meminfo: memFree=123144604/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=131996 memory=57596 CPUtime=1.47 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 11027 0 0 0 143 4 0 0 20 0 1 0 51000600 135163904 14399 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 32999 14399 4288 2842 0 14693 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 131996 KiB
Current children cumulated memory: 57596 KiB

[startup+3.11283 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122687500/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=235448 memory=155924 CPUtime=3.07 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 36751 0 0 0 299 8 0 0 20 0 1 0 51000600 241098752 38981 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 58862 38981 4288 2842 0 40556 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 235448 KiB
Current children cumulated memory: 155924 KiB

[startup+6.30026 s]
/proc/loadavg: 4.11 4.11 4.09 5/252 51130
/proc/meminfo: memFree=122623304/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=235448 memory=155924 CPUtime=6.24 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 36757 0 0 0 616 8 0 0 20 0 1 0 51000600 241098752 38981 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 58862 38981 4288 2842 0 40556 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 235448 KiB
Current children cumulated memory: 155924 KiB

[startup+12.7003 s]
/proc/loadavg: 4.17 4.12 4.10 5/252 51130
/proc/meminfo: memFree=122623308/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=237016 memory=158740 CPUtime=12.62 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 37459 0 0 0 1254 8 0 0 20 0 1 0 51000600 242704384 39685 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 59254 39685 4288 2842 0 40948 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 237016 KiB
Current children cumulated memory: 158740 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51130
/proc/meminfo: memFree=122290604/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=330844 memory=249916 CPUtime=25.38 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 61284 0 0 0 2526 12 0 0 20 0 1 0 51000600 338784256 62479 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 82711 62479 4288 2842 0 64405 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 330844 KiB
Current children cumulated memory: 249916 KiB

[startup+51.1128 s]
/proc/loadavg: 4.10 4.11 4.09 5/252 51131
/proc/meminfo: memFree=122219784/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=330528 memory=250200 CPUtime=50.92 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 61302 0 0 0 5080 12 0 0 20 0 1 0 51000600 338460672 62550 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 82632 62550 4288 2842 0 64326 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 330528 KiB
Current children cumulated memory: 250200 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 51143
/proc/meminfo: memFree=122141252/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=338576 memory=260568 CPUtime=101.97 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 63151 0 0 0 10185 12 0 0 20 0 1 0 51000600 346701824 65142 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 84644 65142 4320 2842 0 66338 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 338576 KiB
Current children cumulated memory: 260568 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/252 51145
/proc/meminfo: memFree=121952868/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=379608 memory=303992 CPUtime=161.81 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 73582 0 0 0 16166 15 0 0 20 0 1 0 51000600 388718592 75998 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 94902 75998 4320 2842 0 76596 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 379608 KiB
Current children cumulated memory: 303992 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 51147
/proc/meminfo: memFree=121954508/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=379608 memory=311160 CPUtime=221.66 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 73708 0 0 0 22151 15 0 0 20 0 1 0 51000600 388718592 77790 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 94902 77790 4320 2842 0 76596 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 379608 KiB
Current children cumulated memory: 311160 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 51149
/proc/meminfo: memFree=121953200/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=379608 memory=311160 CPUtime=281.51 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 73747 0 0 0 28136 15 0 0 20 0 1 0 51000600 388718592 77790 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 94902 77790 4320 2842 0 76596 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 379608 KiB
Current children cumulated memory: 311160 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/249 51151
/proc/meminfo: memFree=122113556/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=328052 memory=260888 CPUtime=341.34 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 76075 0 0 0 34063 71 0 0 20 0 1 0 51000600 335925248 65222 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 82013 65222 4480 2842 0 63707 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 328052 KiB
Current children cumulated memory: 260888 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 51153
/proc/meminfo: memFree=122070960/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=347020 memory=265880 CPUtime=401.18 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 76310 0 0 0 40008 110 0 0 20 0 1 0 51000600 355348480 66470 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 86755 66470 4480 2842 0 68449 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 347020 KiB
Current children cumulated memory: 265880 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/249 51155
/proc/meminfo: memFree=122048036/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=347020 memory=271296 CPUtime=460.99 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 76669 0 0 0 45950 149 0 0 20 0 1 0 51000600 355348480 67824 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 86755 67824 4480 2842 0 68449 0

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

Current children cumulated memory: 323700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/249 51268
/proc/meminfo: memFree=121874576/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=2914.22 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 290579 843 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 2914.22 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/249 51270
/proc/meminfo: memFree=121877052/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=2974.07 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 296554 853 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 51279
/proc/meminfo: memFree=121879828/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3033.89 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 302524 865 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3033.89 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/250 51281
/proc/meminfo: memFree=121876720/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3093.74 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 308497 877 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/250 51283
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3153.59 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 314469 890 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/250 51285
/proc/meminfo: memFree=121875472/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3213.43 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 320446 897 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/250 51287
/proc/meminfo: memFree=121871376/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3273.27 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 326418 909 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/249 51289
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3333.11 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 332392 919 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 51291
/proc/meminfo: memFree=121867280/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3392.95 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 338364 931 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.15 4.11 5/249 51293
/proc/meminfo: memFree=121867028/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3452.8 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 344338 942 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.61 4.28 4.16 5/249 51295
/proc/meminfo: memFree=121860088/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=323700 CPUtime=3512.64 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78558 0 0 0 350316 948 0 0 20 0 1 0 51000600 438198272 80925 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 80925 4480 2842 0 88676 0
Current children cumulated CPU time: 3512.64 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 323700 KiB

[startup+3582.3 s]
/proc/loadavg: 4.26 4.24 4.15 5/249 51297
/proc/meminfo: memFree=121855720/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=325748 CPUtime=3572.48 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78657 0 0 0 356291 957 0 0 20 0 1 0 51000600 438198272 81437 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 81437 4480 2842 0 88676 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 325748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 51306
/proc/meminfo: memFree=121854964/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=325748 CPUtime=3600.01 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78662 0 0 0 359038 963 0 0 20 0 1 0 51000600 438198272 81437 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 81437 4480 2842 0 88676 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 325748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.39 s, system=9.63203 s

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

[startup+3609.9 s]
/proc/loadavg: 4.23 4.23 4.15 5/250 51306
/proc/meminfo: memFree=121854964/131382112 swapFree=33010684/33010684
[pid=51075] ppid=51068 vsize=427928 memory=325748 CPUtime=3600.01 cores=5,7
/proc/51075/stat : 51075 (mixed-bag) R 51068 51075 50699 0 -1 4194304 78662 0 0 0 359038 963 0 0 20 0 1 0 51000600 438198272 81437 18446744073709551615 4235264 15874749 140731949591120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18096864 18107984 25432064 140731949595036 140731949595113 140731949595113 140731949600715 0
/proc/51075/statm: 106982 81437 4480 2842 0 88676 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 427928 KiB
Current children cumulated memory: 325748 KiB

Child status: 0

Real time (s): 3609.9
CPU time (s): 3600.02
CPU user time (s): 3590.39
CPU system time (s): 9.63203
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 427928
Max. memory (cumulated for all children) (KiB): 325748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.39
system time used= 9.63203
maximum resident set size= 326388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78692
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= 252
involuntary context switches= 1424


# summary of solver processes directly reported to runsolver:
#   pid: 51075
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3590.39
#   total CPU system time (s): 9.63203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1327 second user time and 34.7753 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 09:00:08
IDJOB=4489221
IDBENCH=147543
IDSOLVER=3340
FILE ID=nodeC009/4489221-1751353208
RUNJOBID= nodeC009-1751349596-50712
SLURM_JOB_ID= 9598132
Free space on /tmp= 432628 MiB

SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_22.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489221-1751353208/watcher-4489221-1751353208 -o /tmp/evaluation-result-4489221-1751353208/solver-4489221-1751353208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751349596-50712 --watchdog 3760  mixed-bag HOME/instance-4489221-1751353208.opb

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

MD5SUM BENCH= 79a11fcf881101c51e0b67ee01609c80
RANDOM SEED=541342985

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        123168728 kB
MemAvailable:   129911896 kB
Buffers:            3280 kB
Cached:          7514896 kB
SwapCached:            0 kB
Active:           369904 kB
Inactive:        7215280 kB
Active(anon):      84000 kB
Inactive(anon):      968 kB
Active(file):     285904 kB
Inactive(file):  7214312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             31404 kB
Writeback:             0 kB
AnonPages:         70136 kB
Mapped:           103100 kB
Shmem:             17960 kB
KReclaimable:     164772 kB
Slab:             248548 kB
SReclaimable:     164772 kB
SUnreclaim:        83776 kB
KernelStack:        3872 kB
PageTables:         2884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     332292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149304 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432596 MiB
End job on nodeC009 at 2025-07-01 10:00:18