Trace number 4454396

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.11 3612.04

DiagnosticValue
AM1LB0
LOWERBOUND11
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/
submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
MD5SUMf414edaa70e04e6c4234549a55f077d1
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40363
Total number of constraints154319
Number of constraints which are clauses154296
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint1
Maximum length of a constraint1952
Number of terms in the objective function 1952
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1952
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1988
Number of bits of the biggest sum of numbers11
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.79/0.87	c [STEP] solving
0.79/0.87	c #variables 40363 #constraints 154319
0.79/0.87	c SMALL=int, LARGE=long long
0.79/0.87	c bounds - >= 5 @ 0.62533
0.79/0.87	c stratification level: 0
784.43/787.17	c bounds - >= 6 @ 0.813897
784.43/787.17	c bounds - >= 7 @ 0.820499
784.43/787.17	c bounds - >= 8 @ 0.992929
784.43/787.17	c bounds - >= 9 @ 0.999536
784.43/787.17	c bounds - >= 10 @ 1.00679
784.43/787.17	c bounds - >= 11 @ 1.01888
784.43/787.17	c #Conflicts:       1000 | #Constraints:     155328
784.43/787.17	c #Conflicts:       2000 | #Constraints:     156328
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:       3000 | #Constraints:     156324
784.43/787.17	c #Conflicts:       4000 | #Constraints:     157324
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:       5000 | #Constraints:     156735
784.43/787.17	c #Conflicts:       6000 | #Constraints:     157735
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:       7000 | #Constraints:     156746
784.43/787.17	c #Conflicts:       8000 | #Constraints:     157746
784.43/787.17	c #Conflicts:       9000 | #Constraints:     158746
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      10000 | #Constraints:     157445
784.43/787.17	c #Conflicts:      11000 | #Constraints:     158445
784.43/787.17	c #Conflicts:      12000 | #Constraints:     159445
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      13000 | #Constraints:     157906
784.43/787.17	c #Conflicts:      14000 | #Constraints:     158906
784.43/787.17	c #Conflicts:      15000 | #Constraints:     159906
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      16000 | #Constraints:     158143
784.43/787.17	c #Conflicts:      17000 | #Constraints:     159143
784.43/787.17	c #Conflicts:      18000 | #Constraints:     160143
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      19000 | #Constraints:     158166
784.43/787.17	c #Conflicts:      20000 | #Constraints:     159166
784.43/787.17	c #Conflicts:      21000 | #Constraints:     160166
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      22000 | #Constraints:     157969
784.43/787.17	c #Conflicts:      23000 | #Constraints:     158969
784.43/787.17	c #Conflicts:      24000 | #Constraints:     159969
784.43/787.17	c #Conflicts:      25000 | #Constraints:     160969
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      26000 | #Constraints:     158578
784.43/787.17	c #Conflicts:      27000 | #Constraints:     159578
784.43/787.17	c #Conflicts:      28000 | #Constraints:     160578
784.43/787.17	c #Conflicts:      29000 | #Constraints:     161578
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      30000 | #Constraints:     158962
784.43/787.17	c #Conflicts:      31000 | #Constraints:     159962
784.43/787.17	c #Conflicts:      32000 | #Constraints:     160962
784.43/787.17	c #Conflicts:      33000 | #Constraints:     161962
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      34000 | #Constraints:     159170
784.43/787.17	c #Conflicts:      35000 | #Constraints:     160170
784.43/787.17	c #Conflicts:      36000 | #Constraints:     161170
784.43/787.17	c #Conflicts:      37000 | #Constraints:     162170
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      38000 | #Constraints:     159156
784.43/787.17	c #Conflicts:      39000 | #Constraints:     160156
784.43/787.17	c #Conflicts:      40000 | #Constraints:     161156
784.43/787.17	c #Conflicts:      41000 | #Constraints:     162156
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      42000 | #Constraints:     158956
784.43/787.17	c #Conflicts:      43000 | #Constraints:     159956
784.43/787.17	c #Conflicts:      44000 | #Constraints:     160956
784.43/787.17	c #Conflicts:      45000 | #Constraints:     161956
784.43/787.17	c #Conflicts:      46000 | #Constraints:     162956
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      47000 | #Constraints:     159546
784.43/787.17	c #Conflicts:      48000 | #Constraints:     160546
784.43/787.17	c #Conflicts:      49000 | #Constraints:     161546
784.43/787.17	c #Conflicts:      50000 | #Constraints:     162546
784.43/787.17	c #Conflicts:      51000 | #Constraints:     163546
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      52000 | #Constraints:     159960
784.43/787.17	c #Conflicts:      53000 | #Constraints:     160960
784.43/787.17	c #Conflicts:      54000 | #Constraints:     161960
784.43/787.17	c #Conflicts:      55000 | #Constraints:     162960
784.43/787.17	c #Conflicts:      56000 | #Constraints:     163960
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      57000 | #Constraints:     160177
784.43/787.17	c #Conflicts:      58000 | #Constraints:     161177
784.43/787.17	c #Conflicts:      59000 | #Constraints:     162177
784.43/787.17	c #Conflicts:      60000 | #Constraints:     163177
784.43/787.17	c #Conflicts:      61000 | #Constraints:     164177
784.43/787.17	c INPROCESSING
784.43/787.17	c GARBAGE COLLECT
784.43/787.17	c #Conflicts:      62000 | #Constraints:     160196
784.43/787.17	c #Conflicts:      63000 | #Constraints:     161196
784.43/787.17	c #Conflicts:      64000 | #Constraints:     162196
784.43/787.17	c #Conflicts:      65000 | #Constraints:     163196
1641.28/1646.78	c #Conflicts:      66000 | #Constraints:     164196
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      67000 | #Constraints:     159980
1641.28/1646.78	c #Conflicts:      68000 | #Constraints:     160980
1641.28/1646.78	c #Conflicts:      69000 | #Constraints:     161980
1641.28/1646.78	c #Conflicts:      70000 | #Constraints:     162980
1641.28/1646.78	c #Conflicts:      71000 | #Constraints:     163980
1641.28/1646.78	c #Conflicts:      72000 | #Constraints:     164980
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      73000 | #Constraints:     160564
1641.28/1646.78	c #Conflicts:      74000 | #Constraints:     161564
1641.28/1646.78	c #Conflicts:      75000 | #Constraints:     162564
1641.28/1646.78	c #Conflicts:      76000 | #Constraints:     163564
1641.28/1646.78	c #Conflicts:      77000 | #Constraints:     164564
1641.28/1646.78	c #Conflicts:      78000 | #Constraints:     165564
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      79000 | #Constraints:     160964
1641.28/1646.78	c #Conflicts:      80000 | #Constraints:     161964
1641.28/1646.78	c #Conflicts:      81000 | #Constraints:     162964
1641.28/1646.78	c #Conflicts:      82000 | #Constraints:     163964
1641.28/1646.78	c #Conflicts:      83000 | #Constraints:     164964
1641.28/1646.78	c #Conflicts:      84000 | #Constraints:     165964
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      85000 | #Constraints:     161173
1641.28/1646.78	c #Conflicts:      86000 | #Constraints:     162173
1641.28/1646.78	c #Conflicts:      87000 | #Constraints:     163173
1641.28/1646.78	c #Conflicts:      88000 | #Constraints:     164173
1641.28/1646.78	c #Conflicts:      89000 | #Constraints:     165173
1641.28/1646.78	c #Conflicts:      90000 | #Constraints:     166173
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      91000 | #Constraints:     161171
1641.28/1646.78	c #Conflicts:      92000 | #Constraints:     162171
1641.28/1646.78	c #Conflicts:      93000 | #Constraints:     163171
1641.28/1646.78	c #Conflicts:      94000 | #Constraints:     164171
1641.28/1646.78	c #Conflicts:      95000 | #Constraints:     165171
1641.28/1646.78	c #Conflicts:      96000 | #Constraints:     166171
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:      97000 | #Constraints:     160967
1641.28/1646.78	c #Conflicts:      98000 | #Constraints:     161967
1641.28/1646.78	c #Conflicts:      99000 | #Constraints:     162967
1641.28/1646.78	c #Conflicts:     100000 | #Constraints:     163967
1641.28/1646.78	c #Conflicts:     101000 | #Constraints:     164967
1641.28/1646.78	c #Conflicts:     102000 | #Constraints:     165967
1641.28/1646.78	c #Conflicts:     103000 | #Constraints:     166967
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:     104000 | #Constraints:     161564
1641.28/1646.78	c #Conflicts:     105000 | #Constraints:     162564
1641.28/1646.78	c #Conflicts:     106000 | #Constraints:     163564
1641.28/1646.78	c #Conflicts:     107000 | #Constraints:     164564
1641.28/1646.78	c #Conflicts:     108000 | #Constraints:     165564
1641.28/1646.78	c #Conflicts:     109000 | #Constraints:     166564
1641.28/1646.78	c #Conflicts:     110000 | #Constraints:     167564
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:     111000 | #Constraints:     161977
1641.28/1646.78	c #Conflicts:     112000 | #Constraints:     162977
1641.28/1646.78	c #Conflicts:     113000 | #Constraints:     163977
1641.28/1646.78	c #Conflicts:     114000 | #Constraints:     164977
1641.28/1646.78	c #Conflicts:     115000 | #Constraints:     165977
1641.28/1646.78	c #Conflicts:     116000 | #Constraints:     166977
1641.28/1646.78	c #Conflicts:     117000 | #Constraints:     167977
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:     118000 | #Constraints:     162178
1641.28/1646.78	c #Conflicts:     119000 | #Constraints:     163178
1641.28/1646.78	c #Conflicts:     120000 | #Constraints:     164178
1641.28/1646.78	c #Conflicts:     121000 | #Constraints:     165178
1641.28/1646.78	c #Conflicts:     122000 | #Constraints:     166178
1641.28/1646.78	c #Conflicts:     123000 | #Constraints:     167178
1641.28/1646.78	c #Conflicts:     124000 | #Constraints:     168178
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:     125000 | #Constraints:     162195
1641.28/1646.78	c #Conflicts:     126000 | #Constraints:     163195
1641.28/1646.78	c #Conflicts:     127000 | #Constraints:     164195
1641.28/1646.78	c #Conflicts:     128000 | #Constraints:     165195
1641.28/1646.78	c #Conflicts:     129000 | #Constraints:     166195
1641.28/1646.78	c #Conflicts:     130000 | #Constraints:     167195
1641.28/1646.78	c #Conflicts:     131000 | #Constraints:     168195
1641.28/1646.78	c INPROCESSING
1641.28/1646.78	c GARBAGE COLLECT
1641.28/1646.78	c #Conflicts:     132000 | #Constraints:     161998
1641.28/1646.78	c #Conflicts:     133000 | #Constraints:     162998
1641.28/1646.78	c #Conflicts:     134000 | #Constraints:     163998
1641.28/1646.78	c #Conflicts:     135000 | #Constraints:     164998
1641.28/1646.78	c #Conflicts:     136000 | #Constraints:     165998
1641.28/1646.78	c #Conflicts:     137000 | #Constraints:     166998
2839.57/2849.09	c #Conflicts:     138000 | #Constraints:     167998
2839.57/2849.09	c #Conflicts:     139000 | #Constraints:     168998
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     140000 | #Constraints:     162599
2839.57/2849.09	c #Conflicts:     141000 | #Constraints:     163599
2839.57/2849.09	c #Conflicts:     142000 | #Constraints:     164599
2839.57/2849.09	c #Conflicts:     143000 | #Constraints:     165599
2839.57/2849.09	c #Conflicts:     144000 | #Constraints:     166599
2839.57/2849.09	c #Conflicts:     145000 | #Constraints:     167599
2839.57/2849.09	c #Conflicts:     146000 | #Constraints:     168599
2839.57/2849.09	c #Conflicts:     147000 | #Constraints:     169599
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     148000 | #Constraints:     163009
2839.57/2849.09	c #Conflicts:     149000 | #Constraints:     164009
2839.57/2849.09	c #Conflicts:     150000 | #Constraints:     165009
2839.57/2849.09	c #Conflicts:     151000 | #Constraints:     166009
2839.57/2849.09	c #Conflicts:     152000 | #Constraints:     167009
2839.57/2849.09	c #Conflicts:     153000 | #Constraints:     168009
2839.57/2849.09	c #Conflicts:     154000 | #Constraints:     169009
2839.57/2849.09	c #Conflicts:     155000 | #Constraints:     170009
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     156000 | #Constraints:     163216
2839.57/2849.09	c #Conflicts:     157000 | #Constraints:     164216
2839.57/2849.09	c #Conflicts:     158000 | #Constraints:     165216
2839.57/2849.09	c #Conflicts:     159000 | #Constraints:     166216
2839.57/2849.09	c #Conflicts:     160000 | #Constraints:     167216
2839.57/2849.09	c #Conflicts:     161000 | #Constraints:     168216
2839.57/2849.09	c #Conflicts:     162000 | #Constraints:     169216
2839.57/2849.09	c #Conflicts:     163000 | #Constraints:     170216
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     164000 | #Constraints:     163203
2839.57/2849.09	c #Conflicts:     165000 | #Constraints:     164203
2839.57/2849.09	c #Conflicts:     166000 | #Constraints:     165203
2839.57/2849.09	c #Conflicts:     167000 | #Constraints:     166203
2839.57/2849.09	c #Conflicts:     168000 | #Constraints:     167203
2839.57/2849.09	c #Conflicts:     169000 | #Constraints:     168203
2839.57/2849.09	c #Conflicts:     170000 | #Constraints:     169203
2839.57/2849.09	c #Conflicts:     171000 | #Constraints:     170203
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     172000 | #Constraints:     163014
2839.57/2849.09	c #Conflicts:     173000 | #Constraints:     164014
2839.57/2849.09	c #Conflicts:     174000 | #Constraints:     165014
2839.57/2849.09	c #Conflicts:     175000 | #Constraints:     166014
2839.57/2849.09	c #Conflicts:     176000 | #Constraints:     167014
2839.57/2849.09	c #Conflicts:     177000 | #Constraints:     168014
2839.57/2849.09	c #Conflicts:     178000 | #Constraints:     169014
2839.57/2849.09	c #Conflicts:     179000 | #Constraints:     170014
2839.57/2849.09	c #Conflicts:     180000 | #Constraints:     171014
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     181000 | #Constraints:     163592
2839.57/2849.09	c #Conflicts:     182000 | #Constraints:     164592
2839.57/2849.09	c #Conflicts:     183000 | #Constraints:     165592
2839.57/2849.09	c #Conflicts:     184000 | #Constraints:     166592
2839.57/2849.09	c #Conflicts:     185000 | #Constraints:     167592
2839.57/2849.09	c #Conflicts:     186000 | #Constraints:     168592
2839.57/2849.09	c #Conflicts:     187000 | #Constraints:     169592
2839.57/2849.09	c #Conflicts:     188000 | #Constraints:     170592
2839.57/2849.09	c #Conflicts:     189000 | #Constraints:     171592
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     190000 | #Constraints:     163983
2839.57/2849.09	c #Conflicts:     191000 | #Constraints:     164983
2839.57/2849.09	c #Conflicts:     192000 | #Constraints:     165983
2839.57/2849.09	c #Conflicts:     193000 | #Constraints:     166983
2839.57/2849.09	c #Conflicts:     194000 | #Constraints:     167983
2839.57/2849.09	c #Conflicts:     195000 | #Constraints:     168983
2839.57/2849.09	c #Conflicts:     196000 | #Constraints:     169983
2839.57/2849.09	c #Conflicts:     197000 | #Constraints:     170983
2839.57/2849.09	c #Conflicts:     198000 | #Constraints:     171983
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     199000 | #Constraints:     164185
2839.57/2849.09	c #Conflicts:     200000 | #Constraints:     165185
2839.57/2849.09	c #Conflicts:     201000 | #Constraints:     166185
2839.57/2849.09	c #Conflicts:     202000 | #Constraints:     167185
2839.57/2849.09	c #Conflicts:     203000 | #Constraints:     168185
2839.57/2849.09	c #Conflicts:     204000 | #Constraints:     169185
2839.57/2849.09	c #Conflicts:     205000 | #Constraints:     170185
2839.57/2849.09	c #Conflicts:     206000 | #Constraints:     171185
2839.57/2849.09	c #Conflicts:     207000 | #Constraints:     172185
2839.57/2849.09	c INPROCESSING
2839.57/2849.09	c GARBAGE COLLECT
2839.57/2849.09	c #Conflicts:     208000 | #Constraints:     164209
2839.57/2849.09	c #Conflicts:     209000 | #Constraints:     165209
2839.57/2849.09	c #Conflicts:     210000 | #Constraints:     166209
3600.08/3612.01	c #Conflicts:     211000 | #Constraints:     167209
3600.08/3612.01	c #Conflicts:     212000 | #Constraints:     168209
3600.08/3612.01	c #Conflicts:     213000 | #Constraints:     169209
3600.08/3612.01	c #Conflicts:     214000 | #Constraints:     170209
3600.08/3612.01	c #Conflicts:     215000 | #Constraints:     171209
3600.08/3612.01	c #Conflicts:     216000 | #Constraints:     172209
3600.08/3612.01	c INPROCESSING
3600.08/3612.01	c GARBAGE COLLECT
3600.08/3612.01	c #Conflicts:     217000 | #Constraints:     164007
3600.08/3612.01	c #Conflicts:     218000 | #Constraints:     165007
3600.08/3612.01	c #Conflicts:     219000 | #Constraints:     166007
3600.08/3612.01	c #Conflicts:     220000 | #Constraints:     167007
3600.08/3612.01	c #Conflicts:     221000 | #Constraints:     168007
3600.08/3612.01	c #Conflicts:     222000 | #Constraints:     169007
3600.08/3612.01	c #Conflicts:     223000 | #Constraints:     170007
3600.08/3612.01	c #Conflicts:     224000 | #Constraints:     171007
3600.08/3612.01	c #Conflicts:     225000 | #Constraints:     172007
3600.08/3612.01	c #Conflicts:     226000 | #Constraints:     173007
3600.08/3612.01	c INPROCESSING
3600.08/3612.01	c GARBAGE COLLECT
3600.08/3612.01	c #Conflicts:     227000 | #Constraints:     164638
3600.08/3612.01	c #Conflicts:     228000 | #Constraints:     165638
3600.08/3612.01	c #Conflicts:     229000 | #Constraints:     166638
3600.08/3612.01	c #Conflicts:     230000 | #Constraints:     167638
3600.08/3612.01	c #Conflicts:     231000 | #Constraints:     168638
3600.08/3612.01	c #Conflicts:     232000 | #Constraints:     169638
3600.08/3612.01	c #Conflicts:     233000 | #Constraints:     170638
3600.08/3612.01	c #Conflicts:     234000 | #Constraints:     171638
3600.08/3612.01	c #Conflicts:     235000 | #Constraints:     172638
3600.08/3612.01	c #Conflicts:     236000 | #Constraints:     173638
3600.08/3612.01	c INPROCESSING
3600.08/3612.01	c GARBAGE COLLECT
3600.08/3612.01	c #Conflicts:     237000 | #Constraints:     165015
3600.08/3612.01	c #Conflicts:     238000 | #Constraints:     166015
3600.08/3612.01	c #Conflicts:     239000 | #Constraints:     167015
3600.08/3612.01	c #Conflicts:     240000 | #Constraints:     168015
3600.08/3612.01	c #Conflicts:     241000 | #Constraints:     169015
3600.08/3612.01	c #Conflicts:     242000 | #Constraints:     170015
3600.08/3612.01	c #Conflicts:     243000 | #Constraints:     171015
3600.08/3612.01	c #Conflicts:     244000 | #Constraints:     172015
3600.08/3612.01	c #Conflicts:     245000 | #Constraints:     173015
3600.08/3612.01	c #Conflicts:     246000 | #Constraints:     174015
3600.08/3612.01	c INPROCESSING
3600.08/3612.01	c GARBAGE COLLECT
3600.08/3612.01	c Program interrupted by user.
3600.08/3612.01	c cpu time 3593.69 s
3600.08/3612.01	c deterministic time 1406171424021 1.41e+12
3600.08/3612.01	c optimization time 2.94524 s
3600.08/3612.01	c total solve time 3590.12 s
3600.08/3612.01	c core-guided solve time 3590.12 s
3600.08/3612.01	c propagation time 2614.44 s
3600.08/3612.01	c conflict analysis time 891.787 s
3600.08/3612.01	c propagations 726519497
3600.08/3612.01	c resolve steps 7708594
3600.08/3612.01	c decisions 4680315
3600.08/3612.01	c conflicts 246413
3600.08/3612.01	c restarts 572
3600.08/3612.01	c inprocessing phases 41
3600.08/3612.01	c input clauses 154319
3600.08/3612.01	c input cardinalities 6
3600.08/3612.01	c input general constraints 0
3600.08/3612.01	c input average constraint length 2.60
3600.08/3612.01	c input average constraint degree 1.01
3600.08/3612.01	c learned clauses 109798
3600.08/3612.01	c learned cardinalities 909
3600.08/3612.01	c learned general constraints 135710
3600.08/3612.01	c learned average constraint length 7348.88
3600.08/3612.01	c learned average constraint degree 430184.76
3600.08/3612.01	c watched constraints 132137
3600.08/3612.01	c counting constraints 3573
3600.08/3612.01	c gcd simplifications 1958
3600.08/3612.01	c detected cardinalities 1
3600.08/3612.01	c weakened non-implied lits 167844488
3600.08/3612.01	c weakened non-implying lits 19886
3600.08/3612.01	c original variables 40363
3600.08/3612.01	c clausal propagations 678292555
3600.08/3612.01	c cardinality propagations 1568251
3600.08/3612.01	c watched propagations 38134416
3600.08/3612.01	c counting propagations 6987798
3600.08/3612.01	c watch lookups 4295194011
3600.08/3612.01	c watch backjump lookups 2941021596
3600.08/3612.01	c watch checks 1211636346019
3600.08/3612.01	c propagation checks 179849337472
3600.08/3612.01	c constraint additions 5986907232
3600.08/3612.01	c trail pops 731417878
3600.08/3612.01	c formula constraints 154319
3600.08/3612.01	c learned constraints 246417
3600.08/3612.01	c bound constraints 6
3600.08/3612.01	c core-guided constraints 0
3600.08/3612.01	c encountered formula constraints 6990311
3600.08/3612.01	c encountered learned constraints 964696
3600.08/3612.01	c encountered bound constraints 0
3600.08/3612.01	c encountered core-guided constraints 0
3600.08/3612.01	c LP total time 0 s
3600.08/3612.01	c LP solve time 0 s
3600.08/3612.01	c LP constraints added 0
3600.08/3612.01	c LP constraints removed 0
3600.08/3612.01	c LP pivots internal 0
3600.08/3612.01	c LP pivots root 0
3600.08/3612.01	c LP calls 0
3600.08/3612.01	c LP optimalities 0
3600.08/3612.01	c LP no pivot count 0
3600.08/3612.01	c LP infeasibilities 0
3600.08/3612.01	c LP valid Farkas constraints 0
3600.08/3612.01	c LP learned Farkas constraints 0
3600.08/3612.01	c LP basis resets 0
3600.08/3612.01	c LP cycling count 0
3600.08/3612.01	c LP singular count 0
3600.08/3612.01	c LP no primal count 0
3600.08/3612.01	c LP no farkas count 0
3600.08/3612.01	c LP other issue count 0
3600.08/3612.01	c LP Gomory cuts 0
3600.08/3612.01	c LP learned cuts 0
3600.08/3612.01	c LP deleted cuts 0
3600.08/3612.01	c LP encountered Gomory constraints 0
3600.08/3612.01	c LP encountered Farkas constraints 0
3600.08/3612.01	c LP encountered learned Farkas constraints 0
3600.08/3612.01	c CG auxiliary variables introduced 0
3600.08/3612.01	c CG solutions found 0
3600.08/3612.01	c CG cores constructed 6
3600.08/3612.01	c CG core cardinality constraints returned 0
3600.08/3612.01	c CG unit cores 0
3600.08/3612.01	c CG single cores 6
3600.08/3612.01	c CG blocks removed during cardinality reduction 0
3600.08/3612.01	c CG first core best 0
3600.08/3612.01	c CG decision core best 0
3600.08/3612.01	c CG core reduction tie 0
3600.08/3612.01	c CG core degree average 1.00
3600.08/3612.01	c CG core slack average 105.33
3600.08/3612.01	c CG exhausted 0
3600.08/3612.01	c CG exhaust time 0 s
3600.08/3612.01	c CG trimmed 0
3600.08/3612.01	c CG trim time 0.008201 s
3600.08/3612.01	c CG minimized 0
3600.08/3612.01	c CG minimize time 0 s
3600.08/3612.01	c CG am1 prop time 0.014656 s
3600.08/3612.01	c CG # am1s reformulated 0
3600.08/3612.01	c CG lower bound derived from am1s 0
3600.08/3612.01	c CG # clausal cores 6
3600.08/3612.01	c CG # cardinality cores 0
3600.08/3612.01	c CG # pb cores 0
3600.08/3612.01	c CG # pb reforms 0
3600.08/3612.01	c CG # cores discarded because of pb reform 0
3600.08/3612.01	d LOWERBOUND 11
3600.08/3612.01	d NCORES 6
3600.08/3612.01	d NPBCORES 0
3600.08/3612.01	d NPBREFORM 0
3600.08/3612.01	d NTRIMMED 0
3600.08/3612.01	d NEXHAUSTED 0
3600.08/3612.01	d NAM1S 0
3600.08/3612.01	d AM1LB 0
3600.08/3612.02	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: 64096 MiB (63051 MiB free)
  memory of node 1: 64473 MiB (63224 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454396-1721472356/watcher-4454396-1721472356 -o /tmp/evaluation-result-4454396-1721472356/solver-4454396-1721472356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059653 --watchdog 3760 pb-oll-rs HOME/instance-4454396-1721472356.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.1001 s]*
/proc/loadavg: 1.08 1.09 1.34 5/241 1059716
/proc/meminfo: memFree=129294292/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=48928 memory=14948 CPUtime=0.1 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 2768 0 0 0 7 3 0 0 20 0 1 0 199392714 50102272 3737 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 12232 3737 1168 291 0 3766 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48928 KiB
Current children cumulated memory: 14948 KiB

[startup+0.212551 s]*
/proc/loadavg: 1.08 1.09 1.34 7/241 1059716
/proc/meminfo: memFree=129286688/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=49232 memory=17700 CPUtime=0.21 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 2937 0 0 0 15 6 0 0 20 0 1 0 199392714 50413568 4425 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 12308 4425 1168 291 0 3842 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 17700 KiB

[startup+0.312454 s]*
/proc/loadavg: 1.08 1.09 1.34 6/241 1059716
/proc/meminfo: memFree=129280888/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=49616 memory=17964 CPUtime=0.31 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 3039 0 0 0 22 9 0 0 20 0 1 0 199392714 50806784 4491 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 12404 4491 1168 291 0 3938 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49616 KiB
Current children cumulated memory: 17964 KiB

[startup+0.700285 s]
/proc/loadavg: 1.08 1.09 1.34 5/241 1059716
/proc/meminfo: memFree=129272044/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=54388 memory=22452 CPUtime=0.69 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 4103 0 0 0 49 20 0 0 20 0 1 0 199392714 55693312 5613 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 13597 5613 1168 291 0 5131 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54388 KiB
Current children cumulated memory: 22452 KiB

[startup+1.5003 s]
/proc/loadavg: 1.08 1.09 1.34 5/241 1059716
/proc/meminfo: memFree=129258236/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=66664 memory=33584 CPUtime=1.48 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 6764 0 0 0 123 25 0 0 20 0 1 0 199392714 68263936 8396 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 16666 8396 1375 291 0 8200 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 33584 KiB

[startup+3.11247 s]
/proc/loadavg: 1.31 1.14 1.36 5/241 1059716
/proc/meminfo: memFree=129182568/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=93836 memory=54896 CPUtime=3.08 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 10078 0 0 0 281 27 0 0 20 0 1 0 199392714 96088064 13724 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 23459 13724 1375 291 0 14993 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 93836 KiB
Current children cumulated memory: 54896 KiB

[startup+6.30032 s]
/proc/loadavg: 1.31 1.14 1.36 5/241 1059716
/proc/meminfo: memFree=129092724/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=121560 memory=90408 CPUtime=6.27 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 12841 0 0 0 597 30 0 0 20 0 1 0 199392714 124477440 22602 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 30390 22602 1375 291 0 21924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 90408 KiB

[startup+12.7003 s]
/proc/loadavg: 1.73 1.23 1.39 5/241 1059718
/proc/meminfo: memFree=129022204/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=157256 memory=114116 CPUtime=12.64 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 15114 0 0 0 1232 32 0 0 20 0 1 0 199392714 161030144 28529 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 39314 28529 1439 291 0 30848 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157256 KiB
Current children cumulated memory: 114116 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 1.32 1.41 5/241 1059719
/proc/meminfo: memFree=128911216/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=230916 memory=173620 CPUtime=25.4 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 21876 0 0 0 2501 39 0 0 20 0 1 0 199392714 236457984 43405 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 57729 43405 1439 291 0 49263 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 230916 KiB
Current children cumulated memory: 173620 KiB

[startup+51.1127 s]
/proc/loadavg: 2.81 1.56 1.49 5/241 1059724
/proc/meminfo: memFree=128760788/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=321712 memory=228272 CPUtime=50.93 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 24828 0 0 0 5047 46 0 0 20 0 1 0 199392714 329433088 57068 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 80428 57068 1439 291 0 71962 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 321712 KiB
Current children cumulated memory: 228272 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.00 1.65 5/241 1059732
/proc/meminfo: memFree=128612924/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=351640 memory=297224 CPUtime=101.94 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 32153 0 0 0 10132 62 0 0 20 0 1 0 199392714 360079360 74306 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 87910 74306 1439 291 0 79444 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 351640 KiB
Current children cumulated memory: 297224 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 2.43 1.82 5/241 1059742
/proc/meminfo: memFree=128522716/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=484656 memory=325072 CPUtime=161.74 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 34341 0 0 0 16102 72 0 0 20 0 1 0 199392714 496287744 81268 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 121164 81268 1439 291 0 112698 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 484656 KiB
Current children cumulated memory: 325072 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 2.75 1.97 5/241 1059754
/proc/meminfo: memFree=128471636/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=487572 memory=335412 CPUtime=221.54 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 35405 0 0 0 22065 89 0 0 20 0 1 0 199392714 499273728 83853 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 121893 83853 1439 291 0 113427 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 487572 KiB
Current children cumulated memory: 335412 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 2.99 2.10 5/243 1059768
/proc/meminfo: memFree=128432744/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=488144 memory=342304 CPUtime=281.34 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 35620 0 0 0 28035 99 0 0 20 0 1 0 199392714 499859456 85576 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 122036 85576 1439 291 0 113570 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 488144 KiB
Current children cumulated memory: 342304 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.19 2.23 5/243 1059778
/proc/meminfo: memFree=128358652/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=489112 memory=371276 CPUtime=341.14 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 36724 0 0 0 34002 112 0 0 20 0 1 0 199392714 500850688 92819 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 122278 92819 1439 291 0 113812 0
Current children cumulated CPU time: 341.14 s
Current children cumulated vsize: 489112 KiB
Current children cumulated memory: 371276 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.37 2.35 5/243 1059789
/proc/meminfo: memFree=128327348/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=490924 memory=383260 CPUtime=400.95 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 37240 0 0 0 39973 122 0 0 20 0 1 0 199392714 502706176 95815 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 122731 95815 1439 291 0 114265 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 490924 KiB
Current children cumulated memory: 383260 KiB

[startup+462.3 s]
/proc/loadavg: 4.04 3.49 2.46 6/243 1059799
/proc/meminfo: memFree=128270156/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=494112 memory=413160 CPUtime=460.74 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 38078 0 0 0 45944 130 0 0 20 0 1 0 199392714 505970688 103290 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0

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

Current children cumulated memory: 848704 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.13 4.09 5/245 1061417
/proc/meminfo: memFree=127076016/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1160964 memory=849092 CPUtime=2852.82 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 79446 0 0 0 284740 542 0 0 20 0 1 0 199392714 1188827136 212273 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290241 212273 1439 291 0 281775 0
Current children cumulated CPU time: 2852.82 s
Current children cumulated vsize: 1160964 KiB
Current children cumulated memory: 849092 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/244 1061428
/proc/meminfo: memFree=127057528/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1162024 memory=850356 CPUtime=2912.63 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 80020 0 0 0 290715 548 0 0 20 0 1 0 199392714 1189912576 212589 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290506 212589 1439 291 0 282040 0
Current children cumulated CPU time: 2912.63 s
Current children cumulated vsize: 1162024 KiB
Current children cumulated memory: 850356 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/243 1061439
/proc/meminfo: memFree=127050596/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1162756 memory=850832 CPUtime=2972.43 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 80543 0 0 0 296690 553 0 0 20 0 1 0 199392714 1190662144 212708 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290689 212708 1439 291 0 282223 0
Current children cumulated CPU time: 2972.43 s
Current children cumulated vsize: 1162756 KiB
Current children cumulated memory: 850832 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/241 1061452
/proc/meminfo: memFree=127039496/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1163396 memory=851420 CPUtime=3032.24 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 81500 0 0 0 302661 563 0 0 20 0 1 0 199392714 1191317504 212855 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290849 212855 1439 291 0 282383 0
Current children cumulated CPU time: 3032.24 s
Current children cumulated vsize: 1163396 KiB
Current children cumulated memory: 851420 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/241 1061462
/proc/meminfo: memFree=127020184/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1163396 memory=851668 CPUtime=3092.05 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 81749 0 0 0 308635 570 0 0 20 0 1 0 199392714 1191317504 212917 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290849 212917 1439 291 0 282383 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 1163396 KiB
Current children cumulated memory: 851668 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 1061473
/proc/meminfo: memFree=127001412/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1163552 memory=851696 CPUtime=3151.85 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 82129 0 0 0 314611 574 0 0 20 0 1 0 199392714 1191477248 212924 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 290888 212924 1439 291 0 282422 0
Current children cumulated CPU time: 3151.85 s
Current children cumulated vsize: 1163552 KiB
Current children cumulated memory: 851696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/241 1061484
/proc/meminfo: memFree=126972452/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1164172 memory=852272 CPUtime=3211.65 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 82678 0 0 0 320586 579 0 0 20 0 1 0 199392714 1192112128 213068 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 291043 213068 1439 291 0 282577 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 1164172 KiB
Current children cumulated memory: 852272 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/243 1061498
/proc/meminfo: memFree=126952752/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1165920 memory=853928 CPUtime=3271.46 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 83290 0 0 0 326563 583 0 0 20 0 1 0 199392714 1193902080 213482 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 291480 213482 1439 291 0 283014 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 1165920 KiB
Current children cumulated memory: 853928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/243 1061509
/proc/meminfo: memFree=126871720/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1272992 memory=921628 CPUtime=3331.26 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 98487 0 0 0 332535 591 0 0 20 0 1 0 199392714 1303543808 230407 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 318248 230407 1439 291 0 309782 0
Current children cumulated CPU time: 3331.26 s
Current children cumulated vsize: 1272992 KiB
Current children cumulated memory: 921628 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/243 1061520
/proc/meminfo: memFree=126855804/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1272992 memory=921628 CPUtime=3391.06 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 98584 0 0 0 338508 598 0 0 20 0 1 0 199392714 1303543808 230407 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 318248 230407 1439 291 0 309782 0
Current children cumulated CPU time: 3391.06 s
Current children cumulated vsize: 1272992 KiB
Current children cumulated memory: 921628 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/243 1061530
/proc/meminfo: memFree=126838128/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1274272 memory=923064 CPUtime=3450.87 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 99768 0 0 0 344475 612 0 0 20 0 1 0 199392714 1304854528 230766 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 318568 230766 1439 291 0 310102 0
Current children cumulated CPU time: 3450.87 s
Current children cumulated vsize: 1274272 KiB
Current children cumulated memory: 923064 KiB

[startup+3522.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/243 1061541
/proc/meminfo: memFree=126808656/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1274272 memory=923064 CPUtime=3510.67 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 99866 0 0 0 350442 625 0 0 20 0 1 0 199392714 1304854528 230766 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 318568 230766 1439 291 0 310102 0
Current children cumulated CPU time: 3510.67 s
Current children cumulated vsize: 1274272 KiB
Current children cumulated memory: 923064 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 6/243 1061551
/proc/meminfo: memFree=126781728/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1274528 memory=923064 CPUtime=3570.47 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 100078 0 0 0 356412 635 0 0 20 0 1 0 199392714 1305116672 230766 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 318632 230766 1439 291 0 310166 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 1274528 KiB
Current children cumulated memory: 923064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.07 4.09 4.09 5/241 1061696
/proc/meminfo: memFree=127210464/131655788 swapFree=131070704/131071996
[pid=1059715] ppid=1059712 vsize=1279392 memory=929724 CPUtime=3600.08 cores=0,2
/proc/1059715/stat : 1059715 (pb-oll-rs) R 1059712 1059715 1059643 0 -1 4194304 102476 0 0 0 359369 639 0 0 20 0 1 0 199392714 1310097408 232431 134679101440 4194304 5384485 140734129236128 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 10108928 140734129239061 140734129239138 140734129239138 140734129246155 0
/proc/1059715/statm: 319848 232431 1439 291 0 311382 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1279392 KiB
Current children cumulated memory: 929724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.7 s, system=6.40971 s

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

Child status: 0

Real time (s): 3612.04
CPU time (s): 3600.11
CPU user time (s): 3593.7
CPU system time (s): 6.40971
CPU usage (%): 99.6699
Max. virtual memory (cumulated for all children) (KiB): 1282240
Max. memory (cumulated for all children) (KiB): 932224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.7
system time used= 6.40971
maximum resident set size= 932224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102494
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= 97
involuntary context switches= 25199


# summary of solver processes directly reported to runsolver:
#   pid: 1059715
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3593.7
#   total CPU system time (s): 6.40971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2751 second user time and 33.6754 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-20 12:46:08
IDJOB=4454396
IDBENCH=148186
IDSOLVER=3082
FILE ID=nodeC011/4454396-1721472356
RUNJOBID= nodeC011-1721472368-1059653
SLURM_JOB_ID= 7545742
Free space on /tmp= 723768 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_10.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454396-1721472356/watcher-4454396-1721472356 -o /tmp/evaluation-result-4454396-1721472356/solver-4454396-1721472356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721472368-1059653 --watchdog 3760  pb-oll-rs HOME/instance-4454396-1721472356.opb

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=831155165

nodeC011.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		: 1197.121
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	: 6983.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129309012 kB
MemAvailable:   129979756 kB
Buffers:          584672 kB
Cached:           933312 kB
SwapCached:          132 kB
Active:          1129320 kB
Inactive:         726292 kB
Active(anon):       1428 kB
Inactive(anon):   381816 kB
Active(file):    1127892 kB
Inactive(file):   344476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             17792 kB
Writeback:             0 kB
AnonPages:        337704 kB
Mapped:           108856 kB
Shmem:             45592 kB
KReclaimable:      77148 kB
Slab:             160420 kB
SReclaimable:      77148 kB
SUnreclaim:        83272 kB
KernelStack:        3908 kB
PageTables:         9840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     737968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723360 MiB
End job on nodeC011 at 2024-07-20 13:46:20