Trace number 4521446

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.09 3610.23

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/
normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
MD5SUMb902f1cace2d4bc5a725525e4f0d9769
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9800
Best CPU time to get the best result obtained on this benchmark1.34983
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19600
Total number of constraints39200
Number of constraints which are clauses39200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 19600
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 19600
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 19600
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (57089 MiB free)
  memory of node 1: 64465 MiB (63770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521446-1751586076/watcher-4521446-1751586076 -o /tmp/evaluation-result-4521446-1751586076/solver-4521446-1751586076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760 run-opt.sh HOME/instance-4521446-1751586076.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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87445, runsolver pid=87434

[startup+0.100059 s]*
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123714712/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=61576 memory=16332 CPUtime=0.07 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 2765 0 0 0 5 2 0 0 20 0 1 0 74287024 63053824 4083 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 15394 4083 1888 1147 0 2821 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65768 KiB
Current children cumulated memory: 19276 KiB

[startup+0.205593 s]*
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123639532/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=130576 memory=69876 CPUtime=0.18 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 13034 0 0 0 13 5 0 0 20 0 1 0 74287024 133709824 17469 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 32644 17469 2304 1147 0 20071 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 134768 KiB
Current children cumulated memory: 72820 KiB

[startup+0.305603 s]*
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123627120/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=134080 memory=75764 CPUtime=0.28 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 14595 0 0 0 20 8 0 0 20 0 1 0 74287024 137297920 18941 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 33520 18941 2336 1147 0 20947 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 138272 KiB
Current children cumulated memory: 78708 KiB

[startup+0.7002 s]
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123599084/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=185444 memory=127444 CPUtime=0.67 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 19843 0 0 0 57 10 0 0 20 0 1 0 74287024 189894656 31861 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 46361 31861 2336 1147 0 33788 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 189636 KiB
Current children cumulated memory: 130388 KiB

[startup+1.50018 s]
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123457828/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=319512 memory=254940 CPUtime=1.46 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 47129 0 0 0 132 14 0 0 20 0 1 0 74287024 327180288 63735 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 79878 63735 2336 1147 0 67305 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 323704 KiB
Current children cumulated memory: 257884 KiB

[startup+3.10543 s]
/proc/loadavg: 1.04 2.32 3.37 5/269 87454
/proc/meminfo: memFree=123027084/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=572952 memory=452020 CPUtime=3.07 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 84652 0 0 0 285 22 0 0 20 0 1 0 74287024 586702848 113005 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 143238 113005 2336 1147 0 130665 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 577144 KiB
Current children cumulated memory: 454964 KiB

[startup+6.30016 s]
/proc/loadavg: 1.27 2.35 3.38 5/269 87500
/proc/meminfo: memFree=122610232/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=963952 memory=810656 CPUtime=6.26 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 150811 0 0 0 593 33 0 0 20 0 1 0 74287024 987086848 202664 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 240988 202664 2336 1147 0 228415 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 968144 KiB
Current children cumulated memory: 813600 KiB

[startup+12.7002 s]
/proc/loadavg: 1.49 2.38 3.38 5/269 87500
/proc/meminfo: memFree=121310940/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=1865176 memory=1491072 CPUtime=12.63 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 273920 0 0 0 1203 60 0 0 20 0 1 0 74287024 1909940224 372768 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 466294 372768 2336 1147 0 453721 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1869368 KiB
Current children cumulated memory: 1494016 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 2.46 3.39 5/269 87501
/proc/meminfo: memFree=118590864/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=3648300 memory=2993944 CPUtime=25.39 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 559188 0 0 0 2425 114 0 0 20 0 1 0 74287024 3735859200 748486 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 912075 748486 2336 1147 0 899502 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 3652492 KiB
Current children cumulated memory: 2996888 KiB

[startup+51.1055 s]
/proc/loadavg: 2.78 2.60 3.41 5/269 87501
/proc/meminfo: memFree=117824180/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4758468 memory=3639956 CPUtime=50.91 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 727447 0 0 0 4941 150 0 0 20 0 1 0 74287024 4872671232 909989 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1189617 909989 2336 1147 0 1177044 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 4762660 KiB
Current children cumulated memory: 3642900 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 2.83 3.45 5/269 87507
/proc/meminfo: memFree=117764540/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4760516 memory=3657364 CPUtime=101.95 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 731784 0 0 0 10030 165 0 0 20 0 1 0 74287024 4874768384 914341 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1190129 914341 2336 1147 0 1177556 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4764708 KiB
Current children cumulated memory: 3660308 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 3.06 3.49 5/269 87554
/proc/meminfo: memFree=117274068/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4760516 memory=3658516 CPUtime=161.76 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 732087 0 0 0 15996 180 0 0 20 0 1 0 74287024 4874768384 914629 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1190129 914629 2336 1147 0 1177556 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4764708 KiB
Current children cumulated memory: 3661460 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.25 3.53 5/270 87558
/proc/meminfo: memFree=117044620/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4760876 memory=3658516 CPUtime=221.56 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 732096 0 0 0 21960 196 0 0 20 0 1 0 74287024 4875137024 914629 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1190219 914629 2336 1147 0 1177646 0

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

/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3033.61 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3102.3 s]
/proc/loadavg: 4.38 4.19 4.10 5/267 87713
/proc/meminfo: memFree=115059652/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3093.46 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 761771 0 0 0 308718 628 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3162.3 s]
/proc/loadavg: 4.65 4.31 4.15 5/268 87720
/proc/meminfo: memFree=115051236/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3153.31 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 763675 0 0 0 314692 639 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3153.31 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.38 4.31 4.16 5/268 87722
/proc/meminfo: memFree=115043568/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3213.16 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 763695 0 0 0 320670 646 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.28 4.16 5/269 87725
/proc/meminfo: memFree=115042604/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3273.01 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 763880 0 0 0 326648 653 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3273.01 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.24 4.15 5/268 87727
/proc/meminfo: memFree=115030468/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3332.84 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 765599 0 0 0 332627 657 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.23 4.15 5/269 87730
/proc/meminfo: memFree=115018752/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4776388 memory=4165396 CPUtime=3392.7 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 765604 0 0 0 338604 666 0 0 20 0 1 0 74287024 4891021312 1041349 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1194097 1041349 2336 1147 0 1181524 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 4780580 KiB
Current children cumulated memory: 4168340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.15 5/268 87732
/proc/meminfo: memFree=114926792/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4933576 memory=4247572 CPUtime=3452.54 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 787896 0 0 0 344576 678 0 0 20 0 1 0 74287024 5051981824 1061893 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1233394 1061893 2336 1147 0 1220821 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 4937768 KiB
Current children cumulated memory: 4250516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.15 5/269 87735
/proc/meminfo: memFree=114916548/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4933576 memory=4247572 CPUtime=3512.38 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 788030 0 0 0 350551 687 0 0 20 0 1 0 74287024 5051981824 1061893 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1233394 1061893 2336 1147 0 1220821 0
Current children cumulated CPU time: 3512.38 s
Current children cumulated vsize: 4937768 KiB
Current children cumulated memory: 4250516 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.14 5/269 87737
/proc/meminfo: memFree=114923004/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4933576 memory=4247572 CPUtime=3572.22 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 788246 0 0 0 356528 694 0 0 20 0 1 0 74287024 5051981824 1061893 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1233394 1061893 2336 1147 0 1220821 0
Current children cumulated CPU time: 3572.22 s
Current children cumulated vsize: 4937768 KiB
Current children cumulated memory: 4250516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.15 4.17 4.14 5/269 87741
/proc/meminfo: memFree=114914016/131250000 swapFree=33009904/33010684
[pid=87445] ppid=87434 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/87445/stat : 87445 (run-opt.sh) S 87434 87445 87381 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 74287023 4292608 736 18446744073709551615 94904934363136 94904935257669 140728171421344 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94904935496720 94904935544464 94904940789760 140728171424109 140728171424232 140728171424232 140728171429834 0
/proc/87445/statm: 1048 736 672 219 0 110 0
[pid=87453] ppid=87445 vsize=4934448 memory=4247956 CPUtime=3600.06 cores=5,7
/proc/87453/stat : 87453 (roundingsat) R 87445 87445 87381 0 -1 4194304 788915 0 0 0 359307 699 0 0 20 0 1 0 74287024 5052874752 1061989 18446744073709551615 4227072 8923433 140728304097152 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42573824 140728304101794 140728304101928 140728304101928 140728304107498 0
/proc/87453/statm: 1233612 1061989 2336 1147 0 1221039 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4938640 KiB
Current children cumulated memory: 4250900 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002514 s
Sleeping 2 seconds

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

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

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

Child status: 2

Real time (s): 3610.23
CPU time (s): 3600.09
CPU user time (s): 3593.09
CPU system time (s): 7.0066
CPU usage (%): 99.7194
Max. virtual memory (cumulated for all children) (KiB): 4938640
Max. memory (cumulated for all children) (KiB): 4250900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.09
system time used= 7.0066
maximum resident set size= 4248340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 789953
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= 407
involuntary context switches= 3083


# summary of solver processes directly reported to runsolver:
#   pid: 87445,87453
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3593.09
#   total CPU system time (s): 7.0066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38899 second user time and 16.0944 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-04 01:41:16
IDJOB=4521446
IDBENCH=178308
IDSOLVER=3350
FILE ID=nodeC033/4521446-1751586076
RUNJOBID= nodeC033-1751586076-87394
SLURM_JOB_ID= 9598834
Free space on /tmp= 429904 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowevencolsquare/normalized-vertexcover_opt_grid_evenrowevencolsquare_dim_140.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521446-1751586076/watcher-4521446-1751586076 -o /tmp/evaluation-result-4521446-1751586076/solver-4521446-1751586076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751586076-87394 --watchdog 3760  run-opt.sh HOME/instance-4521446-1751586076.opb

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

MD5SUM BENCH= b902f1cace2d4bc5a725525e4f0d9769
RANDOM SEED=362757271

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2759.078
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.071
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 2868.944
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 3598.841
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 2520.004
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 3605.030
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 2733.259
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
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	: 0xb00002a
cpu MHz		: 3600.069
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        123766512 kB
MemAvailable:   129735188 kB
Buffers:            2128 kB
Cached:          6720936 kB
SwapCached:           68 kB
Active:           645528 kB
Inactive:        6140104 kB
Active(anon):      75072 kB
Inactive(anon):     5524 kB
Active(file):     570456 kB
Inactive(file):  6134580 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30360 kB
Writeback:            12 kB
AnonPages:         63984 kB
Mapped:           104268 kB
Shmem:             18028 kB
KReclaimable:     205760 kB
Slab:             298624 kB
SReclaimable:     205760 kB
SUnreclaim:        92864 kB
KernelStack:        4064 kB
PageTables:         2868 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 429876 MiB
End job on nodeC033 at 2025-07-04 02:41:27