Trace number 4511783

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SynLSCD-PS 2025-06-01? (MO) 105.006 105.316

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
MD5SUMeb6e6db1d5217c0fcba95884ddbb513a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2.31338
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables542720
Total number of constraints4752
Number of constraints which are clauses2119
Number of constraints which are cardinality constraints (but not clauses)2119
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 758276
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 1973311
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.68/1.78	c #vars 542720 #constraints 4752 0.0087559 1

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: 63708 MiB (44390 MiB free)
  memory of node 1: 64465 MiB (62704 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4511783-1751202215/watcher-4511783-1751202215 -o /tmp/evaluation-result-4511783-1751202215/solver-4511783-1751202215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24988 --watchdog 3760 SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4511783-1751202215.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27457, runsolver pid=27454
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 27458
/proc/meminfo: memFree=109633364/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=296692 memory=222728 CPUtime=0.08 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 10887 0 0 0 4 4 0 0 20 0 1 0 35900165 303812608 55682 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 74173 55682 2144 595 0 58840 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 296692 KiB
Current children cumulated memory: 222728 KiB

[startup+0.205848 s]*
/proc/loadavg: 4.12 4.12 4.09 5/263 27458
/proc/meminfo: memFree=109605360/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=526260 memory=452168 CPUtime=0.19 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 12037 0 0 0 10 9 0 0 20 0 1 0 35900165 538890240 113042 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 131565 113042 2144 595 0 116232 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 526260 KiB
Current children cumulated memory: 452168 KiB

[startup+0.305678 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 27458
/proc/meminfo: memFree=109569260/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=582748 memory=509532 CPUtime=0.29 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 19206 0 0 0 19 10 0 0 20 0 1 0 35900165 596733952 127383 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 145687 127383 2240 595 0 130354 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 582748 KiB
Current children cumulated memory: 509532 KiB

[startup+0.700158 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 27458
/proc/meminfo: memFree=109500652/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=671784 memory=602992 CPUtime=0.68 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 41542 0 0 0 54 14 0 0 20 0 1 0 35900165 687906816 150748 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 167946 150748 2240 595 0 152613 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 671784 KiB
Current children cumulated memory: 602992 KiB

[startup+1.50017 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 27458
/proc/meminfo: memFree=109399660/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=748312 memory=685780 CPUtime=1.47 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 61885 0 0 0 130 17 0 0 20 0 1 0 35900165 766271488 171413 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 187078 171445 2240 595 0 171745 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 748312 KiB
Current children cumulated memory: 685780 KiB

[startup+3.10528 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 27459
/proc/meminfo: memFree=108949248/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=1066608 memory=978840 CPUtime=3.08 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 110681 0 0 0 278 30 0 0 20 0 1 0 35900165 1092206592 244710 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 266652 244710 2272 595 0 251319 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1066608 KiB
Current children cumulated memory: 978840 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 27459
/proc/meminfo: memFree=108308904/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=1691972 memory=1538000 CPUtime=6.27 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 194993 0 0 0 574 53 0 0 20 0 1 0 35900165 1732579328 384500 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 422993 384500 2272 595 0 407660 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1691972 KiB
Current children cumulated memory: 1538000 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 27459
/proc/meminfo: memFree=104484748/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=2819764 memory=2668348 CPUtime=12.65 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 385556 0 0 0 1168 97 0 0 20 0 1 0 35900165 2887438336 667087 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 704941 667087 2272 595 0 689608 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2819764 KiB
Current children cumulated memory: 2668348 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.10 5/263 27504
/proc/meminfo: memFree=121635452/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=5606772 memory=4893260 CPUtime=25.42 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 763779 0 0 0 2341 201 0 0 20 0 1 0 35900165 5741334528 1223315 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 1401693 1223315 2272 595 0 1386360 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5606772 KiB
Current children cumulated memory: 4893260 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 27505
/proc/meminfo: memFree=112812140/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=10182512 memory=9229504 CPUtime=50.94 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 1493082 0 0 0 4705 389 0 0 20 0 1 0 35900165 10426892288 2307376 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 2545628 2307376 2272 595 0 2530295 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 10182512 KiB
Current children cumulated memory: 9229504 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=96271784/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=31657860 memory=18128180 CPUtime=101.99 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2786124 0 0 0 9449 750 0 0 20 0 1 0 35900165 32417648640 4532045 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 7914465 4532045 2464 595 0 7899132 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 31657860 KiB
Current children cumulated memory: 18128180 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+102.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=96271784/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=31753760 memory=18959120 CPUtime=102.58 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2812982 0 0 0 9490 768 0 0 20 0 1 0 35900165 32515850240 4739780 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 7938440 4739780 2464 595 0 7923107 0
Current children cumulated CPU time: 102.58 s
Current children cumulated vsize: 31753760 KiB
Current children cumulated memory: 18959120 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+105.316 s]
# the end of solver process 27457 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=96.5821 s, system=8.42381 s

Solver just ended.
Dumping a history of the last processes samples

[startup+104 s]*
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=93828772/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=32119928 memory=19398928 CPUtime=103.69 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2904545 0 0 0 9582 787 0 0 20 0 1 0 35900165 32890806272 4849732 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 8029982 4849732 2464 595 0 8014649 0
Current children cumulated CPU time: 103.69 s
Current children cumulated vsize: 32119928 KiB
Current children cumulated memory: 19398928 KiB

[startup+104.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=93828772/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=32251532 memory=19559184 CPUtime=104.09 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2937467 0 0 0 9616 793 0 0 20 0 1 0 35900165 33025568768 4889796 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 8062883 4889796 2464 595 0 8047550 0
Current children cumulated CPU time: 104.09 s
Current children cumulated vsize: 32251532 KiB
Current children cumulated memory: 19559184 KiB

[startup+104.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=93828772/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=32385644 memory=19717904 CPUtime=104.48 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2971012 0 0 0 9649 799 0 0 20 0 1 0 35900165 33162899456 4929476 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 8096411 4929476 2464 595 0 8081078 0
Current children cumulated CPU time: 104.48 s
Current children cumulated vsize: 32385644 KiB
Current children cumulated memory: 19717904 KiB

[startup+104.9 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 27507
/proc/meminfo: memFree=93828772/131250000 swapFree=33010684/33010684
[pid=27457] ppid=27454 vsize=32418776 memory=19759248 CPUtime=104.58 cores=5,7
/proc/27457/stat : 27457 (SynLSCD-PS) R 27454 27457 24975 0 -1 4194304 2979291 0 0 0 9658 800 0 0 20 0 1 0 35900165 33196826624 4939812 18446744073709551615 94892172156928 94892174591929 140733693377328 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94892175072504 94892175105536 94892195536896 140733693380960 140733693381096 140733693381096 140733693386698 0
/proc/27457/statm: 8104694 4939812 2464 595 0 8089361 0
Current children cumulated CPU time: 104.58 s
Current children cumulated vsize: 32418776 KiB
Current children cumulated memory: 19759248 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 105.316
CPU time (s): 105.006
CPU user time (s): 96.5821
CPU system time (s): 8.42381
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 32418776
Max. memory (cumulated for all children) (KiB): 19759248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.5821
system time used= 8.42381
maximum resident set size= 19759248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2979298
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= 178
involuntary context switches= 172


# summary of solver processes directly reported to runsolver:
#   pid: 27457
#   total CPU time (s): 105.006
#   total CPU user time (s): 96.5821
#   total CPU system time (s): 8.42381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.202525 second user time and 0.464 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 15:03:35
IDJOB=4511783
IDBENCH=160483
IDSOLVER=3370
FILE ID=nodeC026/4511783-1751202215
RUNJOBID= nodeC026-1751194487-24988
SLURM_JOB_ID= 9587598
Free space on /tmp= 432992 MiB

SOLVER NAME= SynLSCD-PS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
COMMAND LINE= SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4511783-1751202215/watcher-4511783-1751202215 -o /tmp/evaluation-result-4511783-1751202215/solver-4511783-1751202215 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751194487-24988 --watchdog 3760  SynLSCD-PS --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4511783-1751202215.opb

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

MD5SUM BENCH= eb6e6db1d5217c0fcba95884ddbb513a
RANDOM SEED=921289467

nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.775
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.806
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3684.196
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.082
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.791
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.820
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3741.321
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.317
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        109669448 kB
MemAvailable:   109487600 kB
Buffers:            3280 kB
Cached:           627676 kB
SwapCached:            0 kB
Active:         19439816 kB
Inactive:         405080 kB
Active(anon):   19232020 kB
Inactive(anon):        0 kB
Active(file):     207796 kB
Inactive(file):   405080 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             28384 kB
Writeback:           244 kB
AnonPages:      19217332 kB
Mapped:           113672 kB
Shmem:             18080 kB
KReclaimable:      89028 kB
Slab:             174724 kB
SReclaimable:      89028 kB
SUnreclaim:        85696 kB
KernelStack:        4256 kB
PageTables:        40628 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   20603964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6557696 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432988 MiB
End job on nodeC026 at 2025-06-29 15:05:21