Trace number 4545855

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 2025-07-23? (MO) 178.443 178.928

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
MD5SUMd2e7222ae223744ca0eedd4691347876
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 benchmark4.11184
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables733696
Total number of constraints3890
Number of constraints which are clauses1432
Number of constraints which are cardinality constraints (but not clauses)1432
Number of constraints which are nor clauses,nor cardinality constraints1026
Minimum length of a constraint512
Maximum length of a constraint1433
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 511855
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 2979275
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

2.58/2.62	c #vars 733696 #constraints 3890 0.00530192 1
2.58/2.62	c intsize: 22
175.71/176.20	c 3890 constraints
175.71/176.20	c Program interrupted by user.
175.71/176.20	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: 63837 MiB (26430 MiB free)
  memory of node 1: 64465 MiB (47952 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545855-1753261901/watcher-4545855-1753261901 -o /tmp/evaluation-result-4545855-1753261901/solver-4545855-1753261901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753259701-191198 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545855-1753261901.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=192266, runsolver pid=192263

[startup+0.100075 s]*
/proc/loadavg: 4.05 4.15 3.85 5/251 192267
/proc/meminfo: memFree=76119556/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=322780 memory=170032 CPUtime=0.09 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 10414 0 0 0 4 5 0 0 20 0 1 0 241869577 330526720 42508 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 80695 42508 2208 595 0 65362 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 322780 KiB
Current children cumulated memory: 170032 KiB

[startup+0.213281 s]*
/proc/loadavg: 4.05 4.15 3.85 5/251 192267
/proc/meminfo: memFree=76083204/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=437468 memory=363696 CPUtime=0.2 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 11333 0 0 0 11 9 0 0 20 0 1 0 241869577 447967232 90924 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 109367 90924 2208 595 0 94034 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 437468 KiB
Current children cumulated memory: 363696 KiB

[startup+0.313217 s]*
/proc/loadavg: 4.05 4.15 3.85 5/251 192267
/proc/meminfo: memFree=76062980/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=596844 memory=523148 CPUtime=0.31 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 14885 0 0 0 18 13 0 0 20 0 1 0 241869577 611168256 130787 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 149211 130787 2240 595 0 133878 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 596844 KiB
Current children cumulated memory: 523148 KiB

[startup+0.700316 s]
/proc/loadavg: 4.05 4.15 3.85 5/251 192267
/proc/meminfo: memFree=75998592/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=663376 memory=592460 CPUtime=0.68 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 31706 0 0 0 53 15 0 0 20 0 1 0 241869577 679297024 148115 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 165844 148115 2240 595 0 150511 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 663376 KiB
Current children cumulated memory: 592460 KiB

[startup+1.50031 s]
/proc/loadavg: 4.05 4.15 3.85 5/251 192267
/proc/meminfo: memFree=75832960/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=743668 memory=680852 CPUtime=1.47 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 58726 0 0 0 128 19 0 0 20 0 1 0 241869577 761516032 170213 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 185917 170213 2240 595 0 170584 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 743668 KiB
Current children cumulated memory: 680852 KiB

[startup+3.11274 s]
/proc/loadavg: 4.04 4.14 3.85 5/251 192267
/proc/meminfo: memFree=75356344/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=973124 memory=915892 CPUtime=3.08 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 110955 0 0 0 279 29 0 0 20 0 1 0 241869577 996478976 228973 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 243281 228973 2304 595 0 227948 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 973124 KiB
Current children cumulated memory: 915892 KiB

[startup+6.30031 s]
/proc/loadavg: 4.04 4.14 3.85 5/251 192267
/proc/meminfo: memFree=74420944/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=1595160 memory=1530636 CPUtime=6.26 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 187587 0 0 0 575 51 0 0 20 0 1 0 241869577 1633443840 382659 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 398790 382659 2304 595 0 383457 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1595160 KiB
Current children cumulated memory: 1530636 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.16 3.85 5/251 192312
/proc/meminfo: memFree=101642324/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=2730740 memory=2559908 CPUtime=12.64 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 369790 0 0 0 1163 101 0 0 20 0 1 0 241869577 2796277760 639977 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 682685 639977 2304 595 0 667352 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2730740 KiB
Current children cumulated memory: 2559908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.15 3.86 6/250 192312
/proc/meminfo: memFree=97223936/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=4855784 memory=4734040 CPUtime=25.41 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 737354 0 0 0 2351 190 0 0 20 0 1 0 241869577 4972322816 1183510 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 1213946 1183510 2304 595 0 1198613 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 4855784 KiB
Current children cumulated memory: 4734040 KiB

[startup+51.1129 s]
/proc/loadavg: 4.06 4.14 3.86 6/251 192314
/proc/meminfo: memFree=87761484/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=10049068 memory=9023308 CPUtime=50.96 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 1459171 0 0 0 4701 395 0 0 20 0 1 0 241869577 10290245632 2255827 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 2512267 2255827 2304 595 0 2496934 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 10049068 KiB
Current children cumulated memory: 9023308 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 3.88 6/252 192317
/proc/meminfo: memFree=70394916/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=18797968 memory=17550768 CPUtime=102.01 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 2884936 0 0 0 9440 761 0 0 20 0 1 0 241869577 19249119232 4387692 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 4699492 4387692 2304 595 0 4684159 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 18797968 KiB
Current children cumulated memory: 17550768 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 3.90 6/251 192319
/proc/meminfo: memFree=50228116/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=30598168 memory=27936972 CPUtime=161.85 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 4556396 0 0 0 14958 1227 0 0 20 0 1 0 241869577 31332524032 6984243 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 7649542 6984243 2304 595 0 7634209 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 30598168 KiB
Current children cumulated memory: 27936972 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+176.2 s]
/proc/loadavg: 4.09 4.13 3.90 6/251 192319
/proc/meminfo: memFree=51542588/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=31751392 memory=29609816 CPUtime=175.71 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 4937362 0 0 0 16262 1309 0 0 20 0 1 0 241869577 32513425408 7402454 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 7937848 7402454 2304 595 0 7922515 0
Current children cumulated CPU time: 175.71 s
Current children cumulated vsize: 31751392 KiB
Current children cumulated memory: 29609816 KiB

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

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

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

# cumulated CPU time of all completed processes:  user=164.57 s, system=13.8731 s

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

[startup+177.6 s]
/proc/loadavg: 4.09 4.13 3.90 6/251 192319
/proc/meminfo: memFree=57765324/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=23341340 memory=23265552 CPUtime=177.11 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 4940408 0 0 0 16397 1314 0 0 20 0 1 0 241869577 23901532160 5816388 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 5835335 5816388 2400 595 0 5820002 0
Current children cumulated CPU time: 177.11 s
Current children cumulated vsize: 23341340 KiB
Current children cumulated memory: 23265552 KiB

[startup+178 s]*
/proc/loadavg: 4.08 4.12 3.90 5/250 192319
/proc/meminfo: memFree=74231232/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=23341340 memory=23265552 CPUtime=177.52 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 4940408 0 0 0 16438 1314 0 0 20 0 1 0 241869577 23901532160 5816388 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 5835335 5816388 2400 595 0 5820002 0
Current children cumulated CPU time: 177.52 s
Current children cumulated vsize: 23341340 KiB
Current children cumulated memory: 23265552 KiB

[startup+178.2 s]
/proc/loadavg: 4.08 4.12 3.90 5/250 192319
/proc/meminfo: memFree=74231232/131382116 swapFree=33005528/33010684
[pid=192266] ppid=192263 vsize=23341340 memory=23265552 CPUtime=177.7 cores=0,2
/proc/192266/stat : 192266 (SynLSCD) R 192263 192266 191181 0 -1 4194304 4940408 0 0 0 16456 1314 0 0 20 0 1 0 241869577 23901532160 5816388 18446744073709551615 94639404740608 94639407175209 140733469493424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94639407656184 94639407689216 94639433232384 140733469501827 140733469501962 140733469501962 140733469507566 0
/proc/192266/statm: 5835335 5816388 2400 595 0 5820002 0
Current children cumulated CPU time: 177.7 s
Current children cumulated vsize: 23341340 KiB
Current children cumulated memory: 23265552 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 178.928
CPU time (s): 178.443
CPU user time (s): 164.57
CPU system time (s): 13.8731
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 31751528
Max. memory (cumulated for all children) (KiB): 29610200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.57
system time used= 13.8731
maximum resident set size= 29610200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4940408
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= 138
involuntary context switches= 419


# summary of solver processes directly reported to runsolver:
#   pid: 192266
#   total CPU time (s): 178.443
#   total CPU user time (s): 164.57
#   total CPU system time (s): 13.8731

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.91195 second user time and 1.56709 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-23 11:11:42
IDJOB=4545855
IDBENCH=160495
IDSOLVER=3421
FILE ID=nodeC010/4545855-1753261901
RUNJOBID= nodeC010-1753259701-191198
SLURM_JOB_ID= 9689165
Free space on /tmp= 432556 MiB

SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
COMMAND LINE= ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4545855-1753261901/watcher-4545855-1753261901 -o /tmp/evaluation-result-4545855-1753261901/solver-4545855-1753261901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1753259701-191198 --watchdog 3760  ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545855-1753261901.opb

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

MD5SUM BENCH= d2e7222ae223744ca0eedd4691347876
RANDOM SEED=654685998

nodeC010 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	: 0xb00001f
cpu MHz		: 1795.722
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 pti 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	: 6983.36
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		: 3662.455
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 pti 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	: 6983.36
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		: 1198.185
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 pti 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	: 6983.36
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.570
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 pti 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	: 6983.36
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		: 3491.681
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 pti 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	: 6983.36
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		: 3492.161
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 pti 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	: 6983.36
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.210
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 pti 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	: 6983.36
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.323
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 pti 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	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        76179696 kB
MemAvailable:   100415496 kB
Buffers:             228 kB
Cached:         24999084 kB
SwapCached:         4300 kB
Active:         29759636 kB
Inactive:       24162548 kB
Active(anon):   28896032 kB
Inactive(anon):    48676 kB
Active(file):     863604 kB
Inactive(file): 24113872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37224 kB
Writeback:             0 kB
AnonPages:      28921184 kB
Mapped:           115872 kB
Shmem:             21832 kB
KReclaimable:     195900 kB
Slab:             287700 kB
SReclaimable:     195900 kB
SUnreclaim:        91800 kB
KernelStack:        4064 kB
PageTables:        59588 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   32251228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  11737088 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432564 MiB
End job on nodeC010 at 2025-07-23 11:14:41