Trace number 4529220

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.12 3612.04

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/
hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
MD5SUMa65412b792c5c6c9e427350dbe88f8fc
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark7.59381
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10272
Total number of constraints706
Number of constraints which are clauses320
Number of constraints which are cardinality constraints (but not clauses)320
Number of constraints which are nor clauses,nor cardinality constraints66
Minimum length of a constraint32
Maximum length of a constraint321
Number of terms in the objective function 32
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 32
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 115341
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 265154
Number of bits of the biggest sum of numbers19
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.10	c [STEP] preprocessing with Papilo
0.09/0.14	c [STEP] solving with SCIP
299.31/300.33	c [STEP] preprocessing done, loading into solver
299.31/300.34	c [STEP] solving
299.31/300.34	c #variables 10273 #constraints 706
299.31/300.34	c SMALL=int, LARGE=long long
299.31/300.34	d SCIPUB 28
299.31/300.34	c bounds - >= 0 @ 299.028
299.31/300.34	c stratification level: 0
357.95/359.14	c bounds - >= 27 @ 299.028
357.95/359.14	c #Conflicts:       1000 | #Constraints:       1707
357.95/359.14	c #Conflicts:       2000 | #Constraints:       2707
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:       3000 | #Constraints:       2715
357.95/359.14	c #Conflicts:       4000 | #Constraints:       3715
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:       5000 | #Constraints:       3123
357.95/359.14	c #Conflicts:       6000 | #Constraints:       4123
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:       7000 | #Constraints:       3122
357.95/359.14	c #Conflicts:       8000 | #Constraints:       4122
357.95/359.14	c #Conflicts:       9000 | #Constraints:       5122
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      10000 | #Constraints:       3827
357.95/359.14	c #Conflicts:      11000 | #Constraints:       4827
357.95/359.14	c #Conflicts:      12000 | #Constraints:       5827
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      13000 | #Constraints:       4275
357.95/359.14	c #Conflicts:      14000 | #Constraints:       5275
357.95/359.14	c #Conflicts:      15000 | #Constraints:       6275
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      16000 | #Constraints:       4504
357.95/359.14	c #Conflicts:      17000 | #Constraints:       5504
357.95/359.14	c #Conflicts:      18000 | #Constraints:       6504
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      19000 | #Constraints:       4524
357.95/359.14	c #Conflicts:      20000 | #Constraints:       5524
357.95/359.14	c #Conflicts:      21000 | #Constraints:       6524
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      22000 | #Constraints:       4325
357.95/359.14	c #Conflicts:      23000 | #Constraints:       5325
357.95/359.14	c #Conflicts:      24000 | #Constraints:       6325
357.95/359.14	c #Conflicts:      25000 | #Constraints:       7325
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      26000 | #Constraints:       4928
357.95/359.14	c #Conflicts:      27000 | #Constraints:       5928
357.95/359.14	c #Conflicts:      28000 | #Constraints:       6928
357.95/359.14	c #Conflicts:      29000 | #Constraints:       7928
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      30000 | #Constraints:       5322
357.95/359.14	c #Conflicts:      31000 | #Constraints:       6322
357.95/359.14	c #Conflicts:      32000 | #Constraints:       7322
357.95/359.14	c #Conflicts:      33000 | #Constraints:       8322
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      34000 | #Constraints:       5530
357.95/359.14	c #Conflicts:      35000 | #Constraints:       6530
357.95/359.14	c #Conflicts:      36000 | #Constraints:       7530
357.95/359.14	c #Conflicts:      37000 | #Constraints:       8530
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      38000 | #Constraints:       5541
357.95/359.14	c #Conflicts:      39000 | #Constraints:       6541
357.95/359.14	c #Conflicts:      40000 | #Constraints:       7541
357.95/359.14	c #Conflicts:      41000 | #Constraints:       8541
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      42000 | #Constraints:       5342
357.95/359.14	c #Conflicts:      43000 | #Constraints:       6342
357.95/359.14	c #Conflicts:      44000 | #Constraints:       7342
357.95/359.14	c #Conflicts:      45000 | #Constraints:       8342
357.95/359.14	c #Conflicts:      46000 | #Constraints:       9342
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      47000 | #Constraints:       5933
357.95/359.14	c #Conflicts:      48000 | #Constraints:       6933
357.95/359.14	c #Conflicts:      49000 | #Constraints:       7933
357.95/359.14	c #Conflicts:      50000 | #Constraints:       8933
357.95/359.14	c #Conflicts:      51000 | #Constraints:       9933
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      52000 | #Constraints:       6342
357.95/359.14	c #Conflicts:      53000 | #Constraints:       7342
357.95/359.14	c #Conflicts:      54000 | #Constraints:       8342
357.95/359.14	c #Conflicts:      55000 | #Constraints:       9342
357.95/359.14	c #Conflicts:      56000 | #Constraints:      10342
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      57000 | #Constraints:       6532
357.95/359.14	c #Conflicts:      58000 | #Constraints:       7532
357.95/359.14	c #Conflicts:      59000 | #Constraints:       8532
357.95/359.14	c #Conflicts:      60000 | #Constraints:       9532
357.95/359.14	c #Conflicts:      61000 | #Constraints:      10532
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      62000 | #Constraints:       6534
357.95/359.14	c #Conflicts:      63000 | #Constraints:       7534
357.95/359.14	c #Conflicts:      64000 | #Constraints:       8534
357.95/359.14	c #Conflicts:      65000 | #Constraints:       9534
357.95/359.14	c #Conflicts:      66000 | #Constraints:      10534
357.95/359.14	c INPROCESSING
357.95/359.14	c GARBAGE COLLECT
357.95/359.14	c #Conflicts:      67000 | #Constraints:       6334
492.43/494.03	c #Conflicts:      68000 | #Constraints:       7334
492.43/494.03	c #Conflicts:      69000 | #Constraints:       8334
492.43/494.03	c #Conflicts:      70000 | #Constraints:       9334
492.43/494.03	c #Conflicts:      71000 | #Constraints:      10334
492.43/494.03	c #Conflicts:      72000 | #Constraints:      11334
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:      73000 | #Constraints:       6930
492.43/494.03	c #Conflicts:      74000 | #Constraints:       7930
492.43/494.03	c #Conflicts:      75000 | #Constraints:       8930
492.43/494.03	c #Conflicts:      76000 | #Constraints:       9930
492.43/494.03	c #Conflicts:      77000 | #Constraints:      10930
492.43/494.03	c #Conflicts:      78000 | #Constraints:      11930
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:      79000 | #Constraints:       7336
492.43/494.03	c #Conflicts:      80000 | #Constraints:       8336
492.43/494.03	c #Conflicts:      81000 | #Constraints:       9336
492.43/494.03	c #Conflicts:      82000 | #Constraints:      10336
492.43/494.03	c #Conflicts:      83000 | #Constraints:      11336
492.43/494.03	c #Conflicts:      84000 | #Constraints:      12336
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:      85000 | #Constraints:       7530
492.43/494.03	c #Conflicts:      86000 | #Constraints:       8530
492.43/494.03	c #Conflicts:      87000 | #Constraints:       9530
492.43/494.03	c #Conflicts:      88000 | #Constraints:      10530
492.43/494.03	c #Conflicts:      89000 | #Constraints:      11530
492.43/494.03	c #Conflicts:      90000 | #Constraints:      12530
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:      91000 | #Constraints:       7534
492.43/494.03	c #Conflicts:      92000 | #Constraints:       8534
492.43/494.03	c #Conflicts:      93000 | #Constraints:       9534
492.43/494.03	c #Conflicts:      94000 | #Constraints:      10534
492.43/494.03	c #Conflicts:      95000 | #Constraints:      11534
492.43/494.03	c #Conflicts:      96000 | #Constraints:      12534
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:      97000 | #Constraints:       7340
492.43/494.03	c #Conflicts:      98000 | #Constraints:       8340
492.43/494.03	c #Conflicts:      99000 | #Constraints:       9340
492.43/494.03	c #Conflicts:     100000 | #Constraints:      10340
492.43/494.03	c #Conflicts:     101000 | #Constraints:      11340
492.43/494.03	c #Conflicts:     102000 | #Constraints:      12340
492.43/494.03	c #Conflicts:     103000 | #Constraints:      13340
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:     104000 | #Constraints:       7932
492.43/494.03	c #Conflicts:     105000 | #Constraints:       8932
492.43/494.03	c #Conflicts:     106000 | #Constraints:       9932
492.43/494.03	c #Conflicts:     107000 | #Constraints:      10932
492.43/494.03	c #Conflicts:     108000 | #Constraints:      11932
492.43/494.03	c #Conflicts:     109000 | #Constraints:      12932
492.43/494.03	c #Conflicts:     110000 | #Constraints:      13932
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:     111000 | #Constraints:       8341
492.43/494.03	c #Conflicts:     112000 | #Constraints:       9341
492.43/494.03	c #Conflicts:     113000 | #Constraints:      10341
492.43/494.03	c #Conflicts:     114000 | #Constraints:      11341
492.43/494.03	c #Conflicts:     115000 | #Constraints:      12341
492.43/494.03	c #Conflicts:     116000 | #Constraints:      13341
492.43/494.03	c #Conflicts:     117000 | #Constraints:      14341
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:     118000 | #Constraints:       8538
492.43/494.03	c #Conflicts:     119000 | #Constraints:       9538
492.43/494.03	c #Conflicts:     120000 | #Constraints:      10538
492.43/494.03	c #Conflicts:     121000 | #Constraints:      11538
492.43/494.03	c #Conflicts:     122000 | #Constraints:      12538
492.43/494.03	c #Conflicts:     123000 | #Constraints:      13538
492.43/494.03	c #Conflicts:     124000 | #Constraints:      14538
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:     125000 | #Constraints:       8535
492.43/494.03	c #Conflicts:     126000 | #Constraints:       9535
492.43/494.03	c #Conflicts:     127000 | #Constraints:      10535
492.43/494.03	c #Conflicts:     128000 | #Constraints:      11535
492.43/494.03	c #Conflicts:     129000 | #Constraints:      12535
492.43/494.03	c #Conflicts:     130000 | #Constraints:      13535
492.43/494.03	c #Conflicts:     131000 | #Constraints:      14535
492.43/494.03	c INPROCESSING
492.43/494.03	c GARBAGE COLLECT
492.43/494.03	c #Conflicts:     132000 | #Constraints:       8332
492.43/494.03	c #Conflicts:     133000 | #Constraints:       9332
492.43/494.03	c #Conflicts:     134000 | #Constraints:      10332
492.43/494.03	c #Conflicts:     135000 | #Constraints:      11332
492.43/494.03	c #Conflicts:     136000 | #Constraints:      12332
492.43/494.03	c #Conflicts:     137000 | #Constraints:      13332
492.43/494.03	c #Conflicts:     138000 | #Constraints:      14332
492.43/494.03	c #Conflicts:     139000 | #Constraints:      15332
492.43/494.03	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     140000 | #Constraints:       8945
620.86/622.99	c #Conflicts:     141000 | #Constraints:       9945
620.86/622.99	c #Conflicts:     142000 | #Constraints:      10945
620.86/622.99	c #Conflicts:     143000 | #Constraints:      11945
620.86/622.99	c #Conflicts:     144000 | #Constraints:      12945
620.86/622.99	c #Conflicts:     145000 | #Constraints:      13945
620.86/622.99	c #Conflicts:     146000 | #Constraints:      14945
620.86/622.99	c #Conflicts:     147000 | #Constraints:      15945
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     148000 | #Constraints:       9343
620.86/622.99	c #Conflicts:     149000 | #Constraints:      10343
620.86/622.99	c #Conflicts:     150000 | #Constraints:      11343
620.86/622.99	c #Conflicts:     151000 | #Constraints:      12343
620.86/622.99	c #Conflicts:     152000 | #Constraints:      13343
620.86/622.99	c #Conflicts:     153000 | #Constraints:      14343
620.86/622.99	c #Conflicts:     154000 | #Constraints:      15343
620.86/622.99	c #Conflicts:     155000 | #Constraints:      16343
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     156000 | #Constraints:       9545
620.86/622.99	c #Conflicts:     157000 | #Constraints:      10545
620.86/622.99	c #Conflicts:     158000 | #Constraints:      11545
620.86/622.99	c #Conflicts:     159000 | #Constraints:      12545
620.86/622.99	c #Conflicts:     160000 | #Constraints:      13545
620.86/622.99	c #Conflicts:     161000 | #Constraints:      14545
620.86/622.99	c #Conflicts:     162000 | #Constraints:      15545
620.86/622.99	c #Conflicts:     163000 | #Constraints:      16545
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     164000 | #Constraints:       9536
620.86/622.99	c #Conflicts:     165000 | #Constraints:      10536
620.86/622.99	c #Conflicts:     166000 | #Constraints:      11536
620.86/622.99	c #Conflicts:     167000 | #Constraints:      12536
620.86/622.99	c #Conflicts:     168000 | #Constraints:      13536
620.86/622.99	c #Conflicts:     169000 | #Constraints:      14536
620.86/622.99	c #Conflicts:     170000 | #Constraints:      15536
620.86/622.99	c #Conflicts:     171000 | #Constraints:      16536
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     172000 | #Constraints:       9331
620.86/622.99	c #Conflicts:     173000 | #Constraints:      10331
620.86/622.99	c #Conflicts:     174000 | #Constraints:      11331
620.86/622.99	c #Conflicts:     175000 | #Constraints:      12331
620.86/622.99	c #Conflicts:     176000 | #Constraints:      13331
620.86/622.99	c #Conflicts:     177000 | #Constraints:      14331
620.86/622.99	c #Conflicts:     178000 | #Constraints:      15331
620.86/622.99	c #Conflicts:     179000 | #Constraints:      16331
620.86/622.99	c #Conflicts:     180000 | #Constraints:      17331
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     181000 | #Constraints:       9932
620.86/622.99	c #Conflicts:     182000 | #Constraints:      10932
620.86/622.99	c #Conflicts:     183000 | #Constraints:      11932
620.86/622.99	c #Conflicts:     184000 | #Constraints:      12932
620.86/622.99	c #Conflicts:     185000 | #Constraints:      13932
620.86/622.99	c #Conflicts:     186000 | #Constraints:      14932
620.86/622.99	c #Conflicts:     187000 | #Constraints:      15932
620.86/622.99	c #Conflicts:     188000 | #Constraints:      16932
620.86/622.99	c #Conflicts:     189000 | #Constraints:      17932
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     190000 | #Constraints:      10331
620.86/622.99	c #Conflicts:     191000 | #Constraints:      11331
620.86/622.99	c #Conflicts:     192000 | #Constraints:      12331
620.86/622.99	c #Conflicts:     193000 | #Constraints:      13331
620.86/622.99	c #Conflicts:     194000 | #Constraints:      14331
620.86/622.99	c #Conflicts:     195000 | #Constraints:      15331
620.86/622.99	c #Conflicts:     196000 | #Constraints:      16331
620.86/622.99	c #Conflicts:     197000 | #Constraints:      17331
620.86/622.99	c #Conflicts:     198000 | #Constraints:      18331
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     199000 | #Constraints:      10544
620.86/622.99	c #Conflicts:     200000 | #Constraints:      11544
620.86/622.99	c #Conflicts:     201000 | #Constraints:      12544
620.86/622.99	c #Conflicts:     202000 | #Constraints:      13544
620.86/622.99	c #Conflicts:     203000 | #Constraints:      14544
620.86/622.99	c #Conflicts:     204000 | #Constraints:      15544
620.86/622.99	c #Conflicts:     205000 | #Constraints:      16544
620.86/622.99	c #Conflicts:     206000 | #Constraints:      17544
620.86/622.99	c #Conflicts:     207000 | #Constraints:      18544
620.86/622.99	c INPROCESSING
620.86/622.99	c GARBAGE COLLECT
620.86/622.99	c #Conflicts:     208000 | #Constraints:      10553
620.86/622.99	c #Conflicts:     209000 | #Constraints:      11553
620.86/622.99	c #Conflicts:     210000 | #Constraints:      12553
620.86/622.99	c #Conflicts:     211000 | #Constraints:      13553
620.86/622.99	c #Conflicts:     212000 | #Constraints:      14553
620.86/622.99	c #Conflicts:     213000 | #Constraints:      15553
857.93/860.86	c #Conflicts:     214000 | #Constraints:      16553
857.93/860.86	c #Conflicts:     215000 | #Constraints:      17553
857.93/860.86	c #Conflicts:     216000 | #Constraints:      18553
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     217000 | #Constraints:      10351
857.93/860.86	c #Conflicts:     218000 | #Constraints:      11351
857.93/860.86	c #Conflicts:     219000 | #Constraints:      12351
857.93/860.86	c #Conflicts:     220000 | #Constraints:      13351
857.93/860.86	c #Conflicts:     221000 | #Constraints:      14351
857.93/860.86	c #Conflicts:     222000 | #Constraints:      15351
857.93/860.86	c #Conflicts:     223000 | #Constraints:      16351
857.93/860.86	c #Conflicts:     224000 | #Constraints:      17351
857.93/860.86	c #Conflicts:     225000 | #Constraints:      18351
857.93/860.86	c #Conflicts:     226000 | #Constraints:      19351
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     227000 | #Constraints:      10953
857.93/860.86	c #Conflicts:     228000 | #Constraints:      11953
857.93/860.86	c #Conflicts:     229000 | #Constraints:      12953
857.93/860.86	c #Conflicts:     230000 | #Constraints:      13953
857.93/860.86	c #Conflicts:     231000 | #Constraints:      14953
857.93/860.86	c #Conflicts:     232000 | #Constraints:      15953
857.93/860.86	c #Conflicts:     233000 | #Constraints:      16953
857.93/860.86	c #Conflicts:     234000 | #Constraints:      17953
857.93/860.86	c #Conflicts:     235000 | #Constraints:      18953
857.93/860.86	c #Conflicts:     236000 | #Constraints:      19953
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     237000 | #Constraints:      11341
857.93/860.86	c #Conflicts:     238000 | #Constraints:      12341
857.93/860.86	c #Conflicts:     239000 | #Constraints:      13341
857.93/860.86	c #Conflicts:     240000 | #Constraints:      14341
857.93/860.86	c #Conflicts:     241000 | #Constraints:      15341
857.93/860.86	c #Conflicts:     242000 | #Constraints:      16341
857.93/860.86	c #Conflicts:     243000 | #Constraints:      17341
857.93/860.86	c #Conflicts:     244000 | #Constraints:      18341
857.93/860.86	c #Conflicts:     245000 | #Constraints:      19341
857.93/860.86	c #Conflicts:     246000 | #Constraints:      20341
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     247000 | #Constraints:      11542
857.93/860.86	c #Conflicts:     248000 | #Constraints:      12542
857.93/860.86	c #Conflicts:     249000 | #Constraints:      13542
857.93/860.86	c #Conflicts:     250000 | #Constraints:      14542
857.93/860.86	c #Conflicts:     251000 | #Constraints:      15542
857.93/860.86	c #Conflicts:     252000 | #Constraints:      16542
857.93/860.86	c #Conflicts:     253000 | #Constraints:      17542
857.93/860.86	c #Conflicts:     254000 | #Constraints:      18542
857.93/860.86	c #Conflicts:     255000 | #Constraints:      19542
857.93/860.86	c #Conflicts:     256000 | #Constraints:      20542
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     257000 | #Constraints:      11538
857.93/860.86	c #Conflicts:     258000 | #Constraints:      12538
857.93/860.86	c #Conflicts:     259000 | #Constraints:      13538
857.93/860.86	c #Conflicts:     260000 | #Constraints:      14538
857.93/860.86	c #Conflicts:     261000 | #Constraints:      15538
857.93/860.86	c #Conflicts:     262000 | #Constraints:      16538
857.93/860.86	c #Conflicts:     263000 | #Constraints:      17538
857.93/860.86	c #Conflicts:     264000 | #Constraints:      18538
857.93/860.86	c #Conflicts:     265000 | #Constraints:      19538
857.93/860.86	c #Conflicts:     266000 | #Constraints:      20538
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     267000 | #Constraints:      11337
857.93/860.86	c #Conflicts:     268000 | #Constraints:      12337
857.93/860.86	c #Conflicts:     269000 | #Constraints:      13337
857.93/860.86	c #Conflicts:     270000 | #Constraints:      14337
857.93/860.86	c #Conflicts:     271000 | #Constraints:      15337
857.93/860.86	c #Conflicts:     272000 | #Constraints:      16337
857.93/860.86	c #Conflicts:     273000 | #Constraints:      17337
857.93/860.86	c #Conflicts:     274000 | #Constraints:      18337
857.93/860.86	c #Conflicts:     275000 | #Constraints:      19337
857.93/860.86	c #Conflicts:     276000 | #Constraints:      20337
857.93/860.86	c #Conflicts:     277000 | #Constraints:      21337
857.93/860.86	c INPROCESSING
857.93/860.86	c GARBAGE COLLECT
857.93/860.86	c #Conflicts:     278000 | #Constraints:      11928
857.93/860.86	c #Conflicts:     279000 | #Constraints:      12928
857.93/860.86	c #Conflicts:     280000 | #Constraints:      13928
857.93/860.86	c #Conflicts:     281000 | #Constraints:      14928
857.93/860.86	c #Conflicts:     282000 | #Constraints:      15928
857.93/860.86	c #Conflicts:     283000 | #Constraints:      16928
857.93/860.86	c #Conflicts:     284000 | #Constraints:      17928
857.93/860.86	c #Conflicts:     285000 | #Constraints:      18928
857.93/860.86	c #Conflicts:     286000 | #Constraints:      19928
857.93/860.86	c #Conflicts:     287000 | #Constraints:      20928
1146.86/1150.76	c #Conflicts:     288000 | #Constraints:      21928
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     289000 | #Constraints:      12329
1146.86/1150.76	c #Conflicts:     290000 | #Constraints:      13329
1146.86/1150.76	c #Conflicts:     291000 | #Constraints:      14329
1146.86/1150.76	c #Conflicts:     292000 | #Constraints:      15329
1146.86/1150.76	c #Conflicts:     293000 | #Constraints:      16329
1146.86/1150.76	c #Conflicts:     294000 | #Constraints:      17329
1146.86/1150.76	c #Conflicts:     295000 | #Constraints:      18329
1146.86/1150.76	c #Conflicts:     296000 | #Constraints:      19329
1146.86/1150.76	c #Conflicts:     297000 | #Constraints:      20329
1146.86/1150.76	c #Conflicts:     298000 | #Constraints:      21329
1146.86/1150.76	c #Conflicts:     299000 | #Constraints:      22329
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     300000 | #Constraints:      12533
1146.86/1150.76	c #Conflicts:     301000 | #Constraints:      13533
1146.86/1150.76	c #Conflicts:     302000 | #Constraints:      14533
1146.86/1150.76	c #Conflicts:     303000 | #Constraints:      15533
1146.86/1150.76	c #Conflicts:     304000 | #Constraints:      16533
1146.86/1150.76	c #Conflicts:     305000 | #Constraints:      17533
1146.86/1150.76	c #Conflicts:     306000 | #Constraints:      18533
1146.86/1150.76	c #Conflicts:     307000 | #Constraints:      19533
1146.86/1150.76	c #Conflicts:     308000 | #Constraints:      20533
1146.86/1150.76	c #Conflicts:     309000 | #Constraints:      21533
1146.86/1150.76	c #Conflicts:     310000 | #Constraints:      22533
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     311000 | #Constraints:      12541
1146.86/1150.76	c #Conflicts:     312000 | #Constraints:      13541
1146.86/1150.76	c #Conflicts:     313000 | #Constraints:      14541
1146.86/1150.76	c #Conflicts:     314000 | #Constraints:      15541
1146.86/1150.76	c #Conflicts:     315000 | #Constraints:      16541
1146.86/1150.76	c #Conflicts:     316000 | #Constraints:      17541
1146.86/1150.76	c #Conflicts:     317000 | #Constraints:      18541
1146.86/1150.76	c #Conflicts:     318000 | #Constraints:      19541
1146.86/1150.76	c #Conflicts:     319000 | #Constraints:      20541
1146.86/1150.76	c #Conflicts:     320000 | #Constraints:      21541
1146.86/1150.76	c #Conflicts:     321000 | #Constraints:      22541
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     322000 | #Constraints:      12341
1146.86/1150.76	c #Conflicts:     323000 | #Constraints:      13341
1146.86/1150.76	c #Conflicts:     324000 | #Constraints:      14341
1146.86/1150.76	c #Conflicts:     325000 | #Constraints:      15341
1146.86/1150.76	c #Conflicts:     326000 | #Constraints:      16341
1146.86/1150.76	c #Conflicts:     327000 | #Constraints:      17341
1146.86/1150.76	c #Conflicts:     328000 | #Constraints:      18341
1146.86/1150.76	c #Conflicts:     329000 | #Constraints:      19341
1146.86/1150.76	c #Conflicts:     330000 | #Constraints:      20341
1146.86/1150.76	c #Conflicts:     331000 | #Constraints:      21341
1146.86/1150.76	c #Conflicts:     332000 | #Constraints:      22341
1146.86/1150.76	c #Conflicts:     333000 | #Constraints:      23341
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     334000 | #Constraints:      12939
1146.86/1150.76	c #Conflicts:     335000 | #Constraints:      13939
1146.86/1150.76	c #Conflicts:     336000 | #Constraints:      14939
1146.86/1150.76	c #Conflicts:     337000 | #Constraints:      15939
1146.86/1150.76	c #Conflicts:     338000 | #Constraints:      16939
1146.86/1150.76	c #Conflicts:     339000 | #Constraints:      17939
1146.86/1150.76	c #Conflicts:     340000 | #Constraints:      18939
1146.86/1150.76	c #Conflicts:     341000 | #Constraints:      19939
1146.86/1150.76	c #Conflicts:     342000 | #Constraints:      20939
1146.86/1150.76	c #Conflicts:     343000 | #Constraints:      21939
1146.86/1150.76	c #Conflicts:     344000 | #Constraints:      22939
1146.86/1150.76	c #Conflicts:     345000 | #Constraints:      23939
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     346000 | #Constraints:      13340
1146.86/1150.76	c #Conflicts:     347000 | #Constraints:      14340
1146.86/1150.76	c #Conflicts:     348000 | #Constraints:      15340
1146.86/1150.76	c #Conflicts:     349000 | #Constraints:      16340
1146.86/1150.76	c #Conflicts:     350000 | #Constraints:      17340
1146.86/1150.76	c #Conflicts:     351000 | #Constraints:      18340
1146.86/1150.76	c #Conflicts:     352000 | #Constraints:      19340
1146.86/1150.76	c #Conflicts:     353000 | #Constraints:      20340
1146.86/1150.76	c #Conflicts:     354000 | #Constraints:      21340
1146.86/1150.76	c #Conflicts:     355000 | #Constraints:      22340
1146.86/1150.76	c #Conflicts:     356000 | #Constraints:      23340
1146.86/1150.76	c #Conflicts:     357000 | #Constraints:      24340
1146.86/1150.76	c INPROCESSING
1146.86/1150.76	c GARBAGE COLLECT
1146.86/1150.76	c #Conflicts:     358000 | #Constraints:      13534
1146.86/1150.76	c #Conflicts:     359000 | #Constraints:      14534
1146.86/1150.76	c #Conflicts:     360000 | #Constraints:      15534
1146.86/1150.76	c #Conflicts:     361000 | #Constraints:      16534
1435.17/1440.06	c #Conflicts:     362000 | #Constraints:      17534
1435.17/1440.06	c #Conflicts:     363000 | #Constraints:      18534
1435.17/1440.06	c #Conflicts:     364000 | #Constraints:      19534
1435.17/1440.06	c #Conflicts:     365000 | #Constraints:      20534
1435.17/1440.06	c #Conflicts:     366000 | #Constraints:      21534
1435.17/1440.06	c #Conflicts:     367000 | #Constraints:      22534
1435.17/1440.06	c #Conflicts:     368000 | #Constraints:      23534
1435.17/1440.06	c #Conflicts:     369000 | #Constraints:      24534
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     370000 | #Constraints:      13547
1435.17/1440.06	c #Conflicts:     371000 | #Constraints:      14547
1435.17/1440.06	c #Conflicts:     372000 | #Constraints:      15547
1435.17/1440.06	c #Conflicts:     373000 | #Constraints:      16547
1435.17/1440.06	c #Conflicts:     374000 | #Constraints:      17547
1435.17/1440.06	c #Conflicts:     375000 | #Constraints:      18547
1435.17/1440.06	c #Conflicts:     376000 | #Constraints:      19547
1435.17/1440.06	c #Conflicts:     377000 | #Constraints:      20547
1435.17/1440.06	c #Conflicts:     378000 | #Constraints:      21547
1435.17/1440.06	c #Conflicts:     379000 | #Constraints:      22547
1435.17/1440.06	c #Conflicts:     380000 | #Constraints:      23547
1435.17/1440.06	c #Conflicts:     381000 | #Constraints:      24547
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     382000 | #Constraints:      13339
1435.17/1440.06	c #Conflicts:     383000 | #Constraints:      14339
1435.17/1440.06	c #Conflicts:     384000 | #Constraints:      15339
1435.17/1440.06	c #Conflicts:     385000 | #Constraints:      16339
1435.17/1440.06	c #Conflicts:     386000 | #Constraints:      17339
1435.17/1440.06	c #Conflicts:     387000 | #Constraints:      18339
1435.17/1440.06	c #Conflicts:     388000 | #Constraints:      19339
1435.17/1440.06	c #Conflicts:     389000 | #Constraints:      20339
1435.17/1440.06	c #Conflicts:     390000 | #Constraints:      21339
1435.17/1440.06	c #Conflicts:     391000 | #Constraints:      22339
1435.17/1440.06	c #Conflicts:     392000 | #Constraints:      23339
1435.17/1440.06	c #Conflicts:     393000 | #Constraints:      24339
1435.17/1440.06	c #Conflicts:     394000 | #Constraints:      25339
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     395000 | #Constraints:      13938
1435.17/1440.06	c #Conflicts:     396000 | #Constraints:      14938
1435.17/1440.06	c #Conflicts:     397000 | #Constraints:      15938
1435.17/1440.06	c #Conflicts:     398000 | #Constraints:      16938
1435.17/1440.06	c #Conflicts:     399000 | #Constraints:      17938
1435.17/1440.06	c #Conflicts:     400000 | #Constraints:      18938
1435.17/1440.06	c #Conflicts:     401000 | #Constraints:      19938
1435.17/1440.06	c #Conflicts:     402000 | #Constraints:      20938
1435.17/1440.06	c #Conflicts:     403000 | #Constraints:      21938
1435.17/1440.06	c #Conflicts:     404000 | #Constraints:      22938
1435.17/1440.06	c #Conflicts:     405000 | #Constraints:      23938
1435.17/1440.06	c #Conflicts:     406000 | #Constraints:      24938
1435.17/1440.06	c #Conflicts:     407000 | #Constraints:      25938
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     408000 | #Constraints:      14338
1435.17/1440.06	c #Conflicts:     409000 | #Constraints:      15338
1435.17/1440.06	c #Conflicts:     410000 | #Constraints:      16338
1435.17/1440.06	c #Conflicts:     411000 | #Constraints:      17338
1435.17/1440.06	c #Conflicts:     412000 | #Constraints:      18338
1435.17/1440.06	c #Conflicts:     413000 | #Constraints:      19338
1435.17/1440.06	c #Conflicts:     414000 | #Constraints:      20338
1435.17/1440.06	c #Conflicts:     415000 | #Constraints:      21338
1435.17/1440.06	c #Conflicts:     416000 | #Constraints:      22338
1435.17/1440.06	c #Conflicts:     417000 | #Constraints:      23338
1435.17/1440.06	c #Conflicts:     418000 | #Constraints:      24338
1435.17/1440.06	c #Conflicts:     419000 | #Constraints:      25338
1435.17/1440.06	c #Conflicts:     420000 | #Constraints:      26338
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     421000 | #Constraints:      14535
1435.17/1440.06	c #Conflicts:     422000 | #Constraints:      15535
1435.17/1440.06	c #Conflicts:     423000 | #Constraints:      16535
1435.17/1440.06	c #Conflicts:     424000 | #Constraints:      17535
1435.17/1440.06	c #Conflicts:     425000 | #Constraints:      18535
1435.17/1440.06	c #Conflicts:     426000 | #Constraints:      19535
1435.17/1440.06	c #Conflicts:     427000 | #Constraints:      20535
1435.17/1440.06	c #Conflicts:     428000 | #Constraints:      21535
1435.17/1440.06	c #Conflicts:     429000 | #Constraints:      22535
1435.17/1440.06	c #Conflicts:     430000 | #Constraints:      23535
1435.17/1440.06	c #Conflicts:     431000 | #Constraints:      24535
1435.17/1440.06	c #Conflicts:     432000 | #Constraints:      25535
1435.17/1440.06	c #Conflicts:     433000 | #Constraints:      26535
1435.17/1440.06	c INPROCESSING
1435.17/1440.06	c GARBAGE COLLECT
1435.17/1440.06	c #Conflicts:     434000 | #Constraints:      14549
1435.17/1440.06	c #Conflicts:     435000 | #Constraints:      15549
1435.17/1440.06	c #Conflicts:     436000 | #Constraints:      16549
1875.73/1882.19	c #Conflicts:     437000 | #Constraints:      17549
1875.73/1882.19	c #Conflicts:     438000 | #Constraints:      18549
1875.73/1882.19	c #Conflicts:     439000 | #Constraints:      19549
1875.73/1882.19	c #Conflicts:     440000 | #Constraints:      20549
1875.73/1882.19	c #Conflicts:     441000 | #Constraints:      21549
1875.73/1882.19	c #Conflicts:     442000 | #Constraints:      22549
1875.73/1882.19	c #Conflicts:     443000 | #Constraints:      23549
1875.73/1882.19	c #Conflicts:     444000 | #Constraints:      24549
1875.73/1882.19	c #Conflicts:     445000 | #Constraints:      25549
1875.73/1882.19	c #Conflicts:     446000 | #Constraints:      26549
1875.73/1882.19	c INPROCESSING
1875.73/1882.19	c GARBAGE COLLECT
1875.73/1882.19	c #Conflicts:     447000 | #Constraints:      14346
1875.73/1882.19	c #Conflicts:     448000 | #Constraints:      15346
1875.73/1882.19	c #Conflicts:     449000 | #Constraints:      16346
1875.73/1882.19	c #Conflicts:     450000 | #Constraints:      17346
1875.73/1882.19	c #Conflicts:     451000 | #Constraints:      18346
1875.73/1882.19	c #Conflicts:     452000 | #Constraints:      19346
1875.73/1882.19	c #Conflicts:     453000 | #Constraints:      20346
1875.73/1882.19	c #Conflicts:     454000 | #Constraints:      21346
1875.73/1882.19	c #Conflicts:     455000 | #Constraints:      22346
1875.73/1882.19	c #Conflicts:     456000 | #Constraints:      23346
1875.73/1882.19	c #Conflicts:     457000 | #Constraints:      24346
1875.73/1882.19	c #Conflicts:     458000 | #Constraints:      25346
1875.73/1882.19	c #Conflicts:     459000 | #Constraints:      26346
1875.73/1882.19	c #Conflicts:     460000 | #Constraints:      27346
1875.73/1882.19	c INPROCESSING
1875.73/1882.19	c GARBAGE COLLECT
1875.73/1882.19	c #Conflicts:     461000 | #Constraints:      14950
1875.73/1882.19	c #Conflicts:     462000 | #Constraints:      15950
1875.73/1882.19	c #Conflicts:     463000 | #Constraints:      16950
1875.73/1882.19	c #Conflicts:     464000 | #Constraints:      17950
1875.73/1882.19	c #Conflicts:     465000 | #Constraints:      18950
1875.73/1882.19	c #Conflicts:     466000 | #Constraints:      19950
1875.73/1882.19	c #Conflicts:     467000 | #Constraints:      20950
1875.73/1882.19	c #Conflicts:     468000 | #Constraints:      21950
1875.73/1882.19	c #Conflicts:     469000 | #Constraints:      22950
1875.73/1882.19	c #Conflicts:     470000 | #Constraints:      23950
1875.73/1882.19	c #Conflicts:     471000 | #Constraints:      24950
1875.73/1882.19	c #Conflicts:     472000 | #Constraints:      25950
1875.73/1882.19	c #Conflicts:     473000 | #Constraints:      26950
1875.73/1882.19	c #Conflicts:     474000 | #Constraints:      27950
1875.73/1882.19	c INPROCESSING
1875.73/1882.19	c GARBAGE COLLECT
1875.73/1882.19	c #Conflicts:     475000 | #Constraints:      15352
1875.73/1882.19	c #Conflicts:     476000 | #Constraints:      16352
1875.73/1882.19	c #Conflicts:     477000 | #Constraints:      17352
1875.73/1882.19	c #Conflicts:     478000 | #Constraints:      18352
1875.73/1882.19	c #Conflicts:     479000 | #Constraints:      19352
1875.73/1882.19	c #Conflicts:     480000 | #Constraints:      20352
1875.73/1882.19	c #Conflicts:     481000 | #Constraints:      21352
1875.73/1882.19	c #Conflicts:     482000 | #Constraints:      22352
1875.73/1882.19	c #Conflicts:     483000 | #Constraints:      23352
1875.73/1882.19	c #Conflicts:     484000 | #Constraints:      24352
1875.73/1882.19	c #Conflicts:     485000 | #Constraints:      25352
1875.73/1882.19	c #Conflicts:     486000 | #Constraints:      26352
1875.73/1882.19	c #Conflicts:     487000 | #Constraints:      27352
1875.73/1882.19	c #Conflicts:     488000 | #Constraints:      28352
1875.73/1882.19	c INPROCESSING
1875.73/1882.19	c GARBAGE COLLECT
1875.73/1882.19	c #Conflicts:     489000 | #Constraints:      15554
1875.73/1882.19	c #Conflicts:     490000 | #Constraints:      16554
1875.73/1882.19	c #Conflicts:     491000 | #Constraints:      17554
1875.73/1882.19	c #Conflicts:     492000 | #Constraints:      18554
1875.73/1882.19	c #Conflicts:     493000 | #Constraints:      19554
1875.73/1882.19	c #Conflicts:     494000 | #Constraints:      20554
1875.73/1882.19	c #Conflicts:     495000 | #Constraints:      21554
1875.73/1882.19	c #Conflicts:     496000 | #Constraints:      22554
1875.73/1882.19	c #Conflicts:     497000 | #Constraints:      23554
1875.73/1882.19	c #Conflicts:     498000 | #Constraints:      24554
1875.73/1882.19	c #Conflicts:     499000 | #Constraints:      25554
1875.73/1882.19	c #Conflicts:     500000 | #Constraints:      26554
1875.73/1882.19	c #Conflicts:     501000 | #Constraints:      27554
1875.73/1882.19	c #Conflicts:     502000 | #Constraints:      28554
1875.73/1882.19	c INPROCESSING
1875.73/1882.19	c GARBAGE COLLECT
1875.73/1882.19	c #Conflicts:     503000 | #Constraints:      15550
1875.73/1882.19	c #Conflicts:     504000 | #Constraints:      16550
1875.73/1882.19	c #Conflicts:     505000 | #Constraints:      17550
1875.73/1882.19	c #Conflicts:     506000 | #Constraints:      18550
1875.73/1882.19	c #Conflicts:     507000 | #Constraints:      19550
1875.73/1882.19	c #Conflicts:     508000 | #Constraints:      20550
1875.73/1882.19	c #Conflicts:     509000 | #Constraints:      21550
1875.73/1882.19	c #Conflicts:     510000 | #Constraints:      22550
1875.73/1882.19	c #Conflicts:     511000 | #Constraints:      23550
1875.73/1882.19	c #Conflicts:     512000 | #Constraints:      24550
2198.98/2206.45	c #Conflicts:     513000 | #Constraints:      25550
2198.98/2206.45	c #Conflicts:     514000 | #Constraints:      26550
2198.98/2206.45	c #Conflicts:     515000 | #Constraints:      27550
2198.98/2206.45	c #Conflicts:     516000 | #Constraints:      28550
2198.98/2206.45	c INPROCESSING
2198.98/2206.45	c GARBAGE COLLECT
2198.98/2206.45	c #Conflicts:     517000 | #Constraints:      15340
2198.98/2206.45	c #Conflicts:     518000 | #Constraints:      16340
2198.98/2206.45	c #Conflicts:     519000 | #Constraints:      17340
2198.98/2206.45	c #Conflicts:     520000 | #Constraints:      18340
2198.98/2206.45	c #Conflicts:     521000 | #Constraints:      19340
2198.98/2206.45	c #Conflicts:     522000 | #Constraints:      20340
2198.98/2206.45	c #Conflicts:     523000 | #Constraints:      21340
2198.98/2206.45	c #Conflicts:     524000 | #Constraints:      22340
2198.98/2206.45	c #Conflicts:     525000 | #Constraints:      23340
2198.98/2206.45	c #Conflicts:     526000 | #Constraints:      24340
2198.98/2206.45	c #Conflicts:     527000 | #Constraints:      25340
2198.98/2206.45	c #Conflicts:     528000 | #Constraints:      26340
2198.98/2206.45	c #Conflicts:     529000 | #Constraints:      27340
2198.98/2206.45	c #Conflicts:     530000 | #Constraints:      28340
2198.98/2206.45	c #Conflicts:     531000 | #Constraints:      29340
2198.98/2206.45	c INPROCESSING
2198.98/2206.45	c GARBAGE COLLECT
2198.98/2206.45	c #Conflicts:     532000 | #Constraints:      15951
2198.98/2206.45	c #Conflicts:     533000 | #Constraints:      16951
2198.98/2206.45	c #Conflicts:     534000 | #Constraints:      17951
2198.98/2206.45	c #Conflicts:     535000 | #Constraints:      18951
2198.98/2206.45	c #Conflicts:     536000 | #Constraints:      19951
2198.98/2206.45	c #Conflicts:     537000 | #Constraints:      20951
2198.98/2206.45	c #Conflicts:     538000 | #Constraints:      21951
2198.98/2206.45	c #Conflicts:     539000 | #Constraints:      22951
2198.98/2206.45	c #Conflicts:     540000 | #Constraints:      23951
2198.98/2206.45	c #Conflicts:     541000 | #Constraints:      24951
2198.98/2206.45	c #Conflicts:     542000 | #Constraints:      25951
2198.98/2206.45	c #Conflicts:     543000 | #Constraints:      26951
2198.98/2206.45	c #Conflicts:     544000 | #Constraints:      27951
2198.98/2206.45	c #Conflicts:     545000 | #Constraints:      28951
2198.98/2206.45	c #Conflicts:     546000 | #Constraints:      29951
2198.98/2206.45	c INPROCESSING
2198.98/2206.45	c GARBAGE COLLECT
2198.98/2206.45	c #Conflicts:     547000 | #Constraints:      16344
2198.98/2206.45	c #Conflicts:     548000 | #Constraints:      17344
2198.98/2206.45	c #Conflicts:     549000 | #Constraints:      18344
2198.98/2206.45	c #Conflicts:     550000 | #Constraints:      19344
2198.98/2206.45	c #Conflicts:     551000 | #Constraints:      20344
2198.98/2206.45	c #Conflicts:     552000 | #Constraints:      21344
2198.98/2206.45	c #Conflicts:     553000 | #Constraints:      22344
2198.98/2206.45	c #Conflicts:     554000 | #Constraints:      23344
2198.98/2206.45	c #Conflicts:     555000 | #Constraints:      24344
2198.98/2206.45	c #Conflicts:     556000 | #Constraints:      25344
2198.98/2206.45	c #Conflicts:     557000 | #Constraints:      26344
2198.98/2206.45	c #Conflicts:     558000 | #Constraints:      27344
2198.98/2206.45	c #Conflicts:     559000 | #Constraints:      28344
2198.98/2206.45	c #Conflicts:     560000 | #Constraints:      29344
2198.98/2206.45	c #Conflicts:     561000 | #Constraints:      30344
2198.98/2206.45	c INPROCESSING
2198.98/2206.45	c GARBAGE COLLECT
2198.98/2206.45	c #Conflicts:     562000 | #Constraints:      16535
2198.98/2206.45	c #Conflicts:     563000 | #Constraints:      17535
2198.98/2206.45	c #Conflicts:     564000 | #Constraints:      18535
2198.98/2206.45	c #Conflicts:     565000 | #Constraints:      19535
2198.98/2206.45	c #Conflicts:     566000 | #Constraints:      20535
2198.98/2206.45	c #Conflicts:     567000 | #Constraints:      21535
2198.98/2206.45	c #Conflicts:     568000 | #Constraints:      22535
2198.98/2206.45	c #Conflicts:     569000 | #Constraints:      23535
2198.98/2206.45	c #Conflicts:     570000 | #Constraints:      24535
2198.98/2206.45	c #Conflicts:     571000 | #Constraints:      25535
2198.98/2206.45	c #Conflicts:     572000 | #Constraints:      26535
2198.98/2206.45	c #Conflicts:     573000 | #Constraints:      27535
2198.98/2206.45	c #Conflicts:     574000 | #Constraints:      28535
2198.98/2206.45	c #Conflicts:     575000 | #Constraints:      29535
2198.98/2206.45	c #Conflicts:     576000 | #Constraints:      30535
2198.98/2206.45	c INPROCESSING
2198.98/2206.45	c GARBAGE COLLECT
2198.98/2206.45	c #Conflicts:     577000 | #Constraints:      16535
2198.98/2206.45	c #Conflicts:     578000 | #Constraints:      17535
2198.98/2206.45	c #Conflicts:     579000 | #Constraints:      18535
2198.98/2206.45	c #Conflicts:     580000 | #Constraints:      19535
2198.98/2206.45	c #Conflicts:     581000 | #Constraints:      20535
2198.98/2206.45	c #Conflicts:     582000 | #Constraints:      21535
2198.98/2206.45	c #Conflicts:     583000 | #Constraints:      22535
2198.98/2206.45	c #Conflicts:     584000 | #Constraints:      23535
2198.98/2206.45	c #Conflicts:     585000 | #Constraints:      24535
2198.98/2206.45	c #Conflicts:     586000 | #Constraints:      25535
2198.98/2206.45	c #Conflicts:     587000 | #Constraints:      26535
2198.98/2206.45	c #Conflicts:     588000 | #Constraints:      27535
2508.81/2517.29	c #Conflicts:     589000 | #Constraints:      28535
2508.81/2517.29	c #Conflicts:     590000 | #Constraints:      29535
2508.81/2517.29	c #Conflicts:     591000 | #Constraints:      30535
2508.81/2517.29	c INPROCESSING
2508.81/2517.29	c GARBAGE COLLECT
2508.81/2517.29	c #Conflicts:     592000 | #Constraints:      16335
2508.81/2517.29	c #Conflicts:     593000 | #Constraints:      17335
2508.81/2517.29	c #Conflicts:     594000 | #Constraints:      18335
2508.81/2517.29	c #Conflicts:     595000 | #Constraints:      19335
2508.81/2517.29	c #Conflicts:     596000 | #Constraints:      20335
2508.81/2517.29	c #Conflicts:     597000 | #Constraints:      21335
2508.81/2517.29	c #Conflicts:     598000 | #Constraints:      22335
2508.81/2517.29	c #Conflicts:     599000 | #Constraints:      23335
2508.81/2517.29	c #Conflicts:     600000 | #Constraints:      24335
2508.81/2517.29	c #Conflicts:     601000 | #Constraints:      25335
2508.81/2517.29	c #Conflicts:     602000 | #Constraints:      26335
2508.81/2517.29	c #Conflicts:     603000 | #Constraints:      27335
2508.81/2517.29	c #Conflicts:     604000 | #Constraints:      28335
2508.81/2517.29	c #Conflicts:     605000 | #Constraints:      29335
2508.81/2517.29	c #Conflicts:     606000 | #Constraints:      30335
2508.81/2517.29	c #Conflicts:     607000 | #Constraints:      31335
2508.81/2517.29	c INPROCESSING
2508.81/2517.29	c GARBAGE COLLECT
2508.81/2517.29	c #Conflicts:     608000 | #Constraints:      16938
2508.81/2517.29	c #Conflicts:     609000 | #Constraints:      17938
2508.81/2517.29	c #Conflicts:     610000 | #Constraints:      18938
2508.81/2517.29	c #Conflicts:     611000 | #Constraints:      19938
2508.81/2517.29	c #Conflicts:     612000 | #Constraints:      20938
2508.81/2517.29	c #Conflicts:     613000 | #Constraints:      21938
2508.81/2517.29	c #Conflicts:     614000 | #Constraints:      22938
2508.81/2517.29	c #Conflicts:     615000 | #Constraints:      23938
2508.81/2517.29	c #Conflicts:     616000 | #Constraints:      24938
2508.81/2517.29	c #Conflicts:     617000 | #Constraints:      25938
2508.81/2517.29	c #Conflicts:     618000 | #Constraints:      26938
2508.81/2517.29	c #Conflicts:     619000 | #Constraints:      27938
2508.81/2517.29	c #Conflicts:     620000 | #Constraints:      28938
2508.81/2517.29	c #Conflicts:     621000 | #Constraints:      29938
2508.81/2517.29	c #Conflicts:     622000 | #Constraints:      30938
2508.81/2517.29	c #Conflicts:     623000 | #Constraints:      31938
2508.81/2517.29	c INPROCESSING
2508.81/2517.29	c GARBAGE COLLECT
2508.81/2517.29	c #Conflicts:     624000 | #Constraints:      17336
2508.81/2517.29	c #Conflicts:     625000 | #Constraints:      18336
2508.81/2517.29	c #Conflicts:     626000 | #Constraints:      19336
2508.81/2517.29	c #Conflicts:     627000 | #Constraints:      20336
2508.81/2517.29	c #Conflicts:     628000 | #Constraints:      21336
2508.81/2517.29	c #Conflicts:     629000 | #Constraints:      22336
2508.81/2517.29	c #Conflicts:     630000 | #Constraints:      23336
2508.81/2517.29	c #Conflicts:     631000 | #Constraints:      24336
2508.81/2517.29	c #Conflicts:     632000 | #Constraints:      25336
2508.81/2517.29	c #Conflicts:     633000 | #Constraints:      26336
2508.81/2517.29	c #Conflicts:     634000 | #Constraints:      27336
2508.81/2517.29	c #Conflicts:     635000 | #Constraints:      28336
2508.81/2517.29	c #Conflicts:     636000 | #Constraints:      29336
2508.81/2517.29	c #Conflicts:     637000 | #Constraints:      30336
2508.81/2517.29	c #Conflicts:     638000 | #Constraints:      31336
2508.81/2517.29	c #Conflicts:     639000 | #Constraints:      32336
2508.81/2517.29	c INPROCESSING
2508.81/2517.29	c GARBAGE COLLECT
2508.81/2517.29	c #Conflicts:     640000 | #Constraints:      17533
2508.81/2517.29	c #Conflicts:     641000 | #Constraints:      18533
2508.81/2517.29	c #Conflicts:     642000 | #Constraints:      19533
2508.81/2517.29	c #Conflicts:     643000 | #Constraints:      20533
2508.81/2517.29	c #Conflicts:     644000 | #Constraints:      21533
2508.81/2517.29	c #Conflicts:     645000 | #Constraints:      22533
2508.81/2517.29	c #Conflicts:     646000 | #Constraints:      23533
2508.81/2517.29	c #Conflicts:     647000 | #Constraints:      24533
2508.81/2517.29	c #Conflicts:     648000 | #Constraints:      25533
2508.81/2517.29	c #Conflicts:     649000 | #Constraints:      26533
2508.81/2517.29	c #Conflicts:     650000 | #Constraints:      27533
2508.81/2517.29	c #Conflicts:     651000 | #Constraints:      28533
2508.81/2517.29	c #Conflicts:     652000 | #Constraints:      29533
2508.81/2517.29	c #Conflicts:     653000 | #Constraints:      30533
2508.81/2517.29	c #Conflicts:     654000 | #Constraints:      31533
2508.81/2517.29	c #Conflicts:     655000 | #Constraints:      32533
2508.81/2517.29	c INPROCESSING
2508.81/2517.29	c GARBAGE COLLECT
2508.81/2517.29	c #Conflicts:     656000 | #Constraints:      17538
2508.81/2517.29	c #Conflicts:     657000 | #Constraints:      18538
2508.81/2517.29	c #Conflicts:     658000 | #Constraints:      19538
2508.81/2517.29	c #Conflicts:     659000 | #Constraints:      20538
2508.81/2517.29	c #Conflicts:     660000 | #Constraints:      21538
2508.81/2517.29	c #Conflicts:     661000 | #Constraints:      22538
2508.81/2517.29	c #Conflicts:     662000 | #Constraints:      23538
2508.81/2517.29	c #Conflicts:     663000 | #Constraints:      24538
3070.32/3080.46	c #Conflicts:     664000 | #Constraints:      25538
3070.32/3080.46	c #Conflicts:     665000 | #Constraints:      26538
3070.32/3080.46	c #Conflicts:     666000 | #Constraints:      27538
3070.32/3080.46	c #Conflicts:     667000 | #Constraints:      28538
3070.32/3080.46	c #Conflicts:     668000 | #Constraints:      29538
3070.32/3080.46	c #Conflicts:     669000 | #Constraints:      30538
3070.32/3080.46	c #Conflicts:     670000 | #Constraints:      31538
3070.32/3080.46	c #Conflicts:     671000 | #Constraints:      32538
3070.32/3080.46	c INPROCESSING
3070.32/3080.46	c GARBAGE COLLECT
3070.32/3080.46	c #Conflicts:     672000 | #Constraints:      17339
3070.32/3080.46	c #Conflicts:     673000 | #Constraints:      18339
3070.32/3080.46	c #Conflicts:     674000 | #Constraints:      19339
3070.32/3080.46	c #Conflicts:     675000 | #Constraints:      20339
3070.32/3080.46	c #Conflicts:     676000 | #Constraints:      21339
3070.32/3080.46	c #Conflicts:     677000 | #Constraints:      22339
3070.32/3080.46	c #Conflicts:     678000 | #Constraints:      23339
3070.32/3080.46	c #Conflicts:     679000 | #Constraints:      24339
3070.32/3080.46	c #Conflicts:     680000 | #Constraints:      25339
3070.32/3080.46	c #Conflicts:     681000 | #Constraints:      26339
3070.32/3080.46	c #Conflicts:     682000 | #Constraints:      27339
3070.32/3080.46	c #Conflicts:     683000 | #Constraints:      28339
3070.32/3080.46	c #Conflicts:     684000 | #Constraints:      29339
3070.32/3080.46	c #Conflicts:     685000 | #Constraints:      30339
3070.32/3080.46	c #Conflicts:     686000 | #Constraints:      31339
3070.32/3080.46	c #Conflicts:     687000 | #Constraints:      32339
3070.32/3080.46	c #Conflicts:     688000 | #Constraints:      33339
3070.32/3080.46	c INPROCESSING
3070.32/3080.46	c GARBAGE COLLECT
3070.32/3080.46	c #Conflicts:     689000 | #Constraints:      17940
3070.32/3080.46	c #Conflicts:     690000 | #Constraints:      18940
3070.32/3080.46	c #Conflicts:     691000 | #Constraints:      19940
3070.32/3080.46	c #Conflicts:     692000 | #Constraints:      20940
3070.32/3080.46	c #Conflicts:     693000 | #Constraints:      21940
3070.32/3080.46	c #Conflicts:     694000 | #Constraints:      22940
3070.32/3080.46	c #Conflicts:     695000 | #Constraints:      23940
3070.32/3080.46	c #Conflicts:     696000 | #Constraints:      24940
3070.32/3080.46	c #Conflicts:     697000 | #Constraints:      25940
3070.32/3080.46	c #Conflicts:     698000 | #Constraints:      26940
3070.32/3080.46	c #Conflicts:     699000 | #Constraints:      27940
3070.32/3080.46	c #Conflicts:     700000 | #Constraints:      28940
3070.32/3080.46	c #Conflicts:     701000 | #Constraints:      29940
3070.32/3080.46	c #Conflicts:     702000 | #Constraints:      30940
3070.32/3080.46	c #Conflicts:     703000 | #Constraints:      31940
3070.32/3080.46	c #Conflicts:     704000 | #Constraints:      32940
3070.32/3080.46	c #Conflicts:     705000 | #Constraints:      33940
3070.32/3080.46	c INPROCESSING
3070.32/3080.46	c GARBAGE COLLECT
3070.32/3080.46	c #Conflicts:     706000 | #Constraints:      18337
3070.32/3080.46	c #Conflicts:     707000 | #Constraints:      19337
3070.32/3080.46	c #Conflicts:     708000 | #Constraints:      20337
3070.32/3080.46	c #Conflicts:     709000 | #Constraints:      21337
3070.32/3080.46	c #Conflicts:     710000 | #Constraints:      22337
3070.32/3080.46	c #Conflicts:     711000 | #Constraints:      23337
3070.32/3080.46	c #Conflicts:     712000 | #Constraints:      24337
3070.32/3080.46	c #Conflicts:     713000 | #Constraints:      25337
3070.32/3080.46	c #Conflicts:     714000 | #Constraints:      26337
3070.32/3080.46	c #Conflicts:     715000 | #Constraints:      27337
3070.32/3080.46	c #Conflicts:     716000 | #Constraints:      28337
3070.32/3080.46	c #Conflicts:     717000 | #Constraints:      29337
3070.32/3080.46	c #Conflicts:     718000 | #Constraints:      30337
3070.32/3080.46	c #Conflicts:     719000 | #Constraints:      31337
3070.32/3080.46	c #Conflicts:     720000 | #Constraints:      32337
3070.32/3080.46	c #Conflicts:     721000 | #Constraints:      33337
3070.32/3080.46	c #Conflicts:     722000 | #Constraints:      34337
3070.32/3080.46	c INPROCESSING
3070.32/3080.46	c GARBAGE COLLECT
3070.32/3080.46	c #Conflicts:     723000 | #Constraints:      18552
3070.32/3080.46	c #Conflicts:     724000 | #Constraints:      19552
3070.32/3080.46	c #Conflicts:     725000 | #Constraints:      20552
3070.32/3080.46	c #Conflicts:     726000 | #Constraints:      21552
3070.32/3080.46	c #Conflicts:     727000 | #Constraints:      22552
3070.32/3080.46	c #Conflicts:     728000 | #Constraints:      23552
3070.32/3080.46	c #Conflicts:     729000 | #Constraints:      24552
3070.32/3080.46	c #Conflicts:     730000 | #Constraints:      25552
3070.32/3080.46	c #Conflicts:     731000 | #Constraints:      26552
3070.32/3080.46	c #Conflicts:     732000 | #Constraints:      27552
3070.32/3080.46	c #Conflicts:     733000 | #Constraints:      28552
3070.32/3080.46	c #Conflicts:     734000 | #Constraints:      29552
3070.32/3080.46	c #Conflicts:     735000 | #Constraints:      30552
3070.32/3080.46	c #Conflicts:     736000 | #Constraints:      31552
3070.32/3080.46	c #Conflicts:     737000 | #Constraints:      32552
3070.32/3080.46	c #Conflicts:     738000 | #Constraints:      33552
3070.32/3080.46	c #Conflicts:     739000 | #Constraints:      34552
3444.01/3455.44	c INPROCESSING
3444.01/3455.44	c GARBAGE COLLECT
3444.01/3455.44	c #Conflicts:     740000 | #Constraints:      18561
3444.01/3455.44	c #Conflicts:     741000 | #Constraints:      19561
3444.01/3455.44	c #Conflicts:     742000 | #Constraints:      20561
3444.01/3455.44	c #Conflicts:     743000 | #Constraints:      21561
3444.01/3455.44	c #Conflicts:     744000 | #Constraints:      22561
3444.01/3455.44	c #Conflicts:     745000 | #Constraints:      23561
3444.01/3455.44	c #Conflicts:     746000 | #Constraints:      24561
3444.01/3455.44	c #Conflicts:     747000 | #Constraints:      25561
3444.01/3455.44	c #Conflicts:     748000 | #Constraints:      26561
3444.01/3455.44	c #Conflicts:     749000 | #Constraints:      27561
3444.01/3455.44	c #Conflicts:     750000 | #Constraints:      28561
3444.01/3455.44	c #Conflicts:     751000 | #Constraints:      29561
3444.01/3455.44	c #Conflicts:     752000 | #Constraints:      30561
3444.01/3455.44	c #Conflicts:     753000 | #Constraints:      31561
3444.01/3455.44	c #Conflicts:     754000 | #Constraints:      32561
3444.01/3455.44	c #Conflicts:     755000 | #Constraints:      33561
3444.01/3455.44	c #Conflicts:     756000 | #Constraints:      34561
3444.01/3455.44	c INPROCESSING
3444.01/3455.44	c GARBAGE COLLECT
3444.01/3455.44	c #Conflicts:     757000 | #Constraints:      18354
3444.01/3455.44	c #Conflicts:     758000 | #Constraints:      19354
3444.01/3455.44	c #Conflicts:     759000 | #Constraints:      20354
3444.01/3455.44	c #Conflicts:     760000 | #Constraints:      21354
3444.01/3455.44	c #Conflicts:     761000 | #Constraints:      22354
3444.01/3455.44	c #Conflicts:     762000 | #Constraints:      23354
3444.01/3455.44	c #Conflicts:     763000 | #Constraints:      24354
3444.01/3455.44	c #Conflicts:     764000 | #Constraints:      25354
3444.01/3455.44	c #Conflicts:     765000 | #Constraints:      26354
3444.01/3455.44	c #Conflicts:     766000 | #Constraints:      27354
3444.01/3455.44	c #Conflicts:     767000 | #Constraints:      28354
3444.01/3455.44	c #Conflicts:     768000 | #Constraints:      29354
3444.01/3455.44	c #Conflicts:     769000 | #Constraints:      30354
3444.01/3455.44	c #Conflicts:     770000 | #Constraints:      31354
3444.01/3455.44	c #Conflicts:     771000 | #Constraints:      32354
3444.01/3455.44	c #Conflicts:     772000 | #Constraints:      33354
3444.01/3455.44	c #Conflicts:     773000 | #Constraints:      34354
3444.01/3455.44	c #Conflicts:     774000 | #Constraints:      35354
3444.01/3455.44	c INPROCESSING
3444.01/3455.44	c GARBAGE COLLECT
3444.01/3455.44	c #Conflicts:     775000 | #Constraints:      18940
3444.01/3455.44	c #Conflicts:     776000 | #Constraints:      19940
3444.01/3455.44	c #Conflicts:     777000 | #Constraints:      20940
3444.01/3455.44	c #Conflicts:     778000 | #Constraints:      21940
3444.01/3455.44	c #Conflicts:     779000 | #Constraints:      22940
3444.01/3455.44	c #Conflicts:     780000 | #Constraints:      23940
3444.01/3455.44	c #Conflicts:     781000 | #Constraints:      24940
3444.01/3455.44	c #Conflicts:     782000 | #Constraints:      25940
3444.01/3455.44	c #Conflicts:     783000 | #Constraints:      26940
3444.01/3455.44	c #Conflicts:     784000 | #Constraints:      27940
3444.01/3455.44	c #Conflicts:     785000 | #Constraints:      28940
3444.01/3455.44	c #Conflicts:     786000 | #Constraints:      29940
3444.01/3455.44	c #Conflicts:     787000 | #Constraints:      30940
3444.01/3455.44	c #Conflicts:     788000 | #Constraints:      31940
3444.01/3455.44	c #Conflicts:     789000 | #Constraints:      32940
3444.01/3455.44	c #Conflicts:     790000 | #Constraints:      33940
3444.01/3455.44	c #Conflicts:     791000 | #Constraints:      34940
3444.01/3455.44	c #Conflicts:     792000 | #Constraints:      35940
3444.01/3455.44	c INPROCESSING
3444.01/3455.44	c GARBAGE COLLECT
3444.01/3455.44	c #Conflicts:     793000 | #Constraints:      19342
3444.01/3455.44	c #Conflicts:     794000 | #Constraints:      20342
3444.01/3455.44	c #Conflicts:     795000 | #Constraints:      21342
3444.01/3455.44	c #Conflicts:     796000 | #Constraints:      22342
3444.01/3455.44	c #Conflicts:     797000 | #Constraints:      23342
3444.01/3455.44	c #Conflicts:     798000 | #Constraints:      24342
3444.01/3455.44	c #Conflicts:     799000 | #Constraints:      25342
3444.01/3455.44	c #Conflicts:     800000 | #Constraints:      26342
3444.01/3455.44	c #Conflicts:     801000 | #Constraints:      27342
3444.01/3455.44	c #Conflicts:     802000 | #Constraints:      28342
3444.01/3455.44	c #Conflicts:     803000 | #Constraints:      29342
3444.01/3455.44	c #Conflicts:     804000 | #Constraints:      30342
3444.01/3455.44	c #Conflicts:     805000 | #Constraints:      31342
3444.01/3455.44	c #Conflicts:     806000 | #Constraints:      32342
3444.01/3455.44	c #Conflicts:     807000 | #Constraints:      33342
3444.01/3455.44	c #Conflicts:     808000 | #Constraints:      34342
3444.01/3455.44	c #Conflicts:     809000 | #Constraints:      35342
3444.01/3455.44	c #Conflicts:     810000 | #Constraints:      36342
3444.01/3455.44	c INPROCESSING
3444.01/3455.44	c GARBAGE COLLECT
3444.01/3455.44	c #Conflicts:     811000 | #Constraints:      19537
3444.01/3455.44	c #Conflicts:     812000 | #Constraints:      20537
3444.01/3455.44	c #Conflicts:     813000 | #Constraints:      21537
3444.01/3455.44	c #Conflicts:     814000 | #Constraints:      22537
3444.01/3455.44	c #Conflicts:     815000 | #Constraints:      23537
3600.08/3612.01	c #Conflicts:     816000 | #Constraints:      24537
3600.08/3612.01	c #Conflicts:     817000 | #Constraints:      25537
3600.08/3612.01	c #Conflicts:     818000 | #Constraints:      26537
3600.08/3612.01	c #Conflicts:     819000 | #Constraints:      27537
3600.08/3612.01	c #Conflicts:     820000 | #Constraints:      28537
3600.08/3612.01	c #Conflicts:     821000 | #Constraints:      29537
3600.08/3612.01	c #Conflicts:     822000 | #Constraints:      30537
3600.08/3612.01	c #Conflicts:     823000 | #Constraints:      31537
3600.08/3612.01	c #Conflicts:     824000 | #Constraints:      32537
3600.08/3612.01	c #Conflicts:     825000 | #Constraints:      33537
3600.08/3612.01	c #Conflicts:     826000 | #Constraints:      34537
3600.08/3612.01	c #Conflicts:     827000 | #Constraints:      35537
3600.08/3612.01	c #Conflicts:     828000 | #Constraints:      36537
3600.08/3612.01	c INPROCESSING
3600.08/3612.01	c GARBAGE COLLECT
3600.08/3612.01	c #Conflicts:     829000 | #Constraints:      19540
3600.08/3612.01	c #Conflicts:     830000 | #Constraints:      20540
3600.08/3612.01	c #Conflicts:     831000 | #Constraints:      21540
3600.08/3612.01	c #Conflicts:     832000 | #Constraints:      22540
3600.08/3612.01	c #Conflicts:     833000 | #Constraints:      23540
3600.08/3612.01	c #Conflicts:     834000 | #Constraints:      24540
3600.08/3612.01	c #Conflicts:     835000 | #Constraints:      25540
3600.08/3612.01	c #Conflicts:     836000 | #Constraints:      26540
3600.08/3612.01	c #Conflicts:     837000 | #Constraints:      27540
3600.08/3612.01	c #Conflicts:     838000 | #Constraints:      28540
3600.08/3612.01	c #Conflicts:     839000 | #Constraints:      29540
3600.08/3612.01	c #Conflicts:     840000 | #Constraints:      30540
3600.08/3612.01	c #Conflicts:     841000 | #Constraints:      31540
3600.08/3612.01	c Program interrupted by user.
3600.08/3612.01	c cpu time 3578.4 s
3600.08/3612.01	c deterministic time 409999887077 4.10e+11
3600.08/3612.01	c optimization time 76.824 s
3600.08/3612.01	c total solve time 3202.55 s
3600.08/3612.01	c core-guided solve time 3202.55 s
3600.08/3612.01	c propagation time 2576.07 s
3600.08/3612.01	c conflict analysis time 521.936 s
3600.08/3612.01	c propagations 131239391
3600.08/3612.01	c resolve steps 4241828
3600.08/3612.01	c decisions 18011691
3600.08/3612.01	c conflicts 841600
3600.08/3612.01	c restarts 1788
3600.08/3612.01	c inprocessing phases 82
3600.08/3612.01	c input clauses 320
3600.08/3612.01	c input cardinalities 322
3600.08/3612.01	c input general constraints 66
3600.08/3612.01	c input average constraint length 58.12
3600.08/3612.01	c input average constraint degree 11921.69
3600.08/3612.01	c learned clauses 2939
3600.08/3612.01	c learned cardinalities 30
3600.08/3612.01	c learned general constraints 838631
3600.08/3612.01	c learned average constraint length 1847.58
3600.08/3612.01	c learned average constraint degree 8379816.05
3600.08/3612.01	c watched constraints 342003
3600.08/3612.01	c counting constraints 496694
3600.08/3612.01	c gcd simplifications 2254
3600.08/3612.01	c detected cardinalities 3
3600.08/3612.01	c weakened non-implied lits 91509230
3600.08/3612.01	c weakened non-implying lits 88324
3600.08/3612.01	c original variables 10272
3600.08/3612.01	c clausal propagations 3350500
3600.08/3612.01	c cardinality propagations 13052900
3600.08/3612.01	c watched propagations 4280267
3600.08/3612.01	c counting propagations 109989973
3600.08/3612.01	c watch lookups 43149117328
3600.08/3612.01	c watch backjump lookups 42780650131
3600.08/3612.01	c watch checks 242075497929
3600.08/3612.01	c propagation checks 78025266120
3600.08/3612.01	c constraint additions 3670021356
3600.08/3612.01	c trail pops 150083130
3600.08/3612.01	c formula constraints 706
3600.08/3612.01	c learned constraints 841600
3600.08/3612.01	c bound constraints 2
3600.08/3612.01	c core-guided constraints 0
3600.08/3612.01	c encountered formula constraints 2900218
3600.08/3612.01	c encountered learned constraints 2181174
3600.08/3612.01	c encountered bound constraints 2036
3600.08/3612.01	c encountered core-guided constraints 0
3600.08/3612.01	c LP total time 0 s
3600.08/3612.01	c LP solve time 0 s
3600.08/3612.01	c LP constraints added 0
3600.08/3612.01	c LP constraints removed 0
3600.08/3612.01	c LP pivots internal 0
3600.08/3612.01	c LP pivots root 0
3600.08/3612.01	c LP calls 0
3600.08/3612.01	c LP optimalities 0
3600.08/3612.01	c LP no pivot count 0
3600.08/3612.01	c LP infeasibilities 0
3600.08/3612.01	c LP valid Farkas constraints 0
3600.08/3612.01	c LP learned Farkas constraints 0
3600.08/3612.01	c LP basis resets 0
3600.08/3612.01	c LP cycling count 0
3600.08/3612.01	c LP singular count 0
3600.08/3612.01	c LP no primal count 0
3600.08/3612.01	c LP no farkas count 0
3600.08/3612.01	c LP other issue count 0
3600.08/3612.01	c LP Gomory cuts 0
3600.08/3612.01	c LP learned cuts 0
3600.08/3612.01	c LP deleted cuts 0
3600.08/3612.01	c LP encountered Gomory constraints 0
3600.08/3612.01	c LP encountered Farkas constraints 0
3600.08/3612.01	c LP encountered learned Farkas constraints 0
3600.08/3612.01	c CG auxiliary variables introduced 0
3600.08/3612.01	c CG solutions found 0
3600.08/3612.01	c CG cores constructed 1
3600.08/3612.01	c CG core cardinality constraints returned 1
3600.08/3612.01	c CG unit cores 0
3600.08/3612.01	c CG single cores 1
3600.08/3612.01	c CG blocks removed during cardinality reduction 0
3600.08/3612.01	c CG first core best 0
3600.08/3612.01	c CG decision core best 0
3600.08/3612.01	c CG core reduction tie 0
3600.08/3612.01	c CG core degree average 27.00
3600.08/3612.01	c CG core slack average 5.00
3600.08/3612.01	c CG exhausted 0
3600.08/3612.01	c CG exhaust time 0 s
3600.08/3612.01	c CG trimmed 0
3600.08/3612.01	c CG trim time 5.5e-05 s
3600.08/3612.01	c CG minimized 0
3600.08/3612.01	c CG minimize time 0 s
3600.08/3612.01	c CG am1 prop time 0.000329 s
3600.08/3612.01	c CG # am1s reformulated 0
3600.08/3612.01	c CG lower bound derived from am1s 0
3600.08/3612.01	c CG # clausal cores 0
3600.08/3612.01	c CG # cardinality cores 0
3600.08/3612.01	c CG # pb cores 1
3600.08/3612.01	c CG # pb reforms 0
3600.08/3612.01	c CG # cores discarded because of pb reform 0
3600.08/3612.01	d LOWERBOUND 27
3600.08/3612.01	d NCORES 1
3600.08/3612.01	d NPBCORES 1
3600.08/3612.01	d NPBREFORM 0
3600.08/3612.01	d NTRIMMED 0
3600.08/3612.01	d NEXHAUSTED 0
3600.08/3612.01	d NAM1S 0
3600.08/3612.01	d AM1LB 0
3600.08/3612.01	c [Papilo Statistics]
3600.08/3612.01	c prepro time 0.0394487s
3600.08/3612.01	c # tsx applied 321
3600.08/3612.01	c # tsx conflicts 0
3600.08/3612.01	c # bound changes 0
3600.08/3612.01	c # side changes 321
3600.08/3612.01	c # coef changes 0
3600.08/3612.01	c # rounds 2
3600.08/3612.01	c # deted vars 0
3600.08/3612.01	c # deted constrs 320
3600.08/3612.01	c # consecutive rounds of only bound changes 0
3600.08/3612.03	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 (60669 MiB free)
  memory of node 1: 64465 MiB (56524 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529220-1752263553/watcher-4529220-1752263553 -o /tmp/evaluation-result-4529220-1752263553/solver-4529220-1752263553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760 mixed-bag HOME/instance-4529220-1752263553.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=117827, runsolver pid=117824

[startup+0.100073 s]*
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=120007108/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=98796 memory=19932 CPUtime=0.09 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 3509 0 0 0 8 1 0 0 20 0 1 0 142034104 101167104 4983 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 24699 4983 2240 2834 0 6904 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 98796 KiB
Current children cumulated memory: 19932 KiB

[startup+0.213792 s]*
/proc/loadavg: 4.04 4.10 4.13 6/251 117828
/proc/meminfo: memFree=119983168/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=126492 memory=52572 CPUtime=0.21 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 10027 0 0 0 18 3 0 0 20 0 1 0 142034104 129527808 13143 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 31623 13143 4000 2834 0 13828 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 126492 KiB
Current children cumulated memory: 52572 KiB

[startup+0.313432 s]*
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=119991232/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=132572 memory=58896 CPUtime=0.31 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 12189 0 0 0 27 4 0 0 20 0 1 0 142034104 135753728 14724 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 33143 14724 4032 2834 0 15348 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 132572 KiB
Current children cumulated memory: 58896 KiB

[startup+0.700276 s]
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=119983420/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=176696 memory=84240 CPUtime=0.67 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 18503 0 0 0 62 5 0 0 20 0 1 0 142034104 180936704 21028 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 44174 21060 4096 2834 0 26379 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 176696 KiB
Current children cumulated memory: 84240 KiB

[startup+1.50027 s]
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=119952172/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=285768 memory=186172 CPUtime=1.47 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 44191 0 0 0 136 11 0 0 20 0 1 0 142034104 292626432 46543 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 71442 46543 4256 2834 0 53647 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 285768 KiB
Current children cumulated memory: 186172 KiB

[startup+3.11336 s]
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=119835960/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=324928 memory=223288 CPUtime=3.08 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 50450 0 0 0 295 13 0 0 20 0 1 0 142034104 332726272 55822 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 81232 55822 4256 2834 0 63437 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 324928 KiB
Current children cumulated memory: 223288 KiB

[startup+6.30027 s]
/proc/loadavg: 4.04 4.10 4.13 5/251 117828
/proc/meminfo: memFree=119779788/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=371128 memory=269388 CPUtime=6.26 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 63692 0 0 0 610 16 0 0 20 0 1 0 142034104 380035072 67347 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 92782 67347 4288 2834 0 74987 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 371128 KiB
Current children cumulated memory: 269388 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 117828
/proc/meminfo: memFree=119740256/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=392788 memory=288588 CPUtime=12.64 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 68490 0 0 0 1247 17 0 0 20 0 1 0 142034104 402214912 72147 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 98197 72147 4288 2834 0 80402 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 392788 KiB
Current children cumulated memory: 288588 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 117828
/proc/meminfo: memFree=119716080/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=392788 memory=288972 CPUtime=25.4 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 68633 0 0 0 2523 17 0 0 20 0 1 0 142034104 402214912 72243 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 98197 72243 4288 2834 0 80402 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 392788 KiB
Current children cumulated memory: 288972 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.11 4.14 5/251 117828
/proc/meminfo: memFree=119623056/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=425508 memory=320972 CPUtime=50.93 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 76627 0 0 0 5075 18 0 0 20 0 1 0 142034104 435720192 80243 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 106377 80243 4288 2834 0 88582 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 425508 KiB
Current children cumulated memory: 320972 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.14 4.14 5/249 117830
/proc/meminfo: memFree=119615612/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=432960 memory=331084 CPUtime=101.95 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 79138 0 0 0 10177 18 0 0 20 0 1 0 142034104 443351040 82771 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 108240 82771 4320 2834 0 90445 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 432960 KiB
Current children cumulated memory: 331084 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/250 117833
/proc/meminfo: memFree=119219744/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=525176 memory=419276 CPUtime=161.77 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 101202 0 0 0 16155 22 0 0 20 0 1 0 142034104 537780224 104819 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 131294 104819 4320 2834 0 113499 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 525176 KiB
Current children cumulated memory: 419276 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/250 118015
/proc/meminfo: memFree=119611664/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=617300 memory=502732 CPUtime=221.57 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 122068 0 0 0 22130 27 0 0 20 0 1 0 142034104 632115200 125683 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 154325 125683 4320 2834 0 136530 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 617300 KiB
Current children cumulated memory: 502732 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.13 5/251 118153
/proc/meminfo: memFree=119782040/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=712612 memory=590668 CPUtime=281.37 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 144066 0 0 0 28105 32 0 0 20 0 1 0 142034104 729714688 147667 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 178153 147667 4320 2834 0 160358 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 712612 KiB
Current children cumulated memory: 590668 KiB

[startup+342.3 s]
/proc/loadavg: 4.63 4.25 4.17 5/252 118158
/proc/meminfo: memFree=119682572/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=748460 memory=632004 CPUtime=341.18 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 148637 0 0 0 33986 132 0 0 20 0 1 0 142034104 766423040 158001 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 187115 158001 4480 2834 0 169320 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 748460 KiB
Current children cumulated memory: 632004 KiB

[startup+402.3 s]
/proc/loadavg: 4.68 4.34 4.21 5/252 118164
/proc/meminfo: memFree=119614084/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=798548 memory=682060 CPUtime=401 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 150410 0 0 0 39882 218 0 0 20 0 1 0 142034104 817713152 170515 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 199637 170515 4480 2834 0 181842 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 798548 KiB
Current children cumulated memory: 682060 KiB

[startup+462.3 s]
/proc/loadavg: 4.79 4.44 4.25 5/252 118166
/proc/meminfo: memFree=119528416/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=879936 memory=725792 CPUtime=460.83 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 151656 0 0 0 45808 275 0 0 20 0 1 0 142034104 901054464 181448 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 219984 181448 4480 2834 0 202189 0

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

Current children cumulated memory: 1588192 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/251 118469
/proc/meminfo: memFree=118948108/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=1841148 memory=1596768 CPUtime=2852.9 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 267716 0 0 0 283480 1810 0 0 20 0 1 0 142034104 1885335552 399192 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 460287 399192 4480 2834 0 442492 0
Current children cumulated CPU time: 2852.9 s
Current children cumulated vsize: 1841148 KiB
Current children cumulated memory: 1596768 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/252 118472
/proc/meminfo: memFree=118794096/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=1956872 memory=1738260 CPUtime=2912.74 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 286739 0 0 0 289449 1825 0 0 20 0 1 0 142034104 2003836928 434565 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 489218 434565 4480 2834 0 471423 0
Current children cumulated CPU time: 2912.74 s
Current children cumulated vsize: 1956872 KiB
Current children cumulated memory: 1738260 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/252 118474
/proc/meminfo: memFree=118587200/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2379604 memory=1894636 CPUtime=2972.57 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 302475 0 0 0 295419 1838 0 0 20 0 1 0 142034104 2436714496 473659 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 594901 473659 4480 2834 0 577106 0
Current children cumulated CPU time: 2972.57 s
Current children cumulated vsize: 2379604 KiB
Current children cumulated memory: 1894636 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/252 118476
/proc/meminfo: memFree=118444820/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2411096 memory=1993616 CPUtime=3032.36 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 310860 0 0 0 301389 1847 0 0 20 0 1 0 142034104 2468962304 498404 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 602774 498404 4480 2834 0 584979 0
Current children cumulated CPU time: 3032.36 s
Current children cumulated vsize: 2411096 KiB
Current children cumulated memory: 1993616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/252 118480
/proc/meminfo: memFree=118383404/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3092.15 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 307356 1859 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/250 118482
/proc/meminfo: memFree=118354284/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3151.94 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 313283 1911 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3151.94 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/249 118484
/proc/meminfo: memFree=118339972/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3211.72 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 319216 1956 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3211.72 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.09 4.10 5/249 118486
/proc/meminfo: memFree=118314148/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3271.52 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 325158 1994 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3271.52 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3342.3 s]
/proc/loadavg: 4.59 4.22 4.14 5/249 118488
/proc/meminfo: memFree=118275148/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3331.31 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 331108 2023 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3331.31 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.46 4.27 4.16 5/250 118493
/proc/meminfo: memFree=118238192/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3391.09 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 337040 2069 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3391.09 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3462.3 s]
/proc/loadavg: 3.91 4.16 4.14 4/244 118525
/proc/meminfo: memFree=123677132/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3450.88 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 342982 2106 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3522.3 s]
/proc/loadavg: 3.39 3.97 4.07 4/245 118532
/proc/meminfo: memFree=123670276/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3510.67 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 348938 2129 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3510.67 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

[startup+3582.3 s]
/proc/loadavg: 3.18 3.80 4.00 4/245 118534
/proc/meminfo: memFree=123662736/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3570.47 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 354888 2159 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 3.16 3.74 3.97 4/245 118534
/proc/meminfo: memFree=123663128/131382120 swapFree=33010416/33010684
[pid=117827] ppid=117824 vsize=2449796 memory=2073596 CPUtime=3600.08 cores=0,2
/proc/117827/stat : 117827 (mixed-bag) R 117824 117827 116306 0 -1 4194304 319108 0 0 0 357840 2168 0 0 20 0 1 0 142034104 2508591104 518399 18446744073709551615 4235264 15840557 140734590653792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18047680 18058864 45420544 140734590663066 140734590663143 140734590663143 140734590668747 0
/proc/117827/statm: 612449 518399 4480 2834 0 594654 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2449796 KiB
Current children cumulated memory: 2073596 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.41 s, system=21.7103 s

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

Child status: 0

Real time (s): 3612.04
CPU time (s): 3600.12
CPU user time (s): 3578.41
CPU system time (s): 21.7103
CPU usage (%): 99.67
Max. virtual memory (cumulated for all children) (KiB): 2449796
Max. memory (cumulated for all children) (KiB): 2073596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.41
system time used= 21.7103
maximum resident set size= 2074236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319139
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= 338
involuntary context switches= 8337


# summary of solver processes directly reported to runsolver:
#   pid: 117827
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3578.41
#   total CPU system time (s): 21.7103

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0466 second user time and 35.6603 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-11 21:52:33
IDJOB=4529220
IDBENCH=158618
IDSOLVER=3386
FILE ID=nodeC002/4529220-1752263553
RUNJOBID= nodeC002-1752256148-116316
SLURM_JOB_ID= 9682593
Free space on /tmp= 431188 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw32/normalized-hw32-vm85p-opt.opb.negationfix.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529220-1752263553/watcher-4529220-1752263553 -o /tmp/evaluation-result-4529220-1752263553/solver-4529220-1752263553 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1752256148-116316 --watchdog 3760  mixed-bag HOME/instance-4529220-1752263553.opb

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

MD5SUM BENCH= a65412b792c5c6c9e427350dbe88f8fc
RANDOM SEED=1900285815

nodeC002 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.652
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.81
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		: 3491.922
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.81
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.192
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.81
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.273
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.81
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		: 3661.553
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.81
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		: 3662.638
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.81
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		: 3700.000
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.81
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.394
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        120006772 kB
MemAvailable:   122672824 kB
Buffers:            2128 kB
Cached:          3465160 kB
SwapCached:           28 kB
Active:          7672204 kB
Inactive:        3107356 kB
Active(anon):    7323800 kB
Inactive(anon):     6404 kB
Active(file):     348404 kB
Inactive(file):  3100952 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15900 kB
Writeback:             0 kB
AnonPages:       7312584 kB
Mapped:           141280 kB
Shmem:             17932 kB
KReclaimable:     112648 kB
Slab:             200812 kB
SReclaimable:     112648 kB
SUnreclaim:        88164 kB
KernelStack:        4048 kB
PageTables:        17732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    8909188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3913728 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431196 MiB
End job on nodeC002 at 2025-07-11 22:52:45