Trace number 4513945

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-log 63f22adUNSAT cert. 57.2903 57.5408

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
MD5SUMb9564511887892a7d25b0d6be869bead
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.69735
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2484
Total number of constraints5292
Number of constraints which are clauses4464
Number of constraints which are cardinality constraints (but not clauses)828
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.08/0.10	c #variables 2484 #constraints 6120
2.66/2.74	c #Conflicts:       1000 | #Constraints:       7119
2.66/2.74	c #Conflicts:       2000 | #Constraints:       8119
2.66/2.74	c INPROCESSING
2.66/2.74	c #Conflicts:       3000 | #Constraints:       8900
2.66/2.74	c #Conflicts:       4000 | #Constraints:       9900
2.66/2.74	c #Conflicts:       5000 | #Constraints:      10900
2.66/2.74	c #Conflicts:       6000 | #Constraints:      11900
2.66/2.74	c INPROCESSING
2.66/2.74	c GARBAGE COLLECT
2.66/2.74	c #Conflicts:       7000 | #Constraints:      10305
2.66/2.74	c #Conflicts:       8000 | #Constraints:      11305
2.66/2.74	c #Conflicts:       9000 | #Constraints:      12305
2.66/2.74	c INPROCESSING
2.66/2.74	c GARBAGE COLLECT
2.66/2.74	c #Conflicts:      10000 | #Constraints:      10327
2.66/2.74	c #Conflicts:      11000 | #Constraints:      11327
2.66/2.74	c #Conflicts:      12000 | #Constraints:      12327
2.66/2.74	c INPROCESSING
2.66/2.74	c GARBAGE COLLECT
2.66/2.74	c rational objective 828
3.36/3.41	c #Conflicts:      13000 | #Constraints:      10088
3.36/3.41	c #Conflicts:      14000 | #Constraints:      11088
3.36/3.41	c #Conflicts:      15000 | #Constraints:      12088
3.36/3.41	c #Conflicts:      16000 | #Constraints:      13088
3.36/3.41	c INPROCESSING
3.36/3.41	c GARBAGE COLLECT
3.36/3.41	c rational objective 828
3.97/4.06	c #Conflicts:      17000 | #Constraints:      10634
3.97/4.06	c #Conflicts:      18000 | #Constraints:      11634
3.97/4.06	c #Conflicts:      19000 | #Constraints:      12634
3.97/4.06	c #Conflicts:      20000 | #Constraints:      13634
3.97/4.06	c INPROCESSING
3.97/4.06	c GARBAGE COLLECT
3.97/4.06	c rational objective 828
4.57/4.69	c #Conflicts:      21000 | #Constraints:      10948
4.57/4.69	c #Conflicts:      22000 | #Constraints:      11948
4.57/4.69	c #Conflicts:      23000 | #Constraints:      12948
4.57/4.69	c #Conflicts:      24000 | #Constraints:      13948
4.57/4.69	c INPROCESSING
4.57/4.69	c GARBAGE COLLECT
4.57/4.69	c rational objective 828
6.65/6.74	c #Conflicts:      25000 | #Constraints:      11063
6.65/6.74	c #Conflicts:      26000 | #Constraints:      12063
6.65/6.74	c #Conflicts:      27000 | #Constraints:      13063
6.65/6.74	c #Conflicts:      28000 | #Constraints:      14063
6.65/6.74	c INPROCESSING
6.65/6.74	c GARBAGE COLLECT
6.65/6.74	c #Conflicts:      29000 | #Constraints:      10944
6.65/6.74	c #Conflicts:      30000 | #Constraints:      11944
6.65/6.74	c #Conflicts:      31000 | #Constraints:      12944
6.65/6.74	c #Conflicts:      32000 | #Constraints:      13944
6.65/6.74	c #Conflicts:      33000 | #Constraints:      14944
6.65/6.74	c INPROCESSING
6.65/6.74	c GARBAGE COLLECT
6.65/6.74	c #Conflicts:      34000 | #Constraints:      11681
6.65/6.74	c #Conflicts:      35000 | #Constraints:      12681
6.65/6.74	c #Conflicts:      36000 | #Constraints:      13681
6.65/6.74	c #Conflicts:      37000 | #Constraints:      14681
6.65/6.74	c #Conflicts:      38000 | #Constraints:      15681
6.65/6.74	c INPROCESSING
6.65/6.74	c GARBAGE COLLECT
6.65/6.74	c rational objective 828
10.96/11.04	c #Conflicts:      39000 | #Constraints:      12173
10.96/11.04	c #Conflicts:      40000 | #Constraints:      13173
10.96/11.04	c #Conflicts:      41000 | #Constraints:      14173
10.96/11.04	c #Conflicts:      42000 | #Constraints:      15173
10.96/11.04	c INPROCESSING
10.96/11.04	c GARBAGE COLLECT
10.96/11.04	c #Conflicts:      43000 | #Constraints:      11490
10.96/11.04	c #Conflicts:      44000 | #Constraints:      12490
10.96/11.04	c #Conflicts:      45000 | #Constraints:      13490
10.96/11.04	c #Conflicts:      46000 | #Constraints:      14490
10.96/11.04	c #Conflicts:      47000 | #Constraints:      15490
10.96/11.04	c #Conflicts:      48000 | #Constraints:      16490
10.96/11.04	c INPROCESSING
10.96/11.04	c GARBAGE COLLECT
10.96/11.04	c #Conflicts:      49000 | #Constraints:      12570
10.96/11.04	c #Conflicts:      50000 | #Constraints:      13570
10.96/11.04	c #Conflicts:      51000 | #Constraints:      14570
10.96/11.04	c #Conflicts:      52000 | #Constraints:      15570
10.96/11.04	c #Conflicts:      53000 | #Constraints:      16570
10.96/11.04	c #Conflicts:      54000 | #Constraints:      17570
10.96/11.04	c #Conflicts:      55000 | #Constraints:      18570
10.96/11.04	c #Conflicts:      56000 | #Constraints:      19570
10.96/11.04	c #Conflicts:      57000 | #Constraints:      20570
10.96/11.04	c #Conflicts:      58000 | #Constraints:      21570
10.96/11.04	c #Conflicts:      59000 | #Constraints:      22570
10.96/11.04	c #Conflicts:      60000 | #Constraints:      23570
10.96/11.04	c #Conflicts:      61000 | #Constraints:      24570
10.96/11.04	c #Conflicts:      62000 | #Constraints:      25570
10.96/11.04	c #Conflicts:      63000 | #Constraints:      26570
10.96/11.04	c #Conflicts:      64000 | #Constraints:      27570
10.96/11.04	c #Conflicts:      65000 | #Constraints:      28570
10.96/11.04	c INPROCESSING
10.96/11.04	c GARBAGE COLLECT
10.96/11.04	c rational objective 828
12.14/12.25	c #Conflicts:      66000 | #Constraints:      18621
12.14/12.25	c #Conflicts:      67000 | #Constraints:      19621
12.14/12.25	c #Conflicts:      68000 | #Constraints:      20621
12.14/12.25	c #Conflicts:      69000 | #Constraints:      21621
12.14/12.25	c #Conflicts:      70000 | #Constraints:      22621
12.14/12.25	c #Conflicts:      71000 | #Constraints:      23621
12.14/12.25	c INPROCESSING
12.14/12.25	c GARBAGE COLLECT
12.14/12.25	c rational objective 828
13.34/13.41	c #Conflicts:      72000 | #Constraints:      15990
13.34/13.41	c #Conflicts:      73000 | #Constraints:      16990
13.34/13.41	c #Conflicts:      74000 | #Constraints:      17990
13.34/13.41	c #Conflicts:      75000 | #Constraints:      18990
13.34/13.41	c #Conflicts:      76000 | #Constraints:      19990
13.34/13.41	c #Conflicts:      77000 | #Constraints:      20990
13.34/13.41	c #Conflicts:      78000 | #Constraints:      21990
13.34/13.41	c INPROCESSING
13.34/13.41	c GARBAGE COLLECT
13.34/13.41	c rational objective 828
14.53/14.60	c #Conflicts:      79000 | #Constraints:      15347
14.53/14.60	c #Conflicts:      80000 | #Constraints:      16347
14.53/14.60	c #Conflicts:      81000 | #Constraints:      17347
14.53/14.60	c #Conflicts:      82000 | #Constraints:      18347
14.53/14.60	c #Conflicts:      83000 | #Constraints:      19347
14.53/14.60	c #Conflicts:      84000 | #Constraints:      20347
14.53/14.60	c INPROCESSING
14.53/14.60	c GARBAGE COLLECT
14.53/14.60	c rational objective 828
17.13/17.21	c #Conflicts:      85000 | #Constraints:      14122
17.13/17.21	c #Conflicts:      86000 | #Constraints:      15122
17.13/17.21	c #Conflicts:      87000 | #Constraints:      16122
17.13/17.21	c #Conflicts:      88000 | #Constraints:      17122
17.13/17.21	c #Conflicts:      89000 | #Constraints:      18122
17.13/17.21	c #Conflicts:      90000 | #Constraints:      19122
17.13/17.21	c #Conflicts:      91000 | #Constraints:      20122
17.13/17.21	c INPROCESSING
17.13/17.21	c GARBAGE COLLECT
17.13/17.21	c #Conflicts:      92000 | #Constraints:      13996
17.13/17.21	c #Conflicts:      93000 | #Constraints:      14996
17.13/17.21	c #Conflicts:      94000 | #Constraints:      15996
17.13/17.21	c #Conflicts:      95000 | #Constraints:      16996
17.13/17.21	c #Conflicts:      96000 | #Constraints:      17996
17.13/17.21	c #Conflicts:      97000 | #Constraints:      18996
17.13/17.21	c #Conflicts:      98000 | #Constraints:      19996
17.13/17.21	c #Conflicts:      99000 | #Constraints:      20996
17.13/17.21	c INPROCESSING
17.13/17.21	c GARBAGE COLLECT
17.13/17.21	c rational objective 828
18.23/18.39	c #Conflicts:     100000 | #Constraints:      14869
18.23/18.39	c #Conflicts:     101000 | #Constraints:      15869
18.23/18.39	c #Conflicts:     102000 | #Constraints:      16869
18.23/18.39	c #Conflicts:     103000 | #Constraints:      17869
18.23/18.39	c #Conflicts:     104000 | #Constraints:      18869
18.23/18.39	c #Conflicts:     105000 | #Constraints:      19869
18.23/18.39	c #Conflicts:     106000 | #Constraints:      20869
18.23/18.39	c INPROCESSING
18.23/18.39	c GARBAGE COLLECT
18.23/18.39	c rational objective 828
19.62/19.73	c #Conflicts:     107000 | #Constraints:      14571
19.62/19.73	c #Conflicts:     108000 | #Constraints:      15571
19.62/19.73	c #Conflicts:     109000 | #Constraints:      16571
19.62/19.73	c #Conflicts:     110000 | #Constraints:      17571
19.62/19.73	c #Conflicts:     111000 | #Constraints:      18571
19.62/19.73	c #Conflicts:     112000 | #Constraints:      19571
19.62/19.73	c #Conflicts:     113000 | #Constraints:      20571
19.62/19.73	c #Conflicts:     114000 | #Constraints:      21571
19.62/19.73	c INPROCESSING
19.62/19.73	c GARBAGE COLLECT
19.62/19.73	c rational objective 828
20.93/21.06	c #Conflicts:     115000 | #Constraints:      15146
20.93/21.06	c #Conflicts:     116000 | #Constraints:      16146
20.93/21.06	c #Conflicts:     117000 | #Constraints:      17146
20.93/21.06	c #Conflicts:     118000 | #Constraints:      18146
20.93/21.06	c #Conflicts:     119000 | #Constraints:      19146
20.93/21.06	c #Conflicts:     120000 | #Constraints:      20146
20.93/21.06	c #Conflicts:     121000 | #Constraints:      21146
20.93/21.06	c INPROCESSING
20.93/21.06	c GARBAGE COLLECT
20.93/21.06	c rational objective 828
22.42/22.56	c #Conflicts:     122000 | #Constraints:      14523
22.42/22.56	c #Conflicts:     123000 | #Constraints:      15523
22.42/22.56	c #Conflicts:     124000 | #Constraints:      16523
22.42/22.56	c #Conflicts:     125000 | #Constraints:      17523
22.42/22.56	c #Conflicts:     126000 | #Constraints:      18523
22.42/22.56	c #Conflicts:     127000 | #Constraints:      19523
22.42/22.56	c #Conflicts:     128000 | #Constraints:      20523
22.42/22.56	c #Conflicts:     129000 | #Constraints:      21523
22.42/22.56	c INPROCESSING
22.42/22.56	c GARBAGE COLLECT
22.42/22.56	c rational objective 828
25.50/25.66	c #Conflicts:     130000 | #Constraints:      14703
25.50/25.66	c #Conflicts:     131000 | #Constraints:      15703
25.50/25.66	c #Conflicts:     132000 | #Constraints:      16703
25.50/25.66	c #Conflicts:     133000 | #Constraints:      17703
25.50/25.66	c #Conflicts:     134000 | #Constraints:      18703
25.50/25.66	c #Conflicts:     135000 | #Constraints:      19703
25.50/25.66	c #Conflicts:     136000 | #Constraints:      20703
25.50/25.66	c #Conflicts:     137000 | #Constraints:      21703
25.50/25.66	c #Conflicts:     138000 | #Constraints:      22703
25.50/25.66	c INPROCESSING
25.50/25.66	c GARBAGE COLLECT
25.50/25.66	c #Conflicts:     139000 | #Constraints:      15688
25.50/25.66	c #Conflicts:     140000 | #Constraints:      16688
25.50/25.66	c #Conflicts:     141000 | #Constraints:      17688
25.50/25.66	c #Conflicts:     142000 | #Constraints:      18688
25.50/25.66	c #Conflicts:     143000 | #Constraints:      19688
25.50/25.66	c #Conflicts:     144000 | #Constraints:      20688
25.50/25.66	c #Conflicts:     145000 | #Constraints:      21688
25.50/25.66	c #Conflicts:     146000 | #Constraints:      22688
25.50/25.66	c INPROCESSING
25.50/25.66	c GARBAGE COLLECT
25.50/25.66	c rational objective 828
27.10/27.23	c #Conflicts:     147000 | #Constraints:      15497
27.10/27.23	c #Conflicts:     148000 | #Constraints:      16497
27.10/27.23	c #Conflicts:     149000 | #Constraints:      17497
27.10/27.23	c #Conflicts:     150000 | #Constraints:      18497
27.10/27.23	c #Conflicts:     151000 | #Constraints:      19497
27.10/27.23	c #Conflicts:     152000 | #Constraints:      20497
27.10/27.23	c #Conflicts:     153000 | #Constraints:      21497
27.10/27.23	c #Conflicts:     154000 | #Constraints:      22497
27.10/27.23	c #Conflicts:     155000 | #Constraints:      23497
27.10/27.23	c INPROCESSING
27.10/27.23	c GARBAGE COLLECT
27.10/27.23	c rational objective 828
28.80/28.91	c #Conflicts:     156000 | #Constraints:      16100
28.80/28.91	c #Conflicts:     157000 | #Constraints:      17100
28.80/28.91	c #Conflicts:     158000 | #Constraints:      18100
28.80/28.91	c #Conflicts:     159000 | #Constraints:      19100
28.80/28.91	c #Conflicts:     160000 | #Constraints:      20100
28.80/28.91	c #Conflicts:     161000 | #Constraints:      21100
28.80/28.91	c #Conflicts:     162000 | #Constraints:      22100
28.80/28.91	c #Conflicts:     163000 | #Constraints:      23100
28.80/28.91	c INPROCESSING
28.80/28.91	c GARBAGE COLLECT
28.80/28.91	c rational objective 828
30.59/30.71	c #Conflicts:     164000 | #Constraints:      15512
30.59/30.71	c #Conflicts:     165000 | #Constraints:      16512
30.59/30.71	c #Conflicts:     166000 | #Constraints:      17512
30.59/30.71	c #Conflicts:     167000 | #Constraints:      18512
30.59/30.71	c #Conflicts:     168000 | #Constraints:      19512
30.59/30.71	c #Conflicts:     169000 | #Constraints:      20512
30.59/30.71	c #Conflicts:     170000 | #Constraints:      21512
30.59/30.71	c #Conflicts:     171000 | #Constraints:      22512
30.59/30.71	c #Conflicts:     172000 | #Constraints:      23512
30.59/30.71	c INPROCESSING
30.59/30.71	c GARBAGE COLLECT
30.59/30.71	c rational objective 828
32.28/32.48	c #Conflicts:     173000 | #Constraints:      15734
32.28/32.48	c #Conflicts:     174000 | #Constraints:      16734
32.28/32.48	c #Conflicts:     175000 | #Constraints:      17734
32.28/32.48	c #Conflicts:     176000 | #Constraints:      18734
32.28/32.48	c #Conflicts:     177000 | #Constraints:      19734
32.28/32.48	c #Conflicts:     178000 | #Constraints:      20734
32.28/32.48	c #Conflicts:     179000 | #Constraints:      21734
32.28/32.48	c #Conflicts:     180000 | #Constraints:      22734
32.28/32.48	c #Conflicts:     181000 | #Constraints:      23734
32.28/32.48	c #Conflicts:     182000 | #Constraints:      24734
32.28/32.48	c INPROCESSING
32.28/32.48	c GARBAGE COLLECT
32.28/32.48	c rational objective 828
34.18/34.34	c #Conflicts:     183000 | #Constraints:      16719
34.18/34.34	c #Conflicts:     184000 | #Constraints:      17719
34.18/34.34	c #Conflicts:     185000 | #Constraints:      18719
34.18/34.34	c #Conflicts:     186000 | #Constraints:      19719
34.18/34.34	c #Conflicts:     187000 | #Constraints:      20719
34.18/34.34	c #Conflicts:     188000 | #Constraints:      21719
34.18/34.34	c #Conflicts:     189000 | #Constraints:      22719
34.18/34.34	c #Conflicts:     190000 | #Constraints:      23719
34.18/34.34	c #Conflicts:     191000 | #Constraints:      24719
34.18/34.34	c INPROCESSING
34.18/34.34	c GARBAGE COLLECT
34.18/34.34	c rational objective 828
35.78/35.95	c #Conflicts:     192000 | #Constraints:      16534
35.78/35.95	c #Conflicts:     193000 | #Constraints:      17534
35.78/35.95	c #Conflicts:     194000 | #Constraints:      18534
35.78/35.95	c #Conflicts:     195000 | #Constraints:      19534
35.78/35.95	c #Conflicts:     196000 | #Constraints:      20534
35.78/35.95	c #Conflicts:     197000 | #Constraints:      21534
35.78/35.95	c #Conflicts:     198000 | #Constraints:      22534
35.78/35.95	c #Conflicts:     199000 | #Constraints:      23534
35.78/35.95	c #Conflicts:     200000 | #Constraints:      24534
35.78/35.95	c #Conflicts:     201000 | #Constraints:      25534
35.78/35.95	c INPROCESSING
35.78/35.95	c GARBAGE COLLECT
35.78/35.95	c rational objective 828
37.67/37.80	c #Conflicts:     202000 | #Constraints:      17140
37.67/37.80	c #Conflicts:     203000 | #Constraints:      18140
37.67/37.80	c #Conflicts:     204000 | #Constraints:      19140
37.67/37.80	c #Conflicts:     205000 | #Constraints:      20140
37.67/37.80	c #Conflicts:     206000 | #Constraints:      21140
37.67/37.80	c #Conflicts:     207000 | #Constraints:      22140
37.67/37.80	c #Conflicts:     208000 | #Constraints:      23140
37.67/37.80	c #Conflicts:     209000 | #Constraints:      24140
37.67/37.80	c #Conflicts:     210000 | #Constraints:      25140
37.67/37.80	c INPROCESSING
37.67/37.80	c GARBAGE COLLECT
37.67/37.80	c rational objective 828
48.04/48.26	c #Conflicts:     211000 | #Constraints:      16534
48.04/48.26	c #Conflicts:     212000 | #Constraints:      17534
48.04/48.26	c #Conflicts:     213000 | #Constraints:      18534
48.04/48.26	c #Conflicts:     214000 | #Constraints:      19534
48.04/48.26	c #Conflicts:     215000 | #Constraints:      20534
48.04/48.26	c #Conflicts:     216000 | #Constraints:      21534
48.04/48.26	c #Conflicts:     217000 | #Constraints:      22534
48.04/48.26	c #Conflicts:     218000 | #Constraints:      23534
48.04/48.26	c #Conflicts:     219000 | #Constraints:      24534
48.04/48.26	c #Conflicts:     220000 | #Constraints:      25534
48.04/48.26	c #Conflicts:     221000 | #Constraints:      26534
48.04/48.26	c #Conflicts:     222000 | #Constraints:      27534
48.04/48.26	c #Conflicts:     223000 | #Constraints:      28534
48.04/48.26	c #Conflicts:     224000 | #Constraints:      29534
48.04/48.26	c #Conflicts:     225000 | #Constraints:      30534
48.04/48.26	c #Conflicts:     226000 | #Constraints:      31534
48.04/48.26	c #Conflicts:     227000 | #Constraints:      32534
48.04/48.26	c #Conflicts:     228000 | #Constraints:      33534
48.04/48.26	c #Conflicts:     229000 | #Constraints:      34534
48.04/48.26	c #Conflicts:     230000 | #Constraints:      35534
48.04/48.26	c #Conflicts:     231000 | #Constraints:      36534
48.04/48.26	c #Conflicts:     232000 | #Constraints:      37534
48.04/48.26	c #Conflicts:     233000 | #Constraints:      38534
48.04/48.26	c #Conflicts:     234000 | #Constraints:      39534
48.04/48.26	c #Conflicts:     235000 | #Constraints:      40534
48.04/48.26	c #Conflicts:     236000 | #Constraints:      41534
48.04/48.26	c #Conflicts:     237000 | #Constraints:      42534
48.04/48.26	c #Conflicts:     238000 | #Constraints:      43534
48.04/48.26	c #Conflicts:     239000 | #Constraints:      44534
48.04/48.26	c #Conflicts:     240000 | #Constraints:      45534
48.04/48.26	c #Conflicts:     241000 | #Constraints:      46534
48.04/48.26	c #Conflicts:     242000 | #Constraints:      47534
48.04/48.26	c #Conflicts:     243000 | #Constraints:      48534
48.04/48.26	c #Conflicts:     244000 | #Constraints:      49534
48.04/48.26	c #Conflicts:     245000 | #Constraints:      50534
48.04/48.26	c #Conflicts:     246000 | #Constraints:      51534
48.04/48.26	c #Conflicts:     247000 | #Constraints:      52534
48.04/48.26	c #Conflicts:     248000 | #Constraints:      53534
48.04/48.26	c #Conflicts:     249000 | #Constraints:      54534
48.04/48.26	c INPROCESSING
48.04/48.26	c GARBAGE COLLECT
48.04/48.27	c rational objective 828
51.63/51.81	c #Conflicts:     250000 | #Constraints:      31340
51.63/51.81	c #Conflicts:     251000 | #Constraints:      32340
51.63/51.81	c #Conflicts:     252000 | #Constraints:      33340
51.63/51.81	c #Conflicts:     253000 | #Constraints:      34340
51.63/51.81	c #Conflicts:     254000 | #Constraints:      35340
51.63/51.81	c #Conflicts:     255000 | #Constraints:      36340
51.63/51.81	c #Conflicts:     256000 | #Constraints:      37340
51.63/51.81	c #Conflicts:     257000 | #Constraints:      38340
51.63/51.81	c #Conflicts:     258000 | #Constraints:      39340
51.63/51.81	c #Conflicts:     259000 | #Constraints:      40340
51.63/51.81	c #Conflicts:     260000 | #Constraints:      41340
51.63/51.81	c INPROCESSING
51.63/51.81	c GARBAGE COLLECT
51.63/51.81	c rational objective 828
54.32/54.51	c #Conflicts:     261000 | #Constraints:      24695
54.32/54.51	c #Conflicts:     262000 | #Constraints:      25695
54.32/54.51	c #Conflicts:     263000 | #Constraints:      26695
54.32/54.51	c #Conflicts:     264000 | #Constraints:      27695
54.32/54.51	c #Conflicts:     265000 | #Constraints:      28695
54.32/54.51	c #Conflicts:     266000 | #Constraints:      29695
54.32/54.51	c #Conflicts:     267000 | #Constraints:      30695
54.32/54.51	c #Conflicts:     268000 | #Constraints:      31695
54.32/54.51	c #Conflicts:     269000 | #Constraints:      32695
54.32/54.51	c #Conflicts:     270000 | #Constraints:      33695
54.32/54.51	c #Conflicts:     271000 | #Constraints:      34695
54.32/54.51	c #Conflicts:     272000 | #Constraints:      35695
54.32/54.51	c INPROCESSING
54.32/54.51	c GARBAGE COLLECT
54.32/54.51	c rational objective 828
57.22/57.43	c #Conflicts:     273000 | #Constraints:      17179
57.22/57.43	c #Conflicts:     274000 | #Constraints:      18179
57.22/57.43	c #Conflicts:     275000 | #Constraints:      19179
57.22/57.43	c #Conflicts:     276000 | #Constraints:      20179
57.22/57.43	c #Conflicts:     277000 | #Constraints:      21179
57.22/57.43	c #Conflicts:     278000 | #Constraints:      22179
57.22/57.43	c #Conflicts:     279000 | #Constraints:      23179
57.22/57.43	c #Conflicts:     280000 | #Constraints:      24179
57.22/57.43	c #Conflicts:     281000 | #Constraints:      25179
57.22/57.43	c #Conflicts:     282000 | #Constraints:      26179
57.22/57.43	c #Conflicts:     283000 | #Constraints:      27179
57.22/57.43	c #Conflicts:     284000 | #Constraints:      28179
57.22/57.43	c #Conflicts:     285000 | #Constraints:      29179
57.22/57.43	c #Conflicts:     286000 | #Constraints:      30179
57.22/57.43	c #Conflicts:     287000 | #Constraints:      31179
57.22/57.43	c #Conflicts:     288000 | #Constraints:      32179
57.22/57.43	c cpu time 55.8829 s
57.22/57.43	c deterministic time 1529480172 1.53e+09
57.22/57.43	c optimization time 5.1e-05 s
57.22/57.43	c total solve time 55.8166 s
57.22/57.43	c core-guided solve time 0 s
57.22/57.43	c propagation time 24.9376 s
57.22/57.43	c conflict analysis time 25.6298 s
57.22/57.43	c propagations 78983852
57.22/57.43	c resolve steps 10830739
57.22/57.43	c decisions 476804
57.22/57.43	c conflicts 288455
57.22/57.43	c restarts 694
57.22/57.43	c inprocessing phases 34
57.22/57.43	c garbage collections 33 ,( 97.06 )
57.22/57.43	c input clauses 5292 ,( 86.47 )
57.22/57.43	c input cardinalities 828 ,( 13.53 )
57.22/57.43	c input general constraints 0 ,( 0.00 )
57.22/57.43	c input average constraint length 2.27
57.22/57.43	c input average constraint degree 1.14
57.22/57.43	c learned clauses 288644 ,( 99.94 )
57.22/57.43	c learned cardinalities 172 ,( 0.06 )
57.22/57.43	c learned general constraints 6 ,( 0.00 )
57.22/57.43	c learned average constraint length 157.73
57.22/57.43	c learned average constraint degree 15801.00
57.22/57.43	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
57.22/57.43	c counting CF 32, 64, 128, Arb: 6 , 0 , 0 , 0
57.22/57.43	c watched   constraints 0 ,( 0.00 ) 
57.22/57.43	c counting  constraints 6 ,( 100.00 ) 
57.22/57.43	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 310763174 , 19391985 , 0 ,( 0 , 0 )
57.22/57.43	c gcd simplifications 378
57.22/57.43	c detected cardinalities 3
57.22/57.43	c weakened non-implied lits 204267
57.22/57.43	c weakened non-implying lits 20
57.22/57.43	c original variables 2484
57.22/57.43	c clausal propagations 63138044
57.22/57.43	c cardinality propagations 15557354
57.22/57.43	c watched propagations 0
57.22/57.43	c counting propagations 0
57.22/57.43	c watch lookups 330197998
57.22/57.43	c watch backjump lookups 0
57.22/57.43	c watch checks 781295205
57.22/57.43	c propagation checks 121159374
57.22/57.43	c constraint additions 137567741
57.22/57.43	c trail pops 79748498
57.22/57.43	c formula constraints 6120
57.22/57.43	c learned constraints 288454
57.22/57.43	c bound constraints 0
57.22/57.43	c core-guided constraints 0
57.22/57.43	c encountered formula constraints 6540994
57.22/57.43	c encountered learned constraints 4568050
57.22/57.43	c encountered bound constraints 0
57.22/57.43	c encountered core-guided constraints 0
57.22/57.43	c LP total time 2.3643 s
57.22/57.43	c LP solve time 0.61 s
57.22/57.43	c LP constraints added 10202
57.22/57.43	c LP constraints removed 3866
57.22/57.43	c LP pivots internal 30085
57.22/57.43	c LP pivots root 20614
57.22/57.43	c LP calls 51
57.22/57.43	c LP optimalities 49
57.22/57.43	c LP no pivot count 2
57.22/57.43	c LP infeasibilities 0
57.22/57.43	c LP valid Farkas constraints 0
57.22/57.43	c LP learned Farkas constraints 0
57.22/57.43	c LP basis resets 0
57.22/57.43	c LP cycling count 0
57.22/57.43	c LP singular count 0
57.22/57.43	c LP no primal count 0
57.22/57.43	c LP no farkas count 0
57.22/57.43	c LP other issue count 0
57.22/57.43	c LP Gomory cuts 368
57.22/57.43	c LP learned cuts 3714
57.22/57.43	c LP deleted cuts 3866
57.22/57.43	c LP encountered Gomory constraints 10150
57.22/57.43	c LP encountered Farkas constraints 0
57.22/57.43	c LP encountered learned Farkas constraints 0
57.22/57.43	c CG auxiliary variables introduced 0
57.22/57.43	c CG solutions found 0
57.22/57.43	c CG cores constructed 0
57.22/57.43	c CG core cardinality constraints returned 0
57.22/57.43	c CG unit cores 0
57.22/57.43	c CG single cores 0
57.22/57.43	c CG blocks removed during cardinality reduction 0
57.22/57.43	c CG first core best 0
57.22/57.43	c CG decision core best 0
57.22/57.43	c CG core reduction tie 0
57.22/57.43	c CG core degree average 0.00
57.22/57.43	c CG core slack average 0.00
57.22/57.43	c CG core upper bound improvements 0
57.22/57.43	c STR number of successful calls 0
57.22/57.43	c STR number of unsuccessful calls 0
57.22/57.43	c STR number of inconclusive calls 0
57.22/57.43	c STR number of successful attempts 0
57.22/57.43	c STR number of unsuccessful attempts 0
57.22/57.43	c STR number of inconclusive attempts 0
57.22/57.43	c STR average degree increase per successful call inf
57.22/57.43	c STR average degree increase per successful attempt inf
57.22/57.43	c STR total number of conflicts for successful attempts 0
57.22/57.43	c STR total number of conflicts for unsuccessful attempts 0
57.22/57.43	c STR total number of conflicts for inconclusive attempts 0
57.22/57.43	c STR average number of conflicts per successful attempt inf
57.27/57.53	c STR average number of conflicts per unsuccessful attempt inf
57.27/57.53	c STR average number of conflicts per inconclusive attempt inf
57.27/57.53	c AVG.sumWPerc 56.38 
57.27/57.53	c bigint constraints 0 
57.27/57.53	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 18:55:44 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513945-1751201014/watcher-4513945-1751201014 -o /tmp/evaluation-result-4513945-1751201014/solver-4513945-1751201014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24749 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4513945-1751201014.opb PROOFDIR/proof-4513945-1751201014 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=26256, runsolver pid=26253

[startup+0.100088 s]*
/proc/loadavg: 4.12 4.10 4.09 6/258 26258
/proc/meminfo: memFree=119375808/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=63048 memory=16676 CPUtime=0.08 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 2661 0 0 0 6 2 0 0 20 0 1 0 35780564 64561152 4169 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 15762 4169 2240 1147 0 3189 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67240 KiB
Current children cumulated memory: 19748 KiB

[startup+0.206448 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 26258
/proc/meminfo: memFree=119367492/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=66600 memory=20260 CPUtime=0.19 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 3526 0 0 0 17 2 0 0 20 0 1 0 35780564 68198400 5065 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 16650 5065 2272 1147 0 4077 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 23332 KiB

[startup+0.314045 s]*
/proc/loadavg: 4.12 4.10 4.09 5/258 26258
/proc/meminfo: memFree=119367492/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=66600 memory=20644 CPUtime=0.31 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 3558 0 0 0 25 6 0 0 20 0 1 0 35780564 68198400 5161 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 16650 5161 2336 1147 0 4077 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 23716 KiB

[startup+0.700374 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 26258
/proc/meminfo: memFree=119387068/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=66600 memory=20772 CPUtime=0.67 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 3574 0 0 0 50 17 0 0 20 0 1 0 35780564 68198400 5193 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 16650 5193 2368 1147 0 4077 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 23844 KiB

[startup+1.50035 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 26258
/proc/meminfo: memFree=119379568/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=67216 memory=22180 CPUtime=1.47 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 3912 0 0 0 124 23 0 0 20 0 1 0 35780564 68829184 5545 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 16804 5545 2368 1147 0 4231 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71408 KiB
Current children cumulated memory: 25252 KiB

[startup+3.11376 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 26258
/proc/meminfo: memFree=119359200/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=68468 memory=24356 CPUtime=3.08 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 4466 0 0 0 281 27 0 0 20 0 1 0 35780564 70111232 6089 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 17117 6089 2368 1147 0 4544 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72660 KiB
Current children cumulated memory: 27428 KiB

[startup+6.30034 s]
/proc/loadavg: 4.18 4.11 4.10 5/258 26258
/proc/meminfo: memFree=119322912/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=71492 memory=28992 CPUtime=6.25 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 5111 0 0 0 590 35 0 0 20 0 1 0 35780564 73207808 7248 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 17873 7248 2368 1147 0 5300 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 75684 KiB
Current children cumulated memory: 32064 KiB

[startup+12.7003 s]
/proc/loadavg: 4.25 4.13 4.10 5/258 26258
/proc/meminfo: memFree=119261680/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=80964 memory=37144 CPUtime=12.64 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 6142 0 0 0 1215 49 0 0 20 0 1 0 35780564 82907136 9286 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 20241 9286 2368 1147 0 7668 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 85156 KiB
Current children cumulated memory: 40216 KiB

[startup+25.5004 s]
/proc/loadavg: 4.36 4.16 4.11 5/258 26258
/proc/meminfo: memFree=119148208/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=81608 memory=37784 CPUtime=25.4 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 6310 0 0 0 2462 78 0 0 20 0 1 0 35780564 83566592 9446 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 20402 9446 2368 1147 0 7829 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 85800 KiB
Current children cumulated memory: 40856 KiB

[startup+51.1139 s]
/proc/loadavg: 4.64 4.24 4.14 5/258 26259
/proc/meminfo: memFree=118980372/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67604 CPUtime=50.94 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9175 0 0 0 4970 124 0 0 20 0 1 0 35780564 128008192 16901 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16901 2368 1147 0 18679 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70676 KiB

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

# cumulated CPU time of all completed processes:  user=55.897 s, system=1.39331 s

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

[startup+51.2005 s]
/proc/loadavg: 4.64 4.24 4.14 5/258 26259
/proc/meminfo: memFree=118980372/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67604 CPUtime=51.03 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9175 0 0 0 4979 124 0 0 20 0 1 0 35780564 128008192 16901 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16901 2368 1147 0 18679 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70676 KiB

[startup+54.4004 s]
/proc/loadavg: 4.75 4.27 4.15 5/258 26259
/proc/meminfo: memFree=118939548/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=54.22 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9196 0 0 0 5294 128 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 54.22 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

[startup+56.0003 s]*
/proc/loadavg: 4.75 4.27 4.15 5/258 26259
/proc/meminfo: memFree=118923672/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=55.84 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9196 0 0 0 5452 132 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 55.84 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

[startup+56.8003 s]
/proc/loadavg: 4.75 4.27 4.15 5/258 26259
/proc/meminfo: memFree=118923672/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=56.62 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9196 0 0 0 5528 134 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 56.62 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

[startup+57.2003 s]
/proc/loadavg: 4.77 4.28 4.16 5/258 26259
/proc/meminfo: memFree=118915608/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=57.01 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9196 0 0 0 5565 136 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 57.01 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

[startup+57.4003 s]
/proc/loadavg: 4.77 4.28 4.16 5/258 26259
/proc/meminfo: memFree=118915608/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=57.22 cores=1,3
/proc/26258/stat : 26258 (roundingsat) R 26256 26256 24737 0 -1 4194304 9196 0 0 0 5585 137 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 57.22 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

[startup+57.5003 s]
/proc/loadavg: 4.77 4.28 4.16 5/258 26259
/proc/meminfo: memFree=118915608/131382116 swapFree=33010684/33010684
[pid=26256] ppid=26253 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/26256/stat : 26256 (run-dec-ls-log.) S 26253 26256 24737 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35780564 4292608 768 18446744073709551615 94622147170304 94622148064837 140734736050880 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94622148303888 94622148351632 94622161436672 140734736058651 140734736058849 140734736058849 140734736064451 0
/proc/26256/statm: 1048 768 704 219 0 110 0
[pid=26258] ppid=26256 vsize=125008 memory=67732 CPUtime=57.27 cores=1,3
/proc/26258/stat : 26258 (roundingsat) D 26256 26256 24737 0 -1 4194304 9196 0 0 0 5589 138 0 0 20 0 1 0 35780564 128008192 16933 18446744073709551615 4227072 8923433 140731576267536 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 39165952 140731576273232 140731576273448 140731576273448 140731576279018 0
/proc/26258/statm: 31252 16933 2368 1147 0 18679 0
Current children cumulated CPU time: 57.27 s
Current children cumulated vsize: 129200 KiB
Current children cumulated memory: 70804 KiB

Child status: 0

Real time (s): 57.5408
CPU time (s): 57.2903
CPU user time (s): 55.897
CPU system time (s): 1.39331
CPU usage (%): 99.5648
Max. virtual memory (cumulated for all children) (KiB): 129200
Max. memory (cumulated for all children) (KiB): 70804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.897
system time used= 1.39331
maximum resident set size= 67732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 254904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3580
involuntary context switches= 86


# summary of solver processes directly reported to runsolver:
#   pid: 26256
#   total CPU time (s): 57.2903
#   total CPU user time (s): 55.897
#   total CPU system time (s): 1.39331

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.384637 second user time and 0.621048 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2025-06-29 14:43:34
IDJOB=4513945
IDBENCH=162582
IDSOLVER=3354
FILE ID=nodeC004/4513945-1751201014
RUNJOBID= nodeC004-1751192146-24749
SLURM_JOB_ID= 9587582
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l045-r044-n1.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4513945-1751201014/watcher-4513945-1751201014 -o /tmp/evaluation-result-4513945-1751201014/solver-4513945-1751201014 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751192146-24749 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4513945-1751201014.opb PROOFDIR/proof-4513945-1751201014

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

MD5SUM BENCH= b9564511887892a7d25b0d6be869bead
RANDOM SEED=1435771458

nodeC004 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	: 0xb00001f
cpu MHz		: 3661.158
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 pti 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	: 6983.74
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		: 1197.214
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 pti 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	: 6983.74
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.383
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 pti 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	: 6983.74
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		: 2993.014
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 pti 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	: 6983.74
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		: 3661.179
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 pti 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	: 6983.74
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		: 3691.392
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 pti 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	: 6983.74
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.691
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 pti 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	: 6983.74
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        119375808 kB
MemAvailable:   129033712 kB
Buffers:            3280 kB
Cached:         10455800 kB
SwapCached:            0 kB
Active:          1238324 kB
Inactive:       10208324 kB
Active(anon):    1005332 kB
Inactive(anon):        0 kB
Active(file):     232992 kB
Inactive(file): 10208324 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            140272 kB
Writeback:            16 kB
AnonPages:        987164 kB
Mapped:           116368 kB
Shmem:             17976 kB
KReclaimable:     112432 kB
Slab:             199140 kB
SReclaimable:     112432 kB
SUnreclaim:        86708 kB
KernelStack:        4080 kB
PageTables:         5200 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1416028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    585728 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:      197448 kB
DirectMap2M:    10190848 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC004 at 2025-06-29 14:44:32