Trace number 4543282

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 63f22adUNSAT 585.344 586.901

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543282-1753217069/watcher-4543282-1753217069 -o /tmp/evaluation-result-4543282-1753217069/solver-4543282-1753217069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760 run-dec.sh HOME/instance-4543282-1753217069.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=173275, runsolver pid=173272

[startup+0.10006 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108067764/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=58456 memory=12532 CPUtime=0.08 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 1236 0 0 0 8 0 0 0 20 0 1 0 237385551 59858944 3133 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 14614 3133 2240 1147 0 2041 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62648 KiB
Current children cumulated memory: 15604 KiB

[startup+0.205941 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108052896/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=62868 memory=19428 CPUtime=0.19 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 2382 0 0 0 18 1 0 0 20 0 1 0 237385551 64376832 4857 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 15717 4857 2304 1147 0 3144 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 67060 KiB
Current children cumulated memory: 22500 KiB

[startup+0.305907 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108044832/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=72908 memory=30196 CPUtime=0.29 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 4525 0 0 0 28 1 0 0 20 0 1 0 237385551 74657792 7549 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 18227 7549 2336 1147 0 5654 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 77100 KiB
Current children cumulated memory: 33268 KiB

[startup+0.700195 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108043320/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=93172 memory=45300 CPUtime=0.68 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 8298 0 0 0 65 3 0 0 20 0 1 0 237385551 95408128 11325 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 23293 11325 2336 1147 0 10720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 97364 KiB
Current children cumulated memory: 48372 KiB

[startup+1.50017 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108029208/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=97780 memory=52648 CPUtime=1.48 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 9632 0 0 0 143 5 0 0 20 0 1 0 237385551 100126720 13162 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 24445 13162 2336 1147 0 11872 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 101972 KiB
Current children cumulated memory: 55720 KiB

[startup+3.10563 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 173277
/proc/meminfo: memFree=108005344/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=124252 memory=67240 CPUtime=3.08 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 13288 0 0 0 299 9 0 0 20 0 1 0 237385551 127234048 16810 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 31063 16810 2336 1147 0 18490 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 128444 KiB
Current children cumulated memory: 70312 KiB

[startup+6.30018 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 173277
/proc/meminfo: memFree=107989248/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=129364 memory=71464 CPUtime=6.27 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 14235 0 0 0 611 16 0 0 20 0 1 0 237385551 132468736 17866 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 32341 17866 2432 1147 0 19768 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 133556 KiB
Current children cumulated memory: 74536 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/269 173277
/proc/meminfo: memFree=107968772/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=143288 memory=87424 CPUtime=12.65 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 17730 0 0 0 1237 28 0 0 20 0 1 0 237385551 146726912 21856 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 35822 21856 2432 1147 0 23249 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 147480 KiB
Current children cumulated memory: 90496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 5/269 173277
/proc/meminfo: memFree=107914476/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=180480 memory=111904 CPUtime=25.41 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 23331 0 0 0 2489 52 0 0 20 0 1 0 237385551 184811520 27976 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 45120 27976 2432 1147 0 32547 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 184672 KiB
Current children cumulated memory: 114976 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.08 4.09 5/268 173278
/proc/meminfo: memFree=107880052/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=207268 memory=137568 CPUtime=50.96 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 28730 0 0 0 4998 98 0 0 20 0 1 0 237385551 212242432 34392 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 51817 34392 2432 1147 0 39244 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 211460 KiB
Current children cumulated memory: 140640 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/267 173280
/proc/meminfo: memFree=107843920/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=232496 memory=158944 CPUtime=102.03 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 34078 0 0 0 10016 187 0 0 20 0 1 0 237385551 238075904 39736 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 58124 39736 2432 1147 0 45551 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 236688 KiB
Current children cumulated memory: 162016 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 173283
/proc/meminfo: memFree=107804260/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=246540 memory=170336 CPUtime=161.88 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 36929 0 0 0 15924 264 0 0 20 0 1 0 237385551 252456960 42584 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 61635 42584 2432 1147 0 49062 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 250732 KiB
Current children cumulated memory: 173408 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 173286
/proc/meminfo: memFree=107784032/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=262840 memory=187748 CPUtime=221.73 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 40245 0 0 0 21836 337 0 0 20 0 1 0 237385551 269148160 46937 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 65710 46937 2432 1147 0 53137 0

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

/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=287312 memory=206644 CPUtime=281.58 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 45030 0 0 0 27774 384 0 0 20 0 1 0 237385551 294207488 51661 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 71828 51661 2464 1147 0 59255 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 291504 KiB
Current children cumulated memory: 209716 KiB

[startup+342.3 s]
/proc/loadavg: 4.26 4.13 4.10 5/269 173891
/proc/meminfo: memFree=110540372/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=310488 memory=213960 CPUtime=341.42 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 46375 0 0 0 33707 435 0 0 20 0 1 0 237385551 317939712 53490 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 77622 53490 2464 1147 0 65049 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 314680 KiB
Current children cumulated memory: 217032 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/269 174632
/proc/meminfo: memFree=113439332/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=317036 memory=219576 CPUtime=401.25 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 47962 0 0 0 39650 475 0 0 20 0 1 0 237385551 324644864 54894 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 79259 54894 2464 1147 0 66686 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 321228 KiB
Current children cumulated memory: 222648 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/268 174679
/proc/meminfo: memFree=112586380/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=322552 memory=223756 CPUtime=461.09 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 49198 0 0 0 45598 511 0 0 20 0 1 0 237385551 330293248 55939 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 80638 55939 2464 1147 0 68065 0
Current children cumulated CPU time: 461.09 s
Current children cumulated vsize: 326744 KiB
Current children cumulated memory: 226828 KiB

[startup+522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 174682
/proc/meminfo: memFree=112251592/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=328188 memory=227844 CPUtime=520.92 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 50446 0 0 0 51556 536 0 0 20 0 1 0 237385551 336064512 56961 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 82047 56961 2464 1147 0 69474 0
Current children cumulated CPU time: 520.92 s
Current children cumulated vsize: 332380 KiB
Current children cumulated memory: 230916 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232252 CPUtime=580.75 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51630 0 0 0 57518 557 0 0 20 0 1 0 237385551 341843968 58063 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58063 2464 1147 0 70885 0
Current children cumulated CPU time: 580.75 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235324 KiB

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

# cumulated CPU time of all completed processes:  user=579.744 s, system=5.59999 s

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

[startup+582.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232252 CPUtime=580.85 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51630 0 0 0 57528 557 0 0 20 0 1 0 237385551 341843968 58063 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58063 2464 1147 0 70885 0
Current children cumulated CPU time: 580.85 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235324 KiB

[startup+584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232252 CPUtime=582.44 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51633 0 0 0 57687 557 0 0 20 0 1 0 237385551 341843968 58063 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58063 2464 1147 0 70885 0
Current children cumulated CPU time: 582.44 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235324 KiB

[startup+585.6 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232252 CPUtime=584.03 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51636 0 0 0 57846 557 0 0 20 0 1 0 237385551 341843968 58063 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58063 2464 1147 0 70885 0
Current children cumulated CPU time: 584.03 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235324 KiB

[startup+586.4 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232380 CPUtime=584.83 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51640 0 0 0 57926 557 0 0 20 0 1 0 237385551 341843968 58095 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58095 2464 1147 0 70885 0
Current children cumulated CPU time: 584.83 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235452 KiB

[startup+586.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
[pid=173277] ppid=173275 vsize=333832 memory=232392 CPUtime=585.23 cores=5,7
/proc/173277/stat : 173277 (roundingsat) R 173275 173275 171541 0 -1 4194304 51709 0 0 0 57965 558 0 0 20 0 1 0 237385551 341843968 58098 18446744073709551615 4227072 8923433 140731636445568 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 21979136 140731636447669 140731636447782 140731636447782 140731636453354 0
/proc/173277/statm: 83458 58098 2464 1147 0 70885 0
Current children cumulated CPU time: 585.23 s
Current children cumulated vsize: 338024 KiB
Current children cumulated memory: 235464 KiB

[startup+586.9 s]
/proc/loadavg: 4.09 4.10 4.09 5/268 174684
/proc/meminfo: memFree=112073752/131249996 swapFree=33010160/33010684
[pid=173275] ppid=173272 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/173275/stat : 173275 (run-dec.sh) S 173272 173275 171541 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 237385551 4292608 768 18446744073709551615 94296736808960 94296737703493 140723334407040 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94296737942544 94296737990288 94296746446848 140723334412651 140723334412774 140723334412774 140723334418378 0
/proc/173275/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 586.901
CPU time (s): 585.344
CPU user time (s): 579.744
CPU system time (s): 5.59999
CPU usage (%): 99.7346
Max. virtual memory (cumulated for all children) (KiB): 338024
Max. memory (cumulated for all children) (KiB): 235464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 579.744
system time used= 5.59999
maximum resident set size= 232636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51941
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= 3500


# summary of solver processes directly reported to runsolver:
#   pid: 173275
#   total CPU time (s): 585.344
#   total CPU user time (s): 579.744
#   total CPU system time (s): 5.59999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.968788 second user time and 2.92195 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-07-22 22:44:29
IDJOB=4543282
IDBENCH=172509
IDSOLVER=3349
FILE ID=nodeC032/4543282-1753217069
RUNJOBID= nodeC032-1753211592-171554
SLURM_JOB_ID= 9687796
Free space on /tmp= 432384 MiB

SOLVER NAME= roundingsat 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4543282-1753217069/watcher-4543282-1753217069 -o /tmp/evaluation-result-4543282-1753217069/solver-4543282-1753217069 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1753211592-171554 --watchdog 3760  run-dec.sh HOME/instance-4543282-1753217069.opb

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

MD5SUM BENCH= 0942a69f21bd48da4c21a008e6f37b2a
RANDOM SEED=48024510

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
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.69
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.841
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.69
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		: 3601.547
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.69
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		: 3541.113
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.69
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.853
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.69
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		: 3592.601
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.69
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		: 3526.418
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.045
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        108068552 kB
MemAvailable:   120301864 kB
Buffers:            2728 kB
Cached:         12912800 kB
SwapCached:           20 kB
Active:         10467068 kB
Inactive:       11782128 kB
Active(anon):    9356784 kB
Inactive(anon):     3124 kB
Active(file):    1110284 kB
Inactive(file): 11779004 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7496 kB
Writeback:             0 kB
AnonPages:       9329168 kB
Mapped:           121396 kB
Shmem:             26240 kB
KReclaimable:     366524 kB
Slab:             465364 kB
SReclaimable:     366524 kB
SUnreclaim:        98840 kB
KernelStack:        4352 kB
PageTables:        21652 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    9982108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6918144 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432476 MiB
End job on nodeC032 at 2025-07-22 22:54:16