0.08/0.12 c #vars 33930 #constraints 6787 0.200029 1
0.08/0.12 c intsize: 5
0.30/0.31 c 6787 constraints
0.30/0.31 c Finish cloning data from SAT to LS
0.30/0.31 c restart_num_ls -100000 0
44.38/44.55 c Use LS-small
44.38/44.55 restart_num 0 385
44.38/44.55 c LS-restart 90 51
75.21/75.49 c Use LS-small
75.21/75.49 s UNSATISFIABLE
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: 63665 MiB (61340 MiB free)
memory of node 1: 64507 MiB (63284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545924-1753264030/watcher-4545924-1753264030 -o /tmp/evaluation-result-4545924-1753264030/solver-4545924-1753264030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545924-1753264030.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=173447, runsolver pid=173444
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.15 4.12 4.06 5/265 173448
/proc/meminfo: memFree=127583732/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=124348 memory=53692 CPUtime=0.08 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 7836 0 0 0 7 1 0 0 20 0 1 0 242081823 127332352 13423 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 31087 13423 2272 595 0 15754 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 124348 KiB
Current children cumulated memory: 53692 KiB
[startup+0.205696 s]*
/proc/loadavg: 4.15 4.12 4.06 5/265 173448
/proc/meminfo: memFree=127567856/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=142808 memory=72528 CPUtime=0.19 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 13610 0 0 0 17 2 0 0 20 0 1 0 242081823 146235392 18132 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 35702 18132 2432 595 0 20369 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 142808 KiB
Current children cumulated memory: 72528 KiB
[startup+0.305672 s]*
/proc/loadavg: 4.15 4.12 4.06 5/265 173448
/proc/meminfo: memFree=127551980/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=163980 memory=89680 CPUtime=0.3 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 17843 0 0 0 26 4 0 0 20 0 1 0 242081823 167915520 22420 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 40995 22420 2464 595 0 25662 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 163980 KiB
Current children cumulated memory: 89680 KiB
[startup+0.700168 s]
/proc/loadavg: 4.15 4.12 4.06 5/265 173448
/proc/meminfo: memFree=127543916/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=166468 memory=93904 CPUtime=0.68 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 18892 0 0 0 61 7 0 0 20 0 1 0 242081823 170463232 23476 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 41617 23476 2496 595 0 26284 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166468 KiB
Current children cumulated memory: 93904 KiB
[startup+1.50014 s]
/proc/loadavg: 4.14 4.12 4.06 5/265 173449
/proc/meminfo: memFree=127544112/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=166468 memory=93904 CPUtime=1.48 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 18892 0 0 0 127 21 0 0 20 0 1 0 242081823 170463232 23476 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 41617 23476 2496 595 0 26284 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 166468 KiB
Current children cumulated memory: 93904 KiB
[startup+3.10522 s]
/proc/loadavg: 4.14 4.12 4.06 5/265 173449
/proc/meminfo: memFree=127544352/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=166468 memory=93904 CPUtime=3.08 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 18892 0 0 0 266 42 0 0 20 0 1 0 242081823 170463232 23476 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 41617 23476 2496 595 0 26284 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 166468 KiB
Current children cumulated memory: 93904 KiB
[startup+6.30011 s]
/proc/loadavg: 4.13 4.11 4.06 5/265 173449
/proc/meminfo: memFree=127544536/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=166468 memory=93904 CPUtime=6.27 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 18892 0 0 0 557 70 0 0 20 0 1 0 242081823 170463232 23476 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 41617 23476 2496 595 0 26284 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 166468 KiB
Current children cumulated memory: 93904 KiB
[startup+12.7001 s]
/proc/loadavg: 4.12 4.11 4.06 5/265 173449
/proc/meminfo: memFree=127544040/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=166468 memory=93904 CPUtime=12.65 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 18892 0 0 0 1148 117 0 0 20 0 1 0 242081823 170463232 23476 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 41617 23476 2496 595 0 26284 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 166468 KiB
Current children cumulated memory: 93904 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.06 5/264 173449
/proc/meminfo: memFree=127500080/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=180272 memory=110108 CPUtime=25.42 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 22355 0 0 0 2408 134 0 0 20 0 1 0 242081823 184598528 27527 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 45068 27527 2528 595 0 29735 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 180272 KiB
Current children cumulated memory: 110108 KiB
[startup+51.1053 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 173449
/proc/meminfo: memFree=127486192/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=188196 memory=122716 CPUtime=50.97 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 24358 0 0 0 4889 208 0 0 20 0 1 0 242081823 192712704 30679 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47049 30679 2528 595 0 31716 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 188196 KiB
Current children cumulated memory: 122716 KiB
[startup+75.5144 s]
# the end of solver process 173447 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=72.5376 s, system=2.79877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.12 4.11 4.06 5/264 173449
/proc/meminfo: memFree=127486192/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=188196 memory=122716 CPUtime=51.06 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 24358 0 0 0 4898 208 0 0 20 0 1 0 242081823 192712704 30679 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47049 30679 2528 595 0 31716 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 188196 KiB
Current children cumulated memory: 122716 KiB
[startup+64.0002 s]*
/proc/loadavg: 4.10 4.11 4.06 5/265 173456
/proc/meminfo: memFree=127523092/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=188196 memory=122716 CPUtime=63.84 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 24359 0 0 0 6106 278 0 0 20 0 1 0 242081823 192712704 30679 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47049 30679 2528 595 0 31716 0
Current children cumulated CPU time: 63.84 s
Current children cumulated vsize: 188196 KiB
Current children cumulated memory: 122716 KiB
[startup+70.4001 s]
/proc/loadavg: 4.09 4.11 4.06 5/265 173456
/proc/meminfo: memFree=127514900/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=191984 memory=126172 CPUtime=70.22 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25245 0 0 0 6743 279 0 0 20 0 1 0 242081823 196591616 31543 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47996 31543 2528 595 0 32663 0
Current children cumulated CPU time: 70.22 s
Current children cumulated vsize: 191984 KiB
Current children cumulated memory: 126172 KiB
[startup+73.6001 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 173456
/proc/meminfo: memFree=127514900/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=191984 memory=126172 CPUtime=73.42 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25252 0 0 0 7063 279 0 0 20 0 1 0 242081823 196591616 31543 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47996 31543 2528 595 0 32663 0
Current children cumulated CPU time: 73.42 s
Current children cumulated vsize: 191984 KiB
Current children cumulated memory: 126172 KiB
[startup+74.4001 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 173456
/proc/meminfo: memFree=127514900/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=191984 memory=126172 CPUtime=74.22 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25256 0 0 0 7143 279 0 0 20 0 1 0 242081823 196591616 31543 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 47996 31543 2528 595 0 32663 0
Current children cumulated CPU time: 74.22 s
Current children cumulated vsize: 191984 KiB
Current children cumulated memory: 126172 KiB
[startup+75.2001 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 173456
/proc/meminfo: memFree=127510804/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=193684 memory=127964 CPUtime=75.01 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25710 0 0 0 7222 279 0 0 20 0 1 0 242081823 198332416 31991 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 48421 31991 2528 595 0 33088 0
Current children cumulated CPU time: 75.01 s
Current children cumulated vsize: 193684 KiB
Current children cumulated memory: 127964 KiB
[startup+75.4002 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 173456
/proc/meminfo: memFree=127510804/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=194440 memory=128604 CPUtime=75.21 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25876 0 0 0 7242 279 0 0 20 0 1 0 242081823 199106560 32151 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 48610 32151 2528 595 0 33277 0
Current children cumulated CPU time: 75.21 s
Current children cumulated vsize: 194440 KiB
Current children cumulated memory: 128604 KiB
[startup+75.5002 s]
/proc/loadavg: 4.09 4.10 4.06 5/265 173456
/proc/meminfo: memFree=127510804/131249988 swapFree=33010160/33010684
[pid=173447] ppid=173444 vsize=161200 memory=106188 CPUtime=75.31 cores=5,7
/proc/173447/stat : 173447 (SynLSCD) R 173444 173447 172165 0 -1 4194304 25882 0 0 0 7252 279 0 0 20 0 1 0 242081823 165068800 26547 18446744073709551615 94033105735680 94033108170281 140732568507776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94033108651256 94033108684288 94033125158912 140732568516995 140732568517130 140732568517130 140732568522734 0
/proc/173447/statm: 40300 26547 2624 595 0 24967 0
Current children cumulated CPU time: 75.31 s
Current children cumulated vsize: 161200 KiB
Current children cumulated memory: 106188 KiB
Child status: 20
Real time (s): 75.5144
CPU time (s): 75.3363
CPU user time (s): 72.5376
CPU system time (s): 2.79877
CPU usage (%): 99.7641
Max. virtual memory (cumulated for all children) (KiB): 194440
Max. memory (cumulated for all children) (KiB): 128604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.5376
system time used= 2.79877
maximum resident set size= 128988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25908
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= 141
involuntary context switches= 93
# summary of solver processes directly reported to runsolver:
# pid: 173447
# total CPU time (s): 75.3363
# total CPU user time (s): 72.5376
# total CPU system time (s): 2.79877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.158771 second user time and 0.304006 second system time
The end
Begin job on nodeC034 at 2025-07-23 11:47:10
IDJOB=4545924
IDBENCH=165333
IDSOLVER=3421
FILE ID=nodeC034/4545924-1753264030
RUNJOBID= nodeC034-1753259701-172185
SLURM_JOB_ID= 9689189
Free space on /tmp= 433028 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.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-4545924-1753264030/watcher-4545924-1753264030 -o /tmp/evaluation-result-4545924-1753264030/solver-4545924-1753264030 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753259701-172185 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545924-1753264030.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9fec036f9114dcaf12f5e6b379091e55
RANDOM SEED=300029447
nodeC034 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.760
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.53
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.743
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.53
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 : 3597.610
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.53
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 : 3598.999
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.53
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.759
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.53
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.764
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.53
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 : 3602.861
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.53
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 : 3599.107
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127616008 kB
MemAvailable: 129395332 kB
Buffers: 2128 kB
Cached: 2516320 kB
SwapCached: 32 kB
Active: 1418924 kB
Inactive: 1395680 kB
Active(anon): 320268 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 1393528 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4816 kB
Writeback: 0 kB
AnonPages: 299216 kB
Mapped: 120488 kB
Shmem: 26264 kB
KReclaimable: 252360 kB
Slab: 351568 kB
SReclaimable: 252360 kB
SUnreclaim: 99208 kB
KernelStack: 4352 kB
PageTables: 3728 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 680076 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC034 at 2025-07-23 11:48:25