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: 64059 MiB (63126 MiB free)
memory of node 1: 64510 MiB (59487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438421-1722965021/watcher-4438421-1722965021 -o /tmp/evaluation-result-4438421-1722965021/solver-4438421-1722965021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722959538-329632 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438421-1722965021.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=332883, runsolver pid=332880
[startup+0.100098 s]*
/proc/loadavg: 4.17 4.29 4.20 5/249 332887
/proc/meminfo: memFree=125537276/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=45280 memory=26220 CPUtime=0.1 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 6179 0 0 0 9 1 0 0 20 0 1 0 63099030 46366720 6555 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 11320 6555 782 2417 0 8422 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63872 KiB
Current children cumulated memory: 29824 KiB
[startup+0.213649 s]*
/proc/loadavg: 4.17 4.29 4.20 5/249 332887
/proc/meminfo: memFree=125505104/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=95764 memory=62384 CPUtime=0.21 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 11413 0 0 0 19 2 0 0 20 0 1 0 63099030 98062336 15596 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 23941 15596 782 2417 0 21043 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 114356 KiB
Current children cumulated memory: 65988 KiB
[startup+0.313328 s]*
/proc/loadavg: 4.17 4.29 4.20 5/249 332887
/proc/meminfo: memFree=125489628/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=101296 memory=73276 CPUtime=0.3 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 13193 0 0 0 28 2 0 0 20 0 1 0 63099030 103727104 18319 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 25324 18319 782 2417 0 22426 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 119888 KiB
Current children cumulated memory: 76880 KiB
[startup+0.700465 s]
/proc/loadavg: 4.17 4.29 4.20 5/249 332887
/proc/meminfo: memFree=125421072/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=147904 memory=122524 CPUtime=0.68 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 22592 0 0 0 64 4 0 0 20 0 1 0 63099030 151453696 30631 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 36976 30631 782 2417 0 34078 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 166496 KiB
Current children cumulated memory: 126128 KiB
[startup+1.50047 s]
/proc/loadavg: 4.23 4.30 4.21 5/249 332887
/proc/meminfo: memFree=125418300/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=180012 memory=150424 CPUtime=1.48 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 24781 0 0 0 144 4 0 0 20 0 1 0 63099030 184332288 37606 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 45003 37606 782 2417 0 42105 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 198604 KiB
Current children cumulated memory: 154028 KiB
[startup+3.11333 s]
/proc/loadavg: 4.23 4.30 4.21 5/249 332887
/proc/meminfo: memFree=125407288/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=180012 memory=150424 CPUtime=3.08 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 24793 0 0 0 304 4 0 0 20 0 1 0 63099030 184332288 37606 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 45003 37606 782 2417 0 42105 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 198604 KiB
Current children cumulated memory: 154028 KiB
[startup+6.30049 s]
/proc/loadavg: 4.21 4.29 4.21 5/249 332889
/proc/meminfo: memFree=125382040/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=180012 memory=154992 CPUtime=6.26 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 24935 0 0 0 621 5 0 0 20 0 1 0 63099030 184332288 38748 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 45003 38748 814 2417 0 42105 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 198604 KiB
Current children cumulated memory: 158596 KiB
[startup+12.7005 s]
/proc/loadavg: 4.20 4.29 4.20 5/249 332889
/proc/meminfo: memFree=125382948/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=198868 memory=173780 CPUtime=12.64 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 25075 0 0 0 1258 6 0 0 20 0 1 0 63099030 203640832 43445 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 49717 43445 814 2417 0 46819 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 177384 KiB
[startup+25.5005 s]
/proc/loadavg: 4.24 4.29 4.21 5/249 332892
/proc/meminfo: memFree=125382052/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=198868 memory=173780 CPUtime=25.4 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 25129 0 0 0 2534 6 0 0 20 0 1 0 63099030 203640832 43445 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 49717 43445 814 2417 0 46819 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 177384 KiB
[startup+30.5246 s]
# the end of solver process 332883 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=30.1095 s, system=0.296995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 4.24 4.29 4.21 5/249 332892
/proc/meminfo: memFree=125382052/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=198868 memory=173780 CPUtime=25.5 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 25129 0 0 0 2544 6 0 0 20 0 1 0 63099030 203640832 43445 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 49717 43445 814 2417 0 46819 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 217460 KiB
Current children cumulated memory: 177384 KiB
[startup+28.8004 s]
/proc/loadavg: 4.22 4.29 4.21 5/249 332892
/proc/meminfo: memFree=125382052/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=260956 memory=239368 CPUtime=28.69 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 40339 0 0 0 2861 8 0 0 20 0 1 0 63099030 267218944 59842 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 65239 59842 2142 2417 0 62341 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 279548 KiB
Current children cumulated memory: 242972 KiB
[startup+29.6004 s]
/proc/loadavg: 4.22 4.29 4.21 5/249 332892
/proc/meminfo: memFree=125205760/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=713980 memory=690864 CPUtime=29.48 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 147474 0 0 0 2925 23 0 0 20 0 1 0 63099030 731115520 172716 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 178495 172716 2286 2417 0 175597 0
Current children cumulated CPU time: 29.48 s
Current children cumulated vsize: 732572 KiB
Current children cumulated memory: 694468 KiB
[startup+30.0005 s]*
/proc/loadavg: 4.22 4.29 4.21 5/249 332892
/proc/meminfo: memFree=124764608/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=828024 memory=795852 CPUtime=29.89 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 173689 0 0 0 2963 26 0 0 20 0 1 0 63099030 847896576 198963 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 207006 198963 2334 2417 0 204108 0
Current children cumulated CPU time: 29.89 s
Current children cumulated vsize: 846616 KiB
Current children cumulated memory: 799456 KiB
[startup+30.4005 s]
/proc/loadavg: 4.22 4.29 4.21 5/249 332892
/proc/meminfo: memFree=124764608/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
[pid=332887] ppid=332886 vsize=828024 memory=795852 CPUtime=30.28 cores=0,2
/proc/332887/stat : 332887 (CASHWMaxSAT-Dis) R 332886 332886 329622 0 -1 4194304 173689 0 0 0 3002 26 0 0 20 0 1 0 63099030 847896576 198963 134679101440 4194304 14093885 140731185754592 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 36286464 140731185763350 140731185763482 140731185763482 140731185770464 0
/proc/332887/statm: 207006 198963 2334 2417 0 204108 0
Current children cumulated CPU time: 30.28 s
Current children cumulated vsize: 846616 KiB
Current children cumulated memory: 799456 KiB
[startup+30.5005 s]
/proc/loadavg: 4.22 4.29 4.21 5/249 332892
/proc/meminfo: memFree=124764608/131655788 swapFree=131071996/131071996
[pid=332883] ppid=332880 vsize=9932 memory=2656 CPUtime=0 cores=0,2
/proc/332883/stat : 332883 (Hybrid-CASHWMax) S 332880 332883 329622 0 -1 4194304 241 104 0 0 0 0 0 0 20 0 1 0 63099029 10170368 664 134679101440 94904139722752 94904140802072 140722650643312 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94904142900528 94904142947716 94904148992000 140722650645460 140722650645618 140722650645618 140722650652629 0
/proc/332883/statm: 2483 664 585 264 0 134 0
[pid=332886] ppid=332883 vsize=8660 memory=948 CPUtime=0 cores=0,2
/proc/332886/stat : 332886 (timeout) S 332883 332886 329622 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 63099029 8867840 237 134679101440 93921380745216 93921380780232 140730722676736 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93921382877648 93921382879780 93921387474944 140730722681872 140730722682017 140730722682017 140730722688999 0
/proc/332886/statm: 2165 237 212 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3604 KiB
Child status: 0
Real time (s): 30.5247
CPU time (s): 30.4065
CPU user time (s): 30.1095
CPU system time (s): 0.296995
CPU usage (%): 99.6126
Max. virtual memory (cumulated for all children) (KiB): 846616
Max. memory (cumulated for all children) (KiB): 799456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.1095
system time used= 0.296995
maximum resident set size= 795852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 212
# summary of solver processes directly reported to runsolver:
# pid: 332883
# total CPU time (s): 30.4065
# total CPU user time (s): 30.1095
# total CPU system time (s): 0.296995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.215221 second user time and 0.36342 second system time
The end
Begin job on nodeC010 at 2024-08-06 19:23:41
IDJOB=4438421
IDBENCH=148771
IDSOLVER=3073
FILE ID=nodeC010/4438421-1722965021
RUNJOBID= nodeC010-1722959538-329632
SLURM_JOB_ID= 8259036
Free space on /tmp= 723728 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx60.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438421-1722965021/watcher-4438421-1722965021 -o /tmp/evaluation-result-4438421-1722965021/solver-4438421-1722965021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722959538-329632 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438421-1722965021.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c4903dfb08836eadb378d0a168fb9840
RANDOM SEED=971889966
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3514.637
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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 : 3662.141
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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.124
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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.246
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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 : 3669.915
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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 : 3660.551
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
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.243
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
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.151
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 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125557000 kB
MemAvailable: 128940652 kB
Buffers: 341640 kB
Cached: 3893944 kB
SwapCached: 0 kB
Active: 632544 kB
Inactive: 4982920 kB
Active(anon): 2012 kB
Inactive(anon): 1424124 kB
Active(file): 630532 kB
Inactive(file): 3558796 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17676 kB
Writeback: 72 kB
AnonPages: 1380320 kB
Mapped: 118780 kB
Shmem: 45888 kB
KReclaimable: 68712 kB
Slab: 154104 kB
SReclaimable: 68712 kB
SUnreclaim: 85392 kB
KernelStack: 3952 kB
PageTables: 11952 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1817740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 536576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723712 MiB
End job on nodeC010 at 2024-08-06 19:24:12