Trace number 4528917

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-07-10? (TO) 3600.06 3610.02

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_21.opb.PB06.opb
MD5SUMbed0fcfa7fe1ab50726d34a7d1903e12
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 benchmark182
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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.02	c RoundingSat 2
0.00/0.02	c branch 
0.00/0.02	c commit 
0.00/0.02	c with Papilo
0.00/0.02	c with SCIP
0.00/0.02	c [STEP] parsing instance
0.00/0.03	c [STEP] preprocessing with Papilo
0.00/0.04	c [STEP] solving with SCIP
299.27/300.17	c [STEP] preprocessing done, loading into solver
299.27/300.18	c [STEP] solving
299.27/300.18	c #variables 479 #constraints 478
299.27/300.18	c SMALL=int, LARGE=long long
299.27/300.18	d SCIPUB 191
299.27/300.18	c bounds - >= 0 @ 299.155
299.27/300.18	c stratification level: 0
321.89/322.86	c bounds - >= 55 @ 299.157
321.89/322.86	c bounds - >= 56 @ 299.157
321.89/322.86	c bounds - >= 57 @ 299.157
321.89/322.86	c bounds - >= 58 @ 299.157
321.89/322.86	c bounds - >= 59 @ 299.157
321.89/322.86	c bounds - >= 60 @ 299.157
321.89/322.86	c bounds - >= 61 @ 299.157
321.89/322.86	c bounds - >= 62 @ 299.157
321.89/322.86	c bounds - >= 63 @ 299.157
321.89/322.86	c bounds - >= 64 @ 299.158
321.89/322.86	c bounds - >= 65 @ 299.158
321.89/322.86	c bounds - >= 66 @ 299.158
321.89/322.86	c bounds - >= 67 @ 299.158
321.89/322.86	c bounds - >= 68 @ 299.158
321.89/322.86	c bounds - >= 69 @ 299.158
321.89/322.86	c bounds - >= 70 @ 299.158
321.89/322.86	c bounds - >= 71 @ 299.158
321.89/322.86	c bounds - >= 72 @ 299.158
321.89/322.86	c bounds - >= 73 @ 299.159
321.89/322.86	c bounds - >= 74 @ 299.159
321.89/322.86	c bounds - >= 75 @ 299.159
321.89/322.86	c bounds - >= 76 @ 299.159
321.89/322.86	c bounds - >= 77 @ 299.159
321.89/322.86	c bounds - >= 78 @ 299.159
321.89/322.86	c bounds - >= 79 @ 299.159
321.89/322.86	c bounds - >= 80 @ 299.159
321.89/322.86	c bounds - >= 81 @ 299.159
321.89/322.86	c bounds - >= 82 @ 299.159
321.89/322.86	c bounds - >= 83 @ 299.159
321.89/322.86	c bounds - >= 84 @ 299.159
321.89/322.86	c bounds - >= 85 @ 299.159
321.89/322.86	c bounds - >= 86 @ 299.159
321.89/322.86	c bounds - >= 87 @ 299.159
321.89/322.86	c bounds - >= 88 @ 299.159
321.89/322.86	c bounds - >= 89 @ 299.159
321.89/322.86	c bounds - >= 90 @ 299.16
321.89/322.86	c bounds - >= 91 @ 299.16
321.89/322.86	c bounds - >= 92 @ 299.16
321.89/322.86	c bounds - >= 93 @ 299.16
321.89/322.86	c bounds - >= 94 @ 299.16
321.89/322.86	c bounds - >= 95 @ 299.16
321.89/322.86	c bounds - >= 96 @ 299.16
321.89/322.86	c bounds - >= 97 @ 299.16
321.89/322.86	c bounds - >= 98 @ 299.16
321.89/322.86	c bounds - >= 99 @ 299.16
321.89/322.86	c bounds - >= 100 @ 299.16
321.89/322.86	c bounds - >= 101 @ 299.16
321.89/322.86	c bounds - >= 102 @ 299.16
321.89/322.86	c bounds - >= 103 @ 299.16
321.89/322.86	c bounds - >= 104 @ 299.16
321.89/322.86	c bounds - >= 105 @ 299.16
321.89/322.86	c bounds - >= 106 @ 299.16
321.89/322.86	c bounds - >= 107 @ 299.161
321.89/322.86	c bounds - >= 108 @ 299.161
321.89/322.86	c bounds - >= 109 @ 299.161
321.89/322.86	c bounds - >= 110 @ 299.161
321.89/322.86	c bounds - >= 111 @ 299.161
321.89/322.86	c bounds - >= 112 @ 299.161
321.89/322.86	c bounds - >= 113 @ 299.161
321.89/322.86	c bounds - >= 114 @ 299.161
321.89/322.86	c bounds - >= 115 @ 299.161
321.89/322.86	c bounds - >= 116 @ 299.161
321.89/322.86	c bounds - >= 117 @ 299.161
321.89/322.86	c bounds - >= 118 @ 299.161
321.89/322.86	c bounds - >= 119 @ 299.161
321.89/322.86	c bounds - >= 120 @ 299.162
321.89/322.86	c bounds - >= 121 @ 299.162
321.89/322.86	c bounds - >= 122 @ 299.162
321.89/322.86	c bounds - >= 123 @ 299.162
321.89/322.86	c bounds - >= 124 @ 299.162
321.89/322.86	c bounds - >= 125 @ 299.162
321.89/322.86	c bounds - >= 126 @ 299.162
321.89/322.86	c bounds - >= 127 @ 299.162
321.89/322.86	c bounds - >= 128 @ 299.162
321.89/322.86	c bounds - >= 129 @ 299.162
321.89/322.86	c bounds - >= 130 @ 299.162
321.89/322.86	c bounds - >= 131 @ 299.162
321.89/322.86	c bounds - >= 132 @ 299.162
321.89/322.86	c #Conflicts:       1000 | #Constraints:       1618
321.89/322.86	c #Conflicts:       2000 | #Constraints:       2618
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:       3000 | #Constraints:       2546
321.89/322.86	c #Conflicts:       4000 | #Constraints:       3546
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:       5000 | #Constraints:       2948
321.89/322.86	c #Conflicts:       6000 | #Constraints:       3948
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:       7000 | #Constraints:       2946
321.89/322.86	c #Conflicts:       8000 | #Constraints:       3946
321.89/322.86	c #Conflicts:       9000 | #Constraints:       4946
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      10000 | #Constraints:       3646
321.89/322.86	c #Conflicts:      11000 | #Constraints:       4646
321.89/322.86	c #Conflicts:      12000 | #Constraints:       5646
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      13000 | #Constraints:       4095
321.89/322.86	c #Conflicts:      14000 | #Constraints:       5095
321.89/322.86	c #Conflicts:      15000 | #Constraints:       6095
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      16000 | #Constraints:       4321
321.89/322.86	c #Conflicts:      17000 | #Constraints:       5321
321.89/322.86	c #Conflicts:      18000 | #Constraints:       6321
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      19000 | #Constraints:       4335
321.89/322.86	c #Conflicts:      20000 | #Constraints:       5335
321.89/322.86	c #Conflicts:      21000 | #Constraints:       6335
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      22000 | #Constraints:       4141
321.89/322.86	c #Conflicts:      23000 | #Constraints:       5141
321.89/322.86	c #Conflicts:      24000 | #Constraints:       6141
321.89/322.86	c #Conflicts:      25000 | #Constraints:       7141
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      26000 | #Constraints:       4744
321.89/322.86	c #Conflicts:      27000 | #Constraints:       5744
321.89/322.86	c #Conflicts:      28000 | #Constraints:       6744
321.89/322.86	c #Conflicts:      29000 | #Constraints:       7744
321.89/322.86	c INPROCESSING
321.89/322.86	c GARBAGE COLLECT
321.89/322.86	c #Conflicts:      30000 | #Constraints:       5143
321.89/322.86	c #Conflicts:      31000 | #Constraints:       6143
321.89/322.86	c #Conflicts:      32000 | #Constraints:       7143
430.65/431.98	c #Conflicts:      33000 | #Constraints:       8143
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      34000 | #Constraints:       5344
430.65/431.98	c #Conflicts:      35000 | #Constraints:       6344
430.65/431.98	c #Conflicts:      36000 | #Constraints:       7344
430.65/431.98	c #Conflicts:      37000 | #Constraints:       8344
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      38000 | #Constraints:       5350
430.65/431.98	c #Conflicts:      39000 | #Constraints:       6350
430.65/431.98	c #Conflicts:      40000 | #Constraints:       7350
430.65/431.98	c #Conflicts:      41000 | #Constraints:       8350
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      42000 | #Constraints:       5153
430.65/431.98	c #Conflicts:      43000 | #Constraints:       6153
430.65/431.98	c #Conflicts:      44000 | #Constraints:       7153
430.65/431.98	c #Conflicts:      45000 | #Constraints:       8153
430.65/431.98	c #Conflicts:      46000 | #Constraints:       9153
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      47000 | #Constraints:       5749
430.65/431.98	c #Conflicts:      48000 | #Constraints:       6749
430.65/431.98	c #Conflicts:      49000 | #Constraints:       7749
430.65/431.98	c #Conflicts:      50000 | #Constraints:       8749
430.65/431.98	c #Conflicts:      51000 | #Constraints:       9749
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      52000 | #Constraints:       6149
430.65/431.98	c #Conflicts:      53000 | #Constraints:       7149
430.65/431.98	c #Conflicts:      54000 | #Constraints:       8149
430.65/431.98	c #Conflicts:      55000 | #Constraints:       9149
430.65/431.98	c #Conflicts:      56000 | #Constraints:      10149
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      57000 | #Constraints:       6355
430.65/431.98	c #Conflicts:      58000 | #Constraints:       7355
430.65/431.98	c #Conflicts:      59000 | #Constraints:       8355
430.65/431.98	c #Conflicts:      60000 | #Constraints:       9355
430.65/431.98	c #Conflicts:      61000 | #Constraints:      10355
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      62000 | #Constraints:       6355
430.65/431.98	c #Conflicts:      63000 | #Constraints:       7355
430.65/431.98	c #Conflicts:      64000 | #Constraints:       8355
430.65/431.98	c #Conflicts:      65000 | #Constraints:       9355
430.65/431.98	c #Conflicts:      66000 | #Constraints:      10355
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      67000 | #Constraints:       6153
430.65/431.98	c #Conflicts:      68000 | #Constraints:       7153
430.65/431.98	c #Conflicts:      69000 | #Constraints:       8153
430.65/431.98	c #Conflicts:      70000 | #Constraints:       9153
430.65/431.98	c #Conflicts:      71000 | #Constraints:      10153
430.65/431.98	c #Conflicts:      72000 | #Constraints:      11153
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      73000 | #Constraints:       6748
430.65/431.98	c #Conflicts:      74000 | #Constraints:       7748
430.65/431.98	c #Conflicts:      75000 | #Constraints:       8748
430.65/431.98	c #Conflicts:      76000 | #Constraints:       9748
430.65/431.98	c #Conflicts:      77000 | #Constraints:      10748
430.65/431.98	c #Conflicts:      78000 | #Constraints:      11748
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      79000 | #Constraints:       7153
430.65/431.98	c #Conflicts:      80000 | #Constraints:       8153
430.65/431.98	c #Conflicts:      81000 | #Constraints:       9153
430.65/431.98	c #Conflicts:      82000 | #Constraints:      10153
430.65/431.98	c #Conflicts:      83000 | #Constraints:      11153
430.65/431.98	c #Conflicts:      84000 | #Constraints:      12153
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      85000 | #Constraints:       7354
430.65/431.98	c #Conflicts:      86000 | #Constraints:       8354
430.65/431.98	c #Conflicts:      87000 | #Constraints:       9354
430.65/431.98	c #Conflicts:      88000 | #Constraints:      10354
430.65/431.98	c #Conflicts:      89000 | #Constraints:      11354
430.65/431.98	c #Conflicts:      90000 | #Constraints:      12354
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      91000 | #Constraints:       7351
430.65/431.98	c #Conflicts:      92000 | #Constraints:       8351
430.65/431.98	c #Conflicts:      93000 | #Constraints:       9351
430.65/431.98	c #Conflicts:      94000 | #Constraints:      10351
430.65/431.98	c #Conflicts:      95000 | #Constraints:      11351
430.65/431.98	c #Conflicts:      96000 | #Constraints:      12351
430.65/431.98	c INPROCESSING
430.65/431.98	c GARBAGE COLLECT
430.65/431.98	c #Conflicts:      97000 | #Constraints:       7152
430.65/431.98	c #Conflicts:      98000 | #Constraints:       8152
430.65/431.98	c #Conflicts:      99000 | #Constraints:       9152
430.65/431.98	c #Conflicts:     100000 | #Constraints:      10152
430.65/431.98	c #Conflicts:     101000 | #Constraints:      11152
430.65/431.98	c #Conflicts:     102000 | #Constraints:      12152
430.65/431.98	c #Conflicts:     103000 | #Constraints:      13152
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     104000 | #Constraints:       7750
579.77/581.56	c #Conflicts:     105000 | #Constraints:       8750
579.77/581.56	c #Conflicts:     106000 | #Constraints:       9750
579.77/581.56	c #Conflicts:     107000 | #Constraints:      10750
579.77/581.56	c #Conflicts:     108000 | #Constraints:      11750
579.77/581.56	c #Conflicts:     109000 | #Constraints:      12750
579.77/581.56	c #Conflicts:     110000 | #Constraints:      13750
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     111000 | #Constraints:       8151
579.77/581.56	c #Conflicts:     112000 | #Constraints:       9151
579.77/581.56	c #Conflicts:     113000 | #Constraints:      10151
579.77/581.56	c #Conflicts:     114000 | #Constraints:      11151
579.77/581.56	c #Conflicts:     115000 | #Constraints:      12151
579.77/581.56	c #Conflicts:     116000 | #Constraints:      13151
579.77/581.56	c #Conflicts:     117000 | #Constraints:      14151
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     118000 | #Constraints:       8354
579.77/581.56	c #Conflicts:     119000 | #Constraints:       9354
579.77/581.56	c #Conflicts:     120000 | #Constraints:      10354
579.77/581.56	c #Conflicts:     121000 | #Constraints:      11354
579.77/581.56	c #Conflicts:     122000 | #Constraints:      12354
579.77/581.56	c #Conflicts:     123000 | #Constraints:      13354
579.77/581.56	c #Conflicts:     124000 | #Constraints:      14354
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     125000 | #Constraints:       8352
579.77/581.56	c #Conflicts:     126000 | #Constraints:       9352
579.77/581.56	c #Conflicts:     127000 | #Constraints:      10352
579.77/581.56	c #Conflicts:     128000 | #Constraints:      11352
579.77/581.56	c #Conflicts:     129000 | #Constraints:      12352
579.77/581.56	c #Conflicts:     130000 | #Constraints:      13352
579.77/581.56	c #Conflicts:     131000 | #Constraints:      14352
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     132000 | #Constraints:       8149
579.77/581.56	c #Conflicts:     133000 | #Constraints:       9149
579.77/581.56	c #Conflicts:     134000 | #Constraints:      10149
579.77/581.56	c #Conflicts:     135000 | #Constraints:      11149
579.77/581.56	c #Conflicts:     136000 | #Constraints:      12149
579.77/581.56	c #Conflicts:     137000 | #Constraints:      13149
579.77/581.56	c #Conflicts:     138000 | #Constraints:      14149
579.77/581.56	c #Conflicts:     139000 | #Constraints:      15149
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     140000 | #Constraints:       8755
579.77/581.56	c #Conflicts:     141000 | #Constraints:       9755
579.77/581.56	c #Conflicts:     142000 | #Constraints:      10755
579.77/581.56	c #Conflicts:     143000 | #Constraints:      11755
579.77/581.56	c #Conflicts:     144000 | #Constraints:      12755
579.77/581.56	c #Conflicts:     145000 | #Constraints:      13755
579.77/581.56	c #Conflicts:     146000 | #Constraints:      14755
579.77/581.56	c #Conflicts:     147000 | #Constraints:      15755
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     148000 | #Constraints:       9154
579.77/581.56	c #Conflicts:     149000 | #Constraints:      10154
579.77/581.56	c #Conflicts:     150000 | #Constraints:      11154
579.77/581.56	c #Conflicts:     151000 | #Constraints:      12154
579.77/581.56	c #Conflicts:     152000 | #Constraints:      13154
579.77/581.56	c #Conflicts:     153000 | #Constraints:      14154
579.77/581.56	c #Conflicts:     154000 | #Constraints:      15154
579.77/581.56	c #Conflicts:     155000 | #Constraints:      16154
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     156000 | #Constraints:       9355
579.77/581.56	c #Conflicts:     157000 | #Constraints:      10355
579.77/581.56	c #Conflicts:     158000 | #Constraints:      11355
579.77/581.56	c #Conflicts:     159000 | #Constraints:      12355
579.77/581.56	c #Conflicts:     160000 | #Constraints:      13355
579.77/581.56	c #Conflicts:     161000 | #Constraints:      14355
579.77/581.56	c #Conflicts:     162000 | #Constraints:      15355
579.77/581.56	c #Conflicts:     163000 | #Constraints:      16355
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     164000 | #Constraints:       9351
579.77/581.56	c #Conflicts:     165000 | #Constraints:      10351
579.77/581.56	c #Conflicts:     166000 | #Constraints:      11351
579.77/581.56	c #Conflicts:     167000 | #Constraints:      12351
579.77/581.56	c #Conflicts:     168000 | #Constraints:      13351
579.77/581.56	c #Conflicts:     169000 | #Constraints:      14351
579.77/581.56	c #Conflicts:     170000 | #Constraints:      15351
579.77/581.56	c #Conflicts:     171000 | #Constraints:      16351
579.77/581.56	c INPROCESSING
579.77/581.56	c GARBAGE COLLECT
579.77/581.56	c #Conflicts:     172000 | #Constraints:       9150
579.77/581.56	c #Conflicts:     173000 | #Constraints:      10150
579.77/581.56	c #Conflicts:     174000 | #Constraints:      11150
579.77/581.56	c #Conflicts:     175000 | #Constraints:      12150
808.46/810.80	c #Conflicts:     176000 | #Constraints:      13150
808.46/810.80	c #Conflicts:     177000 | #Constraints:      14150
808.46/810.80	c #Conflicts:     178000 | #Constraints:      15150
808.46/810.80	c #Conflicts:     179000 | #Constraints:      16150
808.46/810.80	c #Conflicts:     180000 | #Constraints:      17150
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     181000 | #Constraints:       9750
808.46/810.80	c #Conflicts:     182000 | #Constraints:      10750
808.46/810.80	c #Conflicts:     183000 | #Constraints:      11750
808.46/810.80	c #Conflicts:     184000 | #Constraints:      12750
808.46/810.80	c #Conflicts:     185000 | #Constraints:      13750
808.46/810.80	c #Conflicts:     186000 | #Constraints:      14750
808.46/810.80	c #Conflicts:     187000 | #Constraints:      15750
808.46/810.80	c #Conflicts:     188000 | #Constraints:      16750
808.46/810.80	c #Conflicts:     189000 | #Constraints:      17750
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     190000 | #Constraints:      10148
808.46/810.80	c #Conflicts:     191000 | #Constraints:      11148
808.46/810.80	c #Conflicts:     192000 | #Constraints:      12148
808.46/810.80	c #Conflicts:     193000 | #Constraints:      13148
808.46/810.80	c #Conflicts:     194000 | #Constraints:      14148
808.46/810.80	c #Conflicts:     195000 | #Constraints:      15148
808.46/810.80	c #Conflicts:     196000 | #Constraints:      16148
808.46/810.80	c #Conflicts:     197000 | #Constraints:      17148
808.46/810.80	c #Conflicts:     198000 | #Constraints:      18148
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     199000 | #Constraints:      10354
808.46/810.80	c #Conflicts:     200000 | #Constraints:      11354
808.46/810.80	c #Conflicts:     201000 | #Constraints:      12354
808.46/810.80	c #Conflicts:     202000 | #Constraints:      13354
808.46/810.80	c #Conflicts:     203000 | #Constraints:      14354
808.46/810.80	c #Conflicts:     204000 | #Constraints:      15354
808.46/810.80	c #Conflicts:     205000 | #Constraints:      16354
808.46/810.80	c #Conflicts:     206000 | #Constraints:      17354
808.46/810.80	c #Conflicts:     207000 | #Constraints:      18354
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     208000 | #Constraints:      10349
808.46/810.80	c #Conflicts:     209000 | #Constraints:      11349
808.46/810.80	c #Conflicts:     210000 | #Constraints:      12349
808.46/810.80	c #Conflicts:     211000 | #Constraints:      13349
808.46/810.80	c #Conflicts:     212000 | #Constraints:      14349
808.46/810.80	c #Conflicts:     213000 | #Constraints:      15349
808.46/810.80	c #Conflicts:     214000 | #Constraints:      16349
808.46/810.80	c #Conflicts:     215000 | #Constraints:      17349
808.46/810.80	c #Conflicts:     216000 | #Constraints:      18349
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     217000 | #Constraints:      10154
808.46/810.80	c #Conflicts:     218000 | #Constraints:      11154
808.46/810.80	c #Conflicts:     219000 | #Constraints:      12154
808.46/810.80	c #Conflicts:     220000 | #Constraints:      13154
808.46/810.80	c #Conflicts:     221000 | #Constraints:      14154
808.46/810.80	c #Conflicts:     222000 | #Constraints:      15154
808.46/810.80	c #Conflicts:     223000 | #Constraints:      16154
808.46/810.80	c #Conflicts:     224000 | #Constraints:      17154
808.46/810.80	c #Conflicts:     225000 | #Constraints:      18154
808.46/810.80	c #Conflicts:     226000 | #Constraints:      19154
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     227000 | #Constraints:      10763
808.46/810.80	c #Conflicts:     228000 | #Constraints:      11763
808.46/810.80	c #Conflicts:     229000 | #Constraints:      12763
808.46/810.80	c #Conflicts:     230000 | #Constraints:      13763
808.46/810.80	c #Conflicts:     231000 | #Constraints:      14763
808.46/810.80	c #Conflicts:     232000 | #Constraints:      15763
808.46/810.80	c #Conflicts:     233000 | #Constraints:      16763
808.46/810.80	c #Conflicts:     234000 | #Constraints:      17763
808.46/810.80	c #Conflicts:     235000 | #Constraints:      18763
808.46/810.80	c #Conflicts:     236000 | #Constraints:      19763
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     237000 | #Constraints:      11153
808.46/810.80	c #Conflicts:     238000 | #Constraints:      12153
808.46/810.80	c #Conflicts:     239000 | #Constraints:      13153
808.46/810.80	c #Conflicts:     240000 | #Constraints:      14153
808.46/810.80	c #Conflicts:     241000 | #Constraints:      15153
808.46/810.80	c #Conflicts:     242000 | #Constraints:      16153
808.46/810.80	c #Conflicts:     243000 | #Constraints:      17153
808.46/810.80	c #Conflicts:     244000 | #Constraints:      18153
808.46/810.80	c #Conflicts:     245000 | #Constraints:      19153
808.46/810.80	c #Conflicts:     246000 | #Constraints:      20153
808.46/810.80	c INPROCESSING
808.46/810.80	c GARBAGE COLLECT
808.46/810.80	c #Conflicts:     247000 | #Constraints:      11354
808.46/810.80	c #Conflicts:     248000 | #Constraints:      12354
808.46/810.80	c #Conflicts:     249000 | #Constraints:      13354
1040.72/1043.70	c #Conflicts:     250000 | #Constraints:      14354
1040.72/1043.70	c #Conflicts:     251000 | #Constraints:      15354
1040.72/1043.70	c #Conflicts:     252000 | #Constraints:      16354
1040.72/1043.70	c #Conflicts:     253000 | #Constraints:      17354
1040.72/1043.70	c #Conflicts:     254000 | #Constraints:      18354
1040.72/1043.70	c #Conflicts:     255000 | #Constraints:      19354
1040.72/1043.70	c #Conflicts:     256000 | #Constraints:      20354
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     257000 | #Constraints:      11359
1040.72/1043.70	c #Conflicts:     258000 | #Constraints:      12359
1040.72/1043.70	c #Conflicts:     259000 | #Constraints:      13359
1040.72/1043.70	c #Conflicts:     260000 | #Constraints:      14359
1040.72/1043.70	c #Conflicts:     261000 | #Constraints:      15359
1040.72/1043.70	c #Conflicts:     262000 | #Constraints:      16359
1040.72/1043.70	c #Conflicts:     263000 | #Constraints:      17359
1040.72/1043.70	c #Conflicts:     264000 | #Constraints:      18359
1040.72/1043.70	c #Conflicts:     265000 | #Constraints:      19359
1040.72/1043.70	c #Conflicts:     266000 | #Constraints:      20359
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     267000 | #Constraints:      11156
1040.72/1043.70	c #Conflicts:     268000 | #Constraints:      12156
1040.72/1043.70	c #Conflicts:     269000 | #Constraints:      13156
1040.72/1043.70	c #Conflicts:     270000 | #Constraints:      14156
1040.72/1043.70	c #Conflicts:     271000 | #Constraints:      15156
1040.72/1043.70	c #Conflicts:     272000 | #Constraints:      16156
1040.72/1043.70	c #Conflicts:     273000 | #Constraints:      17156
1040.72/1043.70	c #Conflicts:     274000 | #Constraints:      18156
1040.72/1043.70	c #Conflicts:     275000 | #Constraints:      19156
1040.72/1043.70	c #Conflicts:     276000 | #Constraints:      20156
1040.72/1043.70	c #Conflicts:     277000 | #Constraints:      21156
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     278000 | #Constraints:      11755
1040.72/1043.70	c #Conflicts:     279000 | #Constraints:      12755
1040.72/1043.70	c #Conflicts:     280000 | #Constraints:      13755
1040.72/1043.70	c #Conflicts:     281000 | #Constraints:      14755
1040.72/1043.70	c #Conflicts:     282000 | #Constraints:      15755
1040.72/1043.70	c #Conflicts:     283000 | #Constraints:      16755
1040.72/1043.70	c #Conflicts:     284000 | #Constraints:      17755
1040.72/1043.70	c #Conflicts:     285000 | #Constraints:      18755
1040.72/1043.70	c #Conflicts:     286000 | #Constraints:      19755
1040.72/1043.70	c #Conflicts:     287000 | #Constraints:      20755
1040.72/1043.70	c #Conflicts:     288000 | #Constraints:      21755
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     289000 | #Constraints:      12151
1040.72/1043.70	c #Conflicts:     290000 | #Constraints:      13151
1040.72/1043.70	c #Conflicts:     291000 | #Constraints:      14151
1040.72/1043.70	c #Conflicts:     292000 | #Constraints:      15151
1040.72/1043.70	c #Conflicts:     293000 | #Constraints:      16151
1040.72/1043.70	c #Conflicts:     294000 | #Constraints:      17151
1040.72/1043.70	c #Conflicts:     295000 | #Constraints:      18151
1040.72/1043.70	c #Conflicts:     296000 | #Constraints:      19151
1040.72/1043.70	c #Conflicts:     297000 | #Constraints:      20151
1040.72/1043.70	c #Conflicts:     298000 | #Constraints:      21151
1040.72/1043.70	c #Conflicts:     299000 | #Constraints:      22151
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     300000 | #Constraints:      12352
1040.72/1043.70	c #Conflicts:     301000 | #Constraints:      13352
1040.72/1043.70	c #Conflicts:     302000 | #Constraints:      14352
1040.72/1043.70	c #Conflicts:     303000 | #Constraints:      15352
1040.72/1043.70	c #Conflicts:     304000 | #Constraints:      16352
1040.72/1043.70	c #Conflicts:     305000 | #Constraints:      17352
1040.72/1043.70	c #Conflicts:     306000 | #Constraints:      18352
1040.72/1043.70	c #Conflicts:     307000 | #Constraints:      19352
1040.72/1043.70	c #Conflicts:     308000 | #Constraints:      20352
1040.72/1043.70	c #Conflicts:     309000 | #Constraints:      21352
1040.72/1043.70	c #Conflicts:     310000 | #Constraints:      22352
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     311000 | #Constraints:      12350
1040.72/1043.70	c #Conflicts:     312000 | #Constraints:      13350
1040.72/1043.70	c #Conflicts:     313000 | #Constraints:      14350
1040.72/1043.70	c #Conflicts:     314000 | #Constraints:      15350
1040.72/1043.70	c #Conflicts:     315000 | #Constraints:      16350
1040.72/1043.70	c #Conflicts:     316000 | #Constraints:      17350
1040.72/1043.70	c #Conflicts:     317000 | #Constraints:      18350
1040.72/1043.70	c #Conflicts:     318000 | #Constraints:      19350
1040.72/1043.70	c #Conflicts:     319000 | #Constraints:      20350
1040.72/1043.70	c #Conflicts:     320000 | #Constraints:      21350
1040.72/1043.70	c #Conflicts:     321000 | #Constraints:      22350
1040.72/1043.70	c INPROCESSING
1040.72/1043.70	c GARBAGE COLLECT
1040.72/1043.70	c #Conflicts:     322000 | #Constraints:      12152
1040.72/1043.70	c #Conflicts:     323000 | #Constraints:      13152
1321.94/1325.79	c #Conflicts:     324000 | #Constraints:      14152
1321.94/1325.79	c #Conflicts:     325000 | #Constraints:      15152
1321.94/1325.79	c #Conflicts:     326000 | #Constraints:      16152
1321.94/1325.79	c #Conflicts:     327000 | #Constraints:      17152
1321.94/1325.79	c #Conflicts:     328000 | #Constraints:      18152
1321.94/1325.79	c #Conflicts:     329000 | #Constraints:      19152
1321.94/1325.79	c #Conflicts:     330000 | #Constraints:      20152
1321.94/1325.79	c #Conflicts:     331000 | #Constraints:      21152
1321.94/1325.79	c #Conflicts:     332000 | #Constraints:      22152
1321.94/1325.79	c #Conflicts:     333000 | #Constraints:      23152
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     334000 | #Constraints:      12752
1321.94/1325.79	c #Conflicts:     335000 | #Constraints:      13752
1321.94/1325.79	c #Conflicts:     336000 | #Constraints:      14752
1321.94/1325.79	c #Conflicts:     337000 | #Constraints:      15752
1321.94/1325.79	c #Conflicts:     338000 | #Constraints:      16752
1321.94/1325.79	c #Conflicts:     339000 | #Constraints:      17752
1321.94/1325.79	c #Conflicts:     340000 | #Constraints:      18752
1321.94/1325.79	c #Conflicts:     341000 | #Constraints:      19752
1321.94/1325.79	c #Conflicts:     342000 | #Constraints:      20752
1321.94/1325.79	c #Conflicts:     343000 | #Constraints:      21752
1321.94/1325.79	c #Conflicts:     344000 | #Constraints:      22752
1321.94/1325.79	c #Conflicts:     345000 | #Constraints:      23752
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     346000 | #Constraints:      13159
1321.94/1325.79	c #Conflicts:     347000 | #Constraints:      14159
1321.94/1325.79	c #Conflicts:     348000 | #Constraints:      15159
1321.94/1325.79	c #Conflicts:     349000 | #Constraints:      16159
1321.94/1325.79	c #Conflicts:     350000 | #Constraints:      17159
1321.94/1325.79	c #Conflicts:     351000 | #Constraints:      18159
1321.94/1325.79	c #Conflicts:     352000 | #Constraints:      19159
1321.94/1325.79	c #Conflicts:     353000 | #Constraints:      20159
1321.94/1325.79	c #Conflicts:     354000 | #Constraints:      21159
1321.94/1325.79	c #Conflicts:     355000 | #Constraints:      22159
1321.94/1325.79	c #Conflicts:     356000 | #Constraints:      23159
1321.94/1325.79	c #Conflicts:     357000 | #Constraints:      24159
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     358000 | #Constraints:      13354
1321.94/1325.79	c #Conflicts:     359000 | #Constraints:      14354
1321.94/1325.79	c #Conflicts:     360000 | #Constraints:      15354
1321.94/1325.79	c #Conflicts:     361000 | #Constraints:      16354
1321.94/1325.79	c #Conflicts:     362000 | #Constraints:      17354
1321.94/1325.79	c #Conflicts:     363000 | #Constraints:      18354
1321.94/1325.79	c #Conflicts:     364000 | #Constraints:      19354
1321.94/1325.79	c #Conflicts:     365000 | #Constraints:      20354
1321.94/1325.79	c #Conflicts:     366000 | #Constraints:      21354
1321.94/1325.79	c #Conflicts:     367000 | #Constraints:      22354
1321.94/1325.79	c #Conflicts:     368000 | #Constraints:      23354
1321.94/1325.79	c #Conflicts:     369000 | #Constraints:      24354
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     370000 | #Constraints:      13355
1321.94/1325.79	c #Conflicts:     371000 | #Constraints:      14355
1321.94/1325.79	c #Conflicts:     372000 | #Constraints:      15355
1321.94/1325.79	c #Conflicts:     373000 | #Constraints:      16355
1321.94/1325.79	c #Conflicts:     374000 | #Constraints:      17355
1321.94/1325.79	c #Conflicts:     375000 | #Constraints:      18355
1321.94/1325.79	c #Conflicts:     376000 | #Constraints:      19355
1321.94/1325.79	c #Conflicts:     377000 | #Constraints:      20355
1321.94/1325.79	c #Conflicts:     378000 | #Constraints:      21355
1321.94/1325.79	c #Conflicts:     379000 | #Constraints:      22355
1321.94/1325.79	c #Conflicts:     380000 | #Constraints:      23355
1321.94/1325.79	c #Conflicts:     381000 | #Constraints:      24355
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     382000 | #Constraints:      13153
1321.94/1325.79	c #Conflicts:     383000 | #Constraints:      14153
1321.94/1325.79	c #Conflicts:     384000 | #Constraints:      15153
1321.94/1325.79	c #Conflicts:     385000 | #Constraints:      16153
1321.94/1325.79	c #Conflicts:     386000 | #Constraints:      17153
1321.94/1325.79	c #Conflicts:     387000 | #Constraints:      18153
1321.94/1325.79	c #Conflicts:     388000 | #Constraints:      19153
1321.94/1325.79	c #Conflicts:     389000 | #Constraints:      20153
1321.94/1325.79	c #Conflicts:     390000 | #Constraints:      21153
1321.94/1325.79	c #Conflicts:     391000 | #Constraints:      22153
1321.94/1325.79	c #Conflicts:     392000 | #Constraints:      23153
1321.94/1325.79	c #Conflicts:     393000 | #Constraints:      24153
1321.94/1325.79	c #Conflicts:     394000 | #Constraints:      25153
1321.94/1325.79	c INPROCESSING
1321.94/1325.79	c GARBAGE COLLECT
1321.94/1325.79	c #Conflicts:     395000 | #Constraints:      13752
1321.94/1325.79	c #Conflicts:     396000 | #Constraints:      14752
1321.94/1325.79	c #Conflicts:     397000 | #Constraints:      15752
1321.94/1325.79	c #Conflicts:     398000 | #Constraints:      16752
1679.14/1683.93	c #Conflicts:     399000 | #Constraints:      17752
1679.14/1683.93	c #Conflicts:     400000 | #Constraints:      18752
1679.14/1683.93	c #Conflicts:     401000 | #Constraints:      19752
1679.14/1683.93	c #Conflicts:     402000 | #Constraints:      20752
1679.14/1683.93	c #Conflicts:     403000 | #Constraints:      21752
1679.14/1683.93	c #Conflicts:     404000 | #Constraints:      22752
1679.14/1683.93	c #Conflicts:     405000 | #Constraints:      23752
1679.14/1683.93	c #Conflicts:     406000 | #Constraints:      24752
1679.14/1683.93	c #Conflicts:     407000 | #Constraints:      25752
1679.14/1683.93	c INPROCESSING
1679.14/1683.93	c GARBAGE COLLECT
1679.14/1683.93	c #Conflicts:     408000 | #Constraints:      14153
1679.14/1683.93	c #Conflicts:     409000 | #Constraints:      15153
1679.14/1683.93	c #Conflicts:     410000 | #Constraints:      16153
1679.14/1683.93	c #Conflicts:     411000 | #Constraints:      17153
1679.14/1683.93	c #Conflicts:     412000 | #Constraints:      18153
1679.14/1683.93	c #Conflicts:     413000 | #Constraints:      19153
1679.14/1683.93	c #Conflicts:     414000 | #Constraints:      20153
1679.14/1683.93	c #Conflicts:     415000 | #Constraints:      21153
1679.14/1683.93	c #Conflicts:     416000 | #Constraints:      22153
1679.14/1683.93	c #Conflicts:     417000 | #Constraints:      23153
1679.14/1683.93	c #Conflicts:     418000 | #Constraints:      24153
1679.14/1683.93	c #Conflicts:     419000 | #Constraints:      25153
1679.14/1683.93	c #Conflicts:     420000 | #Constraints:      26153
1679.14/1683.93	c INPROCESSING
1679.14/1683.93	c GARBAGE COLLECT
1679.14/1683.93	c #Conflicts:     421000 | #Constraints:      14356
1679.14/1683.93	c #Conflicts:     422000 | #Constraints:      15356
1679.14/1683.93	c #Conflicts:     423000 | #Constraints:      16356
1679.14/1683.93	c #Conflicts:     424000 | #Constraints:      17356
1679.14/1683.93	c #Conflicts:     425000 | #Constraints:      18356
1679.14/1683.93	c #Conflicts:     426000 | #Constraints:      19356
1679.14/1683.93	c #Conflicts:     427000 | #Constraints:      20356
1679.14/1683.93	c #Conflicts:     428000 | #Constraints:      21356
1679.14/1683.93	c #Conflicts:     429000 | #Constraints:      22356
1679.14/1683.93	c #Conflicts:     430000 | #Constraints:      23356
1679.14/1683.93	c #Conflicts:     431000 | #Constraints:      24356
1679.14/1683.93	c #Conflicts:     432000 | #Constraints:      25356
1679.14/1683.93	c #Conflicts:     433000 | #Constraints:      26356
1679.14/1683.93	c INPROCESSING
1679.14/1683.93	c GARBAGE COLLECT
1679.14/1683.93	c #Conflicts:     434000 | #Constraints:      14355
1679.14/1683.93	c #Conflicts:     435000 | #Constraints:      15355
1679.14/1683.93	c #Conflicts:     436000 | #Constraints:      16355
1679.14/1683.93	c #Conflicts:     437000 | #Constraints:      17355
1679.14/1683.93	c #Conflicts:     438000 | #Constraints:      18355
1679.14/1683.93	c #Conflicts:     439000 | #Constraints:      19355
1679.14/1683.93	c #Conflicts:     440000 | #Constraints:      20355
1679.14/1683.93	c #Conflicts:     441000 | #Constraints:      21355
1679.14/1683.93	c #Conflicts:     442000 | #Constraints:      22355
1679.14/1683.93	c #Conflicts:     443000 | #Constraints:      23355
1679.14/1683.93	c #Conflicts:     444000 | #Constraints:      24355
1679.14/1683.93	c #Conflicts:     445000 | #Constraints:      25355
1679.14/1683.93	c #Conflicts:     446000 | #Constraints:      26355
1679.14/1683.93	c INPROCESSING
1679.14/1683.93	c GARBAGE COLLECT
1679.14/1683.93	c #Conflicts:     447000 | #Constraints:      14161
1679.14/1683.93	c #Conflicts:     448000 | #Constraints:      15161
1679.14/1683.93	c #Conflicts:     449000 | #Constraints:      16161
1679.14/1683.93	c #Conflicts:     450000 | #Constraints:      17161
1679.14/1683.93	c #Conflicts:     451000 | #Constraints:      18161
1679.14/1683.93	c #Conflicts:     452000 | #Constraints:      19161
1679.14/1683.93	c #Conflicts:     453000 | #Constraints:      20161
1679.14/1683.93	c #Conflicts:     454000 | #Constraints:      21161
1679.14/1683.93	c #Conflicts:     455000 | #Constraints:      22161
1679.14/1683.93	c #Conflicts:     456000 | #Constraints:      23161
1679.14/1683.93	c #Conflicts:     457000 | #Constraints:      24161
1679.14/1683.93	c #Conflicts:     458000 | #Constraints:      25161
1679.14/1683.93	c #Conflicts:     459000 | #Constraints:      26161
1679.14/1683.93	c #Conflicts:     460000 | #Constraints:      27161
1679.14/1683.93	c INPROCESSING
1679.14/1683.93	c GARBAGE COLLECT
1679.14/1683.93	c #Conflicts:     461000 | #Constraints:      14755
1679.14/1683.93	c #Conflicts:     462000 | #Constraints:      15755
1679.14/1683.93	c #Conflicts:     463000 | #Constraints:      16755
1679.14/1683.93	c #Conflicts:     464000 | #Constraints:      17755
1679.14/1683.93	c #Conflicts:     465000 | #Constraints:      18755
1679.14/1683.93	c #Conflicts:     466000 | #Constraints:      19755
1679.14/1683.93	c #Conflicts:     467000 | #Constraints:      20755
1679.14/1683.93	c #Conflicts:     468000 | #Constraints:      21755
1679.14/1683.93	c #Conflicts:     469000 | #Constraints:      22755
1679.14/1683.93	c #Conflicts:     470000 | #Constraints:      23755
1679.14/1683.93	c #Conflicts:     471000 | #Constraints:      24755
1679.14/1683.93	c #Conflicts:     472000 | #Constraints:      25755
1679.14/1683.93	c #Conflicts:     473000 | #Constraints:      26755
1679.14/1683.93	c #Conflicts:     474000 | #Constraints:      27755
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     475000 | #Constraints:      15163
2048.79/2054.58	c #Conflicts:     476000 | #Constraints:      16163
2048.79/2054.58	c #Conflicts:     477000 | #Constraints:      17163
2048.79/2054.58	c #Conflicts:     478000 | #Constraints:      18163
2048.79/2054.58	c #Conflicts:     479000 | #Constraints:      19163
2048.79/2054.58	c #Conflicts:     480000 | #Constraints:      20163
2048.79/2054.58	c #Conflicts:     481000 | #Constraints:      21163
2048.79/2054.58	c #Conflicts:     482000 | #Constraints:      22163
2048.79/2054.58	c #Conflicts:     483000 | #Constraints:      23163
2048.79/2054.58	c #Conflicts:     484000 | #Constraints:      24163
2048.79/2054.58	c #Conflicts:     485000 | #Constraints:      25163
2048.79/2054.58	c #Conflicts:     486000 | #Constraints:      26163
2048.79/2054.58	c #Conflicts:     487000 | #Constraints:      27163
2048.79/2054.58	c #Conflicts:     488000 | #Constraints:      28163
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     489000 | #Constraints:      15362
2048.79/2054.58	c #Conflicts:     490000 | #Constraints:      16362
2048.79/2054.58	c #Conflicts:     491000 | #Constraints:      17362
2048.79/2054.58	c #Conflicts:     492000 | #Constraints:      18362
2048.79/2054.58	c #Conflicts:     493000 | #Constraints:      19362
2048.79/2054.58	c #Conflicts:     494000 | #Constraints:      20362
2048.79/2054.58	c #Conflicts:     495000 | #Constraints:      21362
2048.79/2054.58	c #Conflicts:     496000 | #Constraints:      22362
2048.79/2054.58	c #Conflicts:     497000 | #Constraints:      23362
2048.79/2054.58	c #Conflicts:     498000 | #Constraints:      24362
2048.79/2054.58	c #Conflicts:     499000 | #Constraints:      25362
2048.79/2054.58	c #Conflicts:     500000 | #Constraints:      26362
2048.79/2054.58	c #Conflicts:     501000 | #Constraints:      27362
2048.79/2054.58	c #Conflicts:     502000 | #Constraints:      28362
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     503000 | #Constraints:      15366
2048.79/2054.58	c #Conflicts:     504000 | #Constraints:      16366
2048.79/2054.58	c #Conflicts:     505000 | #Constraints:      17366
2048.79/2054.58	c #Conflicts:     506000 | #Constraints:      18366
2048.79/2054.58	c #Conflicts:     507000 | #Constraints:      19366
2048.79/2054.58	c #Conflicts:     508000 | #Constraints:      20366
2048.79/2054.58	c #Conflicts:     509000 | #Constraints:      21366
2048.79/2054.58	c #Conflicts:     510000 | #Constraints:      22366
2048.79/2054.58	c #Conflicts:     511000 | #Constraints:      23366
2048.79/2054.58	c #Conflicts:     512000 | #Constraints:      24366
2048.79/2054.58	c #Conflicts:     513000 | #Constraints:      25366
2048.79/2054.58	c #Conflicts:     514000 | #Constraints:      26366
2048.79/2054.58	c #Conflicts:     515000 | #Constraints:      27366
2048.79/2054.58	c #Conflicts:     516000 | #Constraints:      28366
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     517000 | #Constraints:      15159
2048.79/2054.58	c #Conflicts:     518000 | #Constraints:      16159
2048.79/2054.58	c #Conflicts:     519000 | #Constraints:      17159
2048.79/2054.58	c #Conflicts:     520000 | #Constraints:      18159
2048.79/2054.58	c #Conflicts:     521000 | #Constraints:      19159
2048.79/2054.58	c #Conflicts:     522000 | #Constraints:      20159
2048.79/2054.58	c #Conflicts:     523000 | #Constraints:      21159
2048.79/2054.58	c #Conflicts:     524000 | #Constraints:      22159
2048.79/2054.58	c #Conflicts:     525000 | #Constraints:      23159
2048.79/2054.58	c #Conflicts:     526000 | #Constraints:      24159
2048.79/2054.58	c #Conflicts:     527000 | #Constraints:      25159
2048.79/2054.58	c #Conflicts:     528000 | #Constraints:      26159
2048.79/2054.58	c #Conflicts:     529000 | #Constraints:      27159
2048.79/2054.58	c #Conflicts:     530000 | #Constraints:      28159
2048.79/2054.58	c #Conflicts:     531000 | #Constraints:      29159
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     532000 | #Constraints:      15753
2048.79/2054.58	c #Conflicts:     533000 | #Constraints:      16753
2048.79/2054.58	c #Conflicts:     534000 | #Constraints:      17753
2048.79/2054.58	c #Conflicts:     535000 | #Constraints:      18753
2048.79/2054.58	c #Conflicts:     536000 | #Constraints:      19753
2048.79/2054.58	c #Conflicts:     537000 | #Constraints:      20753
2048.79/2054.58	c #Conflicts:     538000 | #Constraints:      21753
2048.79/2054.58	c #Conflicts:     539000 | #Constraints:      22753
2048.79/2054.58	c #Conflicts:     540000 | #Constraints:      23753
2048.79/2054.58	c #Conflicts:     541000 | #Constraints:      24753
2048.79/2054.58	c #Conflicts:     542000 | #Constraints:      25753
2048.79/2054.58	c #Conflicts:     543000 | #Constraints:      26753
2048.79/2054.58	c #Conflicts:     544000 | #Constraints:      27753
2048.79/2054.58	c #Conflicts:     545000 | #Constraints:      28753
2048.79/2054.58	c #Conflicts:     546000 | #Constraints:      29753
2048.79/2054.58	c INPROCESSING
2048.79/2054.58	c GARBAGE COLLECT
2048.79/2054.58	c #Conflicts:     547000 | #Constraints:      16150
2048.79/2054.58	c #Conflicts:     548000 | #Constraints:      17150
2048.79/2054.58	c #Conflicts:     549000 | #Constraints:      18150
2420.81/2427.56	c #Conflicts:     550000 | #Constraints:      19150
2420.81/2427.56	c #Conflicts:     551000 | #Constraints:      20150
2420.81/2427.56	c #Conflicts:     552000 | #Constraints:      21150
2420.81/2427.56	c #Conflicts:     553000 | #Constraints:      22150
2420.81/2427.56	c #Conflicts:     554000 | #Constraints:      23150
2420.81/2427.56	c #Conflicts:     555000 | #Constraints:      24150
2420.81/2427.56	c #Conflicts:     556000 | #Constraints:      25150
2420.81/2427.56	c #Conflicts:     557000 | #Constraints:      26150
2420.81/2427.56	c #Conflicts:     558000 | #Constraints:      27150
2420.81/2427.56	c #Conflicts:     559000 | #Constraints:      28150
2420.81/2427.56	c #Conflicts:     560000 | #Constraints:      29150
2420.81/2427.56	c #Conflicts:     561000 | #Constraints:      30150
2420.81/2427.56	c INPROCESSING
2420.81/2427.56	c GARBAGE COLLECT
2420.81/2427.56	c #Conflicts:     562000 | #Constraints:      16351
2420.81/2427.56	c #Conflicts:     563000 | #Constraints:      17351
2420.81/2427.56	c #Conflicts:     564000 | #Constraints:      18351
2420.81/2427.56	c #Conflicts:     565000 | #Constraints:      19351
2420.81/2427.56	c #Conflicts:     566000 | #Constraints:      20351
2420.81/2427.56	c #Conflicts:     567000 | #Constraints:      21351
2420.81/2427.56	c #Conflicts:     568000 | #Constraints:      22351
2420.81/2427.56	c #Conflicts:     569000 | #Constraints:      23351
2420.81/2427.56	c #Conflicts:     570000 | #Constraints:      24351
2420.81/2427.56	c #Conflicts:     571000 | #Constraints:      25351
2420.81/2427.56	c #Conflicts:     572000 | #Constraints:      26351
2420.81/2427.56	c #Conflicts:     573000 | #Constraints:      27351
2420.81/2427.56	c #Conflicts:     574000 | #Constraints:      28351
2420.81/2427.56	c #Conflicts:     575000 | #Constraints:      29351
2420.81/2427.56	c #Conflicts:     576000 | #Constraints:      30351
2420.81/2427.56	c INPROCESSING
2420.81/2427.56	c GARBAGE COLLECT
2420.81/2427.56	c #Conflicts:     577000 | #Constraints:      16352
2420.81/2427.56	c #Conflicts:     578000 | #Constraints:      17352
2420.81/2427.56	c #Conflicts:     579000 | #Constraints:      18352
2420.81/2427.56	c #Conflicts:     580000 | #Constraints:      19352
2420.81/2427.56	c #Conflicts:     581000 | #Constraints:      20352
2420.81/2427.56	c #Conflicts:     582000 | #Constraints:      21352
2420.81/2427.56	c #Conflicts:     583000 | #Constraints:      22352
2420.81/2427.56	c #Conflicts:     584000 | #Constraints:      23352
2420.81/2427.56	c #Conflicts:     585000 | #Constraints:      24352
2420.81/2427.56	c #Conflicts:     586000 | #Constraints:      25352
2420.81/2427.56	c #Conflicts:     587000 | #Constraints:      26352
2420.81/2427.56	c #Conflicts:     588000 | #Constraints:      27352
2420.81/2427.56	c #Conflicts:     589000 | #Constraints:      28352
2420.81/2427.56	c #Conflicts:     590000 | #Constraints:      29352
2420.81/2427.56	c #Conflicts:     591000 | #Constraints:      30352
2420.81/2427.56	c INPROCESSING
2420.81/2427.56	c GARBAGE COLLECT
2420.81/2427.56	c #Conflicts:     592000 | #Constraints:      16153
2420.81/2427.56	c #Conflicts:     593000 | #Constraints:      17153
2420.81/2427.56	c #Conflicts:     594000 | #Constraints:      18153
2420.81/2427.56	c #Conflicts:     595000 | #Constraints:      19153
2420.81/2427.56	c #Conflicts:     596000 | #Constraints:      20153
2420.81/2427.56	c #Conflicts:     597000 | #Constraints:      21153
2420.81/2427.56	c #Conflicts:     598000 | #Constraints:      22153
2420.81/2427.56	c #Conflicts:     599000 | #Constraints:      23153
2420.81/2427.56	c #Conflicts:     600000 | #Constraints:      24153
2420.81/2427.56	c #Conflicts:     601000 | #Constraints:      25153
2420.81/2427.56	c #Conflicts:     602000 | #Constraints:      26153
2420.81/2427.56	c #Conflicts:     603000 | #Constraints:      27153
2420.81/2427.56	c #Conflicts:     604000 | #Constraints:      28153
2420.81/2427.56	c #Conflicts:     605000 | #Constraints:      29153
2420.81/2427.56	c #Conflicts:     606000 | #Constraints:      30153
2420.81/2427.56	c #Conflicts:     607000 | #Constraints:      31153
2420.81/2427.56	c INPROCESSING
2420.81/2427.56	c GARBAGE COLLECT
2420.81/2427.56	c #Conflicts:     608000 | #Constraints:      16757
2420.81/2427.56	c #Conflicts:     609000 | #Constraints:      17757
2420.81/2427.56	c #Conflicts:     610000 | #Constraints:      18757
2420.81/2427.56	c #Conflicts:     611000 | #Constraints:      19757
2420.81/2427.56	c #Conflicts:     612000 | #Constraints:      20757
2420.81/2427.56	c #Conflicts:     613000 | #Constraints:      21757
2420.81/2427.56	c #Conflicts:     614000 | #Constraints:      22757
2420.81/2427.56	c #Conflicts:     615000 | #Constraints:      23757
2420.81/2427.56	c #Conflicts:     616000 | #Constraints:      24757
2420.81/2427.56	c #Conflicts:     617000 | #Constraints:      25757
2420.81/2427.56	c #Conflicts:     618000 | #Constraints:      26757
2420.81/2427.56	c #Conflicts:     619000 | #Constraints:      27757
2420.81/2427.56	c #Conflicts:     620000 | #Constraints:      28757
2420.81/2427.56	c #Conflicts:     621000 | #Constraints:      29757
2420.81/2427.56	c #Conflicts:     622000 | #Constraints:      30757
2420.81/2427.56	c #Conflicts:     623000 | #Constraints:      31757
2420.81/2427.56	c INPROCESSING
2420.81/2427.56	c GARBAGE COLLECT
2420.81/2427.56	c #Conflicts:     624000 | #Constraints:      17152
2843.50/2851.37	c #Conflicts:     625000 | #Constraints:      18152
2843.50/2851.37	c #Conflicts:     626000 | #Constraints:      19152
2843.50/2851.37	c #Conflicts:     627000 | #Constraints:      20152
2843.50/2851.37	c #Conflicts:     628000 | #Constraints:      21152
2843.50/2851.37	c #Conflicts:     629000 | #Constraints:      22152
2843.50/2851.37	c #Conflicts:     630000 | #Constraints:      23152
2843.50/2851.37	c #Conflicts:     631000 | #Constraints:      24152
2843.50/2851.37	c #Conflicts:     632000 | #Constraints:      25152
2843.50/2851.37	c #Conflicts:     633000 | #Constraints:      26152
2843.50/2851.37	c #Conflicts:     634000 | #Constraints:      27152
2843.50/2851.37	c #Conflicts:     635000 | #Constraints:      28152
2843.50/2851.37	c #Conflicts:     636000 | #Constraints:      29152
2843.50/2851.37	c #Conflicts:     637000 | #Constraints:      30152
2843.50/2851.37	c #Conflicts:     638000 | #Constraints:      31152
2843.50/2851.37	c #Conflicts:     639000 | #Constraints:      32152
2843.50/2851.37	c INPROCESSING
2843.50/2851.37	c GARBAGE COLLECT
2843.50/2851.37	c #Conflicts:     640000 | #Constraints:      17350
2843.50/2851.37	c #Conflicts:     641000 | #Constraints:      18350
2843.50/2851.37	c #Conflicts:     642000 | #Constraints:      19350
2843.50/2851.37	c #Conflicts:     643000 | #Constraints:      20350
2843.50/2851.37	c #Conflicts:     644000 | #Constraints:      21350
2843.50/2851.37	c #Conflicts:     645000 | #Constraints:      22350
2843.50/2851.37	c #Conflicts:     646000 | #Constraints:      23350
2843.50/2851.37	c #Conflicts:     647000 | #Constraints:      24350
2843.50/2851.37	c #Conflicts:     648000 | #Constraints:      25350
2843.50/2851.37	c #Conflicts:     649000 | #Constraints:      26350
2843.50/2851.37	c #Conflicts:     650000 | #Constraints:      27350
2843.50/2851.37	c #Conflicts:     651000 | #Constraints:      28350
2843.50/2851.37	c #Conflicts:     652000 | #Constraints:      29350
2843.50/2851.37	c #Conflicts:     653000 | #Constraints:      30350
2843.50/2851.37	c #Conflicts:     654000 | #Constraints:      31350
2843.50/2851.37	c #Conflicts:     655000 | #Constraints:      32350
2843.50/2851.37	c INPROCESSING
2843.50/2851.37	c GARBAGE COLLECT
2843.50/2851.37	c #Conflicts:     656000 | #Constraints:      17358
2843.50/2851.37	c #Conflicts:     657000 | #Constraints:      18358
2843.50/2851.37	c #Conflicts:     658000 | #Constraints:      19358
2843.50/2851.37	c #Conflicts:     659000 | #Constraints:      20358
2843.50/2851.37	c #Conflicts:     660000 | #Constraints:      21358
2843.50/2851.37	c #Conflicts:     661000 | #Constraints:      22358
2843.50/2851.37	c #Conflicts:     662000 | #Constraints:      23358
2843.50/2851.37	c #Conflicts:     663000 | #Constraints:      24358
2843.50/2851.37	c #Conflicts:     664000 | #Constraints:      25358
2843.50/2851.37	c #Conflicts:     665000 | #Constraints:      26358
2843.50/2851.37	c #Conflicts:     666000 | #Constraints:      27358
2843.50/2851.37	c #Conflicts:     667000 | #Constraints:      28358
2843.50/2851.37	c #Conflicts:     668000 | #Constraints:      29358
2843.50/2851.37	c #Conflicts:     669000 | #Constraints:      30358
2843.50/2851.37	c #Conflicts:     670000 | #Constraints:      31358
2843.50/2851.37	c #Conflicts:     671000 | #Constraints:      32358
2843.50/2851.37	c INPROCESSING
2843.50/2851.37	c GARBAGE COLLECT
2843.50/2851.37	c #Conflicts:     672000 | #Constraints:      17161
2843.50/2851.37	c #Conflicts:     673000 | #Constraints:      18161
2843.50/2851.37	c #Conflicts:     674000 | #Constraints:      19161
2843.50/2851.37	c #Conflicts:     675000 | #Constraints:      20161
2843.50/2851.37	c #Conflicts:     676000 | #Constraints:      21161
2843.50/2851.37	c #Conflicts:     677000 | #Constraints:      22161
2843.50/2851.37	c #Conflicts:     678000 | #Constraints:      23161
2843.50/2851.37	c #Conflicts:     679000 | #Constraints:      24161
2843.50/2851.37	c #Conflicts:     680000 | #Constraints:      25161
2843.50/2851.37	c #Conflicts:     681000 | #Constraints:      26161
2843.50/2851.37	c #Conflicts:     682000 | #Constraints:      27161
2843.50/2851.37	c #Conflicts:     683000 | #Constraints:      28161
2843.50/2851.37	c #Conflicts:     684000 | #Constraints:      29161
2843.50/2851.37	c #Conflicts:     685000 | #Constraints:      30161
2843.50/2851.37	c #Conflicts:     686000 | #Constraints:      31161
2843.50/2851.37	c #Conflicts:     687000 | #Constraints:      32161
2843.50/2851.37	c #Conflicts:     688000 | #Constraints:      33161
2843.50/2851.37	c INPROCESSING
2843.50/2851.37	c GARBAGE COLLECT
2843.50/2851.37	c #Conflicts:     689000 | #Constraints:      17752
2843.50/2851.37	c #Conflicts:     690000 | #Constraints:      18752
2843.50/2851.37	c #Conflicts:     691000 | #Constraints:      19752
2843.50/2851.37	c #Conflicts:     692000 | #Constraints:      20752
2843.50/2851.37	c #Conflicts:     693000 | #Constraints:      21752
2843.50/2851.37	c #Conflicts:     694000 | #Constraints:      22752
2843.50/2851.37	c #Conflicts:     695000 | #Constraints:      23752
2843.50/2851.37	c #Conflicts:     696000 | #Constraints:      24752
2843.50/2851.37	c #Conflicts:     697000 | #Constraints:      25752
2843.50/2851.37	c #Conflicts:     698000 | #Constraints:      26752
2843.50/2851.37	c #Conflicts:     699000 | #Constraints:      27752
2843.50/2851.37	c #Conflicts:     700000 | #Constraints:      28752
3390.94/3400.30	c #Conflicts:     701000 | #Constraints:      29752
3390.94/3400.30	c #Conflicts:     702000 | #Constraints:      30752
3390.94/3400.30	c #Conflicts:     703000 | #Constraints:      31752
3390.94/3400.30	c #Conflicts:     704000 | #Constraints:      32752
3390.94/3400.30	c #Conflicts:     705000 | #Constraints:      33752
3390.94/3400.30	c INPROCESSING
3390.94/3400.30	c GARBAGE COLLECT
3390.94/3400.30	c #Conflicts:     706000 | #Constraints:      18154
3390.94/3400.30	c #Conflicts:     707000 | #Constraints:      19154
3390.94/3400.30	c #Conflicts:     708000 | #Constraints:      20154
3390.94/3400.30	c #Conflicts:     709000 | #Constraints:      21154
3390.94/3400.30	c #Conflicts:     710000 | #Constraints:      22154
3390.94/3400.30	c #Conflicts:     711000 | #Constraints:      23154
3390.94/3400.30	c #Conflicts:     712000 | #Constraints:      24154
3390.94/3400.30	c #Conflicts:     713000 | #Constraints:      25154
3390.94/3400.30	c #Conflicts:     714000 | #Constraints:      26154
3390.94/3400.30	c #Conflicts:     715000 | #Constraints:      27154
3390.94/3400.30	c #Conflicts:     716000 | #Constraints:      28154
3390.94/3400.30	c #Conflicts:     717000 | #Constraints:      29154
3390.94/3400.30	c #Conflicts:     718000 | #Constraints:      30154
3390.94/3400.30	c #Conflicts:     719000 | #Constraints:      31154
3390.94/3400.30	c #Conflicts:     720000 | #Constraints:      32154
3390.94/3400.30	c #Conflicts:     721000 | #Constraints:      33154
3390.94/3400.30	c #Conflicts:     722000 | #Constraints:      34154
3390.94/3400.30	c INPROCESSING
3390.94/3400.30	c GARBAGE COLLECT
3390.94/3400.30	c #Conflicts:     723000 | #Constraints:      18353
3390.94/3400.30	c #Conflicts:     724000 | #Constraints:      19353
3390.94/3400.30	c #Conflicts:     725000 | #Constraints:      20353
3390.94/3400.30	c #Conflicts:     726000 | #Constraints:      21353
3390.94/3400.30	c #Conflicts:     727000 | #Constraints:      22353
3390.94/3400.30	c #Conflicts:     728000 | #Constraints:      23353
3390.94/3400.30	c #Conflicts:     729000 | #Constraints:      24353
3390.94/3400.30	c #Conflicts:     730000 | #Constraints:      25353
3390.94/3400.30	c #Conflicts:     731000 | #Constraints:      26353
3390.94/3400.30	c #Conflicts:     732000 | #Constraints:      27353
3390.94/3400.30	c #Conflicts:     733000 | #Constraints:      28353
3390.94/3400.30	c #Conflicts:     734000 | #Constraints:      29353
3390.94/3400.30	c #Conflicts:     735000 | #Constraints:      30353
3390.94/3400.30	c #Conflicts:     736000 | #Constraints:      31353
3390.94/3400.30	c #Conflicts:     737000 | #Constraints:      32353
3390.94/3400.30	c #Conflicts:     738000 | #Constraints:      33353
3390.94/3400.30	c #Conflicts:     739000 | #Constraints:      34353
3390.94/3400.30	c INPROCESSING
3390.94/3400.30	c GARBAGE COLLECT
3390.94/3400.30	c #Conflicts:     740000 | #Constraints:      18356
3390.94/3400.30	c #Conflicts:     741000 | #Constraints:      19356
3390.94/3400.30	c #Conflicts:     742000 | #Constraints:      20356
3390.94/3400.30	c #Conflicts:     743000 | #Constraints:      21356
3390.94/3400.30	c #Conflicts:     744000 | #Constraints:      22356
3390.94/3400.30	c #Conflicts:     745000 | #Constraints:      23356
3390.94/3400.30	c #Conflicts:     746000 | #Constraints:      24356
3390.94/3400.30	c #Conflicts:     747000 | #Constraints:      25356
3390.94/3400.30	c #Conflicts:     748000 | #Constraints:      26356
3390.94/3400.30	c #Conflicts:     749000 | #Constraints:      27356
3390.94/3400.30	c #Conflicts:     750000 | #Constraints:      28356
3390.94/3400.30	c #Conflicts:     751000 | #Constraints:      29356
3390.94/3400.30	c #Conflicts:     752000 | #Constraints:      30356
3390.94/3400.30	c #Conflicts:     753000 | #Constraints:      31356
3390.94/3400.30	c #Conflicts:     754000 | #Constraints:      32356
3390.94/3400.30	c #Conflicts:     755000 | #Constraints:      33356
3390.94/3400.30	c #Conflicts:     756000 | #Constraints:      34356
3390.94/3400.30	c INPROCESSING
3390.94/3400.30	c GARBAGE COLLECT
3390.94/3400.30	c #Conflicts:     757000 | #Constraints:      18152
3390.94/3400.30	c #Conflicts:     758000 | #Constraints:      19152
3390.94/3400.30	c #Conflicts:     759000 | #Constraints:      20152
3390.94/3400.30	c #Conflicts:     760000 | #Constraints:      21152
3390.94/3400.30	c #Conflicts:     761000 | #Constraints:      22152
3390.94/3400.30	c #Conflicts:     762000 | #Constraints:      23152
3390.94/3400.30	c #Conflicts:     763000 | #Constraints:      24152
3390.94/3400.30	c #Conflicts:     764000 | #Constraints:      25152
3390.94/3400.30	c #Conflicts:     765000 | #Constraints:      26152
3390.94/3400.30	c #Conflicts:     766000 | #Constraints:      27152
3390.94/3400.30	c #Conflicts:     767000 | #Constraints:      28152
3390.94/3400.30	c #Conflicts:     768000 | #Constraints:      29152
3390.94/3400.30	c #Conflicts:     769000 | #Constraints:      30152
3390.94/3400.30	c #Conflicts:     770000 | #Constraints:      31152
3390.94/3400.30	c #Conflicts:     771000 | #Constraints:      32152
3390.94/3400.30	c #Conflicts:     772000 | #Constraints:      33152
3390.94/3400.30	c #Conflicts:     773000 | #Constraints:      34152
3390.94/3400.30	c #Conflicts:     774000 | #Constraints:      35152
3390.94/3400.30	c INPROCESSING
3390.94/3400.30	c GARBAGE COLLECT
3390.94/3400.30	c #Conflicts:     775000 | #Constraints:      18752
3390.94/3400.30	c #Conflicts:     776000 | #Constraints:      19752
3600.06/3610.01	c #Conflicts:     777000 | #Constraints:      20752
3600.06/3610.01	c #Conflicts:     778000 | #Constraints:      21752
3600.06/3610.01	c #Conflicts:     779000 | #Constraints:      22752
3600.06/3610.01	c #Conflicts:     780000 | #Constraints:      23752
3600.06/3610.01	c #Conflicts:     781000 | #Constraints:      24752
3600.06/3610.01	c #Conflicts:     782000 | #Constraints:      25752
3600.06/3610.01	c #Conflicts:     783000 | #Constraints:      26752
3600.06/3610.01	c #Conflicts:     784000 | #Constraints:      27752
3600.06/3610.01	c #Conflicts:     785000 | #Constraints:      28752
3600.06/3610.01	c #Conflicts:     786000 | #Constraints:      29752
3600.06/3610.01	c #Conflicts:     787000 | #Constraints:      30752
3600.06/3610.01	c #Conflicts:     788000 | #Constraints:      31752
3600.06/3610.01	c #Conflicts:     789000 | #Constraints:      32752
3600.06/3610.01	c #Conflicts:     790000 | #Constraints:      33752
3600.06/3610.01	c #Conflicts:     791000 | #Constraints:      34752
3600.06/3610.01	c #Conflicts:     792000 | #Constraints:      35752
3600.06/3610.01	c INPROCESSING
3600.06/3610.01	c GARBAGE COLLECT
3600.06/3610.01	c #Conflicts:     793000 | #Constraints:      19152
3600.06/3610.01	c #Conflicts:     794000 | #Constraints:      20152
3600.06/3610.01	c #Conflicts:     795000 | #Constraints:      21152
3600.06/3610.01	c #Conflicts:     796000 | #Constraints:      22152
3600.06/3610.01	c #Conflicts:     797000 | #Constraints:      23152
3600.06/3610.01	c #Conflicts:     798000 | #Constraints:      24152
3600.06/3610.01	c #Conflicts:     799000 | #Constraints:      25152
3600.06/3610.01	c #Conflicts:     800000 | #Constraints:      26152
3600.06/3610.01	c #Conflicts:     801000 | #Constraints:      27152
3600.06/3610.01	c #Conflicts:     802000 | #Constraints:      28152
3600.06/3610.01	c #Conflicts:     803000 | #Constraints:      29152
3600.06/3610.01	c #Conflicts:     804000 | #Constraints:      30152
3600.06/3610.01	c #Conflicts:     805000 | #Constraints:      31152
3600.06/3610.01	c #Conflicts:     806000 | #Constraints:      32152
3600.06/3610.01	c #Conflicts:     807000 | #Constraints:      33152
3600.06/3610.01	c #Conflicts:     808000 | #Constraints:      34152
3600.06/3610.01	c Program interrupted by user.
3600.06/3610.01	c cpu time 3591.76 s
3600.06/3610.01	c deterministic time 383604783519 3.84e+11
3600.06/3610.01	c optimization time 94.7976 s
3600.06/3610.01	c total solve time 3197.8 s
3600.06/3610.01	c core-guided solve time 3197.8 s
3600.06/3610.01	c propagation time 2880.56 s
3600.06/3610.01	c conflict analysis time 359.556 s
3600.06/3610.01	c propagations 57077945
3600.06/3610.01	c resolve steps 4243999
3600.06/3610.01	c decisions 5240267
3600.06/3610.01	c conflicts 808337
3600.06/3610.01	c restarts 1736
3600.06/3610.01	c inprocessing phases 80
3600.06/3610.01	c input clauses 58
3600.06/3610.01	c input cardinalities 79
3600.06/3610.01	c input general constraints 474
3600.06/3610.01	c input average constraint length 69.09
3600.06/3610.01	c input average constraint degree 34.81
3600.06/3610.01	c learned clauses 137987
3600.06/3610.01	c learned cardinalities 135
3600.06/3610.01	c learned general constraints 670223
3600.06/3610.01	c learned average constraint length 325.85
3600.06/3610.01	c learned average constraint degree 379682.07
3600.06/3610.01	c watched constraints 599927
3600.06/3610.01	c counting constraints 70770
3600.06/3610.01	c gcd simplifications 107887
3600.06/3610.01	c detected cardinalities 110
3600.06/3610.01	c weakened non-implied lits 19258387
3600.06/3610.01	c weakened non-implying lits 63494
3600.06/3610.01	c original variables 478
3600.06/3610.01	c clausal propagations 1060216
3600.06/3610.01	c cardinality propagations 40346
3600.06/3610.01	c watched propagations 35630254
3600.06/3610.01	c counting propagations 19874406
3600.06/3610.01	c watch lookups 62071961217
3600.06/3610.01	c watch backjump lookups 58775807970
3600.06/3610.01	c watch checks 254372042620
3600.06/3610.01	c propagation checks 7403577982
3600.06/3610.01	c constraint additions 855949375
3600.06/3610.01	c trail pops 63126142
3600.06/3610.01	c formula constraints 478
3600.06/3610.01	c learned constraints 808345
3600.06/3610.01	c bound constraints 79
3600.06/3610.01	c core-guided constraints 54
3600.06/3610.01	c encountered formula constraints 2586717
3600.06/3610.01	c encountered learned constraints 2366652
3600.06/3610.01	c encountered bound constraints 312
3600.06/3610.01	c encountered core-guided constraints 98655
3600.06/3610.01	c LP total time 0 s
3600.06/3610.01	c LP solve time 0 s
3600.06/3610.01	c LP constraints added 0
3600.06/3610.01	c LP constraints removed 0
3600.06/3610.01	c LP pivots internal 0
3600.06/3610.01	c LP pivots root 0
3600.06/3610.01	c LP calls 0
3600.06/3610.01	c LP optimalities 0
3600.06/3610.01	c LP no pivot count 0
3600.06/3610.01	c LP infeasibilities 0
3600.06/3610.01	c LP valid Farkas constraints 0
3600.06/3610.01	c LP learned Farkas constraints 0
3600.06/3610.01	c LP basis resets 0
3600.06/3610.01	c LP cycling count 0
3600.06/3610.01	c LP singular count 0
3600.06/3610.01	c LP no primal count 0
3600.06/3610.01	c LP no farkas count 0
3600.06/3610.01	c LP other issue count 0
3600.06/3610.01	c LP Gomory cuts 0
3600.06/3610.01	c LP learned cuts 0
3600.06/3610.01	c LP deleted cuts 0
3600.06/3610.01	c LP encountered Gomory constraints 0
3600.06/3610.01	c LP encountered Farkas constraints 0
3600.06/3610.01	c LP encountered learned Farkas constraints 0
3600.06/3610.01	c CG auxiliary variables introduced 54
3600.06/3610.01	c CG solutions found 0
3600.06/3610.01	c CG cores constructed 78
3600.06/3610.01	c CG core cardinality constraints returned 0
3600.06/3610.01	c CG unit cores 0
3600.06/3610.01	c CG single cores 77
3600.06/3610.01	c CG blocks removed during cardinality reduction 0
3600.06/3610.01	c CG first core best 0
3600.06/3610.01	c CG decision core best 0
3600.06/3610.01	c CG core reduction tie 1
3600.06/3610.01	c CG core degree average 1.00
3600.06/3610.01	c CG core slack average 2.73
3600.06/3610.01	c CG exhausted 0
3600.06/3610.01	c CG exhaust time 0 s
3600.06/3610.01	c CG trimmed 2
3600.06/3610.01	c CG trim time 0.000376 s
3600.06/3610.01	c CG minimized 0
3600.06/3610.01	c CG minimize time 0 s
3600.06/3610.01	c CG am1 prop time 0.000647 s
3600.06/3610.01	c CG # am1s reformulated 54
3600.06/3610.01	c CG lower bound derived from am1s 54
3600.06/3610.01	c CG # clausal cores 15
3600.06/3610.01	c CG # cardinality cores 0
3600.06/3610.01	c CG # pb cores 64
3600.06/3610.01	c CG # pb reforms 0
3600.06/3610.01	c CG # cores discarded because of pb reform 0
3600.06/3610.01	d LOWERBOUND 132
3600.06/3610.01	d NCORES 78
3600.06/3610.01	d NPBCORES 64
3600.06/3610.01	d NPBREFORM 0
3600.06/3610.01	d NTRIMMED 2
3600.06/3610.01	d NEXHAUSTED 0
3600.06/3610.01	d NAM1S 54
3600.06/3610.01	d AM1LB 54
3600.06/3610.01	c [Papilo Statistics]
3600.06/3610.01	c prepro time 0.0043184s
3600.06/3610.01	c # tsx applied 19
3600.06/3610.01	c # tsx conflicts 0
3600.06/3610.01	c # bound changes 0
3600.06/3610.01	c # side changes 0
3600.06/3610.01	c # coef changes 36
3600.06/3610.01	c # rounds 3
3600.06/3610.01	c # deted vars 0
3600.06/3610.01	c # deted constrs 0
3600.06/3610.01	c # consecutive rounds of only bound changes 0
3600.06/3610.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62860 MiB free)
  memory of node 1: 64465 MiB (59109 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528917-1752256448/watcher-4528917-1752256448 -o /tmp/evaluation-result-4528917-1752256448/solver-4528917-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122971 --watchdog 3760 mixed-bag HOME/instance-4528917-1752256448.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Starting watchdog thread
solver pid=123026, runsolver pid=123014
Current StackSize limit: 8192 KiB


[startup+0.100074 s]*
/proc/loadavg: 0.90 1.23 2.20 6/252 123031
/proc/meminfo: memFree=124864100/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=97244 memory=24236 CPUtime=0.09 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 2538 0 0 0 7 2 0 0 20 0 1 0 141323990 99577856 6059 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 24311 6059 4064 2834 0 6516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 97244 KiB
Current children cumulated memory: 24236 KiB

[startup+0.213213 s]*
/proc/loadavg: 0.90 1.23 2.20 6/252 123031
/proc/meminfo: memFree=124859564/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=99436 memory=27052 CPUtime=0.2 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 3103 0 0 0 18 2 0 0 20 0 1 0 141323990 101822464 6763 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 24859 6763 4192 2834 0 7064 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 27052 KiB

[startup+0.313318 s]*
/proc/loadavg: 0.90 1.23 2.20 6/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=99436 memory=27052 CPUtime=0.3 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 3107 0 0 0 28 2 0 0 20 0 1 0 141323990 101822464 6763 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 24859 6763 4192 2834 0 7064 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 27052 KiB

[startup+0.700274 s]
/proc/loadavg: 0.90 1.23 2.20 6/252 123031
/proc/meminfo: memFree=124855028/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=99436 memory=27052 CPUtime=0.67 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 3109 0 0 0 65 2 0 0 20 0 1 0 141323990 101822464 6763 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 24859 6763 4192 2834 0 7064 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99436 KiB
Current children cumulated memory: 27052 KiB

[startup+1.50025 s]
/proc/loadavg: 0.90 1.23 2.20 6/252 123031
/proc/meminfo: memFree=124849392/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=105992 memory=33452 CPUtime=1.46 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 4710 0 0 0 144 2 0 0 20 0 1 0 141323990 108535808 8363 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 26498 8363 4224 2834 0 8703 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 105992 KiB
Current children cumulated memory: 33452 KiB

[startup+3.11255 s]
/proc/loadavg: 1.23 1.30 2.21 6/252 123031
/proc/meminfo: memFree=124427632/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=229456 memory=154884 CPUtime=3.07 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 36148 0 0 0 298 9 0 0 20 0 1 0 141323990 234962944 38721 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 57364 38721 4224 2834 0 39569 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 229456 KiB
Current children cumulated memory: 154884 KiB

[startup+6.30024 s]
/proc/loadavg: 1.23 1.30 2.21 6/252 123031
/proc/meminfo: memFree=124387640/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=233420 memory=158724 CPUtime=6.26 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 37086 0 0 0 616 10 0 0 20 0 1 0 141323990 239022080 39681 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 58355 39681 4224 2834 0 40560 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233420 KiB
Current children cumulated memory: 158724 KiB

[startup+12.7002 s]
/proc/loadavg: 1.45 1.34 2.22 6/252 123031
/proc/meminfo: memFree=124323160/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=233420 memory=158724 CPUtime=12.64 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 37087 0 0 0 1254 10 0 0 20 0 1 0 141323990 239022080 39681 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 58355 39681 4224 2834 0 40560 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233420 KiB
Current children cumulated memory: 158724 KiB

[startup+25.5003 s]
/proc/loadavg: 2.02 1.47 2.25 6/252 123031
/proc/meminfo: memFree=124189992/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=286860 memory=210940 CPUtime=25.41 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 51178 0 0 0 2528 13 0 0 20 0 1 0 141323990 293744640 52735 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 71715 52735 4224 2834 0 53920 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 286860 KiB
Current children cumulated memory: 210940 KiB

[startup+51.1122 s]
/proc/loadavg: 2.77 1.69 2.31 6/252 123032
/proc/meminfo: memFree=124109012/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=303272 memory=227324 CPUtime=50.94 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 55304 0 0 0 5081 13 0 0 20 0 1 0 141323990 310550528 56831 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 75818 56831 4224 2834 0 58023 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 303272 KiB
Current children cumulated memory: 227324 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.07 2.40 6/252 123034
/proc/meminfo: memFree=123883000/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=402332 memory=324428 CPUtime=102 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 80246 0 0 0 10183 17 0 0 20 0 1 0 141323990 411987968 81107 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 100583 81107 4224 2834 0 82788 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 402332 KiB
Current children cumulated memory: 324428 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 2.42 2.51 6/252 123036
/proc/meminfo: memFree=123814548/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=410484 memory=331520 CPUtime=161.83 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 82731 0 0 0 16166 17 0 0 20 0 1 0 141323990 420335616 82880 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 102621 82880 4224 2834 0 84826 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 410484 KiB
Current children cumulated memory: 331520 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.76 2.62 6/252 123038
/proc/meminfo: memFree=123793812/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=411532 memory=333568 CPUtime=221.67 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 83260 0 0 0 22150 17 0 0 20 0 1 0 141323990 421408768 83392 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 102883 83392 4224 2834 0 85088 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 411532 KiB
Current children cumulated memory: 333568 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.00 2.71 6/252 123040
/proc/meminfo: memFree=123759844/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=413612 memory=335488 CPUtime=281.5 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 83739 0 0 0 28132 18 0 0 20 0 1 0 141323990 423538688 83872 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 103403 83872 4224 2834 0 85608 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 413612 KiB
Current children cumulated memory: 335488 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.20 2.80 6/251 123042
/proc/meminfo: memFree=123980800/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=416072 memory=339764 CPUtime=341.33 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 85369 0 0 0 34061 72 0 0 20 0 1 0 141323990 426057728 84941 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 104018 84941 4448 2834 0 86223 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 416072 KiB
Current children cumulated memory: 339764 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.36 2.88 6/251 123047
/proc/meminfo: memFree=123921672/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=435040 memory=348360 CPUtime=401.15 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 85986 0 0 0 40003 112 0 0 20 0 1 0 141323990 445480960 87090 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 108760 87090 4448 2834 0 90965 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 435040 KiB
Current children cumulated memory: 348360 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.50 2.96 6/250 123060
/proc/meminfo: memFree=123904092/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=435040 memory=350812 CPUtime=460.95 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 86007 0 0 0 45947 148 0 0 20 0 1 0 141323990 445480960 87703 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 108760 87703 4448 2834 0 90965 0
Current children cumulated CPU time: 460.95 s

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

Current children cumulated memory: 402992 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/250 123173
/proc/meminfo: memFree=123545608/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=402992 CPUtime=2854.47 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87277 0 0 0 284755 692 0 0 20 0 1 0 141323990 528330752 100748 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 100748 4448 2834 0 111192 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 402992 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/251 123180
/proc/meminfo: memFree=123545056/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=407908 CPUtime=2914.31 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87476 0 0 0 290730 701 0 0 20 0 1 0 141323990 528330752 101977 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 101977 4448 2834 0 111192 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 407908 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/250 123182
/proc/meminfo: memFree=123531348/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=407908 CPUtime=2974.13 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87476 0 0 0 296704 709 0 0 20 0 1 0 141323990 528330752 101977 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 101977 4448 2834 0 111192 0
Current children cumulated CPU time: 2974.13 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 407908 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.04 6/251 123185
/proc/meminfo: memFree=123530956/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=407908 CPUtime=3033.97 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87476 0 0 0 302676 721 0 0 20 0 1 0 141323990 528330752 101977 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 101977 4448 2834 0 111192 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 407908 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.04 6/251 123187
/proc/meminfo: memFree=123530572/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=407908 CPUtime=3093.81 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87476 0 0 0 308649 732 0 0 20 0 1 0 141323990 528330752 101977 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 101977 4448 2834 0 111192 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 407908 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 6/251 123188
/proc/meminfo: memFree=123526832/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3153.63 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 314624 739 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.04 4.07 4.04 6/250 123190
/proc/meminfo: memFree=123524704/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3213.47 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 320594 753 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.05 6/250 123192
/proc/meminfo: memFree=123525736/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3273.29 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 326565 764 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3273.29 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/250 123194
/proc/meminfo: memFree=123525916/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3333.11 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 332534 777 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.05 6/251 123200
/proc/meminfo: memFree=123525488/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3392.93 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 338502 791 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.08 4.05 6/251 123202
/proc/meminfo: memFree=123521696/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3452.76 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87478 0 0 0 344474 802 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.05 6/251 123208
/proc/meminfo: memFree=123520964/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3512.57 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87506 0 0 0 350443 814 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.10 4.05 6/251 123210
/proc/meminfo: memFree=123522388/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3572.42 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87506 0 0 0 356417 825 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.09 4.09 4.05 6/247 123220
/proc/meminfo: memFree=123925188/131382112 swapFree=33000116/33010684
[pid=123026] ppid=123014 vsize=515948 memory=409956 CPUtime=3600.06 cores=0,2
/proc/123026/stat : 123026 (mixed-bag) R 123014 123026 122961 0 -1 4194304 87566 0 0 0 359176 830 0 0 20 0 1 0 141323990 528330752 102489 18446744073709551615 4235264 15840557 140722026413632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45580288 140722026416538 140722026416615 140722026416615 140722026422219 0
/proc/123026/statm: 128987 102489 4448 2834 0 111192 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 515948 KiB
Current children cumulated memory: 409956 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.76 s, system=8.30237 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3591.76
CPU system time (s): 8.30237
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 515948
Max. memory (cumulated for all children) (KiB): 409956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.76
system time used= 8.30237
maximum resident set size= 410980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87596
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= 204
involuntary context switches= 7863


# summary of solver processes directly reported to runsolver:
#   pid: 123026
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.76
#   total CPU system time (s): 8.30237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4042 second user time and 35.9745 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-11 19:54:08
IDJOB=4528917
IDBENCH=147538
IDSOLVER=3386
FILE ID=nodeC007/4528917-1752256448
RUNJOBID= nodeC007-1752256448-122971
SLURM_JOB_ID= 9682599
Free space on /tmp= 431084 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528917-1752256448/watcher-4528917-1752256448 -o /tmp/evaluation-result-4528917-1752256448/solver-4528917-1752256448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752256448-122971 --watchdog 3760  mixed-bag HOME/instance-4528917-1752256448.opb

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

MD5SUM BENCH= bed0fcfa7fe1ab50726d34a7d1903e12
RANDOM SEED=856085768

nodeC007 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.497
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.68
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.211
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.68
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.200
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.68
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.048
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.68
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.284
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.68
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		: 1196.987
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.68
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.134
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.68
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.211
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.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        124901544 kB
MemAvailable:   129785284 kB
Buffers:              16 kB
Cached:          5549532 kB
SwapCached:         2804 kB
Active:           337548 kB
Inactive:        5279176 kB
Active(anon):      44104 kB
Inactive(anon):    35084 kB
Active(file):     293444 kB
Inactive(file):  5244092 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33000116 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             61236 kB
Writeback:             0 kB
AnonPages:         67440 kB
Mapped:            98888 kB
Shmem:             12012 kB
KReclaimable:     371664 kB
Slab:             464764 kB
SReclaimable:     371664 kB
SUnreclaim:        93100 kB
KernelStack:        3816 kB
PageTables:         2728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     343320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 431024 MiB
End job on nodeC007 at 2025-07-11 20:54:19