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 (62628 MiB free)
memory of node 1: 64465 MiB (63746 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493218-1751140940/watcher-4493218-1751140940 -o /tmp/evaluation-result-4493218-1751140940/solver-4493218-1751140940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11754 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4493218-1751140940.opb 3600 HOME
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
Current StackSize limit: 8192 KiB
solver pid=14673, runsolver pid=14670
[startup+0.100061 s]*
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129392272/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=38336 memory=19840 CPUtime=0.08 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 4305 0 0 0 8 0 0 0 20 0 1 0 29768558 39256064 4960 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 9584 4960 736 2416 0 6686 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 45320 KiB
Current children cumulated memory: 24064 KiB
[startup+0.205783 s]*
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129377344/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=57680 memory=39168 CPUtime=0.18 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 9136 0 0 0 17 1 0 0 20 0 1 0 29768558 59064320 9792 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 14420 9792 736 2416 0 11522 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 64664 KiB
Current children cumulated memory: 43392 KiB
[startup+0.305689 s]*
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129370548/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=73952 memory=58232 CPUtime=0.29 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 13680 0 0 0 27 2 0 0 20 0 1 0 29768558 75726848 14558 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 18488 14558 768 2416 0 15590 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 80936 KiB
Current children cumulated memory: 62456 KiB
[startup+0.700199 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129361476/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=80728 memory=64384 CPUtime=0.67 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 15469 0 0 0 65 2 0 0 20 0 1 0 29768558 82665472 16096 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 20182 16096 768 2416 0 17284 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 87712 KiB
Current children cumulated memory: 68608 KiB
[startup+1.50018 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129357380/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=87908 memory=73160 CPUtime=1.47 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 16473 0 0 0 144 3 0 0 20 0 1 0 29768558 90017792 18290 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 21977 18290 800 2416 0 19079 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 94892 KiB
Current children cumulated memory: 77384 KiB
[startup+3.10555 s]
/proc/loadavg: 4.15 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129318732/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=118360 memory=82420 CPUtime=3.06 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 17539 0 0 0 303 3 0 0 20 0 1 0 29768558 121200640 20605 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 29590 20605 800 2416 0 26692 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 125344 KiB
Current children cumulated memory: 86644 KiB
[startup+6.30017 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129317256/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=118360 memory=104368 CPUtime=6.25 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 18033 0 0 0 620 5 0 0 20 0 1 0 29768558 121200640 26092 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 29590 26092 800 2416 0 26692 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 125344 KiB
Current children cumulated memory: 108592 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 14677
/proc/meminfo: memFree=129307200/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=167680 memory=141356 CPUtime=12.64 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 18439 0 0 0 1253 11 0 0 20 0 1 0 29768558 171704320 35339 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 41920 35339 800 2416 0 39022 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 174664 KiB
Current children cumulated memory: 145580 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.11 4.09 5/272 14678
/proc/meminfo: memFree=129334664/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=179604 memory=149184 CPUtime=25.41 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 19516 0 0 0 2520 21 0 0 20 0 1 0 29768558 183914496 37296 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 44901 37296 800 2416 0 42003 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 186588 KiB
Current children cumulated memory: 153408 KiB
[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/272 14787
/proc/meminfo: memFree=129304696/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14676/stat : 14676 (timeout) S 14673 14676 11736 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 29768558 2723840 352 18446744073709551615 94643802791936 94643802808449 140727866001920 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94643802823216 94643802825304 94643826810880 140727866005920 140727866006050 140727866006050 140727866011623 0
/proc/14676/statm: 665 352 352 5 0 90 0
[pid=14677] ppid=14676 vsize=130284 memory=116292 CPUtime=50.93 cores=5,7
/proc/14677/stat : 14677 (CASHWMaxSAT-Dis) R 14676 14676 11736 0 -1 4194304 20412 0 0 0 5059 34 0 0 20 0 1 0 29768558 133410816 29073 18446744073709551615 4198400 14093885 140721580812672 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 43462656 140721580820902 140721580821019 140721580821019 140721580826592 0
/proc/14677/statm: 32571 29073 800 2416 0 29673 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 137268 KiB
Current children cumulated memory: 120516 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/272 14788
/proc/meminfo: memFree=129205556/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=0 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14676] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/14902/statm: 155857 140064 2528 595 0 140524 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 630412 KiB
Current children cumulated memory: 564480 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.32 3.71 4/264 15208
/proc/meminfo: memFree=128648644/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=623748 memory=560256 CPUtime=2257.64 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96259 0 0 0 225440 324 0 0 20 0 1 0 29888359 638717952 140064 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 155937 140064 2528 595 0 140604 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 630732 KiB
Current children cumulated memory: 564480 KiB
[startup+3522.3 s]
/proc/loadavg: 3.14 3.29 3.67 4/264 15221
/proc/meminfo: memFree=128637068/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560384 CPUtime=2317.47 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96314 0 0 0 231422 325 0 0 20 0 1 0 29888359 639569920 140096 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140096 2528 595 0 140812 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564608 KiB
[startup+3582.3 s]
/proc/loadavg: 3.11 3.25 3.63 4/265 15224
/proc/meminfo: memFree=128623020/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2377.31 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 237403 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3596.08 s]
# the end of solver process 14673 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.19 s, system=9.48183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.11 3.25 3.63 4/265 15224
/proc/meminfo: memFree=128623020/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2379.01 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 237573 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3573.63 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3590.4 s]
/proc/loadavg: 3.10 3.24 3.63 4/265 15224
/proc/meminfo: memFree=128623020/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2385.39 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 238211 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3580.01 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3593.6 s]
/proc/loadavg: 3.10 3.24 3.63 4/265 15224
/proc/meminfo: memFree=128623036/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2388.58 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 238530 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3583.2 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3595.2 s]
/proc/loadavg: 3.09 3.24 3.62 4/265 15224
/proc/meminfo: memFree=128623036/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2390.17 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 238689 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3595.6 s]
/proc/loadavg: 3.09 3.24 3.62 4/265 15224
/proc/meminfo: memFree=128623036/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2390.57 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 238729 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
[startup+3596 s]*
/proc/loadavg: 3.09 3.24 3.62 5/266 15225
/proc/meminfo: memFree=128622040/131249992 swapFree=33010684/33010684
[pid=14673] ppid=14670 vsize=4324 memory=2816 CPUtime=1194.62 cores=5,7
/proc/14673/stat : 14673 (Hybrid-CASHWMax) S 14670 14673 11736 0 -1 4194304 283 65825 0 0 0 0 118845 617 20 0 1 0 29768557 4427776 704 18446744073709551615 94006041550848 94006042445381 140725787399328 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94006042684432 94006042732176 94006047711232 140725787404631 140725787404785 140725787404785 140725787410387 0
/proc/14673/statm: 1081 704 640 219 0 143 0
[pid=14901] ppid=14673 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/14901/stat : 14901 (timeout) S 14673 14901 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29888359 2723840 352 18446744073709551615 94147752140800 94147752157313 140735815024000 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94147752172080 94147752174168 94147781894144 140735815031176 140735815031330 140735815031330 140735815036903 0
/proc/14901/statm: 665 352 352 5 0 90 0
[pid=14902] ppid=14901 vsize=624580 memory=560512 CPUtime=2390.97 cores=5,7
/proc/14902/stat : 14902 (SynLSCD) R 14901 14901 11736 0 -1 4194304 96345 0 0 0 238769 328 0 0 20 0 1 0 29888359 639569920 140128 18446744073709551615 94563671326720 94563673760873 140727131362240 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94563674242296 94563674275328 94563707543552 140727131363746 140727131363881 140727131363881 140727131369454 0
/proc/14902/statm: 156145 140128 2528 595 0 140812 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 631564 KiB
Current children cumulated memory: 564736 KiB
Child status: 0
Real time (s): 3596.08
CPU time (s): 3585.67
CPU user time (s): 3576.19
CPU system time (s): 9.48183
CPU usage (%): 99.7105
Max. virtual memory (cumulated for all children) (KiB): 631564
Max. memory (cumulated for all children) (KiB): 564736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.19
system time used= 9.48183
maximum resident set size= 560768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164208
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= 1330
involuntary context switches= 20231
# summary of solver processes directly reported to runsolver:
# pid: 14673
# total CPU time (s): 3585.67
# total CPU user time (s): 3576.19
# total CPU system time (s): 9.48183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50737 second user time and 16.9382 second system time
The end
Begin job on nodeC035 at 2025-06-28 22:02:20
IDJOB=4493218
IDBENCH=147856
IDSOLVER=3331
FILE ID=nodeC035/4493218-1751140940
RUNJOBID= nodeC035-1751133631-11754
SLURM_JOB_ID= 9587435
Free space on /tmp= 433004 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4493218-1751140940/watcher-4493218-1751140940 -o /tmp/evaluation-result-4493218-1751140940/solver-4493218-1751140940 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11754 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4493218-1751140940.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=2031552160
nodeC035 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.654
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.51
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 : 3600.075
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.51
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.701
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.51
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 : 3626.489
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.51
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.732
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.51
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.335
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.51
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 : 3559.921
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.51
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.801
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129407924 kB
MemAvailable: 129027812 kB
Buffers: 3280 kB
Cached: 423744 kB
SwapCached: 0 kB
Active: 1039948 kB
Inactive: 202008 kB
Active(anon): 832996 kB
Inactive(anon): 0 kB
Active(file): 206952 kB
Inactive(file): 202008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18376 kB
Writeback: 28 kB
AnonPages: 818012 kB
Mapped: 115316 kB
Shmem: 18064 kB
KReclaimable: 66172 kB
Slab: 148444 kB
SReclaimable: 66172 kB
SUnreclaim: 82272 kB
KernelStack: 4352 kB
PageTables: 4832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1253324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 561152 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC035 at 2025-06-28 23:02:16