842.42/844.90 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
842.42/844.90 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
842.42/844.95 c Starting SCIP solver (with time-limit = 1800s) ...
2637.54/2644.95 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.05/3610.20 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 (61646 MiB free)
memory of node 1: 64465 MiB (63874 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490631-1751379878/watcher-4490631-1751379878 -o /tmp/evaluation-result-4490631-1751379878/solver-4490631-1751379878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751372645-54002 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4490631-1751379878.opb -total-t=3600 -no-par -v0
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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.el
Current StackSize limit: 8192 KiB
solver pid=54941, runsolver pid=54938
[startup+0.100062 s]*
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128515396/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=33960 memory=18896 CPUtime=0.09 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 4553 0 0 0 9 0 0 0 20 0 1 0 53667270 34775040 4724 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 8490 4724 960 2593 0 5383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33960 KiB
Current children cumulated memory: 18896 KiB
[startup+0.205502 s]*
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128515492/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=35972 memory=20816 CPUtime=0.2 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 5059 0 0 0 20 0 0 0 20 0 1 0 53667270 36835328 5204 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 8993 5204 960 2593 0 5886 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35972 KiB
Current children cumulated memory: 20816 KiB
[startup+0.305383 s]*
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128515492/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=36032 memory=20984 CPUtime=0.29 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 5579 0 0 0 29 0 0 0 20 0 1 0 53667270 36896768 5246 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 9008 5246 960 2593 0 5901 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36032 KiB
Current children cumulated memory: 20984 KiB
[startup+0.700175 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128515492/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=46208 memory=31316 CPUtime=0.69 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 9417 0 0 0 68 1 0 0 20 0 1 0 53667270 47316992 7829 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 11552 7829 960 2593 0 8445 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46208 KiB
Current children cumulated memory: 31316 KiB
[startup+1.50016 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128499616/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=51320 memory=36620 CPUtime=1.48 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 11875 0 0 0 147 1 0 0 20 0 1 0 53667270 52551680 9155 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 12830 9155 960 2593 0 9723 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51320 KiB
Current children cumulated memory: 36620 KiB
[startup+3.10526 s]
/proc/loadavg: 4.40 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128499880/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=54720 memory=40088 CPUtime=3.08 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 12215 0 0 0 307 1 0 0 20 0 1 0 53667270 56033280 10022 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 13680 10022 960 2593 0 10573 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54720 KiB
Current children cumulated memory: 40088 KiB
[startup+6.30013 s]
/proc/loadavg: 4.37 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128500428/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=55692 memory=40984 CPUtime=6.27 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 12459 0 0 0 626 1 0 0 20 0 1 0 53667270 57028608 10246 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 13923 10246 960 2593 0 10816 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55692 KiB
Current children cumulated memory: 40984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.34 4.20 4.12 5/264 54942
/proc/meminfo: memFree=128588104/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=60148 memory=45044 CPUtime=12.66 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 12945 0 0 0 1264 2 0 0 20 0 1 0 53667270 61591552 11261 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 15037 11261 960 2593 0 11930 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 60148 KiB
Current children cumulated memory: 45044 KiB
[startup+25.5001 s]
/proc/loadavg: 4.27 4.19 4.12 5/264 54943
/proc/meminfo: memFree=128584592/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=59700 memory=45080 CPUtime=25.42 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 14809 0 0 0 2540 2 0 0 20 0 1 0 53667270 61132800 11270 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 14925 11270 960 2593 0 11818 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 59700 KiB
Current children cumulated memory: 45080 KiB
[startup+51.1053 s]
/proc/loadavg: 4.17 4.17 4.11 5/263 54943
/proc/meminfo: memFree=128582128/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=51560 memory=37132 CPUtime=50.95 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 15711 0 0 0 5093 2 0 0 20 0 1 0 53667270 52797440 9283 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 12890 9283 960 2593 0 9783 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 51560 KiB
Current children cumulated memory: 37132 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 54945
/proc/meminfo: memFree=128571364/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=67452 memory=52800 CPUtime=102 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 20246 0 0 0 10197 3 0 0 20 0 1 0 53667270 69070848 13200 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 16863 13200 960 2593 0 13756 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 67452 KiB
Current children cumulated memory: 52800 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/263 54947
/proc/meminfo: memFree=128763348/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=70432 memory=55876 CPUtime=161.83 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 21046 0 0 0 16179 4 0 0 20 0 1 0 53667270 72122368 13969 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 17608 13969 960 2593 0 14501 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 70432 KiB
Current children cumulated memory: 55876 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/264 54952
/proc/meminfo: memFree=128739476/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=97804 memory=83136 CPUtime=221.64 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 23806 0 0 0 22160 4 0 0 20 0 1 0 53667270 100151296 20784 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 24451 20784 960 2593 0 21344 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 97804 KiB
Current children cumulated memory: 83136 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/265 54960
/proc/meminfo: memFree=128730640/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=78004 memory=62024 CPUtime=281.47 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 26281 0 0 0 28141 6 0 0 20 0 1 0 53667270 79876096 15506 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 19501 15506 960 2593 0 16394 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 78004 KiB
Current children cumulated memory: 62024 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/266 54963
/proc/meminfo: memFree=128703660/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=99792 memory=85172 CPUtime=341.29 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 28045 0 0 0 34121 8 0 0 20 0 1 0 53667270 102187008 21293 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 24948 21293 960 2593 0 21841 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 99792 KiB
Current children cumulated memory: 85172 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/266 54967
/proc/meminfo: memFree=128711832/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=88808 memory=74176 CPUtime=401.11 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 29366 0 0 0 40103 8 0 0 20 0 1 0 53667270 90939392 18544 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 22202 18544 960 2593 0 19095 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 88808 KiB
Current children cumulated memory: 74176 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 54969
/proc/meminfo: memFree=128694860/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=102412 memory=87744 CPUtime=460.94 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 32823 0 0 0 46084 10 0 0 20 0 1 0 53667270 104869888 21936 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 25603 21936 960 2593 0 22496 0
Current children cumulated CPU time: 460.94 s
################
# More data... #
################
Current children cumulated memory: 555052 KiB
[startup+2862.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 55192
/proc/meminfo: memFree=127020576/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=2854.32 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141420 0 0 0 285396 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 2854.32 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 55195
/proc/meminfo: memFree=127015524/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=2914.15 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141443 0 0 0 291379 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 2914.15 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 55197
/proc/meminfo: memFree=127020224/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=2973.97 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141489 0 0 0 297361 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 55200
/proc/meminfo: memFree=126981644/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3033.8 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141515 0 0 0 303344 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 55202
/proc/meminfo: memFree=126933732/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3093.62 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141548 0 0 0 309326 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 55204
/proc/meminfo: memFree=126911108/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3153.45 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141576 0 0 0 315309 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 55209
/proc/meminfo: memFree=126904240/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3213.28 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141617 0 0 0 321292 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 55216
/proc/meminfo: memFree=126799584/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3273.1 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141641 0 0 0 327274 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3273.1 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 55219
/proc/meminfo: memFree=126797536/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3332.93 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141676 0 0 0 333257 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 55220
/proc/meminfo: memFree=126810128/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3392.76 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141714 0 0 0 339240 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3392.76 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 55222
/proc/meminfo: memFree=126771720/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3452.59 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141768 0 0 0 345223 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3522.3 s]
/proc/loadavg: 3.83 4.03 4.07 4/259 55255
/proc/meminfo: memFree=127990864/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3512.42 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141792 0 0 0 351206 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
[startup+3582.3 s]
/proc/loadavg: 3.34 3.85 4.00 4/259 55257
/proc/meminfo: memFree=127992080/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3572.24 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141847 0 0 0 357188 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3572.24 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 3.28 3.80 3.98 3/255 55266
/proc/meminfo: memFree=128787468/131250000 swapFree=33009904/33010684
[pid=54941] ppid=54938 vsize=576680 memory=555052 CPUtime=3600.05 cores=1,3
/proc/54941/stat : 54941 (CASHWMaxSAT-Dis) R 54938 54941 53990 0 -1 4194304 141847 0 0 0 359969 36 0 0 20 0 1 0 53667270 590520320 138763 18446744073709551615 4198400 14817773 140732864771424 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 54390784 140732864776554 140732864776669 140732864776669 140732864782271 0
/proc/54941/statm: 144170 138763 2688 2593 0 141063 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 576680 KiB
Current children cumulated memory: 555052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 54941 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.69 s, system=0.367885 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.06
CPU user time (s): 3599.69
CPU system time (s): 0.367885
CPU usage (%): 99.7191
Max. virtual memory (cumulated for all children) (KiB): 1190652
Max. memory (cumulated for all children) (KiB): 802308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.69
system time used= 0.367885
maximum resident set size= 802308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141847
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= 60
involuntary context switches= 2537
# summary of solver processes directly reported to runsolver:
# pid: 54941
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.69
# total CPU system time (s): 0.367885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73862 second user time and 15.432 second system time
The end
Begin job on nodeC033 at 2025-07-01 16:24:39
IDJOB=4490631
IDBENCH=147604
IDSOLVER=3322
FILE ID=nodeC033/4490631-1751379878
RUNJOBID= nodeC033-1751372645-54002
SLURM_JOB_ID= 9598203
Free space on /tmp= 432436 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490631-1751379878/watcher-4490631-1751379878 -o /tmp/evaluation-result-4490631-1751379878/solver-4490631-1751379878 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751372645-54002 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4490631-1751379878.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 24a8c00bfc22332d2e87e9d19ffbf58d
RANDOM SEED=761502988
nodeC033 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.051
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.13
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.099
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.13
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 : 3598.163
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.13
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 : 3618.983
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.13
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.055
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.13
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.147
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.13
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 : 3560.648
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.13
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 : 3569.770
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128532988 kB
MemAvailable: 128255716 kB
Buffers: 2128 kB
Cached: 520572 kB
SwapCached: 68 kB
Active: 1779332 kB
Inactive: 281956 kB
Active(anon): 1532128 kB
Inactive(anon): 24488 kB
Active(file): 247204 kB
Inactive(file): 257468 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27492 kB
Writeback: 12 kB
AnonPages: 1541448 kB
Mapped: 130516 kB
Shmem: 18028 kB
KReclaimable: 114588 kB
Slab: 203988 kB
SReclaimable: 114588 kB
SUnreclaim: 89400 kB
KernelStack: 4284 kB
PageTables: 6316 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2050272 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1290240 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432436 MiB
End job on nodeC033 at 2025-07-01 17:24:49