1.78/1.82 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.78/1.82 c Do: 140731389317400 140731389317408
2.99/3.05 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
2.99/3.05 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
3.57/3.64 c Starting SCIP solver (with time-limit = 1800s) ...
1798.21/1803.70 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.06/3610.40 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: 63794 MiB (62657 MiB free)
memory of node 1: 64507 MiB (53486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523952-1751605370/watcher-4523952-1751605370 -o /tmp/evaluation-result-4523952-1751605370/solver-4523952-1751605370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84716 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523952-1751605370.opb -total-t=3600 -no-par -v0
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=85483, runsolver pid=85480
[startup+0.100073 s]*
/proc/loadavg: 4.20 4.19 4.15 5/247 85484
/proc/meminfo: memFree=118931636/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=28668 memory=9728 CPUtime=0.11 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 1808 0 0 0 10 1 0 0 20 0 1 0 76215911 29356032 2432 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 7167 2432 736 2416 0 4269 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 9728 KiB
[startup+0.213451 s]*
/proc/loadavg: 4.20 4.19 4.15 5/247 85484
/proc/meminfo: memFree=118915760/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=36092 memory=16768 CPUtime=0.21 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 3622 0 0 0 20 1 0 0 20 0 1 0 76215911 36958208 4192 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 9023 4192 736 2416 0 6125 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36092 KiB
Current children cumulated memory: 16768 KiB
[startup+0.313432 s]*
/proc/loadavg: 4.20 4.19 4.15 5/247 85484
/proc/meminfo: memFree=118903916/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=42108 memory=22400 CPUtime=0.32 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 5020 0 0 0 30 2 0 0 20 0 1 0 76215911 43118592 5600 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 10527 5600 736 2416 0 7629 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42108 KiB
Current children cumulated memory: 22400 KiB
[startup+0.700322 s]
/proc/loadavg: 4.20 4.19 4.15 5/245 85484
/proc/meminfo: memFree=118875692/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=65920 memory=45408 CPUtime=0.68 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 11106 0 0 0 64 4 0 0 20 0 1 0 76215911 67502080 11352 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 16480 11352 768 2416 0 13582 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65920 KiB
Current children cumulated memory: 45408 KiB
[startup+1.50025 s]
/proc/loadavg: 4.20 4.19 4.15 4/249 85502
/proc/meminfo: memFree=123818536/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=202160 memory=167004 CPUtime=1.48 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 29193 0 0 0 136 12 0 0 20 0 1 0 76215911 207011840 41751 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 50540 41751 768 2416 0 47642 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 202160 KiB
Current children cumulated memory: 167004 KiB
[startup+3.11272 s]
/proc/loadavg: 4.20 4.19 4.15 5/250 85539
/proc/meminfo: memFree=123485680/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=304264 memory=264944 CPUtime=3.08 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 46969 0 0 0 291 17 0 0 20 0 1 0 76215911 311566336 66204 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 76322 66204 2112 2416 0 73424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 304264 KiB
Current children cumulated memory: 264944 KiB
[startup+6.30026 s]
/proc/loadavg: 4.18 4.18 4.15 5/250 85539
/proc/meminfo: memFree=122161048/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=1282708 memory=1231604 CPUtime=6.27 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 271106 0 0 0 572 55 0 0 20 0 1 0 76215911 1313492992 307901 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 320677 307901 2336 2416 0 317779 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1282708 KiB
Current children cumulated memory: 1231604 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.18 4.14 5/250 85539
/proc/meminfo: memFree=120511844/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2227724 memory=2009572 CPUtime=12.65 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 310573 0 0 0 1193 72 0 0 20 0 1 0 76215911 2281189376 502393 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 556931 502393 2400 2416 0 554033 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2227724 KiB
Current children cumulated memory: 2009572 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.17 4.14 5/250 85539
/proc/meminfo: memFree=118870016/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3151612 memory=2922028 CPUtime=25.42 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 419224 0 0 0 2443 99 0 0 20 0 1 0 76215911 3227250688 730507 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 787903 730507 2496 2416 0 785005 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3151612 KiB
Current children cumulated memory: 2922028 KiB
[startup+51.1129 s]
/proc/loadavg: 4.09 4.16 4.14 5/250 85540
/proc/meminfo: memFree=118768544/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3156916 memory=2929196 CPUtime=50.94 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 421068 0 0 0 4995 99 0 0 20 0 1 0 76215911 3232681984 732299 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 789229 732299 2496 2416 0 786331 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3156916 KiB
Current children cumulated memory: 2929196 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.14 4.13 5/251 85543
/proc/meminfo: memFree=118669120/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3159848 memory=2935332 CPUtime=101.98 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422139 0 0 0 10098 100 0 0 20 0 1 0 76215911 3235684352 733833 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 789962 733833 2496 2416 0 787064 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3159848 KiB
Current children cumulated memory: 2935332 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.13 5/250 85545
/proc/meminfo: memFree=117005748/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3160148 memory=2935716 CPUtime=161.79 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422284 0 0 0 16079 100 0 0 20 0 1 0 76215911 3235991552 733929 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790037 733929 2496 2416 0 787139 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 3160148 KiB
Current children cumulated memory: 2935716 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.13 5/250 85592
/proc/meminfo: memFree=117435028/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3162416 memory=2936100 CPUtime=221.62 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422388 0 0 0 22061 101 0 0 20 0 1 0 76215911 3238313984 734025 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790604 734025 2496 2416 0 787706 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 3162416 KiB
Current children cumulated memory: 2936100 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/251 85643
/proc/meminfo: memFree=115474272/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3162416 memory=2936228 CPUtime=281.4 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422465 0 0 0 28039 101 0 0 20 0 1 0 76215911 3238313984 734057 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790604 734057 2496 2416 0 787706 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 3162416 KiB
Current children cumulated memory: 2936228 KiB
[startup+342.3 s]
/proc/loadavg: 4.50 4.21 4.15 5/251 85645
/proc/meminfo: memFree=115336296/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3162416 memory=2936356 CPUtime=341.19 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422490 0 0 0 34018 101 0 0 20 0 1 0 76215911 3238313984 734089 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790604 734089 2496 2416 0 787706 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 3162416 KiB
Current children cumulated memory: 2936356 KiB
[startup+402.3 s]
/proc/loadavg: 4.47 4.28 4.18 5/250 85647
/proc/meminfo: memFree=115557188/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3162416 memory=2936356 CPUtime=400.98 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422570 0 0 0 39996 102 0 0 20 0 1 0 76215911 3238313984 734089 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790604 734089 2496 2416 0 787706 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 3162416 KiB
Current children cumulated memory: 2936356 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.24 4.17 5/250 85693
/proc/meminfo: memFree=119782352/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=3162552 memory=2936484 CPUtime=460.78 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 422646 0 0 0 45975 103 0 0 20 0 1 0 76215911 3238453248 734121 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 790638 734121 2496 2416 0 787740 0
################
# More data... #
################
Current children cumulated memory: 2047948 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/249 85849
/proc/meminfo: memFree=106105820/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2421948 memory=2374356 CPUtime=2853.98 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 451368 0 0 0 285147 251 0 0 20 0 1 0 76215911 2480074752 593589 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 605487 593589 2496 2416 0 602589 0
Current children cumulated CPU time: 2853.98 s
Current children cumulated vsize: 2421948 KiB
Current children cumulated memory: 2374356 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 85854
/proc/meminfo: memFree=106289456/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=2913.83 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 452729 0 0 0 291121 262 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 2913.83 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/250 85856
/proc/meminfo: memFree=106086120/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=2973.65 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 454080 0 0 0 297093 272 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/251 85859
/proc/meminfo: memFree=106018924/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3033.5 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 455064 0 0 0 303069 281 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3102.3 s]
/proc/loadavg: 4.05 4.09 4.10 5/252 85862
/proc/meminfo: memFree=105807852/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3093.33 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 456516 0 0 0 309042 291 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/252 85863
/proc/meminfo: memFree=105702604/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3153.17 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 457365 0 0 0 315018 299 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/252 85865
/proc/meminfo: memFree=105204620/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2636872 memory=2421156 CPUtime=3213 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 458876 0 0 0 320993 307 0 0 20 0 1 0 76215911 2700156928 605289 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 659218 605289 2496 2416 0 656320 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 2636872 KiB
Current children cumulated memory: 2421156 KiB
[startup+3282.3 s]
/proc/loadavg: 4.68 4.28 4.16 5/251 85867
/proc/meminfo: memFree=105342916/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3272.85 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 460012 0 0 0 326965 320 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.24 4.15 5/251 85873
/proc/meminfo: memFree=105252572/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3332.69 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 460253 0 0 0 332949 320 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3332.69 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/250 85875
/proc/meminfo: memFree=104704636/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2636872 memory=2398144 CPUtime=3392.52 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 462183 0 0 0 338911 341 0 0 20 0 1 0 76215911 2700156928 599536 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 659218 599536 2496 2416 0 656320 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 2636872 KiB
Current children cumulated memory: 2398144 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/249 85877
/proc/meminfo: memFree=104938300/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3452.36 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 463009 0 0 0 344886 350 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3452.36 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/250 85893
/proc/meminfo: memFree=104837004/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3512.2 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 463289 0 0 0 350870 350 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.14 4.13 5/250 85895
/proc/meminfo: memFree=103396152/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3572.03 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 465290 0 0 0 356835 368 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.11 4.15 4.13 5/250 85896
/proc/meminfo: memFree=103325180/131382112 swapFree=33009904/33010684
[pid=85483] ppid=85480 vsize=2078072 memory=2047948 CPUtime=3600.06 cores=0,2
/proc/85483/stat : 85483 (CASHWMaxSAT-Dis) R 85480 85483 84706 0 -1 4194304 466031 0 0 0 359629 377 0 0 20 0 1 0 76215911 2127945728 511987 18446744073709551615 4198400 14093885 140731389319760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 51564544 140731389323626 140731389323741 140731389323741 140731389329343 0
/proc/85483/statm: 519518 511987 2496 2416 0 516620 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2078072 KiB
Current children cumulated memory: 2047948 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.41 s]
# the end of solver process 85483 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.29 s, system=3.78487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.41
CPU time (s): 3600.08
CPU user time (s): 3596.29
CPU system time (s): 3.78487
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 3194416
Max. memory (cumulated for all children) (KiB): 2992832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.29
system time used= 3.78487
maximum resident set size= 2992832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466031
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= 31
involuntary context switches= 7923
# summary of solver processes directly reported to runsolver:
# pid: 85483
# total CPU time (s): 3600.08
# total CPU user time (s): 3596.29
# total CPU system time (s): 3.78487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7163 second user time and 33.9147 second system time
The end
Begin job on nodeC001 at 2025-07-04 07:02:50
IDJOB=4523952
IDBENCH=180463
IDSOLVER=3323
FILE ID=nodeC001/4523952-1751605370
RUNJOBID= nodeC001-1751598143-84716
SLURM_JOB_ID= 9598870
Free space on /tmp= 432476 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB25/normalized-PB25/OPT-LIN/wallon/normalized-AztecDiamondSym-mini-07_c24.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523952-1751605370/watcher-4523952-1751605370 -o /tmp/evaluation-result-4523952-1751605370/solver-4523952-1751605370 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84716 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523952-1751605370.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7b7d352a7105ac7993395b7f6c3b04bc
RANDOM SEED=1263494414
nodeC001 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 : 1596.173
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.49
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 : 3491.800
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.49
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.166
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.49
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.536
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.49
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 : 1596.415
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.49
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 : 3491.747
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.49
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.108
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.49
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.556
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 118931828 kB
MemAvailable: 120157596 kB
Buffers: 1668 kB
Cached: 2010384 kB
SwapCached: 128 kB
Active: 10029740 kB
Inactive: 1772504 kB
Active(anon): 9779880 kB
Inactive(anon): 28088 kB
Active(file): 249860 kB
Inactive(file): 1744416 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22616 kB
Writeback: 0 kB
AnonPages: 9793192 kB
Mapped: 112128 kB
Shmem: 17776 kB
KReclaimable: 141856 kB
Slab: 227444 kB
SReclaimable: 141856 kB
SUnreclaim: 85588 kB
KernelStack: 3984 kB
PageTables: 22292 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 11759404 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4599808 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431752 MiB
End job on nodeC001 at 2025-07-04 08:03:01