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 (50619 MiB free)
memory of node 1: 64465 MiB (55527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519444-1751555470/watcher-4519444-1751555470 -o /tmp/evaluation-result-4519444-1751555470/solver-4519444-1751555470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751555470-78654 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4519444-1751555470.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=78702, runsolver pid=78699
[startup+0.10006 s]*
/proc/loadavg: 0.59 0.95 1.04 5/265 78713
/proc/meminfo: memFree=108621124/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=42320 memory=21792 CPUtime=0.09 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 4955 0 0 0 8 1 0 0 20 0 1 0 71225604 43335680 5448 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 10580 5448 736 2416 0 7682 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42320 KiB
Current children cumulated memory: 21792 KiB
[startup+0.205216 s]*
/proc/loadavg: 0.59 0.95 1.04 5/265 78713
/proc/meminfo: memFree=108577024/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=58388 memory=38880 CPUtime=0.19 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 9399 0 0 0 18 1 0 0 20 0 1 0 71225604 59789312 9720 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 14597 9720 736 2416 0 11699 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58388 KiB
Current children cumulated memory: 38880 KiB
[startup+0.304684 s]*
/proc/loadavg: 0.59 0.95 1.04 6/265 78713
/proc/meminfo: memFree=108487564/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=75548 memory=55008 CPUtime=0.3 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 13434 0 0 0 28 2 0 0 20 0 1 0 71225604 77361152 13752 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 18887 13752 736 2416 0 15989 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75548 KiB
Current children cumulated memory: 55008 KiB
[startup+0.700123 s]
/proc/loadavg: 0.59 0.95 1.04 6/265 78713
/proc/meminfo: memFree=108291760/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=145240 memory=121212 CPUtime=0.68 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 30025 0 0 0 64 4 0 0 20 0 1 0 71225604 148725760 30303 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 36310 30303 736 2416 0 33412 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 145240 KiB
Current children cumulated memory: 121212 KiB
[startup+1.50012 s]
/proc/loadavg: 0.59 0.95 1.04 5/265 78713
/proc/meminfo: memFree=108015504/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=289732 memory=256136 CPUtime=1.48 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 61624 0 0 0 139 9 0 0 20 0 1 0 71225604 296685568 64034 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 72433 64034 736 2416 0 69535 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 289732 KiB
Current children cumulated memory: 256136 KiB
[startup+3.10555 s]
/proc/loadavg: 0.86 1.01 1.06 5/265 78713
/proc/meminfo: memFree=107084908/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=559180 memory=502280 CPUtime=3.09 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 89836 0 0 0 291 18 0 0 20 0 1 0 71225604 572600320 125570 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 139795 125570 768 2416 0 136897 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 559180 KiB
Current children cumulated memory: 502280 KiB
[startup+6.30012 s]
/proc/loadavg: 0.86 1.01 1.06 5/265 78713
/proc/meminfo: memFree=106372516/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=686016 memory=605016 CPUtime=6.27 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 101415 0 0 0 605 22 0 0 20 0 1 0 71225604 702480384 151254 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 171504 151254 800 2416 0 168606 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 686016 KiB
Current children cumulated memory: 605016 KiB
[startup+12.7001 s]
/proc/loadavg: 1.34 1.10 1.09 5/265 78713
/proc/meminfo: memFree=105846128/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=766156 memory=672824 CPUtime=12.65 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 103785 0 0 0 1235 30 0 0 20 0 1 0 71225604 784543744 168206 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 191539 168206 800 2416 0 188641 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 766156 KiB
Current children cumulated memory: 672824 KiB
[startup+25.5002 s]
/proc/loadavg: 1.83 1.22 1.13 5/265 78713
/proc/meminfo: memFree=105906368/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=691620 memory=620864 CPUtime=25.41 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 111147 0 0 0 2498 43 0 0 20 0 1 0 71225604 708218880 155216 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 172905 155216 800 2416 0 170007 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 691620 KiB
Current children cumulated memory: 620864 KiB
[startup+51.1056 s]
/proc/loadavg: 2.57 1.44 1.21 5/265 78714
/proc/meminfo: memFree=105731504/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=716524 memory=638900 CPUtime=50.96 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 124677 0 0 0 5033 63 0 0 20 0 1 0 71225604 733720576 159725 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 179131 159725 800 2416 0 176233 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 716524 KiB
Current children cumulated memory: 638900 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.89 1.37 5/265 78718
/proc/meminfo: memFree=105593584/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=756480 memory=673004 CPUtime=102.01 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 141579 0 0 0 10113 88 0 0 20 0 1 0 71225604 774635520 168251 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 189120 168251 800 2416 0 186222 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 756480 KiB
Current children cumulated memory: 673004 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 2.31 1.55 5/264 78719
/proc/meminfo: memFree=105466280/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=804448 memory=718512 CPUtime=161.86 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 165895 0 0 0 16064 122 0 0 20 0 1 0 71225604 823754752 179628 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 201112 179628 800 2416 0 198214 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 804448 KiB
Current children cumulated memory: 718512 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.63 1.71 5/265 78726
/proc/meminfo: memFree=105345252/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=848028 memory=761380 CPUtime=221.7 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 188221 0 0 0 22015 155 0 0 20 0 1 0 71225604 868380672 190345 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 212007 190345 800 2416 0 209109 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 848028 KiB
Current children cumulated memory: 761380 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.91 1.87 5/265 78729
/proc/meminfo: memFree=105147664/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=893160 memory=813212 CPUtime=281.54 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 209911 0 0 0 27961 193 0 0 20 0 1 0 71225604 914595840 203303 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 223290 203303 800 2416 0 220392 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 893160 KiB
Current children cumulated memory: 813212 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 3.13 2.01 5/264 78731
/proc/meminfo: memFree=105082320/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=934256 memory=854496 CPUtime=341.38 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 232423 0 0 0 33911 227 0 0 20 0 1 0 71225604 956678144 213624 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 233564 213624 800 2416 0 230666 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 934256 KiB
Current children cumulated memory: 854496 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 3.31 2.14 5/264 78733
/proc/meminfo: memFree=104878616/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=971268 memory=871864 CPUtime=401.21 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 254902 0 0 0 39861 260 0 0 20 0 1 0 71225604 994578432 217966 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 242817 217966 800 2416 0 239919 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 971268 KiB
Current children cumulated memory: 871864 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.46 2.27 5/264 78735
/proc/meminfo: memFree=104808340/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1008680 memory=927888 CPUtime=461.05 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 280149 0 0 0 45810 295 0 0 20 0 1 0 71225604 1032888320 231972 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 252170 231972 800 2416 0 249272 0
################
# More data... #
################
Current children cumulated memory: 1252564 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.19 4.04 5/262 78893
/proc/meminfo: memFree=104484632/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1334736 memory=1262292 CPUtime=2914.4 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1155764 0 0 0 289456 1984 0 0 20 0 1 0 71225604 1366769664 315573 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 333684 315573 800 2416 0 330786 0
Current children cumulated CPU time: 2914.4 s
Current children cumulated vsize: 1334736 KiB
Current children cumulated memory: 1262292 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.17 4.04 5/263 78896
/proc/meminfo: memFree=104432056/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1337264 memory=1247640 CPUtime=2974.26 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1164774 0 0 0 295407 2019 0 0 20 0 1 0 71225604 1369358336 311910 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 334316 311910 800 2416 0 331418 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 1337264 KiB
Current children cumulated memory: 1247640 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.15 4.04 5/263 78908
/proc/meminfo: memFree=104401016/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1338528 memory=1250768 CPUtime=3034.11 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1185611 0 0 0 301351 2060 0 0 20 0 1 0 71225604 1370652672 312692 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 334632 312692 800 2416 0 331734 0
Current children cumulated CPU time: 3034.11 s
Current children cumulated vsize: 1338528 KiB
Current children cumulated memory: 1250768 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.17 4.05 5/263 78910
/proc/meminfo: memFree=104389416/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1338528 memory=1245756 CPUtime=3093.95 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1217806 0 0 0 307289 2106 0 0 20 0 1 0 71225604 1370652672 311439 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 334632 311439 800 2416 0 331734 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1338528 KiB
Current children cumulated memory: 1245756 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.05 5/264 78915
/proc/meminfo: memFree=104358072/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1342128 memory=1260320 CPUtime=3153.8 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1240395 0 0 0 313228 2152 0 0 20 0 1 0 71225604 1374339072 315080 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 335532 315080 800 2416 0 332634 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 1342128 KiB
Current children cumulated memory: 1260320 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.06 5/264 78917
/proc/meminfo: memFree=104366612/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1345856 memory=1265752 CPUtime=3213.66 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1250048 0 0 0 319173 2193 0 0 20 0 1 0 71225604 1378156544 316438 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 336464 316438 800 2416 0 333566 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 1345856 KiB
Current children cumulated memory: 1265752 KiB
[startup+3282.3 s]
/proc/loadavg: 4.37 4.21 4.08 5/263 78923
/proc/meminfo: memFree=104368908/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1346364 memory=1261848 CPUtime=3273.5 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1276142 0 0 0 325117 2233 0 0 20 0 1 0 71225604 1378676736 315462 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 336591 315462 800 2416 0 333693 0
Current children cumulated CPU time: 3273.5 s
Current children cumulated vsize: 1346364 KiB
Current children cumulated memory: 1261848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.20 4.09 5/263 78925
/proc/meminfo: memFree=104367828/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1346364 memory=1253024 CPUtime=3333.35 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1307057 0 0 0 331059 2276 0 0 20 0 1 0 71225604 1378676736 313256 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 336591 313256 800 2416 0 333693 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 1346364 KiB
Current children cumulated memory: 1253024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.09 5/263 78927
/proc/meminfo: memFree=104206512/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1348680 memory=1268296 CPUtime=3393.2 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1330292 0 0 0 336996 2324 0 0 20 0 1 0 71225604 1381048320 317074 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 337170 317074 800 2416 0 334272 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 1348680 KiB
Current children cumulated memory: 1268296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/263 78929
/proc/meminfo: memFree=104314984/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1352304 memory=1269616 CPUtime=3453.05 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1339059 0 0 0 342944 2361 0 0 20 0 1 0 71225604 1384759296 317404 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 338076 317404 800 2416 0 335178 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 1352304 KiB
Current children cumulated memory: 1269616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/263 78931
/proc/meminfo: memFree=104329132/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1353232 memory=1268176 CPUtime=3512.89 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1366163 0 0 0 348886 2403 0 0 20 0 1 0 71225604 1385709568 317044 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 338308 317044 800 2416 0 335410 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 1353232 KiB
Current children cumulated memory: 1268176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/263 78933
/proc/meminfo: memFree=104281496/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1353444 memory=1270464 CPUtime=3572.74 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1396145 0 0 0 354829 2445 0 0 20 0 1 0 71225604 1385926656 317616 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 338361 317616 800 2416 0 335463 0
Current children cumulated CPU time: 3572.74 s
Current children cumulated vsize: 1353444 KiB
Current children cumulated memory: 1270464 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.13 4.14 4.09 5/263 78935
/proc/meminfo: memFree=104265748/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1353444 memory=1268416 CPUtime=3600.06 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1410573 0 0 0 357540 2466 0 0 20 0 1 0 71225604 1385926656 317104 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 338361 317104 800 2416 0 335463 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1353444 KiB
Current children cumulated memory: 1268416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 78702 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.41 s, system=24.6779 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.13 4.14 4.09 5/263 78935
/proc/meminfo: memFree=104265748/131249988 swapFree=33010416/33010684
[pid=78702] ppid=78699 vsize=1353444 memory=1268416 CPUtime=3600.06 cores=0,2
/proc/78702/stat : 78702 (CASHWMaxSAT-Dis) R 78699 78702 78644 0 -1 4194304 1410573 0 0 0 357540 2466 0 0 20 0 1 0 71225604 1385926656 317104 18446744073709551615 4198400 14093885 140722396759712 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52424704 140722396764522 140722396764637 140722396764637 140722396770239 0
/proc/78702/statm: 338361 317104 800 2416 0 335463 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1353444 KiB
Current children cumulated memory: 1268416 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.08
CPU user time (s): 3575.41
CPU system time (s): 24.6779
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 1469996
Max. memory (cumulated for all children) (KiB): 1333112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.41
system time used= 24.6779
maximum resident set size= 1335864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1410573
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= 129
involuntary context switches= 7928
# summary of solver processes directly reported to runsolver:
# pid: 78702
# total CPU time (s): 3600.08
# total CPU user time (s): 3575.41
# total CPU system time (s): 24.6779
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52588 second user time and 15.4891 second system time
The end
Begin job on nodeC031 at 2025-07-03 17:11:11
IDJOB=4519444
IDBENCH=177259
IDSOLVER=3323
FILE ID=nodeC031/4519444-1751555470
RUNJOBID= nodeC031-1751555470-78654
SLURM_JOB_ID= 9598748
Free space on /tmp= 432048 MiB
SOLVER NAME= CASHWMaxSATDisjCom-S 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/composed_pebbling_php_opt_pyramid/normalized-composed_pebbling_php_opt_pyramid_height30_pigeons29_holes28.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519444-1751555470/watcher-4519444-1751555470 -o /tmp/evaluation-result-4519444-1751555470/solver-4519444-1751555470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751555470-78654 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4519444-1751555470.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8ceefdda568d430d72bfadd598002dc
RANDOM SEED=1298160663
nodeC031 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 : 3599.895
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 : 6999.78
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 : 3573.914
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 : 6999.78
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 : 3599.674
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 : 6999.78
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.965
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 : 6999.78
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 : 3599.899
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 : 6999.78
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.033
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 : 6999.78
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 : 3599.944
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 : 6999.78
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 : 3600.230
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 : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108696652 kB
MemAvailable: 129588184 kB
Buffers: 2128 kB
Cached: 21575624 kB
SwapCached: 12 kB
Active: 501292 kB
Inactive: 21168916 kB
Active(anon): 100040 kB
Inactive(anon): 10468 kB
Active(file): 401252 kB
Inactive(file): 21158448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69948 kB
Writeback: 0 kB
AnonPages: 95972 kB
Mapped: 109868 kB
Shmem: 18052 kB
KReclaimable: 342144 kB
Slab: 434884 kB
SReclaimable: 342144 kB
SUnreclaim: 92740 kB
KernelStack: 4176 kB
PageTables: 2984 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 428688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432016 MiB
End job on nodeC031 at 2025-07-03 18:11:20