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: 63837 MiB (61880 MiB free)
memory of node 1: 64465 MiB (63187 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503031-1751429383/watcher-4503031-1751429383 -o /tmp/evaluation-result-4503031-1751429383/solver-4503031-1751429383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751429383-59269 --watchdog 3760 HOME/opbsolver HOME/instance-4503031-1751429383.opb 3600 31000 HOME HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=59298, runsolver pid=59295
[startup+0.100068 s]*
/proc/loadavg: 0.28 0.81 0.99 5/239 59302
/proc/meminfo: memFree=128051824/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=21300 memory=4992 CPUtime=0.07 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 731 0 0 0 7 0 0 0 20 0 1 0 58617043 21811200 1248 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 5325 1248 640 2826 0 1937 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 25492 KiB
Current children cumulated memory: 7936 KiB
[startup+0.221091 s]*
/proc/loadavg: 0.28 0.81 0.99 4/245 59313
/proc/meminfo: memFree=127993196/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=24336 memory=8064 CPUtime=0.17 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 1476 0 0 0 17 0 0 0 20 0 1 0 58617043 24920064 2016 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 6084 2016 640 2826 0 2696 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 28528 KiB
Current children cumulated memory: 11008 KiB
[startup+0.323158 s]*
/proc/loadavg: 0.28 0.81 0.99 5/248 59319
/proc/meminfo: memFree=127973144/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=26844 memory=10496 CPUtime=0.26 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 2096 0 0 0 26 0 0 0 20 0 1 0 58617043 27488256 2624 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 6711 2624 640 2826 0 3323 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 31036 KiB
Current children cumulated memory: 13440 KiB
[startup+0.70033 s]
/proc/loadavg: 0.28 0.81 0.99 5/251 59327
/proc/meminfo: memFree=127917916/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=38184 memory=21576 CPUtime=0.63 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 4963 0 0 0 61 2 0 0 20 0 1 0 58617043 39100416 5394 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 9546 5394 640 2826 0 6158 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 42376 KiB
Current children cumulated memory: 24520 KiB
[startup+1.50044 s]
/proc/loadavg: 0.28 0.81 0.99 5/251 59327
/proc/meminfo: memFree=127732948/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=155484 memory=144156 CPUtime=1.42 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 34199 0 0 0 131 11 0 0 20 0 1 0 58617043 159215616 36007 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 38871 36039 2336 2826 0 35483 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 159676 KiB
Current children cumulated memory: 147100 KiB
[startup+3.11358 s]
/proc/loadavg: 0.58 0.86 1.00 5/249 59327
/proc/meminfo: memFree=125561156/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=671148 memory=649420 CPUtime=3.03 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 167748 0 0 0 265 38 0 0 20 0 1 0 58617043 687255552 162355 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 167787 162355 2400 2826 0 164399 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 675340 KiB
Current children cumulated memory: 652364 KiB
[startup+6.3004 s]
/proc/loadavg: 0.58 0.86 1.00 5/255 59343
/proc/meminfo: memFree=123636480/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=1367528 memory=1240344 CPUtime=6.21 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 181716 0 0 0 569 52 0 0 20 0 1 0 58617043 1400348672 310086 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 341882 310086 2432 2826 0 338494 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 1371720 KiB
Current children cumulated memory: 1243288 KiB
[startup+12.7004 s]
/proc/loadavg: 1.19 0.98 1.04 5/255 59343
/proc/meminfo: memFree=119770764/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2184600 memory=2021728 CPUtime=12.59 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 252711 0 0 0 1182 77 0 0 20 0 1 0 58617043 2237030400 505432 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 546150 505432 2624 2826 0 542762 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 2188792 KiB
Current children cumulated memory: 2024672 KiB
[startup+25.5004 s]
/proc/loadavg: 1.70 1.10 1.08 5/255 59345
/proc/meminfo: memFree=117274920/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2184600 memory=2021728 CPUtime=25.35 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 252711 0 0 0 2458 77 0 0 20 0 1 0 58617043 2237030400 505432 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 546150 505432 2624 2826 0 542762 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 2188792 KiB
Current children cumulated memory: 2024672 KiB
[startup+51.1139 s]
/proc/loadavg: 2.49 1.33 1.16 5/256 59347
/proc/meminfo: memFree=117839952/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2184600 memory=2021856 CPUtime=50.88 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 252751 0 0 0 5011 77 0 0 20 0 1 0 58617043 2237030400 505464 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 546150 505464 2656 2826 0 542762 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 2188792 KiB
Current children cumulated memory: 2024800 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 1.83 1.34 5/256 59348
/proc/meminfo: memFree=117407180/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2184600 memory=2021856 CPUtime=101.9 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 252796 0 0 0 10113 77 0 0 20 0 1 0 58617043 2237030400 505464 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 546150 505464 2656 2826 0 542762 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 2188792 KiB
Current children cumulated memory: 2024800 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.26 1.52 5/255 59350
/proc/meminfo: memFree=117386404/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2201348 memory=2038956 CPUtime=161.74 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 253943 0 0 0 16095 79 0 0 20 0 1 0 58617043 2254180352 509739 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 550337 509739 2688 2826 0 546949 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2205540 KiB
Current children cumulated memory: 2041900 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.59 1.68 5/256 59353
/proc/meminfo: memFree=117373536/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2210276 memory=2041900 CPUtime=221.58 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 254766 0 0 0 22079 79 0 0 20 0 1 0 58617043 2263322624 510475 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 552569 510475 2688 2826 0 549181 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2214468 KiB
Current children cumulated memory: 2044844 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 2.88 1.84 5/257 59356
/proc/meminfo: memFree=117360572/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2241912 memory=2047532 CPUtime=281.43 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 255024 0 0 0 28064 79 0 0 20 0 1 0 58617043 2295717888 511883 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 560478 511883 2688 2826 0 557090 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 2246104 KiB
Current children cumulated memory: 2050476 KiB
[startup+303.692 s]
# the end of solver process 59298 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=301.765 s, system=0.997692 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.11 2.92 1.86 5/257 59356
/proc/meminfo: memFree=117351152/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2285960 memory=2050220 CPUtime=293.49 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 255546 0 0 0 29270 79 0 0 20 0 1 0 58617043 2340823040 512555 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 571490 512555 2688 2826 0 568102 0
Current children cumulated CPU time: 293.49 s
Current children cumulated vsize: 2290152 KiB
Current children cumulated memory: 2053164 KiB
[startup+297.6 s]
/proc/loadavg: 4.10 2.94 1.88 5/257 59357
/proc/meminfo: memFree=117340536/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2300332 memory=2053548 CPUtime=296.68 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 255892 0 0 0 29589 79 0 0 20 0 1 0 58617043 2355539968 513387 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 575083 513387 2688 2826 0 571695 0
Current children cumulated CPU time: 296.68 s
Current children cumulated vsize: 2304524 KiB
Current children cumulated memory: 2056492 KiB
[startup+300.8 s]
/proc/loadavg: 4.10 2.94 1.88 5/257 59358
/proc/meminfo: memFree=117106424/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2635824 memory=2368936 CPUtime=299.88 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 325569 0 0 0 29895 93 0 0 20 0 1 0 58617043 2699083776 592234 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 658956 592234 2688 2826 0 655568 0
Current children cumulated CPU time: 299.88 s
Current children cumulated vsize: 2640016 KiB
Current children cumulated memory: 2371880 KiB
[startup+302.4 s]
/proc/loadavg: 4.09 2.96 1.89 5/257 59358
/proc/meminfo: memFree=117041520/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2635824 memory=2369064 CPUtime=301.47 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 325581 0 0 0 30054 93 0 0 20 0 1 0 58617043 2699083776 592266 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 658956 592266 2688 2826 0 655568 0
Current children cumulated CPU time: 301.47 s
Current children cumulated vsize: 2640016 KiB
Current children cumulated memory: 2372008 KiB
[startup+303.2 s]
/proc/loadavg: 4.09 2.96 1.89 5/257 59358
/proc/meminfo: memFree=117041520/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2635824 memory=2369064 CPUtime=302.27 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 325605 0 0 0 30134 93 0 0 20 0 1 0 58617043 2699083776 592266 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 658956 592266 2688 2826 0 655568 0
Current children cumulated CPU time: 302.27 s
Current children cumulated vsize: 2640016 KiB
Current children cumulated memory: 2372008 KiB
[startup+303.6 s]
/proc/loadavg: 4.09 2.96 1.89 5/257 59358
/proc/meminfo: memFree=117041520/131382120 swapFree=33010684/33010684
[pid=59298] ppid=59295 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/59298/stat : 59298 (opbsolver) S 59295 59298 59232 0 -1 4194304 256 235 0 0 0 0 0 0 20 0 1 0 58617040 4292608 736 18446744073709551615 94235499167744 94235500062277 140728967392928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94235500301328 94235500349072 94235509972992 140728967399710 140728967399913 140728967399913 140728967405515 0
/proc/59298/statm: 1048 736 672 219 0 110 0
[pid=59302] ppid=59298 vsize=2466556 memory=2199852 CPUtime=302.67 cores=4,6
/proc/59302/stat : 59302 (pbcpreprocessor) R 59298 59298 59232 0 -1 4194304 325616 0 0 0 30174 93 0 0 20 0 1 0 58617043 2525753344 549963 18446744073709551615 4198400 15773533 140724413391376 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 17968456 18061744 42168320 140724413397316 140724413397470 140724413397470 140724413403077 0
/proc/59302/statm: 616639 549963 2688 2826 0 613251 0
Current children cumulated CPU time: 302.67 s
Current children cumulated vsize: 2470748 KiB
Current children cumulated memory: 2202796 KiB
Child status: 0
Real time (s): 303.692
CPU time (s): 302.763
CPU user time (s): 301.765
CPU system time (s): 0.997692
CPU usage (%): 99.6941
Max. virtual memory (cumulated for all children) (KiB): 2640016
Max. memory (cumulated for all children) (KiB): 2372008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 301.765
system time used= 0.997692
maximum resident set size= 2369064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 399
involuntary context switches= 269
# summary of solver processes directly reported to runsolver:
# pid: 59298
# total CPU time (s): 302.763
# total CPU user time (s): 301.765
# total CPU system time (s): 0.997692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72641 second user time and 3.32548 second system time
The end
Begin job on nodeC003 at 2025-07-02 06:09:44
IDJOB=4503031
IDBENCH=155403
IDSOLVER=3374
FILE ID=nodeC003/4503031-1751429383
RUNJOBID= nodeC003-1751429383-59269
SLURM_JOB_ID= 9598366
Free space on /tmp= 432028 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503031-1751429383/watcher-4503031-1751429383 -o /tmp/evaluation-result-4503031-1751429383/solver-4503031-1751429383 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751429383-59269 --watchdog 3760 HOME/opbsolver HOME/instance-4503031-1751429383.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=173061293
nodeC003 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 : 1197.163
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.44
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 : 1197.182
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.561
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.44
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 : 3700.000
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.44
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 : 1197.161
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.44
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 : 1197.164
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.44
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 : 3700.000
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.44
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 : 3700.000
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.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128101368 kB
MemAvailable: 129952532 kB
Buffers: 3280 kB
Cached: 2650276 kB
SwapCached: 0 kB
Active: 340584 kB
Inactive: 2396700 kB
Active(anon): 101776 kB
Inactive(anon): 0 kB
Active(file): 238808 kB
Inactive(file): 2396700 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 182316 kB
Writeback: 0 kB
AnonPages: 86920 kB
Mapped: 103492 kB
Shmem: 17960 kB
KReclaimable: 110568 kB
Slab: 195408 kB
SReclaimable: 110568 kB
SUnreclaim: 84840 kB
KernelStack: 3888 kB
PageTables: 3004 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 348332 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431072 MiB
End job on nodeC003 at 2025-07-02 06:14:48