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 (59363 MiB free)
memory of node 1: 64465 MiB (60183 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494190-1751156291/watcher-4494190-1751156291 -o /tmp/evaluation-result-4494190-1751156291/solver-4494190-1751156291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22068 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4494190-1751156291.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=22992, runsolver pid=22989
[startup+0.100064 s]*
/proc/loadavg: 4.07 2.89 2.54 5/276 22996
/proc/meminfo: memFree=122400448/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=37048 memory=18432 CPUtime=0.07 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 3960 0 0 0 7 0 0 0 20 0 1 0 31306670 37937152 4608 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 9262 4608 736 2416 0 6364 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 44032 KiB
Current children cumulated memory: 22912 KiB
[startup+0.20604 s]*
/proc/loadavg: 4.07 2.89 2.54 5/276 22996
/proc/meminfo: memFree=122384316/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=54924 memory=36352 CPUtime=0.18 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 8438 0 0 0 17 1 0 0 20 0 1 0 31306670 56242176 9088 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 13731 9088 736 2416 0 10833 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 61908 KiB
Current children cumulated memory: 40832 KiB
[startup+0.305894 s]*
/proc/loadavg: 4.07 2.89 2.54 5/276 22996
/proc/meminfo: memFree=122368188/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=71984 memory=53376 CPUtime=0.28 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 12676 0 0 0 27 1 0 0 20 0 1 0 31306670 73711616 13344 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 17996 13344 736 2416 0 15098 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 78968 KiB
Current children cumulated memory: 57856 KiB
[startup+0.700243 s]
/proc/loadavg: 4.07 2.89 2.54 5/276 22996
/proc/meminfo: memFree=122328108/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=138180 memory=119168 CPUtime=0.67 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 29143 0 0 0 63 4 0 0 20 0 1 0 31306670 141496320 29792 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 34545 29792 736 2416 0 31647 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 145164 KiB
Current children cumulated memory: 123648 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 2.89 2.54 5/276 22996
/proc/meminfo: memFree=122071340/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=274272 memory=254720 CPUtime=1.47 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 63017 0 0 0 137 10 0 0 20 0 1 0 31306670 280854528 63680 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 68568 63680 736 2416 0 65670 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 281256 KiB
Current children cumulated memory: 259200 KiB
[startup+3.10573 s]
/proc/loadavg: 4.06 2.91 2.55 5/273 23012
/proc/meminfo: memFree=125480012/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=546832 memory=528000 CPUtime=3.06 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 131348 0 0 0 287 19 0 0 20 0 1 0 31306670 559955968 132000 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 136708 132000 736 2416 0 133810 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 553816 KiB
Current children cumulated memory: 532480 KiB
[startup+6.30022 s]
/proc/loadavg: 4.06 2.91 2.55 5/272 23012
/proc/meminfo: memFree=124971052/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=1091700 memory=1072328 CPUtime=6.25 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 266933 0 0 0 585 40 0 0 20 0 1 0 31306670 1117900800 268082 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 272925 268082 736 2416 0 270027 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1098684 KiB
Current children cumulated memory: 1076808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 2.95 2.57 5/273 23013
/proc/meminfo: memFree=123975228/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=2146600 memory=2109536 CPUtime=12.64 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 524690 0 0 0 1183 81 0 0 20 0 1 0 31306670 2198118400 527384 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 536650 527384 736 2416 0 533752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2153584 KiB
Current children cumulated memory: 2114016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 3.00 2.59 4/270 23080
/proc/meminfo: memFree=123935724/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3674128 memory=3530556 CPUtime=25.41 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 664569 0 0 0 2404 137 0 0 20 0 1 0 31306670 3762307072 882639 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 918532 882639 1024 2416 0 915634 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 3681112 KiB
Current children cumulated memory: 3535036 KiB
[startup+51.1058 s]
/proc/loadavg: 4.16 3.10 2.63 5/274 23148
/proc/meminfo: memFree=122116184/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3814592 memory=3593640 CPUtime=50.94 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 665754 0 0 0 4956 138 0 0 20 0 1 0 31306670 3906142208 898410 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 953648 898410 1024 2416 0 950750 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3821576 KiB
Current children cumulated memory: 3598120 KiB
[startup+102.3 s]
/proc/loadavg: 4.35 3.34 2.75 5/273 23199
/proc/meminfo: memFree=118624592/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3814592 memory=3602076 CPUtime=101.99 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 666337 0 0 0 10060 139 0 0 20 0 1 0 31306670 3906142208 900519 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 953648 900519 1024 2416 0 950750 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3821576 KiB
Current children cumulated memory: 3606556 KiB
[startup+108.989 s]
# the end of solver process 22992 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=107.094 s, system=1.56903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.35 3.34 2.75 5/273 23199
/proc/meminfo: memFree=118624592/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3814592 memory=3602076 CPUtime=102.09 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 666337 0 0 0 10070 139 0 0 20 0 1 0 31306670 3906142208 900519 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 953648 900519 1024 2416 0 950750 0
Current children cumulated CPU time: 102.09 s
Current children cumulated vsize: 3821576 KiB
Current children cumulated memory: 3606556 KiB
[startup+105.6 s]
/proc/loadavg: 4.35 3.34 2.75 5/273 23199
/proc/meminfo: memFree=118647444/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3814592 memory=3602076 CPUtime=105.28 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 666337 0 0 0 10389 139 0 0 20 0 1 0 31306670 3906142208 900519 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 953648 900519 1024 2416 0 950750 0
Current children cumulated CPU time: 105.28 s
Current children cumulated vsize: 3821576 KiB
Current children cumulated memory: 3606556 KiB
[startup+107.2 s]
/proc/loadavg: 4.32 3.35 2.75 5/273 23199
/proc/meminfo: memFree=118569916/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=4026208 memory=3786544 CPUtime=106.87 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 666464 0 0 0 10545 142 0 0 20 0 1 0 31306670 4122836992 946636 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 1006552 946636 1024 2416 0 1003654 0
Current children cumulated CPU time: 106.87 s
Current children cumulated vsize: 4033192 KiB
Current children cumulated memory: 3791024 KiB
[startup+108 s]*
/proc/loadavg: 4.32 3.35 2.75 5/273 23199
/proc/meminfo: memFree=118801756/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3635616 memory=3463544 CPUtime=107.67 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 667046 0 0 0 10621 146 0 0 20 0 1 0 31306670 3722870784 865886 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 908904 865886 1024 2416 0 906006 0
Current children cumulated CPU time: 107.67 s
Current children cumulated vsize: 3642600 KiB
Current children cumulated memory: 3468024 KiB
[startup+108.4 s]
/proc/loadavg: 4.32 3.35 2.75 5/273 23199
/proc/meminfo: memFree=118801756/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3635616 memory=3463672 CPUtime=108.06 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 667051 0 0 0 10660 146 0 0 20 0 1 0 31306670 3722870784 865918 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 908904 865918 1056 2416 0 906006 0
Current children cumulated CPU time: 108.06 s
Current children cumulated vsize: 3642600 KiB
Current children cumulated memory: 3468152 KiB
[startup+108.8 s]
/proc/loadavg: 4.32 3.35 2.75 5/273 23199
/proc/meminfo: memFree=118801756/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
[pid=22996] ppid=22995 vsize=3635616 memory=3465732 CPUtime=108.46 cores=1,3
/proc/22996/stat : 22996 (CASHWMaxSAT-Dis) R 22995 22995 22056 0 -1 4194304 667053 0 0 0 10700 146 0 0 20 0 1 0 31306670 3722870784 866433 18446744073709551615 4198400 14093885 140729440254112 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29044736 140729440262566 140729440262683 140729440262683 140729440268256 0
/proc/22996/statm: 908904 866433 1056 2416 0 906006 0
Current children cumulated CPU time: 108.46 s
Current children cumulated vsize: 3642600 KiB
Current children cumulated memory: 3470212 KiB
[startup+108.9 s]
/proc/loadavg: 4.32 3.35 2.75 5/273 23199
/proc/meminfo: memFree=118801756/131250000 swapFree=33010684/33010684
[pid=22992] ppid=22989 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/22992/stat : 22992 (Hybrid-CASHWMax) S 22989 22992 22056 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 31306668 4427776 768 18446744073709551615 94681819922432 94681820816965 140731276195472 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94681821056016 94681821103760 94681823461376 140731276200279 140731276200433 140731276200433 140731276206035 0
/proc/22992/statm: 1081 768 704 219 0 143 0
[pid=22995] ppid=22992 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/22995/stat : 22995 (timeout) S 22992 22995 22056 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 31306669 2723840 352 18446744073709551615 94611919134720 94611919151233 140722172100592 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94611919166000 94611919168088 94611949023232 140722172107168 140722172107298 140722172107298 140722172112871 0
/proc/22995/statm: 665 352 352 5 0 90 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 6984 KiB
Current children cumulated memory: 4480 KiB
Child status: 0
Real time (s): 108.989
CPU time (s): 108.663
CPU user time (s): 107.094
CPU system time (s): 1.56903
CPU usage (%): 99.7008
Max. virtual memory (cumulated for all children) (KiB): 4033192
Max. memory (cumulated for all children) (KiB): 3872488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.094
system time used= 1.56903
maximum resident set size= 3868008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667781
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 329
involuntary context switches= 685
# summary of solver processes directly reported to runsolver:
# pid: 22992
# total CPU time (s): 108.663
# total CPU user time (s): 107.094
# total CPU system time (s): 1.56903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.238274 second user time and 0.564428 second system time
The end
Begin job on nodeC016 at 2025-06-29 02:18:11
IDJOB=4494190
IDBENCH=147884
IDSOLVER=3331
FILE ID=nodeC016/4494190-1751156291
RUNJOBID= nodeC016-1751156026-22068
SLURM_JOB_ID= 9587475
Free space on /tmp= 432756 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494190-1751156291/watcher-4494190-1751156291 -o /tmp/evaluation-result-4494190-1751156291/solver-4494190-1751156291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751156026-22068 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4494190-1751156291.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=1040834007
nodeC016 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.733
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.48
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 : 3557.313
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.48
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 : 3598.471
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.48
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 : 3599.535
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.48
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.730
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.48
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.739
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.48
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 : 3589.536
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.48
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 : 3594.302
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 122415940 kB
MemAvailable: 122381616 kB
Buffers: 3280 kB
Cached: 776248 kB
SwapCached: 0 kB
Active: 7611744 kB
Inactive: 554696 kB
Active(anon): 7404984 kB
Inactive(anon): 0 kB
Active(file): 206760 kB
Inactive(file): 554696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 104740 kB
Writeback: 0 kB
AnonPages: 7388868 kB
Mapped: 114348 kB
Shmem: 18072 kB
KReclaimable: 86916 kB
Slab: 170072 kB
SReclaimable: 86916 kB
SUnreclaim: 83156 kB
KernelStack: 4464 kB
PageTables: 17868 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 8141412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1601536 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432740 MiB
End job on nodeC016 at 2025-06-29 02:20:00