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: 63931 MiB (61650 MiB free)
memory of node 1: 64510 MiB (63403 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437271-1722976969/watcher-4437271-1722976969 -o /tmp/evaluation-result-4437271-1722976969/solver-4437271-1722976969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722971562-350198 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437271-1722976969.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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=353732, runsolver pid=353729
[startup+0.100253 s]*
/proc/loadavg: 4.13 4.10 4.13 5/268 353736
/proc/meminfo: memFree=128045960/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=25100 memory=12552 CPUtime=0.09 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 2151 0 0 0 9 0 0 0 20 0 1 0 64294295 25702400 3138 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 6275 3138 1073 2753 0 2928 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 16260 KiB
[startup+0.205758 s]*
/proc/loadavg: 4.13 4.10 4.13 6/268 353736
/proc/meminfo: memFree=128040996/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=31244 memory=16644 CPUtime=0.19 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 3152 0 0 0 19 0 0 0 20 0 1 0 64294295 31993856 4161 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 7811 4161 1073 2753 0 4464 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49836 KiB
Current children cumulated memory: 20352 KiB
[startup+0.305729 s]*
/proc/loadavg: 4.13 4.10 4.13 6/268 353737
/proc/meminfo: memFree=128039144/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=31244 memory=18692 CPUtime=0.29 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 3153 0 0 0 29 0 0 0 20 0 1 0 64294295 31993856 4673 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 7811 4673 1073 2753 0 4464 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49836 KiB
Current children cumulated memory: 22400 KiB
[startup+0.700202 s]
/proc/loadavg: 4.13 4.10 4.13 5/268 353737
/proc/meminfo: memFree=128034912/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=39436 memory=26888 CPUtime=0.68 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 3674 0 0 0 68 0 0 0 20 0 1 0 64294295 40382464 6722 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 9859 6722 1073 2753 0 6512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 58028 KiB
Current children cumulated memory: 30596 KiB
[startup+1.50022 s]
/proc/loadavg: 4.12 4.10 4.12 5/268 353737
/proc/meminfo: memFree=128024476/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=55820 memory=43276 CPUtime=1.48 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 4203 0 0 0 147 1 0 0 20 0 1 0 64294295 57159680 10819 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 13955 10819 1073 2753 0 10608 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 74412 KiB
Current children cumulated memory: 46984 KiB
[startup+3.10569 s]
/proc/loadavg: 4.12 4.10 4.12 5/268 353737
/proc/meminfo: memFree=127979160/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=219664 memory=88248 CPUtime=3.08 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 5288 0 0 0 306 2 0 0 20 0 1 0 64294295 224935936 22062 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 54916 22062 1073 2753 0 51569 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 238256 KiB
Current children cumulated memory: 91956 KiB
[startup+6.30027 s]
/proc/loadavg: 4.11 4.10 4.12 5/268 353737
/proc/meminfo: memFree=127617656/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=355780 memory=289932 CPUtime=6.27 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 14487 0 0 0 615 12 0 0 20 0 1 0 64294295 364318720 72483 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 88945 72483 1105 2753 0 85598 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 374372 KiB
Current children cumulated memory: 293640 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.12 5/268 353739
/proc/meminfo: memFree=125103368/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=1774080 memory=1594080 CPUtime=12.66 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 213328 0 0 0 1214 52 0 0 20 0 1 0 64294295 1816657920 398520 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 443520 398520 2737 2753 0 440173 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1792672 KiB
Current children cumulated memory: 1597788 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.09 4.12 5/268 353740
/proc/meminfo: memFree=122274496/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=2300936 memory=2103652 CPUtime=25.43 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 255024 0 0 0 2475 68 0 0 20 0 1 0 64294295 2356158464 525913 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 575234 525913 2769 2753 0 571887 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 2319528 KiB
Current children cumulated memory: 2107360 KiB
[startup+51.106 s]
/proc/loadavg: 4.17 4.11 4.13 5/268 353745
/proc/meminfo: memFree=122245464/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 669 592 264 0 134 0
[pid=353735] ppid=353732 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/353735/stat : 353735 (timeout) S 353732 353735 350186 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64294295 8867840 258 134679101440 94045388169216 94045388204232 140720514680640 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94045390301648 94045390303780 94045397536768 140720514688041 140720514688157 140720514688157 140720514695143 0
/proc/353735/statm: 2165 258 234 9 0 87 0
[pid=353736] ppid=353735 vsize=2300936 memory=2103900 CPUtime=50.98 cores=1,3
/proc/353736/stat : 353736 (LS-MabSP) R 353735 353735 350186 0 -1 4194304 255115 0 0 0 5029 69 0 0 20 0 1 0 64294295 2356158464 525975 134679101440 4194304 15467897 140720376987232 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 47222784 140720376992828 140720376992931 140720376992931 140720376999917 0
/proc/353736/statm: 575234 525975 2817 2753 0 571887 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2319528 KiB
Current children cumulated memory: 2107608 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/268 353754
/proc/meminfo: memFree=122232996/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2676 CPUtime=0 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 64294294 10170368 669 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
################
# More data... #
################
/proc/354751/statm: 189919 179464 748 737 0 189007 0
Current children cumulated CPU time: 3393.54 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 721604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/265 355671
/proc/meminfo: memFree=125009788/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=733868 CPUtime=1659.65 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 117428 0 0 0 165921 44 0 0 20 0 1 0 64474102 777908224 183467 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 183467 748 737 0 189007 0
Current children cumulated CPU time: 3453.4 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 737616 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.11 5/265 355682
/proc/meminfo: memFree=125001864/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740100 CPUtime=1719.52 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 117727 0 0 0 171908 44 0 0 20 0 1 0 64474102 777908224 185025 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185025 748 737 0 189007 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743848 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/265 355692
/proc/meminfo: memFree=124969444/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1779.38 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118106 0 0 0 177894 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3596.09 s]
# the end of solver process 353732 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.3 s, system=2.60968 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.11 5/265 355692
/proc/meminfo: memFree=124969500/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1781.08 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118106 0 0 0 178064 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3574.83 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.11 4.11 5/261 355728
/proc/meminfo: memFree=126874936/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1787.46 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118233 0 0 0 178702 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.11 4.11 5/265 355764
/proc/meminfo: memFree=126512884/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1790.65 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118233 0 0 0 179021 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3584.4 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.11 4.11 5/265 355764
/proc/meminfo: memFree=125969164/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1792.25 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118233 0 0 0 179181 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3595.6 s]
/proc/loadavg: 4.14 4.11 4.11 5/265 355764
/proc/meminfo: memFree=125969164/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1792.65 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118233 0 0 0 179221 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
[startup+3596 s]*
/proc/loadavg: 4.14 4.11 4.11 5/265 355764
/proc/meminfo: memFree=125721252/131524600 swapFree=131071996/131071996
[pid=353732] ppid=353729 vsize=9932 memory=2728 CPUtime=1793.75 cores=1,3
/proc/353732/stat : 353732 (Hybrid-LSMabSP+) S 353729 353732 350186 0 -1 4194304 272 260144 0 0 0 0 179160 215 20 0 1 0 64294294 10170368 682 134679101440 94272611860480 94272612939800 140725176861968 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94272615038256 94272615085444 94272627634176 140725176869864 140725176870010 140725176870010 140725176877025 0
/proc/353732/statm: 2483 682 592 264 0 134 0
[pid=354750] ppid=353732 vsize=8660 memory=1020 CPUtime=0 cores=1,3
/proc/354750/stat : 354750 (timeout) S 353732 354750 350186 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 64474102 8867840 255 134679101440 94202656612352 94202656647368 140725790624736 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94202658744784 94202658746916 94202666237952 140725790630900 140725790631069 140725790631069 140725790638055 0
/proc/354750/statm: 2165 255 230 9 0 87 0
[pid=354751] ppid=354750 vsize=759676 memory=740104 CPUtime=1793.05 cores=1,3
/proc/354751/stat : 354751 (Exact) R 354750 354750 350186 0 -1 4194304 118233 0 0 0 179261 44 0 0 20 0 1 0 64474102 777908224 185026 134679101440 4194304 7210733 140729988138464 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1 0 0 7850304 7914896 14368768 140729988142096 140729988142246 140729988142246 140729988149232 0
/proc/354751/statm: 189919 185026 748 737 0 189007 0
Current children cumulated CPU time: 3586.8 s
Current children cumulated vsize: 778268 KiB
Current children cumulated memory: 743852 KiB
Child status: 0
Real time (s): 3596.09
CPU time (s): 3586.91
CPU user time (s): 3584.3
CPU system time (s): 2.60968
CPU usage (%): 99.7447
Max. virtual memory (cumulated for all children) (KiB): 2398104
Max. memory (cumulated for all children) (KiB): 2149412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.3
system time used= 2.60968
maximum resident set size= 2165972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381804
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188
involuntary context switches= 1496
# summary of solver processes directly reported to runsolver:
# pid: 353732
# total CPU time (s): 3586.91
# total CPU user time (s): 3584.3
# total CPU system time (s): 2.60968
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.84239 second user time and 18.821 second system time
The end
Begin job on nodeC018 at 2024-08-06 22:42:49
IDJOB=4437271
IDBENCH=155403
IDSOLVER=3070
FILE ID=nodeC018/4437271-1722976969
RUNJOBID= nodeC018-1722971562-350198
SLURM_JOB_ID= 8259065
Free space on /tmp= 889956 MiB
SOLVER NAME= Hybrid-LSMabSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./Hybrid-LSMabSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437271-1722976969/watcher-4437271-1722976969 -o /tmp/evaluation-result-4437271-1722976969/solver-4437271-1722976969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722971562-350198 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+Exact HOME/instance-4437271-1722976969.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=1998909999
nodeC018.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 : 3674.780
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.92
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 : 3680.668
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 : 7007.08
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 : 3600.046
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.92
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 : 3674.639
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 : 7007.08
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 : 3674.766
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.92
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 : 3687.403
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 : 7007.08
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.161
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.92
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 : 3621.890
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 : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128055684 kB
MemAvailable: 129193276 kB
Buffers: 355044 kB
Cached: 1625216 kB
SwapCached: 0 kB
Active: 695516 kB
Inactive: 2243236 kB
Active(anon): 1600 kB
Inactive(anon): 994616 kB
Active(file): 693916 kB
Inactive(file): 1248620 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 41544 kB
Writeback: 0 kB
AnonPages: 958500 kB
Mapped: 119124 kB
Shmem: 37720 kB
KReclaimable: 69408 kB
Slab: 163344 kB
SReclaimable: 69408 kB
SUnreclaim: 93936 kB
KernelStack: 4272 kB
PageTables: 11332 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1414044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 29152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 780288 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: 244436 kB
DirectMap2M: 25743360 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889884 MiB
End job on nodeC018 at 2024-08-06 23:42:45