Trace number 4543284

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls 63f22adUNSAT 595.118 596.757

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
MD5SUM0942a69f21bd48da4c21a008e6f37b2a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.980711
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables980
Total number of constraints981
Number of constraints which are clauses980
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint980
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 245
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 1225
Number of bits of the biggest sum of numbers11
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.02	c #variables 980 #constraints 981
2.77/2.87	c #Conflicts:       1000 | #Constraints:       1980
2.77/2.87	c #Conflicts:       2000 | #Constraints:       2980
2.77/2.87	c INPROCESSING
2.77/2.87	c GARBAGE COLLECT
2.77/2.87	c #Conflicts:       3000 | #Constraints:       3034
2.77/2.87	c #Conflicts:       4000 | #Constraints:       4034
2.77/2.87	c INPROCESSING
2.77/2.87	c GARBAGE COLLECT
2.77/2.87	c #Conflicts:       5000 | #Constraints:       3469
2.77/2.87	c #Conflicts:       6000 | #Constraints:       4469
2.77/2.87	c INPROCESSING
2.77/2.87	c GARBAGE COLLECT
2.77/2.87	c #Conflicts:       7000 | #Constraints:       3486
2.77/2.87	c #Conflicts:       8000 | #Constraints:       4486
2.77/2.87	c #Conflicts:       9000 | #Constraints:       5486
2.77/2.87	c INPROCESSING
2.77/2.87	c GARBAGE COLLECT
2.77/2.87	c #Conflicts:      10000 | #Constraints:       4193
2.77/2.87	c #Conflicts:      11000 | #Constraints:       5193
2.77/2.87	c #Conflicts:      12000 | #Constraints:       6193
2.77/2.87	c INPROCESSING
2.77/2.87	c GARBAGE COLLECT
2.77/2.87	c rational objective 245
27.41/27.56	c #Conflicts:      13000 | #Constraints:       4647
27.41/27.56	c #Conflicts:      14000 | #Constraints:       5647
27.41/27.56	c #Conflicts:      15000 | #Constraints:       6647
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      16000 | #Constraints:       4875
27.41/27.56	c #Conflicts:      17000 | #Constraints:       5875
27.41/27.56	c #Conflicts:      18000 | #Constraints:       6875
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      19000 | #Constraints:       4879
27.41/27.56	c #Conflicts:      20000 | #Constraints:       5879
27.41/27.56	c #Conflicts:      21000 | #Constraints:       6884
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      22000 | #Constraints:       4659
27.41/27.56	c #Conflicts:      23000 | #Constraints:       5661
27.41/27.56	c #Conflicts:      24000 | #Constraints:       6662
27.41/27.56	c #Conflicts:      25000 | #Constraints:       7663
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      26000 | #Constraints:       5234
27.41/27.56	c #Conflicts:      27000 | #Constraints:       6234
27.41/27.56	c #Conflicts:      28000 | #Constraints:       7235
27.41/27.56	c #Conflicts:      29000 | #Constraints:       8235
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      30000 | #Constraints:       5622
27.41/27.56	c #Conflicts:      31000 | #Constraints:       6622
27.41/27.56	c #Conflicts:      32000 | #Constraints:       7622
27.41/27.56	c #Conflicts:      33000 | #Constraints:       8623
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      34000 | #Constraints:       5820
27.41/27.56	c #Conflicts:      35000 | #Constraints:       6821
27.41/27.56	c #Conflicts:      36000 | #Constraints:       7821
27.41/27.56	c #Conflicts:      37000 | #Constraints:       8822
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      38000 | #Constraints:       5824
27.41/27.56	c #Conflicts:      39000 | #Constraints:       6825
27.41/27.56	c #Conflicts:      40000 | #Constraints:       7826
27.41/27.56	c #Conflicts:      41000 | #Constraints:       8827
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      42000 | #Constraints:       5636
27.41/27.56	c #Conflicts:      43000 | #Constraints:       6636
27.41/27.56	c #Conflicts:      44000 | #Constraints:       7637
27.41/27.56	c #Conflicts:      45000 | #Constraints:       8638
27.41/27.56	c #Conflicts:      46000 | #Constraints:       9638
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      47000 | #Constraints:       6239
27.41/27.56	c #Conflicts:      48000 | #Constraints:       7240
27.41/27.56	c #Conflicts:      49000 | #Constraints:       8240
27.41/27.56	c #Conflicts:      50000 | #Constraints:       9242
27.41/27.56	c #Conflicts:      51000 | #Constraints:      10242
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      52000 | #Constraints:       6641
27.41/27.56	c #Conflicts:      53000 | #Constraints:       7641
27.41/27.56	c #Conflicts:      54000 | #Constraints:       8642
27.41/27.56	c #Conflicts:      55000 | #Constraints:       9642
27.41/27.56	c #Conflicts:      56000 | #Constraints:      10643
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      57000 | #Constraints:       6844
27.41/27.56	c #Conflicts:      58000 | #Constraints:       7845
27.41/27.56	c #Conflicts:      59000 | #Constraints:       8845
27.41/27.56	c #Conflicts:      60000 | #Constraints:       9846
27.41/27.56	c #Conflicts:      61000 | #Constraints:      10847
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      62000 | #Constraints:       6842
27.41/27.56	c #Conflicts:      63000 | #Constraints:       7842
27.41/27.56	c #Conflicts:      64000 | #Constraints:       8843
27.41/27.56	c #Conflicts:      65000 | #Constraints:       9843
27.41/27.56	c #Conflicts:      66000 | #Constraints:      10844
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      67000 | #Constraints:       6641
27.41/27.56	c #Conflicts:      68000 | #Constraints:       7642
27.41/27.56	c #Conflicts:      69000 | #Constraints:       8648
27.41/27.56	c #Conflicts:      70000 | #Constraints:       9650
27.41/27.56	c #Conflicts:      71000 | #Constraints:      10651
27.41/27.56	c #Conflicts:      72000 | #Constraints:      11652
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      73000 | #Constraints:       7226
27.41/27.56	c #Conflicts:      74000 | #Constraints:       8226
27.41/27.56	c #Conflicts:      75000 | #Constraints:       9226
27.41/27.56	c #Conflicts:      76000 | #Constraints:      10227
27.41/27.56	c #Conflicts:      77000 | #Constraints:      11227
27.41/27.56	c #Conflicts:      78000 | #Constraints:      12227
27.41/27.56	c INPROCESSING
27.41/27.56	c GARBAGE COLLECT
27.41/27.56	c #Conflicts:      79000 | #Constraints:       7614
27.41/27.56	c #Conflicts:      80000 | #Constraints:       8614
27.41/27.56	c #Conflicts:      81000 | #Constraints:       9615
27.41/27.56	c #Conflicts:      82000 | #Constraints:      10615
61.52/61.76	c #Conflicts:      83000 | #Constraints:      11616
61.52/61.76	c #Conflicts:      84000 | #Constraints:      12616
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:      85000 | #Constraints:       7815
61.52/61.76	c #Conflicts:      86000 | #Constraints:       8816
61.52/61.76	c #Conflicts:      87000 | #Constraints:       9817
61.52/61.76	c #Conflicts:      88000 | #Constraints:      10817
61.52/61.76	c #Conflicts:      89000 | #Constraints:      11818
61.52/61.76	c #Conflicts:      90000 | #Constraints:      12819
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:      91000 | #Constraints:       7811
61.52/61.76	c #Conflicts:      92000 | #Constraints:       8811
61.52/61.76	c #Conflicts:      93000 | #Constraints:       9812
61.52/61.76	c #Conflicts:      94000 | #Constraints:      10812
61.52/61.76	c #Conflicts:      95000 | #Constraints:      11813
61.52/61.76	c #Conflicts:      96000 | #Constraints:      12814
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:      97000 | #Constraints:       7620
61.52/61.76	c #Conflicts:      98000 | #Constraints:       8620
61.52/61.76	c #Conflicts:      99000 | #Constraints:       9621
61.52/61.76	c #Conflicts:     100000 | #Constraints:      10622
61.52/61.76	c #Conflicts:     101000 | #Constraints:      11622
61.52/61.76	c #Conflicts:     102000 | #Constraints:      12623
61.52/61.76	c #Conflicts:     103000 | #Constraints:      13624
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     104000 | #Constraints:       8207
61.52/61.76	c #Conflicts:     105000 | #Constraints:       9207
61.52/61.76	c #Conflicts:     106000 | #Constraints:      10208
61.52/61.76	c #Conflicts:     107000 | #Constraints:      11208
61.52/61.76	c #Conflicts:     108000 | #Constraints:      12209
61.52/61.76	c #Conflicts:     109000 | #Constraints:      13209
61.52/61.76	c #Conflicts:     110000 | #Constraints:      14210
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     111000 | #Constraints:       8608
61.52/61.76	c #Conflicts:     112000 | #Constraints:       9608
61.52/61.76	c #Conflicts:     113000 | #Constraints:      10609
61.52/61.76	c #Conflicts:     114000 | #Constraints:      11609
61.52/61.76	c #Conflicts:     115000 | #Constraints:      12609
61.52/61.76	c #Conflicts:     116000 | #Constraints:      13609
61.52/61.76	c #Conflicts:     117000 | #Constraints:      14610
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     118000 | #Constraints:       8808
61.52/61.76	c #Conflicts:     119000 | #Constraints:       9808
61.52/61.76	c #Conflicts:     120000 | #Constraints:      10809
61.52/61.76	c #Conflicts:     121000 | #Constraints:      11810
61.52/61.76	c #Conflicts:     122000 | #Constraints:      12810
61.52/61.76	c #Conflicts:     123000 | #Constraints:      13811
61.52/61.76	c #Conflicts:     124000 | #Constraints:      14811
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     125000 | #Constraints:       8811
61.52/61.76	c #Conflicts:     126000 | #Constraints:       9811
61.52/61.76	c #Conflicts:     127000 | #Constraints:      10812
61.52/61.76	c #Conflicts:     128000 | #Constraints:      11812
61.52/61.76	c #Conflicts:     129000 | #Constraints:      12812
61.52/61.76	c #Conflicts:     130000 | #Constraints:      13812
61.52/61.76	c #Conflicts:     131000 | #Constraints:      14813
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     132000 | #Constraints:       8613
61.52/61.76	c #Conflicts:     133000 | #Constraints:       9614
61.52/61.76	c #Conflicts:     134000 | #Constraints:      10614
61.52/61.76	c #Conflicts:     135000 | #Constraints:      11614
61.52/61.76	c #Conflicts:     136000 | #Constraints:      12615
61.52/61.76	c #Conflicts:     137000 | #Constraints:      13615
61.52/61.76	c #Conflicts:     138000 | #Constraints:      14616
61.52/61.76	c #Conflicts:     139000 | #Constraints:      15616
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     140000 | #Constraints:       9207
61.52/61.76	c #Conflicts:     141000 | #Constraints:      10207
61.52/61.76	c #Conflicts:     142000 | #Constraints:      11207
61.52/61.76	c #Conflicts:     143000 | #Constraints:      12208
61.52/61.76	c #Conflicts:     144000 | #Constraints:      13208
61.52/61.76	c #Conflicts:     145000 | #Constraints:      14208
61.52/61.76	c #Conflicts:     146000 | #Constraints:      15209
61.52/61.76	c #Conflicts:     147000 | #Constraints:      16210
61.52/61.76	c INPROCESSING
61.52/61.76	c GARBAGE COLLECT
61.52/61.76	c #Conflicts:     148000 | #Constraints:       9609
61.52/61.76	c #Conflicts:     149000 | #Constraints:      10609
61.52/61.76	c #Conflicts:     150000 | #Constraints:      11610
61.52/61.76	c #Conflicts:     151000 | #Constraints:      12610
61.52/61.76	c #Conflicts:     152000 | #Constraints:      13611
61.52/61.76	c #Conflicts:     153000 | #Constraints:      14611
61.52/61.76	c #Conflicts:     154000 | #Constraints:      15612
100.73/101.03	c #Conflicts:     155000 | #Constraints:      16612
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     156000 | #Constraints:       9808
100.73/101.03	c #Conflicts:     157000 | #Constraints:      10808
100.73/101.03	c #Conflicts:     158000 | #Constraints:      11809
100.73/101.03	c #Conflicts:     159000 | #Constraints:      12809
100.73/101.03	c #Conflicts:     160000 | #Constraints:      13810
100.73/101.03	c #Conflicts:     161000 | #Constraints:      14811
100.73/101.03	c #Conflicts:     162000 | #Constraints:      15811
100.73/101.03	c #Conflicts:     163000 | #Constraints:      16811
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     164000 | #Constraints:       9808
100.73/101.03	c #Conflicts:     165000 | #Constraints:      10808
100.73/101.03	c #Conflicts:     166000 | #Constraints:      11809
100.73/101.03	c #Conflicts:     167000 | #Constraints:      12809
100.73/101.03	c #Conflicts:     168000 | #Constraints:      13810
100.73/101.03	c #Conflicts:     169000 | #Constraints:      14811
100.73/101.03	c #Conflicts:     170000 | #Constraints:      15811
100.73/101.03	c #Conflicts:     171000 | #Constraints:      16812
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     172000 | #Constraints:       9607
100.73/101.03	c #Conflicts:     173000 | #Constraints:      10607
100.73/101.03	c #Conflicts:     174000 | #Constraints:      11739
100.73/101.03	c #Conflicts:     175000 | #Constraints:      12741
100.73/101.03	c #Conflicts:     176000 | #Constraints:      13743
100.73/101.03	c #Conflicts:     177000 | #Constraints:      14744
100.73/101.03	c #Conflicts:     178000 | #Constraints:      15745
100.73/101.03	c #Conflicts:     179000 | #Constraints:      16746
100.73/101.03	c #Conflicts:     180000 | #Constraints:      17746
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     181000 | #Constraints:      10277
100.73/101.03	c #Conflicts:     182000 | #Constraints:      11277
100.73/101.03	c #Conflicts:     183000 | #Constraints:      12278
100.73/101.03	c #Conflicts:     184000 | #Constraints:      13278
100.73/101.03	c #Conflicts:     185000 | #Constraints:      14279
100.73/101.03	c #Conflicts:     186000 | #Constraints:      15280
100.73/101.03	c #Conflicts:     187000 | #Constraints:      16280
100.73/101.03	c #Conflicts:     188000 | #Constraints:      17281
100.73/101.03	c #Conflicts:     189000 | #Constraints:      18281
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     190000 | #Constraints:      10646
100.73/101.03	c #Conflicts:     191000 | #Constraints:      11647
100.73/101.03	c #Conflicts:     192000 | #Constraints:      12647
100.73/101.03	c #Conflicts:     193000 | #Constraints:      13648
100.73/101.03	c #Conflicts:     194000 | #Constraints:      14648
100.73/101.03	c #Conflicts:     195000 | #Constraints:      15648
100.73/101.03	c #Conflicts:     196000 | #Constraints:      16649
100.73/101.03	c #Conflicts:     197000 | #Constraints:      17650
100.73/101.03	c #Conflicts:     198000 | #Constraints:      18650
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     199000 | #Constraints:      10830
100.73/101.03	c #Conflicts:     200000 | #Constraints:      11830
100.73/101.03	c #Conflicts:     201000 | #Constraints:      12831
100.73/101.03	c #Conflicts:     202000 | #Constraints:      13832
100.73/101.03	c #Conflicts:     203000 | #Constraints:      14832
100.73/101.03	c #Conflicts:     204000 | #Constraints:      15832
100.73/101.03	c #Conflicts:     205000 | #Constraints:      16833
100.73/101.03	c #Conflicts:     206000 | #Constraints:      17834
100.73/101.03	c #Conflicts:     207000 | #Constraints:      18834
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     208000 | #Constraints:      10825
100.73/101.03	c #Conflicts:     209000 | #Constraints:      11825
100.73/101.03	c #Conflicts:     210000 | #Constraints:      12826
100.73/101.03	c #Conflicts:     211000 | #Constraints:      13827
100.73/101.03	c #Conflicts:     212000 | #Constraints:      14827
100.73/101.03	c #Conflicts:     213000 | #Constraints:      15827
100.73/101.03	c #Conflicts:     214000 | #Constraints:      16828
100.73/101.03	c #Conflicts:     215000 | #Constraints:      17828
100.73/101.03	c #Conflicts:     216000 | #Constraints:      18828
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     217000 | #Constraints:      10622
100.73/101.03	c #Conflicts:     218000 | #Constraints:      11622
100.73/101.03	c #Conflicts:     219000 | #Constraints:      12628
100.73/101.03	c #Conflicts:     220000 | #Constraints:      13629
100.73/101.03	c #Conflicts:     221000 | #Constraints:      14630
100.73/101.03	c #Conflicts:     222000 | #Constraints:      15631
100.73/101.03	c #Conflicts:     223000 | #Constraints:      16631
100.73/101.03	c #Conflicts:     224000 | #Constraints:      17631
100.73/101.03	c #Conflicts:     225000 | #Constraints:      18632
100.73/101.03	c #Conflicts:     226000 | #Constraints:      19632
100.73/101.03	c INPROCESSING
100.73/101.03	c GARBAGE COLLECT
100.73/101.03	c #Conflicts:     227000 | #Constraints:      11230
146.28/146.73	c #Conflicts:     228000 | #Constraints:      12230
146.28/146.73	c #Conflicts:     229000 | #Constraints:      13230
146.28/146.73	c #Conflicts:     230000 | #Constraints:      14230
146.28/146.73	c #Conflicts:     231000 | #Constraints:      15231
146.28/146.73	c #Conflicts:     232000 | #Constraints:      16231
146.28/146.73	c #Conflicts:     233000 | #Constraints:      17231
146.28/146.73	c #Conflicts:     234000 | #Constraints:      18231
146.28/146.73	c #Conflicts:     235000 | #Constraints:      19232
146.28/146.73	c #Conflicts:     236000 | #Constraints:      20232
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     237000 | #Constraints:      11621
146.28/146.73	c #Conflicts:     238000 | #Constraints:      12622
146.28/146.73	c #Conflicts:     239000 | #Constraints:      13622
146.28/146.73	c #Conflicts:     240000 | #Constraints:      14622
146.28/146.73	c #Conflicts:     241000 | #Constraints:      15623
146.28/146.73	c #Conflicts:     242000 | #Constraints:      16623
146.28/146.73	c #Conflicts:     243000 | #Constraints:      17624
146.28/146.73	c #Conflicts:     244000 | #Constraints:      18624
146.28/146.73	c #Conflicts:     245000 | #Constraints:      19624
146.28/146.73	c #Conflicts:     246000 | #Constraints:      20625
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     247000 | #Constraints:      11816
146.28/146.73	c #Conflicts:     248000 | #Constraints:      12816
146.28/146.73	c #Conflicts:     249000 | #Constraints:      13819
146.28/146.73	c #Conflicts:     250000 | #Constraints:      14820
146.28/146.73	c #Conflicts:     251000 | #Constraints:      15820
146.28/146.73	c #Conflicts:     252000 | #Constraints:      16821
146.28/146.73	c #Conflicts:     253000 | #Constraints:      17821
146.28/146.73	c #Conflicts:     254000 | #Constraints:      18822
146.28/146.73	c #Conflicts:     255000 | #Constraints:      19822
146.28/146.73	c #Conflicts:     256000 | #Constraints:      20822
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     257000 | #Constraints:      11817
146.28/146.73	c #Conflicts:     258000 | #Constraints:      12817
146.28/146.73	c #Conflicts:     259000 | #Constraints:      13818
146.28/146.73	c #Conflicts:     260000 | #Constraints:      14818
146.28/146.73	c #Conflicts:     261000 | #Constraints:      15818
146.28/146.73	c #Conflicts:     262000 | #Constraints:      16819
146.28/146.73	c #Conflicts:     263000 | #Constraints:      17819
146.28/146.73	c #Conflicts:     264000 | #Constraints:      18819
146.28/146.73	c #Conflicts:     265000 | #Constraints:      19820
146.28/146.73	c #Conflicts:     266000 | #Constraints:      20820
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     267000 | #Constraints:      11620
146.28/146.73	c #Conflicts:     268000 | #Constraints:      12620
146.28/146.73	c #Conflicts:     269000 | #Constraints:      13620
146.28/146.73	c #Conflicts:     270000 | #Constraints:      14620
146.28/146.73	c #Conflicts:     271000 | #Constraints:      15620
146.28/146.73	c #Conflicts:     272000 | #Constraints:      16621
146.28/146.73	c #Conflicts:     273000 | #Constraints:      17621
146.28/146.73	c #Conflicts:     274000 | #Constraints:      18622
146.28/146.73	c #Conflicts:     275000 | #Constraints:      19623
146.28/146.73	c #Conflicts:     276000 | #Constraints:      20623
146.28/146.73	c #Conflicts:     277000 | #Constraints:      21624
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     278000 | #Constraints:      12216
146.28/146.73	c #Conflicts:     279000 | #Constraints:      13217
146.28/146.73	c #Conflicts:     280000 | #Constraints:      14218
146.28/146.73	c #Conflicts:     281000 | #Constraints:      15218
146.28/146.73	c #Conflicts:     282000 | #Constraints:      16218
146.28/146.73	c #Conflicts:     283000 | #Constraints:      17218
146.28/146.73	c #Conflicts:     284000 | #Constraints:      18219
146.28/146.73	c #Conflicts:     285000 | #Constraints:      19219
146.28/146.73	c #Conflicts:     286000 | #Constraints:      20220
146.28/146.73	c #Conflicts:     287000 | #Constraints:      21220
146.28/146.73	c #Conflicts:     288000 | #Constraints:      22221
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     289000 | #Constraints:      12614
146.28/146.73	c #Conflicts:     290000 | #Constraints:      13632
146.28/146.73	c #Conflicts:     291000 | #Constraints:      14633
146.28/146.73	c #Conflicts:     292000 | #Constraints:      15633
146.28/146.73	c #Conflicts:     293000 | #Constraints:      16634
146.28/146.73	c #Conflicts:     294000 | #Constraints:      17634
146.28/146.73	c #Conflicts:     295000 | #Constraints:      18635
146.28/146.73	c #Conflicts:     296000 | #Constraints:      19635
146.28/146.73	c #Conflicts:     297000 | #Constraints:      20635
146.28/146.73	c #Conflicts:     298000 | #Constraints:      21636
146.28/146.73	c #Conflicts:     299000 | #Constraints:      22636
146.28/146.73	c INPROCESSING
146.28/146.73	c GARBAGE COLLECT
146.28/146.73	c #Conflicts:     300000 | #Constraints:      12826
146.28/146.73	c #Conflicts:     301000 | #Constraints:      13827
146.28/146.73	c #Conflicts:     302000 | #Constraints:      14827
194.25/194.80	c #Conflicts:     303000 | #Constraints:      15827
194.25/194.80	c #Conflicts:     304000 | #Constraints:      16828
194.25/194.80	c #Conflicts:     305000 | #Constraints:      17828
194.25/194.80	c #Conflicts:     306000 | #Constraints:      18828
194.25/194.80	c #Conflicts:     307000 | #Constraints:      19829
194.25/194.80	c #Conflicts:     308000 | #Constraints:      20829
194.25/194.80	c #Conflicts:     309000 | #Constraints:      21829
194.25/194.80	c #Conflicts:     310000 | #Constraints:      22829
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     311000 | #Constraints:      12828
194.25/194.80	c #Conflicts:     312000 | #Constraints:      13828
194.25/194.80	c #Conflicts:     313000 | #Constraints:      14828
194.25/194.80	c #Conflicts:     314000 | #Constraints:      15828
194.25/194.80	c #Conflicts:     315000 | #Constraints:      16829
194.25/194.80	c #Conflicts:     316000 | #Constraints:      17829
194.25/194.80	c #Conflicts:     317000 | #Constraints:      18829
194.25/194.80	c #Conflicts:     318000 | #Constraints:      19830
194.25/194.80	c #Conflicts:     319000 | #Constraints:      20831
194.25/194.80	c #Conflicts:     320000 | #Constraints:      21831
194.25/194.80	c #Conflicts:     321000 | #Constraints:      22832
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     322000 | #Constraints:      12622
194.25/194.80	c #Conflicts:     323000 | #Constraints:      13624
194.25/194.80	c #Conflicts:     324000 | #Constraints:      14624
194.25/194.80	c #Conflicts:     325000 | #Constraints:      15626
194.25/194.80	c #Conflicts:     326000 | #Constraints:      16626
194.25/194.80	c #Conflicts:     327000 | #Constraints:      17627
194.25/194.80	c #Conflicts:     328000 | #Constraints:      18627
194.25/194.80	c #Conflicts:     329000 | #Constraints:      19628
194.25/194.80	c #Conflicts:     330000 | #Constraints:      20628
194.25/194.80	c #Conflicts:     331000 | #Constraints:      21628
194.25/194.80	c #Conflicts:     332000 | #Constraints:      22629
194.25/194.80	c #Conflicts:     333000 | #Constraints:      23630
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     334000 | #Constraints:      13180
194.25/194.80	c #Conflicts:     335000 | #Constraints:      14181
194.25/194.80	c #Conflicts:     336000 | #Constraints:      15181
194.25/194.80	c #Conflicts:     337000 | #Constraints:      16182
194.25/194.80	c #Conflicts:     338000 | #Constraints:      17182
194.25/194.80	c #Conflicts:     339000 | #Constraints:      18183
194.25/194.80	c #Conflicts:     340000 | #Constraints:      19183
194.25/194.80	c #Conflicts:     341000 | #Constraints:      20183
194.25/194.80	c #Conflicts:     342000 | #Constraints:      21183
194.25/194.80	c #Conflicts:     343000 | #Constraints:      22184
194.25/194.80	c #Conflicts:     344000 | #Constraints:      23184
194.25/194.80	c #Conflicts:     345000 | #Constraints:      24185
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     346000 | #Constraints:      13598
194.25/194.80	c #Conflicts:     347000 | #Constraints:      14599
194.25/194.80	c #Conflicts:     348000 | #Constraints:      15599
194.25/194.80	c #Conflicts:     349000 | #Constraints:      16599
194.25/194.80	c #Conflicts:     350000 | #Constraints:      17600
194.25/194.80	c #Conflicts:     351000 | #Constraints:      18600
194.25/194.80	c #Conflicts:     352000 | #Constraints:      19601
194.25/194.80	c #Conflicts:     353000 | #Constraints:      20601
194.25/194.80	c #Conflicts:     354000 | #Constraints:      21602
194.25/194.80	c #Conflicts:     355000 | #Constraints:      22602
194.25/194.80	c #Conflicts:     356000 | #Constraints:      23603
194.25/194.80	c #Conflicts:     357000 | #Constraints:      24603
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     358000 | #Constraints:      13805
194.25/194.80	c #Conflicts:     359000 | #Constraints:      14805
194.25/194.80	c #Conflicts:     360000 | #Constraints:      15805
194.25/194.80	c #Conflicts:     361000 | #Constraints:      16805
194.25/194.80	c #Conflicts:     362000 | #Constraints:      17805
194.25/194.80	c #Conflicts:     363000 | #Constraints:      18806
194.25/194.80	c #Conflicts:     364000 | #Constraints:      19806
194.25/194.80	c #Conflicts:     365000 | #Constraints:      20806
194.25/194.80	c #Conflicts:     366000 | #Constraints:      21806
194.25/194.80	c #Conflicts:     367000 | #Constraints:      22807
194.25/194.80	c #Conflicts:     368000 | #Constraints:      23807
194.25/194.80	c #Conflicts:     369000 | #Constraints:      24807
194.25/194.80	c INPROCESSING
194.25/194.80	c GARBAGE COLLECT
194.25/194.80	c #Conflicts:     370000 | #Constraints:      13813
194.25/194.80	c #Conflicts:     371000 | #Constraints:      14814
194.25/194.80	c #Conflicts:     372000 | #Constraints:      15814
194.25/194.80	c #Conflicts:     373000 | #Constraints:      16814
194.25/194.80	c #Conflicts:     374000 | #Constraints:      17814
194.25/194.80	c #Conflicts:     375000 | #Constraints:      18815
194.25/194.80	c #Conflicts:     376000 | #Constraints:      19816
194.25/194.80	c #Conflicts:     377000 | #Constraints:      20816
242.71/243.42	c #Conflicts:     378000 | #Constraints:      21816
242.71/243.42	c #Conflicts:     379000 | #Constraints:      22817
242.71/243.42	c #Conflicts:     380000 | #Constraints:      23817
242.71/243.42	c #Conflicts:     381000 | #Constraints:      24817
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     382000 | #Constraints:      13614
242.71/243.42	c #Conflicts:     383000 | #Constraints:      14615
242.71/243.42	c #Conflicts:     384000 | #Constraints:      15615
242.71/243.42	c #Conflicts:     385000 | #Constraints:      16616
242.71/243.42	c #Conflicts:     386000 | #Constraints:      17616
242.71/243.42	c #Conflicts:     387000 | #Constraints:      18617
242.71/243.42	c #Conflicts:     388000 | #Constraints:      19617
242.71/243.42	c #Conflicts:     389000 | #Constraints:      20618
242.71/243.42	c #Conflicts:     390000 | #Constraints:      21618
242.71/243.42	c #Conflicts:     391000 | #Constraints:      22618
242.71/243.42	c #Conflicts:     392000 | #Constraints:      23619
242.71/243.42	c #Conflicts:     393000 | #Constraints:      24619
242.71/243.42	c #Conflicts:     394000 | #Constraints:      25620
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     395000 | #Constraints:      14214
242.71/243.42	c #Conflicts:     396000 | #Constraints:      15215
242.71/243.42	c #Conflicts:     397000 | #Constraints:      16215
242.71/243.42	c #Conflicts:     398000 | #Constraints:      17215
242.71/243.42	c #Conflicts:     399000 | #Constraints:      18216
242.71/243.42	c #Conflicts:     400000 | #Constraints:      19216
242.71/243.42	c #Conflicts:     401000 | #Constraints:      20216
242.71/243.42	c #Conflicts:     402000 | #Constraints:      21216
242.71/243.42	c #Conflicts:     403000 | #Constraints:      22217
242.71/243.42	c #Conflicts:     404000 | #Constraints:      23218
242.71/243.42	c #Conflicts:     405000 | #Constraints:      24218
242.71/243.42	c #Conflicts:     406000 | #Constraints:      25218
242.71/243.42	c #Conflicts:     407000 | #Constraints:      26218
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     408000 | #Constraints:      14482
242.71/243.42	c #Conflicts:     409000 | #Constraints:      15482
242.71/243.42	c #Conflicts:     410000 | #Constraints:      16482
242.71/243.42	c #Conflicts:     411000 | #Constraints:      17483
242.71/243.42	c #Conflicts:     412000 | #Constraints:      18483
242.71/243.42	c #Conflicts:     413000 | #Constraints:      19483
242.71/243.42	c #Conflicts:     414000 | #Constraints:      20483
242.71/243.42	c #Conflicts:     415000 | #Constraints:      21484
242.71/243.42	c #Conflicts:     416000 | #Constraints:      22484
242.71/243.42	c #Conflicts:     417000 | #Constraints:      23484
242.71/243.42	c #Conflicts:     418000 | #Constraints:      24485
242.71/243.42	c #Conflicts:     419000 | #Constraints:      25485
242.71/243.42	c #Conflicts:     420000 | #Constraints:      26485
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     421000 | #Constraints:      14752
242.71/243.42	c #Conflicts:     422000 | #Constraints:      15752
242.71/243.42	c #Conflicts:     423000 | #Constraints:      16753
242.71/243.42	c #Conflicts:     424000 | #Constraints:      17753
242.71/243.42	c #Conflicts:     425000 | #Constraints:      18753
242.71/243.42	c #Conflicts:     426000 | #Constraints:      19754
242.71/243.42	c #Conflicts:     427000 | #Constraints:      20754
242.71/243.42	c #Conflicts:     428000 | #Constraints:      21755
242.71/243.42	c #Conflicts:     429000 | #Constraints:      22755
242.71/243.42	c #Conflicts:     430000 | #Constraints:      23756
242.71/243.42	c #Conflicts:     431000 | #Constraints:      24756
242.71/243.42	c #Conflicts:     432000 | #Constraints:      25756
242.71/243.42	c #Conflicts:     433000 | #Constraints:      26756
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     434000 | #Constraints:      14788
242.71/243.42	c #Conflicts:     435000 | #Constraints:      15788
242.71/243.42	c #Conflicts:     436000 | #Constraints:      16789
242.71/243.42	c #Conflicts:     437000 | #Constraints:      17790
242.71/243.42	c #Conflicts:     438000 | #Constraints:      18790
242.71/243.42	c #Conflicts:     439000 | #Constraints:      19790
242.71/243.42	c #Conflicts:     440000 | #Constraints:      20790
242.71/243.42	c #Conflicts:     441000 | #Constraints:      21791
242.71/243.42	c #Conflicts:     442000 | #Constraints:      22791
242.71/243.42	c #Conflicts:     443000 | #Constraints:      23791
242.71/243.42	c #Conflicts:     444000 | #Constraints:      24791
242.71/243.42	c #Conflicts:     445000 | #Constraints:      25792
242.71/243.42	c #Conflicts:     446000 | #Constraints:      26792
242.71/243.42	c INPROCESSING
242.71/243.42	c GARBAGE COLLECT
242.71/243.42	c #Conflicts:     447000 | #Constraints:      14614
242.71/243.42	c #Conflicts:     448000 | #Constraints:      15614
242.71/243.42	c #Conflicts:     449000 | #Constraints:      16615
242.71/243.42	c #Conflicts:     450000 | #Constraints:      17615
242.71/243.42	c #Conflicts:     451000 | #Constraints:      18616
311.93/312.83	c #Conflicts:     452000 | #Constraints:      19616
311.93/312.83	c #Conflicts:     453000 | #Constraints:      20617
311.93/312.83	c #Conflicts:     454000 | #Constraints:      21617
311.93/312.83	c #Conflicts:     455000 | #Constraints:      22618
311.93/312.83	c #Conflicts:     456000 | #Constraints:      23618
311.93/312.83	c #Conflicts:     457000 | #Constraints:      24619
311.93/312.83	c #Conflicts:     458000 | #Constraints:      25620
311.93/312.83	c #Conflicts:     459000 | #Constraints:      26621
311.93/312.83	c #Conflicts:     460000 | #Constraints:      27622
311.93/312.83	c INPROCESSING
311.93/312.83	c GARBAGE COLLECT
311.93/312.83	c #Conflicts:     461000 | #Constraints:      15240
311.93/312.83	c #Conflicts:     462000 | #Constraints:      16240
311.93/312.83	c #Conflicts:     463000 | #Constraints:      17250
311.93/312.83	c #Conflicts:     464000 | #Constraints:      18251
311.93/312.83	c #Conflicts:     465000 | #Constraints:      19252
311.93/312.83	c #Conflicts:     466000 | #Constraints:      20254
311.93/312.83	c #Conflicts:     467000 | #Constraints:      21255
311.93/312.83	c #Conflicts:     468000 | #Constraints:      22255
311.93/312.83	c #Conflicts:     469000 | #Constraints:      23256
311.93/312.83	c #Conflicts:     470000 | #Constraints:      24257
311.93/312.83	c #Conflicts:     471000 | #Constraints:      25257
311.93/312.83	c #Conflicts:     472000 | #Constraints:      26257
311.93/312.83	c #Conflicts:     473000 | #Constraints:      27258
311.93/312.83	c #Conflicts:     474000 | #Constraints:      28258
311.93/312.83	c INPROCESSING
311.93/312.83	c GARBAGE COLLECT
311.93/312.83	c #Conflicts:     475000 | #Constraints:      15660
311.93/312.83	c #Conflicts:     476000 | #Constraints:      16660
311.93/312.83	c #Conflicts:     477000 | #Constraints:      17661
311.93/312.83	c #Conflicts:     478000 | #Constraints:      18661
311.93/312.83	c #Conflicts:     479000 | #Constraints:      19661
311.93/312.83	c #Conflicts:     480000 | #Constraints:      20662
311.93/312.83	c #Conflicts:     481000 | #Constraints:      21662
311.93/312.83	c #Conflicts:     482000 | #Constraints:      22662
311.93/312.83	c #Conflicts:     483000 | #Constraints:      23663
311.93/312.83	c #Conflicts:     484000 | #Constraints:      24663
311.93/312.83	c #Conflicts:     485000 | #Constraints:      25663
311.93/312.83	c #Conflicts:     486000 | #Constraints:      26664
311.93/312.83	c #Conflicts:     487000 | #Constraints:      27664
311.93/312.83	c #Conflicts:     488000 | #Constraints:      28665
311.93/312.83	c INPROCESSING
311.93/312.83	c GARBAGE COLLECT
311.93/312.83	c #Conflicts:     489000 | #Constraints:      15861
311.93/312.83	c #Conflicts:     490000 | #Constraints:      16862
311.93/312.83	c #Conflicts:     491000 | #Constraints:      17866
311.93/312.83	c #Conflicts:     492000 | #Constraints:      18866
311.93/312.83	c #Conflicts:     493000 | #Constraints:      19867
311.93/312.83	c #Conflicts:     494000 | #Constraints:      20868
311.93/312.83	c #Conflicts:     495000 | #Constraints:      21868
311.93/312.83	c #Conflicts:     496000 | #Constraints:      22869
311.93/312.83	c #Conflicts:     497000 | #Constraints:      23869
311.93/312.83	c #Conflicts:     498000 | #Constraints:      24870
311.93/312.83	c #Conflicts:     499000 | #Constraints:      25870
311.93/312.83	c #Conflicts:     500000 | #Constraints:      26871
311.93/312.83	c #Conflicts:     501000 | #Constraints:      27871
311.93/312.83	c #Conflicts:     502000 | #Constraints:      28871
311.93/312.83	c INPROCESSING
311.93/312.83	c GARBAGE COLLECT
311.93/312.83	c #Conflicts:     503000 | #Constraints:      15843
311.93/312.83	c #Conflicts:     504000 | #Constraints:      16843
311.93/312.83	c #Conflicts:     505000 | #Constraints:      17844
311.93/312.83	c #Conflicts:     506000 | #Constraints:      18844
311.93/312.83	c #Conflicts:     507000 | #Constraints:      19845
311.93/312.83	c #Conflicts:     508000 | #Constraints:      20846
311.93/312.83	c #Conflicts:     509000 | #Constraints:      21846
311.93/312.83	c #Conflicts:     510000 | #Constraints:      22847
311.93/312.83	c #Conflicts:     511000 | #Constraints:      23848
311.93/312.83	c #Conflicts:     512000 | #Constraints:      24849
311.93/312.83	c #Conflicts:     513000 | #Constraints:      25849
311.93/312.83	c #Conflicts:     514000 | #Constraints:      26850
311.93/312.83	c #Conflicts:     515000 | #Constraints:      27850
311.93/312.83	c #Conflicts:     516000 | #Constraints:      28850
311.93/312.83	c INPROCESSING
311.93/312.83	c GARBAGE COLLECT
311.93/312.83	c #Conflicts:     517000 | #Constraints:      15632
311.93/312.83	c #Conflicts:     518000 | #Constraints:      16632
311.93/312.83	c #Conflicts:     519000 | #Constraints:      17632
311.93/312.83	c #Conflicts:     520000 | #Constraints:      18632
311.93/312.83	c #Conflicts:     521000 | #Constraints:      19633
311.93/312.83	c #Conflicts:     522000 | #Constraints:      20633
311.93/312.83	c #Conflicts:     523000 | #Constraints:      21634
311.93/312.83	c #Conflicts:     524000 | #Constraints:      22634
311.93/312.83	c #Conflicts:     525000 | #Constraints:      23634
311.93/312.83	c #Conflicts:     526000 | #Constraints:      24634
311.93/312.83	c #Conflicts:     527000 | #Constraints:      25635
385.72/386.81	c #Conflicts:     528000 | #Constraints:      26635
385.72/386.81	c #Conflicts:     529000 | #Constraints:      27635
385.72/386.81	c #Conflicts:     530000 | #Constraints:      28636
385.72/386.81	c #Conflicts:     531000 | #Constraints:      29636
385.72/386.81	c INPROCESSING
385.72/386.81	c GARBAGE COLLECT
385.72/386.81	c #Conflicts:     532000 | #Constraints:      16227
385.72/386.81	c #Conflicts:     533000 | #Constraints:      17228
385.72/386.81	c #Conflicts:     534000 | #Constraints:      18228
385.72/386.81	c #Conflicts:     535000 | #Constraints:      19228
385.72/386.81	c #Conflicts:     536000 | #Constraints:      20228
385.72/386.81	c #Conflicts:     537000 | #Constraints:      21229
385.72/386.81	c #Conflicts:     538000 | #Constraints:      22229
385.72/386.81	c #Conflicts:     539000 | #Constraints:      23229
385.72/386.81	c #Conflicts:     540000 | #Constraints:      24230
385.72/386.81	c #Conflicts:     541000 | #Constraints:      25230
385.72/386.81	c #Conflicts:     542000 | #Constraints:      26230
385.72/386.81	c #Conflicts:     543000 | #Constraints:      27231
385.72/386.81	c #Conflicts:     544000 | #Constraints:      28231
385.72/386.81	c #Conflicts:     545000 | #Constraints:      29231
385.72/386.81	c #Conflicts:     546000 | #Constraints:      30231
385.72/386.81	c INPROCESSING
385.72/386.81	c GARBAGE COLLECT
385.72/386.81	c #Conflicts:     547000 | #Constraints:      16643
385.72/386.81	c #Conflicts:     548000 | #Constraints:      17644
385.72/386.81	c #Conflicts:     549000 | #Constraints:      18644
385.72/386.81	c #Conflicts:     550000 | #Constraints:      19645
385.72/386.81	c #Conflicts:     551000 | #Constraints:      20645
385.72/386.81	c #Conflicts:     552000 | #Constraints:      21645
385.72/386.81	c #Conflicts:     553000 | #Constraints:      22645
385.72/386.81	c #Conflicts:     554000 | #Constraints:      23646
385.72/386.81	c #Conflicts:     555000 | #Constraints:      24646
385.72/386.81	c #Conflicts:     556000 | #Constraints:      25646
385.72/386.81	c #Conflicts:     557000 | #Constraints:      26647
385.72/386.81	c #Conflicts:     558000 | #Constraints:      27647
385.72/386.81	c #Conflicts:     559000 | #Constraints:      28647
385.72/386.81	c #Conflicts:     560000 | #Constraints:      29647
385.72/386.81	c #Conflicts:     561000 | #Constraints:      30648
385.72/386.81	c INPROCESSING
385.72/386.81	c GARBAGE COLLECT
385.72/386.81	c #Conflicts:     562000 | #Constraints:      16835
385.72/386.81	c #Conflicts:     563000 | #Constraints:      17835
385.72/386.81	c #Conflicts:     564000 | #Constraints:      18836
385.72/386.81	c #Conflicts:     565000 | #Constraints:      19836
385.72/386.81	c #Conflicts:     566000 | #Constraints:      20836
385.72/386.81	c #Conflicts:     567000 | #Constraints:      21836
385.72/386.81	c #Conflicts:     568000 | #Constraints:      22837
385.72/386.81	c #Conflicts:     569000 | #Constraints:      23837
385.72/386.81	c #Conflicts:     570000 | #Constraints:      24837
385.72/386.81	c #Conflicts:     571000 | #Constraints:      25837
385.72/386.81	c #Conflicts:     572000 | #Constraints:      26838
385.72/386.81	c #Conflicts:     573000 | #Constraints:      27838
385.72/386.81	c #Conflicts:     574000 | #Constraints:      28838
385.72/386.81	c #Conflicts:     575000 | #Constraints:      29839
385.72/386.81	c #Conflicts:     576000 | #Constraints:      30839
385.72/386.81	c INPROCESSING
385.72/386.81	c GARBAGE COLLECT
385.72/386.81	c #Conflicts:     577000 | #Constraints:      16814
385.72/386.81	c #Conflicts:     578000 | #Constraints:      17815
385.72/386.81	c #Conflicts:     579000 | #Constraints:      18815
385.72/386.81	c #Conflicts:     580000 | #Constraints:      19816
385.72/386.81	c #Conflicts:     581000 | #Constraints:      20816
385.72/386.81	c #Conflicts:     582000 | #Constraints:      21816
385.72/386.81	c #Conflicts:     583000 | #Constraints:      22817
385.72/386.81	c #Conflicts:     584000 | #Constraints:      23817
385.72/386.81	c #Conflicts:     585000 | #Constraints:      24817
385.72/386.81	c #Conflicts:     586000 | #Constraints:      25817
385.72/386.81	c #Conflicts:     587000 | #Constraints:      26817
385.72/386.81	c #Conflicts:     588000 | #Constraints:      27818
385.72/386.81	c #Conflicts:     589000 | #Constraints:      28818
385.72/386.81	c #Conflicts:     590000 | #Constraints:      29818
385.72/386.81	c #Conflicts:     591000 | #Constraints:      30819
385.72/386.81	c INPROCESSING
385.72/386.81	c GARBAGE COLLECT
385.72/386.81	c #Conflicts:     592000 | #Constraints:      16637
385.72/386.81	c #Conflicts:     593000 | #Constraints:      17637
385.72/386.81	c #Conflicts:     594000 | #Constraints:      18637
385.72/386.81	c #Conflicts:     595000 | #Constraints:      19638
385.72/386.81	c #Conflicts:     596000 | #Constraints:      20638
385.72/386.81	c #Conflicts:     597000 | #Constraints:      21638
385.72/386.81	c #Conflicts:     598000 | #Constraints:      22639
385.72/386.81	c #Conflicts:     599000 | #Constraints:      23639
385.72/386.81	c #Conflicts:     600000 | #Constraints:      24639
385.72/386.81	c #Conflicts:     601000 | #Constraints:      25640
385.72/386.81	c #Conflicts:     602000 | #Constraints:      26640
385.72/386.81	c #Conflicts:     603000 | #Constraints:      27640
477.57/478.94	c #Conflicts:     604000 | #Constraints:      28641
477.57/478.94	c #Conflicts:     605000 | #Constraints:      29641
477.57/478.94	c #Conflicts:     606000 | #Constraints:      30641
477.57/478.94	c #Conflicts:     607000 | #Constraints:      31642
477.57/478.94	c INPROCESSING
477.57/478.94	c GARBAGE COLLECT
477.57/478.94	c #Conflicts:     608000 | #Constraints:      17240
477.57/478.94	c #Conflicts:     609000 | #Constraints:      18241
477.57/478.94	c #Conflicts:     610000 | #Constraints:      19241
477.57/478.94	c #Conflicts:     611000 | #Constraints:      20242
477.57/478.94	c #Conflicts:     612000 | #Constraints:      21242
477.57/478.94	c #Conflicts:     613000 | #Constraints:      22243
477.57/478.94	c #Conflicts:     614000 | #Constraints:      23244
477.57/478.94	c #Conflicts:     615000 | #Constraints:      24244
477.57/478.94	c #Conflicts:     616000 | #Constraints:      25245
477.57/478.94	c #Conflicts:     617000 | #Constraints:      26245
477.57/478.94	c #Conflicts:     618000 | #Constraints:      27246
477.57/478.94	c #Conflicts:     619000 | #Constraints:      28246
477.57/478.94	c #Conflicts:     620000 | #Constraints:      29247
477.57/478.94	c #Conflicts:     621000 | #Constraints:      30247
477.57/478.94	c #Conflicts:     622000 | #Constraints:      31247
477.57/478.94	c #Conflicts:     623000 | #Constraints:      32247
477.57/478.94	c INPROCESSING
477.57/478.94	c GARBAGE COLLECT
477.57/478.94	c #Conflicts:     624000 | #Constraints:      17612
477.57/478.94	c #Conflicts:     625000 | #Constraints:      18612
477.57/478.94	c #Conflicts:     626000 | #Constraints:      19612
477.57/478.94	c #Conflicts:     627000 | #Constraints:      20612
477.57/478.94	c #Conflicts:     628000 | #Constraints:      21613
477.57/478.94	c #Conflicts:     629000 | #Constraints:      22613
477.57/478.94	c #Conflicts:     630000 | #Constraints:      23613
477.57/478.94	c #Conflicts:     631000 | #Constraints:      24614
477.57/478.94	c #Conflicts:     632000 | #Constraints:      25614
477.57/478.94	c #Conflicts:     633000 | #Constraints:      26614
477.57/478.94	c #Conflicts:     634000 | #Constraints:      27615
477.57/478.94	c #Conflicts:     635000 | #Constraints:      28616
477.57/478.94	c #Conflicts:     636000 | #Constraints:      29616
477.57/478.94	c #Conflicts:     637000 | #Constraints:      30617
477.57/478.94	c #Conflicts:     638000 | #Constraints:      31617
477.57/478.94	c #Conflicts:     639000 | #Constraints:      32617
477.57/478.94	c INPROCESSING
477.57/478.94	c GARBAGE COLLECT
477.57/478.94	c #Conflicts:     640000 | #Constraints:      17823
477.57/478.94	c #Conflicts:     641000 | #Constraints:      18823
477.57/478.94	c #Conflicts:     642000 | #Constraints:      19823
477.57/478.94	c #Conflicts:     643000 | #Constraints:      20823
477.57/478.94	c #Conflicts:     644000 | #Constraints:      21826
477.57/478.94	c #Conflicts:     645000 | #Constraints:      22826
477.57/478.94	c #Conflicts:     646000 | #Constraints:      23827
477.57/478.94	c #Conflicts:     647000 | #Constraints:      24827
477.57/478.94	c #Conflicts:     648000 | #Constraints:      25828
477.57/478.94	c #Conflicts:     649000 | #Constraints:      26828
477.57/478.94	c #Conflicts:     650000 | #Constraints:      27828
477.57/478.94	c #Conflicts:     651000 | #Constraints:      28828
477.57/478.94	c #Conflicts:     652000 | #Constraints:      29828
477.57/478.94	c #Conflicts:     653000 | #Constraints:      30829
477.57/478.94	c #Conflicts:     654000 | #Constraints:      31829
477.57/478.94	c #Conflicts:     655000 | #Constraints:      32829
477.57/478.94	c INPROCESSING
477.57/478.94	c GARBAGE COLLECT
477.57/478.94	c #Conflicts:     656000 | #Constraints:      17811
477.57/478.94	c #Conflicts:     657000 | #Constraints:      18811
477.57/478.94	c #Conflicts:     658000 | #Constraints:      19812
477.57/478.94	c #Conflicts:     659000 | #Constraints:      20812
477.57/478.94	c #Conflicts:     660000 | #Constraints:      21812
477.57/478.94	c #Conflicts:     661000 | #Constraints:      22813
477.57/478.94	c #Conflicts:     662000 | #Constraints:      23813
477.57/478.94	c #Conflicts:     663000 | #Constraints:      24813
477.57/478.94	c #Conflicts:     664000 | #Constraints:      25814
477.57/478.94	c #Conflicts:     665000 | #Constraints:      26814
477.57/478.94	c #Conflicts:     666000 | #Constraints:      27814
477.57/478.94	c #Conflicts:     667000 | #Constraints:      28814
477.57/478.94	c #Conflicts:     668000 | #Constraints:      29815
477.57/478.94	c #Conflicts:     669000 | #Constraints:      30815
477.57/478.94	c #Conflicts:     670000 | #Constraints:      31815
477.57/478.94	c #Conflicts:     671000 | #Constraints:      32816
477.57/478.94	c INPROCESSING
477.57/478.94	c GARBAGE COLLECT
477.57/478.94	c #Conflicts:     672000 | #Constraints:      17624
477.57/478.94	c #Conflicts:     673000 | #Constraints:      18627
477.57/478.94	c #Conflicts:     674000 | #Constraints:      19628
477.57/478.94	c #Conflicts:     675000 | #Constraints:      20629
477.57/478.94	c #Conflicts:     676000 | #Constraints:      21629
477.57/478.94	c #Conflicts:     677000 | #Constraints:      22630
477.57/478.94	c #Conflicts:     678000 | #Constraints:      23630
591.86/593.53	c #Conflicts:     679000 | #Constraints:      24631
591.86/593.53	c #Conflicts:     680000 | #Constraints:      25631
591.86/593.53	c #Conflicts:     681000 | #Constraints:      26631
591.86/593.53	c #Conflicts:     682000 | #Constraints:      27632
591.86/593.53	c #Conflicts:     683000 | #Constraints:      28632
591.86/593.53	c #Conflicts:     684000 | #Constraints:      29632
591.86/593.53	c #Conflicts:     685000 | #Constraints:      30632
591.86/593.53	c #Conflicts:     686000 | #Constraints:      31633
591.86/593.53	c #Conflicts:     687000 | #Constraints:      32633
591.86/593.53	c #Conflicts:     688000 | #Constraints:      33633
591.86/593.53	c INPROCESSING
591.86/593.53	c GARBAGE COLLECT
591.86/593.53	c #Conflicts:     689000 | #Constraints:      18225
591.86/593.53	c #Conflicts:     690000 | #Constraints:      19226
591.86/593.53	c #Conflicts:     691000 | #Constraints:      20226
591.86/593.53	c #Conflicts:     692000 | #Constraints:      21226
591.86/593.53	c #Conflicts:     693000 | #Constraints:      22226
591.86/593.53	c #Conflicts:     694000 | #Constraints:      23227
591.86/593.53	c #Conflicts:     695000 | #Constraints:      24227
591.86/593.53	c #Conflicts:     696000 | #Constraints:      25227
591.86/593.53	c #Conflicts:     697000 | #Constraints:      26228
591.86/593.53	c #Conflicts:     698000 | #Constraints:      27228
591.86/593.53	c #Conflicts:     699000 | #Constraints:      28228
591.86/593.53	c #Conflicts:     700000 | #Constraints:      29229
591.86/593.53	c #Conflicts:     701000 | #Constraints:      30229
591.86/593.53	c #Conflicts:     702000 | #Constraints:      31229
591.86/593.53	c #Conflicts:     703000 | #Constraints:      32229
591.86/593.53	c #Conflicts:     704000 | #Constraints:      33229
591.86/593.53	c #Conflicts:     705000 | #Constraints:      34230
591.86/593.53	c INPROCESSING
591.86/593.53	c GARBAGE COLLECT
591.86/593.53	c #Conflicts:     706000 | #Constraints:      18640
591.86/593.53	c #Conflicts:     707000 | #Constraints:      19640
591.86/593.53	c #Conflicts:     708000 | #Constraints:      20641
591.86/593.53	c #Conflicts:     709000 | #Constraints:      21642
591.86/593.53	c #Conflicts:     710000 | #Constraints:      22642
591.86/593.53	c #Conflicts:     711000 | #Constraints:      23643
591.86/593.53	c #Conflicts:     712000 | #Constraints:      24643
591.86/593.53	c #Conflicts:     713000 | #Constraints:      25643
591.86/593.53	c #Conflicts:     714000 | #Constraints:      26643
591.86/593.53	c #Conflicts:     715000 | #Constraints:      27644
591.86/593.53	c #Conflicts:     716000 | #Constraints:      28644
591.86/593.53	c #Conflicts:     717000 | #Constraints:      29644
591.86/593.53	c #Conflicts:     718000 | #Constraints:      30645
591.86/593.53	c #Conflicts:     719000 | #Constraints:      31645
591.86/593.53	c #Conflicts:     720000 | #Constraints:      32645
591.86/593.53	c #Conflicts:     721000 | #Constraints:      33645
591.86/593.53	c #Conflicts:     722000 | #Constraints:      34646
591.86/593.53	c INPROCESSING
591.86/593.53	c GARBAGE COLLECT
591.86/593.53	c #Conflicts:     723000 | #Constraints:      18851
591.86/593.53	c #Conflicts:     724000 | #Constraints:      19851
591.86/593.53	c #Conflicts:     725000 | #Constraints:      20852
591.86/593.53	c #Conflicts:     726000 | #Constraints:      21852
591.86/593.53	c #Conflicts:     727000 | #Constraints:      22852
591.86/593.53	c #Conflicts:     728000 | #Constraints:      23853
591.86/593.53	c #Conflicts:     729000 | #Constraints:      24853
591.86/593.53	c #Conflicts:     730000 | #Constraints:      25853
591.86/593.53	c #Conflicts:     731000 | #Constraints:      26854
591.86/593.53	c #Conflicts:     732000 | #Constraints:      27854
591.86/593.53	c #Conflicts:     733000 | #Constraints:      28854
591.86/593.53	c #Conflicts:     734000 | #Constraints:      29855
591.86/593.53	c #Conflicts:     735000 | #Constraints:      30855
591.86/593.53	c #Conflicts:     736000 | #Constraints:      31855
591.86/593.53	c #Conflicts:     737000 | #Constraints:      32856
591.86/593.53	c #Conflicts:     738000 | #Constraints:      33856
591.86/593.53	c #Conflicts:     739000 | #Constraints:      34856
591.86/593.53	c INPROCESSING
591.86/593.53	c GARBAGE COLLECT
591.86/593.53	c #Conflicts:     740000 | #Constraints:      18853
591.86/593.53	c #Conflicts:     741000 | #Constraints:      19854
591.86/593.53	c #Conflicts:     742000 | #Constraints:      20855
591.86/593.53	c #Conflicts:     743000 | #Constraints:      21856
591.86/593.53	c #Conflicts:     744000 | #Constraints:      22856
591.86/593.53	c #Conflicts:     745000 | #Constraints:      23857
591.86/593.53	c #Conflicts:     746000 | #Constraints:      24857
591.86/593.53	c #Conflicts:     747000 | #Constraints:      25857
591.86/593.53	c #Conflicts:     748000 | #Constraints:      26857
591.86/593.53	c #Conflicts:     749000 | #Constraints:      27857
591.86/593.53	c #Conflicts:     750000 | #Constraints:      28858
591.86/593.53	c #Conflicts:     751000 | #Constraints:      29858
591.86/593.53	c #Conflicts:     752000 | #Constraints:      30858
591.86/593.53	c #Conflicts:     753000 | #Constraints:      31858
591.86/593.53	c #Conflicts:     754000 | #Constraints:      32859
595.05/596.75	c #Conflicts:     755000 | #Constraints:      33859
595.05/596.75	c #Conflicts:     756000 | #Constraints:      34859
595.05/596.75	c INPROCESSING
595.05/596.75	c GARBAGE COLLECT
595.05/596.75	c cpu time 589.498 s
595.05/596.75	c deterministic time 43456407528 4.35e+10
595.05/596.75	c optimization time 8e-05 s
595.05/596.75	c total solve time 589.495 s
595.05/596.75	c core-guided solve time 0 s
595.05/596.75	c propagation time 400.731 s
595.05/596.75	c conflict analysis time 153.156 s
595.05/596.75	c propagations 212079771
595.05/596.75	c resolve steps 5241008
595.05/596.75	c decisions 3457032
595.05/596.75	c conflicts 756604
595.05/596.75	c restarts 1593
595.05/596.75	c inprocessing phases 78
595.05/596.75	c garbage collections 78 ,( 100.00 )
595.05/596.75	c input clauses 980 ,( 99.90 )
595.05/596.75	c input cardinalities 1 ,( 0.10 )
595.05/596.75	c input general constraints 0 ,( 0.00 )
595.05/596.75	c input average constraint length 4.99
595.05/596.75	c input average constraint degree 1.75
595.05/596.75	c learned clauses 49989 ,( 6.60 )
595.05/596.75	c learned cardinalities 3718 ,( 0.49 )
595.05/596.75	c learned general constraints 703423 ,( 92.91 )
595.05/596.75	c learned average constraint length 155.86
595.05/596.75	c learned average constraint degree 1695150071.21
595.05/596.75	c watched  CF 32, 64, 128, Arb: 78028 , 0 , 0 , 0
595.05/596.75	c counting CF 32, 64, 128, Arb: 625395 , 0 , 0 , 0
595.05/596.75	c watched   constraints 78028 ,( 11.09 ) 
595.05/596.75	c counting  constraints 625395 ,( 88.91 ) 
595.05/596.75	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 12103640 , 32381217 , 6164958201 ,( 9157603 , 6155800598 )
595.05/596.75	c gcd simplifications 17622
595.05/596.75	c detected cardinalities 74
595.05/596.75	c weakened non-implied lits 249388870
595.05/596.75	c weakened non-implying lits 684382
595.05/596.75	c original variables 980
595.05/596.75	c clausal propagations 7637588
595.05/596.75	c cardinality propagations 235542
595.05/596.75	c watched propagations 124752
595.05/596.75	c counting propagations 194182891
595.05/596.75	c watch lookups 22756873633
595.05/596.75	c watch backjump lookups 0
595.05/596.75	c watch checks 504277998
595.05/596.75	c propagation checks 18362928022
595.05/596.75	c constraint additions 1400344790
595.05/596.75	c trail pops 216293062
595.05/596.75	c formula constraints 981
595.05/596.75	c learned constraints 756280
595.05/596.75	c bound constraints 0
595.05/596.75	c core-guided constraints 0
595.05/596.75	c encountered formula constraints 3194333
595.05/596.75	c encountered learned constraints 1859431
595.05/596.75	c encountered bound constraints 0
595.05/596.75	c encountered core-guided constraints 0
595.05/596.75	c LP total time 12.4515 s
595.05/596.75	c LP solve time 11.53 s
595.05/596.75	c LP constraints added 982
595.05/596.75	c LP constraints removed 0
595.05/596.75	c LP pivots internal 75821
595.05/596.75	c LP pivots root 77398
595.05/596.75	c LP calls 537
595.05/596.75	c LP optimalities 1
595.05/596.75	c LP no pivot count 0
595.05/596.75	c LP infeasibilities 529
595.05/596.75	c LP valid Farkas constraints 526
595.05/596.75	c LP learned Farkas constraints 323
595.05/596.75	c LP basis resets 6
595.05/596.75	c LP cycling count 2
595.05/596.75	c LP singular count 2
595.05/596.75	c LP no primal count 0
595.05/596.75	c LP no farkas count 2
595.05/596.75	c LP other issue count 0
595.05/596.75	c LP Gomory cuts 1
595.05/596.75	c LP learned cuts 0
595.05/596.75	c LP deleted cuts 0
595.05/596.75	c LP encountered Gomory constraints 0
595.05/596.75	c LP encountered Farkas constraints 906658
595.05/596.75	c LP encountered learned Farkas constraints 36866
595.05/596.75	c CG auxiliary variables introduced 0
595.05/596.75	c CG solutions found 0
595.05/596.75	c CG cores constructed 0
595.05/596.75	c CG core cardinality constraints returned 0
595.05/596.75	c CG unit cores 0
595.05/596.75	c CG single cores 0
595.05/596.75	c CG blocks removed during cardinality reduction 0
595.05/596.75	c CG first core best 0
595.05/596.75	c CG decision core best 0
595.05/596.75	c CG core reduction tie 0
595.05/596.75	c CG core degree average 0.00
595.05/596.75	c CG core slack average 0.00
595.05/596.75	c CG core upper bound improvements 0
595.05/596.75	c STR number of successful calls 0
595.05/596.75	c STR number of unsuccessful calls 0
595.05/596.75	c STR number of inconclusive calls 0
595.05/596.75	c STR number of successful attempts 0
595.05/596.75	c STR number of unsuccessful attempts 0
595.05/596.75	c STR number of inconclusive attempts 0
595.05/596.75	c STR average degree increase per successful call inf
595.05/596.75	c STR average degree increase per successful attempt inf
595.05/596.75	c STR total number of conflicts for successful attempts 0
595.05/596.75	c STR total number of conflicts for unsuccessful attempts 0
595.05/596.75	c STR total number of conflicts for inconclusive attempts 0
595.05/596.75	c STR average number of conflicts per successful attempt inf
595.05/596.75	c STR average number of conflicts per unsuccessful attempt inf
595.05/596.75	c STR average number of conflicts per inconclusive attempt inf
595.05/596.75	c AVG.sumWPerc 80.08 
595.05/596.75	c bigint constraints 0 
595.05/596.75	s UNSATISFIABLE

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 (57621 MiB free)
  memory of node 1: 64465 MiB (53662 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543284-1753219187/watcher-4543284-1753219187 -o /tmp/evaluation-result-4543284-1753219187/solver-4543284-1753219187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164104 --watchdog 3760 run-dec-ls.sh HOME/instance-4543284-1753219187.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=165953, runsolver pid=165950

[startup+0.100062 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113954624/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=58412 memory=12568 CPUtime=0.08 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 1220 0 0 0 8 0 0 0 20 0 1 0 237596230 59813888 3142 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 14603 3142 2272 1147 0 2030 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62604 KiB
Current children cumulated memory: 15640 KiB

[startup+0.20589 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113954624/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=58812 memory=12952 CPUtime=0.18 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 1305 0 0 0 18 0 0 0 20 0 1 0 237596230 60223488 3238 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 14703 3238 2272 1147 0 2130 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 63004 KiB
Current children cumulated memory: 16024 KiB

[startup+0.306056 s]*
/proc/loadavg: 4.12 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113954624/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=62952 memory=19500 CPUtime=0.29 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 2395 0 0 0 28 1 0 0 20 0 1 0 237596230 64462848 4875 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 15738 4875 2336 1147 0 3165 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67144 KiB
Current children cumulated memory: 22572 KiB

[startup+0.70021 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113950592/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=76904 memory=32508 CPUtime=0.68 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 5095 0 0 0 65 3 0 0 20 0 1 0 237596230 78749696 8127 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 19226 8127 2368 1147 0 6653 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81096 KiB
Current children cumulated memory: 35580 KiB

[startup+1.50015 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113926904/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=96784 memory=51748 CPUtime=1.48 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 9384 0 0 0 142 6 0 0 20 0 1 0 237596230 99106816 12937 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 24196 12937 2368 1147 0 11623 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 100976 KiB
Current children cumulated memory: 54820 KiB

[startup+3.10593 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113911040/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=119880 memory=64676 CPUtime=3.07 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 12623 0 0 0 298 9 0 0 20 0 1 0 237596230 122757120 16169 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 29970 16169 2368 1147 0 17397 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 124072 KiB
Current children cumulated memory: 67748 KiB

[startup+6.30017 s]
/proc/loadavg: 4.11 4.09 4.09 5/271 165955
/proc/meminfo: memFree=113902728/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=130000 memory=71844 CPUtime=6.26 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 14426 0 0 0 610 16 0 0 20 0 1 0 237596230 133120000 17961 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 32500 17961 2368 1147 0 19927 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 134192 KiB
Current children cumulated memory: 74916 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 4.09 4.09 5/272 165957
/proc/meminfo: memFree=113890324/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=139700 memory=83696 CPUtime=12.65 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 16793 0 0 0 1240 25 0 0 20 0 1 0 237596230 143052800 20924 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 34925 20924 2464 1147 0 22352 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 143892 KiB
Current children cumulated memory: 86768 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 165957
/proc/meminfo: memFree=113870124/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=164448 memory=107804 CPUtime=25.41 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 22310 0 0 0 2491 50 0 0 20 0 1 0 237596230 168394752 26951 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 41112 26951 2464 1147 0 28539 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 168640 KiB
Current children cumulated memory: 110876 KiB

[startup+51.1057 s]
/proc/loadavg: 4.12 4.09 4.09 5/272 165957
/proc/meminfo: memFree=113831868/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=205760 memory=136600 CPUtime=50.96 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 28468 0 0 0 5001 95 0 0 20 0 1 0 237596230 210698240 34150 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 51440 34150 2464 1147 0 38867 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 209952 KiB
Current children cumulated memory: 139672 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 165972
/proc/meminfo: memFree=113744972/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=230380 memory=157848 CPUtime=102.02 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 33781 0 0 0 10021 181 0 0 20 0 1 0 237596230 235909120 39462 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 57595 39462 2464 1147 0 45022 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 234572 KiB
Current children cumulated memory: 160920 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 4.07 4.08 5/273 166481
/proc/meminfo: memFree=113972468/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=239880 memory=166296 CPUtime=161.83 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 35909 0 0 0 15921 262 0 0 20 0 1 0 237596230 245637120 41574 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 59970 41574 2464 1147 0 47397 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 244072 KiB
Current children cumulated memory: 169368 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/270 166574
/proc/meminfo: memFree=113987164/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=255664 memory=183396 CPUtime=221.67 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 39148 0 0 0 21837 330 0 0 20 0 1 0 237596230 261799936 45849 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 63916 45849 2464 1147 0 51343 0
Current children cumulated CPU time: 221.67 s

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

/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 46022 0 0 0 33709 425 0 0 20 0 1 0 237596230 296960000 52604 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 72500 52604 2464 1147 0 59927 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 294192 KiB
Current children cumulated memory: 213488 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 167038
/proc/meminfo: memFree=113951580/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=316656 memory=219588 CPUtime=401.18 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 47872 0 0 0 39651 467 0 0 20 0 1 0 237596230 324255744 54897 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 79164 54897 2464 1147 0 66591 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 320848 KiB
Current children cumulated memory: 222660 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 167040
/proc/meminfo: memFree=113751976/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=320248 memory=222364 CPUtime=461.02 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 48761 0 0 0 45602 500 0 0 20 0 1 0 237596230 327933952 55591 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 80062 55591 2464 1147 0 67489 0
Current children cumulated CPU time: 461.02 s
Current children cumulated vsize: 324440 KiB
Current children cumulated memory: 225436 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 167045
/proc/meminfo: memFree=113550496/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=328456 memory=228340 CPUtime=520.86 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 50417 0 0 0 51553 533 0 0 20 0 1 0 237596230 336338944 57085 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 82114 57085 2464 1147 0 69541 0
Current children cumulated CPU time: 520.86 s
Current children cumulated vsize: 332648 KiB
Current children cumulated memory: 231412 KiB

[startup+582.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/270 167050
/proc/meminfo: memFree=113508488/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232744 CPUtime=580.68 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51587 0 0 0 57514 554 0 0 20 0 1 0 237596230 342106112 58186 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58186 2464 1147 0 70949 0
Current children cumulated CPU time: 580.68 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235816 KiB

[startup+596.757 s]
# the end of solver process 165953 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=589.501 s, system=5.61656 s

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

[startup+588.8 s]
/proc/loadavg: 4.04 4.07 4.08 5/270 167050
/proc/meminfo: memFree=113501832/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232744 CPUtime=587.18 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51588 0 0 0 58161 557 0 0 20 0 1 0 237596230 342106112 58186 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58186 2464 1147 0 70949 0
Current children cumulated CPU time: 587.18 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235816 KiB

[startup+592 s]*
/proc/loadavg: 4.04 4.07 4.08 5/270 167050
/proc/meminfo: memFree=113501832/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232872 CPUtime=590.37 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51592 0 0 0 58479 558 0 0 20 0 1 0 237596230 342106112 58218 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58218 2464 1147 0 70949 0
Current children cumulated CPU time: 590.37 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235944 KiB

[startup+595.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 167050
/proc/meminfo: memFree=113493520/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232872 CPUtime=593.55 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51596 0 0 0 58796 559 0 0 20 0 1 0 237596230 342106112 58218 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58218 2464 1147 0 70949 0
Current children cumulated CPU time: 593.55 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235944 KiB

[startup+596 s]*
/proc/loadavg: 4.12 4.09 4.09 5/270 167050
/proc/meminfo: memFree=113492984/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232872 CPUtime=594.36 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51599 0 0 0 58876 560 0 0 20 0 1 0 237596230 342106112 58218 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58218 2464 1147 0 70949 0
Current children cumulated CPU time: 594.36 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235944 KiB

[startup+596.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 167050
/proc/meminfo: memFree=113492984/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334368 memory=233128 CPUtime=594.75 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51671 0 0 0 58915 560 0 0 20 0 1 0 237596230 342392832 58282 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83592 58282 2464 1147 0 71019 0
Current children cumulated CPU time: 594.75 s
Current children cumulated vsize: 338560 KiB
Current children cumulated memory: 236200 KiB

[startup+596.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 167050
/proc/meminfo: memFree=113492984/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232916 CPUtime=594.95 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51671 0 0 0 58935 560 0 0 20 0 1 0 237596230 342106112 58229 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58229 2464 1147 0 70949 0
Current children cumulated CPU time: 594.95 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235988 KiB

[startup+596.7 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 167050
/proc/meminfo: memFree=113492984/131250000 swapFree=33008356/33010684
[pid=165953] ppid=165950 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/165953/stat : 165953 (run-dec-ls.sh) S 165950 165953 164094 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 237596229 4292608 768 18446744073709551615 93898897346560 93898898241093 140726857158176 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93898898480144 93898898527888 93898911801344 140726857165157 140726857165283 140726857165283 140726857170887 0
/proc/165953/statm: 1048 768 704 219 0 110 0
[pid=165955] ppid=165953 vsize=334088 memory=232916 CPUtime=595.05 cores=0,2
/proc/165955/stat : 165955 (roundingsat) R 165953 165953 164094 0 -1 4194304 51671 0 0 0 58945 560 0 0 20 0 1 0 237596230 342106112 58229 18446744073709551615 4227072 8923433 140730557397616 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 26824704 140730557401502 140730557401638 140730557401638 140730557407210 0
/proc/165955/statm: 83522 58229 2464 1147 0 70949 0
Current children cumulated CPU time: 595.05 s
Current children cumulated vsize: 338280 KiB
Current children cumulated memory: 235988 KiB

Child status: 0

Real time (s): 596.757
CPU time (s): 595.118
CPU user time (s): 589.501
CPU system time (s): 5.61656
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 338560
Max. memory (cumulated for all children) (KiB): 236200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 589.501
system time used= 5.61656
maximum resident set size= 233128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51902
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= 145
involuntary context switches= 822


# summary of solver processes directly reported to runsolver:
#   pid: 165953
#   total CPU time (s): 595.118
#   total CPU user time (s): 589.501
#   total CPU system time (s): 5.61656

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30785 second user time and 2.69263 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-07-22 23:19:47
IDJOB=4543284
IDBENCH=172509
IDSOLVER=3353
FILE ID=nodeC019/4543284-1753219187
RUNJOBID= nodeC019-1753211625-164104
SLURM_JOB_ID= 9687797
Free space on /tmp= 432904 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543284-1753219187/watcher-4543284-1753219187 -o /tmp/evaluation-result-4543284-1753219187/solver-4543284-1753219187 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753211625-164104 --watchdog 3760  run-dec-ls.sh HOME/instance-4543284-1753219187.opb

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=492144799

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        113954624 kB
MemAvailable:   123507668 kB
Buffers:             904 kB
Cached:         10293892 kB
SwapCached:          416 kB
Active:          7346228 kB
Inactive:        9207468 kB
Active(anon):    6271552 kB
Inactive(anon):    12804 kB
Active(file):    1074676 kB
Inactive(file):  9194664 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008356 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7180 kB
Writeback:             4 kB
AnonPages:       6254228 kB
Mapped:           122456 kB
Shmem:             25452 kB
KReclaimable:     245888 kB
Slab:             341712 kB
SReclaimable:     245888 kB
SUnreclaim:        95824 kB
KernelStack:        4348 kB
PageTables:        15820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6849956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4530176 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432904 MiB
End job on nodeC019 at 2025-07-22 23:29:44