runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (52095 MiB free)
memory of node 1: 64510 MiB (50176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449299-1721357906/watcher-4449299-1721357906 -o /tmp/evaluation-result-4449299-1721357906/solver-4449299-1721357906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979959 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449299-1721357906.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=984417, runsolver pid=984414
[startup+0.100144 s]*
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=104714860/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=28732 memory=14020 CPUtime=0.1 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 3062 0 0 0 9 1 0 0 20 0 1 0 187946779 29421568 3505 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 7216 3505 878 2594 0 4109 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28732 KiB
Current children cumulated memory: 14020 KiB
[startup+0.212881 s]*
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=104688352/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=45660 memory=30032 CPUtime=0.21 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 7620 0 0 0 20 1 0 0 20 0 1 0 187946779 46755840 7508 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 11415 7508 878 2594 0 8308 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45660 KiB
Current children cumulated memory: 30032 KiB
[startup+0.312676 s]*
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=104658572/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=66924 memory=50528 CPUtime=0.31 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 12688 0 0 0 29 2 0 0 20 0 1 0 187946779 68530176 12632 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 16731 12632 878 2594 0 13624 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 66924 KiB
Current children cumulated memory: 50528 KiB
[startup+0.700324 s]
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=104609080/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=126296 memory=109040 CPUtime=0.68 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 23756 0 0 0 64 4 0 0 20 0 1 0 187946779 129327104 27260 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 31574 27260 878 2594 0 28467 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126296 KiB
Current children cumulated memory: 109040 KiB
[startup+1.50032 s]
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=104482724/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=349728 memory=312348 CPUtime=1.48 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 42910 0 0 0 138 10 0 0 20 0 1 0 187946779 358121472 78087 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 87432 78087 894 2594 0 84325 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 349728 KiB
Current children cumulated memory: 312348 KiB
[startup+3.11248 s]
/proc/loadavg: 4.12 4.26 4.17 5/244 984418
/proc/meminfo: memFree=103904208/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=678540 memory=629444 CPUtime=3.09 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 64035 0 0 0 289 20 0 0 20 0 1 0 187946779 694824960 157361 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 169635 157361 894 2594 0 166528 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 678540 KiB
Current children cumulated memory: 629444 KiB
[startup+6.3003 s]
/proc/loadavg: 4.11 4.25 4.17 5/244 984418
/proc/meminfo: memFree=103510828/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=914692 memory=864612 CPUtime=6.27 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 108122 0 0 0 599 28 0 0 20 0 1 0 187946779 936644608 216153 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 228673 216153 894 2594 0 225566 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 914692 KiB
Current children cumulated memory: 864612 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.27 4.18 5/244 984420
/proc/meminfo: memFree=102638444/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=1364404 memory=1215524 CPUtime=12.65 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 195905 0 0 0 1219 46 0 0 20 0 1 0 187946779 1397149696 303815 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 341101 303881 894 2594 0 337994 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1364404 KiB
Current children cumulated memory: 1215524 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.25 4.18 5/244 984421
/proc/meminfo: memFree=100729320/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=2578736 memory=2376936 CPUtime=25.43 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 283251 0 0 0 2459 84 0 0 20 0 1 0 187946779 2640625664 594234 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 644684 594234 926 2594 0 641577 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2578736 KiB
Current children cumulated memory: 2376936 KiB
[startup+51.1126 s]
/proc/loadavg: 4.22 4.26 4.18 5/244 984427
/proc/meminfo: memFree=97144408/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=3956436 memory=3479912 CPUtime=50.98 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 399768 0 0 0 4968 130 0 0 20 0 1 0 187946779 4051390464 869978 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 989109 869978 926 2594 0 986002 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3956436 KiB
Current children cumulated memory: 3479912 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/246 984439
/proc/meminfo: memFree=93000136/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=5698244 memory=5247172 CPUtime=102.05 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 534778 0 0 0 10009 196 0 0 20 0 1 0 187946779 5835001856 1311793 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 1424561 1311793 926 2594 0 1421454 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 5698244 KiB
Current children cumulated memory: 5247172 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/246 984506
/proc/meminfo: memFree=97459404/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=6998604 memory=6268316 CPUtime=161.9 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 658942 0 0 0 15953 237 0 0 20 0 1 0 187946779 7166570496 1567079 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 1749651 1567079 926 2594 0 1746544 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 6998604 KiB
Current children cumulated memory: 6268316 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.23 4.18 5/246 984516
/proc/meminfo: memFree=89248880/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10034976 memory=9662232 CPUtime=221.73 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 746012 0 0 0 21856 317 0 0 20 0 1 0 187946779 10275815424 2415558 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2508744 2415558 926 2594 0 2505637 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 10034976 KiB
Current children cumulated memory: 9662232 KiB
[startup+282.3 s]
/proc/loadavg: 4.75 4.38 4.24 5/246 984574
/proc/meminfo: memFree=99095440/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10182588 memory=8920972 CPUtime=281.55 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 820906 0 0 0 27811 344 0 0 20 0 1 0 187946779 10426970112 2230243 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2545647 2230243 926 2594 0 2542540 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 10182588 KiB
Current children cumulated memory: 8920972 KiB
[startup+342.3 s]
/proc/loadavg: 4.36 4.34 4.23 5/243 984584
/proc/meminfo: memFree=93679676/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10479060 memory=9528712 CPUtime=341.38 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 896613 0 0 0 33768 370 0 0 20 0 1 0 187946779 10730557440 2382178 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2619765 2382178 926 2594 0 2616658 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 10479060 KiB
Current children cumulated memory: 9528712 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.29 4.22 5/243 984595
/proc/meminfo: memFree=88861076/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10735864 memory=10056336 CPUtime=401.21 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 964268 0 0 0 39727 394 0 0 20 0 1 0 187946779 10993524736 2514084 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2683966 2514084 926 2594 0 2680859 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 10735864 KiB
Current children cumulated memory: 10056336 KiB
[startup+421.895 s]
# the end of solver process 984417 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=416.498 s, system=4.26288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.22 4.30 4.22 5/241 984597
/proc/meminfo: memFree=88567712/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10768848 memory=10122260 CPUtime=408.49 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 972638 0 0 0 40452 397 0 0 20 0 1 0 187946779 11027300352 2530565 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2692212 2530565 926 2594 0 2689105 0
Current children cumulated CPU time: 408.49 s
Current children cumulated vsize: 10768848 KiB
Current children cumulated memory: 10122260 KiB
[startup+416 s]*
/proc/loadavg: 4.20 4.29 4.22 5/241 984597
/proc/meminfo: memFree=88303560/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10796380 memory=10180748 CPUtime=414.88 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 979635 0 0 0 41088 400 0 0 20 0 1 0 187946779 11055493120 2545187 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2699095 2545187 926 2594 0 2695988 0
Current children cumulated CPU time: 414.88 s
Current children cumulated vsize: 10796380 KiB
Current children cumulated memory: 10180748 KiB
[startup+419.2 s]
/proc/loadavg: 4.19 4.29 4.22 5/241 984598
/proc/meminfo: memFree=88203004/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10809760 memory=10206448 CPUtime=418.07 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 983004 0 0 0 41404 403 0 0 20 0 1 0 187946779 11069194240 2551612 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2702440 2551612 926 2594 0 2699333 0
Current children cumulated CPU time: 418.07 s
Current children cumulated vsize: 10809760 KiB
Current children cumulated memory: 10206448 KiB
[startup+420.8 s]
/proc/loadavg: 4.19 4.29 4.22 5/241 984598
/proc/meminfo: memFree=88164408/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10816872 memory=10221768 CPUtime=419.66 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 984925 0 0 0 41562 404 0 0 20 0 1 0 187946779 11076476928 2555442 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2704218 2555442 926 2594 0 2701111 0
Current children cumulated CPU time: 419.66 s
Current children cumulated vsize: 10816872 KiB
Current children cumulated memory: 10221768 KiB
[startup+421.6 s]
/proc/loadavg: 4.19 4.29 4.22 5/241 984598
/proc/meminfo: memFree=88126908/131655788 swapFree=131071996/131071996
[pid=984417] ppid=984414 vsize=10817004 memory=10222980 CPUtime=420.46 cores=4,6
/proc/984417/stat : 984417 (CASHWMaxSAT-Dis) R 984414 984417 979948 0 -1 4194304 984969 0 0 0 41642 404 0 0 20 0 1 0 187946779 11076612096 2555745 134679101440 4194304 14817773 140721018627280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 44802048 140721018631140 140721018631255 140721018631255 140721018638271 0
/proc/984417/statm: 2704251 2555745 1182 2594 0 2701144 0
Current children cumulated CPU time: 420.46 s
Current children cumulated vsize: 10817004 KiB
Current children cumulated memory: 10222980 KiB
[startup+421.813 s]
/proc/loadavg: 4.19 4.29 4.22 5/241 984598
/proc/meminfo: memFree=88751824/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 421.895
CPU time (s): 420.761
CPU user time (s): 416.498
CPU system time (s): 4.26288
CPU usage (%): 99.7313
Max. virtual memory (cumulated for all children) (KiB): 10817004
Max. memory (cumulated for all children) (KiB): 10222980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 416.498
system time used= 4.26288
maximum resident set size= 10223116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 984977
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 542
# summary of solver processes directly reported to runsolver:
# pid: 984417
# total CPU time (s): 420.761
# total CPU user time (s): 416.498
# total CPU system time (s): 4.26288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.02391 second user time and 4.02672 second system time
The end
Begin job on nodeC003 at 2024-07-19 04:58:39
IDJOB=4449299
IDBENCH=160494
IDSOLVER=3075
FILE ID=nodeC003/4449299-1721357906
RUNJOBID= nodeC003-1721353376-979959
SLURM_JOB_ID= 7542767
Free space on /tmp= 723412 MiB
SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449299-1721357906/watcher-4449299-1721357906 -o /tmp/evaluation-result-4449299-1721357906/solver-4449299-1721357906 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721353376-979959 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4449299-1721357906.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2105f8bb71cd7b58626f31eda9524247
RANDOM SEED=559962786
nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.516
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.304
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.388
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.881
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3589.779
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.234
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.76
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.30
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 104727688 kB
MemAvailable: 110677760 kB
Buffers: 526880 kB
Cached: 6196448 kB
SwapCached: 0 kB
Active: 1222268 kB
Inactive: 24978060 kB
Active(anon): 1452 kB
Inactive(anon): 19513296 kB
Active(file): 1220816 kB
Inactive(file): 5464764 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 81340 kB
Writeback: 0 kB
AnonPages: 19477128 kB
Mapped: 117492 kB
Shmem: 37704 kB
KReclaimable: 209048 kB
Slab: 324292 kB
SReclaimable: 209048 kB
SUnreclaim: 115244 kB
KernelStack: 3920 kB
PageTables: 47968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 21984036 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8091648 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: 275272 kB
DirectMap2M: 31086592 kB
DirectMap1G: 104857600 kB
Free space on /tmp at the end= 723416 MiB
End job on nodeC003 at 2024-07-19 05:05:41