Trace number 4455738

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
RoundingSat nolog (2)UNSAT 40.9728 41.0803

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.04	c #variables 2196 #constraints 5430
0.68/0.73	c #Conflicts:       1000 | #Constraints:       6429
0.68/0.73	c #Conflicts:       2000 | #Constraints:       7429
0.68/0.73	c INPROCESSING
0.68/0.73	c GARBAGE COLLECT
0.68/0.73	c rational objective 732
1.39/1.47	c #Conflicts:       3000 | #Constraints:       7962
1.39/1.47	c #Conflicts:       4000 | #Constraints:       8962
1.39/1.47	c #Conflicts:       5000 | #Constraints:       9962
1.39/1.47	c #Conflicts:       6000 | #Constraints:      10962
1.39/1.47	c INPROCESSING
1.39/1.47	c GARBAGE COLLECT
1.39/1.47	c rational objective 732
1.99/2.01	c #Conflicts:       7000 | #Constraints:       9451
1.99/2.01	c #Conflicts:       8000 | #Constraints:      10451
1.99/2.01	c #Conflicts:       9000 | #Constraints:      11451
1.99/2.01	c INPROCESSING
1.99/2.01	c GARBAGE COLLECT
1.99/2.01	c rational objective 732
2.48/2.51	c #Conflicts:      10000 | #Constraints:       9558
2.48/2.51	c #Conflicts:      11000 | #Constraints:      10558
2.48/2.51	c #Conflicts:      12000 | #Constraints:      11558
2.48/2.51	c INPROCESSING
2.48/2.51	c GARBAGE COLLECT
2.48/2.51	c rational objective 732
2.99/3.05	c #Conflicts:      13000 | #Constraints:       9347
2.99/3.05	c #Conflicts:      14000 | #Constraints:      10347
2.99/3.05	c #Conflicts:      15000 | #Constraints:      11347
2.99/3.05	c #Conflicts:      16000 | #Constraints:      12347
2.99/3.05	c INPROCESSING
2.99/3.05	c GARBAGE COLLECT
2.99/3.05	c rational objective 732
3.48/3.58	c #Conflicts:      17000 | #Constraints:       9884
3.48/3.58	c #Conflicts:      18000 | #Constraints:      10884
3.48/3.58	c #Conflicts:      19000 | #Constraints:      11884
3.48/3.58	c #Conflicts:      20000 | #Constraints:      12884
3.48/3.58	c INPROCESSING
3.48/3.58	c GARBAGE COLLECT
3.48/3.58	c rational objective 732
4.09/4.17	c #Conflicts:      21000 | #Constraints:      10219
4.09/4.17	c #Conflicts:      22000 | #Constraints:      11219
4.09/4.17	c #Conflicts:      23000 | #Constraints:      12219
4.09/4.17	c #Conflicts:      24000 | #Constraints:      13219
4.09/4.17	c INPROCESSING
4.09/4.17	c GARBAGE COLLECT
4.09/4.17	c rational objective 732
5.99/6.04	c #Conflicts:      25000 | #Constraints:      10341
5.99/6.04	c #Conflicts:      26000 | #Constraints:      11341
5.99/6.04	c #Conflicts:      27000 | #Constraints:      12341
5.99/6.04	c #Conflicts:      28000 | #Constraints:      13341
5.99/6.04	c #Conflicts:      29000 | #Constraints:      14341
5.99/6.04	c #Conflicts:      30000 | #Constraints:      15341
5.99/6.04	c #Conflicts:      31000 | #Constraints:      16341
5.99/6.04	c #Conflicts:      32000 | #Constraints:      17341
5.99/6.04	c #Conflicts:      33000 | #Constraints:      18341
5.99/6.04	c #Conflicts:      34000 | #Constraints:      19341
5.99/6.04	c #Conflicts:      35000 | #Constraints:      20341
5.99/6.04	c #Conflicts:      36000 | #Constraints:      21341
5.99/6.04	c INPROCESSING
5.99/6.04	c GARBAGE COLLECT
5.99/6.04	c rational objective 732
6.87/6.96	c #Conflicts:      37000 | #Constraints:      14645
6.87/6.96	c #Conflicts:      38000 | #Constraints:      15645
6.87/6.96	c #Conflicts:      39000 | #Constraints:      16645
6.87/6.96	c #Conflicts:      40000 | #Constraints:      17645
6.87/6.96	c #Conflicts:      41000 | #Constraints:      18645
6.87/6.96	c INPROCESSING
6.87/6.96	c GARBAGE COLLECT
6.87/6.96	c rational objective 732
7.77/7.80	c #Conflicts:      42000 | #Constraints:      13105
7.77/7.80	c #Conflicts:      43000 | #Constraints:      14105
7.77/7.80	c #Conflicts:      44000 | #Constraints:      15105
7.77/7.80	c #Conflicts:      45000 | #Constraints:      16105
7.77/7.80	c #Conflicts:      46000 | #Constraints:      17105
7.77/7.80	c #Conflicts:      47000 | #Constraints:      18105
7.77/7.80	c INPROCESSING
7.77/7.80	c GARBAGE COLLECT
7.77/7.80	c rational objective 732
8.67/8.76	c #Conflicts:      48000 | #Constraints:      13037
8.67/8.76	c #Conflicts:      49000 | #Constraints:      14037
8.67/8.76	c #Conflicts:      50000 | #Constraints:      15037
8.67/8.76	c #Conflicts:      51000 | #Constraints:      16037
8.67/8.76	c #Conflicts:      52000 | #Constraints:      17037
8.67/8.76	c INPROCESSING
8.67/8.76	c GARBAGE COLLECT
8.67/8.76	c rational objective 732
11.66/11.72	c #Conflicts:      53000 | #Constraints:      12090
11.66/11.72	c #Conflicts:      54000 | #Constraints:      13090
11.66/11.72	c #Conflicts:      55000 | #Constraints:      14090
11.66/11.72	c #Conflicts:      56000 | #Constraints:      15090
11.66/11.72	c #Conflicts:      57000 | #Constraints:      16090
11.66/11.72	c #Conflicts:      58000 | #Constraints:      17090
11.66/11.72	c #Conflicts:      59000 | #Constraints:      18090
11.66/11.72	c #Conflicts:      60000 | #Constraints:      19090
11.66/11.72	c #Conflicts:      61000 | #Constraints:      20090
11.66/11.72	c #Conflicts:      62000 | #Constraints:      21090
11.66/11.72	c #Conflicts:      63000 | #Constraints:      22090
11.66/11.72	c #Conflicts:      64000 | #Constraints:      23090
11.66/11.72	c #Conflicts:      65000 | #Constraints:      24090
11.66/11.72	c #Conflicts:      66000 | #Constraints:      25090
11.66/11.72	c #Conflicts:      67000 | #Constraints:      26090
11.66/11.72	c #Conflicts:      68000 | #Constraints:      27090
11.66/11.72	c #Conflicts:      69000 | #Constraints:      28090
11.66/11.72	c INPROCESSING
11.66/11.72	c GARBAGE COLLECT
11.66/11.72	c rational objective 732
12.86/12.98	c #Conflicts:      70000 | #Constraints:      17725
12.86/12.98	c #Conflicts:      71000 | #Constraints:      18725
12.86/12.98	c #Conflicts:      72000 | #Constraints:      19725
12.86/12.98	c #Conflicts:      73000 | #Constraints:      20725
12.86/12.98	c #Conflicts:      74000 | #Constraints:      21725
12.86/12.98	c #Conflicts:      75000 | #Constraints:      22725
12.86/12.98	c #Conflicts:      76000 | #Constraints:      23725
12.86/12.98	c INPROCESSING
12.86/12.98	c GARBAGE COLLECT
12.86/12.98	c rational objective 732
14.15/14.20	c #Conflicts:      77000 | #Constraints:      15494
14.15/14.20	c #Conflicts:      78000 | #Constraints:      16494
14.15/14.20	c #Conflicts:      79000 | #Constraints:      17494
14.15/14.20	c #Conflicts:      80000 | #Constraints:      18494
14.15/14.20	c #Conflicts:      81000 | #Constraints:      19494
14.15/14.20	c #Conflicts:      82000 | #Constraints:      20494
14.15/14.20	c #Conflicts:      83000 | #Constraints:      21494
14.15/14.20	c #Conflicts:      84000 | #Constraints:      22494
14.15/14.20	c INPROCESSING
14.15/14.20	c GARBAGE COLLECT
14.15/14.20	c rational objective 732
15.35/15.41	c #Conflicts:      85000 | #Constraints:      15227
15.35/15.41	c #Conflicts:      86000 | #Constraints:      16227
15.35/15.41	c #Conflicts:      87000 | #Constraints:      17227
15.35/15.41	c #Conflicts:      88000 | #Constraints:      18227
15.35/15.41	c #Conflicts:      89000 | #Constraints:      19227
15.35/15.41	c #Conflicts:      90000 | #Constraints:      20227
15.35/15.41	c #Conflicts:      91000 | #Constraints:      21227
15.35/15.41	c INPROCESSING
15.35/15.41	c GARBAGE COLLECT
15.35/15.41	c rational objective 732
19.84/19.92	c #Conflicts:      92000 | #Constraints:      14358
19.84/19.92	c #Conflicts:      93000 | #Constraints:      15358
19.84/19.92	c #Conflicts:      94000 | #Constraints:      16358
19.84/19.92	c #Conflicts:      95000 | #Constraints:      17358
19.84/19.92	c #Conflicts:      96000 | #Constraints:      18358
19.84/19.92	c #Conflicts:      97000 | #Constraints:      19358
19.84/19.92	c #Conflicts:      98000 | #Constraints:      20358
19.84/19.92	c #Conflicts:      99000 | #Constraints:      21358
19.84/19.92	c #Conflicts:     100000 | #Constraints:      22358
19.84/19.92	c #Conflicts:     101000 | #Constraints:      23358
19.84/19.92	c #Conflicts:     102000 | #Constraints:      24358
19.84/19.92	c #Conflicts:     103000 | #Constraints:      25358
19.84/19.92	c #Conflicts:     104000 | #Constraints:      26358
19.84/19.92	c #Conflicts:     105000 | #Constraints:      27358
19.84/19.92	c #Conflicts:     106000 | #Constraints:      28358
19.84/19.92	c #Conflicts:     107000 | #Constraints:      29358
19.84/19.92	c #Conflicts:     108000 | #Constraints:      30358
19.84/19.92	c #Conflicts:     109000 | #Constraints:      31358
19.84/19.92	c #Conflicts:     110000 | #Constraints:      32358
19.84/19.92	c #Conflicts:     111000 | #Constraints:      33358
19.84/19.92	c #Conflicts:     112000 | #Constraints:      34358
19.84/19.92	c #Conflicts:     113000 | #Constraints:      35358
19.84/19.92	c INPROCESSING
19.84/19.92	c GARBAGE COLLECT
19.84/19.92	c rational objective 732
21.54/21.65	c #Conflicts:     114000 | #Constraints:      21371
21.54/21.65	c #Conflicts:     115000 | #Constraints:      22371
21.54/21.65	c #Conflicts:     116000 | #Constraints:      23371
21.54/21.65	c #Conflicts:     117000 | #Constraints:      24371
21.54/21.65	c #Conflicts:     118000 | #Constraints:      25371
21.54/21.65	c #Conflicts:     119000 | #Constraints:      26371
21.54/21.65	c #Conflicts:     120000 | #Constraints:      27371
21.54/21.65	c #Conflicts:     121000 | #Constraints:      28371
21.54/21.65	c #Conflicts:     122000 | #Constraints:      29371
21.54/21.65	c INPROCESSING
21.54/21.65	c GARBAGE COLLECT
21.54/21.65	c rational objective 732
23.13/23.24	c #Conflicts:     123000 | #Constraints:      18475
23.13/23.24	c #Conflicts:     124000 | #Constraints:      19475
23.13/23.24	c #Conflicts:     125000 | #Constraints:      20475
23.13/23.24	c #Conflicts:     126000 | #Constraints:      21475
23.13/23.24	c #Conflicts:     127000 | #Constraints:      22475
23.13/23.24	c #Conflicts:     128000 | #Constraints:      23475
23.13/23.24	c #Conflicts:     129000 | #Constraints:      24475
23.13/23.24	c #Conflicts:     130000 | #Constraints:      25475
23.13/23.24	c #Conflicts:     131000 | #Constraints:      26475
23.13/23.24	c INPROCESSING
23.13/23.24	c GARBAGE COLLECT
23.13/23.24	c rational objective 732
24.82/24.90	c #Conflicts:     132000 | #Constraints:      17021
24.82/24.90	c #Conflicts:     133000 | #Constraints:      18021
24.82/24.90	c #Conflicts:     134000 | #Constraints:      19021
24.82/24.90	c #Conflicts:     135000 | #Constraints:      20021
24.82/24.90	c #Conflicts:     136000 | #Constraints:      21021
24.82/24.90	c #Conflicts:     137000 | #Constraints:      22021
24.82/24.90	c #Conflicts:     138000 | #Constraints:      23021
24.82/24.90	c #Conflicts:     139000 | #Constraints:      24021
24.82/24.90	c #Conflicts:     140000 | #Constraints:      25021
24.82/24.90	c INPROCESSING
24.82/24.90	c GARBAGE COLLECT
24.82/24.90	c rational objective 732
30.61/30.71	c #Conflicts:     141000 | #Constraints:      16202
30.61/30.71	c #Conflicts:     142000 | #Constraints:      17202
30.61/30.71	c #Conflicts:     143000 | #Constraints:      18202
30.61/30.71	c #Conflicts:     144000 | #Constraints:      19202
30.61/30.71	c #Conflicts:     145000 | #Constraints:      20202
30.61/30.71	c #Conflicts:     146000 | #Constraints:      21202
30.61/30.71	c #Conflicts:     147000 | #Constraints:      22202
30.61/30.71	c #Conflicts:     148000 | #Constraints:      23202
30.61/30.71	c #Conflicts:     149000 | #Constraints:      24202
30.61/30.71	c #Conflicts:     150000 | #Constraints:      25202
30.61/30.71	c #Conflicts:     151000 | #Constraints:      26202
30.61/30.71	c #Conflicts:     152000 | #Constraints:      27202
30.61/30.71	c #Conflicts:     153000 | #Constraints:      28202
30.61/30.71	c #Conflicts:     154000 | #Constraints:      29202
30.61/30.71	c #Conflicts:     155000 | #Constraints:      30202
30.61/30.71	c #Conflicts:     156000 | #Constraints:      31202
30.61/30.71	c #Conflicts:     157000 | #Constraints:      32202
30.61/30.71	c #Conflicts:     158000 | #Constraints:      33202
30.61/30.71	c #Conflicts:     159000 | #Constraints:      34202
30.61/30.71	c #Conflicts:     160000 | #Constraints:      35202
30.61/30.71	c #Conflicts:     161000 | #Constraints:      36202
30.61/30.71	c #Conflicts:     162000 | #Constraints:      37202
30.61/30.71	c #Conflicts:     163000 | #Constraints:      38202
30.61/30.71	c #Conflicts:     164000 | #Constraints:      39202
30.61/30.71	c #Conflicts:     165000 | #Constraints:      40202
30.61/30.71	c #Conflicts:     166000 | #Constraints:      41202
30.61/30.71	c #Conflicts:     167000 | #Constraints:      42202
30.61/30.71	c #Conflicts:     168000 | #Constraints:      43202
30.61/30.71	c INPROCESSING
30.61/30.71	c GARBAGE COLLECT
30.61/30.71	c rational objective 732
33.02/33.14	c #Conflicts:     169000 | #Constraints:      25558
33.02/33.14	c #Conflicts:     170000 | #Constraints:      26558
33.02/33.14	c #Conflicts:     171000 | #Constraints:      27558
33.02/33.14	c #Conflicts:     172000 | #Constraints:      28558
33.02/33.14	c #Conflicts:     173000 | #Constraints:      29558
33.02/33.14	c #Conflicts:     174000 | #Constraints:      30558
33.02/33.14	c #Conflicts:     175000 | #Constraints:      31558
33.02/33.14	c #Conflicts:     176000 | #Constraints:      32558
33.02/33.14	c #Conflicts:     177000 | #Constraints:      33558
33.02/33.14	c #Conflicts:     178000 | #Constraints:      34558
33.02/33.14	c INPROCESSING
33.02/33.14	c GARBAGE COLLECT
33.02/33.14	c rational objective 732
35.30/35.46	c #Conflicts:     179000 | #Constraints:      21028
35.30/35.46	c #Conflicts:     180000 | #Constraints:      22028
35.30/35.46	c #Conflicts:     181000 | #Constraints:      23028
35.30/35.46	c #Conflicts:     182000 | #Constraints:      24028
35.30/35.46	c #Conflicts:     183000 | #Constraints:      25028
35.30/35.46	c #Conflicts:     184000 | #Constraints:      26028
35.30/35.46	c #Conflicts:     185000 | #Constraints:      27028
35.30/35.46	c #Conflicts:     186000 | #Constraints:      28028
35.30/35.46	c #Conflicts:     187000 | #Constraints:      29028
35.30/35.46	c #Conflicts:     188000 | #Constraints:      30028
35.30/35.46	c #Conflicts:     189000 | #Constraints:      31028
35.30/35.46	c INPROCESSING
35.30/35.46	c GARBAGE COLLECT
35.30/35.46	c rational objective 732
40.90/41.07	c #Conflicts:     190000 | #Constraints:      19399
40.90/41.07	c #Conflicts:     191000 | #Constraints:      20399
40.90/41.07	c #Conflicts:     192000 | #Constraints:      21399
40.90/41.07	c #Conflicts:     193000 | #Constraints:      22399
40.90/41.07	c #Conflicts:     194000 | #Constraints:      23399
40.90/41.07	c #Conflicts:     195000 | #Constraints:      24399
40.90/41.07	c #Conflicts:     196000 | #Constraints:      25399
40.90/41.07	c #Conflicts:     197000 | #Constraints:      26399
40.90/41.07	c #Conflicts:     198000 | #Constraints:      27399
40.90/41.07	c #Conflicts:     199000 | #Constraints:      28399
40.90/41.07	c #Conflicts:     200000 | #Constraints:      29399
40.90/41.07	c #Conflicts:     201000 | #Constraints:      30399
40.90/41.07	c #Conflicts:     202000 | #Constraints:      31399
40.90/41.07	c #Conflicts:     203000 | #Constraints:      32399
40.90/41.07	c #Conflicts:     204000 | #Constraints:      33399
40.90/41.07	c #Conflicts:     205000 | #Constraints:      34399
40.90/41.07	c #Conflicts:     206000 | #Constraints:      35399
40.90/41.07	c #Conflicts:     207000 | #Constraints:      36399
40.90/41.07	c #Conflicts:     208000 | #Constraints:      37399
40.90/41.07	c #Conflicts:     209000 | #Constraints:      38399
40.90/41.07	c #Conflicts:     210000 | #Constraints:      39399
40.90/41.07	c #Conflicts:     211000 | #Constraints:      40399
40.90/41.07	c #Conflicts:     212000 | #Constraints:      41399
40.90/41.07	c #Conflicts:     213000 | #Constraints:      42399
40.90/41.07	c #Conflicts:     214000 | #Constraints:      43399
40.90/41.07	c #Conflicts:     215000 | #Constraints:      44399
40.90/41.07	c cpu time 39.293 s
40.90/41.07	c deterministic time 1343163007 1.34e+09
40.90/41.07	c optimization time 6.1e-05 s
40.90/41.07	c total solve time 39.2662 s
40.90/41.07	c core-guided solve time 0 s
40.90/41.07	c propagation time 21.9016 s
40.90/41.07	c conflict analysis time 14.6184 s
40.90/41.07	c propagations 59264039
40.90/41.07	c resolve steps 9652598
40.90/41.07	c decisions 376158
40.90/41.07	c conflicts 215323
40.90/41.07	c restarts 510
40.90/41.07	c inprocessing phases 22
40.90/41.07	c input clauses 4698
40.90/41.07	c input cardinalities 732
40.90/41.07	c input general constraints 0
40.90/41.07	c input average constraint length 2.27
40.90/41.07	c input average constraint degree 1.13
40.90/41.07	c learned clauses 215345
40.90/41.07	c learned cardinalities 169
40.90/41.07	c learned general constraints 129
40.90/41.07	c learned average constraint length 130.96
40.90/41.07	c learned average constraint degree 4980.26
40.90/41.07	c watched constraints 81
40.90/41.07	c counting constraints 48
40.90/41.07	c gcd simplifications 325
40.90/41.07	c detected cardinalities 0
40.90/41.07	c weakened non-implied lits 188516
40.90/41.07	c weakened non-implying lits 13
40.90/41.07	c original variables 2196
40.90/41.07	c clausal propagations 47966657
40.90/41.07	c cardinality propagations 11079749
40.90/41.07	c watched propagations 217
40.90/41.07	c counting propagations 2159
40.90/41.07	c watch lookups 354372288
40.90/41.07	c watch backjump lookups 213080
40.90/41.07	c watch checks 691470177
40.90/41.07	c propagation checks 86798272
40.90/41.07	c constraint additions 90597714
40.90/41.07	c trail pops 59854911
40.90/41.07	c formula constraints 5430
40.90/41.07	c learned constraints 215322
40.90/41.07	c bound constraints 0
40.90/41.07	c core-guided constraints 0
40.90/41.07	c encountered formula constraints 6805038
40.90/41.07	c encountered learned constraints 3061454
40.90/41.07	c encountered bound constraints 0
40.90/41.07	c encountered core-guided constraints 0
40.90/41.07	c LP total time 5.9726 s
40.90/41.07	c LP solve time 4.82 s
40.90/41.07	c LP constraints added 7052
40.90/41.07	c LP constraints removed 1551
40.90/41.07	c LP pivots internal 215364
40.90/41.07	c LP pivots root 1003
40.90/41.07	c LP calls 784
40.90/41.07	c LP optimalities 783
40.90/41.07	c LP no pivot count 26
40.90/41.07	c LP infeasibilities 0
40.90/41.07	c LP valid Farkas constraints 0
40.90/41.07	c LP learned Farkas constraints 0
40.90/41.07	c LP basis resets 0
40.90/41.07	c LP cycling count 0
40.90/41.07	c LP singular count 0
40.90/41.07	c LP no primal count 0
40.90/41.07	c LP no farkas count 0
40.90/41.07	c LP other issue count 0
40.90/41.07	c LP Gomory cuts 321
40.90/41.07	c LP learned cuts 1301
40.90/41.07	c LP deleted cuts 1551
40.90/41.07	c LP encountered Gomory constraints 1429
40.90/41.07	c LP encountered Farkas constraints 0
40.90/41.07	c LP encountered learned Farkas constraints 0
40.90/41.07	c CG auxiliary variables introduced 0
40.90/41.07	c CG solutions found 0
40.90/41.07	c CG cores constructed 0
40.90/41.07	c CG core cardinality constraints returned 0
40.90/41.07	c CG unit cores 0
40.90/41.07	c CG single cores 0
40.90/41.07	c CG blocks removed during cardinality reduction 0
40.90/41.07	c CG first core best 0
40.90/41.07	c CG decision core best 0
40.90/41.07	c CG core reduction tie 0
40.90/41.07	c CG core degree average 0.00
40.90/41.07	c CG core slack average 0.00
40.90/41.07	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (46807 MiB free)
  memory of node 1: 64473 MiB (56512 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455738-1721467186/watcher-4455738-1721467186 -o /tmp/evaluation-result-4455738-1721467186/solver-4455738-1721467186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073510 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455738-1721467186.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=1078141, runsolver pid=1078138
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 4.10 4.11 4.15 5/241 1078142
/proc/meminfo: memFree=105793252/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=42176 memory=11724 CPUtime=0.1 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 1756 0 0 0 8 2 0 0 20 0 1 0 198874433 43188224 2931 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 10544 2931 1644 922 0 2496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 11724 KiB

[startup+0.212795 s]*
/proc/loadavg: 4.10 4.11 4.15 5/241 1078142
/proc/meminfo: memFree=105793084/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=42176 memory=11980 CPUtime=0.22 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 1785 0 0 0 15 7 0 0 20 0 1 0 198874433 43188224 2995 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 10544 2995 1644 922 0 2496 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 11980 KiB

[startup+0.312923 s]*
/proc/loadavg: 4.10 4.11 4.15 5/241 1078142
/proc/meminfo: memFree=105792936/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=42176 memory=11980 CPUtime=0.31 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 1788 0 0 0 20 11 0 0 20 0 1 0 198874433 43188224 2995 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 10544 2995 1644 922 0 2496 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 11980 KiB

[startup+0.700335 s]
/proc/loadavg: 4.10 4.11 4.15 6/241 1078142
/proc/meminfo: memFree=105792560/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=42176 memory=12424 CPUtime=0.68 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 1835 0 0 0 48 20 0 0 20 0 1 0 198874433 43188224 3106 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 10544 3106 1692 922 0 2496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42176 KiB
Current children cumulated memory: 12424 KiB

[startup+1.50036 s]
/proc/loadavg: 4.10 4.11 4.15 5/241 1078142
/proc/meminfo: memFree=105791524/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=43376 memory=14824 CPUtime=1.49 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 2364 0 0 0 123 26 0 0 20 0 1 0 198874433 44417024 3706 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 10844 3706 1769 922 0 2796 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43376 KiB
Current children cumulated memory: 14824 KiB

[startup+3.11255 s]
/proc/loadavg: 4.10 4.11 4.15 5/241 1078143
/proc/meminfo: memFree=105787380/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=44064 memory=17980 CPUtime=3.1 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 2634 0 0 0 275 35 0 0 20 0 1 0 198874433 45121536 4495 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 11016 4495 1785 922 0 2968 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 44064 KiB
Current children cumulated memory: 17980 KiB

[startup+6.30031 s]
/proc/loadavg: 4.09 4.11 4.15 5/241 1078143
/proc/meminfo: memFree=105783628/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=47656 memory=21648 CPUtime=6.28 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 3046 0 0 0 580 48 0 0 20 0 1 0 198874433 48799744 5412 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 11914 5412 1785 922 0 3866 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 47656 KiB
Current children cumulated memory: 21648 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.15 5/243 1078193
/proc/meminfo: memFree=119399012/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=52836 memory=25508 CPUtime=12.66 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 3538 0 0 0 1194 72 0 0 20 0 1 0 198874433 54104064 6377 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 13209 6377 1785 922 0 5161 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 52836 KiB
Current children cumulated memory: 25508 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.15 5/243 1078288
/proc/meminfo: memFree=119389780/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=61336 memory=30980 CPUtime=25.42 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4388 0 0 0 2426 116 0 0 20 0 1 0 198874433 62808064 7745 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 15334 7745 1785 922 0 7286 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 61336 KiB
Current children cumulated memory: 30980 KiB

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

# cumulated CPU time of all completed processes:  user=39.2961 s, system=1.67662 s

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

[startup+25.6003 s]
/proc/loadavg: 4.14 4.12 4.15 5/243 1078288
/proc/meminfo: memFree=119389780/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=61336 memory=30980 CPUtime=25.52 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4388 0 0 0 2436 116 0 0 20 0 1 0 198874433 62808064 7745 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 15334 7745 1785 922 0 7286 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 61336 KiB
Current children cumulated memory: 30980 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.13 4.12 4.15 5/243 1078288
/proc/meminfo: memFree=119382796/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=31.92 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4635 0 0 0 3055 137 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 31.92 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

[startup+35.2002 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 1078290
/proc/meminfo: memFree=119381452/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=35.1 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4635 0 0 0 3364 146 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 35.1 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

[startup+38.4003 s]
/proc/loadavg: 4.12 4.12 4.15 5/243 1078290
/proc/meminfo: memFree=119378788/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=38.29 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4635 0 0 0 3671 158 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

[startup+40.0003 s]*
/proc/loadavg: 4.11 4.11 4.15 5/243 1078290
/proc/meminfo: memFree=119378536/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=39.9 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4635 0 0 0 3827 163 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 39.9 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

[startup+40.8002 s]
/proc/loadavg: 4.11 4.11 4.15 5/243 1078290
/proc/meminfo: memFree=119378536/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=40.68 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4635 0 0 0 3903 165 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 40.68 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

[startup+41.0002 s]*
/proc/loadavg: 4.11 4.11 4.15 5/243 1078290
/proc/meminfo: memFree=119378536/131655788 swapFree=131071996/131071996
[pid=1078141] ppid=1078138 vsize=73580 memory=36128 CPUtime=40.9 cores=4,6
/proc/1078141/stat : 1078141 (roundingsat) R 1078138 1078141 1073499 0 -1 4194304 4667 0 0 0 3923 167 0 0 20 0 1 0 198874433 75345920 9032 134679101440 4194304 7968373 140730830933808 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 36909056 140730830943164 140730830943328 140730830943328 140730830950345 0
/proc/1078141/statm: 18395 9032 1785 922 0 10347 0
Current children cumulated CPU time: 40.9 s
Current children cumulated vsize: 73580 KiB
Current children cumulated memory: 36128 KiB

Child status: 0

Real time (s): 41.0803
CPU time (s): 40.9728
CPU user time (s): 39.2961
CPU system time (s): 1.67662
CPU usage (%): 99.7382
Max. virtual memory (cumulated for all children) (KiB): 73580
Max. memory (cumulated for all children) (KiB): 36128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.2961
system time used= 1.67662
maximum resident set size= 36412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 50


# summary of solver processes directly reported to runsolver:
#   pid: 1078141
#   total CPU time (s): 40.9728
#   total CPU user time (s): 39.2961
#   total CPU system time (s): 1.67662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.223034 second user time and 0.435611 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-20 11:19:58
IDJOB=4455738
IDBENCH=162575
IDSOLVER=3084
FILE ID=nodeC004/4455738-1721467186
RUNJOBID= nodeC004-1721459977-1073510
SLURM_JOB_ID= 7545709
Free space on /tmp= 723620 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455738-1721467186/watcher-4455738-1721467186 -o /tmp/evaluation-result-4455738-1721467186/solver-4455738-1721467186 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721459977-1073510 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455738-1721467186.opb

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

MD5SUM BENCH= 96e2a5c3c03fdb4a4e45b0158ae682a4
RANDOM SEED=356987152

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3503.473
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 3661.860
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.430
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.376
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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		: 1197.320
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 3625.346
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
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.314
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.488
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        105799380 kB
MemAvailable:   112395588 kB
Buffers:          572844 kB
Cached:          6789584 kB
SwapCached:            0 kB
Active:          1426152 kB
Inactive:       23662996 kB
Active(anon):       3384 kB
Inactive(anon): 17768904 kB
Active(file):    1422768 kB
Inactive(file):  5894092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5192 kB
Writeback:             4 kB
AnonPages:      17724420 kB
Mapped:           117192 kB
Shmem:             45892 kB
KReclaimable:     239096 kB
Slab:             359124 kB
SReclaimable:     239096 kB
SUnreclaim:       120028 kB
KernelStack:        3936 kB
PageTables:        44656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   19936196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62176 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7770112 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:      248648 kB
DirectMap2M:    29016064 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723644 MiB
End job on nodeC004 at 2024-07-20 11:20:40