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: 63794 MiB (61083 MiB free)
memory of node 1: 64507 MiB (60072 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542526-1753217601/watcher-4542526-1753217601 -o /tmp/evaluation-result-4542526-1753217601/solver-4542526-1753217601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150156 --watchdog 3760 HOME/solve.sh HOME/instance-4542526-1753217601.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=150984, runsolver pid=150981
[startup+0.100063 s]*
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124053584/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0 cores=0,2
/proc/150987/stat : 150987 (cat) R 150984 150984 150146 0 -1 4194304 137 0 0 0 0 0 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=22260 memory=17920 CPUtime=0.07 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 4103 0 0 0 6 1 0 0 20 0 1 0 237439553 22794240 4480 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 5565 4480 480 108 0 4082 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 29244 KiB
Current children cumulated memory: 22272 KiB
[startup+0.207237 s]*
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124046528/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.01 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 1 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=37552 memory=33280 CPUtime=0.17 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 7934 0 0 0 15 2 0 0 20 0 1 0 237439553 38453248 8320 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 9388 8320 480 108 0 7905 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 37632 KiB
[startup+0.307066 s]*
/proc/loadavg: 4.21 4.14 4.12 6/257 150988
/proc/meminfo: memFree=124040008/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.01 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 1 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=49524 memory=44288 CPUtime=0.27 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 10700 0 0 0 24 3 0 0 20 0 1 0 237439553 50712576 11072 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 12381 11072 480 108 0 10898 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 56508 KiB
Current children cumulated memory: 48640 KiB
[startup+0.700279 s]
/proc/loadavg: 4.21 4.14 4.12 5/257 150988
/proc/meminfo: memFree=124010524/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 303 119 0 0 0 0 0 0 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150987] ppid=150984 vsize=2792 memory=1408 CPUtime=0.02 cores=0,2
/proc/150987/stat : 150987 (cat) S 150984 150984 150146 0 -1 4194304 137 0 0 0 0 2 0 0 20 0 1 0 237439553 2859008 352 18446744073709551615 94241994174464 94241994189521 140723728750032 0 0 0 0 0 0 1 0 0 17 0 0 0 0 0 0 94241994201744 94241994203240 94242024275968 140723728755169 140723728755240 140723728755240 140723728760811 0
/proc/150987/statm: 698 352 320 4 0 124 0
[pid=150988] ppid=150984 vsize=92608 memory=88044 CPUtime=0.65 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 21127 0 0 0 58 7 0 0 20 0 1 0 237439553 94830592 22011 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 23152 22011 480 108 0 21669 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 99592 KiB
Current children cumulated memory: 92396 KiB
[startup+1.50042 s]
/proc/loadavg: 4.21 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123918732/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=917912 memory=613060 CPUtime=1.45 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 84026 0 0 0 118 27 0 0 20 0 1 0 237439553 939941888 153265 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 229478 153265 512 108 0 227995 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 922104 KiB
Current children cumulated memory: 616004 KiB
[startup+3.11314 s]
/proc/loadavg: 4.21 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123090112/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1385748 memory=963764 CPUtime=3.05 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 140020 0 0 0 262 43 0 0 20 0 1 0 237439553 1419005952 240941 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 346437 240941 512 108 0 344954 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1389940 KiB
Current children cumulated memory: 966708 KiB
[startup+6.30037 s]
/proc/loadavg: 4.19 4.14 4.12 5/256 150988
/proc/meminfo: memFree=123077528/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1408168 memory=975424 CPUtime=6.23 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 141432 0 0 0 579 44 0 0 20 0 1 0 237439553 1441964032 243856 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 352042 243856 512 108 0 350559 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1412360 KiB
Current children cumulated memory: 978368 KiB
[startup+12.7004 s]
/proc/loadavg: 4.18 4.14 4.12 5/256 150988
/proc/meminfo: memFree=122977832/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1496632 memory=1054912 CPUtime=12.61 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 161333 0 0 0 1214 47 0 0 20 0 1 0 237439553 1532551168 263728 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 374158 263728 544 108 0 372675 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1500824 KiB
Current children cumulated memory: 1057856 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 4.11 5/256 150988
/proc/meminfo: memFree=122952736/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1513484 memory=1074304 CPUtime=25.36 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 164646 0 0 0 2488 48 0 0 20 0 1 0 237439553 1549807616 268576 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 378371 268576 544 108 0 376888 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1517676 KiB
Current children cumulated memory: 1077248 KiB
[startup+51.1132 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 150989
/proc/meminfo: memFree=122802168/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1708696 memory=1174088 CPUtime=50.89 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 170713 0 0 0 5037 52 0 0 20 0 1 0 237439553 1749704704 293522 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 427174 293522 544 108 0 425691 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1712888 KiB
Current children cumulated memory: 1177032 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/255 150990
/proc/meminfo: memFree=122749980/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1724808 memory=1190856 CPUtime=101.92 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 175092 0 0 0 10138 54 0 0 20 0 1 0 237439553 1766203392 297714 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 431202 297714 544 108 0 429719 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1729000 KiB
Current children cumulated memory: 1193800 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/254 150992
/proc/meminfo: memFree=122686024/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=1747144 memory=1215296 CPUtime=161.72 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 181892 0 0 0 16116 56 0 0 20 0 1 0 237439553 1789075456 303824 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 436786 303824 544 108 0 435303 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1751336 KiB
Current children cumulated memory: 1218240 KiB
################
# More data... #
################
/proc/150988/statm: 583254 450285 544 108 0 581771 0
Current children cumulated CPU time: 3091.54 s
Current children cumulated vsize: 2337208 KiB
Current children cumulated memory: 1804084 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.16 4.18 5/254 151450
/proc/meminfo: memFree=125768796/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2343292 memory=1813428 CPUtime=3151.28 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 331824 0 0 0 315020 108 0 0 20 0 1 0 237439553 2399531008 453357 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 585823 453357 544 108 0 584340 0
Current children cumulated CPU time: 3151.32 s
Current children cumulated vsize: 2347484 KiB
Current children cumulated memory: 1816372 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/254 151452
/proc/meminfo: memFree=125703380/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2392228 memory=1852004 CPUtime=3211.07 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 340005 0 0 0 320996 111 0 0 20 0 1 0 237439553 2449641472 463001 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 598057 463001 544 108 0 596574 0
Current children cumulated CPU time: 3211.11 s
Current children cumulated vsize: 2396420 KiB
Current children cumulated memory: 1854948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.33 4.19 4.19 5/254 151454
/proc/meminfo: memFree=125650348/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2404368 memory=1863908 CPUtime=3270.84 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 343098 0 0 0 326973 111 0 0 20 0 1 0 237439553 2462072832 465977 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 601092 465977 544 108 0 599609 0
Current children cumulated CPU time: 3270.88 s
Current children cumulated vsize: 2408560 KiB
Current children cumulated memory: 1866852 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.34 4.24 5/254 151456
/proc/meminfo: memFree=125585412/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2436648 memory=1894628 CPUtime=3330.62 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 350928 0 0 0 332948 114 0 0 20 0 1 0 237439553 2495127552 473657 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 609162 473657 544 108 0 607679 0
Current children cumulated CPU time: 3330.66 s
Current children cumulated vsize: 2440840 KiB
Current children cumulated memory: 1897572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.37 4.31 4.24 5/255 151459
/proc/meminfo: memFree=125518324/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2471984 memory=1928576 CPUtime=3390.4 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 359584 0 0 0 338923 117 0 0 20 0 1 0 237439553 2531311616 482144 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 617996 482144 544 108 0 616513 0
Current children cumulated CPU time: 3390.44 s
Current children cumulated vsize: 2476176 KiB
Current children cumulated memory: 1931520 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.25 4.22 5/255 151463
/proc/meminfo: memFree=125480204/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2481912 memory=1938432 CPUtime=3450.19 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 362239 0 0 0 344901 118 0 0 20 0 1 0 237439553 2541477888 484608 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 620478 484608 544 108 0 618995 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 2486104 KiB
Current children cumulated memory: 1941376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.23 4.21 5/254 151465
/proc/meminfo: memFree=125433784/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2481912 memory=1941760 CPUtime=3509.96 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 363144 0 0 0 350878 118 0 0 20 0 1 0 237439553 2541477888 485440 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 620478 485440 544 108 0 618995 0
Current children cumulated CPU time: 3510 s
Current children cumulated vsize: 2486104 KiB
Current children cumulated memory: 1944704 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125299612/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2639776 memory=2081152 CPUtime=3569.73 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 398095 0 0 0 356845 128 0 0 20 0 1 0 237439553 2703130624 520288 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 659944 520288 544 108 0 658461 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 2643968 KiB
Current children cumulated memory: 2084096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.15 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125247856/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2659368 memory=2099840 CPUtime=3600.02 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 402933 0 0 0 359872 130 0 0 20 0 1 0 237439553 2723192832 524960 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 664842 524960 544 108 0 663359 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2663560 KiB
Current children cumulated memory: 2102784 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.71 s]
# the end of solver process 150984 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001981 s, system=0.047659 s
Sleeping 2 seconds
[startup+3612.74 s]
# the end of solver process 150988 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3598.72 s, system=1.38933 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.15 4.20 4.20 5/255 151472
/proc/meminfo: memFree=125247856/131382120 swapFree=33010416/33010684
[pid=150984] ppid=150981 vsize=4192 memory=2944 CPUtime=0.04 cores=0,2
/proc/150984/stat : 150984 (bash) S 150981 150984 150146 0 -1 4194304 304 259 0 0 0 0 0 4 20 0 1 0 237439551 4292608 736 18446744073709551615 94660804472832 94660805367365 140727755509760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94660805606416 94660805654160 94660834664448 140727755512210 140727755512326 140727755512326 140727755517930 0
/proc/150984/statm: 1048 736 672 219 0 110 0
[pid=150988] ppid=150984 vsize=2659368 memory=2099840 CPUtime=3600.02 cores=0,2
/proc/150988/stat : 150988 (solve_pb) R 150984 150984 150146 0 -1 4194304 402933 0 0 0 359872 130 0 0 20 0 1 0 237439553 2723192832 524960 18446744073709551615 94575700005888 94575700444032 140737106557104 0 0 0 0 4096 1088 0 0 0 17 0 0 0 0 0 0 94575700472752 94575700475168 94575727792128 140737106561410 140737106561474 140737106561474 140737106567096 0
/proc/150988/statm: 664842 524960 544 108 0 663359 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2663560 KiB
Current children cumulated memory: 2102784 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3612.74
CPU time (s): 3600.11
CPU user time (s): 3598.72
CPU system time (s): 1.38933
CPU usage (%): 99.6506
Max. virtual memory (cumulated for all children) (KiB): 2663560
Max. memory (cumulated for all children) (KiB): 2102784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.38933
maximum resident set size= 2099840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 403496
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= 7157
involuntary context switches= 9533
# summary of solver processes directly reported to runsolver:
# pid: 150984,150988
# total CPU time (s): 3600.11
# total CPU user time (s): 3598.72
# total CPU system time (s): 1.38933
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6094 second user time and 36.3914 second system time
The end
Begin job on nodeC006 at 2025-07-22 22:53:22
IDJOB=4542526
IDBENCH=163934
IDSOLVER=3321
FILE ID=nodeC006/4542526-1753217601
RUNJOBID= nodeC006-1753211993-150156
SLURM_JOB_ID= 9687800
Free space on /tmp= 432556 MiB
SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542526-1753217601/watcher-4542526-1753217601 -o /tmp/evaluation-result-4542526-1753217601/solver-4542526-1753217601 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1753211993-150156 --watchdog 3760 HOME/solve.sh HOME/instance-4542526-1753217601.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=1492341557
nodeC006 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 : 0xb00001f
cpu MHz : 1207.689
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 pti 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 : 6983.32
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 : 3491.979
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 pti 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 : 6983.32
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 : 2494.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.32
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.150
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 pti 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 : 6983.32
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 : 3591.422
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 pti 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 : 6983.32
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 : 3491.819
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 pti 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 : 6983.32
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.415
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 pti 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 : 6983.32
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 : 1196.731
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 pti 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 : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 124062680 kB
MemAvailable: 124978636 kB
Buffers: 2128 kB
Cached: 1593344 kB
SwapCached: 12 kB
Active: 5826548 kB
Inactive: 615800 kB
Active(anon): 4862224 kB
Inactive(anon): 10792 kB
Active(file): 964324 kB
Inactive(file): 605008 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55280 kB
Writeback: 0 kB
AnonPages: 4847768 kB
Mapped: 109888 kB
Shmem: 26140 kB
KReclaimable: 372120 kB
Slab: 466628 kB
SReclaimable: 372120 kB
SUnreclaim: 94508 kB
KernelStack: 4128 kB
PageTables: 12832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 6058104 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2600960 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432728 MiB
End job on nodeC006 at 2025-07-22 23:53:35