Trace number 4521447

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
roundingsat-ihs-log 63f22ad? (TO) 3600.09 3610.95

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
MD5SUMb902f1cace2d4bc5a725525e4f0d9769
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 benchmark9800
Best CPU time to get the best result obtained on this benchmark1.34983
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19600
Total number of constraints39200
Number of constraints which are clauses39200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 19600
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 19600
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 19600
Number of bits of the biggest sum of numbers15
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.16	c RoundingSat 2
0.00/0.16	c branch pb25
0.00/0.16	c commit 63f22ad
0.52/0.72	c #variables 19600 #constraints 39200
0.52/0.72	c objective is ce32 
0.72/0.98	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.72/0.98	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.72/0.98	c GLOBAL bounds - >= 0 @ 0.613132
0.84/1.01	c GLOBAL bounds - >= 0 @ 0.640464
213.50/214.48	c #Conflicts:       1000 | #Constraints:      40200
213.50/214.48	c #Conflicts:       2000 | #Constraints:      41200
213.50/214.48	c #Conflicts:       3000 | #Constraints:      42200
213.50/214.48	c #Conflicts:       4000 | #Constraints:      43200
213.50/214.48	c #Conflicts:       5000 | #Constraints:      44200
213.50/214.48	c #Conflicts:       6000 | #Constraints:      45200
213.50/214.48	c #Conflicts:       7000 | #Constraints:      46200
213.50/214.48	c #Conflicts:       8000 | #Constraints:      47200
213.50/214.48	c #Conflicts:       9000 | #Constraints:      48200
213.50/214.48	c INPROCESSING
213.50/214.48	c #Conflicts:      10000 | #Constraints:      48998
213.50/214.48	c #Conflicts:      11000 | #Constraints:      49998
213.50/214.48	c #Conflicts:      12000 | #Constraints:      50998
213.50/214.48	c #Conflicts:      13000 | #Constraints:      51998
213.50/214.48	c #Conflicts:      14000 | #Constraints:      52998
213.50/214.48	c #Conflicts:      15000 | #Constraints:      53998
213.50/214.48	c #Conflicts:      16000 | #Constraints:      54998
213.50/214.48	c #Conflicts:      17000 | #Constraints:      55998
213.50/214.48	c #Conflicts:      18000 | #Constraints:      56998
213.50/214.48	c #Conflicts:      19000 | #Constraints:      57998
213.50/214.48	c INPROCESSING
213.50/214.48	c GARBAGE COLLECT
213.50/214.48	c #Conflicts:      20000 | #Constraints:      51931
213.50/214.48	c #Conflicts:      21000 | #Constraints:      52931
213.50/214.48	c #Conflicts:      22000 | #Constraints:      53931
213.50/214.48	c #Conflicts:      23000 | #Constraints:      54931
213.50/214.48	c #Conflicts:      24000 | #Constraints:      55931
213.50/214.48	c #Conflicts:      25000 | #Constraints:      56931
213.50/214.48	c #Conflicts:      26000 | #Constraints:      57931
213.50/214.48	c #Conflicts:      27000 | #Constraints:      58931
213.50/214.48	c #Conflicts:      28000 | #Constraints:      59931
213.50/214.48	c #Conflicts:      29000 | #Constraints:      60931
213.50/214.48	c INPROCESSING
213.50/214.48	c #Conflicts:      30000 | #Constraints:      53632
213.50/214.48	c #Conflicts:      31000 | #Constraints:      54632
213.50/214.48	c #Conflicts:      32000 | #Constraints:      55632
213.50/214.48	c #Conflicts:      33000 | #Constraints:      56632
213.50/214.48	c #Conflicts:      34000 | #Constraints:      57632
213.50/214.48	c #Conflicts:      35000 | #Constraints:      58632
213.50/214.48	c #Conflicts:      36000 | #Constraints:      59632
213.50/214.48	c #Conflicts:      37000 | #Constraints:      60632
213.50/214.48	c #Conflicts:      38000 | #Constraints:      61632
213.50/214.48	c #Conflicts:      39000 | #Constraints:      62632
213.50/214.48	c INPROCESSING
213.50/214.48	c GARBAGE COLLECT
213.50/214.48	c #Conflicts:      40000 | #Constraints:      54673
213.50/214.48	c #Conflicts:      41000 | #Constraints:      55673
213.50/214.48	c #Conflicts:      42000 | #Constraints:      56673
213.50/214.48	c #Conflicts:      43000 | #Constraints:      57673
213.50/214.48	c #Conflicts:      44000 | #Constraints:      58673
213.50/214.48	c #Conflicts:      45000 | #Constraints:      59673
213.50/214.48	c #Conflicts:      46000 | #Constraints:      60673
213.50/214.48	c #Conflicts:      47000 | #Constraints:      61673
213.50/214.48	c #Conflicts:      48000 | #Constraints:      62673
213.50/214.48	c #Conflicts:      49000 | #Constraints:      63673
213.50/214.48	c INPROCESSING
213.50/214.48	c #Conflicts:      50000 | #Constraints:      54956
213.50/214.48	c #Conflicts:      51000 | #Constraints:      55956
213.50/214.48	c #Conflicts:      52000 | #Constraints:      56956
213.50/214.48	c #Conflicts:      53000 | #Constraints:      57956
213.50/214.48	c #Conflicts:      54000 | #Constraints:      58956
213.50/214.48	c #Conflicts:      55000 | #Constraints:      59956
213.50/214.48	c #Conflicts:      56000 | #Constraints:      60956
213.50/214.48	c #Conflicts:      57000 | #Constraints:      61956
213.50/214.48	c #Conflicts:      58000 | #Constraints:      62956
213.50/214.48	c #Conflicts:      59000 | #Constraints:      63956
213.50/214.48	c #Conflicts:      60000 | #Constraints:      64956
213.50/214.48	c INPROCESSING
213.50/214.48	c GARBAGE COLLECT
213.50/214.48	c #Conflicts:      61000 | #Constraints:      55866
213.50/214.48	c #Conflicts:      62000 | #Constraints:      56866
213.50/214.48	c #Conflicts:      63000 | #Constraints:      57866
213.50/214.48	c #Conflicts:      64000 | #Constraints:      58866
213.50/214.48	c #Conflicts:      65000 | #Constraints:      59866
213.50/214.48	c #Conflicts:      66000 | #Constraints:      60866
213.50/214.48	c #Conflicts:      67000 | #Constraints:      61866
213.50/214.48	c #Conflicts:      68000 | #Constraints:      62866
213.50/214.48	c #Conflicts:      69000 | #Constraints:      63866
213.50/214.48	c #Conflicts:      70000 | #Constraints:      64866
213.50/214.48	c INPROCESSING
213.50/214.48	c #Conflicts:      71000 | #Constraints:      55451
213.50/214.48	c #Conflicts:      72000 | #Constraints:      56451
213.50/214.48	c #Conflicts:      73000 | #Constraints:      57451
213.50/214.48	c #Conflicts:      74000 | #Constraints:      58451
213.50/214.48	c #Conflicts:      75000 | #Constraints:      59451
213.50/214.48	c #Conflicts:      76000 | #Constraints:      60451
548.72/550.78	c #Conflicts:      77000 | #Constraints:      61451
548.72/550.78	c #Conflicts:      78000 | #Constraints:      62451
548.72/550.78	c #Conflicts:      79000 | #Constraints:      63451
548.72/550.78	c #Conflicts:      80000 | #Constraints:      64451
548.72/550.78	c #Conflicts:      81000 | #Constraints:      65451
548.72/550.78	c INPROCESSING
548.72/550.78	c #Conflicts:      82000 | #Constraints:      55793
548.72/550.78	c #Conflicts:      83000 | #Constraints:      56793
548.72/550.78	c #Conflicts:      84000 | #Constraints:      57793
548.72/550.78	c #Conflicts:      85000 | #Constraints:      58793
548.72/550.78	c #Conflicts:      86000 | #Constraints:      59793
548.72/550.78	c #Conflicts:      87000 | #Constraints:      60793
548.72/550.78	c #Conflicts:      88000 | #Constraints:      61793
548.72/550.78	c #Conflicts:      89000 | #Constraints:      62793
548.72/550.78	c #Conflicts:      90000 | #Constraints:      63793
548.72/550.78	c #Conflicts:      91000 | #Constraints:      64793
548.72/550.78	c #Conflicts:      92000 | #Constraints:      65793
548.72/550.78	c INPROCESSING
548.72/550.78	c GARBAGE COLLECT
548.72/550.78	c #Conflicts:      93000 | #Constraints:      55904
548.72/550.78	c #Conflicts:      94000 | #Constraints:      56904
548.72/550.78	c #Conflicts:      95000 | #Constraints:      57904
548.72/550.78	c #Conflicts:      96000 | #Constraints:      58904
548.72/550.78	c #Conflicts:      97000 | #Constraints:      59904
548.72/550.78	c #Conflicts:      98000 | #Constraints:      60904
548.72/550.78	c #Conflicts:      99000 | #Constraints:      61904
548.72/550.78	c #Conflicts:     100000 | #Constraints:      62904
548.72/550.78	c #Conflicts:     101000 | #Constraints:      63904
548.72/550.78	c #Conflicts:     102000 | #Constraints:      64904
548.72/550.78	c #Conflicts:     103000 | #Constraints:      65904
548.72/550.78	c #Conflicts:     104000 | #Constraints:      66904
548.72/550.78	c INPROCESSING
548.72/550.78	c #Conflicts:     105000 | #Constraints:      56835
548.72/550.78	c #Conflicts:     106000 | #Constraints:      57835
548.72/550.78	c #Conflicts:     107000 | #Constraints:      58835
548.72/550.78	c #Conflicts:     108000 | #Constraints:      59835
548.72/550.78	c #Conflicts:     109000 | #Constraints:      60835
548.72/550.78	c #Conflicts:     110000 | #Constraints:      61835
548.72/550.78	c #Conflicts:     111000 | #Constraints:      62835
548.72/550.78	c #Conflicts:     112000 | #Constraints:      63835
548.72/550.78	c #Conflicts:     113000 | #Constraints:      64835
548.72/550.78	c #Conflicts:     114000 | #Constraints:      65835
548.72/550.78	c #Conflicts:     115000 | #Constraints:      66835
548.72/550.78	c INPROCESSING
548.72/550.78	c GARBAGE COLLECT
548.72/550.78	c #Conflicts:     116000 | #Constraints:      56530
548.72/550.78	c #Conflicts:     117000 | #Constraints:      57530
548.72/550.78	c #Conflicts:     118000 | #Constraints:      58530
548.72/550.78	c #Conflicts:     119000 | #Constraints:      59530
548.72/550.78	c #Conflicts:     120000 | #Constraints:      60530
548.72/550.78	c #Conflicts:     121000 | #Constraints:      61530
548.72/550.78	c #Conflicts:     122000 | #Constraints:      62530
548.72/550.78	c #Conflicts:     123000 | #Constraints:      63530
548.72/550.78	c #Conflicts:     124000 | #Constraints:      64530
548.72/550.78	c #Conflicts:     125000 | #Constraints:      65530
548.72/550.78	c #Conflicts:     126000 | #Constraints:      66530
548.72/550.78	c #Conflicts:     127000 | #Constraints:      67530
548.72/550.78	c INPROCESSING
548.72/550.78	c #Conflicts:     128000 | #Constraints:      57026
548.72/550.78	c #Conflicts:     129000 | #Constraints:      58026
548.72/550.78	c #Conflicts:     130000 | #Constraints:      59026
548.72/550.78	c #Conflicts:     131000 | #Constraints:      60026
548.72/550.78	c #Conflicts:     132000 | #Constraints:      61026
548.72/550.78	c #Conflicts:     133000 | #Constraints:      62026
548.72/550.78	c #Conflicts:     134000 | #Constraints:      63026
548.72/550.78	c #Conflicts:     135000 | #Constraints:      64026
548.72/550.78	c #Conflicts:     136000 | #Constraints:      65026
548.72/550.78	c #Conflicts:     137000 | #Constraints:      66026
548.72/550.78	c #Conflicts:     138000 | #Constraints:      67026
548.72/550.78	c #Conflicts:     139000 | #Constraints:      68026
548.72/550.78	c INPROCESSING
548.72/550.78	c #Conflicts:     140000 | #Constraints:      57346
548.72/550.78	c #Conflicts:     141000 | #Constraints:      58346
548.72/550.78	c #Conflicts:     142000 | #Constraints:      59346
548.72/550.78	c #Conflicts:     143000 | #Constraints:      60346
548.72/550.78	c #Conflicts:     144000 | #Constraints:      61346
548.72/550.78	c #Conflicts:     145000 | #Constraints:      62346
548.72/550.78	c #Conflicts:     146000 | #Constraints:      63346
548.72/550.78	c #Conflicts:     147000 | #Constraints:      64346
548.72/550.78	c #Conflicts:     148000 | #Constraints:      65346
548.72/550.78	c #Conflicts:     149000 | #Constraints:      66346
548.72/550.78	c #Conflicts:     150000 | #Constraints:      67346
548.72/550.78	c #Conflicts:     151000 | #Constraints:      68346
548.72/550.78	c INPROCESSING
548.72/550.78	c GARBAGE COLLECT
548.72/550.78	c #Conflicts:     152000 | #Constraints:      57462
841.47/844.33	c #Conflicts:     153000 | #Constraints:      58462
841.47/844.33	c #Conflicts:     154000 | #Constraints:      59462
841.47/844.33	c #Conflicts:     155000 | #Constraints:      60462
841.47/844.33	c #Conflicts:     156000 | #Constraints:      61462
841.47/844.33	c #Conflicts:     157000 | #Constraints:      62462
841.47/844.33	c #Conflicts:     158000 | #Constraints:      63462
841.47/844.33	c #Conflicts:     159000 | #Constraints:      64462
841.47/844.33	c #Conflicts:     160000 | #Constraints:      65462
841.47/844.33	c #Conflicts:     161000 | #Constraints:      66462
841.47/844.33	c #Conflicts:     162000 | #Constraints:      67462
841.47/844.33	c #Conflicts:     163000 | #Constraints:      68462
841.47/844.33	c INPROCESSING
841.47/844.33	c #Conflicts:     164000 | #Constraints:      57362
841.47/844.33	c #Conflicts:     165000 | #Constraints:      58362
841.47/844.33	c #Conflicts:     166000 | #Constraints:      59362
841.47/844.33	c #Conflicts:     167000 | #Constraints:      60362
841.47/844.33	c #Conflicts:     168000 | #Constraints:      61362
841.47/844.33	c #Conflicts:     169000 | #Constraints:      62362
841.47/844.33	c #Conflicts:     170000 | #Constraints:      63362
841.47/844.33	c #Conflicts:     171000 | #Constraints:      64362
841.47/844.33	c #Conflicts:     172000 | #Constraints:      65362
841.47/844.33	c #Conflicts:     173000 | #Constraints:      66362
841.47/844.33	c #Conflicts:     174000 | #Constraints:      67362
841.47/844.33	c #Conflicts:     175000 | #Constraints:      68362
841.47/844.33	c #Conflicts:     176000 | #Constraints:      69362
841.47/844.33	c INPROCESSING
841.47/844.33	c #Conflicts:     177000 | #Constraints:      58057
841.47/844.33	c #Conflicts:     178000 | #Constraints:      59057
841.47/844.33	c #Conflicts:     179000 | #Constraints:      60057
841.47/844.33	c #Conflicts:     180000 | #Constraints:      61057
841.47/844.33	c #Conflicts:     181000 | #Constraints:      62057
841.47/844.33	c #Conflicts:     182000 | #Constraints:      63057
841.47/844.33	c #Conflicts:     183000 | #Constraints:      64057
841.47/844.33	c #Conflicts:     184000 | #Constraints:      65057
841.47/844.33	c #Conflicts:     185000 | #Constraints:      66057
841.47/844.33	c #Conflicts:     186000 | #Constraints:      67057
841.47/844.33	c #Conflicts:     187000 | #Constraints:      68057
841.47/844.33	c #Conflicts:     188000 | #Constraints:      69057
841.47/844.33	c INPROCESSING
841.47/844.33	c GARBAGE COLLECT
841.47/844.33	c #Conflicts:     189000 | #Constraints:      57543
841.47/844.33	c #Conflicts:     190000 | #Constraints:      58543
841.47/844.33	c #Conflicts:     191000 | #Constraints:      59543
841.47/844.33	c #Conflicts:     192000 | #Constraints:      60543
841.47/844.33	c #Conflicts:     193000 | #Constraints:      61543
841.47/844.33	c #Conflicts:     194000 | #Constraints:      62543
841.47/844.33	c #Conflicts:     195000 | #Constraints:      63543
841.47/844.33	c #Conflicts:     196000 | #Constraints:      64543
841.47/844.33	c #Conflicts:     197000 | #Constraints:      65543
841.47/844.33	c #Conflicts:     198000 | #Constraints:      66543
841.47/844.33	c #Conflicts:     199000 | #Constraints:      67543
841.47/844.33	c #Conflicts:     200000 | #Constraints:      68543
841.47/844.33	c #Conflicts:     201000 | #Constraints:      69543
841.47/844.33	c INPROCESSING
841.47/844.33	c #Conflicts:     202000 | #Constraints:      57834
841.47/844.33	c #Conflicts:     203000 | #Constraints:      58834
841.47/844.33	c #Conflicts:     204000 | #Constraints:      59834
841.47/844.33	c #Conflicts:     205000 | #Constraints:      60834
841.47/844.33	c #Conflicts:     206000 | #Constraints:      61834
841.47/844.33	c #Conflicts:     207000 | #Constraints:      62834
841.47/844.33	c #Conflicts:     208000 | #Constraints:      63834
841.47/844.33	c #Conflicts:     209000 | #Constraints:      64834
841.47/844.33	c #Conflicts:     210000 | #Constraints:      65834
841.47/844.33	c #Conflicts:     211000 | #Constraints:      66834
841.47/844.33	c #Conflicts:     212000 | #Constraints:      67834
841.47/844.33	c #Conflicts:     213000 | #Constraints:      68834
841.47/844.33	c #Conflicts:     214000 | #Constraints:      69834
841.47/844.33	c INPROCESSING
841.47/844.33	c #Conflicts:     215000 | #Constraints:      57950
841.47/844.33	c #Conflicts:     216000 | #Constraints:      58950
841.47/844.33	c #Conflicts:     217000 | #Constraints:      59950
841.47/844.33	c #Conflicts:     218000 | #Constraints:      60950
841.47/844.33	c #Conflicts:     219000 | #Constraints:      61950
841.47/844.33	c #Conflicts:     220000 | #Constraints:      62950
841.47/844.33	c #Conflicts:     221000 | #Constraints:      63950
841.47/844.33	c #Conflicts:     222000 | #Constraints:      64950
841.47/844.33	c #Conflicts:     223000 | #Constraints:      65950
841.47/844.33	c #Conflicts:     224000 | #Constraints:      66950
841.47/844.33	c #Conflicts:     225000 | #Constraints:      67950
841.47/844.33	c #Conflicts:     226000 | #Constraints:      68950
841.47/844.33	c #Conflicts:     227000 | #Constraints:      69950
841.47/844.33	c #Conflicts:     228000 | #Constraints:      70950
841.47/844.33	c INPROCESSING
841.47/844.33	c GARBAGE COLLECT
1204.34/1208.21	c #Conflicts:     229000 | #Constraints:      58854
1204.34/1208.21	c #Conflicts:     230000 | #Constraints:      59854
1204.34/1208.21	c #Conflicts:     231000 | #Constraints:      60854
1204.34/1208.21	c #Conflicts:     232000 | #Constraints:      61854
1204.34/1208.21	c #Conflicts:     233000 | #Constraints:      62854
1204.34/1208.21	c #Conflicts:     234000 | #Constraints:      63854
1204.34/1208.21	c #Conflicts:     235000 | #Constraints:      64854
1204.34/1208.21	c #Conflicts:     236000 | #Constraints:      65854
1204.34/1208.21	c #Conflicts:     237000 | #Constraints:      66854
1204.34/1208.21	c #Conflicts:     238000 | #Constraints:      67854
1204.34/1208.21	c #Conflicts:     239000 | #Constraints:      68854
1204.34/1208.21	c #Conflicts:     240000 | #Constraints:      69854
1204.34/1208.21	c #Conflicts:     241000 | #Constraints:      70854
1204.34/1208.21	c INPROCESSING
1204.34/1208.21	c #Conflicts:     242000 | #Constraints:      58529
1204.34/1208.21	c #Conflicts:     243000 | #Constraints:      59529
1204.34/1208.21	c #Conflicts:     244000 | #Constraints:      60529
1204.34/1208.21	c #Conflicts:     245000 | #Constraints:      61529
1204.34/1208.21	c #Conflicts:     246000 | #Constraints:      62529
1204.34/1208.21	c #Conflicts:     247000 | #Constraints:      63529
1204.34/1208.21	c #Conflicts:     248000 | #Constraints:      64529
1204.34/1208.21	c #Conflicts:     249000 | #Constraints:      65529
1204.34/1208.21	c #Conflicts:     250000 | #Constraints:      66529
1204.34/1208.21	c #Conflicts:     251000 | #Constraints:      67529
1204.34/1208.21	c #Conflicts:     252000 | #Constraints:      68529
1204.34/1208.21	c #Conflicts:     253000 | #Constraints:      69529
1204.34/1208.21	c #Conflicts:     254000 | #Constraints:      70529
1204.34/1208.21	c #Conflicts:     255000 | #Constraints:      71529
1204.34/1208.21	c INPROCESSING
1204.34/1208.21	c #Conflicts:     256000 | #Constraints:      59045
1204.34/1208.21	c #Conflicts:     257000 | #Constraints:      60045
1204.34/1208.21	c #Conflicts:     258000 | #Constraints:      61045
1204.34/1208.21	c #Conflicts:     259000 | #Constraints:      62045
1204.34/1208.21	c #Conflicts:     260000 | #Constraints:      63045
1204.34/1208.21	c #Conflicts:     261000 | #Constraints:      64045
1204.34/1208.21	c #Conflicts:     262000 | #Constraints:      65045
1204.34/1208.21	c #Conflicts:     263000 | #Constraints:      66045
1204.34/1208.21	c #Conflicts:     264000 | #Constraints:      67045
1204.34/1208.21	c #Conflicts:     265000 | #Constraints:      68045
1204.34/1208.21	c #Conflicts:     266000 | #Constraints:      69045
1204.34/1208.21	c #Conflicts:     267000 | #Constraints:      70045
1204.34/1208.21	c #Conflicts:     268000 | #Constraints:      71045
1204.34/1208.21	c #Conflicts:     269000 | #Constraints:      72045
1204.34/1208.21	c INPROCESSING
1204.34/1208.21	c GARBAGE COLLECT
1204.34/1208.21	c #Conflicts:     270000 | #Constraints:      59359
1204.34/1208.21	c #Conflicts:     271000 | #Constraints:      60359
1204.34/1208.21	c #Conflicts:     272000 | #Constraints:      61359
1204.34/1208.21	c #Conflicts:     273000 | #Constraints:      62359
1204.34/1208.21	c #Conflicts:     274000 | #Constraints:      63359
1204.34/1208.21	c #Conflicts:     275000 | #Constraints:      64359
1204.34/1208.21	c #Conflicts:     276000 | #Constraints:      65359
1204.34/1208.21	c #Conflicts:     277000 | #Constraints:      66359
1204.34/1208.21	c #Conflicts:     278000 | #Constraints:      67359
1204.34/1208.21	c #Conflicts:     279000 | #Constraints:      68359
1204.34/1208.21	c #Conflicts:     280000 | #Constraints:      69359
1204.34/1208.21	c #Conflicts:     281000 | #Constraints:      70359
1204.34/1208.21	c #Conflicts:     282000 | #Constraints:      71359
1204.34/1208.21	c #Conflicts:     283000 | #Constraints:      72359
1204.34/1208.21	c INPROCESSING
1204.34/1208.21	c #Conflicts:     284000 | #Constraints:      59435
1204.34/1208.21	c #Conflicts:     285000 | #Constraints:      60435
1204.34/1208.21	c #Conflicts:     286000 | #Constraints:      61435
1204.34/1208.21	c #Conflicts:     287000 | #Constraints:      62435
1204.34/1208.21	c #Conflicts:     288000 | #Constraints:      63435
1204.34/1208.21	c #Conflicts:     289000 | #Constraints:      64435
1204.34/1208.21	c #Conflicts:     290000 | #Constraints:      65435
1204.34/1208.21	c #Conflicts:     291000 | #Constraints:      66435
1204.34/1208.21	c #Conflicts:     292000 | #Constraints:      67435
1204.34/1208.21	c #Conflicts:     293000 | #Constraints:      68435
1204.34/1208.21	c #Conflicts:     294000 | #Constraints:      69435
1204.34/1208.21	c #Conflicts:     295000 | #Constraints:      70435
1204.34/1208.21	c #Conflicts:     296000 | #Constraints:      71435
1204.34/1208.21	c #Conflicts:     297000 | #Constraints:      72435
1204.34/1208.21	c INPROCESSING
1204.34/1208.21	c GARBAGE COLLECT
1204.34/1208.21	c #Conflicts:     298000 | #Constraints:      59338
1204.34/1208.21	c #Conflicts:     299000 | #Constraints:      60338
1204.34/1208.21	c #Conflicts:     300000 | #Constraints:      61338
1204.34/1208.21	c #Conflicts:     301000 | #Constraints:      62338
1204.34/1208.21	c #Conflicts:     302000 | #Constraints:      63338
1204.34/1208.21	c #Conflicts:     303000 | #Constraints:      64338
1204.34/1208.21	c #Conflicts:     304000 | #Constraints:      65338
1204.34/1208.21	c #Conflicts:     305000 | #Constraints:      66338
1643.57/1648.76	c #Conflicts:     306000 | #Constraints:      67338
1643.57/1648.76	c #Conflicts:     307000 | #Constraints:      68338
1643.57/1648.76	c #Conflicts:     308000 | #Constraints:      69338
1643.57/1648.76	c #Conflicts:     309000 | #Constraints:      70338
1643.57/1648.76	c #Conflicts:     310000 | #Constraints:      71338
1643.57/1648.76	c #Conflicts:     311000 | #Constraints:      72338
1643.57/1648.76	c #Conflicts:     312000 | #Constraints:      73338
1643.57/1648.76	c INPROCESSING
1643.57/1648.76	c #Conflicts:     313000 | #Constraints:      60061
1643.57/1648.76	c #Conflicts:     314000 | #Constraints:      61061
1643.57/1648.76	c #Conflicts:     315000 | #Constraints:      62061
1643.57/1648.76	c #Conflicts:     316000 | #Constraints:      63061
1643.57/1648.76	c #Conflicts:     317000 | #Constraints:      64061
1643.57/1648.76	c #Conflicts:     318000 | #Constraints:      65061
1643.57/1648.76	c #Conflicts:     319000 | #Constraints:      66061
1643.57/1648.76	c #Conflicts:     320000 | #Constraints:      67061
1643.57/1648.76	c #Conflicts:     321000 | #Constraints:      68061
1643.57/1648.76	c #Conflicts:     322000 | #Constraints:      69061
1643.57/1648.76	c #Conflicts:     323000 | #Constraints:      70061
1643.57/1648.76	c #Conflicts:     324000 | #Constraints:      71061
1643.57/1648.76	c #Conflicts:     325000 | #Constraints:      72061
1643.57/1648.76	c #Conflicts:     326000 | #Constraints:      73061
1643.57/1648.76	c INPROCESSING
1643.57/1648.76	c GARBAGE COLLECT
1643.57/1648.76	c #Conflicts:     327000 | #Constraints:      59544
1643.57/1648.76	c #Conflicts:     328000 | #Constraints:      60544
1643.57/1648.76	c #Conflicts:     329000 | #Constraints:      61544
1643.57/1648.76	c #Conflicts:     330000 | #Constraints:      62544
1643.57/1648.76	c #Conflicts:     331000 | #Constraints:      63544
1643.57/1648.76	c #Conflicts:     332000 | #Constraints:      64544
1643.57/1648.76	c #Conflicts:     333000 | #Constraints:      65544
1643.57/1648.76	c #Conflicts:     334000 | #Constraints:      66544
1643.57/1648.76	c #Conflicts:     335000 | #Constraints:      67544
1643.57/1648.76	c #Conflicts:     336000 | #Constraints:      68544
1643.57/1648.76	c #Conflicts:     337000 | #Constraints:      69544
1643.57/1648.76	c #Conflicts:     338000 | #Constraints:      70544
1643.57/1648.76	c #Conflicts:     339000 | #Constraints:      71544
1643.57/1648.76	c #Conflicts:     340000 | #Constraints:      72544
1643.57/1648.76	c #Conflicts:     341000 | #Constraints:      73544
1643.57/1648.76	c INPROCESSING
1643.57/1648.76	c #Conflicts:     342000 | #Constraints:      59827
1643.57/1648.76	c #Conflicts:     343000 | #Constraints:      60827
1643.57/1648.76	c #Conflicts:     344000 | #Constraints:      61827
1643.57/1648.76	c #Conflicts:     345000 | #Constraints:      62827
1643.57/1648.76	c #Conflicts:     346000 | #Constraints:      63827
1643.57/1648.76	c #Conflicts:     347000 | #Constraints:      64827
1643.57/1648.76	c #Conflicts:     348000 | #Constraints:      65827
1643.57/1648.76	c #Conflicts:     349000 | #Constraints:      66827
1643.57/1648.76	c #Conflicts:     350000 | #Constraints:      67827
1643.57/1648.76	c #Conflicts:     351000 | #Constraints:      68827
1643.57/1648.76	c #Conflicts:     352000 | #Constraints:      69827
1643.57/1648.76	c #Conflicts:     353000 | #Constraints:      70827
1643.57/1648.76	c #Conflicts:     354000 | #Constraints:      71827
1643.57/1648.76	c #Conflicts:     355000 | #Constraints:      72827
1643.57/1648.76	c #Conflicts:     356000 | #Constraints:      73827
1643.57/1648.76	c INPROCESSING
1643.57/1648.76	c GARBAGE COLLECT
1643.57/1648.76	c #Conflicts:     357000 | #Constraints:      59893
1643.57/1648.76	c #Conflicts:     358000 | #Constraints:      60893
1643.57/1648.76	c #Conflicts:     359000 | #Constraints:      61893
1643.57/1648.76	c #Conflicts:     360000 | #Constraints:      62893
1643.57/1648.76	c #Conflicts:     361000 | #Constraints:      63893
1643.57/1648.76	c #Conflicts:     362000 | #Constraints:      64893
1643.57/1648.76	c #Conflicts:     363000 | #Constraints:      65893
1643.57/1648.76	c #Conflicts:     364000 | #Constraints:      66893
1643.57/1648.76	c #Conflicts:     365000 | #Constraints:      67893
1643.57/1648.76	c #Conflicts:     366000 | #Constraints:      68893
1643.57/1648.76	c #Conflicts:     367000 | #Constraints:      69893
1643.57/1648.76	c #Conflicts:     368000 | #Constraints:      70893
1643.57/1648.76	c #Conflicts:     369000 | #Constraints:      71893
1643.57/1648.76	c #Conflicts:     370000 | #Constraints:      72893
1643.57/1648.76	c #Conflicts:     371000 | #Constraints:      73893
1643.57/1648.76	c #Conflicts:     372000 | #Constraints:      74893
1643.57/1648.76	c INPROCESSING
1643.57/1648.76	c #Conflicts:     373000 | #Constraints:      60798
1643.57/1648.76	c #Conflicts:     374000 | #Constraints:      61798
1643.57/1648.76	c #Conflicts:     375000 | #Constraints:      62798
1643.57/1648.76	c #Conflicts:     376000 | #Constraints:      63798
1643.57/1648.76	c #Conflicts:     377000 | #Constraints:      64798
1643.57/1648.76	c #Conflicts:     378000 | #Constraints:      65798
1643.57/1648.76	c #Conflicts:     379000 | #Constraints:      66798
1643.57/1648.76	c #Conflicts:     380000 | #Constraints:      67798
1643.57/1648.76	c #Conflicts:     381000 | #Constraints:      68798
1643.57/1648.76	c #Conflicts:     382000 | #Constraints:      69798
2073.78/2080.20	c #Conflicts:     383000 | #Constraints:      70798
2073.78/2080.20	c #Conflicts:     384000 | #Constraints:      71798
2073.78/2080.20	c #Conflicts:     385000 | #Constraints:      72798
2073.78/2080.20	c #Conflicts:     386000 | #Constraints:      73798
2073.78/2080.20	c #Conflicts:     387000 | #Constraints:      74798
2073.78/2080.20	c INPROCESSING
2073.78/2080.20	c GARBAGE COLLECT
2073.78/2080.20	c #Conflicts:     388000 | #Constraints:      60486
2073.78/2080.20	c #Conflicts:     389000 | #Constraints:      61486
2073.78/2080.20	c #Conflicts:     390000 | #Constraints:      62486
2073.78/2080.20	c #Conflicts:     391000 | #Constraints:      63486
2073.78/2080.20	c #Conflicts:     392000 | #Constraints:      64486
2073.78/2080.20	c #Conflicts:     393000 | #Constraints:      65486
2073.78/2080.20	c #Conflicts:     394000 | #Constraints:      66486
2073.78/2080.20	c #Conflicts:     395000 | #Constraints:      67486
2073.78/2080.20	c #Conflicts:     396000 | #Constraints:      68486
2073.78/2080.20	c #Conflicts:     397000 | #Constraints:      69486
2073.78/2080.20	c #Conflicts:     398000 | #Constraints:      70486
2073.78/2080.20	c #Conflicts:     399000 | #Constraints:      71486
2073.78/2080.20	c #Conflicts:     400000 | #Constraints:      72486
2073.78/2080.20	c #Conflicts:     401000 | #Constraints:      73486
2073.78/2080.20	c #Conflicts:     402000 | #Constraints:      74486
2073.78/2080.20	c #Conflicts:     403000 | #Constraints:      75486
2073.78/2080.20	c INPROCESSING
2073.78/2080.20	c #Conflicts:     404000 | #Constraints:      60989
2073.78/2080.20	c #Conflicts:     405000 | #Constraints:      61989
2073.78/2080.20	c #Conflicts:     406000 | #Constraints:      62989
2073.78/2080.20	c #Conflicts:     407000 | #Constraints:      63989
2073.78/2080.20	c #Conflicts:     408000 | #Constraints:      64989
2073.78/2080.20	c #Conflicts:     409000 | #Constraints:      65989
2073.78/2080.20	c #Conflicts:     410000 | #Constraints:      66989
2073.78/2080.20	c #Conflicts:     411000 | #Constraints:      67989
2073.78/2080.20	c #Conflicts:     412000 | #Constraints:      68989
2073.78/2080.20	c #Conflicts:     413000 | #Constraints:      69989
2073.78/2080.20	c #Conflicts:     414000 | #Constraints:      70989
2073.78/2080.20	c #Conflicts:     415000 | #Constraints:      71989
2073.78/2080.20	c #Conflicts:     416000 | #Constraints:      72989
2073.78/2080.20	c #Conflicts:     417000 | #Constraints:      73989
2073.78/2080.20	c #Conflicts:     418000 | #Constraints:      74989
2073.78/2080.20	c #Conflicts:     419000 | #Constraints:      75989
2073.78/2080.20	c INPROCESSING
2073.78/2080.20	c GARBAGE COLLECT
2073.78/2080.20	c #Conflicts:     420000 | #Constraints:      61285
2073.78/2080.20	c #Conflicts:     421000 | #Constraints:      62285
2073.78/2080.20	c #Conflicts:     422000 | #Constraints:      63285
2073.78/2080.20	c #Conflicts:     423000 | #Constraints:      64285
2073.78/2080.20	c #Conflicts:     424000 | #Constraints:      65285
2073.78/2080.20	c #Conflicts:     425000 | #Constraints:      66285
2073.78/2080.20	c #Conflicts:     426000 | #Constraints:      67285
2073.78/2080.20	c #Conflicts:     427000 | #Constraints:      68285
2073.78/2080.20	c #Conflicts:     428000 | #Constraints:      69285
2073.78/2080.20	c #Conflicts:     429000 | #Constraints:      70285
2073.78/2080.20	c #Conflicts:     430000 | #Constraints:      71285
2073.78/2080.20	c #Conflicts:     431000 | #Constraints:      72285
2073.78/2080.20	c #Conflicts:     432000 | #Constraints:      73285
2073.78/2080.20	c #Conflicts:     433000 | #Constraints:      74285
2073.78/2080.20	c #Conflicts:     434000 | #Constraints:      75285
2073.78/2080.20	c #Conflicts:     435000 | #Constraints:      76285
2073.78/2080.20	c INPROCESSING
2073.78/2080.20	c #Conflicts:     436000 | #Constraints:      61392
2073.78/2080.20	c #Conflicts:     437000 | #Constraints:      62392
2073.78/2080.20	c #Conflicts:     438000 | #Constraints:      63392
2073.78/2080.20	c #Conflicts:     439000 | #Constraints:      64392
2073.78/2080.20	c #Conflicts:     440000 | #Constraints:      65392
2073.78/2080.20	c #Conflicts:     441000 | #Constraints:      66392
2073.78/2080.20	c #Conflicts:     442000 | #Constraints:      67392
2073.78/2080.20	c #Conflicts:     443000 | #Constraints:      68392
2073.78/2080.20	c #Conflicts:     444000 | #Constraints:      69392
2073.78/2080.20	c #Conflicts:     445000 | #Constraints:      70392
2073.78/2080.20	c #Conflicts:     446000 | #Constraints:      71392
2073.78/2080.20	c #Conflicts:     447000 | #Constraints:      72392
2073.78/2080.20	c #Conflicts:     448000 | #Constraints:      73392
2073.78/2080.20	c #Conflicts:     449000 | #Constraints:      74392
2073.78/2080.20	c #Conflicts:     450000 | #Constraints:      75392
2073.78/2080.20	c #Conflicts:     451000 | #Constraints:      76392
2073.78/2080.20	c INPROCESSING
2073.78/2080.20	c GARBAGE COLLECT
2073.78/2080.20	c #Conflicts:     452000 | #Constraints:      61280
2073.78/2080.20	c #Conflicts:     453000 | #Constraints:      62280
2073.78/2080.20	c #Conflicts:     454000 | #Constraints:      63280
2073.78/2080.20	c #Conflicts:     455000 | #Constraints:      64280
2073.78/2080.20	c #Conflicts:     456000 | #Constraints:      65280
2073.78/2080.20	c #Conflicts:     457000 | #Constraints:      66280
2073.78/2080.20	c #Conflicts:     458000 | #Constraints:      67280
2493.50/2501.25	c #Conflicts:     459000 | #Constraints:      68280
2493.50/2501.25	c #Conflicts:     460000 | #Constraints:      69280
2493.50/2501.25	c #Conflicts:     461000 | #Constraints:      70280
2493.50/2501.25	c #Conflicts:     462000 | #Constraints:      71280
2493.50/2501.25	c #Conflicts:     463000 | #Constraints:      72280
2493.50/2501.25	c #Conflicts:     464000 | #Constraints:      73280
2493.50/2501.25	c #Conflicts:     465000 | #Constraints:      74280
2493.50/2501.25	c #Conflicts:     466000 | #Constraints:      75280
2493.50/2501.25	c #Conflicts:     467000 | #Constraints:      76280
2493.50/2501.25	c #Conflicts:     468000 | #Constraints:      77280
2493.50/2501.25	c INPROCESSING
2493.50/2501.25	c #Conflicts:     469000 | #Constraints:      61963
2493.50/2501.25	c #Conflicts:     470000 | #Constraints:      62963
2493.50/2501.25	c #Conflicts:     471000 | #Constraints:      63963
2493.50/2501.25	c #Conflicts:     472000 | #Constraints:      64963
2493.50/2501.25	c #Conflicts:     473000 | #Constraints:      65963
2493.50/2501.25	c #Conflicts:     474000 | #Constraints:      66963
2493.50/2501.25	c #Conflicts:     475000 | #Constraints:      67963
2493.50/2501.25	c #Conflicts:     476000 | #Constraints:      68963
2493.50/2501.25	c #Conflicts:     477000 | #Constraints:      69963
2493.50/2501.25	c #Conflicts:     478000 | #Constraints:      70963
2493.50/2501.25	c #Conflicts:     479000 | #Constraints:      71963
2493.50/2501.25	c #Conflicts:     480000 | #Constraints:      72963
2493.50/2501.25	c #Conflicts:     481000 | #Constraints:      73963
2493.50/2501.25	c #Conflicts:     482000 | #Constraints:      74963
2493.50/2501.25	c #Conflicts:     483000 | #Constraints:      75963
2493.50/2501.25	c #Conflicts:     484000 | #Constraints:      76963
2493.50/2501.25	c INPROCESSING
2493.50/2501.25	c GARBAGE COLLECT
2493.50/2501.25	c #Conflicts:     485000 | #Constraints:      61491
2493.50/2501.25	c #Conflicts:     486000 | #Constraints:      62491
2493.50/2501.25	c #Conflicts:     487000 | #Constraints:      63491
2493.50/2501.25	c #Conflicts:     488000 | #Constraints:      64491
2493.50/2501.25	c #Conflicts:     489000 | #Constraints:      65491
2493.50/2501.25	c #Conflicts:     490000 | #Constraints:      66491
2493.50/2501.25	c #Conflicts:     491000 | #Constraints:      67491
2493.50/2501.25	c #Conflicts:     492000 | #Constraints:      68491
2493.50/2501.25	c #Conflicts:     493000 | #Constraints:      69491
2493.50/2501.25	c #Conflicts:     494000 | #Constraints:      70491
2493.50/2501.25	c #Conflicts:     495000 | #Constraints:      71491
2493.50/2501.25	c #Conflicts:     496000 | #Constraints:      72491
2493.50/2501.25	c #Conflicts:     497000 | #Constraints:      73491
2493.50/2501.25	c #Conflicts:     498000 | #Constraints:      74491
2493.50/2501.25	c #Conflicts:     499000 | #Constraints:      75491
2493.50/2501.25	c #Conflicts:     500000 | #Constraints:      76491
2493.50/2501.25	c #Conflicts:     501000 | #Constraints:      77491
2493.50/2501.25	c INPROCESSING
2493.50/2501.25	c #Conflicts:     502000 | #Constraints:      61762
2493.50/2501.25	c #Conflicts:     503000 | #Constraints:      62762
2493.50/2501.25	c #Conflicts:     504000 | #Constraints:      63762
2493.50/2501.25	c #Conflicts:     505000 | #Constraints:      64762
2493.50/2501.25	c #Conflicts:     506000 | #Constraints:      65762
2493.50/2501.25	c #Conflicts:     507000 | #Constraints:      66762
2493.50/2501.25	c #Conflicts:     508000 | #Constraints:      67762
2493.50/2501.25	c #Conflicts:     509000 | #Constraints:      68762
2493.50/2501.25	c #Conflicts:     510000 | #Constraints:      69762
2493.50/2501.25	c #Conflicts:     511000 | #Constraints:      70762
2493.50/2501.25	c #Conflicts:     512000 | #Constraints:      71762
2493.50/2501.25	c #Conflicts:     513000 | #Constraints:      72762
2493.50/2501.25	c #Conflicts:     514000 | #Constraints:      73762
2493.50/2501.25	c #Conflicts:     515000 | #Constraints:      74762
2493.50/2501.25	c #Conflicts:     516000 | #Constraints:      75762
2493.50/2501.25	c #Conflicts:     517000 | #Constraints:      76762
2493.50/2501.25	c #Conflicts:     518000 | #Constraints:      77762
2493.50/2501.25	c INPROCESSING
2493.50/2501.25	c GARBAGE COLLECT
2493.50/2501.25	c #Conflicts:     519000 | #Constraints:      61857
2493.50/2501.25	c #Conflicts:     520000 | #Constraints:      62857
2493.50/2501.25	c #Conflicts:     521000 | #Constraints:      63857
2493.50/2501.25	c #Conflicts:     522000 | #Constraints:      64857
2493.50/2501.25	c #Conflicts:     523000 | #Constraints:      65857
2493.50/2501.25	c #Conflicts:     524000 | #Constraints:      66857
2493.50/2501.25	c #Conflicts:     525000 | #Constraints:      67857
2493.50/2501.25	c #Conflicts:     526000 | #Constraints:      68857
2493.50/2501.25	c #Conflicts:     527000 | #Constraints:      69857
2493.50/2501.25	c #Conflicts:     528000 | #Constraints:      70857
2493.50/2501.25	c #Conflicts:     529000 | #Constraints:      71857
2493.50/2501.25	c #Conflicts:     530000 | #Constraints:      72857
2493.50/2501.25	c #Conflicts:     531000 | #Constraints:      73857
2493.50/2501.25	c #Conflicts:     532000 | #Constraints:      74857
2493.50/2501.25	c #Conflicts:     533000 | #Constraints:      75857
2493.50/2501.25	c #Conflicts:     534000 | #Constraints:      76857
2493.50/2501.25	c #Conflicts:     535000 | #Constraints:      77857
2804.38/2813.19	c #Conflicts:     536000 | #Constraints:      78857
2804.38/2813.19	c INPROCESSING
2804.38/2813.19	c #Conflicts:     537000 | #Constraints:      62765
2804.38/2813.19	c #Conflicts:     538000 | #Constraints:      63765
2804.38/2813.19	c #Conflicts:     539000 | #Constraints:      64765
2804.38/2813.19	c #Conflicts:     540000 | #Constraints:      65765
2804.38/2813.19	c #Conflicts:     541000 | #Constraints:      66765
2804.38/2813.19	c #Conflicts:     542000 | #Constraints:      67765
2804.38/2813.19	c #Conflicts:     543000 | #Constraints:      68765
2804.38/2813.19	c #Conflicts:     544000 | #Constraints:      69765
2804.38/2813.19	c #Conflicts:     545000 | #Constraints:      70765
2804.38/2813.19	c #Conflicts:     546000 | #Constraints:      71765
2804.38/2813.19	c #Conflicts:     547000 | #Constraints:      72765
2804.38/2813.19	c #Conflicts:     548000 | #Constraints:      73765
2804.38/2813.19	c #Conflicts:     549000 | #Constraints:      74765
2804.38/2813.19	c #Conflicts:     550000 | #Constraints:      75765
2804.38/2813.19	c #Conflicts:     551000 | #Constraints:      76765
2804.38/2813.19	c #Conflicts:     552000 | #Constraints:      77765
2804.38/2813.19	c #Conflicts:     553000 | #Constraints:      78765
2804.38/2813.19	c INPROCESSING
2804.38/2813.19	c GARBAGE COLLECT
2804.38/2813.19	c #Conflicts:     554000 | #Constraints:      62455
2804.38/2813.19	c #Conflicts:     555000 | #Constraints:      63455
2804.38/2813.19	c #Conflicts:     556000 | #Constraints:      64455
2804.38/2813.19	c #Conflicts:     557000 | #Constraints:      65455
2804.38/2813.19	c #Conflicts:     558000 | #Constraints:      66455
2804.38/2813.19	c #Conflicts:     559000 | #Constraints:      67455
2804.38/2813.19	c #Conflicts:     560000 | #Constraints:      68455
2804.38/2813.19	c #Conflicts:     561000 | #Constraints:      69455
2804.38/2813.19	c #Conflicts:     562000 | #Constraints:      70455
2804.38/2813.19	c #Conflicts:     563000 | #Constraints:      71455
2804.38/2813.19	c #Conflicts:     564000 | #Constraints:      72455
2804.38/2813.19	c #Conflicts:     565000 | #Constraints:      73455
2804.38/2813.19	c #Conflicts:     566000 | #Constraints:      74455
2804.38/2813.19	c #Conflicts:     567000 | #Constraints:      75455
2804.38/2813.19	c #Conflicts:     568000 | #Constraints:      76455
2804.38/2813.19	c #Conflicts:     569000 | #Constraints:      77455
2804.38/2813.19	c #Conflicts:     570000 | #Constraints:      78455
2804.38/2813.19	c #Conflicts:     571000 | #Constraints:      79455
2804.38/2813.19	c INPROCESSING
2804.38/2813.19	c #Conflicts:     572000 | #Constraints:      62958
2804.38/2813.19	c #Conflicts:     573000 | #Constraints:      63958
2804.38/2813.19	c #Conflicts:     574000 | #Constraints:      64958
2804.38/2813.19	c #Conflicts:     575000 | #Constraints:      65958
2804.38/2813.19	c #Conflicts:     576000 | #Constraints:      66958
2804.38/2813.19	c #Conflicts:     577000 | #Constraints:      67958
2804.38/2813.19	c #Conflicts:     578000 | #Constraints:      68958
2804.38/2813.19	c #Conflicts:     579000 | #Constraints:      69958
2804.38/2813.19	c #Conflicts:     580000 | #Constraints:      70958
2804.38/2813.19	c #Conflicts:     581000 | #Constraints:      71958
2804.38/2813.19	c #Conflicts:     582000 | #Constraints:      72958
2804.38/2813.19	c #Conflicts:     583000 | #Constraints:      73958
2804.38/2813.19	c #Conflicts:     584000 | #Constraints:      74958
2804.38/2813.19	c #Conflicts:     585000 | #Constraints:      75958
2804.38/2813.19	c #Conflicts:     586000 | #Constraints:      76958
2804.38/2813.19	c #Conflicts:     587000 | #Constraints:      77958
2804.38/2813.19	c #Conflicts:     588000 | #Constraints:      78958
2804.38/2813.19	c #Conflicts:     589000 | #Constraints:      79958
2804.38/2813.19	c INPROCESSING
2804.38/2813.19	c GARBAGE COLLECT
2804.38/2813.19	c #Conflicts:     590000 | #Constraints:      63265
2804.38/2813.19	c #Conflicts:     591000 | #Constraints:      64265
2804.38/2813.19	c #Conflicts:     592000 | #Constraints:      65265
2804.38/2813.19	c #Conflicts:     593000 | #Constraints:      66265
2804.38/2813.19	c #Conflicts:     594000 | #Constraints:      67265
2804.38/2813.19	c #Conflicts:     595000 | #Constraints:      68265
2804.38/2813.19	c #Conflicts:     596000 | #Constraints:      69265
2804.38/2813.19	c #Conflicts:     597000 | #Constraints:      70265
2804.38/2813.19	c #Conflicts:     598000 | #Constraints:      71265
2804.38/2813.19	c #Conflicts:     599000 | #Constraints:      72265
2804.38/2813.19	c #Conflicts:     600000 | #Constraints:      73265
2804.38/2813.19	c #Conflicts:     601000 | #Constraints:      74265
2804.38/2813.19	c #Conflicts:     602000 | #Constraints:      75265
2804.38/2813.19	c #Conflicts:     603000 | #Constraints:      76265
2804.38/2813.19	c #Conflicts:     604000 | #Constraints:      77265
2804.38/2813.19	c #Conflicts:     605000 | #Constraints:      78265
2804.38/2813.19	c #Conflicts:     606000 | #Constraints:      79265
2804.38/2813.19	c #Conflicts:     607000 | #Constraints:      80265
2804.38/2813.19	c INPROCESSING
2804.38/2813.19	c #Conflicts:     608000 | #Constraints:      63363
2804.38/2813.19	c #Conflicts:     609000 | #Constraints:      64363
2804.38/2813.19	c #Conflicts:     610000 | #Constraints:      65363
2804.38/2813.19	c #Conflicts:     611000 | #Constraints:      66363
3113.34/3122.94	c #Conflicts:     612000 | #Constraints:      67363
3113.34/3122.94	c #Conflicts:     613000 | #Constraints:      68363
3113.34/3122.94	c #Conflicts:     614000 | #Constraints:      69363
3113.34/3122.94	c #Conflicts:     615000 | #Constraints:      70363
3113.34/3122.94	c #Conflicts:     616000 | #Constraints:      71363
3113.34/3122.94	c #Conflicts:     617000 | #Constraints:      72363
3113.34/3122.94	c #Conflicts:     618000 | #Constraints:      73363
3113.34/3122.94	c #Conflicts:     619000 | #Constraints:      74363
3113.34/3122.94	c #Conflicts:     620000 | #Constraints:      75363
3113.34/3122.94	c #Conflicts:     621000 | #Constraints:      76363
3113.34/3122.94	c #Conflicts:     622000 | #Constraints:      77363
3113.34/3122.94	c #Conflicts:     623000 | #Constraints:      78363
3113.34/3122.94	c #Conflicts:     624000 | #Constraints:      79363
3113.34/3122.94	c #Conflicts:     625000 | #Constraints:      80363
3113.34/3122.94	c INPROCESSING
3113.34/3122.94	c GARBAGE COLLECT
3113.34/3122.94	c #Conflicts:     626000 | #Constraints:      63253
3113.34/3122.94	c #Conflicts:     627000 | #Constraints:      64253
3113.34/3122.94	c #Conflicts:     628000 | #Constraints:      65253
3113.34/3122.94	c #Conflicts:     629000 | #Constraints:      66253
3113.34/3122.94	c #Conflicts:     630000 | #Constraints:      67253
3113.34/3122.94	c #Conflicts:     631000 | #Constraints:      68253
3113.34/3122.94	c #Conflicts:     632000 | #Constraints:      69253
3113.34/3122.94	c #Conflicts:     633000 | #Constraints:      70253
3113.34/3122.94	c #Conflicts:     634000 | #Constraints:      71253
3113.34/3122.94	c #Conflicts:     635000 | #Constraints:      72253
3113.34/3122.94	c #Conflicts:     636000 | #Constraints:      73253
3113.34/3122.94	c #Conflicts:     637000 | #Constraints:      74253
3113.34/3122.94	c #Conflicts:     638000 | #Constraints:      75253
3113.34/3122.94	c #Conflicts:     639000 | #Constraints:      76253
3113.34/3122.94	c #Conflicts:     640000 | #Constraints:      77253
3113.34/3122.94	c #Conflicts:     641000 | #Constraints:      78253
3113.34/3122.94	c #Conflicts:     642000 | #Constraints:      79253
3113.34/3122.94	c #Conflicts:     643000 | #Constraints:      80253
3113.34/3122.94	c #Conflicts:     644000 | #Constraints:      81253
3113.34/3122.94	c INPROCESSING
3113.34/3122.94	c #Conflicts:     645000 | #Constraints:      63965
3113.34/3122.94	c #Conflicts:     646000 | #Constraints:      64965
3113.34/3122.94	c #Conflicts:     647000 | #Constraints:      65965
3113.34/3122.94	c #Conflicts:     648000 | #Constraints:      66965
3113.34/3122.94	c #Conflicts:     649000 | #Constraints:      67965
3113.34/3122.94	c #Conflicts:     650000 | #Constraints:      68965
3113.34/3122.94	c #Conflicts:     651000 | #Constraints:      69965
3113.34/3122.94	c #Conflicts:     652000 | #Constraints:      70965
3113.34/3122.94	c #Conflicts:     653000 | #Constraints:      71965
3113.34/3122.94	c #Conflicts:     654000 | #Constraints:      72965
3113.34/3122.94	c #Conflicts:     655000 | #Constraints:      73965
3113.34/3122.94	c #Conflicts:     656000 | #Constraints:      74965
3113.34/3122.94	c #Conflicts:     657000 | #Constraints:      75965
3113.34/3122.94	c #Conflicts:     658000 | #Constraints:      76965
3113.34/3122.94	c #Conflicts:     659000 | #Constraints:      77965
3113.34/3122.94	c #Conflicts:     660000 | #Constraints:      78965
3113.34/3122.94	c #Conflicts:     661000 | #Constraints:      79965
3113.34/3122.94	c #Conflicts:     662000 | #Constraints:      80965
3113.34/3122.94	c INPROCESSING
3113.34/3122.94	c GARBAGE COLLECT
3113.34/3122.94	c #Conflicts:     663000 | #Constraints:      63462
3113.34/3122.94	c #Conflicts:     664000 | #Constraints:      64462
3113.34/3122.94	c #Conflicts:     665000 | #Constraints:      65462
3113.34/3122.94	c #Conflicts:     666000 | #Constraints:      66462
3113.34/3122.94	c #Conflicts:     667000 | #Constraints:      67462
3113.34/3122.94	c #Conflicts:     668000 | #Constraints:      68462
3113.34/3122.94	c #Conflicts:     669000 | #Constraints:      69462
3113.34/3122.94	c #Conflicts:     670000 | #Constraints:      70462
3113.34/3122.94	c #Conflicts:     671000 | #Constraints:      71462
3113.34/3122.94	c #Conflicts:     672000 | #Constraints:      72462
3113.34/3122.94	c #Conflicts:     673000 | #Constraints:      73462
3113.34/3122.94	c #Conflicts:     674000 | #Constraints:      74462
3113.34/3122.94	c #Conflicts:     675000 | #Constraints:      75462
3113.34/3122.94	c #Conflicts:     676000 | #Constraints:      76462
3113.34/3122.94	c #Conflicts:     677000 | #Constraints:      77462
3113.34/3122.94	c #Conflicts:     678000 | #Constraints:      78462
3113.34/3122.94	c #Conflicts:     679000 | #Constraints:      79462
3113.34/3122.94	c #Conflicts:     680000 | #Constraints:      80462
3113.34/3122.94	c #Conflicts:     681000 | #Constraints:      81462
3113.34/3122.94	c INPROCESSING
3113.34/3122.94	c #Conflicts:     682000 | #Constraints:      63758
3113.34/3122.94	c #Conflicts:     683000 | #Constraints:      64758
3113.34/3122.94	c #Conflicts:     684000 | #Constraints:      65758
3113.34/3122.94	c #Conflicts:     685000 | #Constraints:      66758
3113.34/3122.94	c #Conflicts:     686000 | #Constraints:      67758
3113.34/3122.94	c #Conflicts:     687000 | #Constraints:      68758
3113.34/3122.94	c #Conflicts:     688000 | #Constraints:      69758
3408.67/3419.09	c #Conflicts:     689000 | #Constraints:      70758
3408.67/3419.09	c #Conflicts:     690000 | #Constraints:      71758
3408.67/3419.09	c #Conflicts:     691000 | #Constraints:      72758
3408.67/3419.09	c #Conflicts:     692000 | #Constraints:      73758
3408.67/3419.09	c #Conflicts:     693000 | #Constraints:      74758
3408.67/3419.09	c #Conflicts:     694000 | #Constraints:      75758
3408.67/3419.09	c #Conflicts:     695000 | #Constraints:      76758
3408.67/3419.09	c #Conflicts:     696000 | #Constraints:      77758
3408.67/3419.09	c #Conflicts:     697000 | #Constraints:      78758
3408.67/3419.09	c #Conflicts:     698000 | #Constraints:      79758
3408.67/3419.09	c #Conflicts:     699000 | #Constraints:      80758
3408.67/3419.09	c #Conflicts:     700000 | #Constraints:      81758
3408.67/3419.09	c INPROCESSING
3408.67/3419.09	c GARBAGE COLLECT
3408.67/3419.09	c #Conflicts:     701000 | #Constraints:      63871
3408.67/3419.09	c #Conflicts:     702000 | #Constraints:      64871
3408.67/3419.09	c #Conflicts:     703000 | #Constraints:      65871
3408.67/3419.09	c #Conflicts:     704000 | #Constraints:      66871
3408.67/3419.09	c #Conflicts:     705000 | #Constraints:      67871
3408.67/3419.09	c #Conflicts:     706000 | #Constraints:      68871
3408.67/3419.09	c #Conflicts:     707000 | #Constraints:      69871
3408.67/3419.09	c #Conflicts:     708000 | #Constraints:      70871
3408.67/3419.09	c #Conflicts:     709000 | #Constraints:      71871
3408.67/3419.09	c #Conflicts:     710000 | #Constraints:      72871
3408.67/3419.09	c #Conflicts:     711000 | #Constraints:      73871
3408.67/3419.09	c #Conflicts:     712000 | #Constraints:      74871
3408.67/3419.09	c #Conflicts:     713000 | #Constraints:      75871
3408.67/3419.09	c #Conflicts:     714000 | #Constraints:      76871
3408.67/3419.09	c #Conflicts:     715000 | #Constraints:      77871
3408.67/3419.09	c #Conflicts:     716000 | #Constraints:      78871
3408.67/3419.09	c #Conflicts:     717000 | #Constraints:      79871
3408.67/3419.09	c #Conflicts:     718000 | #Constraints:      80871
3408.67/3419.09	c #Conflicts:     719000 | #Constraints:      81871
3408.67/3419.09	c #Conflicts:     720000 | #Constraints:      82871
3408.67/3419.09	c INPROCESSING
3408.67/3419.09	c #Conflicts:     721000 | #Constraints:      64787
3408.67/3419.09	c #Conflicts:     722000 | #Constraints:      65787
3408.67/3419.09	c #Conflicts:     723000 | #Constraints:      66787
3408.67/3419.09	c #Conflicts:     724000 | #Constraints:      67787
3408.67/3419.09	c #Conflicts:     725000 | #Constraints:      68787
3408.67/3419.09	c #Conflicts:     726000 | #Constraints:      69787
3408.67/3419.09	c #Conflicts:     727000 | #Constraints:      70787
3408.67/3419.09	c #Conflicts:     728000 | #Constraints:      71787
3408.67/3419.09	c #Conflicts:     729000 | #Constraints:      72787
3408.67/3419.09	c #Conflicts:     730000 | #Constraints:      73787
3408.67/3419.09	c #Conflicts:     731000 | #Constraints:      74787
3408.67/3419.09	c #Conflicts:     732000 | #Constraints:      75787
3408.67/3419.09	c #Conflicts:     733000 | #Constraints:      76787
3408.67/3419.09	c #Conflicts:     734000 | #Constraints:      77787
3408.67/3419.09	c #Conflicts:     735000 | #Constraints:      78787
3408.67/3419.09	c #Conflicts:     736000 | #Constraints:      79787
3408.67/3419.09	c #Conflicts:     737000 | #Constraints:      80787
3408.67/3419.09	c #Conflicts:     738000 | #Constraints:      81787
3408.67/3419.09	c #Conflicts:     739000 | #Constraints:      82787
3408.67/3419.09	c INPROCESSING
3408.67/3419.09	c GARBAGE COLLECT
3408.67/3419.09	c #Conflicts:     740000 | #Constraints:      64489
3408.67/3419.09	c #Conflicts:     741000 | #Constraints:      65489
3408.67/3419.09	c #Conflicts:     742000 | #Constraints:      66489
3408.67/3419.09	c #Conflicts:     743000 | #Constraints:      67489
3408.67/3419.09	c #Conflicts:     744000 | #Constraints:      68489
3408.67/3419.09	c #Conflicts:     745000 | #Constraints:      69489
3408.67/3419.09	c #Conflicts:     746000 | #Constraints:      70489
3408.67/3419.09	c #Conflicts:     747000 | #Constraints:      71489
3408.67/3419.09	c #Conflicts:     748000 | #Constraints:      72489
3408.67/3419.09	c #Conflicts:     749000 | #Constraints:      73489
3408.67/3419.09	c #Conflicts:     750000 | #Constraints:      74489
3408.67/3419.09	c #Conflicts:     751000 | #Constraints:      75489
3408.67/3419.09	c #Conflicts:     752000 | #Constraints:      76489
3408.67/3419.09	c #Conflicts:     753000 | #Constraints:      77489
3408.67/3419.09	c #Conflicts:     754000 | #Constraints:      78489
3408.67/3419.09	c #Conflicts:     755000 | #Constraints:      79489
3408.67/3419.09	c #Conflicts:     756000 | #Constraints:      80489
3408.67/3419.09	c #Conflicts:     757000 | #Constraints:      81489
3408.67/3419.09	c #Conflicts:     758000 | #Constraints:      82489
3408.67/3419.09	c #Conflicts:     759000 | #Constraints:      83489
3408.67/3419.09	c INPROCESSING
3408.67/3419.09	c #Conflicts:     760000 | #Constraints:      65005
3408.67/3419.09	c #Conflicts:     761000 | #Constraints:      66005
3408.67/3419.09	c #Conflicts:     762000 | #Constraints:      67005
3408.67/3419.09	c #Conflicts:     763000 | #Constraints:      68005
3408.67/3419.09	c #Conflicts:     764000 | #Constraints:      69005
3408.67/3419.09	c #Conflicts:     765000 | #Constraints:      70005
3600.05/3610.90	c #Conflicts:     766000 | #Constraints:      71005
3600.05/3610.90	c #Conflicts:     767000 | #Constraints:      72005
3600.05/3610.90	c #Conflicts:     768000 | #Constraints:      73005
3600.05/3610.90	c #Conflicts:     769000 | #Constraints:      74005
3600.05/3610.90	c #Conflicts:     770000 | #Constraints:      75005
3600.05/3610.90	c #Conflicts:     771000 | #Constraints:      76005
3600.05/3610.90	c #Conflicts:     772000 | #Constraints:      77005
3600.05/3610.90	c #Conflicts:     773000 | #Constraints:      78005
3600.05/3610.90	c #Conflicts:     774000 | #Constraints:      79005
3600.05/3610.90	c #Conflicts:     775000 | #Constraints:      80005
3600.05/3610.90	c #Conflicts:     776000 | #Constraints:      81005
3600.05/3610.90	c #Conflicts:     777000 | #Constraints:      82005
3600.05/3610.90	c #Conflicts:     778000 | #Constraints:      83005
3600.05/3610.90	c #Conflicts:     779000 | #Constraints:      84005
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c GARBAGE COLLECT
3600.05/3610.90	c #Conflicts:     780000 | #Constraints:      65324
3600.05/3610.90	c #Conflicts:     781000 | #Constraints:      66324
3600.05/3610.90	c #Conflicts:     782000 | #Constraints:      67324
3600.05/3610.90	c #Conflicts:     783000 | #Constraints:      68324
3600.05/3610.90	c #Conflicts:     784000 | #Constraints:      69324
3600.05/3610.90	c #Conflicts:     785000 | #Constraints:      70324
3600.05/3610.90	c #Conflicts:     786000 | #Constraints:      71324
3600.05/3610.90	c #Conflicts:     787000 | #Constraints:      72324
3600.05/3610.90	c #Conflicts:     788000 | #Constraints:      73324
3600.05/3610.90	c #Conflicts:     789000 | #Constraints:      74324
3600.05/3610.90	c #Conflicts:     790000 | #Constraints:      75324
3600.05/3610.90	c #Conflicts:     791000 | #Constraints:      76324
3600.05/3610.90	c #Conflicts:     792000 | #Constraints:      77324
3600.05/3610.90	c #Conflicts:     793000 | #Constraints:      78324
3600.05/3610.90	c #Conflicts:     794000 | #Constraints:      79324
3600.05/3610.90	c #Conflicts:     795000 | #Constraints:      80324
3600.05/3610.90	c #Conflicts:     796000 | #Constraints:      81324
3600.05/3610.90	c #Conflicts:     797000 | #Constraints:      82324
3600.05/3610.90	c #Conflicts:     798000 | #Constraints:      83324
3600.05/3610.90	c #Conflicts:     799000 | #Constraints:      84324
3600.05/3610.90	c INPROCESSING
3600.05/3610.90	c #Conflicts:     800000 | #Constraints:      65414
3600.05/3610.90	c #Conflicts:     801000 | #Constraints:      66414
3600.05/3610.90	c #Conflicts:     802000 | #Constraints:      67414
3600.05/3610.90	c #Conflicts:     803000 | #Constraints:      68414
3600.05/3610.90	c #Conflicts:     804000 | #Constraints:      69414
3600.05/3610.90	c #Conflicts:     805000 | #Constraints:      70414
3600.05/3610.90	c #Conflicts:     806000 | #Constraints:      71414
3600.05/3610.90	c #Conflicts:     807000 | #Constraints:      72414
3600.05/3610.90	c #Conflicts:     808000 | #Constraints:      73414
3600.05/3610.90	c #Conflicts:     809000 | #Constraints:      74414
3600.05/3610.90	c #Conflicts:     810000 | #Constraints:      75414
3600.05/3610.90	c #Conflicts:     811000 | #Constraints:      76414
3600.05/3610.90	c #Conflicts:     812000 | #Constraints:      77414
3600.05/3610.90	c #Conflicts:     813000 | #Constraints:      78414
3600.05/3610.90	c #Conflicts:     814000 | #Constraints:      79414
3600.05/3610.90	c #Conflicts:     815000 | #Constraints:      80414
3600.05/3610.90	c #Conflicts:     816000 | #Constraints:      81414
3600.05/3610.90	c #Conflicts:     817000 | #Constraints:      82414
3600.05/3610.90	c #Conflicts:     818000 | #Constraints:      83414
3600.05/3610.90	c cpu time 3590.44 s
3600.05/3610.90	c deterministic time 1 1.00e+00
3600.05/3610.90	c optimization time 3590 s
3600.05/3610.90	c total solve time 0 s
3600.05/3610.90	c core-guided solve time 0 s
3600.05/3610.90	c propagation time 0.038268 s
3600.05/3610.90	c conflict analysis time 0 s
3600.05/3610.90	c propagations 0
3600.05/3610.90	c resolve steps 0
3600.05/3610.90	c decisions 0
3600.05/3610.90	c conflicts 0
3600.05/3610.90	c restarts 0
3600.05/3610.90	c inprocessing phases 0
3600.05/3610.90	c garbage collections 0 ,( -nan )
3600.05/3610.90	c input clauses 39200 ,( 100.00 )
3600.05/3610.90	c input cardinalities 0 ,( 0.00 )
3600.05/3610.90	c input general constraints 0 ,( 0.00 )
3600.05/3610.90	c input average constraint length 2.00
3600.05/3610.90	c input average constraint degree 1.00
3600.05/3610.90	c learned clauses 0 ,( 0.00 )
3600.05/3610.90	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.90	c learned general constraints 0 ,( 0.00 )
3600.05/3610.90	c learned average constraint length 0.00
3600.05/3610.90	c learned average constraint degree 0.00
3600.05/3610.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.90	c watched   constraints 0 ,( -nan ) 
3600.05/3610.90	c counting  constraints 0 ,( -nan ) 
3600.05/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.90	c gcd simplifications 0
3600.05/3610.90	c detected cardinalities 0
3600.05/3610.90	c weakened non-implied lits 0
3600.05/3610.90	c weakened non-implying lits 0
3600.05/3610.90	c original variables 19600
3600.05/3610.90	c clausal propagations 0
3600.05/3610.90	c cardinality propagations 0
3600.05/3610.90	c watched propagations 0
3600.05/3610.90	c counting propagations 0
3600.05/3610.90	c watch lookups 0
3600.05/3610.90	c watch backjump lookups 0
3600.05/3610.90	c watch checks 0
3600.05/3610.90	c propagation checks 0
3600.05/3610.90	c constraint additions 0
3600.05/3610.90	c trail pops 0
3600.05/3610.90	c formula constraints 39200
3600.05/3610.90	c learned constraints 0
3600.05/3610.90	c bound constraints 0
3600.05/3610.90	c core-guided constraints 0
3600.05/3610.90	c encountered formula constraints 0
3600.05/3610.90	c encountered learned constraints 0
3600.05/3610.90	c encountered bound constraints 0
3600.05/3610.90	c encountered core-guided constraints 0
3600.05/3610.90	c LP total time 0 s
3600.05/3610.90	c LP solve time 0 s
3600.05/3610.90	c LP constraints added 0
3600.05/3610.90	c LP constraints removed 0
3600.05/3610.90	c LP pivots internal 0
3600.05/3610.90	c LP pivots root 0
3600.05/3610.90	c LP calls 0
3600.05/3610.90	c LP optimalities 0
3600.05/3610.90	c LP no pivot count 0
3600.05/3610.90	c LP infeasibilities 0
3600.05/3610.90	c LP valid Farkas constraints 0
3600.05/3610.90	c LP learned Farkas constraints 0
3600.05/3610.90	c LP basis resets 0
3600.05/3610.90	c LP cycling count 0
3600.05/3610.90	c LP singular count 0
3600.05/3610.90	c LP no primal count 0
3600.05/3610.90	c LP no farkas count 0
3600.05/3610.90	c LP other issue count 0
3600.05/3610.90	c LP Gomory cuts 0
3600.05/3610.90	c LP learned cuts 0
3600.05/3610.90	c LP deleted cuts 0
3600.05/3610.90	c LP encountered Gomory constraints 0
3600.05/3610.90	c LP encountered Farkas constraints 0
3600.05/3610.90	c LP encountered learned Farkas constraints 0
3600.05/3610.90	c CG auxiliary variables introduced 0
3600.05/3610.90	c CG solutions found 0
3600.05/3610.90	c CG cores constructed 0
3600.05/3610.90	c CG core cardinality constraints returned 0
3600.05/3610.90	c CG unit cores 0
3600.05/3610.90	c CG single cores 0
3600.05/3610.90	c CG blocks removed during cardinality reduction 0
3600.05/3610.90	c CG first core best 0
3600.05/3610.90	c CG decision core best 0
3600.05/3610.90	c CG core reduction tie 0
3600.05/3610.90	c CG core degree average 0.00
3600.05/3610.90	c CG core slack average 0.00
3600.05/3610.90	c CG core upper bound improvements 0
3600.05/3610.90	c STR number of successful calls 0
3600.05/3610.90	c STR number of unsuccessful calls 0
3600.05/3610.90	c STR number of inconclusive calls 0
3600.05/3610.90	c STR number of successful attempts 0
3600.05/3610.90	c STR number of unsuccessful attempts 0
3600.05/3610.90	c STR number of inconclusive attempts 0
3600.05/3610.90	c STR average degree increase per successful call inf
3600.05/3610.90	c STR average degree increase per successful attempt inf
3600.05/3610.90	c STR total number of conflicts for successful attempts 0
3600.05/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.90	c STR average number of conflicts per successful attempt inf
3600.05/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.90	c AVG.sumWPerc -nan 
3600.05/3610.90	c bigint constraints 0 
3600.05/3610.90	s UNKNOWN
3600.05/3610.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63055 MiB free)
  memory of node 1: 64507 MiB (63600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521447-1751583519/watcher-4521447-1751583519 -o /tmp/evaluation-result-4521447-1751583519/solver-4521447-1751583519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82753 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521447-1751583519.opb PROOFDIR/proof-4521447-1751583519 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=83214, runsolver pid=83211

[startup+0.100089 s]*
/proc/loadavg: 4.10 4.14 4.10 4/259 83215
/proc/meminfo: memFree=129696256/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=26872 memory=3760 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (runsolver) D 83211 83214 82743 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 1 0 74031585 27516928 940 18446744073709551615 4210688 4289285 140733025215440 0 0 0 0 0 24578 1 0 0 17 2 0 0 0 0 0 4319560 4323648 23764992 140733025224694 140733025225192 140733025225192 140733025230794 0
/proc/83214/statm: 6718 940 384 20 0 4199 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 26872 KiB
Current children cumulated memory: 3760 KiB

[startup+0.209409 s]*
/proc/loadavg: 4.10 4.14 4.10 5/260 83216
/proc/meminfo: memFree=129684948/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=59712 memory=12996 CPUtime=0.04 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 2349 0 0 0 2 2 0 0 20 0 1 0 74031600 61145088 3249 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 14928 3249 1984 1147 0 2355 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 63904 KiB
Current children cumulated memory: 16068 KiB

[startup+0.309388 s]*
/proc/loadavg: 4.10 4.14 4.10 5/260 83216
/proc/meminfo: memFree=129682176/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=60784 memory=16216 CPUtime=0.14 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 2663 0 0 0 10 4 0 0 20 0 1 0 74031600 62242816 4054 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 15196 4054 1984 1147 0 2623 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 64976 KiB
Current children cumulated memory: 19288 KiB

[startup+0.700412 s]
/proc/loadavg: 4.10 4.14 4.10 5/260 83216
/proc/meminfo: memFree=129657480/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=104892 memory=46032 CPUtime=0.52 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 7614 0 0 0 41 11 0 0 20 0 1 0 74031600 107409408 11508 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 26223 11508 2272 1147 0 13650 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 109084 KiB
Current children cumulated memory: 49104 KiB

[startup+1.50039 s]
/proc/loadavg: 4.10 4.14 4.10 5/260 83216
/proc/meminfo: memFree=129565868/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=154680 memory=97636 CPUtime=1.32 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 15873 0 0 0 110 22 0 0 20 0 1 0 74031600 158392320 24409 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 38670 24409 2368 1147 0 26097 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 158872 KiB
Current children cumulated memory: 100708 KiB

[startup+3.11329 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 83216
/proc/meminfo: memFree=129168064/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=332404 memory=275580 CPUtime=2.92 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 49656 0 0 0 264 28 0 0 20 0 1 0 74031600 340381696 68895 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 83101 68895 2368 1147 0 70528 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 336596 KiB
Current children cumulated memory: 278652 KiB

[startup+6.30035 s]
/proc/loadavg: 4.09 4.14 4.09 5/255 83243
/proc/meminfo: memFree=128827840/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=657512 memory=530816 CPUtime=6.1 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 91489 0 0 0 571 39 0 0 20 0 1 0 74031600 673292288 132704 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 164378 132704 2368 1147 0 151805 0
Current children cumulated CPU time: 6.1 s
Current children cumulated vsize: 661704 KiB
Current children cumulated memory: 533888 KiB

[startup+12.7004 s]
/proc/loadavg: 4.08 4.14 4.09 5/260 83265
/proc/meminfo: memFree=127647808/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=1661812 memory=1358980 CPUtime=12.47 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 256144 0 0 0 1177 70 0 0 20 0 1 0 74031600 1701695488 339745 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 415453 339745 2368 1147 0 402880 0
Current children cumulated CPU time: 12.47 s
Current children cumulated vsize: 1666004 KiB
Current children cumulated memory: 1362052 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.15 4.10 5/260 83265
/proc/meminfo: memFree=125178804/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=3083592 memory=2520712 CPUtime=25.23 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 461222 0 0 0 2411 112 0 0 20 0 1 0 74031600 3157598208 630178 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 770898 630178 2368 1147 0 758325 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 3087784 KiB
Current children cumulated memory: 2523784 KiB

[startup+51.1133 s]
/proc/loadavg: 4.09 4.14 4.09 5/260 83265
/proc/meminfo: memFree=123627512/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4175928 memory=3590352 CPUtime=50.77 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 671506 0 0 0 4917 160 0 0 20 0 1 0 74031600 4276150272 897588 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1043982 897588 2368 1147 0 1031409 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 4180120 KiB
Current children cumulated memory: 3593424 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/260 83267
/proc/meminfo: memFree=123251228/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4806432 memory=3687120 CPUtime=101.77 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 739179 0 0 0 9994 183 0 0 20 0 1 0 74031600 4921786368 921780 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1201608 921780 2368 1147 0 1189035 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 4810624 KiB
Current children cumulated memory: 3690192 KiB

[startup+162.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/260 83331
/proc/meminfo: memFree=122783196/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4807100 memory=3696208 CPUtime=161.57 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 741619 0 0 0 15956 201 0 0 20 0 1 0 74031600 4922470400 924052 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1201775 924052 2368 1147 0 1189202 0
Current children cumulated CPU time: 161.57 s
Current children cumulated vsize: 4811292 KiB
Current children cumulated memory: 3699280 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 83333
/proc/meminfo: memFree=122307980/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4807456 memory=3696208 CPUtime=221.37 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 741629 0 0 0 21917 220 0 0 20 0 1 0 74031600 4922834944 924052 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1201864 924052 2368 1147 0 1189291 0
Current children cumulated CPU time: 221.37 s
Current children cumulated vsize: 4811648 KiB
Current children cumulated memory: 3699280 KiB

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

/proc/83216/statm: 1205615 1052724 2368 1147 0 1193042 0
Current children cumulated CPU time: 3092.79 s
Current children cumulated vsize: 4826652 KiB
Current children cumulated memory: 4213968 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/258 83483
/proc/meminfo: memFree=104364428/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4822460 memory=4210896 CPUtime=3152.63 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 772197 0 0 0 314401 862 0 0 20 0 1 0 74031600 4938199040 1052724 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1205615 1052724 2368 1147 0 1193042 0
Current children cumulated CPU time: 3152.63 s
Current children cumulated vsize: 4826652 KiB
Current children cumulated memory: 4213968 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.11 5/258 83485
/proc/meminfo: memFree=104001992/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4822460 memory=4210896 CPUtime=3212.47 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 773367 0 0 0 320373 874 0 0 20 0 1 0 74031600 4938199040 1052724 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1205615 1052724 2368 1147 0 1193042 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 4826652 KiB
Current children cumulated memory: 4213968 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/258 83487
/proc/meminfo: memFree=103702332/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4822460 memory=4210896 CPUtime=3272.31 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 774127 0 0 0 326341 890 0 0 20 0 1 0 74031600 4938199040 1052724 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1205615 1052724 2368 1147 0 1193042 0
Current children cumulated CPU time: 3272.31 s
Current children cumulated vsize: 4826652 KiB
Current children cumulated memory: 4213968 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/259 83490
/proc/meminfo: memFree=103433076/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4822460 memory=4210896 CPUtime=3332.16 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 775284 0 0 0 332322 894 0 0 20 0 1 0 74031600 4938199040 1052724 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1205615 1052724 2368 1147 0 1193042 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 4826652 KiB
Current children cumulated memory: 4213968 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/259 83493
/proc/meminfo: memFree=103081440/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4822816 memory=4211024 CPUtime=3392 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 775896 0 0 0 338288 912 0 0 20 0 1 0 74031600 4938563584 1052756 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1205704 1052756 2368 1147 0 1193131 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 4827008 KiB
Current children cumulated memory: 4214096 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.10 5/259 83495
/proc/meminfo: memFree=102720536/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4955940 memory=4279632 CPUtime=3451.84 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 793258 0 0 0 344254 930 0 0 20 0 1 0 74031600 5074882560 1069908 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1238985 1069908 2368 1147 0 1226412 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 4960132 KiB
Current children cumulated memory: 4282704 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 83504
/proc/meminfo: memFree=102436464/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4969920 memory=4287824 CPUtime=3511.68 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 796500 0 0 0 350223 945 0 0 20 0 1 0 74031600 5089198080 1071956 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1242480 1071956 2368 1147 0 1229907 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 4974112 KiB
Current children cumulated memory: 4290896 KiB

[startup+3582.3 s]
/proc/loadavg: 4.53 4.20 4.13 5/260 83506
/proc/meminfo: memFree=102158608/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4969920 memory=4287824 CPUtime=3571.52 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 797230 0 0 0 356197 955 0 0 20 0 1 0 74031600 5089198080 1071956 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1242480 1071956 2368 1147 0 1229907 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 4974112 KiB
Current children cumulated memory: 4290896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.78 4.30 4.16 5/260 83506
/proc/meminfo: memFree=102020540/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4970276 memory=4287824 CPUtime=3600.05 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 797256 0 0 0 359044 961 0 0 20 0 1 0 74031600 5089562624 1071956 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1242569 1071956 2368 1147 0 1229996 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4974468 KiB
Current children cumulated memory: 4290896 KiB

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

[startup+3610.91 s]
# the end of solver process 83214 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000555 s, system=0.003337 s

[startup+3610.95 s]
# the end of solver process 83216 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3590.46 s, system=9.63225 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.9 s]
/proc/loadavg: 4.78 4.30 4.16 5/260 83506
/proc/meminfo: memFree=102020540/131382112 swapFree=33010416/33010684
[pid=83214] ppid=83211 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83214/stat : 83214 (run-opt-log.sh) S 83211 83214 82743 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 74031585 4292608 768 18446744073709551615 94578977783808 94578978678341 140726580062032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94578978917392 94578978965136 94579012136960 140726580070689 140726580070884 140726580070884 140726580076486 0
/proc/83214/statm: 1048 768 704 219 0 110 0
[pid=83216] ppid=83214 vsize=4970276 memory=4287824 CPUtime=3600.05 cores=0,2
/proc/83216/stat : 83216 (roundingsat) R 83214 83214 82743 0 -1 4194304 797256 0 0 0 359044 961 0 0 20 0 1 0 74031600 5089562624 1071956 18446744073709551615 4227072 8923433 140728787462384 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20652032 140728787466578 140728787466792 140728787466792 140728787472362 0
/proc/83216/statm: 1242569 1071956 2368 1147 0 1229996 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 4974468 KiB
Current children cumulated memory: 4290896 KiB

Child status: 2

Real time (s): 3610.95
CPU time (s): 3600.09
CPU user time (s): 3590.46
CPU system time (s): 9.63225
CPU usage (%): 99.6993
Max. virtual memory (cumulated for all children) (KiB): 4974468
Max. memory (cumulated for all children) (KiB): 4290896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.46
system time used= 9.63225
maximum resident set size= 4288080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 797498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3934352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1020
involuntary context switches= 8363


# summary of solver processes directly reported to runsolver:
#   pid: 83214,83216
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3590.46
#   total CPU system time (s): 9.63225

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0886 second user time and 37.9366 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-04 00:58:39
IDJOB=4521447
IDBENCH=178308
IDSOLVER=3351
FILE ID=nodeC012/4521447-1751583519
RUNJOBID= nodeC012-1751579896-82753
SLURM_JOB_ID= 9598818
Free space on /tmp= 431840 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521447-1751583519/watcher-4521447-1751583519 -o /tmp/evaluation-result-4521447-1751583519/solver-4521447-1751583519 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751579896-82753 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4521447-1751583519.opb PROOFDIR/proof-4521447-1751583519

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

MD5SUM BENCH= b902f1cace2d4bc5a725525e4f0d9769
RANDOM SEED=1269229531

nodeC012 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.779
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.39
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		: 2194.784
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.39
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		: 1895.330
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.39
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.220
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.156
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.100
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.192
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.39
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		: 3700.000
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        129701224 kB
MemAvailable:   129923844 kB
Buffers:            2136 kB
Cached:          1022800 kB
SwapCached:           16 kB
Active:           746744 kB
Inactive:         404588 kB
Active(anon):     137376 kB
Inactive(anon):     6996 kB
Active(file):     609368 kB
Inactive(file):   397592 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34720 kB
Writeback:             0 kB
AnonPages:        129900 kB
Mapped:           116872 kB
Shmem:             17944 kB
KReclaimable:     110188 kB
Slab:             196424 kB
SReclaimable:     110188 kB
SUnreclaim:        86236 kB
KernelStack:        4176 kB
PageTables:         3404 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     484840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149560 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431832 MiB
End job on nodeC012 at 2025-07-04 01:58:50