0.48/0.55 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.48/0.55 c Do: 140723808390392 140723808390400
1.55/1.63 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.55/1.63 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.95/2.07 c Starting SCIP solver (with time-limit = 1800s) ...
1803.30/1808.59 c SCIP timeout with lower and upper bounds: [2, 9223372036854775807]
3600.07/3609.80 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: 63708 MiB (62782 MiB free)
memory of node 1: 64465 MiB (63174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490816-1751380722/watcher-4490816-1751380722 -o /tmp/evaluation-result-4490816-1751380722/solver-4490816-1751380722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53843 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490816-1751380722.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=54964, runsolver pid=54961
[startup+0.100058 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128976088/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=32420 memory=14080 CPUtime=0.09 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 2892 0 0 0 9 0 0 0 20 0 1 0 53749674 33198080 3520 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 8105 3520 736 2416 0 5207 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32420 KiB
Current children cumulated memory: 14080 KiB
[startup+0.205423 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128964180/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=48208 memory=29680 CPUtime=0.19 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 7628 0 0 0 18 1 0 0 20 0 1 0 53749674 49364992 7420 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 12052 7420 768 2416 0 9154 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 48208 KiB
Current children cumulated memory: 29680 KiB
[startup+0.305414 s]*
/proc/loadavg: 4.06 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128940364/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=64272 memory=44212 CPUtime=0.28 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 10000 0 0 0 27 1 0 0 20 0 1 0 53749674 65814528 11053 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 16068 11053 768 2416 0 13170 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64272 KiB
Current children cumulated memory: 44212 KiB
[startup+0.700151 s]
/proc/loadavg: 4.06 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128873140/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=137996 memory=105676 CPUtime=0.66 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 22894 0 0 0 62 4 0 0 20 0 1 0 53749674 141307904 26419 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 34499 26419 768 2416 0 31601 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 137996 KiB
Current children cumulated memory: 105676 KiB
[startup+1.50018 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 54965
/proc/meminfo: memFree=128842960/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=145128 memory=118004 CPUtime=1.45 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 25090 0 0 0 140 5 0 0 20 0 1 0 53749674 148611072 29501 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 36282 29501 768 2416 0 33384 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 145128 KiB
Current children cumulated memory: 118004 KiB
[startup+3.1053 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 54965
/proc/meminfo: memFree=127792932/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=839404 memory=796896 CPUtime=3.04 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 184413 0 0 0 278 26 0 0 20 0 1 0 53749674 859549696 199224 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 209851 199224 2336 2416 0 206953 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 839404 KiB
Current children cumulated memory: 796896 KiB
[startup+6.30012 s]
/proc/loadavg: 4.05 4.11 4.10 5/264 54965
/proc/meminfo: memFree=127119704/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1077044 memory=1030812 CPUtime=6.23 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 239862 0 0 0 588 35 0 0 20 0 1 0 53749674 1102893056 257703 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 269261 257703 2368 2416 0 266363 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1077044 KiB
Current children cumulated memory: 1030812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.04 4.11 4.10 5/264 54965
/proc/meminfo: memFree=126941012/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1092152 memory=1045964 CPUtime=12.61 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 240618 0 0 0 1225 36 0 0 20 0 1 0 53749674 1118363648 261491 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 273038 261491 2400 2416 0 270140 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1092152 KiB
Current children cumulated memory: 1045964 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 54965
/proc/meminfo: memFree=126389464/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1619940 memory=1551668 CPUtime=25.38 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 318970 0 0 0 2485 53 0 0 20 0 1 0 53749674 1658818560 387917 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 404985 387917 2432 2416 0 402087 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1619940 KiB
Current children cumulated memory: 1551668 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 54966
/proc/meminfo: memFree=126373436/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1707428 memory=1633228 CPUtime=50.91 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 334724 0 0 0 5035 56 0 0 20 0 1 0 53749674 1748406272 408307 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 426857 408307 2496 2416 0 423959 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1707428 KiB
Current children cumulated memory: 1633228 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 54972
/proc/meminfo: memFree=126262644/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1709740 memory=1635020 CPUtime=101.94 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 335313 0 0 0 10138 56 0 0 20 0 1 0 53749674 1750773760 408755 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 427435 408755 2496 2416 0 424537 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1709740 KiB
Current children cumulated memory: 1635020 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 54974
/proc/meminfo: memFree=126188340/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1732760 memory=1658596 CPUtime=161.78 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339216 0 0 0 16121 57 0 0 20 0 1 0 53749674 1774346240 414649 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433190 414649 2496 2416 0 430292 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1732760 KiB
Current children cumulated memory: 1658596 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 54976
/proc/meminfo: memFree=126145368/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1732760 memory=1658596 CPUtime=221.59 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339285 0 0 0 22102 57 0 0 20 0 1 0 53749674 1774346240 414649 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433190 414649 2496 2416 0 430292 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1732760 KiB
Current children cumulated memory: 1658596 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 54978
/proc/meminfo: memFree=126136688/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1732760 memory=1658596 CPUtime=281.4 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339339 0 0 0 28082 58 0 0 20 0 1 0 53749674 1774346240 414649 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433190 414649 2496 2416 0 430292 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1732760 KiB
Current children cumulated memory: 1658596 KiB
[startup+342.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 54981
/proc/meminfo: memFree=126044556/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1733848 memory=1658596 CPUtime=341.21 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339396 0 0 0 34063 58 0 0 20 0 1 0 53749674 1775460352 414649 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433462 414649 2496 2416 0 430564 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 1733848 KiB
Current children cumulated memory: 1658596 KiB
[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/264 54983
/proc/meminfo: memFree=126012228/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1733848 memory=1658980 CPUtime=401 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339492 0 0 0 40042 58 0 0 20 0 1 0 53749674 1775460352 414745 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433462 414745 2496 2416 0 430564 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 1733848 KiB
Current children cumulated memory: 1658980 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/266 54989
/proc/meminfo: memFree=125942012/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1733848 memory=1658980 CPUtime=460.8 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 339556 0 0 0 46022 58 0 0 20 0 1 0 53749674 1775460352 414745 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 433462 414745 2496 2416 0 430564 0
Current children cumulated CPU time: 460.8 s
################
# More data... #
################
Current children cumulated memory: 1577352 KiB
[startup+2862.3 s]
/proc/loadavg: 3.09 3.13 3.30 4/256 55147
/proc/meminfo: memFree=126675808/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=2854.5 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 353531 0 0 0 285383 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+2922.3 s]
/proc/loadavg: 3.14 3.14 3.28 4/257 55152
/proc/meminfo: memFree=126675260/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=2914.36 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 353651 0 0 0 291369 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 2914.36 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+2982.3 s]
/proc/loadavg: 3.16 3.14 3.27 4/258 55155
/proc/meminfo: memFree=126677576/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=2974.23 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 353737 0 0 0 297356 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 2974.23 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3042.3 s]
/proc/loadavg: 3.18 3.15 3.27 4/259 55158
/proc/meminfo: memFree=126678924/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3034.1 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 353849 0 0 0 303343 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3034.1 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3102.3 s]
/proc/loadavg: 2.91 3.09 3.24 3/253 55191
/proc/meminfo: memFree=127130268/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3093.96 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 353924 0 0 0 309329 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3162.3 s]
/proc/loadavg: 2.38 2.90 3.16 3/253 55198
/proc/meminfo: memFree=127131012/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3153.79 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354011 0 0 0 315312 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3153.79 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3222.3 s]
/proc/loadavg: 2.26 2.77 3.10 3/253 55200
/proc/meminfo: memFree=127131080/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3213.63 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354129 0 0 0 321296 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3213.63 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.64 3.03 3/253 55203
/proc/meminfo: memFree=127132972/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3273.46 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354211 0 0 0 327279 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3342.3 s]
/proc/loadavg: 2.09 2.54 2.97 3/252 55205
/proc/meminfo: memFree=127132584/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3333.3 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354298 0 0 0 333263 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.47 2.92 3/252 55207
/proc/meminfo: memFree=127133200/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3393.14 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354371 0 0 0 339247 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3462.3 s]
/proc/loadavg: 2.18 2.41 2.87 3/252 55209
/proc/meminfo: memFree=127133568/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3452.97 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354490 0 0 0 345230 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3522.3 s]
/proc/loadavg: 2.17 2.37 2.82 3/252 55214
/proc/meminfo: memFree=127135020/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3512.81 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354582 0 0 0 351214 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
[startup+3582.3 s]
/proc/loadavg: 2.12 2.31 2.77 3/251 55216
/proc/meminfo: memFree=127131284/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3572.64 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354666 0 0 0 357197 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3572.64 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 2.16 2.30 2.76 2/247 55247
/proc/meminfo: memFree=128476412/131249996 swapFree=33006296/33010684
[pid=54964] ppid=54961 vsize=1593512 memory=1577352 CPUtime=3600.07 cores=4,6
/proc/54964/stat : 54964 (CASHWMaxSAT-Dis) R 54961 54964 53832 0 -1 4194304 354730 0 0 0 359940 67 0 0 20 0 1 0 53749674 1631756288 394338 18446744073709551615 4198400 14093885 140723808392752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42364928 140723808397674 140723808397789 140723808397789 140723808403391 0
/proc/54964/statm: 398378 394338 2528 2416 0 395480 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1593512 KiB
Current children cumulated memory: 1577352 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 54964 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.4 s, system=0.682066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.08
CPU user time (s): 3599.4
CPU system time (s): 0.682066
CPU usage (%): 99.7308
Max. virtual memory (cumulated for all children) (KiB): 2368068
Max. memory (cumulated for all children) (KiB): 1844332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.682066
maximum resident set size= 1856660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354730
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= 27
involuntary context switches= 2359
# summary of solver processes directly reported to runsolver:
# pid: 54964
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.4
# total CPU system time (s): 0.682066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28987 second user time and 16.9419 second system time
The end
Begin job on nodeC015 at 2025-07-01 16:38:42
IDJOB=4490816
IDBENCH=147623
IDSOLVER=3323
FILE ID=nodeC015/4490816-1751380722
RUNJOBID= nodeC015-1751371686-53843
SLURM_JOB_ID= 9598198
Free space on /tmp= 432972 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_11.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490816-1751380722/watcher-4490816-1751380722 -o /tmp/evaluation-result-4490816-1751380722/solver-4490816-1751380722 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751371686-53843 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4490816-1751380722.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 615ef0f28fa6784c486981c328c6a987
RANDOM SEED=1876525649
nodeC015 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.072
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.14
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.104
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.14
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 : 3601.762
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.804
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.14
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.268
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.14
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.071
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.14
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.058
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.14
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 : 3606.871
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128979708 kB
MemAvailable: 128669952 kB
Buffers: 1508 kB
Cached: 475760 kB
SwapCached: 3880 kB
Active: 1366824 kB
Inactive: 240380 kB
Active(anon): 1095016 kB
Inactive(anon): 49076 kB
Active(file): 271808 kB
Inactive(file): 191304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32836 kB
Writeback: 0 kB
AnonPages: 1129268 kB
Mapped: 122704 kB
Shmem: 14152 kB
KReclaimable: 132740 kB
Slab: 221532 kB
SReclaimable: 132740 kB
SUnreclaim: 88792 kB
KernelStack: 4220 kB
PageTables: 5064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1540108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 239616 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433004 MiB
End job on nodeC015 at 2025-07-01 17:38:52