Trace number 4435954

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-02? (TO) 3600.08 3609.73

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.60/0.66	c [STEP] solving
0.60/0.66	c #variables 40363 #constraints 154319
0.60/0.66	c SMALL=int, LARGE=long long
0.60/0.66	c bounds - >= 5 @ 0.482934
0.60/0.66	c stratification level: 0
787.14/789.25	c bounds - >= 6 @ 0.648625
787.14/789.25	c bounds - >= 7 @ 0.654629
787.14/789.25	c bounds - >= 8 @ 0.80425
787.14/789.25	c bounds - >= 9 @ 0.81089
787.14/789.25	c bounds - >= 10 @ 0.816833
787.14/789.25	c bounds - >= 11 @ 0.830351
787.14/789.25	c #Conflicts:       1000 | #Constraints:     155328
787.14/789.25	c #Conflicts:       2000 | #Constraints:     156328
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:       3000 | #Constraints:     156324
787.14/789.25	c #Conflicts:       4000 | #Constraints:     157324
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:       5000 | #Constraints:     156735
787.14/789.25	c #Conflicts:       6000 | #Constraints:     157735
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:       7000 | #Constraints:     156746
787.14/789.25	c #Conflicts:       8000 | #Constraints:     157746
787.14/789.25	c #Conflicts:       9000 | #Constraints:     158746
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      10000 | #Constraints:     157445
787.14/789.25	c #Conflicts:      11000 | #Constraints:     158445
787.14/789.25	c #Conflicts:      12000 | #Constraints:     159445
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      13000 | #Constraints:     157906
787.14/789.25	c #Conflicts:      14000 | #Constraints:     158906
787.14/789.25	c #Conflicts:      15000 | #Constraints:     159906
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      16000 | #Constraints:     158143
787.14/789.25	c #Conflicts:      17000 | #Constraints:     159143
787.14/789.25	c #Conflicts:      18000 | #Constraints:     160143
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      19000 | #Constraints:     158166
787.14/789.25	c #Conflicts:      20000 | #Constraints:     159166
787.14/789.25	c #Conflicts:      21000 | #Constraints:     160166
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      22000 | #Constraints:     157969
787.14/789.25	c #Conflicts:      23000 | #Constraints:     158969
787.14/789.25	c #Conflicts:      24000 | #Constraints:     159969
787.14/789.25	c #Conflicts:      25000 | #Constraints:     160969
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      26000 | #Constraints:     158578
787.14/789.25	c #Conflicts:      27000 | #Constraints:     159578
787.14/789.25	c #Conflicts:      28000 | #Constraints:     160578
787.14/789.25	c #Conflicts:      29000 | #Constraints:     161578
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      30000 | #Constraints:     158962
787.14/789.25	c #Conflicts:      31000 | #Constraints:     159962
787.14/789.25	c #Conflicts:      32000 | #Constraints:     160962
787.14/789.25	c #Conflicts:      33000 | #Constraints:     161962
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      34000 | #Constraints:     159170
787.14/789.25	c #Conflicts:      35000 | #Constraints:     160170
787.14/789.25	c #Conflicts:      36000 | #Constraints:     161170
787.14/789.25	c #Conflicts:      37000 | #Constraints:     162170
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      38000 | #Constraints:     159156
787.14/789.25	c #Conflicts:      39000 | #Constraints:     160156
787.14/789.25	c #Conflicts:      40000 | #Constraints:     161156
787.14/789.25	c #Conflicts:      41000 | #Constraints:     162156
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      42000 | #Constraints:     158956
787.14/789.25	c #Conflicts:      43000 | #Constraints:     159956
787.14/789.25	c #Conflicts:      44000 | #Constraints:     160956
787.14/789.25	c #Conflicts:      45000 | #Constraints:     161956
787.14/789.25	c #Conflicts:      46000 | #Constraints:     162956
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      47000 | #Constraints:     159546
787.14/789.25	c #Conflicts:      48000 | #Constraints:     160546
787.14/789.25	c #Conflicts:      49000 | #Constraints:     161546
787.14/789.25	c #Conflicts:      50000 | #Constraints:     162546
787.14/789.25	c #Conflicts:      51000 | #Constraints:     163546
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      52000 | #Constraints:     159960
787.14/789.25	c #Conflicts:      53000 | #Constraints:     160960
787.14/789.25	c #Conflicts:      54000 | #Constraints:     161960
787.14/789.25	c #Conflicts:      55000 | #Constraints:     162960
787.14/789.25	c #Conflicts:      56000 | #Constraints:     163960
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      57000 | #Constraints:     160177
787.14/789.25	c #Conflicts:      58000 | #Constraints:     161177
787.14/789.25	c #Conflicts:      59000 | #Constraints:     162177
787.14/789.25	c #Conflicts:      60000 | #Constraints:     163177
787.14/789.25	c #Conflicts:      61000 | #Constraints:     164177
787.14/789.25	c INPROCESSING
787.14/789.25	c GARBAGE COLLECT
787.14/789.25	c #Conflicts:      62000 | #Constraints:     160196
787.14/789.25	c #Conflicts:      63000 | #Constraints:     161196
787.14/789.25	c #Conflicts:      64000 | #Constraints:     162196
787.14/789.25	c #Conflicts:      65000 | #Constraints:     163196
1670.74/1675.26	c #Conflicts:      66000 | #Constraints:     164196
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      67000 | #Constraints:     159980
1670.74/1675.26	c #Conflicts:      68000 | #Constraints:     160980
1670.74/1675.26	c #Conflicts:      69000 | #Constraints:     161980
1670.74/1675.26	c #Conflicts:      70000 | #Constraints:     162980
1670.74/1675.26	c #Conflicts:      71000 | #Constraints:     163980
1670.74/1675.26	c #Conflicts:      72000 | #Constraints:     164980
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      73000 | #Constraints:     160564
1670.74/1675.26	c #Conflicts:      74000 | #Constraints:     161564
1670.74/1675.26	c #Conflicts:      75000 | #Constraints:     162564
1670.74/1675.26	c #Conflicts:      76000 | #Constraints:     163564
1670.74/1675.26	c #Conflicts:      77000 | #Constraints:     164564
1670.74/1675.26	c #Conflicts:      78000 | #Constraints:     165564
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      79000 | #Constraints:     160964
1670.74/1675.26	c #Conflicts:      80000 | #Constraints:     161964
1670.74/1675.26	c #Conflicts:      81000 | #Constraints:     162964
1670.74/1675.26	c #Conflicts:      82000 | #Constraints:     163964
1670.74/1675.26	c #Conflicts:      83000 | #Constraints:     164964
1670.74/1675.26	c #Conflicts:      84000 | #Constraints:     165964
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      85000 | #Constraints:     161173
1670.74/1675.26	c #Conflicts:      86000 | #Constraints:     162173
1670.74/1675.26	c #Conflicts:      87000 | #Constraints:     163173
1670.74/1675.26	c #Conflicts:      88000 | #Constraints:     164173
1670.74/1675.26	c #Conflicts:      89000 | #Constraints:     165173
1670.74/1675.26	c #Conflicts:      90000 | #Constraints:     166173
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      91000 | #Constraints:     161171
1670.74/1675.26	c #Conflicts:      92000 | #Constraints:     162171
1670.74/1675.26	c #Conflicts:      93000 | #Constraints:     163171
1670.74/1675.26	c #Conflicts:      94000 | #Constraints:     164171
1670.74/1675.26	c #Conflicts:      95000 | #Constraints:     165171
1670.74/1675.26	c #Conflicts:      96000 | #Constraints:     166171
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:      97000 | #Constraints:     160967
1670.74/1675.26	c #Conflicts:      98000 | #Constraints:     161967
1670.74/1675.26	c #Conflicts:      99000 | #Constraints:     162967
1670.74/1675.26	c #Conflicts:     100000 | #Constraints:     163967
1670.74/1675.26	c #Conflicts:     101000 | #Constraints:     164967
1670.74/1675.26	c #Conflicts:     102000 | #Constraints:     165967
1670.74/1675.26	c #Conflicts:     103000 | #Constraints:     166967
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:     104000 | #Constraints:     161564
1670.74/1675.26	c #Conflicts:     105000 | #Constraints:     162564
1670.74/1675.26	c #Conflicts:     106000 | #Constraints:     163564
1670.74/1675.26	c #Conflicts:     107000 | #Constraints:     164564
1670.74/1675.26	c #Conflicts:     108000 | #Constraints:     165564
1670.74/1675.26	c #Conflicts:     109000 | #Constraints:     166564
1670.74/1675.26	c #Conflicts:     110000 | #Constraints:     167564
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:     111000 | #Constraints:     161977
1670.74/1675.26	c #Conflicts:     112000 | #Constraints:     162977
1670.74/1675.26	c #Conflicts:     113000 | #Constraints:     163977
1670.74/1675.26	c #Conflicts:     114000 | #Constraints:     164977
1670.74/1675.26	c #Conflicts:     115000 | #Constraints:     165977
1670.74/1675.26	c #Conflicts:     116000 | #Constraints:     166977
1670.74/1675.26	c #Conflicts:     117000 | #Constraints:     167977
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:     118000 | #Constraints:     162178
1670.74/1675.26	c #Conflicts:     119000 | #Constraints:     163178
1670.74/1675.26	c #Conflicts:     120000 | #Constraints:     164178
1670.74/1675.26	c #Conflicts:     121000 | #Constraints:     165178
1670.74/1675.26	c #Conflicts:     122000 | #Constraints:     166178
1670.74/1675.26	c #Conflicts:     123000 | #Constraints:     167178
1670.74/1675.26	c #Conflicts:     124000 | #Constraints:     168178
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:     125000 | #Constraints:     162195
1670.74/1675.26	c #Conflicts:     126000 | #Constraints:     163195
1670.74/1675.26	c #Conflicts:     127000 | #Constraints:     164195
1670.74/1675.26	c #Conflicts:     128000 | #Constraints:     165195
1670.74/1675.26	c #Conflicts:     129000 | #Constraints:     166195
1670.74/1675.26	c #Conflicts:     130000 | #Constraints:     167195
1670.74/1675.26	c #Conflicts:     131000 | #Constraints:     168195
1670.74/1675.26	c INPROCESSING
1670.74/1675.26	c GARBAGE COLLECT
1670.74/1675.26	c #Conflicts:     132000 | #Constraints:     161998
1670.74/1675.26	c #Conflicts:     133000 | #Constraints:     162998
1670.74/1675.26	c #Conflicts:     134000 | #Constraints:     163998
1670.74/1675.26	c #Conflicts:     135000 | #Constraints:     164998
1670.74/1675.26	c #Conflicts:     136000 | #Constraints:     165998
1670.74/1675.26	c #Conflicts:     137000 | #Constraints:     166998
2868.49/2876.28	c #Conflicts:     138000 | #Constraints:     167998
2868.49/2876.28	c #Conflicts:     139000 | #Constraints:     168998
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     140000 | #Constraints:     162599
2868.49/2876.28	c #Conflicts:     141000 | #Constraints:     163599
2868.49/2876.28	c #Conflicts:     142000 | #Constraints:     164599
2868.49/2876.28	c #Conflicts:     143000 | #Constraints:     165599
2868.49/2876.28	c #Conflicts:     144000 | #Constraints:     166599
2868.49/2876.28	c #Conflicts:     145000 | #Constraints:     167599
2868.49/2876.28	c #Conflicts:     146000 | #Constraints:     168599
2868.49/2876.28	c #Conflicts:     147000 | #Constraints:     169599
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     148000 | #Constraints:     163009
2868.49/2876.28	c #Conflicts:     149000 | #Constraints:     164009
2868.49/2876.28	c #Conflicts:     150000 | #Constraints:     165009
2868.49/2876.28	c #Conflicts:     151000 | #Constraints:     166009
2868.49/2876.28	c #Conflicts:     152000 | #Constraints:     167009
2868.49/2876.28	c #Conflicts:     153000 | #Constraints:     168009
2868.49/2876.28	c #Conflicts:     154000 | #Constraints:     169009
2868.49/2876.28	c #Conflicts:     155000 | #Constraints:     170009
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     156000 | #Constraints:     163216
2868.49/2876.28	c #Conflicts:     157000 | #Constraints:     164216
2868.49/2876.28	c #Conflicts:     158000 | #Constraints:     165216
2868.49/2876.28	c #Conflicts:     159000 | #Constraints:     166216
2868.49/2876.28	c #Conflicts:     160000 | #Constraints:     167216
2868.49/2876.28	c #Conflicts:     161000 | #Constraints:     168216
2868.49/2876.28	c #Conflicts:     162000 | #Constraints:     169216
2868.49/2876.28	c #Conflicts:     163000 | #Constraints:     170216
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     164000 | #Constraints:     163203
2868.49/2876.28	c #Conflicts:     165000 | #Constraints:     164203
2868.49/2876.28	c #Conflicts:     166000 | #Constraints:     165203
2868.49/2876.28	c #Conflicts:     167000 | #Constraints:     166203
2868.49/2876.28	c #Conflicts:     168000 | #Constraints:     167203
2868.49/2876.28	c #Conflicts:     169000 | #Constraints:     168203
2868.49/2876.28	c #Conflicts:     170000 | #Constraints:     169203
2868.49/2876.28	c #Conflicts:     171000 | #Constraints:     170203
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     172000 | #Constraints:     163014
2868.49/2876.28	c #Conflicts:     173000 | #Constraints:     164014
2868.49/2876.28	c #Conflicts:     174000 | #Constraints:     165014
2868.49/2876.28	c #Conflicts:     175000 | #Constraints:     166014
2868.49/2876.28	c #Conflicts:     176000 | #Constraints:     167014
2868.49/2876.28	c #Conflicts:     177000 | #Constraints:     168014
2868.49/2876.28	c #Conflicts:     178000 | #Constraints:     169014
2868.49/2876.28	c #Conflicts:     179000 | #Constraints:     170014
2868.49/2876.28	c #Conflicts:     180000 | #Constraints:     171014
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     181000 | #Constraints:     163592
2868.49/2876.28	c #Conflicts:     182000 | #Constraints:     164592
2868.49/2876.28	c #Conflicts:     183000 | #Constraints:     165592
2868.49/2876.28	c #Conflicts:     184000 | #Constraints:     166592
2868.49/2876.28	c #Conflicts:     185000 | #Constraints:     167592
2868.49/2876.28	c #Conflicts:     186000 | #Constraints:     168592
2868.49/2876.28	c #Conflicts:     187000 | #Constraints:     169592
2868.49/2876.28	c #Conflicts:     188000 | #Constraints:     170592
2868.49/2876.28	c #Conflicts:     189000 | #Constraints:     171592
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     190000 | #Constraints:     163983
2868.49/2876.28	c #Conflicts:     191000 | #Constraints:     164983
2868.49/2876.28	c #Conflicts:     192000 | #Constraints:     165983
2868.49/2876.28	c #Conflicts:     193000 | #Constraints:     166983
2868.49/2876.28	c #Conflicts:     194000 | #Constraints:     167983
2868.49/2876.28	c #Conflicts:     195000 | #Constraints:     168983
2868.49/2876.28	c #Conflicts:     196000 | #Constraints:     169983
2868.49/2876.28	c #Conflicts:     197000 | #Constraints:     170983
2868.49/2876.28	c #Conflicts:     198000 | #Constraints:     171983
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     199000 | #Constraints:     164185
2868.49/2876.28	c #Conflicts:     200000 | #Constraints:     165185
2868.49/2876.28	c #Conflicts:     201000 | #Constraints:     166185
2868.49/2876.28	c #Conflicts:     202000 | #Constraints:     167185
2868.49/2876.28	c #Conflicts:     203000 | #Constraints:     168185
2868.49/2876.28	c #Conflicts:     204000 | #Constraints:     169185
2868.49/2876.28	c #Conflicts:     205000 | #Constraints:     170185
2868.49/2876.28	c #Conflicts:     206000 | #Constraints:     171185
2868.49/2876.28	c #Conflicts:     207000 | #Constraints:     172185
2868.49/2876.28	c INPROCESSING
2868.49/2876.28	c GARBAGE COLLECT
2868.49/2876.28	c #Conflicts:     208000 | #Constraints:     164209
2868.49/2876.28	c #Conflicts:     209000 | #Constraints:     165209
2868.49/2876.28	c #Conflicts:     210000 | #Constraints:     166209
3600.03/3609.72	c #Conflicts:     211000 | #Constraints:     167209
3600.03/3609.72	c #Conflicts:     212000 | #Constraints:     168209
3600.03/3609.72	c #Conflicts:     213000 | #Constraints:     169209
3600.03/3609.72	c #Conflicts:     214000 | #Constraints:     170209
3600.03/3609.72	c #Conflicts:     215000 | #Constraints:     171209
3600.03/3609.72	c #Conflicts:     216000 | #Constraints:     172209
3600.03/3609.72	c INPROCESSING
3600.03/3609.72	c GARBAGE COLLECT
3600.03/3609.72	c #Conflicts:     217000 | #Constraints:     164007
3600.03/3609.72	c #Conflicts:     218000 | #Constraints:     165007
3600.03/3609.72	c #Conflicts:     219000 | #Constraints:     166007
3600.03/3609.72	c #Conflicts:     220000 | #Constraints:     167007
3600.03/3609.72	c #Conflicts:     221000 | #Constraints:     168007
3600.03/3609.72	c #Conflicts:     222000 | #Constraints:     169007
3600.03/3609.72	c #Conflicts:     223000 | #Constraints:     170007
3600.03/3609.72	c #Conflicts:     224000 | #Constraints:     171007
3600.03/3609.72	c #Conflicts:     225000 | #Constraints:     172007
3600.03/3609.72	c #Conflicts:     226000 | #Constraints:     173007
3600.03/3609.72	c INPROCESSING
3600.03/3609.72	c GARBAGE COLLECT
3600.03/3609.72	c #Conflicts:     227000 | #Constraints:     164638
3600.03/3609.72	c #Conflicts:     228000 | #Constraints:     165638
3600.03/3609.72	c #Conflicts:     229000 | #Constraints:     166638
3600.03/3609.72	c #Conflicts:     230000 | #Constraints:     167638
3600.03/3609.72	c #Conflicts:     231000 | #Constraints:     168638
3600.03/3609.72	c #Conflicts:     232000 | #Constraints:     169638
3600.03/3609.72	c #Conflicts:     233000 | #Constraints:     170638
3600.03/3609.72	c #Conflicts:     234000 | #Constraints:     171638
3600.03/3609.72	c #Conflicts:     235000 | #Constraints:     172638
3600.03/3609.72	c #Conflicts:     236000 | #Constraints:     173638
3600.03/3609.72	c INPROCESSING
3600.03/3609.72	c GARBAGE COLLECT
3600.03/3609.72	c #Conflicts:     237000 | #Constraints:     165015
3600.03/3609.72	c #Conflicts:     238000 | #Constraints:     166015
3600.03/3609.72	c #Conflicts:     239000 | #Constraints:     167015
3600.03/3609.72	c #Conflicts:     240000 | #Constraints:     168015
3600.03/3609.72	c #Conflicts:     241000 | #Constraints:     169015
3600.03/3609.72	c #Conflicts:     242000 | #Constraints:     170015
3600.03/3609.72	c #Conflicts:     243000 | #Constraints:     171015
3600.03/3609.72	c #Conflicts:     244000 | #Constraints:     172015
3600.03/3609.72	c #Conflicts:     245000 | #Constraints:     173015
3600.03/3609.72	c #Conflicts:     246000 | #Constraints:     174015
3600.03/3609.72	c Program interrupted by user.
3600.03/3609.72	c cpu time 3593.79 s
3600.03/3609.72	c deterministic time 1405603394692 1.41e+12
3600.03/3609.72	c optimization time 140.064 s
3600.03/3609.72	c total solve time 3453.24 s
3600.03/3609.72	c core-guided solve time 3453.24 s
3600.03/3609.72	c propagation time 2611.3 s
3600.03/3609.72	c conflict analysis time 895.011 s
3600.03/3609.72	c propagations 724860695
3600.03/3609.72	c resolve steps 7699644
3600.03/3609.72	c decisions 4671688
3600.03/3609.72	c conflicts 246000
3600.03/3609.72	c restarts 572
3600.03/3609.72	c inprocessing phases 40
3600.03/3609.72	c input clauses 154319
3600.03/3609.72	c input cardinalities 6
3600.03/3609.72	c input general constraints 0
3600.03/3609.72	c input average constraint length 2.60
3600.03/3609.72	c input average constraint degree 1.01
3600.03/3609.72	c learned clauses 109706
3600.03/3609.72	c learned cardinalities 909
3600.03/3609.72	c learned general constraints 135388
3600.03/3609.72	c learned average constraint length 7349.80
3600.03/3609.72	c learned average constraint degree 430880.06
3600.03/3609.72	c watched constraints 131815
3600.03/3609.72	c counting constraints 3573
3600.03/3609.72	c gcd simplifications 1957
3600.03/3609.72	c detected cardinalities 1
3600.03/3609.72	c weakened non-implied lits 167699665
3600.03/3609.72	c weakened non-implying lits 19859
3600.03/3609.72	c original variables 40363
3600.03/3609.72	c clausal propagations 676736467
3600.03/3609.72	c cardinality propagations 1567779
3600.03/3609.72	c watched propagations 38045563
3600.03/3609.72	c counting propagations 6975606
3600.03/3609.72	c watch lookups 4286553440
3600.03/3609.72	c watch backjump lookups 2934344254
3600.03/3609.72	c watch checks 1211180752734
3600.03/3609.72	c propagation checks 179762477267
3600.03/3609.72	c constraint additions 5979991028
3600.03/3609.72	c trail pops 729743585
3600.03/3609.72	c formula constraints 154319
3600.03/3609.72	c learned constraints 246003
3600.03/3609.72	c bound constraints 6
3600.03/3609.72	c core-guided constraints 0
3600.03/3609.72	c encountered formula constraints 6982161
3600.03/3609.72	c encountered learned constraints 963483
3600.03/3609.72	c encountered bound constraints 0
3600.03/3609.72	c encountered core-guided constraints 0
3600.03/3609.72	c LP total time 0 s
3600.03/3609.72	c LP solve time 0 s
3600.03/3609.72	c LP constraints added 0
3600.03/3609.72	c LP constraints removed 0
3600.03/3609.72	c LP pivots internal 0
3600.03/3609.72	c LP pivots root 0
3600.03/3609.72	c LP calls 0
3600.03/3609.72	c LP optimalities 0
3600.03/3609.72	c LP no pivot count 0
3600.03/3609.72	c LP infeasibilities 0
3600.03/3609.72	c LP valid Farkas constraints 0
3600.03/3609.72	c LP learned Farkas constraints 0
3600.03/3609.72	c LP basis resets 0
3600.03/3609.72	c LP cycling count 0
3600.03/3609.72	c LP singular count 0
3600.03/3609.72	c LP no primal count 0
3600.03/3609.72	c LP no farkas count 0
3600.03/3609.72	c LP other issue count 0
3600.03/3609.72	c LP Gomory cuts 0
3600.03/3609.72	c LP learned cuts 0
3600.03/3609.72	c LP deleted cuts 0
3600.03/3609.72	c LP encountered Gomory constraints 0
3600.03/3609.72	c LP encountered Farkas constraints 0
3600.03/3609.72	c LP encountered learned Farkas constraints 0
3600.03/3609.72	c CG auxiliary variables introduced 0
3600.03/3609.72	c CG solutions found 0
3600.03/3609.72	c CG cores constructed 6
3600.03/3609.72	c CG core cardinality constraints returned 0
3600.03/3609.72	c CG unit cores 0
3600.03/3609.72	c CG single cores 6
3600.03/3609.72	c CG blocks removed during cardinality reduction 0
3600.03/3609.72	c CG first core best 0
3600.03/3609.72	c CG decision core best 0
3600.03/3609.72	c CG core reduction tie 0
3600.03/3609.72	c CG core degree average 1.00
3600.03/3609.72	c CG core slack average 105.33
3600.03/3609.72	c CG exhausted 0
3600.03/3609.72	c CG exhaust time 0 s
3600.03/3609.72	c CG trimmed 0
3600.03/3609.72	c CG trim time 0.009164 s
3600.03/3609.72	c CG minimized 0
3600.03/3609.72	c CG minimize time 0 s
3600.03/3609.72	c CG am1 prop time 0.013234 s
3600.03/3609.72	c CG # am1s reformulated 0
3600.03/3609.72	c CG lower bound derived from am1s 0
3600.03/3609.72	c CG # clausal cores 6
3600.03/3609.72	c CG # cardinality cores 0
3600.03/3609.72	c CG # pb cores 0
3600.03/3609.72	c CG # pb reforms 0
3600.03/3609.72	c CG # cores discarded because of pb reform 0
3600.03/3609.72	d LOWERBOUND 11
3600.03/3609.72	d NCORES 6
3600.03/3609.72	d NPBCORES 0
3600.03/3609.72	d NPBREFORM 0
3600.03/3609.72	d NTRIMMED 0
3600.03/3609.72	d NEXHAUSTED 0
3600.03/3609.72	d NAM1S 0
3600.03/3609.72	d AM1LB 0
3600.03/3609.73	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: 64059 MiB (61408 MiB free)
  memory of node 1: 64510 MiB (63169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435954-1721108581/watcher-4435954-1721108581 -o /tmp/evaluation-result-4435954-1721108581/solver-4435954-1721108581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760 pb-oll-rs HOME/instance-4435954-1721108581.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=831777, runsolver pid=831774

[startup+0.100105 s]*
/proc/loadavg: 4.20 4.16 4.16 5/243 831778
/proc/meminfo: memFree=127556704/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=49232 memory=16232 CPUtime=0.1 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 2536 0 0 0 7 3 0 0 20 0 1 0 163014502 50413568 4058 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 12308 4058 1184 291 0 3842 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 49232 KiB
Current children cumulated memory: 16232 KiB

[startup+0.213128 s]*
/proc/loadavg: 4.20 4.16 4.16 5/243 831778
/proc/meminfo: memFree=127553508/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=49864 memory=19204 CPUtime=0.21 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 2779 0 0 0 15 6 0 0 20 0 1 0 163014502 51060736 4801 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 12466 4801 1184 291 0 4000 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49864 KiB
Current children cumulated memory: 19204 KiB

[startup+0.312868 s]*
/proc/loadavg: 4.20 4.16 4.16 5/243 831778
/proc/meminfo: memFree=127552500/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=50500 memory=19916 CPUtime=0.31 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 2950 0 0 0 23 8 0 0 20 0 1 0 163014502 51712000 4979 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 12625 4979 1184 291 0 4159 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50500 KiB
Current children cumulated memory: 19916 KiB

[startup+0.700336 s]
/proc/loadavg: 4.20 4.16 4.16 5/243 831778
/proc/meminfo: memFree=127549812/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=57204 memory=27384 CPUtime=0.68 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 4885 0 0 0 51 17 0 0 20 0 1 0 163014502 58576896 6846 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 14301 6846 1296 291 0 5835 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57204 KiB
Current children cumulated memory: 27384 KiB

[startup+1.50033 s]
/proc/loadavg: 4.18 4.16 4.16 5/243 831778
/proc/meminfo: memFree=127540456/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=68008 memory=38264 CPUtime=1.49 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 7462 0 0 0 130 19 0 0 20 0 1 0 163014502 69640192 9566 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 17002 9566 1374 291 0 8536 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 68008 KiB
Current children cumulated memory: 38264 KiB

[startup+3.11264 s]
/proc/loadavg: 4.18 4.16 4.16 5/243 831780
/proc/meminfo: memFree=127507228/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=93836 memory=57728 CPUtime=3.1 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 10286 0 0 0 289 21 0 0 20 0 1 0 163014502 96088064 14432 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 23459 14432 1374 291 0 14993 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 93836 KiB
Current children cumulated memory: 57728 KiB

[startup+6.30031 s]
/proc/loadavg: 4.17 4.16 4.16 5/243 831780
/proc/meminfo: memFree=127463604/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=121560 memory=91196 CPUtime=6.27 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 13023 0 0 0 604 23 0 0 20 0 1 0 163014502 124477440 22799 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 30390 22799 1374 291 0 21924 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121560 KiB
Current children cumulated memory: 91196 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.15 4.16 5/243 831781
/proc/meminfo: memFree=127397884/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=157256 memory=112328 CPUtime=12.65 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 15285 0 0 0 1239 26 0 0 20 0 1 0 163014502 161030144 28082 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 39314 28082 1374 291 0 30848 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 157256 KiB
Current children cumulated memory: 112328 KiB

[startup+25.5004 s]
/proc/loadavg: 4.13 4.15 4.16 5/243 831783
/proc/meminfo: memFree=127336624/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=230776 memory=174308 CPUtime=25.42 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 21514 0 0 0 2510 32 0 0 20 0 1 0 163014502 236314624 43577 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 57694 43577 1431 291 0 49228 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 230776 KiB
Current children cumulated memory: 174308 KiB

[startup+51.1128 s]
/proc/loadavg: 4.15 4.15 4.16 5/243 831786
/proc/meminfo: memFree=127282804/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=321712 memory=226912 CPUtime=50.97 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 24504 0 0 0 5056 41 0 0 20 0 1 0 163014502 329433088 56728 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 80428 56728 1431 291 0 71962 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 321712 KiB
Current children cumulated memory: 226912 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/243 831797
/proc/meminfo: memFree=127182344/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=351640 memory=295604 CPUtime=102.02 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 31806 0 0 0 10146 56 0 0 20 0 1 0 163014502 360079360 73901 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 87910 73901 1431 291 0 79444 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 351640 KiB
Current children cumulated memory: 295604 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/243 831808
/proc/meminfo: memFree=127106132/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=484656 memory=325760 CPUtime=161.88 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 35047 0 0 0 16123 65 0 0 20 0 1 0 163014502 496287744 81440 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 121164 81440 1431 291 0 112698 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 484656 KiB
Current children cumulated memory: 325760 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/241 831818
/proc/meminfo: memFree=127039284/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=487572 memory=336100 CPUtime=221.71 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 36112 0 0 0 22092 79 0 0 20 0 1 0 163014502 499273728 84025 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 121893 84025 1431 291 0 113427 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 487572 KiB
Current children cumulated memory: 336100 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/241 831828
/proc/meminfo: memFree=126984876/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=488144 memory=342992 CPUtime=281.55 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 36327 0 0 0 28068 87 0 0 20 0 1 0 163014502 499859456 85748 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 122036 85748 1431 291 0 113570 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 488144 KiB
Current children cumulated memory: 342992 KiB

[startup+342.3 s]
/proc/loadavg: 4.52 4.22 4.18 5/241 831838
/proc/meminfo: memFree=126909808/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=489112 memory=369912 CPUtime=341.41 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 37431 0 0 0 34040 101 0 0 20 0 1 0 163014502 500850688 92478 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 122278 92478 1431 291 0 113812 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 489112 KiB
Current children cumulated memory: 369912 KiB

[startup+402.3 s]
/proc/loadavg: 4.57 4.31 4.21 5/241 831849
/proc/meminfo: memFree=126861148/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=490924 memory=381900 CPUtime=401.24 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 37947 0 0 0 40014 110 0 0 20 0 1 0 163014502 502706176 95475 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 122731 95475 1431 291 0 114265 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 490924 KiB
Current children cumulated memory: 381900 KiB

[startup+462.3 s]
/proc/loadavg: 4.25 4.27 4.20 5/243 831863
/proc/meminfo: memFree=126803380/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=494112 memory=411800 CPUtime=461.09 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 38785 0 0 0 45991 118 0 0 20 0 1 0 163014502 505970688 102950 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 123528 102950 1431 291 0 115062 0

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

Current children cumulated memory: 848092 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/244 833571
/proc/meminfo: memFree=127727068/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1161732 memory=848960 CPUtime=2914.45 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 81116 0 0 0 290902 543 0 0 20 0 1 0 163014502 1189613568 212240 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290433 212240 1431 291 0 281967 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 1161732 KiB
Current children cumulated memory: 848960 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.15 4.16 5/244 833628
/proc/meminfo: memFree=128044760/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1162296 memory=849560 CPUtime=2974.27 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 81587 0 0 0 296880 547 0 0 20 0 1 0 163014502 1190191104 212390 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290574 212390 1431 291 0 282108 0
Current children cumulated CPU time: 2974.27 s
Current children cumulated vsize: 1162296 KiB
Current children cumulated memory: 849560 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.14 5/244 833638
/proc/meminfo: memFree=127953064/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1163396 memory=850448 CPUtime=3034.1 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 82800 0 0 0 302856 554 0 0 20 0 1 0 163014502 1191317504 212612 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290849 212612 1431 291 0 282383 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 1163396 KiB
Current children cumulated memory: 850448 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.14 4.15 5/243 833649
/proc/meminfo: memFree=127882580/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1163396 memory=852312 CPUtime=3093.93 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 82935 0 0 0 308830 563 0 0 20 0 1 0 163014502 1191317504 213078 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290849 213078 1431 291 0 282383 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 1163396 KiB
Current children cumulated memory: 852312 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.14 5/243 833660
/proc/meminfo: memFree=127785164/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1163396 memory=852340 CPUtime=3153.76 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 83230 0 0 0 314809 567 0 0 20 0 1 0 163014502 1191317504 213085 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290849 213085 1431 291 0 282383 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1163396 KiB
Current children cumulated memory: 852340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/241 833670
/proc/meminfo: memFree=127771196/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1163692 memory=852556 CPUtime=3213.61 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 83580 0 0 0 320790 571 0 0 20 0 1 0 163014502 1191620608 213139 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 290923 213139 1431 291 0 282457 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 1163692 KiB
Current children cumulated memory: 852556 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 833680
/proc/meminfo: memFree=127749308/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1164836 memory=853756 CPUtime=3273.45 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 84170 0 0 0 326771 574 0 0 20 0 1 0 163014502 1192792064 213439 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 291209 213439 1431 291 0 282743 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 1164836 KiB
Current children cumulated memory: 853756 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.14 5/241 833690
/proc/meminfo: memFree=127644228/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1272992 memory=922304 CPUtime=3333.29 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 99631 0 0 0 332747 582 0 0 20 0 1 0 163014502 1303543808 230576 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 318248 230576 1431 291 0 309782 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 1272992 KiB
Current children cumulated memory: 922304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.14 5/241 833701
/proc/meminfo: memFree=127598988/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1272992 memory=922304 CPUtime=3393.15 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 99794 0 0 0 338729 586 0 0 20 0 1 0 163014502 1303543808 230576 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 318248 230576 1431 291 0 309782 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 1272992 KiB
Current children cumulated memory: 922304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/243 833715
/proc/meminfo: memFree=127544448/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1273248 memory=922304 CPUtime=3453 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 100134 0 0 0 344700 600 0 0 20 0 1 0 163014502 1303805952 230576 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 318312 230576 1431 291 0 309846 0
Current children cumulated CPU time: 3453 s
Current children cumulated vsize: 1273248 KiB
Current children cumulated memory: 922304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/243 833725
/proc/meminfo: memFree=127510156/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1274272 memory=923740 CPUtime=3512.86 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 101380 0 0 0 350675 611 0 0 20 0 1 0 163014502 1304854528 230935 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 318568 230935 1431 291 0 310102 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 1274272 KiB
Current children cumulated memory: 923740 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.14 4.14 5/243 833736
/proc/meminfo: memFree=127432928/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1274272 memory=923740 CPUtime=3572.71 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 101835 0 0 0 356647 624 0 0 20 0 1 0 163014502 1304854528 230935 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 318568 230935 1431 291 0 310102 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 1274272 KiB
Current children cumulated memory: 923740 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.13 4.13 4.13 5/243 833740
/proc/meminfo: memFree=127425080/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1279392 memory=930168 CPUtime=3600.03 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 103527 0 0 0 359376 627 0 0 20 0 1 0 163014502 1310097408 232542 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 319848 232542 1431 291 0 311382 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1279392 KiB
Current children cumulated memory: 930168 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.8 s, system=6.28152 s

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

[startup+3609.7 s]
/proc/loadavg: 4.13 4.13 4.13 5/243 833740
/proc/meminfo: memFree=127425080/131655788 swapFree=131071996/131071996
[pid=831777] ppid=831774 vsize=1279392 memory=930168 CPUtime=3600.03 cores=5,7
/proc/831777/stat : 831777 (pb-oll-rs) R 831774 831777 828344 0 -1 4194304 103527 0 0 0 359376 627 0 0 20 0 1 0 163014502 1310097408 232542 134679101440 4194304 5384005 140734205050112 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 17014784 140734205056023 140734205056100 140734205056100 140734205063115 0
/proc/831777/statm: 319848 232542 1431 291 0 311382 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1279392 KiB
Current children cumulated memory: 930168 KiB

Child status: 0

Real time (s): 3609.73
CPU time (s): 3600.08
CPU user time (s): 3593.8
CPU system time (s): 6.28152
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 1279392
Max. memory (cumulated for all children) (KiB): 930168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.8
system time used= 6.28152
maximum resident set size= 930168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103542
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= 194
involuntary context switches= 2294


# summary of solver processes directly reported to runsolver:
#   pid: 831777
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3593.8
#   total CPU system time (s): 6.28152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1865 second user time and 35.678 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-16 07:43:13
IDJOB=4435954
IDBENCH=148186
IDSOLVER=3067
FILE ID=nodeC008/4435954-1721108581
RUNJOBID= nodeC008-1721103905-828398
SLURM_JOB_ID= 7505622
Free space on /tmp= 723756 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
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-4435954-1721108581/watcher-4435954-1721108581 -o /tmp/evaluation-result-4435954-1721108581/solver-4435954-1721108581 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828398 --watchdog 3760  pb-oll-rs HOME/instance-4435954-1721108581.opb

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

MD5SUM BENCH= f414edaa70e04e6c4234549a55f077d1
RANDOM SEED=1945800667

nodeC008.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		: 3656.720
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.91
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		: 3523.672
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.484
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.91
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.443
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		: 3503.890
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.91
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		: 3491.962
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.372
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.91
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.255
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:        127568548 kB
MemAvailable:   127748344 kB
Buffers:          411580 kB
Cached:           611980 kB
SwapCached:            0 kB
Active:           645116 kB
Inactive:        2918432 kB
Active(anon):       1492 kB
Inactive(anon):  2575872 kB
Active(file):     643624 kB
Inactive(file):   342560 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              6676 kB
Writeback:             0 kB
AnonPages:       2538420 kB
Mapped:           107992 kB
Shmem:             37704 kB
KReclaimable:      67288 kB
Slab:             160824 kB
SReclaimable:      67288 kB
SUnreclaim:        93536 kB
KernelStack:        3900 kB
PageTables:        14976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3009928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51968 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1337344 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:      170824 kB
DirectMap2M:    19656704 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC008 at 2024-07-16 08:43:23