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: 63968 MiB (61793 MiB free)
memory of node 1: 64473 MiB (62106 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444017-1721308572/watcher-4444017-1721308572 -o /tmp/evaluation-result-4444017-1721308572/solver-4444017-1721308572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4444017-1721308572.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=958871, runsolver pid=958868
[startup+0.100366 s]*
/proc/loadavg: 4.17 4.15 3.50 5/263 958875
/proc/meminfo: memFree=126854004/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=37548 memory=19164 CPUtime=0.09 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 4122 0 0 0 9 0 0 0 20 0 1 0 183022212 38449152 4791 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 9387 4791 750 2417 0 6489 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56140 KiB
Current children cumulated memory: 22916 KiB
[startup+0.205862 s]*
/proc/loadavg: 4.17 4.15 3.50 5/263 958875
/proc/meminfo: memFree=126838212/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=54144 memory=35576 CPUtime=0.2 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 8273 0 0 0 19 1 0 0 20 0 1 0 183022212 55443456 8894 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 13536 8894 750 2417 0 10638 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72736 KiB
Current children cumulated memory: 39328 KiB
[startup+0.305984 s]*
/proc/loadavg: 4.17 4.15 3.50 5/263 958877
/proc/meminfo: memFree=126820036/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=69780 memory=51296 CPUtime=0.29 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 12157 0 0 0 28 1 0 0 20 0 1 0 183022212 71454720 12824 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 17445 12824 750 2417 0 14547 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 88372 KiB
Current children cumulated memory: 55048 KiB
[startup+0.700301 s]
/proc/loadavg: 4.17 4.15 3.50 5/263 958877
/proc/meminfo: memFree=126786740/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=109148 memory=94148 CPUtime=0.68 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 22794 0 0 0 65 3 0 0 20 0 1 0 183022212 111767552 23537 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 27287 23537 782 2417 0 24389 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127740 KiB
Current children cumulated memory: 97900 KiB
[startup+1.50028 s]
/proc/loadavg: 4.17 4.15 3.50 5/263 958877
/proc/meminfo: memFree=126787388/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=116092 memory=99444 CPUtime=1.47 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 24017 0 0 0 144 3 0 0 20 0 1 0 183022212 118878208 24861 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 29023 24861 814 2417 0 26125 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 134684 KiB
Current children cumulated memory: 103196 KiB
[startup+3.10567 s]
/proc/loadavg: 4.17 4.15 3.50 5/263 958877
/proc/meminfo: memFree=126847452/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=116160 memory=101356 CPUtime=3.08 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 25638 0 0 0 304 4 0 0 20 0 1 0 183022212 118947840 25339 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 29040 25339 814 2417 0 26142 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 134752 KiB
Current children cumulated memory: 105108 KiB
[startup+6.30029 s]
/proc/loadavg: 4.16 4.15 3.51 5/263 958877
/proc/meminfo: memFree=126815704/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=134832 memory=120748 CPUtime=6.26 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 27086 0 0 0 621 5 0 0 20 0 1 0 183022212 138067968 30187 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 33708 30187 814 2417 0 30810 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 153424 KiB
Current children cumulated memory: 124500 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 3.51 5/263 958878
/proc/meminfo: memFree=126759292/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=134832 memory=120984 CPUtime=12.65 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 27112 0 0 0 1260 5 0 0 20 0 1 0 183022212 138067968 30246 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 33708 30246 814 2417 0 30810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 153424 KiB
Current children cumulated memory: 124736 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.15 3.52 5/263 958880
/proc/meminfo: memFree=126756196/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=134832 memory=120984 CPUtime=25.42 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 27138 0 0 0 2537 5 0 0 20 0 1 0 183022212 138067968 30246 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 33708 30246 814 2417 0 30810 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 153424 KiB
Current children cumulated memory: 124736 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.14 3.54 5/263 958884
/proc/meminfo: memFree=126857484/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=153684 memory=139784 CPUtime=50.95 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 27998 0 0 0 5089 6 0 0 20 0 1 0 183022212 157372416 34946 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 38421 34946 814 2417 0 35523 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 172276 KiB
Current children cumulated memory: 143536 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 3.57 5/262 958894
/proc/meminfo: memFree=126859476/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
################
# More data... #
################
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 939.94 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+992.351 s]
# the end of solver process 958871 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=989.773 s, system=0.078042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+947.2 s]
/proc/loadavg: 4.15 4.17 3.96 5/266 959660
/proc/meminfo: memFree=126948160/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=944.82 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30542 0 0 0 94475 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 944.82 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+972.8 s]
/proc/loadavg: 4.17 4.17 3.97 5/266 959665
/proc/meminfo: memFree=126938896/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=970.34 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30546 0 0 0 97027 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 970.34 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+985.6 s]
/proc/loadavg: 4.13 4.16 3.97 5/266 959667
/proc/meminfo: memFree=126938532/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=983.11 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98304 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 983.11 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+988.8 s]
/proc/loadavg: 4.13 4.16 3.97 5/266 959667
/proc/meminfo: memFree=126938056/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=986.3 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98623 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 986.3 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+990.4 s]
/proc/loadavg: 4.12 4.16 3.97 5/266 959667
/proc/meminfo: memFree=126937972/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=987.89 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98782 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 987.89 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+991.2 s]
/proc/loadavg: 4.12 4.16 3.97 5/266 959668
/proc/meminfo: memFree=126937832/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=988.69 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98862 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 988.69 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+992 s]*
/proc/loadavg: 4.12 4.16 3.97 5/266 959668
/proc/meminfo: memFree=126937804/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=989.49 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98942 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 989.49 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+992.2 s]
/proc/loadavg: 4.12 4.16 3.97 5/266 959668
/proc/meminfo: memFree=126937804/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=989.69 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98962 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 989.69 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
[startup+992.3 s]
/proc/loadavg: 4.12 4.16 3.97 5/266 959668
/proc/meminfo: memFree=126937804/131524600 swapFree=131070704/131071996
[pid=958871] ppid=958868 vsize=9932 memory=2720 CPUtime=0 cores=1,3
/proc/958871/stat : 958871 (Hybrid-CASHWMax) S 958868 958871 956781 0 -1 4194304 237 100 0 0 0 0 0 0 20 0 1 0 183022211 10170368 680 134679101440 94706188791808 94706189871128 140729484024544 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94706191969584 94706192016772 94706218754048 140729484026831 140729484026989 140729484026989 140729484034005 0
/proc/958871/statm: 2483 680 602 264 0 134 0
[pid=958874] ppid=958871 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/958874/stat : 958874 (timeout) S 958871 958874 956781 0 -1 4194304 104 0 0 0 0 0 0 0 20 0 1 0 183022212 8867840 258 134679101440 94469868650496 94469868685512 140736636233104 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94469870782928 94469870785060 94469880696832 140736636240907 140736636241052 140736636241052 140736636248039 0
/proc/958874/statm: 2165 258 234 9 0 87 0
[pid=958875] ppid=958874 vsize=184368 memory=146636 CPUtime=989.79 cores=1,3
/proc/958875/stat : 958875 (CASHWMaxSAT-Dis) R 958874 958874 956781 0 -1 4194304 30614 0 0 0 98972 7 0 0 20 0 1 0 183022212 188792832 36659 134679101440 4194304 14093885 140726994661744 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 37044224 140726994670609 140726994670741 140726994670741 140726994677728 0
/proc/958875/statm: 46092 36659 814 2417 0 43194 0
Current children cumulated CPU time: 989.79 s
Current children cumulated vsize: 202960 KiB
Current children cumulated memory: 150388 KiB
Child status: 0
Real time (s): 992.351
CPU time (s): 989.852
CPU user time (s): 989.773
CPU system time (s): 0.078042
CPU usage (%): 99.7481
Max. virtual memory (cumulated for all children) (KiB): 202960
Max. memory (cumulated for all children) (KiB): 150388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 989.773
system time used= 0.078042
maximum resident set size= 146636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31305
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45
involuntary context switches= 345
# summary of solver processes directly reported to runsolver:
# pid: 958871
# total CPU time (s): 989.852
# total CPU user time (s): 989.773
# total CPU system time (s): 0.078042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87088 second user time and 4.3384 second system time
The end
Begin job on nodeC023 at 2024-07-18 15:16:25
IDJOB=4444017
IDBENCH=147893
IDSOLVER=3073
FILE ID=nodeC023/4444017-1721308572
RUNJOBID= nodeC023-1721307465-956793
SLURM_JOB_ID= 7542649
Free space on /tmp= 890024 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4444017-1721308572/watcher-4444017-1721308572 -o /tmp/evaluation-result-4444017-1721308572/solver-4444017-1721308572 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4444017-1721308572.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1429159920
nodeC023.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 : 0xb00002a
cpu MHz : 3669.443
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3674.654
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.48
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.959
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3660.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 invpcid_single pti ibrs ibpb stibp 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 : 7005.48
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 : 3669.445
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3675.495
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.062
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 invpcid_single pti ibrs ibpb stibp 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 : 6999.61
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 : 3603.807
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 invpcid_single pti ibrs ibpb stibp 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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126873520 kB
MemAvailable: 128828256 kB
Buffers: 502788 kB
Cached: 2280952 kB
SwapCached: 80 kB
Active: 1075136 kB
Inactive: 3009452 kB
Active(anon): 1644 kB
Inactive(anon): 1336452 kB
Active(file): 1073492 kB
Inactive(file): 1673000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 20480 kB
Writeback: 12 kB
AnonPages: 1297908 kB
Mapped: 116596 kB
Shmem: 37536 kB
KReclaimable: 96136 kB
Slab: 189032 kB
SReclaimable: 96136 kB
SUnreclaim: 92896 kB
KernelStack: 4220 kB
PageTables: 12080 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1839756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1118208 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC023 at 2024-07-18 15:32:58