Trace number 4460782

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 log (2)UNSAT cert. 45.7458 45.922

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l040-r039-n1.opb
MD5SUM96e2a5c3c03fdb4a4e45b0158ae682a4
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.835655
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2196
Total number of constraints4698
Number of constraints which are clauses3966
Number of constraints which are cardinality constraints (but not clauses)732
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 4
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 2196 #constraints 5430
0.30/0.31	c #Conflicts:       1000 | #Constraints:       6429
0.30/0.31	c #Conflicts:       2000 | #Constraints:       7429
0.30/0.31	c INPROCESSING
0.30/0.31	c GARBAGE COLLECT
0.30/0.31	c rational objective 732
0.79/0.84	c #Conflicts:       3000 | #Constraints:       7957
0.79/0.84	c #Conflicts:       4000 | #Constraints:       8957
0.79/0.84	c #Conflicts:       5000 | #Constraints:       9957
0.79/0.84	c #Conflicts:       6000 | #Constraints:      10957
0.79/0.84	c INPROCESSING
0.79/0.84	c GARBAGE COLLECT
0.79/0.84	c rational objective 732
1.28/1.34	c #Conflicts:       7000 | #Constraints:       9433
1.28/1.34	c #Conflicts:       8000 | #Constraints:      10433
1.28/1.34	c #Conflicts:       9000 | #Constraints:      11433
1.28/1.34	c INPROCESSING
1.28/1.34	c GARBAGE COLLECT
1.28/1.34	c rational objective 732
1.79/1.82	c #Conflicts:      10000 | #Constraints:       9525
1.79/1.82	c #Conflicts:      11000 | #Constraints:      10525
1.79/1.82	c #Conflicts:      12000 | #Constraints:      11525
1.79/1.82	c INPROCESSING
1.79/1.82	c GARBAGE COLLECT
1.79/1.82	c rational objective 732
2.28/2.39	c #Conflicts:      13000 | #Constraints:       9322
2.28/2.39	c #Conflicts:      14000 | #Constraints:      10322
2.28/2.39	c #Conflicts:      15000 | #Constraints:      11322
2.28/2.39	c #Conflicts:      16000 | #Constraints:      12322
2.28/2.39	c INPROCESSING
2.28/2.39	c GARBAGE COLLECT
2.28/2.39	c rational objective 732
2.88/2.91	c #Conflicts:      17000 | #Constraints:       9894
2.88/2.91	c #Conflicts:      18000 | #Constraints:      10894
2.88/2.91	c #Conflicts:      19000 | #Constraints:      11894
2.88/2.91	c #Conflicts:      20000 | #Constraints:      12894
2.88/2.91	c INPROCESSING
2.88/2.91	c GARBAGE COLLECT
2.88/2.91	c rational objective 732
3.48/3.51	c #Conflicts:      21000 | #Constraints:      10200
3.48/3.51	c #Conflicts:      22000 | #Constraints:      11200
3.48/3.51	c #Conflicts:      23000 | #Constraints:      12200
3.48/3.51	c #Conflicts:      24000 | #Constraints:      13200
3.48/3.51	c INPROCESSING
3.48/3.51	c GARBAGE COLLECT
3.48/3.51	c rational objective 732
5.37/5.48	c #Conflicts:      25000 | #Constraints:      10311
5.37/5.48	c #Conflicts:      26000 | #Constraints:      11311
5.37/5.48	c #Conflicts:      27000 | #Constraints:      12311
5.37/5.48	c #Conflicts:      28000 | #Constraints:      13311
5.37/5.48	c #Conflicts:      29000 | #Constraints:      14311
5.37/5.48	c #Conflicts:      30000 | #Constraints:      15311
5.37/5.48	c #Conflicts:      31000 | #Constraints:      16311
5.37/5.48	c #Conflicts:      32000 | #Constraints:      17311
5.37/5.48	c #Conflicts:      33000 | #Constraints:      18311
5.37/5.48	c #Conflicts:      34000 | #Constraints:      19311
5.37/5.48	c #Conflicts:      35000 | #Constraints:      20311
5.37/5.48	c #Conflicts:      36000 | #Constraints:      21311
5.37/5.48	c INPROCESSING
5.37/5.48	c GARBAGE COLLECT
5.37/5.48	c rational objective 732
6.37/6.49	c #Conflicts:      37000 | #Constraints:      14630
6.37/6.49	c #Conflicts:      38000 | #Constraints:      15630
6.37/6.49	c #Conflicts:      39000 | #Constraints:      16630
6.37/6.49	c #Conflicts:      40000 | #Constraints:      17630
6.37/6.49	c #Conflicts:      41000 | #Constraints:      18630
6.37/6.49	c INPROCESSING
6.37/6.49	c GARBAGE COLLECT
6.37/6.49	c rational objective 732
7.37/7.41	c #Conflicts:      42000 | #Constraints:      13086
7.37/7.41	c #Conflicts:      43000 | #Constraints:      14086
7.37/7.41	c #Conflicts:      44000 | #Constraints:      15086
7.37/7.41	c #Conflicts:      45000 | #Constraints:      16086
7.37/7.41	c #Conflicts:      46000 | #Constraints:      17086
7.37/7.41	c #Conflicts:      47000 | #Constraints:      18086
7.37/7.41	c INPROCESSING
7.37/7.41	c GARBAGE COLLECT
7.37/7.41	c rational objective 732
8.26/8.34	c #Conflicts:      48000 | #Constraints:      13014
8.26/8.34	c #Conflicts:      49000 | #Constraints:      14014
8.26/8.34	c #Conflicts:      50000 | #Constraints:      15014
8.26/8.34	c #Conflicts:      51000 | #Constraints:      16014
8.26/8.34	c #Conflicts:      52000 | #Constraints:      17014
8.26/8.34	c INPROCESSING
8.26/8.34	c GARBAGE COLLECT
8.26/8.34	c rational objective 732
11.26/11.37	c #Conflicts:      53000 | #Constraints:      12083
11.26/11.37	c #Conflicts:      54000 | #Constraints:      13083
11.26/11.37	c #Conflicts:      55000 | #Constraints:      14083
11.26/11.37	c #Conflicts:      56000 | #Constraints:      15083
11.26/11.37	c #Conflicts:      57000 | #Constraints:      16083
11.26/11.37	c #Conflicts:      58000 | #Constraints:      17083
11.26/11.37	c #Conflicts:      59000 | #Constraints:      18083
11.26/11.37	c #Conflicts:      60000 | #Constraints:      19083
11.26/11.37	c #Conflicts:      61000 | #Constraints:      20083
11.26/11.37	c #Conflicts:      62000 | #Constraints:      21083
11.26/11.37	c #Conflicts:      63000 | #Constraints:      22083
11.26/11.37	c #Conflicts:      64000 | #Constraints:      23083
11.26/11.37	c #Conflicts:      65000 | #Constraints:      24083
11.26/11.37	c #Conflicts:      66000 | #Constraints:      25083
11.26/11.37	c #Conflicts:      67000 | #Constraints:      26083
11.26/11.37	c #Conflicts:      68000 | #Constraints:      27083
11.26/11.37	c #Conflicts:      69000 | #Constraints:      28083
11.26/11.37	c INPROCESSING
11.26/11.37	c GARBAGE COLLECT
11.26/11.37	c rational objective 732
12.75/12.82	c #Conflicts:      70000 | #Constraints:      17711
12.75/12.82	c #Conflicts:      71000 | #Constraints:      18711
12.75/12.82	c #Conflicts:      72000 | #Constraints:      19711
12.75/12.82	c #Conflicts:      73000 | #Constraints:      20711
12.75/12.82	c #Conflicts:      74000 | #Constraints:      21711
12.75/12.82	c #Conflicts:      75000 | #Constraints:      22711
12.75/12.82	c #Conflicts:      76000 | #Constraints:      23711
12.75/12.82	c INPROCESSING
12.75/12.82	c GARBAGE COLLECT
12.75/12.82	c rational objective 732
14.15/14.22	c #Conflicts:      77000 | #Constraints:      15459
14.15/14.22	c #Conflicts:      78000 | #Constraints:      16459
14.15/14.22	c #Conflicts:      79000 | #Constraints:      17459
14.15/14.22	c #Conflicts:      80000 | #Constraints:      18459
14.15/14.22	c #Conflicts:      81000 | #Constraints:      19459
14.15/14.22	c #Conflicts:      82000 | #Constraints:      20459
14.15/14.22	c #Conflicts:      83000 | #Constraints:      21459
14.15/14.22	c #Conflicts:      84000 | #Constraints:      22459
14.15/14.22	c INPROCESSING
14.15/14.22	c GARBAGE COLLECT
14.15/14.22	c rational objective 732
15.44/15.56	c #Conflicts:      85000 | #Constraints:      15200
15.44/15.56	c #Conflicts:      86000 | #Constraints:      16200
15.44/15.56	c #Conflicts:      87000 | #Constraints:      17200
15.44/15.56	c #Conflicts:      88000 | #Constraints:      18200
15.44/15.56	c #Conflicts:      89000 | #Constraints:      19200
15.44/15.56	c #Conflicts:      90000 | #Constraints:      20200
15.44/15.56	c #Conflicts:      91000 | #Constraints:      21200
15.44/15.56	c INPROCESSING
15.44/15.56	c GARBAGE COLLECT
15.44/15.56	c rational objective 732
20.03/20.15	c #Conflicts:      92000 | #Constraints:      14314
20.03/20.15	c #Conflicts:      93000 | #Constraints:      15314
20.03/20.15	c #Conflicts:      94000 | #Constraints:      16314
20.03/20.15	c #Conflicts:      95000 | #Constraints:      17314
20.03/20.15	c #Conflicts:      96000 | #Constraints:      18314
20.03/20.15	c #Conflicts:      97000 | #Constraints:      19314
20.03/20.15	c #Conflicts:      98000 | #Constraints:      20314
20.03/20.15	c #Conflicts:      99000 | #Constraints:      21314
20.03/20.15	c #Conflicts:     100000 | #Constraints:      22314
20.03/20.15	c #Conflicts:     101000 | #Constraints:      23314
20.03/20.15	c #Conflicts:     102000 | #Constraints:      24314
20.03/20.15	c #Conflicts:     103000 | #Constraints:      25314
20.03/20.15	c #Conflicts:     104000 | #Constraints:      26314
20.03/20.15	c #Conflicts:     105000 | #Constraints:      27314
20.03/20.15	c #Conflicts:     106000 | #Constraints:      28314
20.03/20.15	c #Conflicts:     107000 | #Constraints:      29314
20.03/20.15	c #Conflicts:     108000 | #Constraints:      30314
20.03/20.15	c #Conflicts:     109000 | #Constraints:      31314
20.03/20.15	c #Conflicts:     110000 | #Constraints:      32314
20.03/20.15	c #Conflicts:     111000 | #Constraints:      33314
20.03/20.15	c #Conflicts:     112000 | #Constraints:      34314
20.03/20.15	c #Conflicts:     113000 | #Constraints:      35314
20.03/20.15	c INPROCESSING
20.03/20.15	c GARBAGE COLLECT
20.03/20.15	c rational objective 732
21.82/21.97	c #Conflicts:     114000 | #Constraints:      21339
21.82/21.97	c #Conflicts:     115000 | #Constraints:      22339
21.82/21.97	c #Conflicts:     116000 | #Constraints:      23339
21.82/21.97	c #Conflicts:     117000 | #Constraints:      24339
21.82/21.97	c #Conflicts:     118000 | #Constraints:      25339
21.82/21.97	c #Conflicts:     119000 | #Constraints:      26339
21.82/21.97	c #Conflicts:     120000 | #Constraints:      27339
21.82/21.97	c #Conflicts:     121000 | #Constraints:      28339
21.82/21.97	c #Conflicts:     122000 | #Constraints:      29339
21.82/21.97	c INPROCESSING
21.82/21.97	c GARBAGE COLLECT
21.82/21.97	c rational objective 732
23.61/23.79	c #Conflicts:     123000 | #Constraints:      18430
23.61/23.79	c #Conflicts:     124000 | #Constraints:      19430
23.61/23.79	c #Conflicts:     125000 | #Constraints:      20430
23.61/23.79	c #Conflicts:     126000 | #Constraints:      21430
23.61/23.79	c #Conflicts:     127000 | #Constraints:      22430
23.61/23.79	c #Conflicts:     128000 | #Constraints:      23430
23.61/23.79	c #Conflicts:     129000 | #Constraints:      24430
23.61/23.79	c #Conflicts:     130000 | #Constraints:      25430
23.61/23.79	c #Conflicts:     131000 | #Constraints:      26430
23.61/23.79	c INPROCESSING
23.61/23.79	c GARBAGE COLLECT
23.61/23.79	c rational objective 732
25.51/25.63	c #Conflicts:     132000 | #Constraints:      16989
25.51/25.63	c #Conflicts:     133000 | #Constraints:      17989
25.51/25.63	c #Conflicts:     134000 | #Constraints:      18989
25.51/25.63	c #Conflicts:     135000 | #Constraints:      19989
25.51/25.63	c #Conflicts:     136000 | #Constraints:      20989
25.51/25.63	c #Conflicts:     137000 | #Constraints:      21989
25.51/25.63	c #Conflicts:     138000 | #Constraints:      22989
25.51/25.63	c #Conflicts:     139000 | #Constraints:      23989
25.51/25.63	c #Conflicts:     140000 | #Constraints:      24989
25.51/25.63	c INPROCESSING
25.51/25.63	c GARBAGE COLLECT
25.51/25.63	c rational objective 732
31.89/32.08	c #Conflicts:     141000 | #Constraints:      16161
31.89/32.08	c #Conflicts:     142000 | #Constraints:      17161
31.89/32.08	c #Conflicts:     143000 | #Constraints:      18161
31.89/32.08	c #Conflicts:     144000 | #Constraints:      19161
31.89/32.08	c #Conflicts:     145000 | #Constraints:      20161
31.89/32.08	c #Conflicts:     146000 | #Constraints:      21161
31.89/32.08	c #Conflicts:     147000 | #Constraints:      22161
31.89/32.08	c #Conflicts:     148000 | #Constraints:      23161
31.89/32.08	c #Conflicts:     149000 | #Constraints:      24161
31.89/32.08	c #Conflicts:     150000 | #Constraints:      25161
31.89/32.08	c #Conflicts:     151000 | #Constraints:      26161
31.89/32.08	c #Conflicts:     152000 | #Constraints:      27161
31.89/32.08	c #Conflicts:     153000 | #Constraints:      28161
31.89/32.08	c #Conflicts:     154000 | #Constraints:      29161
31.89/32.08	c #Conflicts:     155000 | #Constraints:      30161
31.89/32.08	c #Conflicts:     156000 | #Constraints:      31161
31.89/32.08	c #Conflicts:     157000 | #Constraints:      32161
31.89/32.08	c #Conflicts:     158000 | #Constraints:      33161
31.89/32.08	c #Conflicts:     159000 | #Constraints:      34161
31.89/32.08	c #Conflicts:     160000 | #Constraints:      35161
31.89/32.08	c #Conflicts:     161000 | #Constraints:      36161
31.89/32.08	c #Conflicts:     162000 | #Constraints:      37161
31.89/32.08	c #Conflicts:     163000 | #Constraints:      38161
31.89/32.08	c #Conflicts:     164000 | #Constraints:      39161
31.89/32.08	c #Conflicts:     165000 | #Constraints:      40161
31.89/32.08	c #Conflicts:     166000 | #Constraints:      41161
31.89/32.08	c #Conflicts:     167000 | #Constraints:      42161
31.89/32.08	c #Conflicts:     168000 | #Constraints:      43161
31.89/32.08	c INPROCESSING
31.89/32.08	c GARBAGE COLLECT
31.89/32.08	c rational objective 732
34.48/34.63	c #Conflicts:     169000 | #Constraints:      25546
34.48/34.63	c #Conflicts:     170000 | #Constraints:      26546
34.48/34.63	c #Conflicts:     171000 | #Constraints:      27546
34.48/34.63	c #Conflicts:     172000 | #Constraints:      28546
34.48/34.63	c #Conflicts:     173000 | #Constraints:      29546
34.48/34.63	c #Conflicts:     174000 | #Constraints:      30546
34.48/34.63	c #Conflicts:     175000 | #Constraints:      31546
34.48/34.63	c #Conflicts:     176000 | #Constraints:      32546
34.48/34.63	c #Conflicts:     177000 | #Constraints:      33546
34.48/34.63	c #Conflicts:     178000 | #Constraints:      34546
34.48/34.63	c INPROCESSING
34.48/34.63	c GARBAGE COLLECT
34.48/34.63	c rational objective 732
36.98/37.14	c #Conflicts:     179000 | #Constraints:      20989
36.98/37.14	c #Conflicts:     180000 | #Constraints:      21989
36.98/37.14	c #Conflicts:     181000 | #Constraints:      22989
36.98/37.14	c #Conflicts:     182000 | #Constraints:      23989
36.98/37.14	c #Conflicts:     183000 | #Constraints:      24989
36.98/37.14	c #Conflicts:     184000 | #Constraints:      25989
36.98/37.14	c #Conflicts:     185000 | #Constraints:      26989
36.98/37.14	c #Conflicts:     186000 | #Constraints:      27989
36.98/37.14	c #Conflicts:     187000 | #Constraints:      28989
36.98/37.14	c #Conflicts:     188000 | #Constraints:      29989
36.98/37.14	c #Conflicts:     189000 | #Constraints:      30989
36.98/37.14	c INPROCESSING
36.98/37.14	c GARBAGE COLLECT
36.98/37.14	c rational objective 732
39.26/39.49	c #Conflicts:     190000 | #Constraints:      19365
39.26/39.49	c #Conflicts:     191000 | #Constraints:      20365
39.26/39.49	c #Conflicts:     192000 | #Constraints:      21365
39.26/39.49	c #Conflicts:     193000 | #Constraints:      22365
39.26/39.49	c #Conflicts:     194000 | #Constraints:      23365
39.26/39.49	c #Conflicts:     195000 | #Constraints:      24365
39.26/39.49	c #Conflicts:     196000 | #Constraints:      25365
39.26/39.49	c #Conflicts:     197000 | #Constraints:      26365
39.26/39.49	c #Conflicts:     198000 | #Constraints:      27365
39.26/39.49	c #Conflicts:     199000 | #Constraints:      28365
39.26/39.49	c #Conflicts:     200000 | #Constraints:      29365
39.26/39.49	c INPROCESSING
39.26/39.49	c GARBAGE COLLECT
39.26/39.49	c rational objective 732
45.73/45.92	c #Conflicts:     201000 | #Constraints:      18606
45.73/45.92	c #Conflicts:     202000 | #Constraints:      19606
45.73/45.92	c #Conflicts:     203000 | #Constraints:      20606
45.73/45.92	c #Conflicts:     204000 | #Constraints:      21606
45.73/45.92	c #Conflicts:     205000 | #Constraints:      22606
45.73/45.92	c #Conflicts:     206000 | #Constraints:      23606
45.73/45.92	c #Conflicts:     207000 | #Constraints:      24606
45.73/45.92	c #Conflicts:     208000 | #Constraints:      25606
45.73/45.92	c #Conflicts:     209000 | #Constraints:      26606
45.73/45.92	c #Conflicts:     210000 | #Constraints:      27606
45.73/45.92	c #Conflicts:     211000 | #Constraints:      28606
45.73/45.92	c #Conflicts:     212000 | #Constraints:      29606
45.73/45.92	c #Conflicts:     213000 | #Constraints:      30606
45.73/45.92	c #Conflicts:     214000 | #Constraints:      31606
45.73/45.92	c #Conflicts:     215000 | #Constraints:      32606
45.73/45.92	c #Conflicts:     216000 | #Constraints:      33606
45.73/45.92	c #Conflicts:     217000 | #Constraints:      34606
45.73/45.92	c #Conflicts:     218000 | #Constraints:      35606
45.73/45.92	c #Conflicts:     219000 | #Constraints:      36606
45.73/45.92	c #Conflicts:     220000 | #Constraints:      37606
45.73/45.92	c #Conflicts:     221000 | #Constraints:      38606
45.73/45.92	c #Conflicts:     222000 | #Constraints:      39606
45.73/45.92	c #Conflicts:     223000 | #Constraints:      40606
45.73/45.92	c #Conflicts:     224000 | #Constraints:      41606
45.73/45.92	c #Conflicts:     225000 | #Constraints:      42606
45.73/45.92	c #Conflicts:     226000 | #Constraints:      43606
45.73/45.92	c cpu time 44.1349 s
45.73/45.92	c deterministic time 1382511803 1.38e+09
45.73/45.92	c optimization time 4e-05 s
45.73/45.92	c total solve time 44.123 s
45.73/45.92	c core-guided solve time 0 s
45.73/45.92	c propagation time 22.958 s
45.73/45.92	c conflict analysis time 19.0587 s
45.73/45.92	c propagations 61886583
45.73/45.92	c resolve steps 9798509
45.73/45.92	c decisions 389979
45.73/45.92	c conflicts 226666
45.73/45.92	c restarts 510
45.73/45.92	c inprocessing phases 23
45.73/45.92	c input clauses 4698
45.73/45.92	c input cardinalities 732
45.73/45.92	c input general constraints 0
45.73/45.92	c input average constraint length 2.27
45.73/45.92	c input average constraint degree 1.13
45.73/45.92	c learned clauses 226575
45.73/45.92	c learned cardinalities 0
45.73/45.92	c learned general constraints 90
45.73/45.92	c learned average constraint length 132.07
45.73/45.92	c learned average constraint degree 1.00
45.73/45.92	c watched constraints 90
45.73/45.92	c counting constraints 0
45.73/45.92	c gcd simplifications 11
45.73/45.92	c detected cardinalities 0
45.73/45.92	c weakened non-implied lits 198826
45.73/45.92	c weakened non-implying lits 29
45.73/45.92	c original variables 2196
45.73/45.92	c clausal propagations 49974752
45.73/45.92	c cardinality propagations 11684645
45.73/45.92	c watched propagations 607
45.73/45.92	c counting propagations 0
45.73/45.92	c watch lookups 360248701
45.73/45.92	c watch backjump lookups 12189
45.73/45.92	c watch checks 711989174
45.73/45.92	c propagation checks 90392759
45.73/45.92	c constraint additions 94862225
45.73/45.92	c trail pops 62502506
45.73/45.92	c formula constraints 5430
45.73/45.92	c learned constraints 226665
45.73/45.92	c bound constraints 0
45.73/45.92	c core-guided constraints 0
45.73/45.92	c encountered formula constraints 6860366
45.73/45.92	c encountered learned constraints 3164809
45.73/45.92	c encountered bound constraints 0
45.73/45.92	c encountered core-guided constraints 0
45.73/45.92	c LP total time 5.68624 s
45.73/45.92	c LP solve time 5.12 s
45.73/45.92	c LP constraints added 7092
45.73/45.92	c LP constraints removed 1596
45.73/45.92	c LP pivots internal 226683
45.73/45.92	c LP pivots root 1003
45.73/45.92	c LP calls 1088
45.73/45.92	c LP optimalities 1087
45.73/45.92	c LP no pivot count 27
45.73/45.92	c LP infeasibilities 0
45.73/45.92	c LP valid Farkas constraints 0
45.73/45.92	c LP learned Farkas constraints 0
45.73/45.92	c LP basis resets 0
45.73/45.92	c LP cycling count 0
45.73/45.92	c LP singular count 0
45.73/45.92	c LP no primal count 0
45.73/45.92	c LP no farkas count 0
45.73/45.92	c LP other issue count 0
45.73/45.92	c LP Gomory cuts 0
45.73/45.92	c LP learned cuts 1662
45.73/45.92	c LP deleted cuts 1596
45.73/45.92	c LP encountered Gomory constraints 0
45.73/45.92	c LP encountered Farkas constraints 0
45.73/45.92	c LP encountered learned Farkas constraints 0
45.73/45.92	c CG auxiliary variables introduced 0
45.73/45.92	c CG solutions found 0
45.73/45.92	c CG cores constructed 0
45.73/45.92	c CG core cardinality constraints returned 0
45.73/45.92	c CG unit cores 0
45.73/45.92	c CG single cores 0
45.73/45.92	c CG blocks removed during cardinality reduction 0
45.73/45.92	c CG first core best 0
45.73/45.92	c CG decision core best 0
45.73/45.92	c CG core reduction tie 0
45.73/45.92	c CG core degree average 0.00
45.73/45.92	c CG core slack average 0.00
45.73/45.92	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED UNSATISFIABLE
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
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: 63931 MiB (61200 MiB free)
  memory of node 1: 64510 MiB (61815 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460782-1722072180/watcher-4460782-1722072180 -o /tmp/evaluation-result-4460782-1722072180/solver-4460782-1722072180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460782-1722072180 --lp-cut-gomory=0 HOME/instance-4460782-1722072180.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=331320, runsolver pid=331317

[startup+0.100085 s]*
/proc/loadavg: 4.13 4.13 4.13 5/261 331321
/proc/meminfo: memFree=125962740/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=42532 memory=12280 CPUtime=0.1 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 1808 0 0 0 6 4 0 0 20 0 1 0 43746618 43552768 3070 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 10633 3070 1711 992 0 2491 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 12280 KiB

[startup+0.205518 s]*
/proc/loadavg: 4.13 4.13 4.13 5/261 331321
/proc/meminfo: memFree=125961564/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=42532 memory=12724 CPUtime=0.2 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 1843 0 0 0 13 7 0 0 20 0 1 0 43746618 43552768 3181 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 10633 3181 1759 992 0 2491 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 12724 KiB

[startup+0.305362 s]*
/proc/loadavg: 4.13 4.13 4.13 5/261 331321
/proc/meminfo: memFree=125961088/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=42532 memory=12724 CPUtime=0.3 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 1857 0 0 0 20 10 0 0 20 0 1 0 43746618 43552768 3181 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 10633 3181 1759 992 0 2491 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 12724 KiB

[startup+0.700148 s]
/proc/loadavg: 4.13 4.13 4.13 5/261 331321
/proc/meminfo: memFree=125958260/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=43820 memory=16588 CPUtime=0.69 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 2243 0 0 0 57 12 0 0 20 0 1 0 43746618 44871680 4147 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 10955 4147 1821 992 0 2813 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43820 KiB
Current children cumulated memory: 16588 KiB

[startup+1.50017 s]
/proc/loadavg: 4.13 4.13 4.13 5/261 331321
/proc/meminfo: memFree=125951576/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=44240 memory=17112 CPUtime=1.49 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 2370 0 0 0 134 15 0 0 20 0 1 0 43746618 45301760 4278 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 11060 4278 1821 992 0 2918 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 44240 KiB
Current children cumulated memory: 17112 KiB

[startup+3.1054 s]
/proc/loadavg: 4.12 4.12 4.13 5/261 331321
/proc/meminfo: memFree=125936036/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=44560 memory=17372 CPUtime=3.08 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 2452 0 0 0 288 20 0 0 20 0 1 0 43746618 45629440 4343 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 11140 4343 1821 992 0 2998 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44560 KiB
Current children cumulated memory: 17372 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.12 4.13 5/261 331321
/proc/meminfo: memFree=125913012/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=47764 memory=20404 CPUtime=6.27 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 3238 0 0 0 594 33 0 0 20 0 1 0 43746618 48910336 5101 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 11941 5101 1821 992 0 3799 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47764 KiB
Current children cumulated memory: 20404 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.12 4.13 5/261 331322
/proc/meminfo: memFree=125866048/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=53164 memory=25092 CPUtime=12.65 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 3873 0 0 0 1206 59 0 0 20 0 1 0 43746618 54439936 6273 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 13291 6273 1821 992 0 5149 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53164 KiB
Current children cumulated memory: 25092 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.12 5/261 331324
/proc/meminfo: memFree=125784100/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=61516 memory=29508 CPUtime=25.41 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 4454 0 0 0 2436 105 0 0 20 0 1 0 43746618 62992384 7377 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15379 7377 1821 992 0 7237 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61516 KiB
Current children cumulated memory: 29508 KiB

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

# cumulated CPU time of all completed processes:  user=44.1361 s, system=1.60976 s

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

[startup+25.6002 s]
/proc/loadavg: 4.09 4.12 4.12 5/261 331324
/proc/meminfo: memFree=125784100/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=61516 memory=29508 CPUtime=25.51 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 4455 0 0 0 2445 106 0 0 20 0 1 0 43746618 62992384 7377 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15379 7377 1821 992 0 7237 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 61516 KiB
Current children cumulated memory: 29508 KiB

[startup+38.4001 s]
/proc/loadavg: 4.15 4.13 4.13 5/261 331329
/proc/meminfo: memFree=125705216/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=62348 memory=36092 CPUtime=38.27 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5094 0 0 0 3688 139 0 0 20 0 1 0 43746618 63844352 9023 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15587 9023 1821 992 0 7445 0
Current children cumulated CPU time: 38.27 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 36092 KiB

[startup+41.6002 s]
/proc/loadavg: 4.15 4.13 4.13 5/261 331329
/proc/meminfo: memFree=125685752/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=62348 memory=36092 CPUtime=41.46 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5096 0 0 0 3997 149 0 0 20 0 1 0 43746618 63844352 9023 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15587 9023 1821 992 0 7445 0
Current children cumulated CPU time: 41.46 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 36092 KiB

[startup+43.2002 s]
/proc/loadavg: 4.13 4.12 4.13 5/261 331329
/proc/meminfo: memFree=125674832/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=62348 memory=36092 CPUtime=43.05 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5098 0 0 0 4151 154 0 0 20 0 1 0 43746618 63844352 9023 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15587 9023 1821 992 0 7445 0
Current children cumulated CPU time: 43.05 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 36092 KiB

[startup+44.8002 s]
/proc/loadavg: 4.13 4.12 4.13 5/261 331329
/proc/meminfo: memFree=125670156/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=62348 memory=36092 CPUtime=44.65 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5099 0 0 0 4307 158 0 0 20 0 1 0 43746618 63844352 9023 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 15587 9023 1821 992 0 7445 0
Current children cumulated CPU time: 44.65 s
Current children cumulated vsize: 62348 KiB
Current children cumulated memory: 36092 KiB

[startup+45.6001 s]
/proc/loadavg: 4.13 4.12 4.13 5/261 331329
/proc/meminfo: memFree=125664108/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=74024 memory=39176 CPUtime=45.44 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5324 0 0 0 4385 159 0 0 20 0 1 0 43746618 75800576 9794 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 18506 9794 1821 992 0 10364 0
Current children cumulated CPU time: 45.44 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 39176 KiB

[startup+45.8001 s]
/proc/loadavg: 4.13 4.12 4.13 5/261 331329
/proc/meminfo: memFree=125664108/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=74024 memory=39176 CPUtime=45.64 cores=0,2
/proc/331320/stat : 331320 (roundingsat) R 331317 331320 326662 0 -1 4194304 5324 0 0 0 4404 160 0 0 20 0 1 0 43746618 75800576 9794 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 18506 9794 1821 992 0 10364 0
Current children cumulated CPU time: 45.64 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 39176 KiB

[startup+45.9001 s]
/proc/loadavg: 4.13 4.12 4.13 5/261 331329
/proc/meminfo: memFree=125664108/131524600 swapFree=131059112/131071996
[pid=331320] ppid=331317 vsize=74024 memory=41224 CPUtime=45.73 cores=0,2
/proc/331320/stat : 331320 (roundingsat) D 331317 331320 326662 0 -1 4194304 5326 0 0 0 4413 160 0 0 20 0 1 0 43746618 75800576 10306 134679101440 4194304 8254357 140722940640720 0 0 0 0 0 25182210 0 0 0 17 0 0 0 1 0 0 9037040 9046032 16961536 140722940642139 140722940642401 140722940642401 140722940649417 0
/proc/331320/statm: 18506 10306 1821 992 0 10364 0
Current children cumulated CPU time: 45.73 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 41224 KiB

Child status: 0

Real time (s): 45.922
CPU time (s): 45.7458
CPU user time (s): 44.1361
CPU system time (s): 1.60976
CPU usage (%): 99.6165
Max. virtual memory (cumulated for all children) (KiB): 74024
Max. memory (cumulated for all children) (KiB): 41224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.1361
system time used= 1.60976
maximum resident set size= 41224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5334
page faults= 0
swaps= 0
block input operations= 0
block output operations= 193200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 321


# summary of solver processes directly reported to runsolver:
#   pid: 331320
#   total CPU time (s): 45.7458
#   total CPU user time (s): 44.1361
#   total CPU system time (s): 1.60976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089545 second user time and 0.224074 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-27 11:23:00
IDJOB=4460782
IDBENCH=162575
IDSOLVER=3086
FILE ID=nodeC021/4460782-1722072180
RUNJOBID= nodeC021-1722064836-326672
SLURM_JOB_ID= 8248090
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/normalized-3col-almost3reg-l040-r039-n1.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460782-1722072180/watcher-4460782-1722072180 -o /tmp/evaluation-result-4460782-1722072180/solver-4460782-1722072180 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722064836-326672 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460782-1722072180 --lp-cut-gomory=0 HOME/instance-4460782-1722072180.opb

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

MD5SUM BENCH= 96e2a5c3c03fdb4a4e45b0158ae682a4
RANDOM SEED=1128939738

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3656.494
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3678.167
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3646.748
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3600.668
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3659.438
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
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		: 3678.199
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
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		: 3600.426
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.364
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125969408 kB
MemAvailable:   129551740 kB
Buffers:          374840 kB
Cached:          4028440 kB
SwapCached:          464 kB
Active:          2759972 kB
Inactive:        2159372 kB
Active(anon):       1724 kB
Inactive(anon):   575832 kB
Active(file):    2758248 kB
Inactive(file):  1583540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059112 kB
Dirty:             66548 kB
Writeback:            72 kB
AnonPages:        513568 kB
Mapped:           118340 kB
Shmem:             61432 kB
KReclaimable:     160380 kB
Slab:             282912 kB
SReclaimable:     160380 kB
SUnreclaim:       122532 kB
KernelStack:        4208 kB
PageTables:        10852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     914576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    356352 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      324308 kB
DirectMap2M:    40343552 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC021 at 2024-07-27 11:23:46