1.10/1.15 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.10/1.15 c Do: 140721892593832 140721892593840
2.09/2.19 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.09/2.19 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
2.68/2.79 c Starting SCIP solver (with time-limit = 1800s) ...
1796.94/1802.84 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.06/3611.01 s UNKNOWN
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: 63837 MiB (59339 MiB free)
memory of node 1: 64465 MiB (62310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507836-1751505298/watcher-4507836-1751505298 -o /tmp/evaluation-result-4507836-1751505298/solver-4507836-1751505298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751503441-68463 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4507836-1751505298.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68892, runsolver pid=68889
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 4.12 4.22 3.97 5/252 68893
/proc/meminfo: memFree=124558004/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=28096 memory=9472 CPUtime=0.1 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 1748 0 0 0 10 0 0 0 20 0 1 0 66208649 28770304 2368 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 7024 2368 736 2416 0 4126 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28096 KiB
Current children cumulated memory: 9472 KiB
[startup+0.213941 s]*
/proc/loadavg: 4.12 4.22 3.97 5/252 68893
/proc/meminfo: memFree=124540984/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=35928 memory=16896 CPUtime=0.21 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 3609 0 0 0 20 1 0 0 20 0 1 0 66208649 36790272 4224 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 8982 4224 736 2416 0 6084 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35928 KiB
Current children cumulated memory: 16896 KiB
[startup+0.313702 s]*
/proc/loadavg: 4.12 4.22 3.97 5/252 68893
/proc/meminfo: memFree=124532920/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=39632 memory=20608 CPUtime=0.32 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 4546 0 0 0 30 2 0 0 20 0 1 0 66208649 40583168 5152 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 9908 5152 736 2416 0 7010 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39632 KiB
Current children cumulated memory: 20608 KiB
[startup+0.700311 s]
/proc/loadavg: 4.12 4.22 3.97 5/252 68893
/proc/meminfo: memFree=124521144/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=86028 memory=69088 CPUtime=0.68 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 14640 0 0 0 64 4 0 0 20 0 1 0 66208649 88092672 17272 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 21507 17272 768 2416 0 18609 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 86028 KiB
Current children cumulated memory: 69088 KiB
[startup+1.50032 s]
/proc/loadavg: 4.11 4.21 3.97 5/252 68893
/proc/meminfo: memFree=124431676/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=155708 memory=130100 CPUtime=1.48 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 25379 0 0 0 141 7 0 0 20 0 1 0 66208649 159444992 32525 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 38927 32525 768 2416 0 36029 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155708 KiB
Current children cumulated memory: 130100 KiB
[startup+3.11346 s]
/proc/loadavg: 4.11 4.21 3.97 5/252 68893
/proc/meminfo: memFree=123997852/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=640176 memory=615364 CPUtime=3.09 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 140462 0 0 0 284 25 0 0 20 0 1 0 66208649 655540224 153841 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 160044 153841 2272 2416 0 157146 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 640176 KiB
Current children cumulated memory: 615364 KiB
[startup+6.30032 s]
/proc/loadavg: 4.10 4.21 3.97 5/252 68893
/proc/meminfo: memFree=123375900/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1198704 memory=1164760 CPUtime=6.27 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 261919 0 0 0 580 47 0 0 20 0 1 0 66208649 1227472896 291190 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 299676 291190 2336 2416 0 296778 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1198704 KiB
Current children cumulated memory: 1164760 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.22 3.98 5/252 68893
/proc/meminfo: memFree=123372992/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1198704 memory=1166168 CPUtime=12.66 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 262280 0 0 0 1218 48 0 0 20 0 1 0 66208649 1227472896 291542 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 299676 291542 2400 2416 0 296778 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1198704 KiB
Current children cumulated memory: 1166168 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.21 3.98 5/252 68894
/proc/meminfo: memFree=123365968/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1198704 memory=1166168 CPUtime=25.42 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 262293 0 0 0 2494 48 0 0 20 0 1 0 66208649 1227472896 291542 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 299676 291542 2400 2416 0 296778 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1198704 KiB
Current children cumulated memory: 1166168 KiB
[startup+51.1138 s]
/proc/loadavg: 4.14 4.21 3.99 5/252 68894
/proc/meminfo: memFree=122138260/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1712872 memory=1662564 CPUtime=50.95 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 343169 0 0 0 5028 67 0 0 20 0 1 0 66208649 1753980928 415577 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 428218 415609 2496 2416 0 425320 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1712872 KiB
Current children cumulated memory: 1662564 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.19 4.00 5/252 68897
/proc/meminfo: memFree=122094904/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1735204 memory=1687612 CPUtime=101.97 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 346992 0 0 0 10129 68 0 0 20 0 1 0 66208649 1776848896 421903 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 433801 421903 2496 2416 0 430903 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1735204 KiB
Current children cumulated memory: 1687612 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.01 5/252 68899
/proc/meminfo: memFree=121961308/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1735500 memory=1688124 CPUtime=161.77 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 347167 0 0 0 16108 69 0 0 20 0 1 0 66208649 1777152000 422031 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 433875 422031 2496 2416 0 430977 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1735500 KiB
Current children cumulated memory: 1688124 KiB
[startup+222.3 s]
/proc/loadavg: 4.74 4.35 4.08 5/252 68901
/proc/meminfo: memFree=121814180/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1748416 memory=1701080 CPUtime=221.57 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 348933 0 0 0 22088 69 0 0 20 0 1 0 66208649 1790377984 425270 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 437104 425270 2496 2416 0 434206 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 1748416 KiB
Current children cumulated memory: 1701080 KiB
[startup+282.3 s]
/proc/loadavg: 4.37 4.31 4.08 5/252 68903
/proc/meminfo: memFree=121777996/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1750168 memory=1703000 CPUtime=281.37 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 349421 0 0 0 28068 69 0 0 20 0 1 0 66208649 1792172032 425750 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 437542 425750 2496 2416 0 434644 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 1750168 KiB
Current children cumulated memory: 1703000 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.25 4.08 5/251 68905
/proc/meminfo: memFree=121768680/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1750168 memory=1703000 CPUtime=341.18 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 349471 0 0 0 34048 70 0 0 20 0 1 0 66208649 1792172032 425750 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 437542 425750 2496 2416 0 434644 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 1750168 KiB
Current children cumulated memory: 1703000 KiB
[startup+402.3 s]
/proc/loadavg: 4.19 4.25 4.09 5/250 68907
/proc/meminfo: memFree=121710296/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1750168 memory=1703000 CPUtime=400.98 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 349524 0 0 0 40028 70 0 0 20 0 1 0 66208649 1792172032 425750 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 437542 425750 2496 2416 0 434644 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 1750168 KiB
Current children cumulated memory: 1703000 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.22 4.09 5/250 68909
/proc/meminfo: memFree=121719428/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1750168 memory=1703000 CPUtime=460.78 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 349524 0 0 0 46008 70 0 0 20 0 1 0 66208649 1792172032 425750 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 437542 425750 2496 2416 0 434644 0
Current children cumulated CPU time: 460.78 s
################
# More data... #
################
Current children cumulated memory: 1639120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.19 4.15 5/250 69122
/proc/meminfo: memFree=122468144/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639120 CPUtime=2853.45 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 354829 0 0 0 285267 78 0 0 20 0 1 0 66208649 1717157888 409780 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409780 2496 2416 0 416330 0
Current children cumulated CPU time: 2853.45 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639120 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.17 4.14 5/250 69124
/proc/meminfo: memFree=122470288/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639120 CPUtime=2913.29 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 354852 0 0 0 291251 78 0 0 20 0 1 0 66208649 1717157888 409780 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409780 2496 2416 0 416330 0
Current children cumulated CPU time: 2913.29 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639120 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/250 69126
/proc/meminfo: memFree=122467048/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639632 CPUtime=2973.1 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 354872 0 0 0 297232 78 0 0 20 0 1 0 66208649 1717157888 409908 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409908 2496 2416 0 416330 0
Current children cumulated CPU time: 2973.1 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639632 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 69131
/proc/meminfo: memFree=122465992/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639632 CPUtime=3032.94 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 354910 0 0 0 303216 78 0 0 20 0 1 0 66208649 1717157888 409908 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409908 2496 2416 0 416330 0
Current children cumulated CPU time: 3032.94 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639632 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/251 69137
/proc/meminfo: memFree=122465620/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639632 CPUtime=3092.78 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 354910 0 0 0 309200 78 0 0 20 0 1 0 66208649 1717157888 409908 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409908 2496 2416 0 416330 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639632 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 69139
/proc/meminfo: memFree=122466204/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1639632 CPUtime=3152.62 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355019 0 0 0 315183 79 0 0 20 0 1 0 66208649 1717157888 409908 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 409908 2496 2416 0 416330 0
Current children cumulated CPU time: 3152.62 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1639632 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/250 69141
/proc/meminfo: memFree=122467896/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1640656 CPUtime=3212.45 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355030 0 0 0 321166 79 0 0 20 0 1 0 66208649 1717157888 410164 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410164 2496 2416 0 416330 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1640656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.22 4.14 4.12 5/250 69143
/proc/meminfo: memFree=122459156/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1640656 CPUtime=3272.28 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355138 0 0 0 327149 79 0 0 20 0 1 0 66208649 1717157888 410164 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410164 2496 2416 0 416330 0
Current children cumulated CPU time: 3272.28 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1640656 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/250 69145
/proc/meminfo: memFree=122458548/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1640656 CPUtime=3332.1 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355157 0 0 0 333131 79 0 0 20 0 1 0 66208649 1717157888 410164 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410164 2496 2416 0 416330 0
Current children cumulated CPU time: 3332.1 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1640656 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.10 4.11 5/250 69147
/proc/meminfo: memFree=122453952/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1643088 CPUtime=3391.92 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355229 0 0 0 339113 79 0 0 20 0 1 0 66208649 1717157888 410772 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410772 2496 2416 0 416330 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1643088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/250 69149
/proc/meminfo: memFree=122455236/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1643088 CPUtime=3451.74 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355342 0 0 0 345095 79 0 0 20 0 1 0 66208649 1717157888 410772 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410772 2496 2416 0 416330 0
Current children cumulated CPU time: 3451.74 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1643088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/250 69151
/proc/meminfo: memFree=122448108/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1643088 CPUtime=3511.58 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355400 0 0 0 351079 79 0 0 20 0 1 0 66208649 1717157888 410772 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410772 2496 2416 0 416330 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1643088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/251 69154
/proc/meminfo: memFree=122499968/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1643216 CPUtime=3571.43 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355520 0 0 0 357064 79 0 0 20 0 1 0 66208649 1717157888 410804 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410804 2496 2416 0 416330 0
Current children cumulated CPU time: 3571.43 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1643216 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.05 4.09 4.09 5/252 69203
/proc/meminfo: memFree=123168836/131382120 swapFree=33010416/33010684
[pid=68892] ppid=68889 vsize=1676912 memory=1643216 CPUtime=3600.06 cores=5,7
/proc/68892/stat : 68892 (CASHWMaxSAT-Dis) R 68889 68892 68445 0 -1 4194304 355521 0 0 0 359926 80 0 0 20 0 1 0 66208649 1717157888 410804 18446744073709551615 4198400 14093885 140721892596192 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 28868608 140721892600170 140721892600285 140721892600285 140721892605887 0
/proc/68892/statm: 419228 410804 2496 2416 0 416330 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1676912 KiB
Current children cumulated memory: 1643216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.03 s]
# the end of solver process 68892 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.27 s, system=0.821507 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.03
CPU time (s): 3600.09
CPU user time (s): 3599.27
CPU system time (s): 0.821507
CPU usage (%): 99.697
Max. virtual memory (cumulated for all children) (KiB): 1762276
Max. memory (cumulated for all children) (KiB): 1714648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.27
system time used= 0.821507
maximum resident set size= 1714648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 1311
# summary of solver processes directly reported to runsolver:
# pid: 68892
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.27
# total CPU system time (s): 0.821507
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.134 second user time and 35.9157 second system time
The end
Begin job on nodeC002 at 2025-07-03 03:14:58
IDJOB=4507836
IDBENCH=158386
IDSOLVER=3323
FILE ID=nodeC002/4507836-1751505298
RUNJOBID= nodeC002-1751503441-68463
SLURM_JOB_ID= 9598590
Free space on /tmp= 432624 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep5.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507836-1751505298/watcher-4507836-1751505298 -o /tmp/evaluation-result-4507836-1751505298/solver-4507836-1751505298 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751503441-68463 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4507836-1751505298.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 57020c0b0c1558ae6f18629e32faebb8
RANDOM SEED=1550970174
nodeC002 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 : 0xb00001f
cpu MHz : 3491.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3629.478
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.605
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 3661.624
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.300
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.813
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
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 : 0xb00001f
cpu MHz : 1197.336
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.81
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124570376 kB
MemAvailable: 125196364 kB
Buffers: 2128 kB
Cached: 1432192 kB
SwapCached: 28 kB
Active: 5110304 kB
Inactive: 1129100 kB
Active(anon): 4816616 kB
Inactive(anon): 6404 kB
Active(file): 293688 kB
Inactive(file): 1122696 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 104060 kB
Writeback: 0 kB
AnonPages: 4808132 kB
Mapped: 132928 kB
Shmem: 17932 kB
KReclaimable: 98460 kB
Slab: 181720 kB
SReclaimable: 98460 kB
SUnreclaim: 83260 kB
KernelStack: 4096 kB
PageTables: 13192 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 7031948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 765952 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: 181064 kB
DirectMap2M: 8110080 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432692 MiB
End job on nodeC002 at 2025-07-03 04:15:10