Trace number 4458204

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 NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs 2024-07-19? (TO) 3600.07 3610.41

DiagnosticValue
AM1LB0
LOWERBOUND-13194139533311
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
MD5SUM32ee0ddbdff3b16b51999f7bca4d7c0a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.46048
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2992
Total number of constraints4444
Number of constraints which are clauses2904
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1540
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 88
Biggest coefficient in the objective function 8796093022208
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 35184372088830
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 8796093022208
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 35184372088830
Number of bits of the biggest sum of numbers45
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.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 2992 #constraints 5984
0.00/0.01	c SMALL=long long, LARGE=int128
0.00/0.01	c bounds - >= -17592186044415 @ 0.008922
0.00/0.01	c stratification level: 4398046511104
70.31/70.56	c bounds - >= -13194139533311 @ 0.009154
70.31/70.56	c #Conflicts:       1000 | #Constraints:       6985
70.31/70.56	c #Conflicts:       2000 | #Constraints:       7985
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:       3000 | #Constraints:       8031
70.31/70.56	c #Conflicts:       4000 | #Constraints:       9031
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:       5000 | #Constraints:       8476
70.31/70.56	c #Conflicts:       6000 | #Constraints:       9476
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:       7000 | #Constraints:       8512
70.31/70.56	c #Conflicts:       8000 | #Constraints:       9512
70.31/70.56	c #Conflicts:       9000 | #Constraints:      10512
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      10000 | #Constraints:       9227
70.31/70.56	c #Conflicts:      11000 | #Constraints:      10227
70.31/70.56	c #Conflicts:      12000 | #Constraints:      11227
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      13000 | #Constraints:       9705
70.31/70.56	c #Conflicts:      14000 | #Constraints:      10705
70.31/70.56	c #Conflicts:      15000 | #Constraints:      11705
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      16000 | #Constraints:       9961
70.31/70.56	c #Conflicts:      17000 | #Constraints:      10961
70.31/70.56	c #Conflicts:      18000 | #Constraints:      11961
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      19000 | #Constraints:      10005
70.31/70.56	c #Conflicts:      20000 | #Constraints:      11005
70.31/70.56	c #Conflicts:      21000 | #Constraints:      12005
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      22000 | #Constraints:       9827
70.31/70.56	c #Conflicts:      23000 | #Constraints:      10827
70.31/70.56	c #Conflicts:      24000 | #Constraints:      11827
70.31/70.56	c #Conflicts:      25000 | #Constraints:      12827
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      26000 | #Constraints:      10461
70.31/70.56	c #Conflicts:      27000 | #Constraints:      11461
70.31/70.56	c #Conflicts:      28000 | #Constraints:      12461
70.31/70.56	c #Conflicts:      29000 | #Constraints:      13461
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      30000 | #Constraints:      10868
70.31/70.56	c #Conflicts:      31000 | #Constraints:      11868
70.31/70.56	c #Conflicts:      32000 | #Constraints:      12868
70.31/70.56	c #Conflicts:      33000 | #Constraints:      13868
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      34000 | #Constraints:      11079
70.31/70.56	c #Conflicts:      35000 | #Constraints:      12079
70.31/70.56	c #Conflicts:      36000 | #Constraints:      13079
70.31/70.56	c #Conflicts:      37000 | #Constraints:      14079
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      38000 | #Constraints:      11108
70.31/70.56	c #Conflicts:      39000 | #Constraints:      12108
70.31/70.56	c #Conflicts:      40000 | #Constraints:      13108
70.31/70.56	c #Conflicts:      41000 | #Constraints:      14108
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      42000 | #Constraints:      10919
70.31/70.56	c #Conflicts:      43000 | #Constraints:      11919
70.31/70.56	c #Conflicts:      44000 | #Constraints:      12919
70.31/70.56	c #Conflicts:      45000 | #Constraints:      13919
70.31/70.56	c #Conflicts:      46000 | #Constraints:      14919
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      47000 | #Constraints:      11533
70.31/70.56	c #Conflicts:      48000 | #Constraints:      12533
70.31/70.56	c #Conflicts:      49000 | #Constraints:      13533
70.31/70.56	c #Conflicts:      50000 | #Constraints:      14533
70.31/70.56	c #Conflicts:      51000 | #Constraints:      15533
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      52000 | #Constraints:      11946
70.31/70.56	c #Conflicts:      53000 | #Constraints:      12946
70.31/70.56	c #Conflicts:      54000 | #Constraints:      13946
70.31/70.56	c #Conflicts:      55000 | #Constraints:      14946
70.31/70.56	c #Conflicts:      56000 | #Constraints:      15946
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      57000 | #Constraints:      12128
70.31/70.56	c #Conflicts:      58000 | #Constraints:      13128
70.31/70.56	c #Conflicts:      59000 | #Constraints:      14128
70.31/70.56	c #Conflicts:      60000 | #Constraints:      15128
70.31/70.56	c #Conflicts:      61000 | #Constraints:      16128
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      62000 | #Constraints:      12157
70.31/70.56	c #Conflicts:      63000 | #Constraints:      13157
70.31/70.56	c #Conflicts:      64000 | #Constraints:      14157
70.31/70.56	c #Conflicts:      65000 | #Constraints:      15157
70.31/70.56	c #Conflicts:      66000 | #Constraints:      16157
70.31/70.56	c INPROCESSING
70.31/70.56	c GARBAGE COLLECT
70.31/70.56	c #Conflicts:      67000 | #Constraints:      11952
539.07/540.68	c #Conflicts:      68000 | #Constraints:      12952
539.07/540.68	c #Conflicts:      69000 | #Constraints:      13952
539.07/540.68	c #Conflicts:      70000 | #Constraints:      14952
539.07/540.68	c #Conflicts:      71000 | #Constraints:      15952
539.07/540.68	c #Conflicts:      72000 | #Constraints:      16952
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:      73000 | #Constraints:      12573
539.07/540.68	c #Conflicts:      74000 | #Constraints:      13573
539.07/540.68	c #Conflicts:      75000 | #Constraints:      14573
539.07/540.68	c #Conflicts:      76000 | #Constraints:      15573
539.07/540.68	c #Conflicts:      77000 | #Constraints:      16573
539.07/540.68	c #Conflicts:      78000 | #Constraints:      17573
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:      79000 | #Constraints:      12976
539.07/540.68	c #Conflicts:      80000 | #Constraints:      13976
539.07/540.68	c #Conflicts:      81000 | #Constraints:      14976
539.07/540.68	c #Conflicts:      82000 | #Constraints:      15976
539.07/540.68	c #Conflicts:      83000 | #Constraints:      16976
539.07/540.68	c #Conflicts:      84000 | #Constraints:      17976
539.07/540.68	c #Conflicts:      85000 | #Constraints:      18976
539.07/540.68	c #Conflicts:      86000 | #Constraints:      19976
539.07/540.68	c #Conflicts:      87000 | #Constraints:      20976
539.07/540.68	c #Conflicts:      88000 | #Constraints:      21976
539.07/540.68	c #Conflicts:      89000 | #Constraints:      22976
539.07/540.68	c #Conflicts:      90000 | #Constraints:      23976
539.07/540.68	c #Conflicts:      91000 | #Constraints:      24976
539.07/540.68	c #Conflicts:      92000 | #Constraints:      25976
539.07/540.68	c #Conflicts:      93000 | #Constraints:      26976
539.07/540.68	c #Conflicts:      94000 | #Constraints:      27976
539.07/540.68	c #Conflicts:      95000 | #Constraints:      28976
539.07/540.68	c #Conflicts:      96000 | #Constraints:      29976
539.07/540.68	c #Conflicts:      97000 | #Constraints:      30976
539.07/540.68	c #Conflicts:      98000 | #Constraints:      31976
539.07/540.68	c #Conflicts:      99000 | #Constraints:      32976
539.07/540.68	c #Conflicts:     100000 | #Constraints:      33976
539.07/540.68	c #Conflicts:     101000 | #Constraints:      34976
539.07/540.68	c #Conflicts:     102000 | #Constraints:      35976
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     103000 | #Constraints:      21751
539.07/540.68	c #Conflicts:     104000 | #Constraints:      22751
539.07/540.68	c #Conflicts:     105000 | #Constraints:      23751
539.07/540.68	c #Conflicts:     106000 | #Constraints:      24751
539.07/540.68	c #Conflicts:     107000 | #Constraints:      25751
539.07/540.68	c #Conflicts:     108000 | #Constraints:      26751
539.07/540.68	c #Conflicts:     109000 | #Constraints:      27751
539.07/540.68	c #Conflicts:     110000 | #Constraints:      28751
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     111000 | #Constraints:      18584
539.07/540.68	c #Conflicts:     112000 | #Constraints:      19584
539.07/540.68	c #Conflicts:     113000 | #Constraints:      20584
539.07/540.68	c #Conflicts:     114000 | #Constraints:      21584
539.07/540.68	c #Conflicts:     115000 | #Constraints:      22584
539.07/540.68	c #Conflicts:     116000 | #Constraints:      23584
539.07/540.68	c #Conflicts:     117000 | #Constraints:      24584
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     118000 | #Constraints:      16358
539.07/540.68	c #Conflicts:     119000 | #Constraints:      17358
539.07/540.68	c #Conflicts:     120000 | #Constraints:      18358
539.07/540.68	c #Conflicts:     121000 | #Constraints:      19358
539.07/540.68	c #Conflicts:     122000 | #Constraints:      20358
539.07/540.68	c #Conflicts:     123000 | #Constraints:      21358
539.07/540.68	c #Conflicts:     124000 | #Constraints:      22358
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     125000 | #Constraints:      14984
539.07/540.68	c #Conflicts:     126000 | #Constraints:      15984
539.07/540.68	c #Conflicts:     127000 | #Constraints:      16984
539.07/540.68	c #Conflicts:     128000 | #Constraints:      17984
539.07/540.68	c #Conflicts:     129000 | #Constraints:      18984
539.07/540.68	c #Conflicts:     130000 | #Constraints:      19984
539.07/540.68	c #Conflicts:     131000 | #Constraints:      20984
539.07/540.68	c #Conflicts:     132000 | #Constraints:      21984
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     133000 | #Constraints:      14954
539.07/540.68	c #Conflicts:     134000 | #Constraints:      15954
539.07/540.68	c #Conflicts:     135000 | #Constraints:      16954
539.07/540.68	c #Conflicts:     136000 | #Constraints:      17954
539.07/540.68	c #Conflicts:     137000 | #Constraints:      18954
539.07/540.68	c #Conflicts:     138000 | #Constraints:      19954
539.07/540.68	c #Conflicts:     139000 | #Constraints:      20954
539.07/540.68	c #Conflicts:     140000 | #Constraints:      21954
539.07/540.68	c INPROCESSING
539.07/540.68	c GARBAGE COLLECT
539.07/540.68	c #Conflicts:     141000 | #Constraints:      14987
1517.86/1522.19	c #Conflicts:     142000 | #Constraints:      15987
1517.86/1522.19	c #Conflicts:     143000 | #Constraints:      16987
1517.86/1522.19	c #Conflicts:     144000 | #Constraints:      17987
1517.86/1522.19	c #Conflicts:     145000 | #Constraints:      18987
1517.86/1522.19	c #Conflicts:     146000 | #Constraints:      19987
1517.86/1522.19	c #Conflicts:     147000 | #Constraints:      20987
1517.86/1522.19	c #Conflicts:     148000 | #Constraints:      21987
1517.86/1522.19	c #Conflicts:     149000 | #Constraints:      22987
1517.86/1522.19	c #Conflicts:     150000 | #Constraints:      23987
1517.86/1522.19	c #Conflicts:     151000 | #Constraints:      24987
1517.86/1522.19	c #Conflicts:     152000 | #Constraints:      25987
1517.86/1522.19	c #Conflicts:     153000 | #Constraints:      26987
1517.86/1522.19	c #Conflicts:     154000 | #Constraints:      27987
1517.86/1522.19	c #Conflicts:     155000 | #Constraints:      28987
1517.86/1522.19	c #Conflicts:     156000 | #Constraints:      29987
1517.86/1522.19	c #Conflicts:     157000 | #Constraints:      30987
1517.86/1522.19	c #Conflicts:     158000 | #Constraints:      31987
1517.86/1522.19	c #Conflicts:     159000 | #Constraints:      32987
1517.86/1522.19	c #Conflicts:     160000 | #Constraints:      33987
1517.86/1522.19	c #Conflicts:     161000 | #Constraints:      34987
1517.86/1522.19	c #Conflicts:     162000 | #Constraints:      35987
1517.86/1522.19	c #Conflicts:     163000 | #Constraints:      36987
1517.86/1522.19	c #Conflicts:     164000 | #Constraints:      37987
1517.86/1522.19	c #Conflicts:     165000 | #Constraints:      38987
1517.86/1522.19	c #Conflicts:     166000 | #Constraints:      39987
1517.86/1522.19	c #Conflicts:     167000 | #Constraints:      40987
1517.86/1522.19	c #Conflicts:     168000 | #Constraints:      41987
1517.86/1522.19	c #Conflicts:     169000 | #Constraints:      42987
1517.86/1522.19	c #Conflicts:     170000 | #Constraints:      43987
1517.86/1522.19	c #Conflicts:     171000 | #Constraints:      44987
1517.86/1522.19	c #Conflicts:     172000 | #Constraints:      45987
1517.86/1522.19	c INPROCESSING
1517.86/1522.19	c GARBAGE COLLECT
1517.86/1522.19	c #Conflicts:     173000 | #Constraints:      26830
1517.86/1522.19	c #Conflicts:     174000 | #Constraints:      27830
1517.86/1522.19	c #Conflicts:     175000 | #Constraints:      28830
1517.86/1522.19	c #Conflicts:     176000 | #Constraints:      29830
1517.86/1522.19	c #Conflicts:     177000 | #Constraints:      30830
1517.86/1522.19	c #Conflicts:     178000 | #Constraints:      31830
1517.86/1522.19	c #Conflicts:     179000 | #Constraints:      32830
1517.86/1522.19	c #Conflicts:     180000 | #Constraints:      33830
1517.86/1522.19	c #Conflicts:     181000 | #Constraints:      34830
1517.86/1522.19	c #Conflicts:     182000 | #Constraints:      35830
1517.86/1522.19	c INPROCESSING
1517.86/1522.19	c GARBAGE COLLECT
1517.86/1522.19	c #Conflicts:     183000 | #Constraints:      22159
1517.86/1522.19	c #Conflicts:     184000 | #Constraints:      23159
1517.86/1522.19	c #Conflicts:     185000 | #Constraints:      24159
1517.86/1522.19	c #Conflicts:     186000 | #Constraints:      25159
1517.86/1522.19	c #Conflicts:     187000 | #Constraints:      26159
1517.86/1522.19	c #Conflicts:     188000 | #Constraints:      27159
1517.86/1522.19	c #Conflicts:     189000 | #Constraints:      28159
1517.86/1522.19	c #Conflicts:     190000 | #Constraints:      29159
1517.86/1522.19	c #Conflicts:     191000 | #Constraints:      30159
1517.86/1522.19	c INPROCESSING
1517.86/1522.19	c GARBAGE COLLECT
1517.86/1522.19	c #Conflicts:     192000 | #Constraints:      19123
1517.86/1522.19	c #Conflicts:     193000 | #Constraints:      20123
1517.86/1522.19	c #Conflicts:     194000 | #Constraints:      21123
1517.86/1522.19	c #Conflicts:     195000 | #Constraints:      22123
1517.86/1522.19	c #Conflicts:     196000 | #Constraints:      23123
1517.86/1522.19	c #Conflicts:     197000 | #Constraints:      24123
1517.86/1522.19	c #Conflicts:     198000 | #Constraints:      25123
1517.86/1522.19	c #Conflicts:     199000 | #Constraints:      26123
1517.86/1522.19	c #Conflicts:     200000 | #Constraints:      27123
1517.86/1522.19	c #Conflicts:     201000 | #Constraints:      28123
1517.86/1522.19	c INPROCESSING
1517.86/1522.19	c GARBAGE COLLECT
1517.86/1522.19	c #Conflicts:     202000 | #Constraints:      18291
1517.86/1522.19	c #Conflicts:     203000 | #Constraints:      19291
1517.86/1522.19	c #Conflicts:     204000 | #Constraints:      20291
1517.86/1522.19	c #Conflicts:     205000 | #Constraints:      21291
1517.86/1522.19	c #Conflicts:     206000 | #Constraints:      22291
1517.86/1522.19	c #Conflicts:     207000 | #Constraints:      23291
1517.86/1522.19	c #Conflicts:     208000 | #Constraints:      24291
1517.86/1522.19	c #Conflicts:     209000 | #Constraints:      25291
1517.86/1522.19	c #Conflicts:     210000 | #Constraints:      26291
1517.86/1522.19	c #Conflicts:     211000 | #Constraints:      27291
1517.86/1522.19	c #Conflicts:     212000 | #Constraints:      28291
1517.86/1522.19	c #Conflicts:     213000 | #Constraints:      29291
1517.86/1522.19	c #Conflicts:     214000 | #Constraints:      30291
1517.86/1522.19	c #Conflicts:     215000 | #Constraints:      31291
1517.86/1522.19	c #Conflicts:     216000 | #Constraints:      32291
1517.86/1522.19	c #Conflicts:     217000 | #Constraints:      33291
3101.43/3110.22	c #Conflicts:     218000 | #Constraints:      34291
3101.43/3110.22	c #Conflicts:     219000 | #Constraints:      35291
3101.43/3110.22	c #Conflicts:     220000 | #Constraints:      36291
3101.43/3110.22	c #Conflicts:     221000 | #Constraints:      37291
3101.43/3110.22	c #Conflicts:     222000 | #Constraints:      38291
3101.43/3110.22	c #Conflicts:     223000 | #Constraints:      39291
3101.43/3110.22	c #Conflicts:     224000 | #Constraints:      40291
3101.43/3110.22	c #Conflicts:     225000 | #Constraints:      41291
3101.43/3110.22	c #Conflicts:     226000 | #Constraints:      42291
3101.43/3110.22	c #Conflicts:     227000 | #Constraints:      43291
3101.43/3110.22	c #Conflicts:     228000 | #Constraints:      44291
3101.43/3110.22	c #Conflicts:     229000 | #Constraints:      45291
3101.43/3110.22	c #Conflicts:     230000 | #Constraints:      46291
3101.43/3110.22	c #Conflicts:     231000 | #Constraints:      47291
3101.43/3110.22	c #Conflicts:     232000 | #Constraints:      48291
3101.43/3110.22	c #Conflicts:     233000 | #Constraints:      49291
3101.43/3110.22	c #Conflicts:     234000 | #Constraints:      50291
3101.43/3110.22	c #Conflicts:     235000 | #Constraints:      51291
3101.43/3110.22	c #Conflicts:     236000 | #Constraints:      52291
3101.43/3110.22	c #Conflicts:     237000 | #Constraints:      53291
3101.43/3110.22	c #Conflicts:     238000 | #Constraints:      54291
3101.43/3110.22	c INPROCESSING
3101.43/3110.22	c GARBAGE COLLECT
3101.43/3110.22	c #Conflicts:     239000 | #Constraints:      31054
3101.43/3110.22	c #Conflicts:     240000 | #Constraints:      32054
3101.43/3110.22	c #Conflicts:     241000 | #Constraints:      33054
3101.43/3110.22	c #Conflicts:     242000 | #Constraints:      34054
3101.43/3110.22	c #Conflicts:     243000 | #Constraints:      35054
3101.43/3110.22	c #Conflicts:     244000 | #Constraints:      36054
3101.43/3110.22	c #Conflicts:     245000 | #Constraints:      37054
3101.43/3110.22	c #Conflicts:     246000 | #Constraints:      38054
3101.43/3110.22	c #Conflicts:     247000 | #Constraints:      39054
3101.43/3110.22	c #Conflicts:     248000 | #Constraints:      40054
3101.43/3110.22	c #Conflicts:     249000 | #Constraints:      41054
3101.43/3110.22	c INPROCESSING
3101.43/3110.22	c GARBAGE COLLECT
3101.43/3110.22	c #Conflicts:     250000 | #Constraints:      24482
3101.43/3110.22	c #Conflicts:     251000 | #Constraints:      25482
3101.43/3110.22	c #Conflicts:     252000 | #Constraints:      26482
3101.43/3110.22	c #Conflicts:     253000 | #Constraints:      27482
3101.43/3110.22	c #Conflicts:     254000 | #Constraints:      28482
3101.43/3110.22	c #Conflicts:     255000 | #Constraints:      29482
3101.43/3110.22	c #Conflicts:     256000 | #Constraints:      30482
3101.43/3110.22	c #Conflicts:     257000 | #Constraints:      31482
3101.43/3110.22	c #Conflicts:     258000 | #Constraints:      32482
3101.43/3110.22	c #Conflicts:     259000 | #Constraints:      33482
3101.43/3110.22	c #Conflicts:     260000 | #Constraints:      34482
3101.43/3110.22	c INPROCESSING
3101.43/3110.22	c GARBAGE COLLECT
3101.43/3110.22	c #Conflicts:     261000 | #Constraints:      21119
3101.43/3110.22	c #Conflicts:     262000 | #Constraints:      22119
3101.43/3110.22	c #Conflicts:     263000 | #Constraints:      23119
3101.43/3110.22	c #Conflicts:     264000 | #Constraints:      24119
3101.43/3110.22	c #Conflicts:     265000 | #Constraints:      25119
3101.43/3110.22	c #Conflicts:     266000 | #Constraints:      26119
3101.43/3110.22	c #Conflicts:     267000 | #Constraints:      27119
3101.43/3110.22	c #Conflicts:     268000 | #Constraints:      28119
3101.43/3110.22	c #Conflicts:     269000 | #Constraints:      29119
3101.43/3110.22	c #Conflicts:     270000 | #Constraints:      30119
3101.43/3110.22	c #Conflicts:     271000 | #Constraints:      31119
3101.43/3110.22	c #Conflicts:     272000 | #Constraints:      32119
3101.43/3110.22	c INPROCESSING
3101.43/3110.22	c GARBAGE COLLECT
3101.43/3110.22	c #Conflicts:     273000 | #Constraints:      20296
3101.43/3110.22	c #Conflicts:     274000 | #Constraints:      21296
3101.43/3110.22	c #Conflicts:     275000 | #Constraints:      22296
3101.43/3110.22	c #Conflicts:     276000 | #Constraints:      23296
3101.43/3110.22	c #Conflicts:     277000 | #Constraints:      24296
3101.43/3110.22	c #Conflicts:     278000 | #Constraints:      25296
3101.43/3110.22	c #Conflicts:     279000 | #Constraints:      26296
3101.43/3110.22	c #Conflicts:     280000 | #Constraints:      27296
3101.43/3110.22	c #Conflicts:     281000 | #Constraints:      28296
3101.43/3110.22	c #Conflicts:     282000 | #Constraints:      29296
3101.43/3110.22	c #Conflicts:     283000 | #Constraints:      30296
3101.43/3110.22	c #Conflicts:     284000 | #Constraints:      31296
3101.43/3110.22	c #Conflicts:     285000 | #Constraints:      32296
3101.43/3110.22	c #Conflicts:     286000 | #Constraints:      33296
3101.43/3110.22	c #Conflicts:     287000 | #Constraints:      34296
3101.43/3110.22	c #Conflicts:     288000 | #Constraints:      35296
3101.43/3110.22	c #Conflicts:     289000 | #Constraints:      36296
3101.43/3110.22	c #Conflicts:     290000 | #Constraints:      37296
3101.43/3110.22	c #Conflicts:     291000 | #Constraints:      38296
3101.43/3110.22	c #Conflicts:     292000 | #Constraints:      39296
3101.43/3110.22	c #Conflicts:     293000 | #Constraints:      40296
3600.05/3610.40	c #Conflicts:     294000 | #Constraints:      41296
3600.05/3610.40	c #Conflicts:     295000 | #Constraints:      42296
3600.05/3610.40	c #Conflicts:     296000 | #Constraints:      43296
3600.05/3610.40	c #Conflicts:     297000 | #Constraints:      44296
3600.05/3610.40	c #Conflicts:     298000 | #Constraints:      45296
3600.05/3610.40	c #Conflicts:     299000 | #Constraints:      46296
3600.05/3610.40	c #Conflicts:     300000 | #Constraints:      47296
3600.05/3610.40	c #Conflicts:     301000 | #Constraints:      48296
3600.05/3610.40	c #Conflicts:     302000 | #Constraints:      49296
3600.05/3610.40	c #Conflicts:     303000 | #Constraints:      50296
3600.05/3610.40	c #Conflicts:     304000 | #Constraints:      51296
3600.05/3610.40	c #Conflicts:     305000 | #Constraints:      52296
3600.05/3610.40	c #Conflicts:     306000 | #Constraints:      53296
3600.05/3610.40	c #Conflicts:     307000 | #Constraints:      54296
3600.05/3610.40	c Program interrupted by user.
3600.05/3610.40	c cpu time 3595.93 s
3600.05/3610.40	c deterministic time 313797977378 3.14e+11
3600.05/3610.40	c optimization time 848.452 s
3600.05/3610.40	c total solve time 2747.46 s
3600.05/3610.40	c core-guided solve time 2747.46 s
3600.05/3610.40	c propagation time 3253.18 s
3600.05/3610.40	c conflict analysis time 328.757 s
3600.05/3610.40	c propagations 159950575
3600.05/3610.40	c resolve steps 14756678
3600.05/3610.40	c decisions 1933848
3600.05/3610.40	c conflicts 307932
3600.05/3610.40	c restarts 760
3600.05/3610.40	c inprocessing phases 34
3600.05/3610.40	c input clauses 4136
3600.05/3610.40	c input cardinalities 0
3600.05/3610.40	c input general constraints 1849
3600.05/3610.40	c input average constraint length 3.09
3600.05/3610.40	c input average constraint degree 734844865.62
3600.05/3610.40	c learned clauses 48912
3600.05/3610.40	c learned cardinalities 36
3600.05/3610.40	c learned general constraints 258985
3600.05/3610.40	c learned average constraint length 325.70
3600.05/3610.40	c learned average constraint degree 332129343.30
3600.05/3610.40	c watched constraints 255843
3600.05/3610.40	c counting constraints 4991
3600.05/3610.40	c gcd simplifications 16657
3600.05/3610.40	c detected cardinalities 4
3600.05/3610.40	c weakened non-implied lits 6106190
3600.05/3610.40	c weakened non-implying lits 256106
3600.05/3610.40	c original variables 2992
3600.05/3610.40	c clausal propagations 65945382
3600.05/3610.40	c cardinality propagations 2085
3600.05/3610.40	c watched propagations 20810775
3600.05/3610.40	c counting propagations 73084936
3600.05/3610.40	c watch lookups 56903309083
3600.05/3610.40	c watch backjump lookups 52491606882
3600.05/3610.40	c watch checks 164323400324
3600.05/3610.40	c propagation checks 39374513331
3600.05/3610.40	c constraint additions 381072392
3600.05/3610.40	c trail pops 162190942
3600.05/3610.40	c formula constraints 5984
3600.05/3610.40	c learned constraints 307933
3600.05/3610.40	c bound constraints 1
3600.05/3610.40	c core-guided constraints 0
3600.05/3610.40	c encountered formula constraints 10789293
3600.05/3610.40	c encountered learned constraints 4275317
3600.05/3610.40	c encountered bound constraints 0
3600.05/3610.40	c encountered core-guided constraints 0
3600.05/3610.40	c LP total time 0 s
3600.05/3610.40	c LP solve time 0 s
3600.05/3610.40	c LP constraints added 0
3600.05/3610.40	c LP constraints removed 0
3600.05/3610.40	c LP pivots internal 0
3600.05/3610.40	c LP pivots root 0
3600.05/3610.40	c LP calls 0
3600.05/3610.40	c LP optimalities 0
3600.05/3610.40	c LP no pivot count 0
3600.05/3610.40	c LP infeasibilities 0
3600.05/3610.40	c LP valid Farkas constraints 0
3600.05/3610.40	c LP learned Farkas constraints 0
3600.05/3610.40	c LP basis resets 0
3600.05/3610.40	c LP cycling count 0
3600.05/3610.40	c LP singular count 0
3600.05/3610.40	c LP no primal count 0
3600.05/3610.40	c LP no farkas count 0
3600.05/3610.40	c LP other issue count 0
3600.05/3610.40	c LP Gomory cuts 0
3600.05/3610.40	c LP learned cuts 0
3600.05/3610.40	c LP deleted cuts 0
3600.05/3610.40	c LP encountered Gomory constraints 0
3600.05/3610.40	c LP encountered Farkas constraints 0
3600.05/3610.40	c LP encountered learned Farkas constraints 0
3600.05/3610.40	c CG auxiliary variables introduced 0
3600.05/3610.40	c CG solutions found 0
3600.05/3610.40	c CG cores constructed 1
3600.05/3610.40	c CG core cardinality constraints returned 0
3600.05/3610.40	c CG unit cores 0
3600.05/3610.40	c CG single cores 1
3600.05/3610.40	c CG blocks removed during cardinality reduction 0
3600.05/3610.40	c CG first core best 0
3600.05/3610.40	c CG decision core best 0
3600.05/3610.40	c CG core reduction tie 0
3600.05/3610.40	c CG core degree average 1.00
3600.05/3610.40	c CG core slack average 3.00
3600.05/3610.40	c CG exhausted 0
3600.05/3610.40	c CG exhaust time 0 s
3600.05/3610.40	c CG trimmed 0
3600.05/3610.40	c CG trim time 1.3e-05 s
3600.05/3610.40	c CG minimized 0
3600.05/3610.40	c CG minimize time 0 s
3600.05/3610.40	c CG am1 prop time 2.1e-05 s
3600.05/3610.40	c CG # am1s reformulated 0
3600.05/3610.40	c CG lower bound derived from am1s 0
3600.05/3610.40	c CG # clausal cores 1
3600.05/3610.40	c CG # cardinality cores 0
3600.05/3610.40	c CG # pb cores 0
3600.05/3610.40	c CG # pb reforms 0
3600.05/3610.40	c CG # cores discarded because of pb reform 0
3600.05/3610.40	d LOWERBOUND -13194139533311
3600.05/3610.40	d NCORES 1
3600.05/3610.40	d NPBCORES 0
3600.05/3610.40	d NPBREFORM 0
3600.05/3610.40	d NTRIMMED 0
3600.05/3610.40	d NEXHAUSTED 0
3600.05/3610.40	d NAM1S 0
3600.05/3610.40	d AM1LB 0
3600.05/3610.41	s UNKNOWN

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: 63931 MiB (60272 MiB free)
  memory of node 1: 64510 MiB (62180 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458204-1721879543/watcher-4458204-1721879543 -o /tmp/evaluation-result-4458204-1721879543/solver-4458204-1721879543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217938 --watchdog 3760 pb-oll-rs HOME/instance-4458204-1721879543.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=220066, runsolver pid=220063

[startup+0.100087 s]*
/proc/loadavg: 4.16 4.15 4.16 5/258 220082
/proc/meminfo: memFree=125384256/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=40320 memory=9528 CPUtime=0.09 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 677 0 0 0 9 0 0 0 20 0 1 0 24482833 41287680 2382 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 10080 2382 1390 291 0 1614 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 9528 KiB

[startup+0.205285 s]*
/proc/loadavg: 4.16 4.15 4.16 5/258 220082
/proc/meminfo: memFree=125382576/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=40452 memory=10024 CPUtime=0.2 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 728 0 0 0 19 1 0 0 20 0 1 0 24482833 41422848 2506 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 10113 2506 1453 291 0 1647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 10024 KiB

[startup+0.304303 s]*
/proc/loadavg: 4.16 4.15 4.16 5/258 220084
/proc/meminfo: memFree=125381568/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=40580 memory=10164 CPUtime=0.3 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 759 0 0 0 29 1 0 0 20 0 1 0 24482833 41553920 2541 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 10145 2541 1453 291 0 1679 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40580 KiB
Current children cumulated memory: 10164 KiB

[startup+0.700144 s]
/proc/loadavg: 4.16 4.15 4.16 5/258 220084
/proc/meminfo: memFree=125377396/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=41300 memory=12736 CPUtime=0.69 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 927 0 0 0 68 1 0 0 20 0 1 0 24482833 42291200 3184 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 10325 3184 1453 291 0 1859 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 41300 KiB
Current children cumulated memory: 12736 KiB

[startup+1.50015 s]
/proc/loadavg: 4.15 4.14 4.16 4/255 220098
/proc/meminfo: memFree=126648012/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=42652 memory=14384 CPUtime=1.49 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 1285 0 0 0 146 3 0 0 20 0 1 0 24482833 43675648 3596 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 10663 3596 1453 291 0 2197 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 42652 KiB
Current children cumulated memory: 14384 KiB

[startup+3.10537 s]
/proc/loadavg: 4.15 4.14 4.16 6/258 220130
/proc/meminfo: memFree=126636744/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=44016 memory=15500 CPUtime=3.08 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 1629 0 0 0 303 5 0 0 20 0 1 0 24482833 45072384 3875 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 11037 3875 1453 291 0 2571 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44016 KiB
Current children cumulated memory: 15500 KiB

[startup+6.30014 s]
/proc/loadavg: 4.14 4.14 4.16 5/258 220130
/proc/meminfo: memFree=126624716/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=48440 memory=19612 CPUtime=6.28 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 2601 0 0 0 618 10 0 0 20 0 1 0 24482833 49602560 4903 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 12110 4903 1469 291 0 3644 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 48440 KiB
Current children cumulated memory: 19612 KiB

[startup+12.7001 s]
/proc/loadavg: 4.12 4.14 4.15 5/258 220131
/proc/meminfo: memFree=126612176/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=54648 memory=22212 CPUtime=12.66 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 3292 0 0 0 1251 15 0 0 20 0 1 0 24482833 55959552 5553 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 13662 5553 1469 291 0 5196 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 54648 KiB
Current children cumulated memory: 22212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.18 4.15 4.16 5/258 220133
/proc/meminfo: memFree=126573000/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=57336 memory=25732 CPUtime=25.43 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 4245 0 0 0 2519 24 0 0 20 0 1 0 24482833 58712064 6433 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 14334 6433 1469 291 0 5868 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 57336 KiB
Current children cumulated memory: 25732 KiB

[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.15 5/258 220139
/proc/meminfo: memFree=126529608/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=68896 memory=33132 CPUtime=50.97 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 5739 0 0 0 5055 42 0 0 20 0 1 0 24482833 70549504 8283 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 17224 8283 1469 291 0 8758 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 68896 KiB
Current children cumulated memory: 33132 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/258 220148
/proc/meminfo: memFree=126509124/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=74456 memory=43288 CPUtime=102.03 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 7510 0 0 0 10133 70 0 0 20 0 1 0 24482833 76242944 10822 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 18614 10822 1469 291 0 10148 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 74456 KiB
Current children cumulated memory: 43288 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/257 220158
/proc/meminfo: memFree=126437112/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=124544 memory=88460 CPUtime=161.86 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 13197 0 0 0 16102 84 0 0 20 0 1 0 24482833 127533056 22115 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 31136 22115 1469 291 0 22670 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 124544 KiB
Current children cumulated memory: 88460 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/256 220550
/proc/meminfo: memFree=126398912/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=166128 memory=114000 CPUtime=221.69 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 15533 0 0 0 22077 92 0 0 20 0 1 0 24482833 170115072 28500 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 41532 28500 1469 291 0 33066 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 166128 KiB
Current children cumulated memory: 114000 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/256 220561
/proc/meminfo: memFree=126367232/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=181272 memory=135332 CPUtime=281.53 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 18828 0 0 0 28053 100 0 0 20 0 1 0 24482833 185622528 33833 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 45318 33833 1469 291 0 36852 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 181272 KiB
Current children cumulated memory: 135332 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.13 4.14 5/255 220572
/proc/meminfo: memFree=126328168/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=187152 memory=148712 CPUtime=341.35 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 20142 0 0 0 34030 105 0 0 20 0 1 0 24482833 191643648 37178 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 46788 37178 1469 291 0 38322 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 187152 KiB
Current children cumulated memory: 148712 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/258 220753
/proc/meminfo: memFree=126292992/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=187980 memory=156800 CPUtime=401.17 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 20526 0 0 0 40001 116 0 0 20 0 1 0 24482833 192491520 39200 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 46995 39200 1469 291 0 38529 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 187980 KiB
Current children cumulated memory: 156800 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/258 220763
/proc/meminfo: memFree=126260144/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=187980 memory=156904 CPUtime=461 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 20570 0 0 0 45972 128 0 0 20 0 1 0 24482833 192491520 39226 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 46995 39226 1469 291 0 38529 0

################
# More data... #
################

Current children cumulated memory: 267020 KiB

[startup+2862.3 s]
/proc/loadavg: 4.32 4.20 4.12 5/254 221826
/proc/meminfo: memFree=125831452/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=2854.27 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 34992 0 0 0 285065 362 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/257 221841
/proc/meminfo: memFree=125830460/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=2914.09 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35083 0 0 0 291041 368 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 221853
/proc/meminfo: memFree=125828772/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=2973.91 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35176 0 0 0 297019 372 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/257 221864
/proc/meminfo: memFree=125828096/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=3033.73 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35273 0 0 0 302995 378 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 221875
/proc/meminfo: memFree=125827444/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=3093.56 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35373 0 0 0 308974 382 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/258 221887
/proc/meminfo: memFree=125825840/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=3153.38 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35476 0 0 0 314952 386 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 3153.38 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 221897
/proc/meminfo: memFree=125824244/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=3213.19 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35582 0 0 0 320930 389 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 3213.19 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/255 221908
/proc/meminfo: memFree=125823512/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=298980 memory=267180 CPUtime=3272.99 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35691 0 0 0 326906 393 0 0 20 0 1 0 24482833 306155520 66795 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74745 66795 1469 291 0 66279 0
Current children cumulated CPU time: 3272.99 s
Current children cumulated vsize: 298980 KiB
Current children cumulated memory: 267180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/255 221918
/proc/meminfo: memFree=125822208/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=299204 memory=267216 CPUtime=3332.81 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 35830 0 0 0 332884 397 0 0 20 0 1 0 24482833 306384896 66804 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74801 66804 1469 291 0 66335 0
Current children cumulated CPU time: 3332.81 s
Current children cumulated vsize: 299204 KiB
Current children cumulated memory: 267216 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/255 221929
/proc/meminfo: memFree=125820624/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=299972 memory=267692 CPUtime=3392.63 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 36065 0 0 0 338862 401 0 0 20 0 1 0 24482833 307171328 66923 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 74993 66923 1469 291 0 66527 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 299972 KiB
Current children cumulated memory: 267692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 221940
/proc/meminfo: memFree=125818764/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=302020 memory=268812 CPUtime=3452.43 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 36450 0 0 0 344838 405 0 0 20 0 1 0 24482833 309268480 67203 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 75505 67203 1469 291 0 67039 0
Current children cumulated CPU time: 3452.43 s
Current children cumulated vsize: 302020 KiB
Current children cumulated memory: 268812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 221954
/proc/meminfo: memFree=125816724/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=303300 memory=269404 CPUtime=3512.24 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 36770 0 0 0 350816 408 0 0 20 0 1 0 24482833 310579200 67351 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 75825 67351 1469 291 0 67359 0
Current children cumulated CPU time: 3512.24 s
Current children cumulated vsize: 303300 KiB
Current children cumulated memory: 269404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.19 4.12 5/256 221965
/proc/meminfo: memFree=125811084/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=305604 memory=270768 CPUtime=3572.04 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 37224 0 0 0 356792 412 0 0 20 0 1 0 24482833 312938496 67692 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 76401 67692 1469 291 0 67935 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 305604 KiB
Current children cumulated memory: 270768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.32 4.19 4.12 5/256 222015
/proc/meminfo: memFree=126086008/131524600 swapFree=131056028/131071996
[pid=220066] ppid=220063 vsize=306884 memory=271604 CPUtime=3600.05 cores=5,7
/proc/220066/stat : 220066 (pb-oll-rs) R 220063 220066 217925 0 -1 4194304 37512 0 0 0 359591 414 0 0 20 0 1 0 24482833 314249216 67901 134679101440 4194304 5384485 140729962670672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 34013184 140729962677271 140729962677348 140729962677348 140729962684363 0
/proc/220066/statm: 76721 67901 1469 291 0 68255 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 306884 KiB
Current children cumulated memory: 271604 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3595.93 s, system=4.14682 s

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

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.07
CPU user time (s): 3595.93
CPU system time (s): 4.14682
CPU usage (%): 99.7137
Max. virtual memory (cumulated for all children) (KiB): 306884
Max. memory (cumulated for all children) (KiB): 271604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.14682
maximum resident set size= 271604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37527
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= 64
involuntary context switches= 2449


# summary of solver processes directly reported to runsolver:
#   pid: 220066
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.93
#   total CPU system time (s): 4.14682

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08287 second user time and 18.0137 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-25 05:52:23
IDJOB=4458204
IDBENCH=177178
IDSOLVER=3082
FILE ID=nodeC016/4458204-1721879543
RUNJOBID= nodeC016-1721875931-217938
SLURM_JOB_ID= 8089230
Free space on /tmp= 890080 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_22.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458204-1721879543/watcher-4458204-1721879543 -o /tmp/evaluation-result-4458204-1721879543/solver-4458204-1721879543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217938 --watchdog 3760  pb-oll-rs HOME/instance-4458204-1721879543.opb

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

MD5SUM BENCH= 32ee0ddbdff3b16b51999f7bca4d7c0a
RANDOM SEED=1704549633

nodeC016.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		: 3677.865
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	: 6999.34
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		: 2568.698
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	: 7005.68
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		: 3599.949
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	: 6999.34
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		: 2480.846
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	: 7005.68
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		: 3677.830
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	: 6999.34
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		: 3336.079
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	: 7005.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125394624 kB
MemAvailable:   128311224 kB
Buffers:          290124 kB
Cached:          3308300 kB
SwapCached:          284 kB
Active:          2326872 kB
Inactive:        2906068 kB
Active(anon):       2432 kB
Inactive(anon):  1684484 kB
Active(file):    2324440 kB
Inactive(file):  1221584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              4220 kB
Writeback:             0 kB
AnonPages:       1632672 kB
Mapped:           106460 kB
Shmem:             52400 kB
KReclaimable:     420444 kB
Slab:             541496 kB
SReclaimable:     420444 kB
SUnreclaim:       121052 kB
KernelStack:        4056 kB
PageTables:        12284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2385164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    991232 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-25 06:52:34