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 (61595 MiB free)
memory of node 1: 64473 MiB (61988 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450663-1721409082/watcher-4450663-1721409082 -o /tmp/evaluation-result-4450663-1721409082/solver-4450663-1721409082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721401899-1060095 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4450663-1721409082.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1064766, runsolver pid=1064763
[startup+0.100732 s]*
/proc/loadavg: 4.10 4.11 4.09 6/265 1064770
/proc/meminfo: memFree=126531176/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=39736 memory=20772 CPUtime=0.09 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 4852 0 0 0 9 0 0 0 20 0 1 0 193076362 40689664 5193 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 9934 5193 782 2417 0 7036 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58328 KiB
Current children cumulated memory: 24420 KiB
[startup+0.206745 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126531204/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=40420 memory=25040 CPUtime=0.19 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 6925 0 0 0 19 0 0 0 20 0 1 0 193076362 41390080 6260 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 10105 6260 782 2417 0 7207 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 59012 KiB
Current children cumulated memory: 28688 KiB
[startup+0.305955 s]*
/proc/loadavg: 4.10 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126531240/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=40420 memory=25420 CPUtime=0.29 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 7001 0 0 0 29 0 0 0 20 0 1 0 193076362 41390080 6355 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 10105 6355 814 2417 0 7207 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59012 KiB
Current children cumulated memory: 29068 KiB
[startup+0.700302 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126529752/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=43100 memory=26476 CPUtime=0.68 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 7296 0 0 0 68 0 0 0 20 0 1 0 193076362 44134400 6619 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 10775 6619 814 2417 0 7877 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61692 KiB
Current children cumulated memory: 30124 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126526720/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=50196 memory=35320 CPUtime=1.48 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 8444 0 0 0 147 1 0 0 20 0 1 0 193076362 51400704 8830 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 12549 8830 814 2417 0 9651 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 68788 KiB
Current children cumulated memory: 38968 KiB
[startup+3.10584 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126504796/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=45844 memory=31148 CPUtime=3.08 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 9033 0 0 0 307 1 0 0 20 0 1 0 193076362 46944256 7787 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 11461 7787 814 2417 0 8563 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64436 KiB
Current children cumulated memory: 34796 KiB
[startup+6.30029 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 1064770
/proc/meminfo: memFree=126503736/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=57336 memory=42424 CPUtime=6.26 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 9407 0 0 0 624 2 0 0 20 0 1 0 193076362 58712064 10606 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 14334 10606 814 2417 0 11436 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75928 KiB
Current children cumulated memory: 46072 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 1064771
/proc/meminfo: memFree=126485388/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=68940 memory=53908 CPUtime=12.64 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 9746 0 0 0 1262 2 0 0 20 0 1 0 193076362 70594560 13477 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 17235 13477 814 2417 0 14337 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 87532 KiB
Current children cumulated memory: 57556 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 1064773
/proc/meminfo: memFree=126456928/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=80496 memory=61472 CPUtime=25.4 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 12969 0 0 0 2536 4 0 0 20 0 1 0 193076362 82427904 15368 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 20124 15368 814 2417 0 17226 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 99088 KiB
Current children cumulated memory: 65120 KiB
[startup+51.1059 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 1064895
/proc/meminfo: memFree=126631208/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=92168 memory=77360 CPUtime=50.91 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 14076 0 0 0 5087 4 0 0 20 0 1 0 193076362 94380032 19340 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 23042 19340 814 2417 0 20144 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 110760 KiB
Current children cumulated memory: 81008 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.15 4.10 5/265 1065020
/proc/meminfo: memFree=126744208/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=110844 memory=96128 CPUtime=101.94 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 14730 0 0 0 10189 5 0 0 20 0 1 0 193076362 113504256 24032 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 27711 24032 814 2417 0 24813 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 129436 KiB
Current children cumulated memory: 99776 KiB
[startup+132.841 s]
# the end of solver process 1064766 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=132.309 s, system=0.090731 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.29 4.15 4.10 5/265 1065020
/proc/meminfo: memFree=126744208/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=110844 memory=96128 CPUtime=102.04 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 14730 0 0 0 10199 5 0 0 20 0 1 0 193076362 113504256 24032 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 27711 24032 814 2417 0 24813 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 129436 KiB
Current children cumulated memory: 99776 KiB
[startup+115.2 s]
/proc/loadavg: 4.23 4.14 4.10 5/265 1065023
/proc/meminfo: memFree=126802020/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=82428 CPUtime=114.8 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 16693 0 0 0 11473 7 0 0 20 0 1 0 193076362 101736448 20607 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 20607 814 2417 0 21940 0
Current children cumulated CPU time: 114.8 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 86076 KiB
[startup+121.6 s]
/proc/loadavg: 4.21 4.14 4.10 5/265 1065024
/proc/meminfo: memFree=126771136/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=121.18 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 12110 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 121.18 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
[startup+128 s]*
/proc/loadavg: 4.17 4.14 4.10 5/265 1065024
/proc/meminfo: memFree=126729276/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=127.57 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 12749 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 127.57 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
[startup+131.2 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 1065026
/proc/meminfo: memFree=126791380/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=130.76 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 13068 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 130.76 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
[startup+132 s]*
/proc/loadavg: 4.17 4.14 4.10 5/265 1065026
/proc/meminfo: memFree=126788832/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=131.56 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 13148 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 131.56 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
[startup+132.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 1065026
/proc/meminfo: memFree=126788832/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=131.95 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 13187 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 131.95 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
[startup+132.8 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 1065026
/proc/meminfo: memFree=126788832/131524600 swapFree=131071996/131071996
[pid=1064766] ppid=1064763 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/1064766/stat : 1064766 (Hybrid-LSMabSP+) S 1064763 1064766 1058917 0 -1 4194304 233 103 0 0 0 0 0 0 20 0 1 0 193076362 10170368 667 134679101440 94224120135680 94224121215000 140720773597056 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94224123313456 94224123360644 94224127131648 140720773600204 140720773600363 140720773600363 140720773607380 0
/proc/1064766/statm: 2483 667 590 264 0 134 0
[pid=1064769] ppid=1064766 vsize=8660 memory=980 CPUtime=0 cores=5,7
/proc/1064769/stat : 1064769 (timeout) S 1064766 1064769 1058917 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 193076362 8867840 245 134679101440 94631029534720 94631029569736 140726506237152 0 0 0 0 3145728 90119 0 0 0 17 5 0 0 0 0 0 94631031667152 94631031669284 94631051509760 140726506243095 140726506243227 140726506243227 140726506250215 0
/proc/1064769/statm: 2165 245 220 9 0 87 0
[pid=1064770] ppid=1064769 vsize=99352 memory=84692 CPUtime=132.35 cores=5,7
/proc/1064770/stat : 1064770 (CASHWMaxSAT-Dis) R 1064769 1064769 1058917 0 -1 4194304 17054 0 0 0 13227 8 0 0 20 0 1 0 193076362 101736448 21173 134679101440 4194304 14093885 140725210135184 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 15976432 16051504 39976960 140725210137629 140725210137748 140725210137748 140725210144736 0
/proc/1064770/statm: 24838 21173 814 2417 0 21940 0
Current children cumulated CPU time: 132.35 s
Current children cumulated vsize: 117944 KiB
Current children cumulated memory: 88340 KiB
Child status: 0
Real time (s): 132.841
CPU time (s): 132.4
CPU user time (s): 132.309
CPU system time (s): 0.090731
CPU usage (%): 99.6676
Max. virtual memory (cumulated for all children) (KiB): 167264
Max. memory (cumulated for all children) (KiB): 118080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 132.309
system time used= 0.090731
maximum resident set size= 146992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18368
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 92
# summary of solver processes directly reported to runsolver:
# pid: 1064766
# total CPU time (s): 132.4
# total CPU user time (s): 132.309
# total CPU system time (s): 0.090731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.291687 second user time and 0.729949 second system time
The end
Begin job on nodeC030 at 2024-07-19 19:11:36
IDJOB=4450663
IDBENCH=162192
IDSOLVER=3069
FILE ID=nodeC030/4450663-1721409082
RUNJOBID= nodeC030-1721401899-1060095
SLURM_JOB_ID= 7545453
Free space on /tmp= 889996 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450663-1721409082/watcher-4450663-1721409082 -o /tmp/evaluation-result-4450663-1721409082/solver-4450663-1721409082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721401899-1060095 --watchdog 3760 ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4450663-1721409082.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=310154108
nodeC030.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 : 3671.257
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.28
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 : 3677.724
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.11
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.675
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.28
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.816
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.11
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 : 3671.308
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.28
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 : 3684.652
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.11
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.949
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.28
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 : 3665.136
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126549944 kB
MemAvailable: 129114536 kB
Buffers: 506264 kB
Cached: 2879072 kB
SwapCached: 0 kB
Active: 1170000 kB
Inactive: 3135836 kB
Active(anon): 1596 kB
Inactive(anon): 964808 kB
Active(file): 1168404 kB
Inactive(file): 2171028 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58876 kB
Writeback: 0 kB
AnonPages: 918560 kB
Mapped: 133376 kB
Shmem: 45912 kB
KReclaimable: 129964 kB
Slab: 247372 kB
SReclaimable: 129964 kB
SUnreclaim: 117408 kB
KernelStack: 4160 kB
PageTables: 11080 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1295392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 884736 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: 262868 kB
DirectMap2M: 23627776 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC030 at 2024-07-19 19:13:49