Trace number 4521676

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.05 3609.51

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521676-1751589208/watcher-4521676-1751589208 -o /tmp/evaluation-result-4521676-1751589208/solver-4521676-1751589208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84118 --watchdog 3760 run-opt.sh HOME/instance-4521676-1751589208.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 4.14 4.11 4.05 4/263 84603
/proc/meminfo: memFree=127712880/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=78372 memory=30668 CPUtime=0.09 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 5205 0 0 0 6 3 0 0 20 0 1 0 74543328 80252928 7667 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 19593 7667 2368 1147 0 7020 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 82564 KiB
Current children cumulated memory: 33740 KiB

[startup+0.205709 s]*
/proc/loadavg: 4.14 4.11 4.05 4/263 84603
/proc/meminfo: memFree=127699712/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=87584 memory=41364 CPUtime=0.19 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 7369 0 0 0 16 3 0 0 20 0 1 0 74543328 89686016 10341 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 21896 10341 2368 1147 0 9323 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91776 KiB
Current children cumulated memory: 44436 KiB

[startup+0.305686 s]*
/proc/loadavg: 4.14 4.11 4.05 4/265 84609
/proc/meminfo: memFree=127683584/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=102168 memory=52756 CPUtime=0.29 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 10223 0 0 0 26 3 0 0 20 0 1 0 74543328 104620032 13189 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 25542 13189 2368 1147 0 12969 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106360 KiB
Current children cumulated memory: 55828 KiB

[startup+0.700181 s]
/proc/loadavg: 4.14 4.11 4.05 4/264 84624
/proc/meminfo: memFree=127663756/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=128896 memory=82884 CPUtime=0.67 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 15705 0 0 0 63 4 0 0 20 0 1 0 74543328 131989504 20721 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 32224 20721 2368 1147 0 19651 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 133088 KiB
Current children cumulated memory: 85956 KiB

[startup+1.50021 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127582224/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=177840 memory=130280 CPUtime=1.47 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 25511 0 0 0 140 7 0 0 20 0 1 0 74543328 182108160 32570 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 44460 32570 2368 1147 0 31887 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 182032 KiB
Current children cumulated memory: 133352 KiB

[startup+3.10533 s]
/proc/loadavg: 4.13 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127453760/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=267032 memory=200664 CPUtime=3.07 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 39021 0 0 0 295 12 0 0 20 0 1 0 74543328 273440768 50166 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 66758 50166 2368 1147 0 54185 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 271224 KiB
Current children cumulated memory: 203736 KiB

[startup+6.30021 s]
/proc/loadavg: 4.12 4.11 4.05 5/268 84641
/proc/meminfo: memFree=127370084/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=298516 memory=208796 CPUtime=6.26 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 40563 0 0 0 607 19 0 0 20 0 1 0 74543328 305680384 52199 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 74629 52199 2368 1147 0 62056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 302708 KiB
Current children cumulated memory: 211868 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.11 4.05 5/268 84642
/proc/meminfo: memFree=127336324/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=298720 memory=219288 CPUtime=12.64 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 40639 0 0 0 1231 33 0 0 20 0 1 0 74543328 305889280 54822 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 74680 54822 2368 1147 0 62107 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 302912 KiB
Current children cumulated memory: 222360 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.10 4.05 5/268 84642
/proc/meminfo: memFree=127181980/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=468596 memory=355768 CPUtime=25.41 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 66605 0 0 0 2489 52 0 0 20 0 1 0 74543328 479842304 88942 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 117149 88942 2368 1147 0 104576 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 472788 KiB
Current children cumulated memory: 358840 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 4.09 4.04 5/268 84642
/proc/meminfo: memFree=126913360/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=765168 memory=552968 CPUtime=50.95 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 105662 0 0 0 5022 73 0 0 20 0 1 0 74543328 783532032 138242 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 191292 138242 2368 1147 0 178719 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 769360 KiB
Current children cumulated memory: 556040 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/269 84645
/proc/meminfo: memFree=126781096/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=788208 memory=594044 CPUtime=102.02 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 111361 0 0 0 10081 121 0 0 20 0 1 0 74543328 807124992 148511 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 197052 148511 2368 1147 0 184479 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 792400 KiB
Current children cumulated memory: 597116 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/269 84647
/proc/meminfo: memFree=126574484/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=824660 memory=681876 CPUtime=161.87 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 125699 0 0 0 16025 162 0 0 20 0 1 0 74543328 844451840 170469 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 206165 170469 2368 1147 0 193592 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 828852 KiB
Current children cumulated memory: 684948 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/269 84649
/proc/meminfo: memFree=126543636/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=825460 memory=682644 CPUtime=221.73 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 125898 0 0 0 21968 205 0 0 20 0 1 0 74543328 845271040 170661 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 206365 170661 2368 1147 0 193792 0

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

/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3094.1 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/269 84804
/proc/meminfo: memFree=124829536/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3153.95 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 222784 0 0 0 313439 1956 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3153.95 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 84806
/proc/meminfo: memFree=124829784/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3213.81 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 222816 0 0 0 319397 1984 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3213.81 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 84808
/proc/meminfo: memFree=124831132/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3273.65 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 222980 0 0 0 325365 2000 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/269 84810
/proc/meminfo: memFree=124827856/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3333.5 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223001 0 0 0 331328 2022 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 84812
/proc/meminfo: memFree=124829472/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3393.36 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223001 0 0 0 337299 2037 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 84815
/proc/meminfo: memFree=124830372/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3453.21 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223001 0 0 0 343261 2060 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 84820
/proc/meminfo: memFree=124837048/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506004 CPUtime=3513.06 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223174 0 0 0 349231 2075 0 0 20 0 1 0 74543328 1729294336 376501 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376501 2368 1147 0 409618 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509076 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 84827
/proc/meminfo: memFree=124785372/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506132 CPUtime=3572.91 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223196 0 0 0 355195 2096 0 0 20 0 1 0 74543328 1729294336 376533 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376533 2368 1147 0 409618 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.12 4.09 4.09 4/259 84845
/proc/meminfo: memFree=125810656/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506132 CPUtime=3600.03 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223196 0 0 0 357900 2103 0 0 20 0 1 0 74543328 1729294336 376533 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376533 2368 1147 0 409618 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509204 KiB

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

[startup+3609.51 s]
# the end of solver process 84601 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.001825 s

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

# cumulated CPU time of all completed processes:  user=3579.01 s, system=21.0377 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.5 s]
/proc/loadavg: 4.12 4.09 4.09 4/259 84845
/proc/meminfo: memFree=125810656/131250000 swapFree=33010684/33010684
[pid=84601] ppid=84598 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/84601/stat : 84601 (run-opt.sh) S 84598 84601 84107 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 74543327 4292608 768 18446744073709551615 94412620681216 94412621575749 140733820083968 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94412621814800 94412621862544 94412631633920 140733820086637 140733820086760 140733820086760 140733820092362 0
/proc/84601/statm: 1048 768 704 219 0 110 0
[pid=84603] ppid=84601 vsize=1688764 memory=1506132 CPUtime=3600.03 cores=4,6
/proc/84603/stat : 84603 (roundingsat) R 84601 84601 84107 0 -1 4194304 223196 0 0 0 357900 2103 0 0 20 0 1 0 74543328 1729294336 376533 18446744073709551615 4227072 8923433 140732931916880 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16748544 140732931922338 140732931922472 140732931922472 140732931928042 0
/proc/84603/statm: 422191 376533 2368 1147 0 409618 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1692956 KiB
Current children cumulated memory: 1509204 KiB

Child status: 2

Real time (s): 3609.51
CPU time (s): 3600.05
CPU user time (s): 3579.01
CPU system time (s): 21.0377
CPU usage (%): 99.7378
Max. virtual memory (cumulated for all children) (KiB): 1692956
Max. memory (cumulated for all children) (KiB): 1509204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.01
system time used= 21.0377
maximum resident set size= 1506516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276
involuntary context switches= 3261


# summary of solver processes directly reported to runsolver:
#   pid: 84601,84603
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3579.01
#   total CPU system time (s): 21.0377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10458 second user time and 16.5058 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2025-07-04 02:33:28
IDJOB=4521676
IDBENCH=178411
IDSOLVER=3350
FILE ID=nodeC028/4521676-1751589208
RUNJOBID= nodeC028-1751585596-84118
SLURM_JOB_ID= 9598831
Free space on /tmp= 431456 MiB

SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4521676-1751589208/watcher-4521676-1751589208 -o /tmp/evaluation-result-4521676-1751589208/solver-4521676-1751589208 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751585596-84118 --watchdog 3760  run-opt.sh HOME/instance-4521676-1751589208.opb

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

MD5SUM BENCH= 0db82a785ca934c3491ed1e2c41fa4ed
RANDOM SEED=567562656

nodeC028 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.754
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.059
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.107
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3493.247
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.051
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.084
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3600.738
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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		: 3619.623
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127739976 kB
MemAvailable:   129647252 kB
Buffers:            3280 kB
Cached:          2708416 kB
SwapCached:            0 kB
Active:           519508 kB
Inactive:        2399160 kB
Active(anon):     225040 kB
Inactive(anon):        0 kB
Active(file):     294468 kB
Inactive(file):  2399160 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22224 kB
Writeback:             0 kB
AnonPages:        210388 kB
Mapped:           113648 kB
Shmem:             18068 kB
KReclaimable:     105776 kB
Slab:             195344 kB
SReclaimable:     105776 kB
SUnreclaim:        89568 kB
KernelStack:        4240 kB
PageTables:         3496 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     537564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431468 MiB
End job on nodeC028 at 2025-07-04 03:33:38