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: 63708 MiB (50699 MiB free)
memory of node 1: 64465 MiB (55561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502709-1751475539/watcher-4502709-1751475539 -o /tmp/evaluation-result-4502709-1751475539/solver-4502709-1751475539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751475537-65862 --watchdog 3760 HOME/opbsolver HOME/instance-4502709-1751475539.opb 3600 31000 HOME HOME
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66088, runsolver pid=66080
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.14 1.78 2.65 6/268 66105
/proc/meminfo: memFree=108780096/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=51124 memory=40704 CPUtime=0.04 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 8060 0 0 0 3 1 0 0 20 0 1 0 63232477 52350976 10176 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 12781 10176 2368 2826 0 9393 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 55316 KiB
Current children cumulated memory: 43648 KiB
[startup+0.20478 s]*
/proc/loadavg: 1.14 1.78 2.65 5/268 66106
/proc/meminfo: memFree=108765008/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=62468 memory=50512 CPUtime=0.14 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 10721 0 0 0 13 1 0 0 20 0 1 0 63232477 63967232 12628 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 15617 12628 2432 2826 0 12229 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 66660 KiB
Current children cumulated memory: 53456 KiB
[startup+0.304635 s]*
/proc/loadavg: 1.14 1.78 2.65 5/265 66109
/proc/meminfo: memFree=108764520/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=65604 memory=53456 CPUtime=0.24 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 11473 0 0 0 23 1 0 0 20 0 1 0 63232477 67178496 13364 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 16401 13364 2432 2826 0 13013 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 69796 KiB
Current children cumulated memory: 56400 KiB
[startup+0.700164 s]
/proc/loadavg: 1.14 1.78 2.65 4/263 66117
/proc/meminfo: memFree=108765368/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=67940 memory=56016 CPUtime=0.63 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 12100 0 0 0 62 1 0 0 20 0 1 0 63232477 69570560 14004 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 16985 14004 2432 2826 0 13597 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 72132 KiB
Current children cumulated memory: 58960 KiB
[startup+1.50017 s]
/proc/loadavg: 1.14 1.78 2.65 4/263 66117
/proc/meminfo: memFree=108765368/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=72720 memory=60752 CPUtime=1.42 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 13288 0 0 0 141 1 0 0 20 0 1 0 63232477 74465280 15188 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 18180 15188 2432 2826 0 14792 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 76912 KiB
Current children cumulated memory: 63696 KiB
[startup+3.10505 s]
/proc/loadavg: 1.37 1.81 2.66 4/263 66168
/proc/meminfo: memFree=108699464/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=125056 memory=108156 CPUtime=3.03 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 25223 0 0 0 300 3 0 0 20 0 1 0 63232477 128057344 27039 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 31264 27039 2656 2826 0 27876 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 129248 KiB
Current children cumulated memory: 111100 KiB
[startup+6.30019 s]
/proc/loadavg: 1.37 1.81 2.66 5/268 66208
/proc/meminfo: memFree=108215008/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=132120 memory=115708 CPUtime=6.21 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 27132 0 0 0 617 4 0 0 20 0 1 0 63232477 135290880 28927 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 33030 28927 2656 2826 0 29642 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 136312 KiB
Current children cumulated memory: 118652 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 1.89 2.68 5/268 66208
/proc/meminfo: memFree=106145092/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=166768 memory=138620 CPUtime=12.59 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 32878 0 0 0 1254 5 0 0 20 0 1 0 63232477 170770432 34655 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 41692 34655 2656 2826 0 38304 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 170960 KiB
Current children cumulated memory: 141564 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 1.96 2.69 5/268 66208
/proc/meminfo: memFree=104124000/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=198428 memory=168700 CPUtime=25.35 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 40399 0 0 0 2529 6 0 0 20 0 1 0 63232477 203190272 42175 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 49607 42175 2656 2826 0 46219 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 202620 KiB
Current children cumulated memory: 171644 KiB
[startup+51.1055 s]
/proc/loadavg: 2.84 2.14 2.73 5/268 66209
/proc/meminfo: memFree=104257020/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=198428 memory=170492 CPUtime=50.88 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 40850 0 0 0 5082 6 0 0 20 0 1 0 63232477 203190272 42623 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 49607 42623 2656 2826 0 46219 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 202620 KiB
Current children cumulated memory: 173436 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.47 2.81 5/269 66264
/proc/meminfo: memFree=100279788/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=204976 memory=181152 CPUtime=101.9 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 46698 0 0 0 10183 7 0 0 20 0 1 0 63232477 209895424 45288 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 51244 45288 2688 2826 0 47856 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 209168 KiB
Current children cumulated memory: 184096 KiB
[startup+162.3 s]
/proc/loadavg: 3.85 2.75 2.89 5/270 66282
/proc/meminfo: memFree=99770932/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=210832 memory=200848 CPUtime=161.71 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 48747 0 0 0 16163 8 0 0 20 0 1 0 63232477 215891968 50212 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 52708 50212 2688 2826 0 49320 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 215024 KiB
Current children cumulated memory: 203792 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.01 2.97 5/270 66284
/proc/meminfo: memFree=99705496/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=217488 memory=207648 CPUtime=221.53 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 50927 0 0 0 22145 8 0 0 20 0 1 0 63232477 222707712 51912 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 54372 51912 2688 2826 0 50984 0
Current children cumulated CPU time: 221.53 s
################
# More data... #
################
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=228296 memory=218384 CPUtime=281.35 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 54495 0 0 0 28126 9 0 0 20 0 1 0 63232477 233775104 54596 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 57074 54596 2688 2826 0 53686 0
Current children cumulated CPU time: 281.35 s
Current children cumulated vsize: 232488 KiB
Current children cumulated memory: 221328 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.37 3.11 5/269 66287
/proc/meminfo: memFree=99546508/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=228588 memory=218512 CPUtime=341.17 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 54646 0 0 0 34108 9 0 0 20 0 1 0 63232477 234074112 54628 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 57147 54628 2688 2826 0 53759 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 232780 KiB
Current children cumulated memory: 221456 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.50 3.18 5/268 66289
/proc/meminfo: memFree=99483456/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=230200 memory=218640 CPUtime=401 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 54663 0 0 0 40091 9 0 0 20 0 1 0 63232477 235724800 54660 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 57550 54660 2688 2826 0 54162 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 234392 KiB
Current children cumulated memory: 221584 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 3.61 3.24 5/267 66291
/proc/meminfo: memFree=99451240/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=240756 memory=220944 CPUtime=460.84 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 55343 0 0 0 46075 9 0 0 20 0 1 0 63232477 246534144 55236 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 60189 55236 2688 2826 0 56801 0
Current children cumulated CPU time: 460.84 s
Current children cumulated vsize: 244948 KiB
Current children cumulated memory: 223888 KiB
[startup+509.516 s]
# the end of solver process 66088 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=507.752 s, system=0.157035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.12 3.65 3.26 5/266 66292
/proc/meminfo: memFree=99430360/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=249068 memory=224784 CPUtime=484.87 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 56299 0 0 0 48478 9 0 0 20 0 1 0 63232477 255045632 56196 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 62267 56196 2688 2826 0 58879 0
Current children cumulated CPU time: 484.87 s
Current children cumulated vsize: 253260 KiB
Current children cumulated memory: 227728 KiB
[startup+499.2 s]
/proc/loadavg: 4.09 3.67 3.27 5/266 66292
/proc/meminfo: memFree=99423952/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 261 236 0 0 0 0 0 0 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66099] ppid=66088 vsize=249068 memory=224784 CPUtime=497.63 cores=5,7
/proc/66099/stat : 66099 (pbcpreprocessor) R 66088 66088 65849 0 -1 4194304 56299 0 0 0 49754 9 0 0 20 0 1 0 63232477 255045632 56196 18446744073709551615 4198400 15773533 140728366053120 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 17968456 18061744 29499392 140728366057796 140728366057950 140728366057950 140728366063557 0
/proc/66099/statm: 62267 56196 2688 2826 0 58879 0
Current children cumulated CPU time: 497.63 s
Current children cumulated vsize: 253260 KiB
Current children cumulated memory: 227728 KiB
[startup+505.6 s]
/proc/loadavg: 4.08 3.68 3.28 6/266 66302
/proc/meminfo: memFree=100002628/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=498.64 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 407 58390 0 0 0 0 49852 12 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66302] ppid=66088 vsize=27744 memory=23672 CPUtime=5.34 cores=5,7
/proc/66302/stat : 66302 (wmaxcdcl) R 66088 66088 65849 0 -1 4194304 6977 0 0 0 533 1 0 0 20 0 1 0 63282494 28409856 5918 18446744073709551615 4198400 5932793 140736321165184 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 21078016 140736321169755 140736321169900 140736321169900 140736321175500 0
/proc/66302/statm: 6936 5918 448 424 0 6391 0
Current children cumulated CPU time: 503.98 s
Current children cumulated vsize: 31936 KiB
Current children cumulated memory: 26616 KiB
[startup+507.2 s]
/proc/loadavg: 4.08 3.68 3.28 5/266 66306
/proc/meminfo: memFree=104325308/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=498.64 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 407 58390 0 0 0 0 49852 12 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66302] ppid=66088 vsize=30600 memory=26360 CPUtime=6.94 cores=5,7
/proc/66302/stat : 66302 (wmaxcdcl) R 66088 66088 65849 0 -1 4194304 7634 0 0 0 693 1 0 0 20 0 1 0 63282494 31334400 6590 18446744073709551615 4198400 5932793 140736321165184 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 21078016 140736321169755 140736321169900 140736321169900 140736321175500 0
/proc/66302/statm: 7650 6590 448 424 0 7105 0
Current children cumulated CPU time: 505.58 s
Current children cumulated vsize: 34792 KiB
Current children cumulated memory: 29304 KiB
[startup+508.8 s]
/proc/loadavg: 4.08 3.68 3.28 5/266 66306
/proc/meminfo: memFree=104245424/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=498.64 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 407 58390 0 0 0 0 49852 12 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66302] ppid=66088 vsize=32248 memory=27512 CPUtime=8.54 cores=5,7
/proc/66302/stat : 66302 (wmaxcdcl) R 66088 66088 65849 0 -1 4194304 7937 0 0 0 852 2 0 0 20 0 1 0 63282494 33021952 6878 18446744073709551615 4198400 5932793 140736321165184 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 21078016 140736321169755 140736321169900 140736321169900 140736321175500 0
/proc/66302/statm: 8062 6878 448 424 0 7517 0
Current children cumulated CPU time: 507.18 s
Current children cumulated vsize: 36440 KiB
Current children cumulated memory: 30456 KiB
[startup+509.2 s]
/proc/loadavg: 4.08 3.68 3.28 5/266 66308
/proc/meminfo: memFree=104220960/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=498.64 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 407 58390 0 0 0 0 49852 12 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66302] ppid=66088 vsize=32248 memory=27512 CPUtime=8.94 cores=5,7
/proc/66302/stat : 66302 (wmaxcdcl) R 66088 66088 65849 0 -1 4194304 7937 0 0 0 892 2 0 0 20 0 1 0 63282494 33021952 6878 18446744073709551615 4198400 5932793 140736321165184 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 21078016 140736321169755 140736321169900 140736321169900 140736321175500 0
/proc/66302/statm: 8062 6878 448 424 0 7517 0
Current children cumulated CPU time: 507.58 s
Current children cumulated vsize: 36440 KiB
Current children cumulated memory: 30456 KiB
[startup+509.4 s]
/proc/loadavg: 4.08 3.68 3.28 5/266 66308
/proc/meminfo: memFree=104220960/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=498.64 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 407 58390 0 0 0 0 49852 12 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
[pid=66302] ppid=66088 vsize=32248 memory=27512 CPUtime=9.14 cores=5,7
/proc/66302/stat : 66302 (wmaxcdcl) R 66088 66088 65849 0 -1 4194304 7937 0 0 0 912 2 0 0 20 0 1 0 63282494 33021952 6878 18446744073709551615 4198400 5932793 140736321165184 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 6359800 6411760 21078016 140736321169755 140736321169900 140736321169900 140736321175500 0
/proc/66302/statm: 8062 6878 448 424 0 7517 0
Current children cumulated CPU time: 507.78 s
Current children cumulated vsize: 36440 KiB
Current children cumulated memory: 30456 KiB
[startup+509.5 s]
/proc/loadavg: 4.08 3.68 3.28 5/266 66308
/proc/meminfo: memFree=104220960/131249988 swapFree=33010416/33010684
[pid=66088] ppid=66080 vsize=4192 memory=2944 CPUtime=507.87 cores=5,7
/proc/66088/stat : 66088 (opbsolver) S 66080 66088 65849 0 -1 4194304 437 66330 0 0 0 0 50773 14 20 0 1 0 63232472 4292608 736 18446744073709551615 93892444467200 93892445361733 140733890881840 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93892445600784 93892445648528 93892461498368 140733890885918 140733890886121 140733890886121 140733890891723 0
/proc/66088/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 507.87 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 509.517
CPU time (s): 507.909
CPU user time (s): 507.752
CPU system time (s): 0.157035
CPU usage (%): 99.6845
Max. virtual memory (cumulated for all children) (KiB): 253260
Max. memory (cumulated for all children) (KiB): 227728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 507.752
system time used= 0.157035
maximum resident set size= 224784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 610
involuntary context switches= 2943
# summary of solver processes directly reported to runsolver:
# pid: 66088
# total CPU time (s): 507.909
# total CPU user time (s): 507.752
# total CPU system time (s): 0.157035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09657 second user time and 2.16056 second system time
The end
Begin job on nodeC031 at 2025-07-02 18:58:59
IDJOB=4502709
IDBENCH=155373
IDSOLVER=3374
FILE ID=nodeC031/4502709-1751475539
RUNJOBID= nodeC031-1751475537-65862
SLURM_JOB_ID= 9598509
Free space on /tmp= 432068 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-hanoi5.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502709-1751475539/watcher-4502709-1751475539 -o /tmp/evaluation-result-4502709-1751475539/solver-4502709-1751475539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751475537-65862 --watchdog 3760 HOME/opbsolver HOME/instance-4502709-1751475539.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 179846138439b27c2be3c10cf8937212
RANDOM SEED=903564425
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3599.927
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.064
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.391
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3601.857
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3600.016
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.878
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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.191
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3713.550
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108807784 kB
MemAvailable: 129562368 kB
Buffers: 2128 kB
Cached: 21439968 kB
SwapCached: 12 kB
Active: 514188 kB
Inactive: 21033268 kB
Active(anon): 112940 kB
Inactive(anon): 10472 kB
Active(file): 401248 kB
Inactive(file): 21022796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 83776 kB
Writeback: 76 kB
AnonPages: 108484 kB
Mapped: 106104 kB
Shmem: 18052 kB
KReclaimable: 339556 kB
Slab: 431848 kB
SReclaimable: 339556 kB
SUnreclaim: 92292 kB
KernelStack: 4128 kB
PageTables: 3144 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 402224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 30720 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431896 MiB
End job on nodeC031 at 2025-07-02 19:07:29