Trace number 4510906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls 63f22adUNSAT 55.595 55.7399

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
MD5SUMc362d715d0badaf71b85c8289996ec3a
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 benchmark1.49469
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5370
Total number of constraints12701
Number of constraints which are clauses6008
Number of constraints which are cardinality constraints (but not clauses)6693
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.06	c #variables 5370 #constraints 12701
2.87/2.91	c #Conflicts:       1000 | #Constraints:      13700
2.87/2.91	c #Conflicts:       2000 | #Constraints:      14700
2.87/2.91	c INPROCESSING
2.87/2.91	c #Conflicts:       3000 | #Constraints:      15438
2.87/2.91	c #Conflicts:       4000 | #Constraints:      16438
2.87/2.91	c #Conflicts:       5000 | #Constraints:      17438
2.87/2.91	c #Conflicts:       6000 | #Constraints:      18438
2.87/2.91	c INPROCESSING
2.87/2.91	c GARBAGE COLLECT
2.87/2.91	c #Conflicts:       7000 | #Constraints:      16941
2.87/2.91	c #Conflicts:       8000 | #Constraints:      17941
2.87/2.91	c #Conflicts:       9000 | #Constraints:      18941
2.87/2.91	c INPROCESSING
2.87/2.91	c GARBAGE COLLECT
2.87/2.91	c #Conflicts:      10000 | #Constraints:      17030
2.87/2.91	c #Conflicts:      11000 | #Constraints:      18030
2.87/2.91	c #Conflicts:      12000 | #Constraints:      19030
2.87/2.91	c INPROCESSING
2.87/2.91	c GARBAGE COLLECT
2.87/2.91	c rational objective 1790
8.85/9.00	c #Conflicts:      13000 | #Constraints:      16833
8.85/9.00	c #Conflicts:      14000 | #Constraints:      17833
8.85/9.00	c #Conflicts:      15000 | #Constraints:      18833
8.85/9.00	c #Conflicts:      16000 | #Constraints:      19833
8.85/9.00	c INPROCESSING
8.85/9.00	c GARBAGE COLLECT
8.85/9.00	c #Conflicts:      17000 | #Constraints:      17363
8.85/9.00	c #Conflicts:      18000 | #Constraints:      18363
8.85/9.00	c #Conflicts:      19000 | #Constraints:      19363
8.85/9.00	c #Conflicts:      20000 | #Constraints:      20363
8.85/9.00	c INPROCESSING
8.85/9.00	c GARBAGE COLLECT
8.85/9.00	c #Conflicts:      21000 | #Constraints:      17682
8.85/9.00	c #Conflicts:      22000 | #Constraints:      18682
8.85/9.00	c #Conflicts:      23000 | #Constraints:      19682
8.85/9.00	c #Conflicts:      24000 | #Constraints:      20682
8.85/9.00	c INPROCESSING
8.85/9.00	c GARBAGE COLLECT
8.85/9.00	c #Conflicts:      25000 | #Constraints:      17792
8.85/9.00	c #Conflicts:      26000 | #Constraints:      18792
8.85/9.00	c #Conflicts:      27000 | #Constraints:      19792
8.85/9.00	c #Conflicts:      28000 | #Constraints:      20792
8.85/9.00	c INPROCESSING
8.85/9.00	c GARBAGE COLLECT
8.85/9.00	c #Conflicts:      29000 | #Constraints:      17719
8.85/9.00	c #Conflicts:      30000 | #Constraints:      18719
8.85/9.00	c #Conflicts:      31000 | #Constraints:      19719
8.85/9.00	c #Conflicts:      32000 | #Constraints:      20719
8.85/9.00	c #Conflicts:      33000 | #Constraints:      21719
8.85/9.00	c #Conflicts:      34000 | #Constraints:      22719
8.85/9.00	c #Conflicts:      35000 | #Constraints:      23719
8.85/9.00	c #Conflicts:      36000 | #Constraints:      24719
8.85/9.00	c #Conflicts:      37000 | #Constraints:      25719
8.85/9.00	c #Conflicts:      38000 | #Constraints:      26719
8.85/9.00	c #Conflicts:      39000 | #Constraints:      27719
8.85/9.00	c #Conflicts:      40000 | #Constraints:      28719
8.85/9.00	c #Conflicts:      41000 | #Constraints:      29719
8.85/9.00	c INPROCESSING
8.85/9.00	c GARBAGE COLLECT
8.85/9.00	c rational objective 1790
10.56/10.68	c #Conflicts:      42000 | #Constraints:      22373
10.56/10.68	c #Conflicts:      43000 | #Constraints:      23373
10.56/10.68	c #Conflicts:      44000 | #Constraints:      24373
10.56/10.68	c #Conflicts:      45000 | #Constraints:      25373
10.56/10.68	c #Conflicts:      46000 | #Constraints:      26373
10.56/10.68	c #Conflicts:      47000 | #Constraints:      27374
10.56/10.68	c INPROCESSING
10.56/10.68	c GARBAGE COLLECT
10.56/10.68	c rational objective 1790
12.06/12.14	c #Conflicts:      48000 | #Constraints:      21387
12.06/12.14	c #Conflicts:      49000 | #Constraints:      22387
12.06/12.14	c #Conflicts:      50000 | #Constraints:      23387
12.06/12.14	c #Conflicts:      51000 | #Constraints:      24387
12.06/12.14	c #Conflicts:      52000 | #Constraints:      25387
12.06/12.14	c INPROCESSING
12.06/12.14	c GARBAGE COLLECT
12.06/12.14	c rational objective 1790
19.43/19.58	c #Conflicts:      53000 | #Constraints:      19993
19.43/19.58	c #Conflicts:      54000 | #Constraints:      20993
19.43/19.58	c #Conflicts:      55000 | #Constraints:      21993
19.43/19.58	c #Conflicts:      56000 | #Constraints:      22993
19.43/19.58	c #Conflicts:      57000 | #Constraints:      23993
19.43/19.58	c #Conflicts:      58000 | #Constraints:      24993
19.43/19.58	c INPROCESSING
19.43/19.58	c GARBAGE COLLECT
19.43/19.58	c #Conflicts:      59000 | #Constraints:      19825
19.43/19.58	c #Conflicts:      60000 | #Constraints:      20825
19.43/19.58	c #Conflicts:      61000 | #Constraints:      21825
19.43/19.58	c #Conflicts:      62000 | #Constraints:      22825
19.43/19.58	c #Conflicts:      63000 | #Constraints:      23825
19.43/19.58	c #Conflicts:      64000 | #Constraints:      24825
19.43/19.58	c #Conflicts:      65000 | #Constraints:      25825
19.43/19.58	c INPROCESSING
19.43/19.58	c GARBAGE COLLECT
19.43/19.58	c #Conflicts:      66000 | #Constraints:      20619
19.43/19.58	c #Conflicts:      67000 | #Constraints:      21619
19.43/19.58	c #Conflicts:      68000 | #Constraints:      22619
19.43/19.58	c #Conflicts:      69000 | #Constraints:      23619
19.43/19.58	c #Conflicts:      70000 | #Constraints:      24619
19.43/19.58	c #Conflicts:      71000 | #Constraints:      25619
19.43/19.58	c INPROCESSING
19.43/19.58	c GARBAGE COLLECT
19.43/19.58	c #Conflicts:      72000 | #Constraints:      20321
19.43/19.58	c #Conflicts:      73000 | #Constraints:      21321
19.43/19.58	c #Conflicts:      74000 | #Constraints:      22321
19.43/19.58	c #Conflicts:      75000 | #Constraints:      23321
19.43/19.58	c #Conflicts:      76000 | #Constraints:      24321
19.43/19.58	c #Conflicts:      77000 | #Constraints:      25321
19.43/19.58	c #Conflicts:      78000 | #Constraints:      26321
19.43/19.58	c INPROCESSING
19.43/19.58	c GARBAGE COLLECT
19.43/19.58	c #Conflicts:      79000 | #Constraints:      20899
19.43/19.58	c #Conflicts:      80000 | #Constraints:      21899
19.43/19.58	c #Conflicts:      81000 | #Constraints:      22899
19.43/19.58	c #Conflicts:      82000 | #Constraints:      23899
19.43/19.58	c #Conflicts:      83000 | #Constraints:      24899
19.43/19.58	c #Conflicts:      84000 | #Constraints:      25899
19.43/19.58	c INPROCESSING
19.43/19.58	c GARBAGE COLLECT
19.43/19.58	c rational objective 1790
22.73/22.87	c #Conflicts:      85000 | #Constraints:      20272
22.73/22.87	c #Conflicts:      86000 | #Constraints:      21272
22.73/22.87	c #Conflicts:      87000 | #Constraints:      22272
22.73/22.87	c #Conflicts:      88000 | #Constraints:      23272
22.73/22.87	c #Conflicts:      89000 | #Constraints:      24272
22.73/22.87	c #Conflicts:      90000 | #Constraints:      25272
22.73/22.87	c #Conflicts:      91000 | #Constraints:      26272
22.73/22.87	c INPROCESSING
22.73/22.87	c GARBAGE COLLECT
22.73/22.87	c #Conflicts:      92000 | #Constraints:      20475
22.73/22.87	c #Conflicts:      93000 | #Constraints:      21475
22.73/22.87	c #Conflicts:      94000 | #Constraints:      22475
22.73/22.87	c #Conflicts:      95000 | #Constraints:      23475
22.73/22.87	c #Conflicts:      96000 | #Constraints:      24475
22.73/22.87	c #Conflicts:      97000 | #Constraints:      25475
22.73/22.87	c #Conflicts:      98000 | #Constraints:      26475
22.73/22.87	c #Conflicts:      99000 | #Constraints:      27475
22.73/22.87	c INPROCESSING
22.73/22.87	c GARBAGE COLLECT
22.73/22.87	c rational objective 1790
24.52/24.63	c #Conflicts:     100000 | #Constraints:      21453
24.52/24.63	c #Conflicts:     101000 | #Constraints:      22453
24.52/24.63	c #Conflicts:     102000 | #Constraints:      23453
24.52/24.63	c #Conflicts:     103000 | #Constraints:      24453
24.52/24.63	c #Conflicts:     104000 | #Constraints:      25453
24.52/24.63	c #Conflicts:     105000 | #Constraints:      26453
24.52/24.63	c #Conflicts:     106000 | #Constraints:      27453
24.52/24.63	c INPROCESSING
24.52/24.63	c GARBAGE COLLECT
24.52/24.63	c rational objective 1790
26.51/26.60	c #Conflicts:     107000 | #Constraints:      21254
26.51/26.60	c #Conflicts:     108000 | #Constraints:      22254
26.51/26.60	c #Conflicts:     109000 | #Constraints:      23254
26.51/26.60	c #Conflicts:     110000 | #Constraints:      24254
26.51/26.60	c #Conflicts:     111000 | #Constraints:      25254
26.51/26.60	c #Conflicts:     112000 | #Constraints:      26254
26.51/26.60	c #Conflicts:     113000 | #Constraints:      27254
26.51/26.60	c #Conflicts:     114000 | #Constraints:      28254
26.51/26.60	c INPROCESSING
26.51/26.60	c GARBAGE COLLECT
26.51/26.60	c rational objective 1790
44.88/45.01	c #Conflicts:     115000 | #Constraints:      21832
44.88/45.01	c #Conflicts:     116000 | #Constraints:      22832
44.88/45.01	c #Conflicts:     117000 | #Constraints:      23832
44.88/45.01	c #Conflicts:     118000 | #Constraints:      24832
44.88/45.01	c #Conflicts:     119000 | #Constraints:      25832
44.88/45.01	c #Conflicts:     120000 | #Constraints:      26832
44.88/45.01	c #Conflicts:     121000 | #Constraints:      27832
44.88/45.01	c INPROCESSING
44.88/45.01	c GARBAGE COLLECT
44.88/45.01	c #Conflicts:     122000 | #Constraints:      21229
44.88/45.01	c #Conflicts:     123000 | #Constraints:      22229
44.88/45.01	c #Conflicts:     124000 | #Constraints:      23229
44.88/45.01	c #Conflicts:     125000 | #Constraints:      24229
44.88/45.01	c #Conflicts:     126000 | #Constraints:      25229
44.88/45.01	c #Conflicts:     127000 | #Constraints:      26229
44.88/45.01	c #Conflicts:     128000 | #Constraints:      27229
44.88/45.01	c #Conflicts:     129000 | #Constraints:      28229
44.88/45.01	c INPROCESSING
44.88/45.01	c GARBAGE COLLECT
44.88/45.01	c #Conflicts:     130000 | #Constraints:      21451
44.88/45.01	c #Conflicts:     131000 | #Constraints:      22451
44.88/45.01	c #Conflicts:     132000 | #Constraints:      23451
44.88/45.01	c #Conflicts:     133000 | #Constraints:      24451
44.88/45.01	c #Conflicts:     134000 | #Constraints:      25451
44.88/45.01	c #Conflicts:     135000 | #Constraints:      26451
44.88/45.01	c #Conflicts:     136000 | #Constraints:      27451
44.88/45.01	c #Conflicts:     137000 | #Constraints:      28451
44.88/45.01	c #Conflicts:     138000 | #Constraints:      29451
44.88/45.01	c INPROCESSING
44.88/45.01	c GARBAGE COLLECT
44.88/45.01	c #Conflicts:     139000 | #Constraints:      22447
44.88/45.01	c #Conflicts:     140000 | #Constraints:      23447
44.88/45.01	c #Conflicts:     141000 | #Constraints:      24447
44.88/45.01	c #Conflicts:     142000 | #Constraints:      25447
44.88/45.01	c #Conflicts:     143000 | #Constraints:      26447
44.88/45.01	c #Conflicts:     144000 | #Constraints:      27447
44.88/45.01	c #Conflicts:     145000 | #Constraints:      28447
44.88/45.01	c #Conflicts:     146000 | #Constraints:      29447
44.88/45.01	c INPROCESSING
44.88/45.01	c GARBAGE COLLECT
44.88/45.01	c #Conflicts:     147000 | #Constraints:      22250
44.88/45.01	c #Conflicts:     148000 | #Constraints:      23250
44.88/45.01	c #Conflicts:     149000 | #Constraints:      24250
44.88/45.01	c #Conflicts:     150000 | #Constraints:      25250
44.88/45.01	c #Conflicts:     151000 | #Constraints:      26250
44.88/45.01	c #Conflicts:     152000 | #Constraints:      27250
44.88/45.01	c #Conflicts:     153000 | #Constraints:      28250
44.88/45.01	c #Conflicts:     154000 | #Constraints:      29250
44.88/45.01	c #Conflicts:     155000 | #Constraints:      30250
44.88/45.01	c #Conflicts:     156000 | #Constraints:      31250
44.88/45.01	c #Conflicts:     157000 | #Constraints:      32250
44.88/45.01	c #Conflicts:     158000 | #Constraints:      33250
44.88/45.01	c #Conflicts:     159000 | #Constraints:      34250
44.88/45.01	c #Conflicts:     160000 | #Constraints:      35250
44.88/45.01	c #Conflicts:     161000 | #Constraints:      36250
44.88/45.01	c #Conflicts:     162000 | #Constraints:      37250
44.88/45.01	c #Conflicts:     163000 | #Constraints:      38250
44.88/45.01	c #Conflicts:     164000 | #Constraints:      39250
44.88/45.01	c #Conflicts:     165000 | #Constraints:      40250
44.88/45.01	c #Conflicts:     166000 | #Constraints:      41250
44.88/45.01	c #Conflicts:     167000 | #Constraints:      42250
44.88/45.01	c #Conflicts:     168000 | #Constraints:      43250
44.88/45.01	c #Conflicts:     169000 | #Constraints:      44250
44.88/45.01	c #Conflicts:     170000 | #Constraints:      45250
44.88/45.01	c #Conflicts:     171000 | #Constraints:      46250
44.88/45.01	c #Conflicts:     172000 | #Constraints:      47250
44.88/45.01	c #Conflicts:     173000 | #Constraints:      48250
44.88/45.01	c #Conflicts:     174000 | #Constraints:      49250
44.88/45.01	c #Conflicts:     175000 | #Constraints:      50250
44.88/45.01	c #Conflicts:     176000 | #Constraints:      51250
44.88/45.01	c #Conflicts:     177000 | #Constraints:      52250
44.88/45.01	c INPROCESSING
44.88/45.01	c GARBAGE COLLECT
44.88/45.01	c rational objective 1790
49.06/49.25	c #Conflicts:     178000 | #Constraints:      33609
49.06/49.25	c #Conflicts:     179000 | #Constraints:      34609
49.06/49.25	c #Conflicts:     180000 | #Constraints:      35609
49.06/49.25	c #Conflicts:     181000 | #Constraints:      36609
49.06/49.25	c #Conflicts:     182000 | #Constraints:      37609
49.06/49.25	c #Conflicts:     183000 | #Constraints:      38609
49.06/49.25	c #Conflicts:     184000 | #Constraints:      39609
49.06/49.25	c #Conflicts:     185000 | #Constraints:      40610
49.06/49.25	c #Conflicts:     186000 | #Constraints:      41610
49.06/49.25	c #Conflicts:     187000 | #Constraints:      42610
49.06/49.25	c INPROCESSING
49.06/49.25	c GARBAGE COLLECT
49.06/49.25	c rational objective 1790
53.15/53.35	c #Conflicts:     188000 | #Constraints:      28946
53.15/53.35	c #Conflicts:     189000 | #Constraints:      29946
53.15/53.35	c #Conflicts:     190000 | #Constraints:      30946
53.15/53.35	c #Conflicts:     191000 | #Constraints:      31946
53.15/53.35	c #Conflicts:     192000 | #Constraints:      32946
53.15/53.35	c #Conflicts:     193000 | #Constraints:      33946
53.15/53.35	c #Conflicts:     194000 | #Constraints:      34947
53.15/53.35	c #Conflicts:     195000 | #Constraints:      35947
53.15/53.35	c #Conflicts:     196000 | #Constraints:      36947
53.15/53.35	c #Conflicts:     197000 | #Constraints:      37947
53.15/53.35	c INPROCESSING
53.15/53.35	c GARBAGE COLLECT
53.15/53.35	c rational objective 1790
55.54/55.73	c #Conflicts:     198000 | #Constraints:      21784
55.54/55.73	c #Conflicts:     199000 | #Constraints:      22784
55.54/55.73	c #Conflicts:     200000 | #Constraints:      23784
55.54/55.73	c #Conflicts:     201000 | #Constraints:      24784
55.54/55.73	c #Conflicts:     202000 | #Constraints:      25784
55.54/55.73	c #Conflicts:     203000 | #Constraints:      26784
55.54/55.73	c cpu time 54.5616 s
55.54/55.73	c deterministic time 1619129154 1.62e+09
55.54/55.73	c optimization time 4.3e-05 s
55.54/55.73	c total solve time 54.5224 s
55.54/55.73	c core-guided solve time 0 s
55.54/55.73	c propagation time 24.0914 s
55.54/55.73	c conflict analysis time 24.5046 s
55.54/55.73	c propagations 101330889
55.54/55.73	c resolve steps 10951853
55.54/55.73	c decisions 506340
55.54/55.73	c conflicts 203645
55.54/55.73	c restarts 509
55.54/55.73	c inprocessing phases 27
55.54/55.73	c garbage collections 26 ,( 96.30 )
55.54/55.73	c input clauses 6008 ,( 47.30 )
55.54/55.73	c input cardinalities 6693 ,( 52.70 )
55.54/55.73	c input general constraints 0 ,( 0.00 )
55.54/55.73	c input average constraint length 2.67
55.54/55.73	c input average constraint degree 1.53
55.54/55.73	c learned clauses 202142 ,( 99.26 )
55.54/55.73	c learned cardinalities 1495 ,( 0.73 )
55.54/55.73	c learned general constraints 22 ,( 0.01 )
55.54/55.73	c learned average constraint length 200.67
55.54/55.73	c learned average constraint degree 37829.29
55.54/55.73	c watched  CF 32, 64, 128, Arb: 21 , 0 , 0 , 0
55.54/55.73	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
55.54/55.73	c watched   constraints 21 ,( 95.45 ) 
55.54/55.73	c counting  constraints 1 ,( 4.55 ) 
55.54/55.73	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 229897326 , 103582897 , 5518 ,( 5518 , 0 )
55.54/55.73	c gcd simplifications 18
55.54/55.73	c detected cardinalities 3
55.54/55.73	c weakened non-implied lits 767999
55.54/55.73	c weakened non-implying lits 16
55.54/55.73	c original variables 5370
55.54/55.73	c clausal propagations 63728853
55.54/55.73	c cardinality propagations 37396913
55.54/55.73	c watched propagations 77
55.54/55.73	c counting propagations 0
55.54/55.73	c watch lookups 333738762
55.54/55.73	c watch backjump lookups 0
55.54/55.73	c watch checks 626006559
55.54/55.73	c propagation checks 338697219
55.54/55.73	c constraint additions 116767321
55.54/55.73	c trail pops 102039532
55.54/55.73	c formula constraints 12701
55.54/55.73	c learned constraints 203640
55.54/55.73	c bound constraints 0
55.54/55.73	c core-guided constraints 0
55.54/55.73	c encountered formula constraints 6958841
55.54/55.73	c encountered learned constraints 4195934
55.54/55.73	c encountered bound constraints 0
55.54/55.73	c encountered core-guided constraints 0
55.54/55.73	c LP total time 2.95244 s
55.54/55.73	c LP solve time 1.41 s
55.54/55.73	c LP constraints added 12779
55.54/55.73	c LP constraints removed 73
55.54/55.73	c LP pivots internal 24027
55.54/55.73	c LP pivots root 18504
55.54/55.73	c LP calls 25
55.54/55.73	c LP optimalities 18
55.54/55.73	c LP no pivot count 1
55.54/55.73	c LP infeasibilities 4
55.54/55.73	c LP valid Farkas constraints 4
55.54/55.73	c LP learned Farkas constraints 4
55.54/55.73	c LP basis resets 0
55.54/55.73	c LP cycling count 0
55.54/55.73	c LP singular count 0
55.54/55.73	c LP no primal count 0
55.54/55.73	c LP no farkas count 0
55.54/55.73	c LP other issue count 0
55.54/55.73	c LP Gomory cuts 11
55.54/55.73	c LP learned cuts 67
55.54/55.73	c LP deleted cuts 73
55.54/55.73	c LP encountered Gomory constraints 310
55.54/55.73	c LP encountered Farkas constraints 376
55.54/55.73	c LP encountered learned Farkas constraints 33
55.54/55.73	c CG auxiliary variables introduced 0
55.54/55.73	c CG solutions found 0
55.54/55.73	c CG cores constructed 0
55.54/55.73	c CG core cardinality constraints returned 0
55.54/55.73	c CG unit cores 0
55.54/55.73	c CG single cores 0
55.54/55.73	c CG blocks removed during cardinality reduction 0
55.54/55.73	c CG first core best 0
55.54/55.73	c CG decision core best 0
55.54/55.73	c CG core reduction tie 0
55.54/55.73	c CG core degree average 0.00
55.54/55.73	c CG core slack average 0.00
55.54/55.73	c CG core upper bound improvements 0
55.54/55.73	c STR number of successful calls 0
55.54/55.73	c STR number of unsuccessful calls 0
55.54/55.73	c STR number of inconclusive calls 0
55.54/55.73	c STR number of successful attempts 0
55.54/55.73	c STR number of unsuccessful attempts 0
55.54/55.73	c STR number of inconclusive attempts 0
55.54/55.73	c STR average degree increase per successful call inf
55.54/55.73	c STR average degree increase per successful attempt inf
55.54/55.73	c STR total number of conflicts for successful attempts 0
55.54/55.73	c STR total number of conflicts for unsuccessful attempts 0
55.54/55.73	c STR total number of conflicts for inconclusive attempts 0
55.54/55.73	c STR average number of conflicts per successful attempt inf
55.54/55.73	c STR average number of conflicts per unsuccessful attempt inf
55.54/55.73	c STR average number of conflicts per inconclusive attempt inf
55.54/55.73	c AVG.sumWPerc 9.25 
55.54/55.73	c bigint constraints 0 
55.54/55.73	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: 63665 MiB (62844 MiB free)
  memory of node 1: 64507 MiB (63944 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510906-1751196876/watcher-4510906-1751196876 -o /tmp/evaluation-result-4510906-1751196876/solver-4510906-1751196876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26736 --watchdog 3760 run-dec-ls.sh HOME/instance-4510906-1751196876.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100064 s]*
/proc/loadavg: 4.09 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129828604/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=77080 memory=32744 CPUtime=0.09 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 5749 0 0 0 7 2 0 0 20 0 1 0 35365449 78929920 8186 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 19270 8186 2272 1147 0 6697 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81272 KiB
Current children cumulated memory: 35688 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.09 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129828604/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=78732 memory=34536 CPUtime=0.19 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 6167 0 0 0 16 3 0 0 20 0 1 0 35365449 80621568 8634 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 19683 8634 2336 1147 0 7110 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82924 KiB
Current children cumulated memory: 37480 KiB

[startup+0.30556 s]*
/proc/loadavg: 4.09 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129828604/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=78732 memory=34536 CPUtime=0.29 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 6167 0 0 0 23 6 0 0 20 0 1 0 35365449 80621568 8634 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 19683 8634 2336 1147 0 7110 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 82924 KiB
Current children cumulated memory: 37480 KiB

[startup+0.700139 s]
/proc/loadavg: 4.09 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129828368/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=78732 memory=34536 CPUtime=0.68 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 6171 0 0 0 53 15 0 0 20 0 1 0 35365449 80621568 8634 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 19683 8634 2336 1147 0 7110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 82924 KiB
Current children cumulated memory: 37480 KiB

[startup+1.50015 s]
/proc/loadavg: 4.09 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129828368/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=79484 memory=35304 CPUtime=1.48 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 6382 0 0 0 129 19 0 0 20 0 1 0 35365449 81391616 8826 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 19871 8826 2336 1147 0 7298 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83676 KiB
Current children cumulated memory: 38248 KiB

[startup+3.1057 s]
/proc/loadavg: 4.08 4.08 4.04 5/269 28093
/proc/meminfo: memFree=129824496/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=81756 memory=39500 CPUtime=3.07 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 6892 0 0 0 286 21 0 0 20 0 1 0 35365449 83718144 9875 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 20439 9875 2368 1147 0 7866 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 85948 KiB
Current children cumulated memory: 42444 KiB

[startup+6.30015 s]
/proc/loadavg: 4.08 4.08 4.04 5/269 28094
/proc/meminfo: memFree=129818704/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=84164 memory=41164 CPUtime=6.26 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 7314 0 0 0 599 27 0 0 20 0 1 0 35365449 86183936 10291 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 21041 10291 2368 1147 0 8468 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 88356 KiB
Current children cumulated memory: 44108 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.04 5/269 28094
/proc/meminfo: memFree=129815344/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=92408 memory=47436 CPUtime=12.65 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 8901 0 0 0 1230 35 0 0 20 0 1 0 35365449 94625792 11859 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 23102 11859 2368 1147 0 10529 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 96600 KiB
Current children cumulated memory: 50380 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.09 4.05 5/269 28094
/proc/meminfo: memFree=129814588/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=93240 memory=48204 CPUtime=25.42 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 9087 0 0 0 2484 58 0 0 20 0 1 0 35365449 95477760 12051 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 23310 12051 2368 1147 0 10737 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97432 KiB
Current children cumulated memory: 51148 KiB

[startup+51.1056 s]
/proc/loadavg: 4.14 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764096/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=50.96 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12030 0 0 0 5001 95 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

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

# cumulated CPU time of all completed processes:  user=54.5653 s, system=1.02965 s

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

[startup+51.2002 s]
/proc/loadavg: 4.14 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764096/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=51.06 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12030 0 0 0 5011 95 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

[startup+52.8002 s]
/proc/loadavg: 4.13 4.10 4.05 6/271 28099
/proc/meminfo: memFree=129764096/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=52.65 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12030 0 0 0 5169 96 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 52.65 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

[startup+54.4001 s]
/proc/loadavg: 4.13 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764004/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=54.24 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12030 0 0 0 5324 100 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 54.24 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

[startup+55.2001 s]
/proc/loadavg: 4.13 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764004/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=55.04 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12030 0 0 0 5403 101 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 55.04 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

[startup+55.6002 s]
/proc/loadavg: 4.13 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764004/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=55.45 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12032 0 0 0 5443 102 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 55.45 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

[startup+55.7001 s]
/proc/loadavg: 4.13 4.10 4.05 5/271 28099
/proc/meminfo: memFree=129764004/131250000 swapFree=33010684/33010684
[pid=28091] ppid=28088 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/28091/stat : 28091 (run-dec-ls.sh) S 28088 28091 26724 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 35365449 4292608 736 18446744073709551615 94222198484992 94222199379525 140727788371584 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94222199618576 94222199666320 94222224605184 140727788374375 140727788374501 140727788374501 140727788380103 0
/proc/28091/statm: 1048 736 672 219 0 110 0
[pid=28093] ppid=28091 vsize=134692 memory=78232 CPUtime=55.54 cores=1,3
/proc/28093/stat : 28093 (roundingsat) R 28091 28091 26724 0 -1 4194304 12032 0 0 0 5452 102 0 0 20 0 1 0 35365449 137924608 19558 18446744073709551615 4227072 8923433 140720877263104 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13881344 140720877271456 140720877271592 140720877271592 140720877277162 0
/proc/28093/statm: 33673 19558 2368 1147 0 21100 0
Current children cumulated CPU time: 55.54 s
Current children cumulated vsize: 138884 KiB
Current children cumulated memory: 81176 KiB

Child status: 0

Real time (s): 55.7399
CPU time (s): 55.595
CPU user time (s): 54.5653
CPU system time (s): 1.02965
CPU usage (%): 99.74
Max. virtual memory (cumulated for all children) (KiB): 138884
Max. memory (cumulated for all children) (KiB): 81176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 54.5653
system time used= 1.02965
maximum resident set size= 78232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12261
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= 123


# summary of solver processes directly reported to runsolver:
#   pid: 28091
#   total CPU time (s): 55.595
#   total CPU user time (s): 54.5653
#   total CPU system time (s): 1.02965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.126549 second user time and 0.261117 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 13:34:36
IDJOB=4510906
IDBENCH=160398
IDSOLVER=3353
FILE ID=nodeC018/4510906-1751196876
RUNJOBID= nodeC018-1751192387-26736
SLURM_JOB_ID= 9587583
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4510906-1751196876/watcher-4510906-1751196876 -o /tmp/evaluation-result-4510906-1751196876/solver-4510906-1751196876 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26736 --watchdog 3760  run-dec-ls.sh HOME/instance-4510906-1751196876.opb

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

MD5SUM BENCH= c362d715d0badaf71b85c8289996ec3a
RANDOM SEED=621012664

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129832364 kB
MemAvailable:   129527348 kB
Buffers:            3280 kB
Cached:           504868 kB
SwapCached:            0 kB
Active:           577428 kB
Inactive:         247692 kB
Active(anon):     335056 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   247692 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7712 kB
Writeback:             0 kB
AnonPages:        316872 kB
Mapped:           112676 kB
Shmem:             18076 kB
KReclaimable:      87916 kB
Slab:             171764 kB
SReclaimable:      87916 kB
SUnreclaim:        83848 kB
KernelStack:        4352 kB
PageTables:         3780 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     661336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC018 at 2025-06-29 13:35:32