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 (62231 MiB free)
memory of node 1: 64465 MiB (62418 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518990-1751546588/watcher-4518990-1751546588 -o /tmp/evaluation-result-4518990-1751546588/solver-4518990-1751546588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751546586-77044 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518990-1751546588.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77166, runsolver pid=77163
[startup+0.100063 s]*
/proc/loadavg: 0.45 0.91 1.03 5/279 77170
/proc/meminfo: memFree=127636908/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=31268 memory=16368 CPUtime=0.08 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 4040 0 0 0 8 0 0 0 20 0 1 0 70335401 32018432 4092 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 7817 4092 768 2416 0 4919 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38252 KiB
Current children cumulated memory: 20592 KiB
[startup+0.205708 s]*
/proc/loadavg: 0.45 0.91 1.03 5/279 77170
/proc/meminfo: memFree=127636908/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=32284 memory=17008 CPUtime=0.18 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 4173 0 0 0 18 0 0 0 20 0 1 0 70335401 33058816 4252 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 8071 4252 800 2416 0 5173 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 21232 KiB
[startup+0.30517 s]*
/proc/loadavg: 0.45 0.91 1.03 5/279 77170
/proc/meminfo: memFree=127636404/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=32284 memory=17392 CPUtime=0.28 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 4250 0 0 0 28 0 0 0 20 0 1 0 70335401 33058816 4348 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 8071 4348 800 2416 0 5173 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 39268 KiB
Current children cumulated memory: 21616 KiB
[startup+0.700174 s]
/proc/loadavg: 0.45 0.91 1.03 5/279 77170
/proc/meminfo: memFree=127632876/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=34972 memory=19440 CPUtime=0.67 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 4778 0 0 0 67 0 0 0 20 0 1 0 70335401 35811328 4860 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 8743 4860 800 2416 0 5845 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 41956 KiB
Current children cumulated memory: 23664 KiB
[startup+1.50017 s]
/proc/loadavg: 0.45 0.91 1.03 5/279 77170
/proc/meminfo: memFree=127629516/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=35376 memory=20592 CPUtime=1.47 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 5069 0 0 0 147 0 0 0 20 0 1 0 70335401 36225024 5148 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 8844 5148 800 2416 0 5946 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42360 KiB
Current children cumulated memory: 24816 KiB
[startup+3.10542 s]
/proc/loadavg: 0.73 0.96 1.04 5/279 77170
/proc/meminfo: memFree=127609500/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=39728 memory=25244 CPUtime=3.07 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 5214 0 0 0 307 0 0 0 20 0 1 0 70335401 40681472 6311 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 9932 6311 800 2416 0 7034 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 46712 KiB
Current children cumulated memory: 29468 KiB
[startup+6.30017 s]
/proc/loadavg: 0.73 0.96 1.04 5/279 77220
/proc/meminfo: memFree=127624248/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=38868 memory=24332 CPUtime=6.25 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 6238 0 0 0 625 0 0 0 20 0 1 0 70335401 39800832 6083 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 9717 6083 800 2416 0 6819 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 45852 KiB
Current children cumulated memory: 28556 KiB
[startup+12.7002 s]
/proc/loadavg: 1.24 1.06 1.08 5/279 77220
/proc/meminfo: memFree=127608116/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=45940 memory=31452 CPUtime=12.63 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 6501 0 0 0 1263 0 0 0 20 0 1 0 70335401 47042560 7863 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 11485 7863 800 2416 0 8587 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 52924 KiB
Current children cumulated memory: 35676 KiB
[startup+25.5002 s]
/proc/loadavg: 1.74 1.17 1.11 5/278 77220
/proc/meminfo: memFree=127587668/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=45940 memory=31452 CPUtime=25.39 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 6502 0 0 0 2539 0 0 0 20 0 1 0 70335401 47042560 7863 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 11485 7863 800 2416 0 8587 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 52924 KiB
Current children cumulated memory: 35676 KiB
[startup+51.1056 s]
/proc/loadavg: 2.51 1.40 1.19 5/278 77221
/proc/meminfo: memFree=127581832/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77169] ppid=77166 vsize=2660 memory=1280 CPUtime=0 cores=0,2
/proc/77169/stat : 77169 (timeout) S 77166 77169 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70335400 2723840 320 18446744073709551615 94169494568960 94169494585473 140720452965136 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94169494600240 94169494602328 94169510010880 140720452966808 140720452966946 140720452966946 140720452972519 0
/proc/77169/statm: 665 320 320 5 0 90 0
[pid=77170] ppid=77169 vsize=46528 memory=32092 CPUtime=50.92 cores=0,2
/proc/77170/stat : 77170 (CASHWMaxSAT-Dis) R 77169 77169 77034 0 -1 4194304 6674 0 0 0 5092 0 0 0 20 0 1 0 70335401 47644672 8023 18446744073709551615 4198400 14093885 140728569725360 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 23797760 140728569731485 140728569731611 140728569731611 140728569737184 0
/proc/77170/statm: 11632 8023 800 2416 0 8734 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 53512 KiB
Current children cumulated memory: 36316 KiB
[startup+102.303 s]
/proc/loadavg: 3.45 1.86 1.36 5/279 77224
/proc/meminfo: memFree=127569576/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 247 105 0 0 0 0 0 0 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
################
# More data... #
################
/proc/77271/statm: 42881 35822 2048 2271 0 37519 0
Current children cumulated CPU time: 3393.1 s
Current children cumulated vsize: 178508 KiB
Current children cumulated memory: 147640 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/272 77407
/proc/meminfo: memFree=127095844/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=229916 memory=172660 CPUtime=2556.36 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29066 0 0 0 249777 5859 0 0 20 0 1 0 70425302 235433984 43165 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57479 43165 2048 2271 0 52117 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 236900 KiB
Current children cumulated memory: 177012 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.09 5/272 77409
/proc/meminfo: memFree=127095980/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2616.21 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 255747 5874 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3512.8 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/272 77411
/proc/meminfo: memFree=127087676/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2676.05 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 261719 5886 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3596.07 s]
# the end of solver process 77166 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3527.38 s, system=58.9941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.14 4.09 5/272 77411
/proc/meminfo: memFree=127079484/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2677.76 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 261889 5887 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.13 4.09 5/271 77411
/proc/meminfo: memFree=127079988/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2684.13 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 262525 5888 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3580.72 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.15 4.09 5/271 77411
/proc/meminfo: memFree=127079988/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2687.32 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 262843 5889 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3583.91 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.15 4.09 4/259 77449
/proc/meminfo: memFree=127355596/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2688.92 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 263000 5892 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3585.51 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3595.6 s]
/proc/loadavg: 4.14 4.15 4.09 4/259 77449
/proc/meminfo: memFree=127355596/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2689.32 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 263040 5892 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.15 4.09 5/271 77529
/proc/meminfo: memFree=127329824/131250000 swapFree=33010672/33010684
[pid=77166] ppid=77163 vsize=4324 memory=2944 CPUtime=896.59 cores=0,2
/proc/77166/stat : 77166 (Hybrid-CASHWMax) S 77163 77166 77034 0 -1 4194304 282 13198 0 0 0 0 89654 5 20 0 1 0 70335399 4427776 736 18446744073709551615 94619843465216 94619844359749 140735831141264 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94619844598800 94619844646544 94619877371904 140735831144789 140735831144944 140735831144944 140735831150546 0
/proc/77166/statm: 1081 736 672 219 0 143 0
[pid=77270] ppid=77166 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/77270/stat : 77270 (timeout) S 77166 77270 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 70425301 2723840 352 18446744073709551615 94046600310784 94046600327297 140734802484480 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94046600342064 94046600344152 94046610841600 140734802487685 140734802487842 140734802487842 140734802493415 0
/proc/77270/statm: 665 352 352 5 0 90 0
[pid=77271] ppid=77270 vsize=230292 memory=173172 CPUtime=2689.72 cores=0,2
/proc/77271/stat : 77271 (ExactPR-S9) R 77270 77270 77034 0 -1 4194304 29183 0 0 0 263080 5892 0 0 20 0 1 0 70425302 235819008 43293 18446744073709551615 94436711501824 94436720801925 140729370298432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94436722587968 94436722627048 94436753694720 140729370302876 140729370303014 140729370303014 140729370308587 0
/proc/77271/statm: 57573 43293 2048 2271 0 52211 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 237276 KiB
Current children cumulated memory: 177524 KiB
Child status: 0
Real time (s): 3596.07
CPU time (s): 3586.38
CPU user time (s): 3527.38
CPU system time (s): 58.9941
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 287724
Max. memory (cumulated for all children) (KiB): 177524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3527.38
system time used= 58.9941
maximum resident set size= 221516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44390
page faults= 1
swaps= 0
block input operations= 0
block output operations= 88
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1240
involuntary context switches= 4622
# summary of solver processes directly reported to runsolver:
# pid: 77166
# total CPU time (s): 3586.38
# total CPU user time (s): 3527.38
# total CPU system time (s): 58.9941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.16287 second user time and 16.3881 second system time
The end
Begin job on nodeC014 at 2025-07-03 14:43:08
IDJOB=4518990
IDBENCH=177142
IDSOLVER=3330
FILE ID=nodeC014/4518990-1751546588
RUNJOBID= nodeC014-1751546586-77044
SLURM_JOB_ID= 9598717
Free space on /tmp= 430372 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_26.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518990-1751546588/watcher-4518990-1751546588 -o /tmp/evaluation-result-4518990-1751546588/solver-4518990-1751546588 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751546586-77044 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4518990-1751546588.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eab24ff23fe5100b8f4d0b18077a7ab6
RANDOM SEED=1156900875
nodeC014 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 : 3600.591
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 : 7000.23
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.074
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 : 7000.23
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 : 3600.147
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 : 7000.23
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 : 3601.219
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 : 7000.23
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 : 3600.116
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 : 7000.23
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 : 3600.289
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 : 7000.23
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 : 3600.652
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 : 7000.23
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 : 3602.630
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127643208 kB
MemAvailable: 129664792 kB
Buffers: 2508 kB
Cached: 2816444 kB
SwapCached: 4 kB
Active: 713864 kB
Inactive: 2258076 kB
Active(anon): 167204 kB
Inactive(anon): 3852 kB
Active(file): 546660 kB
Inactive(file): 2254224 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 101680 kB
Writeback: 0 kB
AnonPages: 156088 kB
Mapped: 113924 kB
Shmem: 18064 kB
KReclaimable: 119876 kB
Slab: 210648 kB
SReclaimable: 119876 kB
SUnreclaim: 90772 kB
KernelStack: 4464 kB
PageTables: 3508 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 518116 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150680 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 28672 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430348 MiB
End job on nodeC014 at 2025-07-03 15:43:04