Trace number 4455861

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 NameAnswerCPU timeWall clock time
RoundingSat nolog (2)? (TO) 3602.04 3610.5

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-ns903616.0.u.opb
MD5SUM851dd7bb62635ec66e2461b484912a91
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21582
Total number of constraints17547
Number of constraints which are clauses6313
Number of constraints which are cardinality constraints (but not clauses)344
Number of constraints which are nor clauses,nor cardinality constraints10890
Minimum length of a constraint1
Maximum length of a constraint221
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 221
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.21/0.25	c #variables 21582 #constraints 19721
80.50/80.78	c #Conflicts:       1000 | #Constraints:      20720
80.50/80.78	c #Conflicts:       2000 | #Constraints:      21720
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:       3000 | #Constraints:      18847
80.50/80.78	c #Conflicts:       4000 | #Constraints:      19847
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:       5000 | #Constraints:      17833
80.50/80.78	c #Conflicts:       6000 | #Constraints:      18833
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:       7000 | #Constraints:      17858
80.50/80.78	c #Conflicts:       8000 | #Constraints:      18858
80.50/80.78	c #Conflicts:       9000 | #Constraints:      19858
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:      10000 | #Constraints:      18591
80.50/80.78	c #Conflicts:      11000 | #Constraints:      19591
80.50/80.78	c #Conflicts:      12000 | #Constraints:      20591
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:      13000 | #Constraints:      19075
80.50/80.78	c #Conflicts:      14000 | #Constraints:      20075
80.50/80.78	c #Conflicts:      15000 | #Constraints:      21075
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:      16000 | #Constraints:      19314
80.50/80.78	c #Conflicts:      17000 | #Constraints:      20314
80.50/80.78	c #Conflicts:      18000 | #Constraints:      21314
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:      19000 | #Constraints:      19343
80.50/80.78	c #Conflicts:      20000 | #Constraints:      20343
80.50/80.78	c #Conflicts:      21000 | #Constraints:      21343
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c #Conflicts:      22000 | #Constraints:      19145
80.50/80.78	c #Conflicts:      23000 | #Constraints:      20145
80.50/80.78	c #Conflicts:      24000 | #Constraints:      21145
80.50/80.78	c #Conflicts:      25000 | #Constraints:      22145
80.50/80.78	c INPROCESSING
80.50/80.78	c GARBAGE COLLECT
80.50/80.78	c rational objective 2142.8
122.18/122.51	c #Conflicts:      26000 | #Constraints:      19796
122.18/122.51	c #Conflicts:      27000 | #Constraints:      20796
122.18/122.51	c #Conflicts:      28000 | #Constraints:      21796
122.18/122.51	c #Conflicts:      29000 | #Constraints:      22796
122.18/122.51	c INPROCESSING
122.18/122.51	c GARBAGE COLLECT
122.18/122.51	c #Conflicts:      30000 | #Constraints:      20206
122.18/122.51	c #Conflicts:      31000 | #Constraints:      21206
122.18/122.51	c #Conflicts:      32000 | #Constraints:      22206
122.18/122.51	c #Conflicts:      33000 | #Constraints:      23206
122.18/122.51	c INPROCESSING
122.18/122.51	c GARBAGE COLLECT
122.18/122.51	c #Conflicts:      34000 | #Constraints:      20430
122.18/122.51	c #Conflicts:      35000 | #Constraints:      21430
122.18/122.51	c #Conflicts:      36000 | #Constraints:      22430
122.18/122.51	c #Conflicts:      37000 | #Constraints:      23430
122.18/122.51	c INPROCESSING
122.18/122.51	c GARBAGE COLLECT
122.18/122.51	c #Conflicts:      38000 | #Constraints:      20468
122.18/122.51	c #Conflicts:      39000 | #Constraints:      21468
122.18/122.51	c #Conflicts:      40000 | #Constraints:      22468
122.18/122.51	c #Conflicts:      41000 | #Constraints:      23468
122.18/122.51	c INPROCESSING
122.18/122.51	c GARBAGE COLLECT
122.18/122.51	c rational objective 2150.77
378.95/380.01	c #Conflicts:      42000 | #Constraints:      20279
378.95/380.01	c #Conflicts:      43000 | #Constraints:      21279
378.95/380.01	c #Conflicts:      44000 | #Constraints:      22279
378.95/380.01	c #Conflicts:      45000 | #Constraints:      23279
378.95/380.01	c #Conflicts:      46000 | #Constraints:      24279
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      47000 | #Constraints:      20843
378.95/380.01	c #Conflicts:      48000 | #Constraints:      21843
378.95/380.01	c #Conflicts:      49000 | #Constraints:      22843
378.95/380.01	c #Conflicts:      50000 | #Constraints:      23843
378.95/380.01	c #Conflicts:      51000 | #Constraints:      24843
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      52000 | #Constraints:      21266
378.95/380.01	c #Conflicts:      53000 | #Constraints:      22266
378.95/380.01	c #Conflicts:      54000 | #Constraints:      23266
378.95/380.01	c #Conflicts:      55000 | #Constraints:      24266
378.95/380.01	c #Conflicts:      56000 | #Constraints:      25266
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      57000 | #Constraints:      21522
378.95/380.01	c #Conflicts:      58000 | #Constraints:      22522
378.95/380.01	c #Conflicts:      59000 | #Constraints:      23522
378.95/380.01	c #Conflicts:      60000 | #Constraints:      24522
378.95/380.01	c #Conflicts:      61000 | #Constraints:      25522
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      62000 | #Constraints:      21524
378.95/380.01	c #Conflicts:      63000 | #Constraints:      22524
378.95/380.01	c #Conflicts:      64000 | #Constraints:      23525
378.95/380.01	c #Conflicts:      65000 | #Constraints:      24525
378.95/380.01	c #Conflicts:      66000 | #Constraints:      25525
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      67000 | #Constraints:      21323
378.95/380.01	c #Conflicts:      68000 | #Constraints:      22323
378.95/380.01	c #Conflicts:      69000 | #Constraints:      23323
378.95/380.01	c #Conflicts:      70000 | #Constraints:      24323
378.95/380.01	c #Conflicts:      71000 | #Constraints:      25323
378.95/380.01	c #Conflicts:      72000 | #Constraints:      26323
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      73000 | #Constraints:      21921
378.95/380.01	c #Conflicts:      74000 | #Constraints:      22921
378.95/380.01	c #Conflicts:      75000 | #Constraints:      23921
378.95/380.01	c #Conflicts:      76000 | #Constraints:      24921
378.95/380.01	c #Conflicts:      77000 | #Constraints:      25921
378.95/380.01	c #Conflicts:      78000 | #Constraints:      26921
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c #Conflicts:      79000 | #Constraints:      22338
378.95/380.01	c #Conflicts:      80000 | #Constraints:      23338
378.95/380.01	c #Conflicts:      81000 | #Constraints:      24338
378.95/380.01	c #Conflicts:      82000 | #Constraints:      25338
378.95/380.01	c #Conflicts:      83000 | #Constraints:      26338
378.95/380.01	c #Conflicts:      84000 | #Constraints:      27338
378.95/380.01	c INPROCESSING
378.95/380.01	c GARBAGE COLLECT
378.95/380.01	c rational objective 2156.76
506.35/507.66	c #Conflicts:      85000 | #Constraints:      22554
506.35/507.66	c #Conflicts:      86000 | #Constraints:      23554
506.35/507.66	c #Conflicts:      87000 | #Constraints:      24554
506.35/507.66	c #Conflicts:      88000 | #Constraints:      25554
506.35/507.66	c #Conflicts:      89000 | #Constraints:      26554
506.35/507.66	c #Conflicts:      90000 | #Constraints:      27554
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:      91000 | #Constraints:      22549
506.35/507.66	c #Conflicts:      92000 | #Constraints:      23549
506.35/507.66	c #Conflicts:      93000 | #Constraints:      24549
506.35/507.66	c #Conflicts:      94000 | #Constraints:      25549
506.35/507.66	c #Conflicts:      95000 | #Constraints:      26549
506.35/507.66	c #Conflicts:      96000 | #Constraints:      27549
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:      97000 | #Constraints:      22406
506.35/507.66	c #Conflicts:      98000 | #Constraints:      23406
506.35/507.66	c #Conflicts:      99000 | #Constraints:      24406
506.35/507.66	c #Conflicts:     100000 | #Constraints:      25406
506.35/507.66	c #Conflicts:     101000 | #Constraints:      26406
506.35/507.66	c #Conflicts:     102000 | #Constraints:      27406
506.35/507.66	c #Conflicts:     103000 | #Constraints:      28406
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     104000 | #Constraints:      23036
506.35/507.66	c #Conflicts:     105000 | #Constraints:      24036
506.35/507.66	c #Conflicts:     106000 | #Constraints:      25036
506.35/507.66	c #Conflicts:     107000 | #Constraints:      26036
506.35/507.66	c #Conflicts:     108000 | #Constraints:      27036
506.35/507.66	c #Conflicts:     109000 | #Constraints:      28036
506.35/507.66	c #Conflicts:     110000 | #Constraints:      29036
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     111000 | #Constraints:      23501
506.35/507.66	c #Conflicts:     112000 | #Constraints:      24501
506.35/507.66	c #Conflicts:     113000 | #Constraints:      25501
506.35/507.66	c #Conflicts:     114000 | #Constraints:      26501
506.35/507.66	c #Conflicts:     115000 | #Constraints:      27501
506.35/507.66	c #Conflicts:     116000 | #Constraints:      28501
506.35/507.66	c #Conflicts:     117000 | #Constraints:      29501
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     118000 | #Constraints:      23657
506.35/507.66	c #Conflicts:     119000 | #Constraints:      24657
506.35/507.66	c #Conflicts:     120000 | #Constraints:      25657
506.35/507.66	c #Conflicts:     121000 | #Constraints:      26657
506.35/507.66	c #Conflicts:     122000 | #Constraints:      27657
506.35/507.66	c #Conflicts:     123000 | #Constraints:      28657
506.35/507.66	c #Conflicts:     124000 | #Constraints:      29657
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     125000 | #Constraints:      23682
506.35/507.66	c #Conflicts:     126000 | #Constraints:      24682
506.35/507.66	c #Conflicts:     127000 | #Constraints:      25682
506.35/507.66	c #Conflicts:     128000 | #Constraints:      26682
506.35/507.66	c #Conflicts:     129000 | #Constraints:      27682
506.35/507.66	c #Conflicts:     130000 | #Constraints:      28682
506.35/507.66	c #Conflicts:     131000 | #Constraints:      29682
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     132000 | #Constraints:      23523
506.35/507.66	c #Conflicts:     133000 | #Constraints:      24523
506.35/507.66	c #Conflicts:     134000 | #Constraints:      25523
506.35/507.66	c #Conflicts:     135000 | #Constraints:      26524
506.35/507.66	c #Conflicts:     136000 | #Constraints:      27524
506.35/507.66	c #Conflicts:     137000 | #Constraints:      28525
506.35/507.66	c #Conflicts:     138000 | #Constraints:      29525
506.35/507.66	c #Conflicts:     139000 | #Constraints:      30525
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     140000 | #Constraints:      24081
506.35/507.66	c #Conflicts:     141000 | #Constraints:      25081
506.35/507.66	c #Conflicts:     142000 | #Constraints:      26081
506.35/507.66	c #Conflicts:     143000 | #Constraints:      27081
506.35/507.66	c #Conflicts:     144000 | #Constraints:      28082
506.35/507.66	c #Conflicts:     145000 | #Constraints:      29082
506.35/507.66	c #Conflicts:     146000 | #Constraints:      30082
506.35/507.66	c #Conflicts:     147000 | #Constraints:      31082
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     148000 | #Constraints:      24517
506.35/507.66	c #Conflicts:     149000 | #Constraints:      25517
506.35/507.66	c #Conflicts:     150000 | #Constraints:      26517
506.35/507.66	c #Conflicts:     151000 | #Constraints:      27517
506.35/507.66	c #Conflicts:     152000 | #Constraints:      28517
506.35/507.66	c #Conflicts:     153000 | #Constraints:      29517
506.35/507.66	c #Conflicts:     154000 | #Constraints:      30517
506.35/507.66	c #Conflicts:     155000 | #Constraints:      31517
506.35/507.66	c INPROCESSING
506.35/507.66	c GARBAGE COLLECT
506.35/507.66	c #Conflicts:     156000 | #Constraints:      24719
506.35/507.66	c #Conflicts:     157000 | #Constraints:      25719
1066.54/1069.22	c #Conflicts:     158000 | #Constraints:      26719
1066.54/1069.22	c #Conflicts:     159000 | #Constraints:      27719
1066.54/1069.22	c #Conflicts:     160000 | #Constraints:      28720
1066.54/1069.22	c #Conflicts:     161000 | #Constraints:      29720
1066.54/1069.22	c #Conflicts:     162000 | #Constraints:      30720
1066.54/1069.22	c #Conflicts:     163000 | #Constraints:      31720
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     164000 | #Constraints:      24708
1066.54/1069.22	c #Conflicts:     165000 | #Constraints:      25708
1066.54/1069.22	c #Conflicts:     166000 | #Constraints:      26708
1066.54/1069.22	c #Conflicts:     167000 | #Constraints:      27708
1066.54/1069.22	c #Conflicts:     168000 | #Constraints:      28708
1066.54/1069.22	c #Conflicts:     169000 | #Constraints:      29708
1066.54/1069.22	c #Conflicts:     170000 | #Constraints:      30708
1066.54/1069.22	c #Conflicts:     171000 | #Constraints:      31708
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     172000 | #Constraints:      24497
1066.54/1069.22	c #Conflicts:     173000 | #Constraints:      25497
1066.54/1069.22	c #Conflicts:     174000 | #Constraints:      26497
1066.54/1069.22	c #Conflicts:     175000 | #Constraints:      27497
1066.54/1069.22	c #Conflicts:     176000 | #Constraints:      28497
1066.54/1069.22	c #Conflicts:     177000 | #Constraints:      29497
1066.54/1069.22	c #Conflicts:     178000 | #Constraints:      30497
1066.54/1069.22	c #Conflicts:     179000 | #Constraints:      31497
1066.54/1069.22	c #Conflicts:     180000 | #Constraints:      32497
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     181000 | #Constraints:      25107
1066.54/1069.22	c #Conflicts:     182000 | #Constraints:      26107
1066.54/1069.22	c #Conflicts:     183000 | #Constraints:      27107
1066.54/1069.22	c #Conflicts:     184000 | #Constraints:      28107
1066.54/1069.22	c #Conflicts:     185000 | #Constraints:      29107
1066.54/1069.22	c #Conflicts:     186000 | #Constraints:      30107
1066.54/1069.22	c #Conflicts:     187000 | #Constraints:      31107
1066.54/1069.22	c #Conflicts:     188000 | #Constraints:      32107
1066.54/1069.22	c #Conflicts:     189000 | #Constraints:      33107
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     190000 | #Constraints:      25549
1066.54/1069.22	c #Conflicts:     191000 | #Constraints:      26549
1066.54/1069.22	c #Conflicts:     192000 | #Constraints:      27549
1066.54/1069.22	c #Conflicts:     193000 | #Constraints:      28549
1066.54/1069.22	c #Conflicts:     194000 | #Constraints:      29549
1066.54/1069.22	c #Conflicts:     195000 | #Constraints:      30549
1066.54/1069.22	c #Conflicts:     196000 | #Constraints:      31549
1066.54/1069.22	c #Conflicts:     197000 | #Constraints:      32549
1066.54/1069.22	c #Conflicts:     198000 | #Constraints:      33549
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     199000 | #Constraints:      25745
1066.54/1069.22	c #Conflicts:     200000 | #Constraints:      26745
1066.54/1069.22	c #Conflicts:     201000 | #Constraints:      27745
1066.54/1069.22	c #Conflicts:     202000 | #Constraints:      28745
1066.54/1069.22	c #Conflicts:     203000 | #Constraints:      29745
1066.54/1069.22	c #Conflicts:     204000 | #Constraints:      30745
1066.54/1069.22	c #Conflicts:     205000 | #Constraints:      31745
1066.54/1069.22	c #Conflicts:     206000 | #Constraints:      32745
1066.54/1069.22	c #Conflicts:     207000 | #Constraints:      33745
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     208000 | #Constraints:      25760
1066.54/1069.22	c #Conflicts:     209000 | #Constraints:      26760
1066.54/1069.22	c #Conflicts:     210000 | #Constraints:      27760
1066.54/1069.22	c #Conflicts:     211000 | #Constraints:      28760
1066.54/1069.22	c #Conflicts:     212000 | #Constraints:      29760
1066.54/1069.22	c #Conflicts:     213000 | #Constraints:      30760
1066.54/1069.22	c #Conflicts:     214000 | #Constraints:      31760
1066.54/1069.22	c #Conflicts:     215000 | #Constraints:      32760
1066.54/1069.22	c #Conflicts:     216000 | #Constraints:      33760
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     217000 | #Constraints:      25614
1066.54/1069.22	c #Conflicts:     218000 | #Constraints:      26614
1066.54/1069.22	c #Conflicts:     219000 | #Constraints:      27614
1066.54/1069.22	c #Conflicts:     220000 | #Constraints:      28614
1066.54/1069.22	c #Conflicts:     221000 | #Constraints:      29614
1066.54/1069.22	c #Conflicts:     222000 | #Constraints:      30614
1066.54/1069.22	c #Conflicts:     223000 | #Constraints:      31614
1066.54/1069.22	c #Conflicts:     224000 | #Constraints:      32614
1066.54/1069.22	c #Conflicts:     225000 | #Constraints:      33614
1066.54/1069.22	c #Conflicts:     226000 | #Constraints:      34614
1066.54/1069.22	c INPROCESSING
1066.54/1069.22	c GARBAGE COLLECT
1066.54/1069.22	c #Conflicts:     227000 | #Constraints:      26253
1066.54/1069.22	c #Conflicts:     228000 | #Constraints:      27253
1066.54/1069.22	c #Conflicts:     229000 | #Constraints:      28253
1066.54/1069.22	c #Conflicts:     230000 | #Constraints:      29253
1066.54/1069.22	c #Conflicts:     231000 | #Constraints:      30253
1254.79/1257.90	c #Conflicts:     232000 | #Constraints:      31253
1254.79/1257.90	c #Conflicts:     233000 | #Constraints:      32253
1254.79/1257.90	c #Conflicts:     234000 | #Constraints:      33253
1254.79/1257.90	c #Conflicts:     235000 | #Constraints:      34253
1254.79/1257.90	c #Conflicts:     236000 | #Constraints:      35253
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     237000 | #Constraints:      26598
1254.79/1257.90	c #Conflicts:     238000 | #Constraints:      27598
1254.79/1257.90	c #Conflicts:     239000 | #Constraints:      28598
1254.79/1257.90	c #Conflicts:     240000 | #Constraints:      29598
1254.79/1257.90	c #Conflicts:     241000 | #Constraints:      30598
1254.79/1257.90	c #Conflicts:     242000 | #Constraints:      31598
1254.79/1257.90	c #Conflicts:     243000 | #Constraints:      32598
1254.79/1257.90	c #Conflicts:     244000 | #Constraints:      33598
1254.79/1257.90	c #Conflicts:     245000 | #Constraints:      34598
1254.79/1257.90	c #Conflicts:     246000 | #Constraints:      35598
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     247000 | #Constraints:      26886
1254.79/1257.90	c #Conflicts:     248000 | #Constraints:      27886
1254.79/1257.90	c #Conflicts:     249000 | #Constraints:      28886
1254.79/1257.90	c #Conflicts:     250000 | #Constraints:      29886
1254.79/1257.90	c #Conflicts:     251000 | #Constraints:      30886
1254.79/1257.90	c #Conflicts:     252000 | #Constraints:      31886
1254.79/1257.90	c #Conflicts:     253000 | #Constraints:      32886
1254.79/1257.90	c #Conflicts:     254000 | #Constraints:      33886
1254.79/1257.90	c #Conflicts:     255000 | #Constraints:      34886
1254.79/1257.90	c #Conflicts:     256000 | #Constraints:      35886
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     257000 | #Constraints:      26803
1254.79/1257.90	c #Conflicts:     258000 | #Constraints:      27803
1254.79/1257.90	c #Conflicts:     259000 | #Constraints:      28803
1254.79/1257.90	c #Conflicts:     260000 | #Constraints:      29803
1254.79/1257.90	c #Conflicts:     261000 | #Constraints:      30803
1254.79/1257.90	c #Conflicts:     262000 | #Constraints:      31803
1254.79/1257.90	c #Conflicts:     263000 | #Constraints:      32803
1254.79/1257.90	c #Conflicts:     264000 | #Constraints:      33803
1254.79/1257.90	c #Conflicts:     265000 | #Constraints:      34803
1254.79/1257.90	c #Conflicts:     266000 | #Constraints:      35803
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     267000 | #Constraints:      26638
1254.79/1257.90	c #Conflicts:     268000 | #Constraints:      27638
1254.79/1257.90	c #Conflicts:     269000 | #Constraints:      28638
1254.79/1257.90	c #Conflicts:     270000 | #Constraints:      29638
1254.79/1257.90	c #Conflicts:     271000 | #Constraints:      30638
1254.79/1257.90	c #Conflicts:     272000 | #Constraints:      31638
1254.79/1257.90	c #Conflicts:     273000 | #Constraints:      32638
1254.79/1257.90	c #Conflicts:     274000 | #Constraints:      33638
1254.79/1257.90	c #Conflicts:     275000 | #Constraints:      34638
1254.79/1257.90	c #Conflicts:     276000 | #Constraints:      35638
1254.79/1257.90	c #Conflicts:     277000 | #Constraints:      36638
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     278000 | #Constraints:      27245
1254.79/1257.90	c #Conflicts:     279000 | #Constraints:      28245
1254.79/1257.90	c #Conflicts:     280000 | #Constraints:      29245
1254.79/1257.90	c #Conflicts:     281000 | #Constraints:      30245
1254.79/1257.90	c #Conflicts:     282000 | #Constraints:      31245
1254.79/1257.90	c #Conflicts:     283000 | #Constraints:      32245
1254.79/1257.90	c #Conflicts:     284000 | #Constraints:      33245
1254.79/1257.90	c #Conflicts:     285000 | #Constraints:      34245
1254.79/1257.90	c #Conflicts:     286000 | #Constraints:      35245
1254.79/1257.90	c #Conflicts:     287000 | #Constraints:      36245
1254.79/1257.90	c #Conflicts:     288000 | #Constraints:      37245
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     289000 | #Constraints:      27589
1254.79/1257.90	c #Conflicts:     290000 | #Constraints:      28589
1254.79/1257.90	c #Conflicts:     291000 | #Constraints:      29589
1254.79/1257.90	c #Conflicts:     292000 | #Constraints:      30589
1254.79/1257.90	c #Conflicts:     293000 | #Constraints:      31589
1254.79/1257.90	c #Conflicts:     294000 | #Constraints:      32589
1254.79/1257.90	c #Conflicts:     295000 | #Constraints:      33589
1254.79/1257.90	c #Conflicts:     296000 | #Constraints:      34589
1254.79/1257.90	c #Conflicts:     297000 | #Constraints:      35589
1254.79/1257.90	c #Conflicts:     298000 | #Constraints:      36589
1254.79/1257.90	c #Conflicts:     299000 | #Constraints:      37589
1254.79/1257.90	c INPROCESSING
1254.79/1257.90	c GARBAGE COLLECT
1254.79/1257.90	c #Conflicts:     300000 | #Constraints:      27781
1254.79/1257.90	c #Conflicts:     301000 | #Constraints:      28782
1254.79/1257.90	c #Conflicts:     302000 | #Constraints:      29782
1254.79/1257.90	c #Conflicts:     303000 | #Constraints:      30782
1254.79/1257.90	c #Conflicts:     304000 | #Constraints:      31782
1254.79/1257.90	c #Conflicts:     305000 | #Constraints:      32782
1427.98/1431.51	c #Conflicts:     306000 | #Constraints:      33782
1427.98/1431.51	c #Conflicts:     307000 | #Constraints:      34782
1427.98/1431.51	c #Conflicts:     308000 | #Constraints:      35782
1427.98/1431.51	c #Conflicts:     309000 | #Constraints:      36782
1427.98/1431.51	c #Conflicts:     310000 | #Constraints:      37782
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     311000 | #Constraints:      27848
1427.98/1431.51	c #Conflicts:     312000 | #Constraints:      28848
1427.98/1431.51	c #Conflicts:     313000 | #Constraints:      29848
1427.98/1431.51	c #Conflicts:     314000 | #Constraints:      30848
1427.98/1431.51	c #Conflicts:     315000 | #Constraints:      31848
1427.98/1431.51	c #Conflicts:     316000 | #Constraints:      32848
1427.98/1431.51	c #Conflicts:     317000 | #Constraints:      33848
1427.98/1431.51	c #Conflicts:     318000 | #Constraints:      34848
1427.98/1431.51	c #Conflicts:     319000 | #Constraints:      35848
1427.98/1431.51	c #Conflicts:     320000 | #Constraints:      36848
1427.98/1431.51	c #Conflicts:     321000 | #Constraints:      37848
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     322000 | #Constraints:      27612
1427.98/1431.51	c #Conflicts:     323000 | #Constraints:      28612
1427.98/1431.51	c #Conflicts:     324000 | #Constraints:      29612
1427.98/1431.51	c #Conflicts:     325000 | #Constraints:      30612
1427.98/1431.51	c #Conflicts:     326000 | #Constraints:      31612
1427.98/1431.51	c #Conflicts:     327000 | #Constraints:      32612
1427.98/1431.51	c #Conflicts:     328000 | #Constraints:      33612
1427.98/1431.51	c #Conflicts:     329000 | #Constraints:      34612
1427.98/1431.51	c #Conflicts:     330000 | #Constraints:      35612
1427.98/1431.51	c #Conflicts:     331000 | #Constraints:      36612
1427.98/1431.51	c #Conflicts:     332000 | #Constraints:      37612
1427.98/1431.51	c #Conflicts:     333000 | #Constraints:      38612
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     334000 | #Constraints:      28209
1427.98/1431.51	c #Conflicts:     335000 | #Constraints:      29209
1427.98/1431.51	c #Conflicts:     336000 | #Constraints:      30209
1427.98/1431.51	c #Conflicts:     337000 | #Constraints:      31209
1427.98/1431.51	c #Conflicts:     338000 | #Constraints:      32209
1427.98/1431.51	c #Conflicts:     339000 | #Constraints:      33209
1427.98/1431.51	c #Conflicts:     340000 | #Constraints:      34209
1427.98/1431.51	c #Conflicts:     341000 | #Constraints:      35209
1427.98/1431.51	c #Conflicts:     342000 | #Constraints:      36209
1427.98/1431.51	c #Conflicts:     343000 | #Constraints:      37209
1427.98/1431.51	c #Conflicts:     344000 | #Constraints:      38209
1427.98/1431.51	c #Conflicts:     345000 | #Constraints:      39209
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     346000 | #Constraints:      28657
1427.98/1431.51	c #Conflicts:     347000 | #Constraints:      29657
1427.98/1431.51	c #Conflicts:     348000 | #Constraints:      30657
1427.98/1431.51	c #Conflicts:     349000 | #Constraints:      31657
1427.98/1431.51	c #Conflicts:     350000 | #Constraints:      32658
1427.98/1431.51	c #Conflicts:     351000 | #Constraints:      33658
1427.98/1431.51	c #Conflicts:     352000 | #Constraints:      34658
1427.98/1431.51	c #Conflicts:     353000 | #Constraints:      35658
1427.98/1431.51	c #Conflicts:     354000 | #Constraints:      36658
1427.98/1431.51	c #Conflicts:     355000 | #Constraints:      37658
1427.98/1431.51	c #Conflicts:     356000 | #Constraints:      38658
1427.98/1431.51	c #Conflicts:     357000 | #Constraints:      39658
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     358000 | #Constraints:      28872
1427.98/1431.51	c #Conflicts:     359000 | #Constraints:      29872
1427.98/1431.51	c #Conflicts:     360000 | #Constraints:      30872
1427.98/1431.51	c #Conflicts:     361000 | #Constraints:      31872
1427.98/1431.51	c #Conflicts:     362000 | #Constraints:      32872
1427.98/1431.51	c #Conflicts:     363000 | #Constraints:      33872
1427.98/1431.51	c #Conflicts:     364000 | #Constraints:      34872
1427.98/1431.51	c #Conflicts:     365000 | #Constraints:      35873
1427.98/1431.51	c #Conflicts:     366000 | #Constraints:      36875
1427.98/1431.51	c #Conflicts:     367000 | #Constraints:      37878
1427.98/1431.51	c #Conflicts:     368000 | #Constraints:      38878
1427.98/1431.51	c #Conflicts:     369000 | #Constraints:      39878
1427.98/1431.51	c INPROCESSING
1427.98/1431.51	c GARBAGE COLLECT
1427.98/1431.51	c #Conflicts:     370000 | #Constraints:      28838
1427.98/1431.51	c #Conflicts:     371000 | #Constraints:      29873
1427.98/1431.51	c #Conflicts:     372000 | #Constraints:      30875
1427.98/1431.51	c #Conflicts:     373000 | #Constraints:      31933
1427.98/1431.51	c #Conflicts:     374000 | #Constraints:      33008
1427.98/1431.51	c #Conflicts:     375000 | #Constraints:      34008
1427.98/1431.51	c #Conflicts:     376000 | #Constraints:      35008
1427.98/1431.51	c #Conflicts:     377000 | #Constraints:      36008
1427.98/1431.51	c #Conflicts:     378000 | #Constraints:      37008
1427.98/1431.51	c #Conflicts:     379000 | #Constraints:      38008
1427.98/1431.51	c #Conflicts:     380000 | #Constraints:      39009
1904.84/1909.57	c #Conflicts:     381000 | #Constraints:      40009
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     382000 | #Constraints:      28740
1904.84/1909.57	c #Conflicts:     383000 | #Constraints:      29740
1904.84/1909.57	c #Conflicts:     384000 | #Constraints:      30741
1904.84/1909.57	c #Conflicts:     385000 | #Constraints:      31741
1904.84/1909.57	c #Conflicts:     386000 | #Constraints:      32741
1904.84/1909.57	c #Conflicts:     387000 | #Constraints:      33741
1904.84/1909.57	c #Conflicts:     388000 | #Constraints:      34741
1904.84/1909.57	c #Conflicts:     389000 | #Constraints:      35741
1904.84/1909.57	c #Conflicts:     390000 | #Constraints:      36741
1904.84/1909.57	c #Conflicts:     391000 | #Constraints:      37741
1904.84/1909.57	c #Conflicts:     392000 | #Constraints:      38741
1904.84/1909.57	c #Conflicts:     393000 | #Constraints:      39741
1904.84/1909.57	c #Conflicts:     394000 | #Constraints:      40741
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     395000 | #Constraints:      29333
1904.84/1909.57	c #Conflicts:     396000 | #Constraints:      30333
1904.84/1909.57	c #Conflicts:     397000 | #Constraints:      31333
1904.84/1909.57	c #Conflicts:     398000 | #Constraints:      32333
1904.84/1909.57	c #Conflicts:     399000 | #Constraints:      33333
1904.84/1909.57	c #Conflicts:     400000 | #Constraints:      34333
1904.84/1909.57	c #Conflicts:     401000 | #Constraints:      35333
1904.84/1909.57	c #Conflicts:     402000 | #Constraints:      36333
1904.84/1909.57	c #Conflicts:     403000 | #Constraints:      37333
1904.84/1909.57	c #Conflicts:     404000 | #Constraints:      38333
1904.84/1909.57	c #Conflicts:     405000 | #Constraints:      39333
1904.84/1909.57	c #Conflicts:     406000 | #Constraints:      40333
1904.84/1909.57	c #Conflicts:     407000 | #Constraints:      41333
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     408000 | #Constraints:      29715
1904.84/1909.57	c #Conflicts:     409000 | #Constraints:      30715
1904.84/1909.57	c #Conflicts:     410000 | #Constraints:      31715
1904.84/1909.57	c #Conflicts:     411000 | #Constraints:      32716
1904.84/1909.57	c #Conflicts:     412000 | #Constraints:      33718
1904.84/1909.57	c #Conflicts:     413000 | #Constraints:      34775
1904.84/1909.57	c #Conflicts:     414000 | #Constraints:      35789
1904.84/1909.57	c #Conflicts:     415000 | #Constraints:      36790
1904.84/1909.57	c #Conflicts:     416000 | #Constraints:      37837
1904.84/1909.57	c #Conflicts:     417000 | #Constraints:      38856
1904.84/1909.57	c #Conflicts:     418000 | #Constraints:      39856
1904.84/1909.57	c #Conflicts:     419000 | #Constraints:      40856
1904.84/1909.57	c #Conflicts:     420000 | #Constraints:      41856
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     421000 | #Constraints:      29937
1904.84/1909.57	c #Conflicts:     422000 | #Constraints:      30937
1904.84/1909.57	c #Conflicts:     423000 | #Constraints:      31937
1904.84/1909.57	c #Conflicts:     424000 | #Constraints:      32937
1904.84/1909.57	c #Conflicts:     425000 | #Constraints:      33937
1904.84/1909.57	c #Conflicts:     426000 | #Constraints:      34937
1904.84/1909.57	c #Conflicts:     427000 | #Constraints:      35937
1904.84/1909.57	c #Conflicts:     428000 | #Constraints:      36937
1904.84/1909.57	c #Conflicts:     429000 | #Constraints:      37937
1904.84/1909.57	c #Conflicts:     430000 | #Constraints:      38938
1904.84/1909.57	c #Conflicts:     431000 | #Constraints:      39939
1904.84/1909.57	c #Conflicts:     432000 | #Constraints:      40939
1904.84/1909.57	c #Conflicts:     433000 | #Constraints:      41939
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     434000 | #Constraints:      29964
1904.84/1909.57	c #Conflicts:     435000 | #Constraints:      30964
1904.84/1909.57	c #Conflicts:     436000 | #Constraints:      31964
1904.84/1909.57	c #Conflicts:     437000 | #Constraints:      32964
1904.84/1909.57	c #Conflicts:     438000 | #Constraints:      33964
1904.84/1909.57	c #Conflicts:     439000 | #Constraints:      34964
1904.84/1909.57	c #Conflicts:     440000 | #Constraints:      35964
1904.84/1909.57	c #Conflicts:     441000 | #Constraints:      36964
1904.84/1909.57	c #Conflicts:     442000 | #Constraints:      37964
1904.84/1909.57	c #Conflicts:     443000 | #Constraints:      38964
1904.84/1909.57	c #Conflicts:     444000 | #Constraints:      39964
1904.84/1909.57	c #Conflicts:     445000 | #Constraints:      40964
1904.84/1909.57	c #Conflicts:     446000 | #Constraints:      41964
1904.84/1909.57	c INPROCESSING
1904.84/1909.57	c GARBAGE COLLECT
1904.84/1909.57	c #Conflicts:     447000 | #Constraints:      29797
1904.84/1909.57	c #Conflicts:     448000 | #Constraints:      30797
1904.84/1909.57	c #Conflicts:     449000 | #Constraints:      31797
1904.84/1909.57	c #Conflicts:     450000 | #Constraints:      32797
1904.84/1909.57	c #Conflicts:     451000 | #Constraints:      33797
1904.84/1909.57	c #Conflicts:     452000 | #Constraints:      34797
1904.84/1909.57	c #Conflicts:     453000 | #Constraints:      35797
1904.84/1909.57	c #Conflicts:     454000 | #Constraints:      36797
1904.84/1909.57	c #Conflicts:     455000 | #Constraints:      37797
2145.63/2150.96	c #Conflicts:     456000 | #Constraints:      38797
2145.63/2150.96	c #Conflicts:     457000 | #Constraints:      39797
2145.63/2150.96	c #Conflicts:     458000 | #Constraints:      40797
2145.63/2150.96	c #Conflicts:     459000 | #Constraints:      41797
2145.63/2150.96	c #Conflicts:     460000 | #Constraints:      42797
2145.63/2150.96	c INPROCESSING
2145.63/2150.96	c GARBAGE COLLECT
2145.63/2150.96	c #Conflicts:     461000 | #Constraints:      30302
2145.63/2150.96	c #Conflicts:     462000 | #Constraints:      31302
2145.63/2150.96	c #Conflicts:     463000 | #Constraints:      32302
2145.63/2150.96	c #Conflicts:     464000 | #Constraints:      33302
2145.63/2150.96	c #Conflicts:     465000 | #Constraints:      34302
2145.63/2150.96	c #Conflicts:     466000 | #Constraints:      35302
2145.63/2150.96	c #Conflicts:     467000 | #Constraints:      36302
2145.63/2150.96	c #Conflicts:     468000 | #Constraints:      37302
2145.63/2150.96	c #Conflicts:     469000 | #Constraints:      38302
2145.63/2150.96	c #Conflicts:     470000 | #Constraints:      39302
2145.63/2150.96	c #Conflicts:     471000 | #Constraints:      40302
2145.63/2150.96	c #Conflicts:     472000 | #Constraints:      41302
2145.63/2150.96	c #Conflicts:     473000 | #Constraints:      42302
2145.63/2150.96	c #Conflicts:     474000 | #Constraints:      43302
2145.63/2150.96	c INPROCESSING
2145.63/2150.96	c GARBAGE COLLECT
2145.63/2150.96	c #Conflicts:     475000 | #Constraints:      30801
2145.63/2150.96	c #Conflicts:     476000 | #Constraints:      31801
2145.63/2150.96	c #Conflicts:     477000 | #Constraints:      32801
2145.63/2150.96	c #Conflicts:     478000 | #Constraints:      33801
2145.63/2150.96	c #Conflicts:     479000 | #Constraints:      34801
2145.63/2150.96	c #Conflicts:     480000 | #Constraints:      35801
2145.63/2150.96	c #Conflicts:     481000 | #Constraints:      36801
2145.63/2150.96	c #Conflicts:     482000 | #Constraints:      37801
2145.63/2150.96	c #Conflicts:     483000 | #Constraints:      38801
2145.63/2150.96	c #Conflicts:     484000 | #Constraints:      39801
2145.63/2150.96	c #Conflicts:     485000 | #Constraints:      40801
2145.63/2150.96	c #Conflicts:     486000 | #Constraints:      41801
2145.63/2150.96	c #Conflicts:     487000 | #Constraints:      42801
2145.63/2150.96	c #Conflicts:     488000 | #Constraints:      43801
2145.63/2150.96	c INPROCESSING
2145.63/2150.96	c GARBAGE COLLECT
2145.63/2150.96	c #Conflicts:     489000 | #Constraints:      30956
2145.63/2150.96	c #Conflicts:     490000 | #Constraints:      31956
2145.63/2150.96	c #Conflicts:     491000 | #Constraints:      32956
2145.63/2150.96	c #Conflicts:     492000 | #Constraints:      33956
2145.63/2150.96	c #Conflicts:     493000 | #Constraints:      34956
2145.63/2150.96	c #Conflicts:     494000 | #Constraints:      35956
2145.63/2150.96	c #Conflicts:     495000 | #Constraints:      36956
2145.63/2150.96	c #Conflicts:     496000 | #Constraints:      37956
2145.63/2150.96	c #Conflicts:     497000 | #Constraints:      38956
2145.63/2150.96	c #Conflicts:     498000 | #Constraints:      39956
2145.63/2150.96	c #Conflicts:     499000 | #Constraints:      40956
2145.63/2150.96	c #Conflicts:     500000 | #Constraints:      41956
2145.63/2150.96	c #Conflicts:     501000 | #Constraints:      42956
2145.63/2150.96	c #Conflicts:     502000 | #Constraints:      43956
2145.63/2150.96	c INPROCESSING
2145.63/2150.96	c GARBAGE COLLECT
2145.63/2150.96	c #Conflicts:     503000 | #Constraints:      30941
2145.63/2150.96	c #Conflicts:     504000 | #Constraints:      31941
2145.63/2150.96	c #Conflicts:     505000 | #Constraints:      32941
2145.63/2150.96	c #Conflicts:     506000 | #Constraints:      33941
2145.63/2150.96	c #Conflicts:     507000 | #Constraints:      34941
2145.63/2150.96	c #Conflicts:     508000 | #Constraints:      35941
2145.63/2150.96	c #Conflicts:     509000 | #Constraints:      36941
2145.63/2150.96	c #Conflicts:     510000 | #Constraints:      37941
2145.63/2150.96	c #Conflicts:     511000 | #Constraints:      38941
2145.63/2150.96	c #Conflicts:     512000 | #Constraints:      39941
2145.63/2150.96	c #Conflicts:     513000 | #Constraints:      40941
2145.63/2150.96	c #Conflicts:     514000 | #Constraints:      41941
2145.63/2150.96	c #Conflicts:     515000 | #Constraints:      42941
2145.63/2150.96	c #Conflicts:     516000 | #Constraints:      43941
2145.63/2150.96	c INPROCESSING
2145.63/2150.96	c GARBAGE COLLECT
2145.63/2150.96	c #Conflicts:     517000 | #Constraints:      30760
2145.63/2150.96	c #Conflicts:     518000 | #Constraints:      31760
2145.63/2150.96	c #Conflicts:     519000 | #Constraints:      32760
2145.63/2150.96	c #Conflicts:     520000 | #Constraints:      33760
2145.63/2150.96	c #Conflicts:     521000 | #Constraints:      34760
2145.63/2150.96	c #Conflicts:     522000 | #Constraints:      35760
2145.63/2150.96	c #Conflicts:     523000 | #Constraints:      36760
2145.63/2150.96	c #Conflicts:     524000 | #Constraints:      37760
2145.63/2150.96	c #Conflicts:     525000 | #Constraints:      38760
2145.63/2150.96	c #Conflicts:     526000 | #Constraints:      39760
2145.63/2150.96	c #Conflicts:     527000 | #Constraints:      40760
2145.63/2150.96	c #Conflicts:     528000 | #Constraints:      41760
2145.63/2150.96	c #Conflicts:     529000 | #Constraints:      42760
2145.63/2150.96	c #Conflicts:     530000 | #Constraints:      43760
2454.41/2460.45	c #Conflicts:     531000 | #Constraints:      44760
2454.41/2460.45	c INPROCESSING
2454.41/2460.45	c GARBAGE COLLECT
2454.41/2460.45	c #Conflicts:     532000 | #Constraints:      31321
2454.41/2460.45	c #Conflicts:     533000 | #Constraints:      32321
2454.41/2460.45	c #Conflicts:     534000 | #Constraints:      33321
2454.41/2460.45	c #Conflicts:     535000 | #Constraints:      34321
2454.41/2460.45	c #Conflicts:     536000 | #Constraints:      35321
2454.41/2460.45	c #Conflicts:     537000 | #Constraints:      36321
2454.41/2460.45	c #Conflicts:     538000 | #Constraints:      37322
2454.41/2460.45	c #Conflicts:     539000 | #Constraints:      38322
2454.41/2460.45	c #Conflicts:     540000 | #Constraints:      39322
2454.41/2460.45	c #Conflicts:     541000 | #Constraints:      40322
2454.41/2460.45	c #Conflicts:     542000 | #Constraints:      41322
2454.41/2460.45	c #Conflicts:     543000 | #Constraints:      42322
2454.41/2460.45	c #Conflicts:     544000 | #Constraints:      43322
2454.41/2460.45	c #Conflicts:     545000 | #Constraints:      44322
2454.41/2460.45	c #Conflicts:     546000 | #Constraints:      45322
2454.41/2460.45	c INPROCESSING
2454.41/2460.45	c GARBAGE COLLECT
2454.41/2460.45	c #Conflicts:     547000 | #Constraints:      31722
2454.41/2460.45	c #Conflicts:     548000 | #Constraints:      32722
2454.41/2460.45	c #Conflicts:     549000 | #Constraints:      33722
2454.41/2460.45	c #Conflicts:     550000 | #Constraints:      34722
2454.41/2460.45	c #Conflicts:     551000 | #Constraints:      35722
2454.41/2460.45	c #Conflicts:     552000 | #Constraints:      36722
2454.41/2460.45	c #Conflicts:     553000 | #Constraints:      37722
2454.41/2460.45	c #Conflicts:     554000 | #Constraints:      38722
2454.41/2460.45	c #Conflicts:     555000 | #Constraints:      39722
2454.41/2460.45	c #Conflicts:     556000 | #Constraints:      40722
2454.41/2460.45	c #Conflicts:     557000 | #Constraints:      41722
2454.41/2460.45	c #Conflicts:     558000 | #Constraints:      42722
2454.41/2460.45	c #Conflicts:     559000 | #Constraints:      43722
2454.41/2460.45	c #Conflicts:     560000 | #Constraints:      44722
2454.41/2460.45	c #Conflicts:     561000 | #Constraints:      45722
2454.41/2460.45	c INPROCESSING
2454.41/2460.45	c GARBAGE COLLECT
2454.41/2460.45	c #Conflicts:     562000 | #Constraints:      31928
2454.41/2460.45	c #Conflicts:     563000 | #Constraints:      32928
2454.41/2460.45	c #Conflicts:     564000 | #Constraints:      33928
2454.41/2460.45	c #Conflicts:     565000 | #Constraints:      34928
2454.41/2460.45	c #Conflicts:     566000 | #Constraints:      35928
2454.41/2460.45	c #Conflicts:     567000 | #Constraints:      36928
2454.41/2460.45	c #Conflicts:     568000 | #Constraints:      37928
2454.41/2460.45	c #Conflicts:     569000 | #Constraints:      38928
2454.41/2460.45	c #Conflicts:     570000 | #Constraints:      39928
2454.41/2460.45	c #Conflicts:     571000 | #Constraints:      40928
2454.41/2460.45	c #Conflicts:     572000 | #Constraints:      41928
2454.41/2460.45	c #Conflicts:     573000 | #Constraints:      42928
2454.41/2460.45	c #Conflicts:     574000 | #Constraints:      43928
2454.41/2460.45	c #Conflicts:     575000 | #Constraints:      44928
2454.41/2460.45	c #Conflicts:     576000 | #Constraints:      45928
2454.41/2460.45	c INPROCESSING
2454.41/2460.45	c GARBAGE COLLECT
2454.41/2460.45	c #Conflicts:     577000 | #Constraints:      31971
2454.41/2460.45	c #Conflicts:     578000 | #Constraints:      32971
2454.41/2460.45	c #Conflicts:     579000 | #Constraints:      33971
2454.41/2460.45	c #Conflicts:     580000 | #Constraints:      34971
2454.41/2460.45	c #Conflicts:     581000 | #Constraints:      35971
2454.41/2460.45	c #Conflicts:     582000 | #Constraints:      36971
2454.41/2460.45	c #Conflicts:     583000 | #Constraints:      37971
2454.41/2460.45	c #Conflicts:     584000 | #Constraints:      38971
2454.41/2460.45	c #Conflicts:     585000 | #Constraints:      39971
2454.41/2460.45	c #Conflicts:     586000 | #Constraints:      40971
2454.41/2460.45	c #Conflicts:     587000 | #Constraints:      41971
2454.41/2460.45	c #Conflicts:     588000 | #Constraints:      42971
2454.41/2460.45	c #Conflicts:     589000 | #Constraints:      43971
2454.41/2460.45	c #Conflicts:     590000 | #Constraints:      44971
2454.41/2460.45	c #Conflicts:     591000 | #Constraints:      45971
2454.41/2460.45	c INPROCESSING
2454.41/2460.45	c GARBAGE COLLECT
2454.41/2460.45	c #Conflicts:     592000 | #Constraints:      31823
2454.41/2460.45	c #Conflicts:     593000 | #Constraints:      32824
2454.41/2460.45	c #Conflicts:     594000 | #Constraints:      33824
2454.41/2460.45	c #Conflicts:     595000 | #Constraints:      34824
2454.41/2460.45	c #Conflicts:     596000 | #Constraints:      35826
2454.41/2460.45	c #Conflicts:     597000 | #Constraints:      36830
2454.41/2460.45	c #Conflicts:     598000 | #Constraints:      37830
2454.41/2460.45	c #Conflicts:     599000 | #Constraints:      38830
2454.41/2460.45	c #Conflicts:     600000 | #Constraints:      39830
2454.41/2460.45	c #Conflicts:     601000 | #Constraints:      40830
2454.41/2460.45	c #Conflicts:     602000 | #Constraints:      41830
2454.41/2460.45	c #Conflicts:     603000 | #Constraints:      42830
2454.41/2460.45	c #Conflicts:     604000 | #Constraints:      43830
2454.41/2460.45	c #Conflicts:     605000 | #Constraints:      44830
2454.41/2460.45	c #Conflicts:     606000 | #Constraints:      45830
2759.51/2766.21	c #Conflicts:     607000 | #Constraints:      46830
2759.51/2766.21	c INPROCESSING
2759.51/2766.21	c GARBAGE COLLECT
2759.51/2766.21	c #Conflicts:     608000 | #Constraints:      32412
2759.51/2766.21	c #Conflicts:     609000 | #Constraints:      33412
2759.51/2766.21	c #Conflicts:     610000 | #Constraints:      34412
2759.51/2766.21	c #Conflicts:     611000 | #Constraints:      35412
2759.51/2766.21	c #Conflicts:     612000 | #Constraints:      36412
2759.51/2766.21	c #Conflicts:     613000 | #Constraints:      37412
2759.51/2766.21	c #Conflicts:     614000 | #Constraints:      38412
2759.51/2766.21	c #Conflicts:     615000 | #Constraints:      39412
2759.51/2766.21	c #Conflicts:     616000 | #Constraints:      40412
2759.51/2766.21	c #Conflicts:     617000 | #Constraints:      41412
2759.51/2766.21	c #Conflicts:     618000 | #Constraints:      42412
2759.51/2766.21	c #Conflicts:     619000 | #Constraints:      43412
2759.51/2766.21	c #Conflicts:     620000 | #Constraints:      44412
2759.51/2766.21	c #Conflicts:     621000 | #Constraints:      45412
2759.51/2766.21	c #Conflicts:     622000 | #Constraints:      46412
2759.51/2766.21	c #Conflicts:     623000 | #Constraints:      47412
2759.51/2766.21	c INPROCESSING
2759.51/2766.21	c GARBAGE COLLECT
2759.51/2766.21	c #Conflicts:     624000 | #Constraints:      32753
2759.51/2766.21	c #Conflicts:     625000 | #Constraints:      33753
2759.51/2766.21	c #Conflicts:     626000 | #Constraints:      34753
2759.51/2766.21	c #Conflicts:     627000 | #Constraints:      35753
2759.51/2766.21	c #Conflicts:     628000 | #Constraints:      36753
2759.51/2766.21	c #Conflicts:     629000 | #Constraints:      37753
2759.51/2766.21	c #Conflicts:     630000 | #Constraints:      38753
2759.51/2766.21	c #Conflicts:     631000 | #Constraints:      39753
2759.51/2766.21	c #Conflicts:     632000 | #Constraints:      40753
2759.51/2766.21	c #Conflicts:     633000 | #Constraints:      41753
2759.51/2766.21	c #Conflicts:     634000 | #Constraints:      42753
2759.51/2766.21	c #Conflicts:     635000 | #Constraints:      43753
2759.51/2766.21	c #Conflicts:     636000 | #Constraints:      44753
2759.51/2766.21	c #Conflicts:     637000 | #Constraints:      45753
2759.51/2766.21	c #Conflicts:     638000 | #Constraints:      46753
2759.51/2766.21	c #Conflicts:     639000 | #Constraints:      47753
2759.51/2766.21	c INPROCESSING
2759.51/2766.21	c GARBAGE COLLECT
2759.51/2766.21	c #Conflicts:     640000 | #Constraints:      33089
2759.51/2766.21	c #Conflicts:     641000 | #Constraints:      34089
2759.51/2766.21	c #Conflicts:     642000 | #Constraints:      35089
2759.51/2766.21	c #Conflicts:     643000 | #Constraints:      36089
2759.51/2766.21	c #Conflicts:     644000 | #Constraints:      37089
2759.51/2766.21	c #Conflicts:     645000 | #Constraints:      38089
2759.51/2766.21	c #Conflicts:     646000 | #Constraints:      39089
2759.51/2766.21	c #Conflicts:     647000 | #Constraints:      40089
2759.51/2766.21	c #Conflicts:     648000 | #Constraints:      41089
2759.51/2766.21	c #Conflicts:     649000 | #Constraints:      42089
2759.51/2766.21	c #Conflicts:     650000 | #Constraints:      43089
2759.51/2766.21	c #Conflicts:     651000 | #Constraints:      44090
2759.51/2766.21	c #Conflicts:     652000 | #Constraints:      45091
2759.51/2766.21	c #Conflicts:     653000 | #Constraints:      46091
2759.51/2766.21	c #Conflicts:     654000 | #Constraints:      47091
2759.51/2766.21	c #Conflicts:     655000 | #Constraints:      48091
2759.51/2766.21	c INPROCESSING
2759.51/2766.21	c GARBAGE COLLECT
2759.51/2766.21	c #Conflicts:     656000 | #Constraints:      33124
2759.51/2766.21	c #Conflicts:     657000 | #Constraints:      34124
2759.51/2766.21	c #Conflicts:     658000 | #Constraints:      35124
2759.51/2766.21	c #Conflicts:     659000 | #Constraints:      36124
2759.51/2766.21	c #Conflicts:     660000 | #Constraints:      37124
2759.51/2766.21	c #Conflicts:     661000 | #Constraints:      38124
2759.51/2766.21	c #Conflicts:     662000 | #Constraints:      39124
2759.51/2766.21	c #Conflicts:     663000 | #Constraints:      40125
2759.51/2766.21	c #Conflicts:     664000 | #Constraints:      41125
2759.51/2766.21	c #Conflicts:     665000 | #Constraints:      42125
2759.51/2766.21	c #Conflicts:     666000 | #Constraints:      43125
2759.51/2766.21	c #Conflicts:     667000 | #Constraints:      44125
2759.51/2766.21	c #Conflicts:     668000 | #Constraints:      45125
2759.51/2766.21	c #Conflicts:     669000 | #Constraints:      46125
2759.51/2766.21	c #Conflicts:     670000 | #Constraints:      47125
2759.51/2766.21	c #Conflicts:     671000 | #Constraints:      48125
2759.51/2766.21	c INPROCESSING
2759.51/2766.21	c GARBAGE COLLECT
2759.51/2766.21	c #Conflicts:     672000 | #Constraints:      32852
2759.51/2766.21	c #Conflicts:     673000 | #Constraints:      33852
2759.51/2766.21	c #Conflicts:     674000 | #Constraints:      34852
2759.51/2766.21	c #Conflicts:     675000 | #Constraints:      35852
2759.51/2766.21	c #Conflicts:     676000 | #Constraints:      36852
2759.51/2766.21	c #Conflicts:     677000 | #Constraints:      37852
2759.51/2766.21	c #Conflicts:     678000 | #Constraints:      38852
2759.51/2766.21	c #Conflicts:     679000 | #Constraints:      39852
2759.51/2766.21	c #Conflicts:     680000 | #Constraints:      40852
2759.51/2766.21	c #Conflicts:     681000 | #Constraints:      41852
2759.51/2766.21	c #Conflicts:     682000 | #Constraints:      42852
3134.21/3141.79	c #Conflicts:     683000 | #Constraints:      43852
3134.21/3141.79	c #Conflicts:     684000 | #Constraints:      44852
3134.21/3141.79	c #Conflicts:     685000 | #Constraints:      45852
3134.21/3141.79	c #Conflicts:     686000 | #Constraints:      46852
3134.21/3141.79	c #Conflicts:     687000 | #Constraints:      47852
3134.21/3141.79	c #Conflicts:     688000 | #Constraints:      48852
3134.21/3141.79	c INPROCESSING
3134.21/3141.79	c GARBAGE COLLECT
3134.21/3141.79	c #Conflicts:     689000 | #Constraints:      33431
3134.21/3141.79	c #Conflicts:     690000 | #Constraints:      34431
3134.21/3141.79	c #Conflicts:     691000 | #Constraints:      35431
3134.21/3141.79	c #Conflicts:     692000 | #Constraints:      36431
3134.21/3141.79	c #Conflicts:     693000 | #Constraints:      37431
3134.21/3141.79	c #Conflicts:     694000 | #Constraints:      38431
3134.21/3141.79	c #Conflicts:     695000 | #Constraints:      39431
3134.21/3141.79	c #Conflicts:     696000 | #Constraints:      40431
3134.21/3141.79	c #Conflicts:     697000 | #Constraints:      41431
3134.21/3141.79	c #Conflicts:     698000 | #Constraints:      42431
3134.21/3141.79	c #Conflicts:     699000 | #Constraints:      43431
3134.21/3141.79	c #Conflicts:     700000 | #Constraints:      44431
3134.21/3141.79	c #Conflicts:     701000 | #Constraints:      45431
3134.21/3141.79	c #Conflicts:     702000 | #Constraints:      46431
3134.21/3141.79	c #Conflicts:     703000 | #Constraints:      47431
3134.21/3141.79	c #Conflicts:     704000 | #Constraints:      48431
3134.21/3141.79	c #Conflicts:     705000 | #Constraints:      49431
3134.21/3141.79	c INPROCESSING
3134.21/3141.79	c GARBAGE COLLECT
3134.21/3141.79	c #Conflicts:     706000 | #Constraints:      33812
3134.21/3141.79	c #Conflicts:     707000 | #Constraints:      34812
3134.21/3141.79	c #Conflicts:     708000 | #Constraints:      35812
3134.21/3141.79	c #Conflicts:     709000 | #Constraints:      36812
3134.21/3141.79	c #Conflicts:     710000 | #Constraints:      37812
3134.21/3141.79	c #Conflicts:     711000 | #Constraints:      38812
3134.21/3141.79	c #Conflicts:     712000 | #Constraints:      39812
3134.21/3141.79	c #Conflicts:     713000 | #Constraints:      40812
3134.21/3141.79	c #Conflicts:     714000 | #Constraints:      41812
3134.21/3141.79	c #Conflicts:     715000 | #Constraints:      42812
3134.21/3141.79	c #Conflicts:     716000 | #Constraints:      43812
3134.21/3141.79	c #Conflicts:     717000 | #Constraints:      44812
3134.21/3141.79	c #Conflicts:     718000 | #Constraints:      45812
3134.21/3141.79	c #Conflicts:     719000 | #Constraints:      46812
3134.21/3141.79	c #Conflicts:     720000 | #Constraints:      47812
3134.21/3141.79	c #Conflicts:     721000 | #Constraints:      48812
3134.21/3141.79	c #Conflicts:     722000 | #Constraints:      49812
3134.21/3141.79	c INPROCESSING
3134.21/3141.79	c GARBAGE COLLECT
3134.21/3141.79	c #Conflicts:     723000 | #Constraints:      33967
3134.21/3141.79	c #Conflicts:     724000 | #Constraints:      34967
3134.21/3141.79	c #Conflicts:     725000 | #Constraints:      35967
3134.21/3141.79	c #Conflicts:     726000 | #Constraints:      36967
3134.21/3141.79	c #Conflicts:     727000 | #Constraints:      37967
3134.21/3141.79	c #Conflicts:     728000 | #Constraints:      38967
3134.21/3141.79	c #Conflicts:     729000 | #Constraints:      39967
3134.21/3141.79	c #Conflicts:     730000 | #Constraints:      40967
3134.21/3141.79	c #Conflicts:     731000 | #Constraints:      41967
3134.21/3141.79	c #Conflicts:     732000 | #Constraints:      42967
3134.21/3141.79	c #Conflicts:     733000 | #Constraints:      43967
3134.21/3141.79	c #Conflicts:     734000 | #Constraints:      44967
3134.21/3141.79	c #Conflicts:     735000 | #Constraints:      45967
3134.21/3141.79	c #Conflicts:     736000 | #Constraints:      46967
3134.21/3141.79	c #Conflicts:     737000 | #Constraints:      47967
3134.21/3141.79	c #Conflicts:     738000 | #Constraints:      48967
3134.21/3141.79	c #Conflicts:     739000 | #Constraints:      49967
3134.21/3141.79	c INPROCESSING
3134.21/3141.79	c GARBAGE COLLECT
3134.21/3141.79	c #Conflicts:     740000 | #Constraints:      34066
3134.21/3141.79	c #Conflicts:     741000 | #Constraints:      35066
3134.21/3141.79	c #Conflicts:     742000 | #Constraints:      36066
3134.21/3141.79	c #Conflicts:     743000 | #Constraints:      37066
3134.21/3141.79	c #Conflicts:     744000 | #Constraints:      38066
3134.21/3141.79	c #Conflicts:     745000 | #Constraints:      39066
3134.21/3141.79	c #Conflicts:     746000 | #Constraints:      40066
3134.21/3141.79	c #Conflicts:     747000 | #Constraints:      41066
3134.21/3141.79	c #Conflicts:     748000 | #Constraints:      42066
3134.21/3141.79	c #Conflicts:     749000 | #Constraints:      43066
3134.21/3141.79	c #Conflicts:     750000 | #Constraints:      44066
3134.21/3141.79	c #Conflicts:     751000 | #Constraints:      45066
3134.21/3141.79	c #Conflicts:     752000 | #Constraints:      46066
3134.21/3141.79	c #Conflicts:     753000 | #Constraints:      47066
3134.21/3141.79	c #Conflicts:     754000 | #Constraints:      48066
3134.21/3141.79	c #Conflicts:     755000 | #Constraints:      49066
3134.21/3141.79	c #Conflicts:     756000 | #Constraints:      50066
3134.21/3141.79	c INPROCESSING
3134.21/3141.79	c GARBAGE COLLECT
3134.21/3141.79	c #Conflicts:     757000 | #Constraints:      33880
3321.12/3329.04	c #Conflicts:     758000 | #Constraints:      34880
3321.12/3329.04	c #Conflicts:     759000 | #Constraints:      35880
3321.12/3329.04	c #Conflicts:     760000 | #Constraints:      36880
3321.12/3329.04	c #Conflicts:     761000 | #Constraints:      37880
3321.12/3329.04	c #Conflicts:     762000 | #Constraints:      38880
3321.12/3329.04	c #Conflicts:     763000 | #Constraints:      39880
3321.12/3329.04	c #Conflicts:     764000 | #Constraints:      40880
3321.12/3329.04	c #Conflicts:     765000 | #Constraints:      41880
3321.12/3329.04	c #Conflicts:     766000 | #Constraints:      42880
3321.12/3329.04	c #Conflicts:     767000 | #Constraints:      43880
3321.12/3329.04	c #Conflicts:     768000 | #Constraints:      44880
3321.12/3329.04	c #Conflicts:     769000 | #Constraints:      45880
3321.12/3329.04	c #Conflicts:     770000 | #Constraints:      46880
3321.12/3329.04	c #Conflicts:     771000 | #Constraints:      47880
3321.12/3329.04	c #Conflicts:     772000 | #Constraints:      48880
3321.12/3329.04	c #Conflicts:     773000 | #Constraints:      49880
3321.12/3329.04	c #Conflicts:     774000 | #Constraints:      50880
3321.12/3329.04	c INPROCESSING
3321.12/3329.04	c GARBAGE COLLECT
3321.12/3329.04	c #Conflicts:     775000 | #Constraints:      34468
3321.12/3329.04	c #Conflicts:     776000 | #Constraints:      35468
3321.12/3329.04	c #Conflicts:     777000 | #Constraints:      36468
3321.12/3329.04	c #Conflicts:     778000 | #Constraints:      37468
3321.12/3329.04	c #Conflicts:     779000 | #Constraints:      38468
3321.12/3329.04	c #Conflicts:     780000 | #Constraints:      39468
3321.12/3329.04	c #Conflicts:     781000 | #Constraints:      40468
3321.12/3329.04	c #Conflicts:     782000 | #Constraints:      41468
3321.12/3329.04	c #Conflicts:     783000 | #Constraints:      42468
3321.12/3329.04	c #Conflicts:     784000 | #Constraints:      43468
3321.12/3329.04	c #Conflicts:     785000 | #Constraints:      44468
3321.12/3329.04	c #Conflicts:     786000 | #Constraints:      45468
3321.12/3329.04	c #Conflicts:     787000 | #Constraints:      46468
3321.12/3329.04	c #Conflicts:     788000 | #Constraints:      47468
3321.12/3329.04	c #Conflicts:     789000 | #Constraints:      48468
3321.12/3329.04	c #Conflicts:     790000 | #Constraints:      49468
3321.12/3329.04	c #Conflicts:     791000 | #Constraints:      50468
3321.12/3329.04	c #Conflicts:     792000 | #Constraints:      51468
3321.12/3329.04	c INPROCESSING
3321.12/3329.04	c GARBAGE COLLECT
3321.12/3329.04	c #Conflicts:     793000 | #Constraints:      34849
3321.12/3329.04	c #Conflicts:     794000 | #Constraints:      35849
3321.12/3329.04	c #Conflicts:     795000 | #Constraints:      36849
3321.12/3329.04	c #Conflicts:     796000 | #Constraints:      37849
3321.12/3329.04	c #Conflicts:     797000 | #Constraints:      38849
3321.12/3329.04	c #Conflicts:     798000 | #Constraints:      39849
3321.12/3329.04	c #Conflicts:     799000 | #Constraints:      40849
3321.12/3329.04	c #Conflicts:     800000 | #Constraints:      41849
3321.12/3329.04	c #Conflicts:     801000 | #Constraints:      42849
3321.12/3329.04	c #Conflicts:     802000 | #Constraints:      43849
3321.12/3329.04	c #Conflicts:     803000 | #Constraints:      44849
3321.12/3329.04	c #Conflicts:     804000 | #Constraints:      45849
3321.12/3329.04	c #Conflicts:     805000 | #Constraints:      46849
3321.12/3329.04	c #Conflicts:     806000 | #Constraints:      47849
3321.12/3329.04	c #Conflicts:     807000 | #Constraints:      48849
3321.12/3329.04	c #Conflicts:     808000 | #Constraints:      49849
3321.12/3329.04	c #Conflicts:     809000 | #Constraints:      50849
3321.12/3329.04	c #Conflicts:     810000 | #Constraints:      51849
3321.12/3329.04	c INPROCESSING
3321.12/3329.04	c GARBAGE COLLECT
3321.12/3329.04	c #Conflicts:     811000 | #Constraints:      35026
3321.12/3329.04	c #Conflicts:     812000 | #Constraints:      36026
3321.12/3329.04	c #Conflicts:     813000 | #Constraints:      37026
3321.12/3329.04	c #Conflicts:     814000 | #Constraints:      38026
3321.12/3329.04	c #Conflicts:     815000 | #Constraints:      39026
3321.12/3329.04	c #Conflicts:     816000 | #Constraints:      40026
3321.12/3329.04	c #Conflicts:     817000 | #Constraints:      41026
3321.12/3329.04	c #Conflicts:     818000 | #Constraints:      42026
3321.12/3329.04	c #Conflicts:     819000 | #Constraints:      43026
3321.12/3329.04	c #Conflicts:     820000 | #Constraints:      44026
3321.12/3329.04	c #Conflicts:     821000 | #Constraints:      45026
3321.12/3329.04	c #Conflicts:     822000 | #Constraints:      46026
3321.12/3329.04	c #Conflicts:     823000 | #Constraints:      47026
3321.12/3329.04	c #Conflicts:     824000 | #Constraints:      48026
3321.12/3329.04	c #Conflicts:     825000 | #Constraints:      49026
3321.12/3329.04	c #Conflicts:     826000 | #Constraints:      50026
3321.12/3329.04	c #Conflicts:     827000 | #Constraints:      51026
3321.12/3329.04	c #Conflicts:     828000 | #Constraints:      52026
3321.12/3329.04	c INPROCESSING
3321.12/3329.04	c GARBAGE COLLECT
3321.12/3329.04	c #Conflicts:     829000 | #Constraints:      35080
3321.12/3329.04	c #Conflicts:     830000 | #Constraints:      36081
3321.12/3329.04	c #Conflicts:     831000 | #Constraints:      37081
3321.12/3329.04	c #Conflicts:     832000 | #Constraints:      38081
3321.12/3329.04	c #Conflicts:     833000 | #Constraints:      39081

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: 64059 MiB (62641 MiB free)
  memory of node 1: 64510 MiB (62959 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455861-1721468072/watcher-4455861-1721468072 -o /tmp/evaluation-result-4455861-1721468072/solver-4455861-1721468072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045848 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455861-1721468072.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=1050974, runsolver pid=1050971

[startup+0.100309 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 1050975
/proc/meminfo: memFree=128607040/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=43724 memory=13380 CPUtime=0.09 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 2535 0 0 0 7 2 0 0 20 0 1 0 198966749 44773376 3345 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 10931 3345 1264 922 0 2883 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43724 KiB
Current children cumulated memory: 13380 KiB

[startup+0.2133 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 1050975
/proc/meminfo: memFree=128606368/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=51132 memory=21248 CPUtime=0.21 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 3703 0 0 0 16 5 0 0 20 0 1 0 198966749 52359168 5312 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 12783 5312 1550 922 0 4735 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51132 KiB
Current children cumulated memory: 21248 KiB

[startup+0.313176 s]*
/proc/loadavg: 4.14 4.15 4.17 5/244 1050975
/proc/meminfo: memFree=128587048/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=63916 memory=34952 CPUtime=0.31 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 7900 0 0 0 25 6 0 0 20 0 1 0 198966749 65449984 8738 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 15979 8738 1694 922 0 7931 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63916 KiB
Current children cumulated memory: 34952 KiB

[startup+0.700351 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 1050975
/proc/meminfo: memFree=128584912/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=68936 memory=38120 CPUtime=0.68 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 8691 0 0 0 61 7 0 0 20 0 1 0 198966749 70590464 9530 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 17234 9530 1694 922 0 9186 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68936 KiB
Current children cumulated memory: 38120 KiB

[startup+1.50035 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 1050975
/proc/meminfo: memFree=128582868/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=69312 memory=40608 CPUtime=1.47 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 9239 0 0 0 134 13 0 0 20 0 1 0 198966749 70975488 10152 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 17328 10152 1724 922 0 9280 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69312 KiB
Current children cumulated memory: 40608 KiB

[startup+3.11296 s]
/proc/loadavg: 4.13 4.14 4.17 5/244 1050975
/proc/meminfo: memFree=128552876/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=102756 memory=68752 CPUtime=3.09 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 15774 0 0 0 286 23 0 0 20 0 1 0 198966749 105222144 17188 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 25689 17188 1740 922 0 17641 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 102756 KiB
Current children cumulated memory: 68752 KiB

[startup+6.30031 s]
/proc/loadavg: 4.12 4.14 4.17 5/244 1050977
/proc/meminfo: memFree=128546492/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=103876 memory=74896 CPUtime=6.27 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 16234 0 0 0 598 29 0 0 20 0 1 0 198966749 106369024 18724 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 25969 18724 1794 922 0 17921 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 103876 KiB
Current children cumulated memory: 74896 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 1050977
/proc/meminfo: memFree=128511600/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=140324 memory=106080 CPUtime=12.65 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 22511 0 0 0 1221 44 0 0 20 0 1 0 198966749 143691776 26520 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 35081 26520 1794 922 0 27033 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 140324 KiB
Current children cumulated memory: 106080 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.16 5/244 1050980
/proc/meminfo: memFree=128492272/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=153180 memory=123904 CPUtime=25.43 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 25936 0 0 0 2480 63 0 0 20 0 1 0 198966749 156856320 30976 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 38295 30976 1810 922 0 30247 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 153180 KiB
Current children cumulated memory: 123904 KiB

[startup+51.1122 s]
/proc/loadavg: 4.14 4.14 4.16 5/241 1050983
/proc/meminfo: memFree=128459344/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=191740 memory=155676 CPUtime=50.97 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 30851 0 0 0 4991 106 0 0 20 0 1 0 198966749 196341760 38919 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 47935 38919 1810 922 0 39887 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 191740 KiB
Current children cumulated memory: 155676 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/242 1050993
/proc/meminfo: memFree=128410128/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=264628 memory=204352 CPUtime=102.04 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 41464 0 0 0 10009 195 0 0 20 0 1 0 198966749 270979072 51088 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 66157 51088 1810 922 0 58109 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 264628 KiB
Current children cumulated memory: 204352 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.13 4.16 5/242 1051003
/proc/meminfo: memFree=128338616/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=314860 memory=274672 CPUtime=161.89 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 53183 0 0 0 15914 275 0 0 20 0 1 0 198966749 322416640 68668 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 78715 68668 1826 922 0 70667 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 314860 KiB
Current children cumulated memory: 274672 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.15 7/242 1051013
/proc/meminfo: memFree=128313836/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=321072 memory=293724 CPUtime=221.72 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 54462 0 0 0 21824 348 0 0 20 0 1 0 198966749 328777728 73431 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 80268 73431 1891 922 0 72220 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 321072 KiB
Current children cumulated memory: 293724 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/242 1051024
/proc/meminfo: memFree=128303876/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=328428 memory=301296 CPUtime=281.58 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 56322 0 0 0 27773 385 0 0 20 0 1 0 198966749 336310272 75324 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 82107 75324 1955 922 0 74059 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 328428 KiB
Current children cumulated memory: 301296 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/242 1051035
/proc/meminfo: memFree=128301016/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=378516 memory=303256 CPUtime=341.45 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 56997 0 0 0 33693 452 0 0 20 0 1 0 198966749 387600384 75814 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 94629 75814 1955 922 0 86581 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 378516 KiB
Current children cumulated memory: 303256 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 1051049
/proc/meminfo: memFree=128269504/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=395332 memory=326588 CPUtime=401.3 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 61527 0 0 0 39619 511 0 0 20 0 1 0 198966749 404819968 81647 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 98833 81647 1955 922 0 90785 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 395332 KiB
Current children cumulated memory: 326588 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/243 1051059
/proc/meminfo: memFree=128218036/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=430976 memory=376280 CPUtime=461.15 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 69896 0 0 0 45489 626 0 0 20 0 1 0 198966749 441319424 94070 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 107744 94070 1955 922 0 99696 0

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

[startup+3102.3 s]
/proc/loadavg: 1.06 1.18 2.07 2/221 1052577
/proc/meminfo: memFree=127904952/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=983636 CPUtime=3094.9 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 160785 0 0 0 306305 3185 0 0 20 0 1 0 198966749 1069531136 245909 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 245909 1955 922 0 253068 0
Current children cumulated CPU time: 3094.9 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 983636 KiB

[startup+3162.3 s]
/proc/loadavg: 1.06 1.16 2.01 2/221 1052587
/proc/meminfo: memFree=127904984/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=983636 CPUtime=3154.78 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 161227 0 0 0 312211 3267 0 0 20 0 1 0 198966749 1069531136 245909 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 245909 1955 922 0 253068 0
Current children cumulated CPU time: 3154.78 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 983636 KiB

[startup+3222.3 s]
/proc/loadavg: 1.13 1.16 1.95 2/221 1052597
/proc/meminfo: memFree=127904792/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=983636 CPUtime=3214.64 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 161635 0 0 0 318125 3339 0 0 20 0 1 0 198966749 1069531136 245909 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 245909 1955 922 0 253068 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 983636 KiB

[startup+3282.3 s]
/proc/loadavg: 1.74 1.33 1.97 2/223 1052779
/proc/meminfo: memFree=127904448/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=983660 CPUtime=3274.51 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 162054 0 0 0 324023 3428 0 0 20 0 1 0 198966749 1069531136 245915 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 245915 1955 922 0 253068 0
Current children cumulated CPU time: 3274.51 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 983660 KiB

[startup+3342.3 s]
/proc/loadavg: 1.38 1.30 1.91 2/223 1052789
/proc/meminfo: memFree=127899748/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3334.39 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 162473 0 0 0 329948 3491 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3334.39 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3402.3 s]
/proc/loadavg: 1.20 1.26 1.86 2/223 1052856
/proc/meminfo: memFree=127899368/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3394.26 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 162899 0 0 0 335852 3574 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3394.26 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3462.3 s]
/proc/loadavg: 1.12 1.22 1.81 2/223 1052866
/proc/meminfo: memFree=127899020/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3454.14 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163094 0 0 0 341813 3601 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3454.14 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.20 1.76 2/223 1052877
/proc/meminfo: memFree=127898800/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3514.01 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163194 0 0 0 347768 3633 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.17 1.72 2/222 1052888
/proc/meminfo: memFree=127898532/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3573.89 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163309 0 0 0 353731 3658 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3573.89 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 1.13 1.17 1.70 2/222 1052893
/proc/meminfo: memFree=127898400/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3600.02 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163367 0 0 0 356335 3667 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3610.5 s]
# the end of solver process 1050974 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3565.34 s, system=36.6917 s

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

[startup+3609.6 s]
/proc/loadavg: 1.13 1.17 1.70 2/222 1052893
/proc/meminfo: memFree=127898400/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3601.12 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163367 0 0 0 356444 3668 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3601.12 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3610 s]*
/proc/loadavg: 1.13 1.17 1.70 2/222 1052893
/proc/meminfo: memFree=127898400/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3601.53 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163367 0 0 0 356485 3668 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3601.53 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3610.4 s]
/proc/loadavg: 1.13 1.17 1.70 2/222 1052893
/proc/meminfo: memFree=127898400/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3601.92 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163367 0 0 0 356524 3668 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

[startup+3610.5 s]
/proc/loadavg: 1.13 1.17 1.70 2/222 1052893
/proc/meminfo: memFree=127898400/131655788 swapFree=131071996/131071996
[pid=1050974] ppid=1050971 vsize=1044464 memory=988180 CPUtime=3602.02 cores=5,7
/proc/1050974/stat : 1050974 (roundingsat) R 1050971 1050974 1045835 0 -1 4194304 163367 0 0 0 356534 3668 0 0 20 0 1 0 198966749 1069531136 247045 134679101440 4194304 7968373 140726041565056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 17637376 140726041568188 140726041568352 140726041568352 140726041575369 0
/proc/1050974/statm: 261116 247045 1955 922 0 253068 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 1044464 KiB
Current children cumulated memory: 988180 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.5
CPU time (s): 3602.04
CPU user time (s): 3565.34
CPU system time (s): 36.6917
CPU usage (%): 99.7655
Max. virtual memory (cumulated for all children) (KiB): 1044464
Max. memory (cumulated for all children) (KiB): 988180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.34
system time used= 36.6917
maximum resident set size= 988180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147
involuntary context switches= 2098


# summary of solver processes directly reported to runsolver:
#   pid: 1050974
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3565.34
#   total CPU system time (s): 36.6917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1034 second user time and 31.7466 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-20 11:34:43
IDJOB=4455861
IDBENCH=164356
IDSOLVER=3084
FILE ID=nodeC009/4455861-1721468072
RUNJOBID= nodeC009-1721459303-1045848
SLURM_JOB_ID= 7545707
Free space on /tmp= 723748 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-ns903616.0.u.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455861-1721468072/watcher-4455861-1721468072 -o /tmp/evaluation-result-4455861-1721468072/solver-4455861-1721468072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045848 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455861-1721468072.opb

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

MD5SUM BENCH= 851dd7bb62635ec66e2461b484912a91
RANDOM SEED=562860718

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3668.808
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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		: 3650.843
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.512
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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.360
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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		: 3667.924
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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.329
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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.517
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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		: 1304.213
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128616004 kB
MemAvailable:   129635912 kB
Buffers:          604752 kB
Cached:          1258940 kB
SwapCached:            0 kB
Active:          1163624 kB
Inactive:        1319928 kB
Active(anon):       1484 kB
Inactive(anon):   664276 kB
Active(file):    1162140 kB
Inactive(file):   655652 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6332 kB
Writeback:            20 kB
AnonPages:        613856 kB
Mapped:           117796 kB
Shmem:             45892 kB
KReclaimable:      84292 kB
Slab:             185852 kB
SReclaimable:      84292 kB
SUnreclaim:       101560 kB
KernelStack:        3916 kB
PageTables:        11008 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     966840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62240 kB
HardwareCorrupted:     0 kB
AnonHugePages:    428032 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC009 at 2024-07-20 12:34:54