Trace number 4521677

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.12 3609.74

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_oddrowevencolsquare/normalized-vertexcover_opt_grid_oddrowevencolsquare_dim_070.opb
MD5SUM0db82a785ca934c3491ed1e2c41fa4ed
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 benchmark2520
Best CPU time to get the best result obtained on this benchmark1.16705
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4970
Total number of constraints9940
Number of constraints which are clauses9940
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 4970
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 4970
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4970
Number of bits of the biggest sum of numbers13
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.06	c #variables 4970 #constraints 9940
0.00/0.06	c objective is ce32 
0.00/0.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.08	c GLOBAL bounds - >= 0 @ 0.054309
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.05791
230.27/230.91	c #Conflicts:       1000 | #Constraints:      10940
230.27/230.91	c #Conflicts:       2000 | #Constraints:      11940
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:       3000 | #Constraints:      12030
230.27/230.91	c #Conflicts:       4000 | #Constraints:      13030
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:       5000 | #Constraints:      12472
230.27/230.91	c #Conflicts:       6000 | #Constraints:      13472
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:       7000 | #Constraints:      12499
230.27/230.91	c #Conflicts:       8000 | #Constraints:      13499
230.27/230.91	c #Conflicts:       9000 | #Constraints:      14499
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      10000 | #Constraints:      13216
230.27/230.91	c #Conflicts:      11000 | #Constraints:      14216
230.27/230.91	c #Conflicts:      12000 | #Constraints:      15216
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      13000 | #Constraints:      13673
230.27/230.91	c #Conflicts:      14000 | #Constraints:      14673
230.27/230.91	c #Conflicts:      15000 | #Constraints:      15673
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      16000 | #Constraints:      13885
230.27/230.91	c #Conflicts:      17000 | #Constraints:      14885
230.27/230.91	c #Conflicts:      18000 | #Constraints:      15885
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      19000 | #Constraints:      13890
230.27/230.91	c #Conflicts:      20000 | #Constraints:      14890
230.27/230.91	c #Conflicts:      21000 | #Constraints:      15890
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      22000 | #Constraints:      13678
230.27/230.91	c #Conflicts:      23000 | #Constraints:      14678
230.27/230.91	c #Conflicts:      24000 | #Constraints:      15678
230.27/230.91	c #Conflicts:      25000 | #Constraints:      16678
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      26000 | #Constraints:      14293
230.27/230.91	c #Conflicts:      27000 | #Constraints:      15293
230.27/230.91	c #Conflicts:      28000 | #Constraints:      16293
230.27/230.91	c #Conflicts:      29000 | #Constraints:      17293
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      30000 | #Constraints:      14674
230.27/230.91	c #Conflicts:      31000 | #Constraints:      15674
230.27/230.91	c #Conflicts:      32000 | #Constraints:      16674
230.27/230.91	c #Conflicts:      33000 | #Constraints:      17674
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      34000 | #Constraints:      14882
230.27/230.91	c #Conflicts:      35000 | #Constraints:      15882
230.27/230.91	c #Conflicts:      36000 | #Constraints:      16882
230.27/230.91	c #Conflicts:      37000 | #Constraints:      17882
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      38000 | #Constraints:      14865
230.27/230.91	c #Conflicts:      39000 | #Constraints:      15865
230.27/230.91	c #Conflicts:      40000 | #Constraints:      16865
230.27/230.91	c #Conflicts:      41000 | #Constraints:      17865
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      42000 | #Constraints:      14654
230.27/230.91	c #Conflicts:      43000 | #Constraints:      15654
230.27/230.91	c #Conflicts:      44000 | #Constraints:      16654
230.27/230.91	c #Conflicts:      45000 | #Constraints:      17654
230.27/230.91	c #Conflicts:      46000 | #Constraints:      18654
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      47000 | #Constraints:      15258
230.27/230.91	c #Conflicts:      48000 | #Constraints:      16258
230.27/230.91	c #Conflicts:      49000 | #Constraints:      17258
230.27/230.91	c #Conflicts:      50000 | #Constraints:      18258
230.27/230.91	c #Conflicts:      51000 | #Constraints:      19258
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      52000 | #Constraints:      15657
230.27/230.91	c #Conflicts:      53000 | #Constraints:      16657
230.27/230.91	c #Conflicts:      54000 | #Constraints:      17657
230.27/230.91	c #Conflicts:      55000 | #Constraints:      18657
230.27/230.91	c #Conflicts:      56000 | #Constraints:      19657
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      57000 | #Constraints:      15841
230.27/230.91	c #Conflicts:      58000 | #Constraints:      16841
230.27/230.91	c #Conflicts:      59000 | #Constraints:      17841
230.27/230.91	c #Conflicts:      60000 | #Constraints:      18841
230.27/230.91	c #Conflicts:      61000 | #Constraints:      19841
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      62000 | #Constraints:      15851
230.27/230.91	c #Conflicts:      63000 | #Constraints:      16851
230.27/230.91	c #Conflicts:      64000 | #Constraints:      17851
230.27/230.91	c #Conflicts:      65000 | #Constraints:      18851
230.27/230.91	c #Conflicts:      66000 | #Constraints:      19851
230.27/230.91	c INPROCESSING
230.27/230.91	c GARBAGE COLLECT
230.27/230.91	c #Conflicts:      67000 | #Constraints:      15660
230.27/230.91	c #Conflicts:      68000 | #Constraints:      16660
478.87/480.24	c #Conflicts:      69000 | #Constraints:      17660
478.87/480.24	c #Conflicts:      70000 | #Constraints:      18660
478.87/480.24	c #Conflicts:      71000 | #Constraints:      19660
478.87/480.24	c #Conflicts:      72000 | #Constraints:      20660
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:      73000 | #Constraints:      16254
478.87/480.24	c #Conflicts:      74000 | #Constraints:      17254
478.87/480.24	c #Conflicts:      75000 | #Constraints:      18254
478.87/480.24	c #Conflicts:      76000 | #Constraints:      19254
478.87/480.24	c #Conflicts:      77000 | #Constraints:      20254
478.87/480.24	c #Conflicts:      78000 | #Constraints:      21254
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:      79000 | #Constraints:      16661
478.87/480.24	c #Conflicts:      80000 | #Constraints:      17661
478.87/480.24	c #Conflicts:      81000 | #Constraints:      18661
478.87/480.24	c #Conflicts:      82000 | #Constraints:      19661
478.87/480.24	c #Conflicts:      83000 | #Constraints:      20661
478.87/480.24	c #Conflicts:      84000 | #Constraints:      21661
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:      85000 | #Constraints:      16891
478.87/480.24	c #Conflicts:      86000 | #Constraints:      17891
478.87/480.24	c #Conflicts:      87000 | #Constraints:      18891
478.87/480.24	c #Conflicts:      88000 | #Constraints:      19891
478.87/480.24	c #Conflicts:      89000 | #Constraints:      20891
478.87/480.24	c #Conflicts:      90000 | #Constraints:      21891
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:      91000 | #Constraints:      16859
478.87/480.24	c #Conflicts:      92000 | #Constraints:      17859
478.87/480.24	c #Conflicts:      93000 | #Constraints:      18859
478.87/480.24	c #Conflicts:      94000 | #Constraints:      19859
478.87/480.24	c #Conflicts:      95000 | #Constraints:      20859
478.87/480.24	c #Conflicts:      96000 | #Constraints:      21859
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:      97000 | #Constraints:      16659
478.87/480.24	c #Conflicts:      98000 | #Constraints:      17659
478.87/480.24	c #Conflicts:      99000 | #Constraints:      18659
478.87/480.24	c #Conflicts:     100000 | #Constraints:      19659
478.87/480.24	c #Conflicts:     101000 | #Constraints:      20659
478.87/480.24	c #Conflicts:     102000 | #Constraints:      21659
478.87/480.24	c #Conflicts:     103000 | #Constraints:      22659
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     104000 | #Constraints:      17252
478.87/480.24	c #Conflicts:     105000 | #Constraints:      18252
478.87/480.24	c #Conflicts:     106000 | #Constraints:      19252
478.87/480.24	c #Conflicts:     107000 | #Constraints:      20252
478.87/480.24	c #Conflicts:     108000 | #Constraints:      21252
478.87/480.24	c #Conflicts:     109000 | #Constraints:      22252
478.87/480.24	c #Conflicts:     110000 | #Constraints:      23252
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     111000 | #Constraints:      17653
478.87/480.24	c #Conflicts:     112000 | #Constraints:      18653
478.87/480.24	c #Conflicts:     113000 | #Constraints:      19653
478.87/480.24	c #Conflicts:     114000 | #Constraints:      20653
478.87/480.24	c #Conflicts:     115000 | #Constraints:      21653
478.87/480.24	c #Conflicts:     116000 | #Constraints:      22653
478.87/480.24	c #Conflicts:     117000 | #Constraints:      23653
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     118000 | #Constraints:      17871
478.87/480.24	c #Conflicts:     119000 | #Constraints:      18871
478.87/480.24	c #Conflicts:     120000 | #Constraints:      19871
478.87/480.24	c #Conflicts:     121000 | #Constraints:      20871
478.87/480.24	c #Conflicts:     122000 | #Constraints:      21871
478.87/480.24	c #Conflicts:     123000 | #Constraints:      22871
478.87/480.24	c #Conflicts:     124000 | #Constraints:      23871
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     125000 | #Constraints:      17872
478.87/480.24	c #Conflicts:     126000 | #Constraints:      18872
478.87/480.24	c #Conflicts:     127000 | #Constraints:      19872
478.87/480.24	c #Conflicts:     128000 | #Constraints:      20872
478.87/480.24	c #Conflicts:     129000 | #Constraints:      21872
478.87/480.24	c #Conflicts:     130000 | #Constraints:      22872
478.87/480.24	c #Conflicts:     131000 | #Constraints:      23872
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     132000 | #Constraints:      17676
478.87/480.24	c #Conflicts:     133000 | #Constraints:      18676
478.87/480.24	c #Conflicts:     134000 | #Constraints:      19676
478.87/480.24	c #Conflicts:     135000 | #Constraints:      20676
478.87/480.24	c #Conflicts:     136000 | #Constraints:      21676
478.87/480.24	c #Conflicts:     137000 | #Constraints:      22676
478.87/480.24	c #Conflicts:     138000 | #Constraints:      23676
478.87/480.24	c #Conflicts:     139000 | #Constraints:      24676
478.87/480.24	c INPROCESSING
478.87/480.24	c GARBAGE COLLECT
478.87/480.24	c #Conflicts:     140000 | #Constraints:      18265
797.15/799.40	c #Conflicts:     141000 | #Constraints:      19265
797.15/799.40	c #Conflicts:     142000 | #Constraints:      20265
797.15/799.40	c #Conflicts:     143000 | #Constraints:      21265
797.15/799.40	c #Conflicts:     144000 | #Constraints:      22265
797.15/799.40	c #Conflicts:     145000 | #Constraints:      23265
797.15/799.40	c #Conflicts:     146000 | #Constraints:      24265
797.15/799.40	c #Conflicts:     147000 | #Constraints:      25265
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     148000 | #Constraints:      18657
797.15/799.40	c #Conflicts:     149000 | #Constraints:      19657
797.15/799.40	c #Conflicts:     150000 | #Constraints:      20657
797.15/799.40	c #Conflicts:     151000 | #Constraints:      21657
797.15/799.40	c #Conflicts:     152000 | #Constraints:      22657
797.15/799.40	c #Conflicts:     153000 | #Constraints:      23657
797.15/799.40	c #Conflicts:     154000 | #Constraints:      24657
797.15/799.40	c #Conflicts:     155000 | #Constraints:      25657
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     156000 | #Constraints:      18880
797.15/799.40	c #Conflicts:     157000 | #Constraints:      19880
797.15/799.40	c #Conflicts:     158000 | #Constraints:      20880
797.15/799.40	c #Conflicts:     159000 | #Constraints:      21880
797.15/799.40	c #Conflicts:     160000 | #Constraints:      22880
797.15/799.40	c #Conflicts:     161000 | #Constraints:      23880
797.15/799.40	c #Conflicts:     162000 | #Constraints:      24880
797.15/799.40	c #Conflicts:     163000 | #Constraints:      25880
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     164000 | #Constraints:      18934
797.15/799.40	c #Conflicts:     165000 | #Constraints:      19934
797.15/799.40	c #Conflicts:     166000 | #Constraints:      20934
797.15/799.40	c #Conflicts:     167000 | #Constraints:      21934
797.15/799.40	c #Conflicts:     168000 | #Constraints:      22934
797.15/799.40	c #Conflicts:     169000 | #Constraints:      23934
797.15/799.40	c #Conflicts:     170000 | #Constraints:      24934
797.15/799.40	c #Conflicts:     171000 | #Constraints:      25934
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     172000 | #Constraints:      18749
797.15/799.40	c #Conflicts:     173000 | #Constraints:      19749
797.15/799.40	c #Conflicts:     174000 | #Constraints:      20749
797.15/799.40	c #Conflicts:     175000 | #Constraints:      21749
797.15/799.40	c #Conflicts:     176000 | #Constraints:      22749
797.15/799.40	c #Conflicts:     177000 | #Constraints:      23749
797.15/799.40	c #Conflicts:     178000 | #Constraints:      24749
797.15/799.40	c #Conflicts:     179000 | #Constraints:      25749
797.15/799.40	c #Conflicts:     180000 | #Constraints:      26749
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     181000 | #Constraints:      19306
797.15/799.40	c #Conflicts:     182000 | #Constraints:      20306
797.15/799.40	c #Conflicts:     183000 | #Constraints:      21306
797.15/799.40	c #Conflicts:     184000 | #Constraints:      22306
797.15/799.40	c #Conflicts:     185000 | #Constraints:      23306
797.15/799.40	c #Conflicts:     186000 | #Constraints:      24306
797.15/799.40	c #Conflicts:     187000 | #Constraints:      25306
797.15/799.40	c #Conflicts:     188000 | #Constraints:      26306
797.15/799.40	c #Conflicts:     189000 | #Constraints:      27306
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     190000 | #Constraints:      19676
797.15/799.40	c #Conflicts:     191000 | #Constraints:      20676
797.15/799.40	c #Conflicts:     192000 | #Constraints:      21676
797.15/799.40	c #Conflicts:     193000 | #Constraints:      22676
797.15/799.40	c #Conflicts:     194000 | #Constraints:      23676
797.15/799.40	c #Conflicts:     195000 | #Constraints:      24676
797.15/799.40	c #Conflicts:     196000 | #Constraints:      25676
797.15/799.40	c #Conflicts:     197000 | #Constraints:      26676
797.15/799.40	c #Conflicts:     198000 | #Constraints:      27676
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     199000 | #Constraints:      19860
797.15/799.40	c #Conflicts:     200000 | #Constraints:      20860
797.15/799.40	c #Conflicts:     201000 | #Constraints:      21860
797.15/799.40	c #Conflicts:     202000 | #Constraints:      22860
797.15/799.40	c #Conflicts:     203000 | #Constraints:      23860
797.15/799.40	c #Conflicts:     204000 | #Constraints:      24860
797.15/799.40	c #Conflicts:     205000 | #Constraints:      25860
797.15/799.40	c #Conflicts:     206000 | #Constraints:      26860
797.15/799.40	c #Conflicts:     207000 | #Constraints:      27860
797.15/799.40	c INPROCESSING
797.15/799.40	c GARBAGE COLLECT
797.15/799.40	c #Conflicts:     208000 | #Constraints:      19847
797.15/799.40	c #Conflicts:     209000 | #Constraints:      20847
797.15/799.40	c #Conflicts:     210000 | #Constraints:      21847
797.15/799.40	c #Conflicts:     211000 | #Constraints:      22847
797.15/799.40	c #Conflicts:     212000 | #Constraints:      23847
797.15/799.40	c #Conflicts:     213000 | #Constraints:      24847
1122.60/1125.78	c #Conflicts:     214000 | #Constraints:      25847
1122.60/1125.78	c #Conflicts:     215000 | #Constraints:      26847
1122.60/1125.78	c #Conflicts:     216000 | #Constraints:      27847
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     217000 | #Constraints:      19657
1122.60/1125.78	c #Conflicts:     218000 | #Constraints:      20657
1122.60/1125.78	c #Conflicts:     219000 | #Constraints:      21657
1122.60/1125.78	c #Conflicts:     220000 | #Constraints:      22657
1122.60/1125.78	c #Conflicts:     221000 | #Constraints:      23657
1122.60/1125.78	c #Conflicts:     222000 | #Constraints:      24657
1122.60/1125.78	c #Conflicts:     223000 | #Constraints:      25657
1122.60/1125.78	c #Conflicts:     224000 | #Constraints:      26657
1122.60/1125.78	c #Conflicts:     225000 | #Constraints:      27657
1122.60/1125.78	c #Conflicts:     226000 | #Constraints:      28657
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     227000 | #Constraints:      20249
1122.60/1125.78	c #Conflicts:     228000 | #Constraints:      21249
1122.60/1125.78	c #Conflicts:     229000 | #Constraints:      22249
1122.60/1125.78	c #Conflicts:     230000 | #Constraints:      23249
1122.60/1125.78	c #Conflicts:     231000 | #Constraints:      24249
1122.60/1125.78	c #Conflicts:     232000 | #Constraints:      25249
1122.60/1125.78	c #Conflicts:     233000 | #Constraints:      26249
1122.60/1125.78	c #Conflicts:     234000 | #Constraints:      27249
1122.60/1125.78	c #Conflicts:     235000 | #Constraints:      28249
1122.60/1125.78	c #Conflicts:     236000 | #Constraints:      29249
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     237000 | #Constraints:      20638
1122.60/1125.78	c #Conflicts:     238000 | #Constraints:      21638
1122.60/1125.78	c #Conflicts:     239000 | #Constraints:      22638
1122.60/1125.78	c #Conflicts:     240000 | #Constraints:      23638
1122.60/1125.78	c #Conflicts:     241000 | #Constraints:      24638
1122.60/1125.78	c #Conflicts:     242000 | #Constraints:      25638
1122.60/1125.78	c #Conflicts:     243000 | #Constraints:      26638
1122.60/1125.78	c #Conflicts:     244000 | #Constraints:      27638
1122.60/1125.78	c #Conflicts:     245000 | #Constraints:      28638
1122.60/1125.78	c #Conflicts:     246000 | #Constraints:      29638
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     247000 | #Constraints:      20845
1122.60/1125.78	c #Conflicts:     248000 | #Constraints:      21845
1122.60/1125.78	c #Conflicts:     249000 | #Constraints:      22845
1122.60/1125.78	c #Conflicts:     250000 | #Constraints:      23845
1122.60/1125.78	c #Conflicts:     251000 | #Constraints:      24845
1122.60/1125.78	c #Conflicts:     252000 | #Constraints:      25845
1122.60/1125.78	c #Conflicts:     253000 | #Constraints:      26845
1122.60/1125.78	c #Conflicts:     254000 | #Constraints:      27845
1122.60/1125.78	c #Conflicts:     255000 | #Constraints:      28845
1122.60/1125.78	c #Conflicts:     256000 | #Constraints:      29845
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     257000 | #Constraints:      20838
1122.60/1125.78	c #Conflicts:     258000 | #Constraints:      21838
1122.60/1125.78	c #Conflicts:     259000 | #Constraints:      22838
1122.60/1125.78	c #Conflicts:     260000 | #Constraints:      23838
1122.60/1125.78	c #Conflicts:     261000 | #Constraints:      24838
1122.60/1125.78	c #Conflicts:     262000 | #Constraints:      25838
1122.60/1125.78	c #Conflicts:     263000 | #Constraints:      26838
1122.60/1125.78	c #Conflicts:     264000 | #Constraints:      27838
1122.60/1125.78	c #Conflicts:     265000 | #Constraints:      28838
1122.60/1125.78	c #Conflicts:     266000 | #Constraints:      29838
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     267000 | #Constraints:      20659
1122.60/1125.78	c #Conflicts:     268000 | #Constraints:      21659
1122.60/1125.78	c #Conflicts:     269000 | #Constraints:      22659
1122.60/1125.78	c #Conflicts:     270000 | #Constraints:      23659
1122.60/1125.78	c #Conflicts:     271000 | #Constraints:      24659
1122.60/1125.78	c #Conflicts:     272000 | #Constraints:      25659
1122.60/1125.78	c #Conflicts:     273000 | #Constraints:      26659
1122.60/1125.78	c #Conflicts:     274000 | #Constraints:      27659
1122.60/1125.78	c #Conflicts:     275000 | #Constraints:      28659
1122.60/1125.78	c #Conflicts:     276000 | #Constraints:      29659
1122.60/1125.78	c #Conflicts:     277000 | #Constraints:      30659
1122.60/1125.78	c INPROCESSING
1122.60/1125.78	c GARBAGE COLLECT
1122.60/1125.78	c #Conflicts:     278000 | #Constraints:      21246
1122.60/1125.78	c #Conflicts:     279000 | #Constraints:      22246
1122.60/1125.78	c #Conflicts:     280000 | #Constraints:      23246
1122.60/1125.78	c #Conflicts:     281000 | #Constraints:      24246
1122.60/1125.78	c #Conflicts:     282000 | #Constraints:      25246
1122.60/1125.78	c #Conflicts:     283000 | #Constraints:      26246
1122.60/1125.78	c #Conflicts:     284000 | #Constraints:      27246
1122.60/1125.78	c #Conflicts:     285000 | #Constraints:      28246
1122.60/1125.78	c #Conflicts:     286000 | #Constraints:      29246
1122.60/1125.78	c #Conflicts:     287000 | #Constraints:      30246
1122.60/1125.78	c #Conflicts:     288000 | #Constraints:      31246
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     289000 | #Constraints:      21652
1486.98/1491.04	c #Conflicts:     290000 | #Constraints:      22652
1486.98/1491.04	c #Conflicts:     291000 | #Constraints:      23652
1486.98/1491.04	c #Conflicts:     292000 | #Constraints:      24652
1486.98/1491.04	c #Conflicts:     293000 | #Constraints:      25652
1486.98/1491.04	c #Conflicts:     294000 | #Constraints:      26652
1486.98/1491.04	c #Conflicts:     295000 | #Constraints:      27652
1486.98/1491.04	c #Conflicts:     296000 | #Constraints:      28652
1486.98/1491.04	c #Conflicts:     297000 | #Constraints:      29652
1486.98/1491.04	c #Conflicts:     298000 | #Constraints:      30652
1486.98/1491.04	c #Conflicts:     299000 | #Constraints:      31652
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     300000 | #Constraints:      21857
1486.98/1491.04	c #Conflicts:     301000 | #Constraints:      22857
1486.98/1491.04	c #Conflicts:     302000 | #Constraints:      23857
1486.98/1491.04	c #Conflicts:     303000 | #Constraints:      24857
1486.98/1491.04	c #Conflicts:     304000 | #Constraints:      25857
1486.98/1491.04	c #Conflicts:     305000 | #Constraints:      26857
1486.98/1491.04	c #Conflicts:     306000 | #Constraints:      27857
1486.98/1491.04	c #Conflicts:     307000 | #Constraints:      28857
1486.98/1491.04	c #Conflicts:     308000 | #Constraints:      29857
1486.98/1491.04	c #Conflicts:     309000 | #Constraints:      30857
1486.98/1491.04	c #Conflicts:     310000 | #Constraints:      31857
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     311000 | #Constraints:      21845
1486.98/1491.04	c #Conflicts:     312000 | #Constraints:      22845
1486.98/1491.04	c #Conflicts:     313000 | #Constraints:      23845
1486.98/1491.04	c #Conflicts:     314000 | #Constraints:      24845
1486.98/1491.04	c #Conflicts:     315000 | #Constraints:      25845
1486.98/1491.04	c #Conflicts:     316000 | #Constraints:      26845
1486.98/1491.04	c #Conflicts:     317000 | #Constraints:      27845
1486.98/1491.04	c #Conflicts:     318000 | #Constraints:      28845
1486.98/1491.04	c #Conflicts:     319000 | #Constraints:      29845
1486.98/1491.04	c #Conflicts:     320000 | #Constraints:      30845
1486.98/1491.04	c #Conflicts:     321000 | #Constraints:      31845
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     322000 | #Constraints:      21669
1486.98/1491.04	c #Conflicts:     323000 | #Constraints:      22669
1486.98/1491.04	c #Conflicts:     324000 | #Constraints:      23669
1486.98/1491.04	c #Conflicts:     325000 | #Constraints:      24669
1486.98/1491.04	c #Conflicts:     326000 | #Constraints:      25669
1486.98/1491.04	c #Conflicts:     327000 | #Constraints:      26669
1486.98/1491.04	c #Conflicts:     328000 | #Constraints:      27669
1486.98/1491.04	c #Conflicts:     329000 | #Constraints:      28669
1486.98/1491.04	c #Conflicts:     330000 | #Constraints:      29669
1486.98/1491.04	c #Conflicts:     331000 | #Constraints:      30669
1486.98/1491.04	c #Conflicts:     332000 | #Constraints:      31669
1486.98/1491.04	c #Conflicts:     333000 | #Constraints:      32669
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     334000 | #Constraints:      22264
1486.98/1491.04	c #Conflicts:     335000 | #Constraints:      23264
1486.98/1491.04	c #Conflicts:     336000 | #Constraints:      24264
1486.98/1491.04	c #Conflicts:     337000 | #Constraints:      25264
1486.98/1491.04	c #Conflicts:     338000 | #Constraints:      26264
1486.98/1491.04	c #Conflicts:     339000 | #Constraints:      27264
1486.98/1491.04	c #Conflicts:     340000 | #Constraints:      28264
1486.98/1491.04	c #Conflicts:     341000 | #Constraints:      29264
1486.98/1491.04	c #Conflicts:     342000 | #Constraints:      30264
1486.98/1491.04	c #Conflicts:     343000 | #Constraints:      31264
1486.98/1491.04	c #Conflicts:     344000 | #Constraints:      32264
1486.98/1491.04	c #Conflicts:     345000 | #Constraints:      33264
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     346000 | #Constraints:      22677
1486.98/1491.04	c #Conflicts:     347000 | #Constraints:      23677
1486.98/1491.04	c #Conflicts:     348000 | #Constraints:      24677
1486.98/1491.04	c #Conflicts:     349000 | #Constraints:      25677
1486.98/1491.04	c #Conflicts:     350000 | #Constraints:      26677
1486.98/1491.04	c #Conflicts:     351000 | #Constraints:      27677
1486.98/1491.04	c #Conflicts:     352000 | #Constraints:      28677
1486.98/1491.04	c #Conflicts:     353000 | #Constraints:      29677
1486.98/1491.04	c #Conflicts:     354000 | #Constraints:      30677
1486.98/1491.04	c #Conflicts:     355000 | #Constraints:      31677
1486.98/1491.04	c #Conflicts:     356000 | #Constraints:      32677
1486.98/1491.04	c #Conflicts:     357000 | #Constraints:      33677
1486.98/1491.04	c INPROCESSING
1486.98/1491.04	c GARBAGE COLLECT
1486.98/1491.04	c #Conflicts:     358000 | #Constraints:      22873
1486.98/1491.04	c #Conflicts:     359000 | #Constraints:      23873
1486.98/1491.04	c #Conflicts:     360000 | #Constraints:      24873
1486.98/1491.04	c #Conflicts:     361000 | #Constraints:      25873
1486.98/1491.04	c #Conflicts:     362000 | #Constraints:      26873
1825.68/1830.69	c #Conflicts:     363000 | #Constraints:      27873
1825.68/1830.69	c #Conflicts:     364000 | #Constraints:      28873
1825.68/1830.69	c #Conflicts:     365000 | #Constraints:      29873
1825.68/1830.69	c #Conflicts:     366000 | #Constraints:      30873
1825.68/1830.69	c #Conflicts:     367000 | #Constraints:      31873
1825.68/1830.69	c #Conflicts:     368000 | #Constraints:      32873
1825.68/1830.69	c #Conflicts:     369000 | #Constraints:      33873
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     370000 | #Constraints:      22861
1825.68/1830.69	c #Conflicts:     371000 | #Constraints:      23861
1825.68/1830.69	c #Conflicts:     372000 | #Constraints:      24861
1825.68/1830.69	c #Conflicts:     373000 | #Constraints:      25861
1825.68/1830.69	c #Conflicts:     374000 | #Constraints:      26861
1825.68/1830.69	c #Conflicts:     375000 | #Constraints:      27861
1825.68/1830.69	c #Conflicts:     376000 | #Constraints:      28861
1825.68/1830.69	c #Conflicts:     377000 | #Constraints:      29861
1825.68/1830.69	c #Conflicts:     378000 | #Constraints:      30861
1825.68/1830.69	c #Conflicts:     379000 | #Constraints:      31861
1825.68/1830.69	c #Conflicts:     380000 | #Constraints:      32861
1825.68/1830.69	c #Conflicts:     381000 | #Constraints:      33861
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     382000 | #Constraints:      22656
1825.68/1830.69	c #Conflicts:     383000 | #Constraints:      23656
1825.68/1830.69	c #Conflicts:     384000 | #Constraints:      24656
1825.68/1830.69	c #Conflicts:     385000 | #Constraints:      25656
1825.68/1830.69	c #Conflicts:     386000 | #Constraints:      26656
1825.68/1830.69	c #Conflicts:     387000 | #Constraints:      27656
1825.68/1830.69	c #Conflicts:     388000 | #Constraints:      28656
1825.68/1830.69	c #Conflicts:     389000 | #Constraints:      29656
1825.68/1830.69	c #Conflicts:     390000 | #Constraints:      30656
1825.68/1830.69	c #Conflicts:     391000 | #Constraints:      31656
1825.68/1830.69	c #Conflicts:     392000 | #Constraints:      32656
1825.68/1830.69	c #Conflicts:     393000 | #Constraints:      33656
1825.68/1830.69	c #Conflicts:     394000 | #Constraints:      34656
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     395000 | #Constraints:      23377
1825.68/1830.69	c #Conflicts:     396000 | #Constraints:      24377
1825.68/1830.69	c #Conflicts:     397000 | #Constraints:      25377
1825.68/1830.69	c #Conflicts:     398000 | #Constraints:      26377
1825.68/1830.69	c #Conflicts:     399000 | #Constraints:      27377
1825.68/1830.69	c #Conflicts:     400000 | #Constraints:      28377
1825.68/1830.69	c #Conflicts:     401000 | #Constraints:      29377
1825.68/1830.69	c #Conflicts:     402000 | #Constraints:      30377
1825.68/1830.69	c #Conflicts:     403000 | #Constraints:      31377
1825.68/1830.69	c #Conflicts:     404000 | #Constraints:      32377
1825.68/1830.69	c #Conflicts:     405000 | #Constraints:      33377
1825.68/1830.69	c #Conflicts:     406000 | #Constraints:      34377
1825.68/1830.69	c #Conflicts:     407000 | #Constraints:      35377
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     408000 | #Constraints:      23713
1825.68/1830.69	c #Conflicts:     409000 | #Constraints:      24713
1825.68/1830.69	c #Conflicts:     410000 | #Constraints:      25713
1825.68/1830.69	c #Conflicts:     411000 | #Constraints:      26713
1825.68/1830.69	c #Conflicts:     412000 | #Constraints:      27713
1825.68/1830.69	c #Conflicts:     413000 | #Constraints:      28713
1825.68/1830.69	c #Conflicts:     414000 | #Constraints:      29713
1825.68/1830.69	c #Conflicts:     415000 | #Constraints:      30713
1825.68/1830.69	c #Conflicts:     416000 | #Constraints:      31713
1825.68/1830.69	c #Conflicts:     417000 | #Constraints:      32713
1825.68/1830.69	c #Conflicts:     418000 | #Constraints:      33713
1825.68/1830.69	c #Conflicts:     419000 | #Constraints:      34713
1825.68/1830.69	c #Conflicts:     420000 | #Constraints:      35713
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     421000 | #Constraints:      23871
1825.68/1830.69	c #Conflicts:     422000 | #Constraints:      24871
1825.68/1830.69	c #Conflicts:     423000 | #Constraints:      25871
1825.68/1830.69	c #Conflicts:     424000 | #Constraints:      26871
1825.68/1830.69	c #Conflicts:     425000 | #Constraints:      27871
1825.68/1830.69	c #Conflicts:     426000 | #Constraints:      28871
1825.68/1830.69	c #Conflicts:     427000 | #Constraints:      29871
1825.68/1830.69	c #Conflicts:     428000 | #Constraints:      30871
1825.68/1830.69	c #Conflicts:     429000 | #Constraints:      31871
1825.68/1830.69	c #Conflicts:     430000 | #Constraints:      32871
1825.68/1830.69	c #Conflicts:     431000 | #Constraints:      33871
1825.68/1830.69	c #Conflicts:     432000 | #Constraints:      34871
1825.68/1830.69	c #Conflicts:     433000 | #Constraints:      35871
1825.68/1830.69	c INPROCESSING
1825.68/1830.69	c GARBAGE COLLECT
1825.68/1830.69	c #Conflicts:     434000 | #Constraints:      23856
1825.68/1830.69	c #Conflicts:     435000 | #Constraints:      24856
1825.68/1830.69	c #Conflicts:     436000 | #Constraints:      25856
1825.68/1830.69	c #Conflicts:     437000 | #Constraints:      26856
2196.99/2203.05	c #Conflicts:     438000 | #Constraints:      27856
2196.99/2203.05	c #Conflicts:     439000 | #Constraints:      28856
2196.99/2203.05	c #Conflicts:     440000 | #Constraints:      29856
2196.99/2203.05	c #Conflicts:     441000 | #Constraints:      30856
2196.99/2203.05	c #Conflicts:     442000 | #Constraints:      31856
2196.99/2203.05	c #Conflicts:     443000 | #Constraints:      32856
2196.99/2203.05	c #Conflicts:     444000 | #Constraints:      33856
2196.99/2203.05	c #Conflicts:     445000 | #Constraints:      34856
2196.99/2203.05	c #Conflicts:     446000 | #Constraints:      35856
2196.99/2203.05	c INPROCESSING
2196.99/2203.05	c GARBAGE COLLECT
2196.99/2203.05	c #Conflicts:     447000 | #Constraints:      23664
2196.99/2203.05	c #Conflicts:     448000 | #Constraints:      24664
2196.99/2203.05	c #Conflicts:     449000 | #Constraints:      25664
2196.99/2203.05	c #Conflicts:     450000 | #Constraints:      26664
2196.99/2203.05	c #Conflicts:     451000 | #Constraints:      27664
2196.99/2203.05	c #Conflicts:     452000 | #Constraints:      28664
2196.99/2203.05	c #Conflicts:     453000 | #Constraints:      29664
2196.99/2203.05	c #Conflicts:     454000 | #Constraints:      30664
2196.99/2203.05	c #Conflicts:     455000 | #Constraints:      31664
2196.99/2203.05	c #Conflicts:     456000 | #Constraints:      32664
2196.99/2203.05	c #Conflicts:     457000 | #Constraints:      33664
2196.99/2203.05	c #Conflicts:     458000 | #Constraints:      34664
2196.99/2203.05	c #Conflicts:     459000 | #Constraints:      35664
2196.99/2203.05	c #Conflicts:     460000 | #Constraints:      36664
2196.99/2203.05	c INPROCESSING
2196.99/2203.05	c GARBAGE COLLECT
2196.99/2203.05	c #Conflicts:     461000 | #Constraints:      24254
2196.99/2203.05	c #Conflicts:     462000 | #Constraints:      25254
2196.99/2203.05	c #Conflicts:     463000 | #Constraints:      26254
2196.99/2203.05	c #Conflicts:     464000 | #Constraints:      27254
2196.99/2203.05	c #Conflicts:     465000 | #Constraints:      28254
2196.99/2203.05	c #Conflicts:     466000 | #Constraints:      29254
2196.99/2203.05	c #Conflicts:     467000 | #Constraints:      30254
2196.99/2203.05	c #Conflicts:     468000 | #Constraints:      31254
2196.99/2203.05	c #Conflicts:     469000 | #Constraints:      32254
2196.99/2203.05	c #Conflicts:     470000 | #Constraints:      33254
2196.99/2203.05	c #Conflicts:     471000 | #Constraints:      34254
2196.99/2203.05	c #Conflicts:     472000 | #Constraints:      35254
2196.99/2203.05	c #Conflicts:     473000 | #Constraints:      36254
2196.99/2203.05	c #Conflicts:     474000 | #Constraints:      37254
2196.99/2203.05	c INPROCESSING
2196.99/2203.05	c GARBAGE COLLECT
2196.99/2203.05	c #Conflicts:     475000 | #Constraints:      24656
2196.99/2203.05	c #Conflicts:     476000 | #Constraints:      25656
2196.99/2203.05	c #Conflicts:     477000 | #Constraints:      26656
2196.99/2203.05	c #Conflicts:     478000 | #Constraints:      27656
2196.99/2203.05	c #Conflicts:     479000 | #Constraints:      28656
2196.99/2203.05	c #Conflicts:     480000 | #Constraints:      29656
2196.99/2203.05	c #Conflicts:     481000 | #Constraints:      30656
2196.99/2203.05	c #Conflicts:     482000 | #Constraints:      31656
2196.99/2203.05	c #Conflicts:     483000 | #Constraints:      32656
2196.99/2203.05	c #Conflicts:     484000 | #Constraints:      33656
2196.99/2203.05	c #Conflicts:     485000 | #Constraints:      34656
2196.99/2203.05	c #Conflicts:     486000 | #Constraints:      35656
2196.99/2203.05	c #Conflicts:     487000 | #Constraints:      36656
2196.99/2203.05	c #Conflicts:     488000 | #Constraints:      37656
2196.99/2203.05	c INPROCESSING
2196.99/2203.05	c GARBAGE COLLECT
2196.99/2203.05	c #Conflicts:     489000 | #Constraints:      24860
2196.99/2203.05	c #Conflicts:     490000 | #Constraints:      25860
2196.99/2203.05	c #Conflicts:     491000 | #Constraints:      26860
2196.99/2203.05	c #Conflicts:     492000 | #Constraints:      27860
2196.99/2203.05	c #Conflicts:     493000 | #Constraints:      28860
2196.99/2203.05	c #Conflicts:     494000 | #Constraints:      29860
2196.99/2203.05	c #Conflicts:     495000 | #Constraints:      30860
2196.99/2203.05	c #Conflicts:     496000 | #Constraints:      31860
2196.99/2203.05	c #Conflicts:     497000 | #Constraints:      32860
2196.99/2203.05	c #Conflicts:     498000 | #Constraints:      33860
2196.99/2203.05	c #Conflicts:     499000 | #Constraints:      34860
2196.99/2203.05	c #Conflicts:     500000 | #Constraints:      35860
2196.99/2203.05	c #Conflicts:     501000 | #Constraints:      36860
2196.99/2203.05	c #Conflicts:     502000 | #Constraints:      37860
2196.99/2203.05	c INPROCESSING
2196.99/2203.05	c GARBAGE COLLECT
2196.99/2203.05	c #Conflicts:     503000 | #Constraints:      24865
2196.99/2203.05	c #Conflicts:     504000 | #Constraints:      25865
2196.99/2203.05	c #Conflicts:     505000 | #Constraints:      26865
2196.99/2203.05	c #Conflicts:     506000 | #Constraints:      27865
2196.99/2203.05	c #Conflicts:     507000 | #Constraints:      28865
2196.99/2203.05	c #Conflicts:     508000 | #Constraints:      29865
2196.99/2203.05	c #Conflicts:     509000 | #Constraints:      30865
2196.99/2203.05	c #Conflicts:     510000 | #Constraints:      31865
2196.99/2203.05	c #Conflicts:     511000 | #Constraints:      32865
2196.99/2203.05	c #Conflicts:     512000 | #Constraints:      33865
2196.99/2203.05	c #Conflicts:     513000 | #Constraints:      34865
2657.10/2664.39	c #Conflicts:     514000 | #Constraints:      35865
2657.10/2664.39	c #Conflicts:     515000 | #Constraints:      36865
2657.10/2664.39	c #Conflicts:     516000 | #Constraints:      37865
2657.10/2664.39	c INPROCESSING
2657.10/2664.39	c GARBAGE COLLECT
2657.10/2664.39	c #Conflicts:     517000 | #Constraints:      24650
2657.10/2664.39	c #Conflicts:     518000 | #Constraints:      25650
2657.10/2664.39	c #Conflicts:     519000 | #Constraints:      26650
2657.10/2664.39	c #Conflicts:     520000 | #Constraints:      27650
2657.10/2664.39	c #Conflicts:     521000 | #Constraints:      28650
2657.10/2664.39	c #Conflicts:     522000 | #Constraints:      29650
2657.10/2664.39	c #Conflicts:     523000 | #Constraints:      30650
2657.10/2664.39	c #Conflicts:     524000 | #Constraints:      31650
2657.10/2664.39	c #Conflicts:     525000 | #Constraints:      32650
2657.10/2664.39	c #Conflicts:     526000 | #Constraints:      33650
2657.10/2664.39	c #Conflicts:     527000 | #Constraints:      34650
2657.10/2664.39	c #Conflicts:     528000 | #Constraints:      35650
2657.10/2664.39	c #Conflicts:     529000 | #Constraints:      36650
2657.10/2664.39	c #Conflicts:     530000 | #Constraints:      37650
2657.10/2664.39	c #Conflicts:     531000 | #Constraints:      38650
2657.10/2664.39	c INPROCESSING
2657.10/2664.39	c GARBAGE COLLECT
2657.10/2664.39	c #Conflicts:     532000 | #Constraints:      25276
2657.10/2664.39	c #Conflicts:     533000 | #Constraints:      26276
2657.10/2664.39	c #Conflicts:     534000 | #Constraints:      27276
2657.10/2664.39	c #Conflicts:     535000 | #Constraints:      28276
2657.10/2664.39	c #Conflicts:     536000 | #Constraints:      29276
2657.10/2664.39	c #Conflicts:     537000 | #Constraints:      30276
2657.10/2664.39	c #Conflicts:     538000 | #Constraints:      31276
2657.10/2664.39	c #Conflicts:     539000 | #Constraints:      32276
2657.10/2664.39	c #Conflicts:     540000 | #Constraints:      33276
2657.10/2664.39	c #Conflicts:     541000 | #Constraints:      34276
2657.10/2664.39	c #Conflicts:     542000 | #Constraints:      35276
2657.10/2664.39	c #Conflicts:     543000 | #Constraints:      36276
2657.10/2664.39	c #Conflicts:     544000 | #Constraints:      37276
2657.10/2664.39	c #Conflicts:     545000 | #Constraints:      38276
2657.10/2664.39	c #Conflicts:     546000 | #Constraints:      39276
2657.10/2664.39	c INPROCESSING
2657.10/2664.39	c GARBAGE COLLECT
2657.10/2664.39	c #Conflicts:     547000 | #Constraints:      25758
2657.10/2664.39	c #Conflicts:     548000 | #Constraints:      26758
2657.10/2664.39	c #Conflicts:     549000 | #Constraints:      27758
2657.10/2664.39	c #Conflicts:     550000 | #Constraints:      28758
2657.10/2664.39	c #Conflicts:     551000 | #Constraints:      29758
2657.10/2664.39	c #Conflicts:     552000 | #Constraints:      30758
2657.10/2664.39	c #Conflicts:     553000 | #Constraints:      31758
2657.10/2664.39	c #Conflicts:     554000 | #Constraints:      32758
2657.10/2664.39	c #Conflicts:     555000 | #Constraints:      33758
2657.10/2664.39	c #Conflicts:     556000 | #Constraints:      34758
2657.10/2664.39	c #Conflicts:     557000 | #Constraints:      35758
2657.10/2664.39	c #Conflicts:     558000 | #Constraints:      36758
2657.10/2664.39	c #Conflicts:     559000 | #Constraints:      37758
2657.10/2664.39	c #Conflicts:     560000 | #Constraints:      38758
2657.10/2664.39	c #Conflicts:     561000 | #Constraints:      39758
2657.10/2664.39	c INPROCESSING
2657.10/2664.39	c GARBAGE COLLECT
2657.10/2664.39	c #Conflicts:     562000 | #Constraints:      25910
2657.10/2664.39	c #Conflicts:     563000 | #Constraints:      26910
2657.10/2664.39	c #Conflicts:     564000 | #Constraints:      27910
2657.10/2664.39	c #Conflicts:     565000 | #Constraints:      28910
2657.10/2664.39	c #Conflicts:     566000 | #Constraints:      29910
2657.10/2664.39	c #Conflicts:     567000 | #Constraints:      30910
2657.10/2664.39	c #Conflicts:     568000 | #Constraints:      31910
2657.10/2664.39	c #Conflicts:     569000 | #Constraints:      32910
2657.10/2664.39	c #Conflicts:     570000 | #Constraints:      33910
2657.10/2664.39	c #Conflicts:     571000 | #Constraints:      34910
2657.10/2664.39	c #Conflicts:     572000 | #Constraints:      35910
2657.10/2664.39	c #Conflicts:     573000 | #Constraints:      36910
2657.10/2664.39	c #Conflicts:     574000 | #Constraints:      37910
2657.10/2664.39	c #Conflicts:     575000 | #Constraints:      38910
2657.10/2664.39	c #Conflicts:     576000 | #Constraints:      39910
2657.10/2664.39	c INPROCESSING
2657.10/2664.39	c GARBAGE COLLECT
2657.10/2664.39	c #Conflicts:     577000 | #Constraints:      25927
2657.10/2664.39	c #Conflicts:     578000 | #Constraints:      26927
2657.10/2664.39	c #Conflicts:     579000 | #Constraints:      27927
2657.10/2664.39	c #Conflicts:     580000 | #Constraints:      28927
2657.10/2664.39	c #Conflicts:     581000 | #Constraints:      29927
2657.10/2664.39	c #Conflicts:     582000 | #Constraints:      30927
2657.10/2664.39	c #Conflicts:     583000 | #Constraints:      31927
2657.10/2664.39	c #Conflicts:     584000 | #Constraints:      32927
2657.10/2664.39	c #Conflicts:     585000 | #Constraints:      33927
2657.10/2664.39	c #Conflicts:     586000 | #Constraints:      34927
2657.10/2664.39	c #Conflicts:     587000 | #Constraints:      35927
2657.10/2664.39	c #Conflicts:     588000 | #Constraints:      36927
3070.44/3078.75	c #Conflicts:     589000 | #Constraints:      37927
3070.44/3078.75	c #Conflicts:     590000 | #Constraints:      38927
3070.44/3078.75	c #Conflicts:     591000 | #Constraints:      39927
3070.44/3078.75	c INPROCESSING
3070.44/3078.75	c GARBAGE COLLECT
3070.44/3078.75	c #Conflicts:     592000 | #Constraints:      25673
3070.44/3078.75	c #Conflicts:     593000 | #Constraints:      26673
3070.44/3078.75	c #Conflicts:     594000 | #Constraints:      27673
3070.44/3078.75	c #Conflicts:     595000 | #Constraints:      28673
3070.44/3078.75	c #Conflicts:     596000 | #Constraints:      29673
3070.44/3078.75	c #Conflicts:     597000 | #Constraints:      30673
3070.44/3078.75	c #Conflicts:     598000 | #Constraints:      31673
3070.44/3078.75	c #Conflicts:     599000 | #Constraints:      32673
3070.44/3078.75	c #Conflicts:     600000 | #Constraints:      33673
3070.44/3078.75	c #Conflicts:     601000 | #Constraints:      34673
3070.44/3078.75	c #Conflicts:     602000 | #Constraints:      35673
3070.44/3078.75	c #Conflicts:     603000 | #Constraints:      36673
3070.44/3078.75	c #Conflicts:     604000 | #Constraints:      37673
3070.44/3078.75	c #Conflicts:     605000 | #Constraints:      38673
3070.44/3078.75	c #Conflicts:     606000 | #Constraints:      39673
3070.44/3078.75	c #Conflicts:     607000 | #Constraints:      40673
3070.44/3078.75	c INPROCESSING
3070.44/3078.75	c GARBAGE COLLECT
3070.44/3078.75	c #Conflicts:     608000 | #Constraints:      26252
3070.44/3078.75	c #Conflicts:     609000 | #Constraints:      27252
3070.44/3078.75	c #Conflicts:     610000 | #Constraints:      28252
3070.44/3078.75	c #Conflicts:     611000 | #Constraints:      29252
3070.44/3078.75	c #Conflicts:     612000 | #Constraints:      30252
3070.44/3078.75	c #Conflicts:     613000 | #Constraints:      31252
3070.44/3078.75	c #Conflicts:     614000 | #Constraints:      32252
3070.44/3078.75	c #Conflicts:     615000 | #Constraints:      33252
3070.44/3078.75	c #Conflicts:     616000 | #Constraints:      34252
3070.44/3078.75	c #Conflicts:     617000 | #Constraints:      35252
3070.44/3078.75	c #Conflicts:     618000 | #Constraints:      36252
3070.44/3078.75	c #Conflicts:     619000 | #Constraints:      37252
3070.44/3078.75	c #Conflicts:     620000 | #Constraints:      38252
3070.44/3078.75	c #Conflicts:     621000 | #Constraints:      39252
3070.44/3078.75	c #Conflicts:     622000 | #Constraints:      40252
3070.44/3078.75	c #Conflicts:     623000 | #Constraints:      41252
3070.44/3078.75	c INPROCESSING
3070.44/3078.75	c GARBAGE COLLECT
3070.44/3078.75	c #Conflicts:     624000 | #Constraints:      26647
3070.44/3078.75	c #Conflicts:     625000 | #Constraints:      27647
3070.44/3078.75	c #Conflicts:     626000 | #Constraints:      28647
3070.44/3078.75	c #Conflicts:     627000 | #Constraints:      29647
3070.44/3078.75	c #Conflicts:     628000 | #Constraints:      30647
3070.44/3078.75	c #Conflicts:     629000 | #Constraints:      31647
3070.44/3078.75	c #Conflicts:     630000 | #Constraints:      32647
3070.44/3078.75	c #Conflicts:     631000 | #Constraints:      33647
3070.44/3078.75	c #Conflicts:     632000 | #Constraints:      34647
3070.44/3078.75	c #Conflicts:     633000 | #Constraints:      35647
3070.44/3078.75	c #Conflicts:     634000 | #Constraints:      36647
3070.44/3078.75	c #Conflicts:     635000 | #Constraints:      37647
3070.44/3078.75	c #Conflicts:     636000 | #Constraints:      38647
3070.44/3078.75	c #Conflicts:     637000 | #Constraints:      39647
3070.44/3078.75	c #Conflicts:     638000 | #Constraints:      40647
3070.44/3078.75	c #Conflicts:     639000 | #Constraints:      41647
3070.44/3078.75	c INPROCESSING
3070.44/3078.75	c GARBAGE COLLECT
3070.44/3078.75	c #Conflicts:     640000 | #Constraints:      26833
3070.44/3078.75	c #Conflicts:     641000 | #Constraints:      27833
3070.44/3078.75	c #Conflicts:     642000 | #Constraints:      28833
3070.44/3078.75	c #Conflicts:     643000 | #Constraints:      29833
3070.44/3078.75	c #Conflicts:     644000 | #Constraints:      30833
3070.44/3078.75	c #Conflicts:     645000 | #Constraints:      31833
3070.44/3078.75	c #Conflicts:     646000 | #Constraints:      32833
3070.44/3078.75	c #Conflicts:     647000 | #Constraints:      33833
3070.44/3078.75	c #Conflicts:     648000 | #Constraints:      34833
3070.44/3078.75	c #Conflicts:     649000 | #Constraints:      35833
3070.44/3078.75	c #Conflicts:     650000 | #Constraints:      36833
3070.44/3078.75	c #Conflicts:     651000 | #Constraints:      37833
3070.44/3078.75	c #Conflicts:     652000 | #Constraints:      38833
3070.44/3078.75	c #Conflicts:     653000 | #Constraints:      39833
3070.44/3078.75	c #Conflicts:     654000 | #Constraints:      40833
3070.44/3078.75	c #Conflicts:     655000 | #Constraints:      41833
3070.44/3078.75	c INPROCESSING
3070.44/3078.75	c GARBAGE COLLECT
3070.44/3078.75	c #Conflicts:     656000 | #Constraints:      26846
3070.44/3078.75	c #Conflicts:     657000 | #Constraints:      27846
3070.44/3078.75	c #Conflicts:     658000 | #Constraints:      28846
3070.44/3078.75	c #Conflicts:     659000 | #Constraints:      29846
3070.44/3078.75	c #Conflicts:     660000 | #Constraints:      30846
3070.44/3078.75	c #Conflicts:     661000 | #Constraints:      31846
3070.44/3078.75	c #Conflicts:     662000 | #Constraints:      32846
3070.44/3078.75	c #Conflicts:     663000 | #Constraints:      33846
3070.44/3078.75	c #Conflicts:     664000 | #Constraints:      34846
3595.81/3605.46	c #Conflicts:     665000 | #Constraints:      35846
3595.81/3605.46	c #Conflicts:     666000 | #Constraints:      36846
3595.81/3605.46	c #Conflicts:     667000 | #Constraints:      37846
3595.81/3605.46	c #Conflicts:     668000 | #Constraints:      38846
3595.81/3605.46	c #Conflicts:     669000 | #Constraints:      39846
3595.81/3605.46	c #Conflicts:     670000 | #Constraints:      40846
3595.81/3605.46	c #Conflicts:     671000 | #Constraints:      41846
3595.81/3605.46	c INPROCESSING
3595.81/3605.46	c GARBAGE COLLECT
3595.81/3605.46	c #Conflicts:     672000 | #Constraints:      26658
3595.81/3605.46	c #Conflicts:     673000 | #Constraints:      27658
3595.81/3605.46	c #Conflicts:     674000 | #Constraints:      28658
3595.81/3605.46	c #Conflicts:     675000 | #Constraints:      29658
3595.81/3605.46	c #Conflicts:     676000 | #Constraints:      30658
3595.81/3605.46	c #Conflicts:     677000 | #Constraints:      31658
3595.81/3605.46	c #Conflicts:     678000 | #Constraints:      32658
3595.81/3605.46	c #Conflicts:     679000 | #Constraints:      33658
3595.81/3605.46	c #Conflicts:     680000 | #Constraints:      34658
3595.81/3605.46	c #Conflicts:     681000 | #Constraints:      35658
3595.81/3605.46	c #Conflicts:     682000 | #Constraints:      36658
3595.81/3605.46	c #Conflicts:     683000 | #Constraints:      37658
3595.81/3605.46	c #Conflicts:     684000 | #Constraints:      38658
3595.81/3605.46	c #Conflicts:     685000 | #Constraints:      39658
3595.81/3605.46	c #Conflicts:     686000 | #Constraints:      40658
3595.81/3605.46	c #Conflicts:     687000 | #Constraints:      41658
3595.81/3605.46	c #Conflicts:     688000 | #Constraints:      42658
3595.81/3605.46	c INPROCESSING
3595.81/3605.46	c GARBAGE COLLECT
3595.81/3605.46	c #Conflicts:     689000 | #Constraints:      27251
3595.81/3605.46	c #Conflicts:     690000 | #Constraints:      28251
3595.81/3605.46	c #Conflicts:     691000 | #Constraints:      29251
3595.81/3605.46	c #Conflicts:     692000 | #Constraints:      30251
3595.81/3605.46	c #Conflicts:     693000 | #Constraints:      31251
3595.81/3605.46	c #Conflicts:     694000 | #Constraints:      32251
3595.81/3605.46	c #Conflicts:     695000 | #Constraints:      33251
3595.81/3605.46	c #Conflicts:     696000 | #Constraints:      34251
3595.81/3605.46	c #Conflicts:     697000 | #Constraints:      35251
3595.81/3605.46	c #Conflicts:     698000 | #Constraints:      36251
3595.81/3605.46	c #Conflicts:     699000 | #Constraints:      37251
3595.81/3605.46	c #Conflicts:     700000 | #Constraints:      38251
3595.81/3605.46	c #Conflicts:     701000 | #Constraints:      39251
3595.81/3605.46	c #Conflicts:     702000 | #Constraints:      40251
3595.81/3605.46	c #Conflicts:     703000 | #Constraints:      41251
3595.81/3605.46	c #Conflicts:     704000 | #Constraints:      42251
3595.81/3605.46	c #Conflicts:     705000 | #Constraints:      43251
3595.81/3605.46	c INPROCESSING
3595.81/3605.46	c GARBAGE COLLECT
3595.81/3605.46	c #Conflicts:     706000 | #Constraints:      27649
3595.81/3605.46	c #Conflicts:     707000 | #Constraints:      28649
3595.81/3605.46	c #Conflicts:     708000 | #Constraints:      29649
3595.81/3605.46	c #Conflicts:     709000 | #Constraints:      30649
3595.81/3605.46	c #Conflicts:     710000 | #Constraints:      31649
3595.81/3605.46	c #Conflicts:     711000 | #Constraints:      32649
3595.81/3605.46	c #Conflicts:     712000 | #Constraints:      33649
3595.81/3605.46	c #Conflicts:     713000 | #Constraints:      34649
3595.81/3605.46	c #Conflicts:     714000 | #Constraints:      35649
3595.81/3605.46	c #Conflicts:     715000 | #Constraints:      36649
3595.81/3605.46	c #Conflicts:     716000 | #Constraints:      37649
3595.81/3605.46	c #Conflicts:     717000 | #Constraints:      38649
3595.81/3605.46	c #Conflicts:     718000 | #Constraints:      39649
3595.81/3605.46	c #Conflicts:     719000 | #Constraints:      40649
3595.81/3605.46	c #Conflicts:     720000 | #Constraints:      41649
3595.81/3605.46	c #Conflicts:     721000 | #Constraints:      42649
3595.81/3605.46	c #Conflicts:     722000 | #Constraints:      43649
3595.81/3605.46	c INPROCESSING
3595.81/3605.46	c GARBAGE COLLECT
3595.81/3605.46	c #Conflicts:     723000 | #Constraints:      27883
3595.81/3605.46	c #Conflicts:     724000 | #Constraints:      28883
3595.81/3605.46	c #Conflicts:     725000 | #Constraints:      29883
3595.81/3605.46	c #Conflicts:     726000 | #Constraints:      30883
3595.81/3605.46	c #Conflicts:     727000 | #Constraints:      31883
3595.81/3605.46	c #Conflicts:     728000 | #Constraints:      32883
3595.81/3605.46	c #Conflicts:     729000 | #Constraints:      33883
3595.81/3605.46	c #Conflicts:     730000 | #Constraints:      34883
3595.81/3605.46	c #Conflicts:     731000 | #Constraints:      35883
3595.81/3605.46	c #Conflicts:     732000 | #Constraints:      36883
3595.81/3605.46	c #Conflicts:     733000 | #Constraints:      37883
3595.81/3605.46	c #Conflicts:     734000 | #Constraints:      38883
3595.81/3605.46	c #Conflicts:     735000 | #Constraints:      39883
3595.81/3605.46	c #Conflicts:     736000 | #Constraints:      40883
3595.81/3605.46	c #Conflicts:     737000 | #Constraints:      41883
3595.81/3605.46	c #Conflicts:     738000 | #Constraints:      42883
3595.81/3605.46	c #Conflicts:     739000 | #Constraints:      43883
3595.81/3605.46	c INPROCESSING
3595.81/3605.46	c GARBAGE COLLECT
3600.10/3609.70	c #Conflicts:     740000 | #Constraints:      27845
3600.10/3609.70	c cpu time 3572.03 s
3600.10/3609.70	c deterministic time 1 1.00e+00
3600.10/3609.70	c optimization time 3571.99 s
3600.10/3609.70	c total solve time 0 s
3600.10/3609.70	c core-guided solve time 0 s
3600.10/3609.70	c propagation time 0.003123 s
3600.10/3609.70	c conflict analysis time 0 s
3600.10/3609.70	c propagations 0
3600.10/3609.70	c resolve steps 0
3600.10/3609.70	c decisions 0
3600.10/3609.70	c conflicts 0
3600.10/3609.70	c restarts 0
3600.10/3609.70	c inprocessing phases 0
3600.10/3609.70	c garbage collections 0 ,( -nan )
3600.10/3609.70	c input clauses 9940 ,( 100.00 )
3600.10/3609.70	c input cardinalities 0 ,( 0.00 )
3600.10/3609.70	c input general constraints 0 ,( 0.00 )
3600.10/3609.70	c input average constraint length 2.00
3600.10/3609.70	c input average constraint degree 1.00
3600.10/3609.70	c learned clauses 0 ,( 0.00 )
3600.10/3609.70	c learned cardinalities 0 ,( 0.00 )
3600.10/3609.70	c learned general constraints 0 ,( 0.00 )
3600.10/3609.70	c learned average constraint length 0.00
3600.10/3609.70	c learned average constraint degree 0.00
3600.10/3609.70	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.10/3609.70	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.10/3609.70	c watched   constraints 0 ,( -nan ) 
3600.10/3609.70	c counting  constraints 0 ,( -nan ) 
3600.10/3609.70	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.10/3609.70	c gcd simplifications 0
3600.10/3609.70	c detected cardinalities 0
3600.10/3609.70	c weakened non-implied lits 0
3600.10/3609.70	c weakened non-implying lits 0
3600.10/3609.70	c original variables 4970
3600.10/3609.70	c clausal propagations 0
3600.10/3609.70	c cardinality propagations 0
3600.10/3609.70	c watched propagations 0
3600.10/3609.70	c counting propagations 0
3600.10/3609.70	c watch lookups 0
3600.10/3609.70	c watch backjump lookups 0
3600.10/3609.70	c watch checks 0
3600.10/3609.70	c propagation checks 0
3600.10/3609.70	c constraint additions 0
3600.10/3609.70	c trail pops 0
3600.10/3609.70	c formula constraints 9940
3600.10/3609.70	c learned constraints 0
3600.10/3609.70	c bound constraints 0
3600.10/3609.70	c core-guided constraints 0
3600.10/3609.70	c encountered formula constraints 0
3600.10/3609.70	c encountered learned constraints 0
3600.10/3609.70	c encountered bound constraints 0
3600.10/3609.70	c encountered core-guided constraints 0
3600.10/3609.70	c LP total time 0 s
3600.10/3609.70	c LP solve time 0 s
3600.10/3609.70	c LP constraints added 0
3600.10/3609.70	c LP constraints removed 0
3600.10/3609.70	c LP pivots internal 0
3600.10/3609.70	c LP pivots root 0
3600.10/3609.70	c LP calls 0
3600.10/3609.70	c LP optimalities 0
3600.10/3609.70	c LP no pivot count 0
3600.10/3609.70	c LP infeasibilities 0
3600.10/3609.70	c LP valid Farkas constraints 0
3600.10/3609.70	c LP learned Farkas constraints 0
3600.10/3609.70	c LP basis resets 0
3600.10/3609.70	c LP cycling count 0
3600.10/3609.70	c LP singular count 0
3600.10/3609.70	c LP no primal count 0
3600.10/3609.70	c LP no farkas count 0
3600.10/3609.70	c LP other issue count 0
3600.10/3609.70	c LP Gomory cuts 0
3600.10/3609.70	c LP learned cuts 0
3600.10/3609.70	c LP deleted cuts 0
3600.10/3609.70	c LP encountered Gomory constraints 0
3600.10/3609.70	c LP encountered Farkas constraints 0
3600.10/3609.70	c LP encountered learned Farkas constraints 0
3600.10/3609.70	c CG auxiliary variables introduced 0
3600.10/3609.70	c CG solutions found 0
3600.10/3609.70	c CG cores constructed 0
3600.10/3609.70	c CG core cardinality constraints returned 0
3600.10/3609.70	c CG unit cores 0
3600.10/3609.70	c CG single cores 0
3600.10/3609.70	c CG blocks removed during cardinality reduction 0
3600.10/3609.70	c CG first core best 0
3600.10/3609.70	c CG decision core best 0
3600.10/3609.70	c CG core reduction tie 0
3600.10/3609.70	c CG core degree average 0.00
3600.10/3609.70	c CG core slack average 0.00
3600.10/3609.70	c CG core upper bound improvements 0
3600.10/3609.70	c STR number of successful calls 0
3600.10/3609.70	c STR number of unsuccessful calls 0
3600.10/3609.70	c STR number of inconclusive calls 0
3600.10/3609.70	c STR number of successful attempts 0
3600.10/3609.70	c STR number of unsuccessful attempts 0
3600.10/3609.70	c STR number of inconclusive attempts 0
3600.10/3609.70	c STR average degree increase per successful call inf
3600.10/3609.70	c STR average degree increase per successful attempt inf
3600.10/3609.70	c STR total number of conflicts for successful attempts 0
3600.10/3609.70	c STR total number of conflicts for unsuccessful attempts 0
3600.10/3609.70	c STR total number of conflicts for inconclusive attempts 0
3600.10/3609.70	c STR average number of conflicts per successful attempt inf
3600.10/3609.70	c STR average number of conflicts per unsuccessful attempt inf
3600.10/3609.70	c STR average number of conflicts per inconclusive attempt inf
3600.10/3609.70	c AVG.sumWPerc -nan 
3600.10/3609.70	c bigint constraints 0 
3600.10/3609.70	s UNKNOWN
3600.10/3609.70	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 (59038 MiB free)
  memory of node 1: 64465 MiB (63654 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=83940, runsolver pid=83937

[startup+0.100061 s]*
/proc/loadavg: 4.14 4.14 4.11 5/267 83942
/proc/meminfo: memFree=127507428/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=78840 memory=30856 CPUtime=0.08 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 5313 0 0 0 6 2 0 0 20 0 1 0 74308480 80732160 7714 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 19710 7714 2304 1147 0 7137 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83032 KiB
Current children cumulated memory: 33928 KiB

[startup+0.205969 s]*
/proc/loadavg: 4.14 4.14 4.11 5/267 83942
/proc/meminfo: memFree=129492660/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=85456 memory=38920 CPUtime=0.19 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 7339 0 0 0 17 2 0 0 20 0 1 0 74308480 87506944 9730 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 21364 9730 2304 1147 0 8791 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 89648 KiB
Current children cumulated memory: 41992 KiB

[startup+0.306033 s]*
/proc/loadavg: 4.14 4.14 4.11 4/268 83948
/proc/meminfo: memFree=129531860/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=98472 memory=52296 CPUtime=0.29 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 10122 0 0 0 26 3 0 0 20 0 1 0 74308480 100835328 13074 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 24618 13074 2336 1147 0 12045 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 102664 KiB
Current children cumulated memory: 55368 KiB

[startup+0.700207 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129487820/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=130020 memory=83832 CPUtime=0.67 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 15959 0 0 0 63 4 0 0 20 0 1 0 74308480 133140480 20958 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 32505 20958 2336 1147 0 19932 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 134212 KiB
Current children cumulated memory: 86904 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129416628/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=179512 memory=127828 CPUtime=1.47 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 25440 0 0 0 140 7 0 0 20 0 1 0 74308480 183820288 31957 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 44878 31957 2336 1147 0 32305 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 183704 KiB
Current children cumulated memory: 130900 KiB

[startup+3.10585 s]
/proc/loadavg: 4.14 4.14 4.11 5/273 83962
/proc/meminfo: memFree=129247428/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=270160 memory=195544 CPUtime=3.08 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 38805 0 0 0 296 12 0 0 20 0 1 0 74308480 276643840 48886 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 67540 48886 2336 1147 0 54967 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 274352 KiB
Current children cumulated memory: 198616 KiB

[startup+6.3002 s]
/proc/loadavg: 4.12 4.13 4.10 5/273 83962
/proc/meminfo: memFree=129128920/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=301508 memory=210932 CPUtime=6.26 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 41108 0 0 0 608 18 0 0 20 0 1 0 74308480 308744192 52733 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 75377 52733 2336 1147 0 62804 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 305700 KiB
Current children cumulated memory: 214004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 83962
/proc/meminfo: memFree=128997688/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=301508 memory=219208 CPUtime=12.64 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 41139 0 0 0 1229 35 0 0 20 0 1 0 74308480 308744192 54802 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 75377 54802 2336 1147 0 62804 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 305700 KiB
Current children cumulated memory: 222280 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.14 4.11 5/273 83962
/proc/meminfo: memFree=128686644/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=471644 memory=350180 CPUtime=25.41 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 65209 0 0 0 2483 58 0 0 20 0 1 0 74308480 482963456 87545 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 117911 87545 2336 1147 0 105338 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 475836 KiB
Current children cumulated memory: 353252 KiB

[startup+51.106 s]
/proc/loadavg: 4.11 4.13 4.10 5/273 83962
/proc/meminfo: memFree=128354340/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=573468 memory=441824 CPUtime=50.95 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 78937 0 0 0 5015 80 0 0 20 0 1 0 74308480 587231232 110456 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 143367 110456 2336 1147 0 130794 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 577660 KiB
Current children cumulated memory: 444896 KiB

[startup+102.3 s]
/proc/loadavg: 4.36 4.20 4.13 5/273 83964
/proc/meminfo: memFree=127705528/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=789032 memory=583452 CPUtime=102.01 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 111303 0 0 0 10062 139 0 0 20 0 1 0 74308480 807968768 145863 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 197258 145863 2336 1147 0 184685 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 793224 KiB
Current children cumulated memory: 586524 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.19 4.13 5/272 83972
/proc/meminfo: memFree=126978540/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=827788 memory=684260 CPUtime=161.85 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 126336 0 0 0 15992 193 0 0 20 0 1 0 74308480 847654912 171065 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 206947 171065 2336 1147 0 194374 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 831980 KiB
Current children cumulated memory: 687332 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/271 83974
/proc/meminfo: memFree=126570644/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=828332 memory=684900 CPUtime=221.69 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 126477 0 0 0 21926 243 0 0 20 0 1 0 74308480 848211968 171225 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0

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

/proc/83942/statm: 419565 373948 2336 1147 0 406992 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 1682452 KiB
Current children cumulated memory: 1498864 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/271 84133
/proc/meminfo: memFree=108009592/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1678604 memory=1496176 CPUtime=3153.83 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 218709 0 0 0 312803 2580 0 0 20 0 1 0 74308480 1718890496 374044 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419651 374044 2336 1147 0 407078 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 1682796 KiB
Current children cumulated memory: 1499248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/271 84135
/proc/meminfo: memFree=107718364/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1678604 memory=1496176 CPUtime=3213.67 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 218864 0 0 0 318755 2612 0 0 20 0 1 0 74308480 1718890496 374044 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419651 374044 2336 1147 0 407078 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 1682796 KiB
Current children cumulated memory: 1499248 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/271 84137
/proc/meminfo: memFree=107422852/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3273.52 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 218954 0 0 0 324708 2644 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/271 84139
/proc/meminfo: memFree=107121040/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3333.37 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 218967 0 0 0 330651 2686 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/270 84141
/proc/meminfo: memFree=106806820/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3393.22 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 218981 0 0 0 336598 2724 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/272 84146
/proc/meminfo: memFree=106551584/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3453.07 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 219144 0 0 0 342560 2747 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 84148
/proc/meminfo: memFree=106276344/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3512.92 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 219166 0 0 0 348519 2773 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 84150
/proc/meminfo: memFree=105995384/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3572.77 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 219166 0 0 0 354479 2798 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3572.77 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.09 4/262 84186
/proc/meminfo: memFree=113666712/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3600.1 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 219168 0 0 0 357203 2807 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

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

[startup+3609.7 s]
# the end of solver process 83940 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.001974 s

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

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

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

[startup+3609.7 s]
/proc/loadavg: 4.13 4.12 4.09 4/262 84186
/proc/meminfo: memFree=113666712/131249988 swapFree=33010160/33010684
[pid=83940] ppid=83937 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/83940/stat : 83940 (run-opt-log.sh) S 83937 83940 83021 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 74308479 4292608 768 18446744073709551615 94197953138688 94197954033221 140726493785984 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94197954272272 94197954320016 94197961310208 140726493792545 140726493792740 140726493792740 140726493798342 0
/proc/83940/statm: 1048 768 704 219 0 110 0
[pid=83942] ppid=83940 vsize=1679116 memory=1496432 CPUtime=3600.1 cores=0,2
/proc/83942/stat : 83942 (roundingsat) R 83940 83940 83021 0 -1 4194304 219168 0 0 0 357203 2807 0 0 20 0 1 0 74308480 1719414784 374108 18446744073709551615 4227072 8923433 140722013350944 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 13725696 140722013358418 140722013358632 140722013358632 140722013364202 0
/proc/83942/statm: 419779 374108 2336 1147 0 407206 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1683308 KiB
Current children cumulated memory: 1499504 KiB

Child status: 2

Real time (s): 3609.74
CPU time (s): 3600.12
CPU user time (s): 3572.04
CPU system time (s): 28.078
CPU usage (%): 99.7335
Max. virtual memory (cumulated for all children) (KiB): 1683308
Max. memory (cumulated for all children) (KiB): 1499504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.04
system time used= 28.078
maximum resident set size= 1496816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219400
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16788456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 890
involuntary context switches= 5249


# summary of solver processes directly reported to runsolver:
#   pid: 83940,83942
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3572.04
#   total CPU system time (s): 28.078

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40192 second user time and 17.601 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-04 01:45:09
IDJOB=4521677
IDBENCH=178411
IDSOLVER=3351
FILE ID=nodeC020/4521677-1751586309
RUNJOBID= nodeC020-1751579055-83031
SLURM_JOB_ID= 9598813
Free space on /tmp= 431752 MiB

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

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

MD5SUM BENCH= 0db82a785ca934c3491ed1e2c41fa4ed
RANDOM SEED=824096274

nodeC020 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		: 3600.169
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	: 6999.79
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		: 3644.858
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	: 6999.79
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		: 3599.908
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	: 6999.79
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		: 3599.901
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	: 6999.79
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		: 3599.770
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	: 6999.79
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		: 3599.890
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	: 6999.79
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		: 3603.873
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	: 6999.79
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		: 3692.584
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	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        124740852 kB
MemAvailable:   129578728 kB
Buffers:            2128 kB
Cached:          5624080 kB
SwapCached:            8 kB
Active:           787160 kB
Inactive:        5058628 kB
Active(anon):     213092 kB
Inactive(anon):    24568 kB
Active(file):     574068 kB
Inactive(file):  5034060 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             34776 kB
Writeback:            12 kB
AnonPages:        222688 kB
Mapped:           113332 kB
Shmem:             18044 kB
KReclaimable:     137972 kB
Slab:             230688 kB
SReclaimable:     137972 kB
SUnreclaim:        92716 kB
KernelStack:        4324 kB
PageTables:         3376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     548472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431764 MiB
End job on nodeC020 at 2025-07-04 02:45:19