Trace number 4455736

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 nolog (2)UNSAT 113.86 114.121

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l100-r099-n1.cnf-plain.pb.metafix.opb
MD5SUM432ceff95840c24def17352d86ee9883
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 benchmark2.65906
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8160
Total number of constraints25805
Number of constraints which are clauses25805
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.19	c #variables 8160 #constraints 25805
17.15/17.26	c #Conflicts:       1000 | #Constraints:      26804
17.15/17.26	c #Conflicts:       2000 | #Constraints:      27804
17.15/17.26	c INPROCESSING
17.15/17.26	c #Conflicts:       3000 | #Constraints:      28791
17.15/17.26	c #Conflicts:       4000 | #Constraints:      29791
17.15/17.26	c #Conflicts:       5000 | #Constraints:      30791
17.15/17.26	c #Conflicts:       6000 | #Constraints:      31791
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:       7000 | #Constraints:      31399
17.15/17.26	c #Conflicts:       8000 | #Constraints:      32399
17.15/17.26	c #Conflicts:       9000 | #Constraints:      33399
17.15/17.26	c #Conflicts:      10000 | #Constraints:      34399
17.15/17.26	c #Conflicts:      11000 | #Constraints:      35399
17.15/17.26	c #Conflicts:      12000 | #Constraints:      36399
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      13000 | #Constraints:      32827
17.15/17.26	c #Conflicts:      14000 | #Constraints:      33827
17.15/17.26	c #Conflicts:      15000 | #Constraints:      34827
17.15/17.26	c #Conflicts:      16000 | #Constraints:      35827
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      17000 | #Constraints:      32302
17.15/17.26	c #Conflicts:      18000 | #Constraints:      33302
17.15/17.26	c #Conflicts:      19000 | #Constraints:      34302
17.15/17.26	c #Conflicts:      20000 | #Constraints:      35302
17.15/17.26	c #Conflicts:      21000 | #Constraints:      36302
17.15/17.26	c #Conflicts:      22000 | #Constraints:      37302
17.15/17.26	c #Conflicts:      23000 | #Constraints:      38302
17.15/17.26	c #Conflicts:      24000 | #Constraints:      39302
17.15/17.26	c #Conflicts:      25000 | #Constraints:      40302
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      26000 | #Constraints:      34487
17.15/17.26	c #Conflicts:      27000 | #Constraints:      35487
17.15/17.26	c #Conflicts:      28000 | #Constraints:      36487
17.15/17.26	c #Conflicts:      29000 | #Constraints:      37487
17.15/17.26	c #Conflicts:      30000 | #Constraints:      38487
17.15/17.26	c #Conflicts:      31000 | #Constraints:      39487
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      32000 | #Constraints:      34235
17.15/17.26	c #Conflicts:      33000 | #Constraints:      35235
17.15/17.26	c #Conflicts:      34000 | #Constraints:      36235
17.15/17.26	c #Conflicts:      35000 | #Constraints:      37235
17.15/17.26	c #Conflicts:      36000 | #Constraints:      38235
17.15/17.26	c #Conflicts:      37000 | #Constraints:      39235
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      38000 | #Constraints:      34227
17.15/17.26	c #Conflicts:      39000 | #Constraints:      35227
17.15/17.26	c #Conflicts:      40000 | #Constraints:      36227
17.15/17.26	c #Conflicts:      41000 | #Constraints:      37227
17.15/17.26	c #Conflicts:      42000 | #Constraints:      38227
17.15/17.26	c #Conflicts:      43000 | #Constraints:      39227
17.15/17.26	c #Conflicts:      44000 | #Constraints:      40227
17.15/17.26	c #Conflicts:      45000 | #Constraints:      41227
17.15/17.26	c #Conflicts:      46000 | #Constraints:      42227
17.15/17.26	c #Conflicts:      47000 | #Constraints:      43227
17.15/17.26	c #Conflicts:      48000 | #Constraints:      44227
17.15/17.26	c #Conflicts:      49000 | #Constraints:      45227
17.15/17.26	c #Conflicts:      50000 | #Constraints:      46227
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      51000 | #Constraints:      37532
17.15/17.26	c #Conflicts:      52000 | #Constraints:      38532
17.15/17.26	c #Conflicts:      53000 | #Constraints:      39532
17.15/17.26	c #Conflicts:      54000 | #Constraints:      40532
17.15/17.26	c #Conflicts:      55000 | #Constraints:      41532
17.15/17.26	c #Conflicts:      56000 | #Constraints:      42532
17.15/17.26	c #Conflicts:      57000 | #Constraints:      43532
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      58000 | #Constraints:      36051
17.15/17.26	c #Conflicts:      59000 | #Constraints:      37051
17.15/17.26	c #Conflicts:      60000 | #Constraints:      38051
17.15/17.26	c #Conflicts:      61000 | #Constraints:      39051
17.15/17.26	c #Conflicts:      62000 | #Constraints:      40051
17.15/17.26	c #Conflicts:      63000 | #Constraints:      41051
17.15/17.26	c #Conflicts:      64000 | #Constraints:      42051
17.15/17.26	c #Conflicts:      65000 | #Constraints:      43051
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      66000 | #Constraints:      36123
17.15/17.26	c #Conflicts:      67000 | #Constraints:      37123
17.15/17.26	c #Conflicts:      68000 | #Constraints:      38123
17.15/17.26	c #Conflicts:      69000 | #Constraints:      39123
17.15/17.26	c #Conflicts:      70000 | #Constraints:      40123
17.15/17.26	c #Conflicts:      71000 | #Constraints:      41123
17.15/17.26	c #Conflicts:      72000 | #Constraints:      42123
17.15/17.26	c INPROCESSING
17.15/17.26	c GARBAGE COLLECT
17.15/17.26	c #Conflicts:      73000 | #Constraints:      35353
36.91/37.07	c #Conflicts:      74000 | #Constraints:      36353
36.91/37.07	c #Conflicts:      75000 | #Constraints:      37353
36.91/37.07	c #Conflicts:      76000 | #Constraints:      38353
36.91/37.07	c #Conflicts:      77000 | #Constraints:      39353
36.91/37.07	c #Conflicts:      78000 | #Constraints:      40353
36.91/37.07	c #Conflicts:      79000 | #Constraints:      41353
36.91/37.07	c #Conflicts:      80000 | #Constraints:      42353
36.91/37.07	c #Conflicts:      81000 | #Constraints:      43353
36.91/37.07	c #Conflicts:      82000 | #Constraints:      44353
36.91/37.07	c #Conflicts:      83000 | #Constraints:      45353
36.91/37.07	c #Conflicts:      84000 | #Constraints:      46353
36.91/37.07	c #Conflicts:      85000 | #Constraints:      47353
36.91/37.07	c #Conflicts:      86000 | #Constraints:      48353
36.91/37.07	c #Conflicts:      87000 | #Constraints:      49353
36.91/37.07	c #Conflicts:      88000 | #Constraints:      50353
36.91/37.07	c #Conflicts:      89000 | #Constraints:      51353
36.91/37.07	c #Conflicts:      90000 | #Constraints:      52353
36.91/37.07	c #Conflicts:      91000 | #Constraints:      53353
36.91/37.07	c INPROCESSING
36.91/37.07	c GARBAGE COLLECT
36.91/37.07	c #Conflicts:      92000 | #Constraints:      41173
36.91/37.07	c #Conflicts:      93000 | #Constraints:      42173
36.91/37.07	c #Conflicts:      94000 | #Constraints:      43173
36.91/37.07	c #Conflicts:      95000 | #Constraints:      44173
36.91/37.07	c #Conflicts:      96000 | #Constraints:      45173
36.91/37.07	c #Conflicts:      97000 | #Constraints:      46173
36.91/37.07	c #Conflicts:      98000 | #Constraints:      47173
36.91/37.07	c #Conflicts:      99000 | #Constraints:      48173
36.91/37.07	c #Conflicts:     100000 | #Constraints:      49173
36.91/37.07	c INPROCESSING
36.91/37.07	c GARBAGE COLLECT
36.91/37.07	c #Conflicts:     101000 | #Constraints:      39166
36.91/37.07	c #Conflicts:     102000 | #Constraints:      40166
36.91/37.07	c #Conflicts:     103000 | #Constraints:      41166
36.91/37.07	c #Conflicts:     104000 | #Constraints:      42166
36.91/37.07	c #Conflicts:     105000 | #Constraints:      43166
36.91/37.07	c #Conflicts:     106000 | #Constraints:      44166
36.91/37.07	c #Conflicts:     107000 | #Constraints:      45166
36.91/37.07	c #Conflicts:     108000 | #Constraints:      46166
36.91/37.07	c #Conflicts:     109000 | #Constraints:      47166
36.91/37.07	c INPROCESSING
36.91/37.07	c GARBAGE COLLECT
36.91/37.07	c #Conflicts:     110000 | #Constraints:      38077
36.91/37.07	c #Conflicts:     111000 | #Constraints:      39077
36.91/37.07	c #Conflicts:     112000 | #Constraints:      40077
36.91/37.07	c #Conflicts:     113000 | #Constraints:      41077
36.91/37.07	c #Conflicts:     114000 | #Constraints:      42077
36.91/37.07	c #Conflicts:     115000 | #Constraints:      43077
36.91/37.07	c #Conflicts:     116000 | #Constraints:      44077
36.91/37.07	c #Conflicts:     117000 | #Constraints:      45077
36.91/37.07	c #Conflicts:     118000 | #Constraints:      46077
36.91/37.07	c #Conflicts:     119000 | #Constraints:      47077
36.91/37.07	c #Conflicts:     120000 | #Constraints:      48077
36.91/37.07	c #Conflicts:     121000 | #Constraints:      49077
36.91/37.07	c #Conflicts:     122000 | #Constraints:      50077
36.91/37.07	c #Conflicts:     123000 | #Constraints:      51077
36.91/37.07	c #Conflicts:     124000 | #Constraints:      52077
36.91/37.07	c #Conflicts:     125000 | #Constraints:      53077
36.91/37.07	c #Conflicts:     126000 | #Constraints:      54077
36.91/37.07	c #Conflicts:     127000 | #Constraints:      55077
36.91/37.07	c #Conflicts:     128000 | #Constraints:      56077
36.91/37.07	c #Conflicts:     129000 | #Constraints:      57077
36.91/37.07	c #Conflicts:     130000 | #Constraints:      58077
36.91/37.07	c #Conflicts:     131000 | #Constraints:      59077
36.91/37.07	c #Conflicts:     132000 | #Constraints:      60077
36.91/37.07	c INPROCESSING
36.91/37.07	c GARBAGE COLLECT
36.91/37.07	c #Conflicts:     133000 | #Constraints:      44675
36.91/37.07	c #Conflicts:     134000 | #Constraints:      45675
36.91/37.07	c #Conflicts:     135000 | #Constraints:      46675
36.91/37.07	c #Conflicts:     136000 | #Constraints:      47675
36.91/37.07	c #Conflicts:     137000 | #Constraints:      48675
36.91/37.07	c #Conflicts:     138000 | #Constraints:      49675
36.91/37.07	c #Conflicts:     139000 | #Constraints:      50675
36.91/37.07	c #Conflicts:     140000 | #Constraints:      51675
36.91/37.07	c #Conflicts:     141000 | #Constraints:      52675
36.91/37.07	c #Conflicts:     142000 | #Constraints:      53675
36.91/37.07	c INPROCESSING
36.91/37.07	c GARBAGE COLLECT
36.91/37.07	c #Conflicts:     143000 | #Constraints:      41263
36.91/37.07	c #Conflicts:     144000 | #Constraints:      42263
36.91/37.07	c #Conflicts:     145000 | #Constraints:      43263
36.91/37.07	c #Conflicts:     146000 | #Constraints:      44263
36.91/37.07	c #Conflicts:     147000 | #Constraints:      45263
36.91/37.07	c #Conflicts:     148000 | #Constraints:      46263
58.46/58.61	c #Conflicts:     149000 | #Constraints:      47263
58.46/58.61	c #Conflicts:     150000 | #Constraints:      48263
58.46/58.61	c #Conflicts:     151000 | #Constraints:      49263
58.46/58.61	c #Conflicts:     152000 | #Constraints:      50263
58.46/58.61	c #Conflicts:     153000 | #Constraints:      51263
58.46/58.61	c INPROCESSING
58.46/58.61	c GARBAGE COLLECT
58.46/58.61	c #Conflicts:     154000 | #Constraints:      40295
58.46/58.61	c #Conflicts:     155000 | #Constraints:      41295
58.46/58.61	c #Conflicts:     156000 | #Constraints:      42295
58.46/58.61	c #Conflicts:     157000 | #Constraints:      43295
58.46/58.61	c #Conflicts:     158000 | #Constraints:      44295
58.46/58.61	c #Conflicts:     159000 | #Constraints:      45295
58.46/58.61	c #Conflicts:     160000 | #Constraints:      46295
58.46/58.61	c #Conflicts:     161000 | #Constraints:      47295
58.46/58.61	c #Conflicts:     162000 | #Constraints:      48295
58.46/58.61	c #Conflicts:     163000 | #Constraints:      49295
58.46/58.61	c #Conflicts:     164000 | #Constraints:      50295
58.46/58.61	c #Conflicts:     165000 | #Constraints:      51295
58.46/58.61	c #Conflicts:     166000 | #Constraints:      52295
58.46/58.61	c #Conflicts:     167000 | #Constraints:      53295
58.46/58.61	c #Conflicts:     168000 | #Constraints:      54295
58.46/58.61	c #Conflicts:     169000 | #Constraints:      55295
58.46/58.61	c #Conflicts:     170000 | #Constraints:      56295
58.46/58.61	c #Conflicts:     171000 | #Constraints:      57295
58.46/58.61	c #Conflicts:     172000 | #Constraints:      58295
58.46/58.61	c #Conflicts:     173000 | #Constraints:      59295
58.46/58.61	c #Conflicts:     174000 | #Constraints:      60295
58.46/58.61	c #Conflicts:     175000 | #Constraints:      61295
58.46/58.61	c #Conflicts:     176000 | #Constraints:      62295
58.46/58.61	c #Conflicts:     177000 | #Constraints:      63295
58.46/58.61	c #Conflicts:     178000 | #Constraints:      64295
58.46/58.61	c #Conflicts:     179000 | #Constraints:      65295
58.46/58.61	c #Conflicts:     180000 | #Constraints:      66295
58.46/58.61	c INPROCESSING
58.46/58.61	c GARBAGE COLLECT
58.46/58.61	c #Conflicts:     181000 | #Constraints:      47743
58.46/58.61	c #Conflicts:     182000 | #Constraints:      48743
58.46/58.61	c #Conflicts:     183000 | #Constraints:      49743
58.46/58.61	c #Conflicts:     184000 | #Constraints:      50743
58.46/58.61	c #Conflicts:     185000 | #Constraints:      51743
58.46/58.61	c #Conflicts:     186000 | #Constraints:      52743
58.46/58.61	c #Conflicts:     187000 | #Constraints:      53743
58.46/58.61	c #Conflicts:     188000 | #Constraints:      54743
58.46/58.61	c #Conflicts:     189000 | #Constraints:      55743
58.46/58.61	c #Conflicts:     190000 | #Constraints:      56743
58.46/58.61	c #Conflicts:     191000 | #Constraints:      57743
58.46/58.61	c INPROCESSING
58.46/58.61	c GARBAGE COLLECT
58.46/58.61	c #Conflicts:     192000 | #Constraints:      43062
58.46/58.61	c #Conflicts:     193000 | #Constraints:      44062
58.46/58.61	c #Conflicts:     194000 | #Constraints:      45062
58.46/58.61	c #Conflicts:     195000 | #Constraints:      46062
58.46/58.61	c #Conflicts:     196000 | #Constraints:      47062
58.46/58.61	c #Conflicts:     197000 | #Constraints:      48062
58.46/58.61	c #Conflicts:     198000 | #Constraints:      49062
58.46/58.61	c #Conflicts:     199000 | #Constraints:      50062
58.46/58.61	c #Conflicts:     200000 | #Constraints:      51062
58.46/58.61	c #Conflicts:     201000 | #Constraints:      52062
58.46/58.61	c #Conflicts:     202000 | #Constraints:      53062
58.46/58.61	c #Conflicts:     203000 | #Constraints:      54062
58.46/58.61	c #Conflicts:     204000 | #Constraints:      55062
58.46/58.61	c INPROCESSING
58.46/58.61	c GARBAGE COLLECT
58.46/58.61	c #Conflicts:     205000 | #Constraints:      42200
58.46/58.61	c #Conflicts:     206000 | #Constraints:      43200
58.46/58.61	c #Conflicts:     207000 | #Constraints:      44200
58.46/58.61	c #Conflicts:     208000 | #Constraints:      45200
58.46/58.61	c #Conflicts:     209000 | #Constraints:      46200
58.46/58.61	c #Conflicts:     210000 | #Constraints:      47200
58.46/58.61	c #Conflicts:     211000 | #Constraints:      48200
58.46/58.61	c #Conflicts:     212000 | #Constraints:      49200
58.46/58.61	c #Conflicts:     213000 | #Constraints:      50200
58.46/58.61	c #Conflicts:     214000 | #Constraints:      51200
58.46/58.61	c #Conflicts:     215000 | #Constraints:      52200
58.46/58.61	c #Conflicts:     216000 | #Constraints:      53200
58.46/58.61	c #Conflicts:     217000 | #Constraints:      54200
58.46/58.61	c #Conflicts:     218000 | #Constraints:      55200
58.46/58.61	c #Conflicts:     219000 | #Constraints:      56200
58.46/58.61	c #Conflicts:     220000 | #Constraints:      57200
58.46/58.61	c #Conflicts:     221000 | #Constraints:      58200
58.46/58.61	c #Conflicts:     222000 | #Constraints:      59200
58.46/58.61	c #Conflicts:     223000 | #Constraints:      60200
58.46/58.61	c #Conflicts:     224000 | #Constraints:      61200
86.99/87.26	c #Conflicts:     225000 | #Constraints:      62200
86.99/87.26	c #Conflicts:     226000 | #Constraints:      63200
86.99/87.26	c #Conflicts:     227000 | #Constraints:      64200
86.99/87.26	c #Conflicts:     228000 | #Constraints:      65200
86.99/87.26	c #Conflicts:     229000 | #Constraints:      66200
86.99/87.26	c #Conflicts:     230000 | #Constraints:      67200
86.99/87.26	c #Conflicts:     231000 | #Constraints:      68200
86.99/87.26	c #Conflicts:     232000 | #Constraints:      69200
86.99/87.26	c #Conflicts:     233000 | #Constraints:      70200
86.99/87.26	c #Conflicts:     234000 | #Constraints:      71200
86.99/87.26	c #Conflicts:     235000 | #Constraints:      72200
86.99/87.26	c INPROCESSING
86.99/87.26	c GARBAGE COLLECT
86.99/87.26	c #Conflicts:     236000 | #Constraints:      50622
86.99/87.26	c #Conflicts:     237000 | #Constraints:      51622
86.99/87.26	c #Conflicts:     238000 | #Constraints:      52622
86.99/87.26	c #Conflicts:     239000 | #Constraints:      53622
86.99/87.26	c #Conflicts:     240000 | #Constraints:      54622
86.99/87.26	c #Conflicts:     241000 | #Constraints:      55622
86.99/87.26	c #Conflicts:     242000 | #Constraints:      56622
86.99/87.26	c #Conflicts:     243000 | #Constraints:      57622
86.99/87.26	c #Conflicts:     244000 | #Constraints:      58622
86.99/87.26	c #Conflicts:     245000 | #Constraints:      59622
86.99/87.26	c #Conflicts:     246000 | #Constraints:      60622
86.99/87.26	c #Conflicts:     247000 | #Constraints:      61622
86.99/87.26	c #Conflicts:     248000 | #Constraints:      62622
86.99/87.26	c INPROCESSING
86.99/87.26	c GARBAGE COLLECT
86.99/87.26	c #Conflicts:     249000 | #Constraints:      45660
86.99/87.26	c #Conflicts:     250000 | #Constraints:      46660
86.99/87.26	c #Conflicts:     251000 | #Constraints:      47660
86.99/87.26	c #Conflicts:     252000 | #Constraints:      48660
86.99/87.26	c #Conflicts:     253000 | #Constraints:      49660
86.99/87.26	c #Conflicts:     254000 | #Constraints:      50660
86.99/87.26	c #Conflicts:     255000 | #Constraints:      51660
86.99/87.26	c #Conflicts:     256000 | #Constraints:      52660
86.99/87.26	c #Conflicts:     257000 | #Constraints:      53660
86.99/87.26	c #Conflicts:     258000 | #Constraints:      54660
86.99/87.26	c #Conflicts:     259000 | #Constraints:      55660
86.99/87.26	c #Conflicts:     260000 | #Constraints:      56660
86.99/87.26	c #Conflicts:     261000 | #Constraints:      57660
86.99/87.26	c #Conflicts:     262000 | #Constraints:      58660
86.99/87.26	c INPROCESSING
86.99/87.26	c GARBAGE COLLECT
86.99/87.26	c #Conflicts:     263000 | #Constraints:      43843
86.99/87.26	c #Conflicts:     264000 | #Constraints:      44843
86.99/87.26	c #Conflicts:     265000 | #Constraints:      45843
86.99/87.26	c #Conflicts:     266000 | #Constraints:      46843
86.99/87.26	c #Conflicts:     267000 | #Constraints:      47843
86.99/87.26	c #Conflicts:     268000 | #Constraints:      48843
86.99/87.26	c #Conflicts:     269000 | #Constraints:      49843
86.99/87.26	c #Conflicts:     270000 | #Constraints:      50843
86.99/87.26	c #Conflicts:     271000 | #Constraints:      51843
86.99/87.26	c #Conflicts:     272000 | #Constraints:      52843
86.99/87.26	c #Conflicts:     273000 | #Constraints:      53843
86.99/87.26	c #Conflicts:     274000 | #Constraints:      54843
86.99/87.26	c #Conflicts:     275000 | #Constraints:      55843
86.99/87.26	c #Conflicts:     276000 | #Constraints:      56843
86.99/87.26	c #Conflicts:     277000 | #Constraints:      57843
86.99/87.26	c #Conflicts:     278000 | #Constraints:      58843
86.99/87.26	c #Conflicts:     279000 | #Constraints:      59843
86.99/87.26	c #Conflicts:     280000 | #Constraints:      60843
86.99/87.26	c #Conflicts:     281000 | #Constraints:      61843
86.99/87.26	c #Conflicts:     282000 | #Constraints:      62843
86.99/87.26	c #Conflicts:     283000 | #Constraints:      63843
86.99/87.26	c #Conflicts:     284000 | #Constraints:      64843
86.99/87.26	c #Conflicts:     285000 | #Constraints:      65843
86.99/87.26	c #Conflicts:     286000 | #Constraints:      66843
86.99/87.26	c #Conflicts:     287000 | #Constraints:      67843
86.99/87.26	c #Conflicts:     288000 | #Constraints:      68843
86.99/87.26	c #Conflicts:     289000 | #Constraints:      69843
86.99/87.26	c #Conflicts:     290000 | #Constraints:      70843
86.99/87.26	c #Conflicts:     291000 | #Constraints:      71843
86.99/87.26	c #Conflicts:     292000 | #Constraints:      72843
86.99/87.26	c #Conflicts:     293000 | #Constraints:      73843
86.99/87.26	c #Conflicts:     294000 | #Constraints:      74843
86.99/87.26	c #Conflicts:     295000 | #Constraints:      75843
86.99/87.26	c #Conflicts:     296000 | #Constraints:      76843
86.99/87.26	c #Conflicts:     297000 | #Constraints:      77843
86.99/87.26	c INPROCESSING
86.99/87.26	c GARBAGE COLLECT
86.99/87.26	c #Conflicts:     298000 | #Constraints:      53217
86.99/87.26	c #Conflicts:     299000 | #Constraints:      54217
86.99/87.26	c #Conflicts:     300000 | #Constraints:      55217
86.99/87.26	c #Conflicts:     301000 | #Constraints:      56217
113.75/114.11	c #Conflicts:     302000 | #Constraints:      57217
113.75/114.11	c #Conflicts:     303000 | #Constraints:      58217
113.75/114.11	c #Conflicts:     304000 | #Constraints:      59217
113.75/114.11	c #Conflicts:     305000 | #Constraints:      60217
113.75/114.11	c #Conflicts:     306000 | #Constraints:      61217
113.75/114.11	c #Conflicts:     307000 | #Constraints:      62217
113.75/114.11	c #Conflicts:     308000 | #Constraints:      63217
113.75/114.11	c #Conflicts:     309000 | #Constraints:      64217
113.75/114.11	c #Conflicts:     310000 | #Constraints:      65217
113.75/114.11	c #Conflicts:     311000 | #Constraints:      66217
113.75/114.11	c #Conflicts:     312000 | #Constraints:      67217
113.75/114.11	c INPROCESSING
113.75/114.11	c GARBAGE COLLECT
113.75/114.11	c #Conflicts:     313000 | #Constraints:      47984
113.75/114.11	c #Conflicts:     314000 | #Constraints:      48984
113.75/114.11	c #Conflicts:     315000 | #Constraints:      49984
113.75/114.11	c #Conflicts:     316000 | #Constraints:      50984
113.75/114.11	c #Conflicts:     317000 | #Constraints:      51984
113.75/114.11	c #Conflicts:     318000 | #Constraints:      52984
113.75/114.11	c #Conflicts:     319000 | #Constraints:      53984
113.75/114.11	c #Conflicts:     320000 | #Constraints:      54984
113.75/114.11	c #Conflicts:     321000 | #Constraints:      55984
113.75/114.11	c #Conflicts:     322000 | #Constraints:      56984
113.75/114.11	c #Conflicts:     323000 | #Constraints:      57984
113.75/114.11	c #Conflicts:     324000 | #Constraints:      58984
113.75/114.11	c #Conflicts:     325000 | #Constraints:      59984
113.75/114.11	c #Conflicts:     326000 | #Constraints:      60984
113.75/114.11	c #Conflicts:     327000 | #Constraints:      61984
113.75/114.11	c INPROCESSING
113.75/114.11	c GARBAGE COLLECT
113.75/114.11	c #Conflicts:     328000 | #Constraints:      45335
113.75/114.11	c #Conflicts:     329000 | #Constraints:      46335
113.75/114.11	c #Conflicts:     330000 | #Constraints:      47335
113.75/114.11	c #Conflicts:     331000 | #Constraints:      48335
113.75/114.11	c #Conflicts:     332000 | #Constraints:      49335
113.75/114.11	c #Conflicts:     333000 | #Constraints:      50335
113.75/114.11	c #Conflicts:     334000 | #Constraints:      51335
113.75/114.11	c #Conflicts:     335000 | #Constraints:      52335
113.75/114.11	c #Conflicts:     336000 | #Constraints:      53335
113.75/114.11	c #Conflicts:     337000 | #Constraints:      54335
113.75/114.11	c #Conflicts:     338000 | #Constraints:      55335
113.75/114.11	c #Conflicts:     339000 | #Constraints:      56335
113.75/114.11	c #Conflicts:     340000 | #Constraints:      57335
113.75/114.11	c #Conflicts:     341000 | #Constraints:      58335
113.75/114.11	c #Conflicts:     342000 | #Constraints:      59335
113.75/114.11	c #Conflicts:     343000 | #Constraints:      60335
113.75/114.11	c #Conflicts:     344000 | #Constraints:      61335
113.75/114.11	c #Conflicts:     345000 | #Constraints:      62335
113.75/114.11	c #Conflicts:     346000 | #Constraints:      63335
113.75/114.11	c #Conflicts:     347000 | #Constraints:      64335
113.75/114.11	c #Conflicts:     348000 | #Constraints:      65335
113.75/114.11	c #Conflicts:     349000 | #Constraints:      66335
113.75/114.11	c #Conflicts:     350000 | #Constraints:      67335
113.75/114.11	c #Conflicts:     351000 | #Constraints:      68335
113.75/114.11	c #Conflicts:     352000 | #Constraints:      69335
113.75/114.11	c #Conflicts:     353000 | #Constraints:      70335
113.75/114.11	c #Conflicts:     354000 | #Constraints:      71335
113.75/114.11	c #Conflicts:     355000 | #Constraints:      72335
113.75/114.11	c #Conflicts:     356000 | #Constraints:      73335
113.75/114.11	c #Conflicts:     357000 | #Constraints:      74335
113.75/114.11	c #Conflicts:     358000 | #Constraints:      75335
113.75/114.11	c #Conflicts:     359000 | #Constraints:      76335
113.75/114.11	c #Conflicts:     360000 | #Constraints:      77335
113.75/114.11	c #Conflicts:     361000 | #Constraints:      78335
113.75/114.11	c #Conflicts:     362000 | #Constraints:      79335
113.75/114.11	c #Conflicts:     363000 | #Constraints:      80335
113.75/114.11	c cpu time 110.988 s
113.75/114.11	c deterministic time 3435231078 3.44e+09
113.75/114.11	c optimization time 8.7e-05 s
113.75/114.11	c total solve time 110.858 s
113.75/114.11	c core-guided solve time 0 s
113.75/114.11	c propagation time 46.1975 s
113.75/114.11	c conflict analysis time 59.401 s
113.75/114.11	c propagations 231162503
113.75/114.11	c resolve steps 24836393
113.75/114.11	c decisions 1330860
113.75/114.11	c conflicts 363805
113.75/114.11	c restarts 874
113.75/114.11	c inprocessing phases 26
113.75/114.11	c input clauses 25805
113.75/114.11	c input cardinalities 0
113.75/114.11	c input general constraints 0
113.75/114.11	c input average constraint length 2.11
113.75/114.11	c input average constraint degree 1.00
113.75/114.11	c learned clauses 363804
113.75/114.11	c learned cardinalities 0
113.75/114.11	c learned general constraints 0
113.75/114.11	c learned average constraint length 262.30
113.75/114.11	c learned average constraint degree 1.00
113.75/114.11	c watched constraints 0
113.75/114.11	c counting constraints 0
113.75/114.11	c gcd simplifications 0
113.75/114.11	c detected cardinalities 0
113.75/114.11	c weakened non-implied lits 0
113.75/114.11	c weakened non-implying lits 0
113.75/114.11	c original variables 8160
113.75/114.11	c clausal propagations 230798699
113.75/114.11	c cardinality propagations 0
113.75/114.11	c watched propagations 0
113.75/114.11	c counting propagations 0
113.75/114.11	c watch lookups 766035193
113.75/114.11	c watch backjump lookups 0
113.75/114.11	c watch checks 1707769040
113.75/114.11	c propagation checks 230798699
113.75/114.11	c constraint additions 265279903
113.75/114.11	c trail pops 232854879
113.75/114.11	c formula constraints 25805
113.75/114.11	c learned constraints 363804
113.75/114.11	c bound constraints 0
113.75/114.11	c core-guided constraints 0
113.75/114.11	c encountered formula constraints 16735788
113.75/114.11	c encountered learned constraints 8464410
113.75/114.11	c encountered bound constraints 0
113.75/114.11	c encountered core-guided constraints 0
113.75/114.11	c LP total time 0 s
113.75/114.11	c LP solve time 0 s
113.75/114.11	c LP constraints added 0
113.75/114.11	c LP constraints removed 0
113.75/114.11	c LP pivots internal 0
113.75/114.11	c LP pivots root 0
113.75/114.11	c LP calls 0
113.75/114.11	c LP optimalities 0
113.75/114.11	c LP no pivot count 0
113.75/114.11	c LP infeasibilities 0
113.75/114.11	c LP valid Farkas constraints 0
113.75/114.11	c LP learned Farkas constraints 0
113.75/114.11	c LP basis resets 0
113.75/114.11	c LP cycling count 0
113.75/114.11	c LP singular count 0
113.75/114.11	c LP no primal count 0
113.75/114.11	c LP no farkas count 0
113.75/114.11	c LP other issue count 0
113.75/114.11	c LP Gomory cuts 0
113.75/114.11	c LP learned cuts 0
113.75/114.11	c LP deleted cuts 0
113.75/114.11	c LP encountered Gomory constraints 0
113.75/114.11	c LP encountered Farkas constraints 0
113.75/114.11	c LP encountered learned Farkas constraints 0
113.75/114.11	c CG auxiliary variables introduced 0
113.75/114.11	c CG solutions found 0
113.75/114.11	c CG cores constructed 0
113.75/114.11	c CG core cardinality constraints returned 0
113.75/114.11	c CG unit cores 0
113.75/114.11	c CG single cores 0
113.75/114.11	c CG blocks removed during cardinality reduction 0
113.75/114.11	c CG first core best 0
113.75/114.11	c CG decision core best 0
113.75/114.11	c CG core reduction tie 0
113.75/114.11	c CG core degree average 0.00
113.75/114.11	c CG core slack average 0.00
113.75/114.11	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: 64059 MiB (61672 MiB free)
  memory of node 1: 64510 MiB (61633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455736-1721465991/watcher-4455736-1721465991 -o /tmp/evaluation-result-4455736-1721465991/solver-4455736-1721465991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047959 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455736-1721465991.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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=1054072, runsolver pid=1054069

[startup+0.100286 s]*
/proc/loadavg: 4.11 4.10 4.12 5/245 1054073
/proc/meminfo: memFree=126262252/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=38976 memory=7752 CPUtime=0.1 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 972 0 0 0 7 3 0 0 20 0 1 0 198757087 39911424 1938 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9744 1938 1255 922 0 1696 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38976 KiB
Current children cumulated memory: 7752 KiB

[startup+0.213391 s]*
/proc/loadavg: 4.11 4.10 4.12 5/245 1054073
/proc/meminfo: memFree=126260964/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=39632 memory=9100 CPUtime=0.21 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 1254 0 0 0 14 7 0 0 20 0 1 0 198757087 40583168 2275 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9908 2275 1333 922 0 1860 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 9100 KiB

[startup+0.312821 s]*
/proc/loadavg: 4.11 4.10 4.12 5/245 1054073
/proc/meminfo: memFree=126260840/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=39776 memory=9100 CPUtime=0.31 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 1262 0 0 0 20 11 0 0 20 0 1 0 198757087 40730624 2275 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9944 2275 1333 922 0 1896 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 9100 KiB

[startup+0.700309 s]
/proc/loadavg: 4.11 4.10 4.12 5/245 1054073
/proc/meminfo: memFree=126260724/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=39776 memory=9100 CPUtime=0.68 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 1267 0 0 0 41 27 0 0 20 0 1 0 198757087 40730624 2275 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9944 2275 1333 922 0 1896 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 9100 KiB

[startup+1.50028 s]
/proc/loadavg: 4.11 4.10 4.12 5/245 1054073
/proc/meminfo: memFree=126260296/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=39776 memory=9480 CPUtime=1.48 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 1280 0 0 0 87 61 0 0 20 0 1 0 198757087 40730624 2370 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9944 2370 1364 922 0 1896 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39776 KiB
Current children cumulated memory: 9480 KiB

[startup+3.11284 s]
/proc/loadavg: 4.10 4.09 4.12 5/245 1054075
/proc/meminfo: memFree=126257512/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=39908 memory=12328 CPUtime=3.09 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 1424 0 0 0 191 118 0 0 20 0 1 0 198757087 40865792 3082 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 9977 3082 1438 922 0 1929 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39908 KiB
Current children cumulated memory: 12328 KiB

[startup+6.30025 s]
/proc/loadavg: 4.10 4.09 4.12 5/245 1054075
/proc/meminfo: memFree=126251988/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=44480 memory=17132 CPUtime=6.27 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 2213 0 0 0 493 134 0 0 20 0 1 0 198757087 45547520 4283 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 11120 4283 1438 922 0 3072 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44480 KiB
Current children cumulated memory: 17132 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.09 4.11 6/245 1054075
/proc/meminfo: memFree=126246064/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=57300 memory=25664 CPUtime=12.66 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 3332 0 0 0 1119 147 0 0 20 0 1 0 198757087 58675200 6416 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 14325 6416 1438 922 0 6277 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 57300 KiB
Current children cumulated memory: 25664 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.11 5/245 1054078
/proc/meminfo: memFree=126237032/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=57956 memory=30260 CPUtime=25.43 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 3490 0 0 0 2374 169 0 0 20 0 1 0 198757087 59346944 7565 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 14489 7565 1438 922 0 6441 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57956 KiB
Current children cumulated memory: 30260 KiB

[startup+51.1129 s]
/proc/loadavg: 4.10 4.09 4.11 5/244 1054083
/proc/meminfo: memFree=126223012/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=70424 memory=43340 CPUtime=50.99 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 5302 0 0 0 4892 207 0 0 20 0 1 0 198757087 72114176 10835 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 17606 10835 1438 922 0 9558 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 70424 KiB
Current children cumulated memory: 43340 KiB

[startup+102.3 s]
/proc/loadavg: 4.56 4.21 4.15 5/244 1054103
/proc/meminfo: memFree=126192000/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=90740 memory=63120 CPUtime=102.06 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 7547 0 0 0 9932 274 0 0 20 0 1 0 198757087 92917760 15780 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 22685 15780 1438 922 0 14637 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 90740 KiB
Current children cumulated memory: 63120 KiB

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

# cumulated CPU time of all completed processes:  user=110.99 s, system=2.86911 s

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

[startup+102.4 s]
/proc/loadavg: 4.56 4.21 4.15 5/244 1054103
/proc/meminfo: memFree=126192000/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=90740 memory=63120 CPUtime=102.17 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 7547 0 0 0 9942 275 0 0 20 0 1 0 198757087 92917760 15780 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 22685 15780 1438 922 0 14637 0
Current children cumulated CPU time: 102.17 s
Current children cumulated vsize: 90740 KiB
Current children cumulated memory: 63120 KiB

[startup+108.8 s]
/proc/loadavg: 4.68 4.24 4.16 6/244 1054104
/proc/meminfo: memFree=126191628/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=90740 memory=63120 CPUtime=108.55 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 7554 0 0 0 10574 281 0 0 20 0 1 0 198757087 92917760 15780 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 22685 15780 1438 922 0 14637 0
Current children cumulated CPU time: 108.55 s
Current children cumulated vsize: 90740 KiB
Current children cumulated memory: 63120 KiB

[startup+112 s]*
/proc/loadavg: 4.71 4.25 4.16 5/244 1054104
/proc/meminfo: memFree=126183096/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=121560 memory=71368 CPUtime=111.76 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 8137 0 0 0 10891 285 0 0 20 0 1 0 198757087 124477440 17842 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 30390 17842 1438 922 0 22342 0
Current children cumulated CPU time: 111.76 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 71368 KiB

[startup+112.8 s]
/proc/loadavg: 4.71 4.25 4.16 5/244 1054104
/proc/meminfo: memFree=126183096/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=121560 memory=73416 CPUtime=112.54 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 8138 0 0 0 10969 285 0 0 20 0 1 0 198757087 124477440 18354 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 30390 18354 1438 922 0 22342 0
Current children cumulated CPU time: 112.54 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 73416 KiB

[startup+113.6 s]
/proc/loadavg: 4.71 4.25 4.16 5/244 1054106
/proc/meminfo: memFree=126178840/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=121560 memory=75464 CPUtime=113.34 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 8139 0 0 0 11048 286 0 0 20 0 1 0 198757087 124477440 18866 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 30390 18866 1438 922 0 22342 0
Current children cumulated CPU time: 113.34 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 75464 KiB

[startup+114 s]*
/proc/loadavg: 4.71 4.25 4.16 5/244 1054106
/proc/meminfo: memFree=126176192/131655788 swapFree=131071996/131071996
[pid=1054072] ppid=1054069 vsize=121560 memory=77512 CPUtime=113.75 cores=5,7
/proc/1054072/stat : 1054072 (roundingsat) R 1054069 1054072 1047946 0 -1 4194304 8140 0 0 0 11089 286 0 0 20 0 1 0 198757087 124477440 19378 134679101440 4194304 7968373 140723024179872 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39051264 140723024188348 140723024188512 140723024188512 140723024195529 0
/proc/1054072/statm: 30390 19378 1438 922 0 22342 0
Current children cumulated CPU time: 113.75 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 77512 KiB

Child status: 0

Real time (s): 114.121
CPU time (s): 113.86
CPU user time (s): 110.99
CPU system time (s): 2.86911
CPU usage (%): 99.7706
Max. virtual memory (cumulated for all children) (KiB): 121560
Max. memory (cumulated for all children) (KiB): 77512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.99
system time used= 2.86911
maximum resident set size= 77512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8155
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= 5
involuntary context switches= 98


# summary of solver processes directly reported to runsolver:
#   pid: 1054072
#   total CPU time (s): 113.86
#   total CPU user time (s): 110.99
#   total CPU system time (s): 2.86911

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.542233 second user time and 1.15766 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 11:00:03
IDJOB=4455736
IDBENCH=160421
IDSOLVER=3084
FILE ID=nodeC002/4455736-1721465991
RUNJOBID= nodeC002-1721458043-1047959
SLURM_JOB_ID= 7545699
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l100-r099-n1.cnf-plain.pb.metafix.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455736-1721465991/watcher-4455736-1721465991 -o /tmp/evaluation-result-4455736-1721465991/solver-4455736-1721465991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721458043-1047959 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455736-1721465991.opb

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

MD5SUM BENCH= 432ceff95840c24def17352d86ee9883
RANDOM SEED=2134375031

nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 3577.427
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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	: 0xb00001f
cpu MHz		: 3656.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.312
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.278
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 3665.975
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.156
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.356
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.38
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	: 0xb00001f
cpu MHz		: 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126265804 kB
MemAvailable:   128491104 kB
Buffers:          584268 kB
Cached:          2466304 kB
SwapCached:            0 kB
Active:          1059848 kB
Inactive:        3723276 kB
Active(anon):       2692 kB
Inactive(anon):  1775744 kB
Active(file):    1057156 kB
Inactive(file):  1947532 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6272 kB
Writeback:            12 kB
AnonPages:       1731488 kB
Mapped:           113932 kB
Shmem:             45896 kB
KReclaimable:     121284 kB
Slab:             228676 kB
SReclaimable:     121284 kB
SUnreclaim:       107392 kB
KernelStack:        3904 kB
PageTables:        12924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    2284496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63616 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1349632 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC002 at 2024-07-20 11:01:57