0.08/0.13 c #vars 37264 #constraints 9317 0.250027 1
0.08/0.13 c intsize: 5
0.29/0.37 c 9317 constraints
0.29/0.37 c Finish cloning data from SAT to LS
0.29/0.37 c restart_num_ls -100000 0
50.25/50.45 c Use LS-small
50.25/50.45 c restart_num_ls 0 923
50.25/50.45 c LS 90 23
174.99/175.57 c Use LS-small
174.99/175.57 c restart_num_ls 923 2777
174.99/175.57 c LS 80 72
190.25/190.88 c Use LS-small
190.25/190.88 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: 63708 MiB (61713 MiB free)
memory of node 1: 64465 MiB (55906 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545916-1753263961/watcher-4545916-1753263961 -o /tmp/evaluation-result-4545916-1753263961/solver-4545916-1753263961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545916-1753263961.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=157523, runsolver pid=157520
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 157524
/proc/meminfo: memFree=120411092/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=125032 memory=54304 CPUtime=0.08 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 8012 0 0 0 7 1 0 0 20 0 1 0 242074777 128032768 13576 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 31258 13576 2240 595 0 15925 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 125032 KiB
Current children cumulated memory: 54304 KiB
[startup+0.205547 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 157524
/proc/meminfo: memFree=120403028/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=137028 memory=62316 CPUtime=0.19 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 10234 0 0 0 17 2 0 0 20 0 1 0 242074777 140316672 15579 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 34257 15579 2368 595 0 18924 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 137028 KiB
Current children cumulated memory: 62316 KiB
[startup+0.305507 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 157524
/proc/meminfo: memFree=120375244/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=158488 memory=86660 CPUtime=0.29 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 16719 0 0 0 25 4 0 0 20 0 1 0 242074777 162291712 21665 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 39622 21665 2464 595 0 24289 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 158488 KiB
Current children cumulated memory: 86660 KiB
[startup+0.700138 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 157524
/proc/meminfo: memFree=120359116/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=174420 memory=100868 CPUtime=0.68 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 20252 0 0 0 61 7 0 0 20 0 1 0 242074777 178606080 25217 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 43605 25217 2496 595 0 28272 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174420 KiB
Current children cumulated memory: 100868 KiB
[startup+1.50014 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 157524
/proc/meminfo: memFree=120359116/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=174420 memory=100868 CPUtime=1.48 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 20252 0 0 0 127 21 0 0 20 0 1 0 242074777 178606080 25217 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 43605 25217 2496 595 0 28272 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 174420 KiB
Current children cumulated memory: 100868 KiB
[startup+3.10529 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 157524
/proc/meminfo: memFree=120354472/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=174420 memory=100868 CPUtime=3.08 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 20252 0 0 0 260 48 0 0 20 0 1 0 242074777 178606080 25217 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 43605 25217 2496 595 0 28272 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 174420 KiB
Current children cumulated memory: 100868 KiB
[startup+6.3001 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 157524
/proc/meminfo: memFree=120329168/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=174420 memory=100868 CPUtime=6.27 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 20252 0 0 0 539 88 0 0 20 0 1 0 242074777 178606080 25217 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 43605 25217 2496 595 0 28272 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 174420 KiB
Current children cumulated memory: 100868 KiB
[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 157524
/proc/meminfo: memFree=120327420/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=179732 memory=106372 CPUtime=12.66 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 21599 0 0 0 1133 133 0 0 20 0 1 0 242074777 184045568 26593 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 44933 26593 2528 595 0 29600 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 179732 KiB
Current children cumulated memory: 106372 KiB
[startup+25.5002 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 157524
/proc/meminfo: memFree=120330216/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=190568 memory=119216 CPUtime=25.42 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 24317 0 0 0 2409 133 0 0 20 0 1 0 242074777 195141632 29804 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 47642 29804 2528 595 0 32309 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 190568 KiB
Current children cumulated memory: 119216 KiB
[startup+51.1053 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 157524
/proc/meminfo: memFree=120273756/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=202384 memory=133048 CPUtime=50.95 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 27265 0 0 0 4947 148 0 0 20 0 1 0 242074777 207241216 33262 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 50596 33262 2528 595 0 35263 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 202384 KiB
Current children cumulated memory: 133048 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 157531
/proc/meminfo: memFree=120265588/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=219528 memory=149816 CPUtime=102.01 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 31456 0 0 0 9923 278 0 0 20 0 1 0 242074777 224796672 37454 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 54882 37454 2528 595 0 39549 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 219528 KiB
Current children cumulated memory: 149816 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 157533
/proc/meminfo: memFree=120240056/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236136 memory=165560 CPUtime=161.83 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35404 0 0 0 15900 283 0 0 20 0 1 0 242074777 241803264 41390 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59034 41390 2528 595 0 43701 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 236136 KiB
Current children cumulated memory: 165560 KiB
[startup+190.923 s]
# the end of solver process 157523 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=186.079 s, system=4.30782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+166.4 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 157533
/proc/meminfo: memFree=120241200/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236312 memory=165816 CPUtime=165.91 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35453 0 0 0 16306 285 0 0 20 0 1 0 242074777 241983488 41454 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59078 41454 2528 595 0 43745 0
Current children cumulated CPU time: 165.91 s
Current children cumulated vsize: 236312 KiB
Current children cumulated memory: 165816 KiB
[startup+179.2 s]
/proc/loadavg: 4.30 4.13 4.10 5/265 157533
/proc/meminfo: memFree=120240264/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236736 memory=166328 CPUtime=178.68 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35592 0 0 0 17513 355 0 0 20 0 1 0 242074777 242417664 41582 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59184 41582 2528 595 0 43851 0
Current children cumulated CPU time: 178.68 s
Current children cumulated vsize: 236736 KiB
Current children cumulated memory: 166328 KiB
[startup+185.6 s]
/proc/loadavg: 4.35 4.15 4.11 5/265 157535
/proc/meminfo: memFree=120267280/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236736 memory=166328 CPUtime=185.07 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35592 0 0 0 18091 416 0 0 20 0 1 0 242074777 242417664 41582 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59184 41582 2528 595 0 43851 0
Current children cumulated CPU time: 185.07 s
Current children cumulated vsize: 236736 KiB
Current children cumulated memory: 166328 KiB
[startup+188.8 s]
/proc/loadavg: 4.41 4.16 4.11 5/265 157535
/proc/meminfo: memFree=120267520/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236736 memory=166328 CPUtime=188.26 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35592 0 0 0 18399 427 0 0 20 0 1 0 242074777 242417664 41582 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59184 41582 2528 595 0 43851 0
Current children cumulated CPU time: 188.26 s
Current children cumulated vsize: 236736 KiB
Current children cumulated memory: 166328 KiB
[startup+189.6 s]
/proc/loadavg: 4.41 4.16 4.11 5/265 157535
/proc/meminfo: memFree=120267280/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=236736 memory=166328 CPUtime=189.06 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35592 0 0 0 18477 429 0 0 20 0 1 0 242074777 242417664 41582 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59184 41582 2528 595 0 43851 0
Current children cumulated CPU time: 189.06 s
Current children cumulated vsize: 236736 KiB
Current children cumulated memory: 166328 KiB
[startup+190.4 s]
/proc/loadavg: 4.41 4.16 4.11 6/265 157535
/proc/meminfo: memFree=120263184/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=237244 memory=166840 CPUtime=189.85 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35720 0 0 0 18556 429 0 0 20 0 1 0 242074777 242937856 41710 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59311 41710 2528 595 0 43978 0
Current children cumulated CPU time: 189.85 s
Current children cumulated vsize: 237244 KiB
Current children cumulated memory: 166840 KiB
[startup+190.8 s]
/proc/loadavg: 4.41 4.16 4.11 6/265 157535
/proc/meminfo: memFree=120263184/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=237916 memory=167480 CPUtime=190.25 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35887 0 0 0 18596 429 0 0 20 0 1 0 242074777 243625984 41870 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 59479 41870 2528 595 0 44146 0
Current children cumulated CPU time: 190.25 s
Current children cumulated vsize: 237916 KiB
Current children cumulated memory: 167480 KiB
[startup+190.9 s]
/proc/loadavg: 4.41 4.16 4.11 6/265 157535
/proc/meminfo: memFree=120263184/131250000 swapFree=33010672/33010684
[pid=157523] ppid=157520 vsize=200828 memory=141268 CPUtime=190.36 cores=0,2
/proc/157523/stat : 157523 (SynLSCD) R 157520 157523 156365 0 -1 4194304 35895 0 0 0 18606 430 0 0 20 0 1 0 242074777 205647872 35317 18446744073709551615 94312403922944 94312406357545 140729762047120 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94312406838520 94312406871552 94312429318144 140729762048387 140729762048522 140729762048522 140729762054126 0
/proc/157523/statm: 50207 35317 2624 595 0 34874 0
Current children cumulated CPU time: 190.36 s
Current children cumulated vsize: 200828 KiB
Current children cumulated memory: 141268 KiB
Child status: 20
Real time (s): 190.923
CPU time (s): 190.387
CPU user time (s): 186.079
CPU system time (s): 4.30782
CPU usage (%): 99.7195
Max. virtual memory (cumulated for all children) (KiB): 237916
Max. memory (cumulated for all children) (KiB): 167480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 186.079
system time used= 4.30782
maximum resident set size= 167864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35920
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= 443
# summary of solver processes directly reported to runsolver:
# pid: 157523
# total CPU time (s): 190.387
# total CPU user time (s): 186.079
# total CPU system time (s): 4.30782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.36351 second user time and 0.799535 second system time
The end
Begin job on nodeC026 at 2025-07-23 11:46:01
IDJOB=4545916
IDBENCH=165256
IDSOLVER=3421
FILE ID=nodeC026/4545916-1753263961
RUNJOBID= nodeC026-1753259701-156382
SLURM_JOB_ID= 9689181
Free space on /tmp= 433004 MiB
SOLVER NAME= SynLSCD 2025-07-23
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.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-4545916-1753263961/watcher-4545916-1753263961 -o /tmp/evaluation-result-4545916-1753263961/solver-4545916-1753263961 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1753259701-156382 --watchdog 3760 ./SynLSCD --pre-solve=1 --print-uniform=0 --verbosity=0 --print-sol HOME/instance-4545916-1753263961.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 220c3fd455f868773072e11b99a8330e
RANDOM SEED=748932326
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 : 3578.250
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.793
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 : 3599.757
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 : 3643.852
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.787
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.784
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 : 3604.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 : 3700.000
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: 120443532 kB
MemAvailable: 125437880 kB
Buffers: 2128 kB
Cached: 5618808 kB
SwapCached: 4 kB
Active: 5304676 kB
Inactive: 4476672 kB
Active(anon): 4181336 kB
Inactive(anon): 5344 kB
Active(file): 1123340 kB
Inactive(file): 4471328 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 4544 kB
Writeback: 0 kB
AnonPages: 4163408 kB
Mapped: 120892 kB
Shmem: 26268 kB
KReclaimable: 460480 kB
Slab: 564532 kB
SReclaimable: 460480 kB
SUnreclaim: 104052 kB
KernelStack: 4256 kB
PageTables: 11564 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5118520 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2471936 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= 433000 MiB
End job on nodeC026 at 2025-07-23 11:49:12