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 (63267 MiB free)
memory of node 1: 64465 MiB (64018 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507753-1751186580/watcher-4507753-1751186580 -o /tmp/evaluation-result-4507753-1751186580/solver-4507753-1751186580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751182966-22610 --watchdog 3760 HOME/solve.sh HOME/instance-4507753-1751186580.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=23032, runsolver pid=23023
[startup+0.100069 s]*
/proc/loadavg: 4.13 4.18 4.19 5/256 23054
/proc/meminfo: memFree=130322724/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=10428 memory=5760 CPUtime=0.04 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 1019 0 0 0 4 0 0 0 20 0 1 0 34337387 10678272 1440 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 2607 1440 544 108 0 1124 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 14620 KiB
Current children cumulated memory: 8704 KiB
[startup+0.214987 s]*
/proc/loadavg: 4.13 4.18 4.19 5/255 23054
/proc/meminfo: memFree=130321136/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=11540 memory=6784 CPUtime=0.16 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 1301 0 0 0 15 1 0 0 20 0 1 0 34337387 11816960 1696 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 2885 1696 544 108 0 1402 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 15732 KiB
Current children cumulated memory: 9728 KiB
[startup+0.313894 s]*
/proc/loadavg: 4.13 4.18 4.19 5/255 23054
/proc/meminfo: memFree=130321136/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=12560 memory=7808 CPUtime=0.26 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 1554 0 0 0 25 1 0 0 20 0 1 0 34337387 12861440 1952 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 3140 1952 544 108 0 1657 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 16752 KiB
Current children cumulated memory: 10752 KiB
[startup+0.700301 s]
/proc/loadavg: 4.13 4.18 4.19 4/252 23054
/proc/meminfo: memFree=130319120/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=15616 memory=10880 CPUtime=0.62 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 2287 0 0 0 61 1 0 0 20 0 1 0 34337387 15990784 2720 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 3904 2720 576 108 0 2421 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 19808 KiB
Current children cumulated memory: 13824 KiB
[startup+1.5004 s]
/proc/loadavg: 4.13 4.18 4.19 5/250 23062
/proc/meminfo: memFree=130313112/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=23480 memory=18432 CPUtime=1.42 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 4179 0 0 0 140 2 0 0 20 0 1 0 34337387 24043520 4608 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 5870 4608 576 108 0 4387 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 27672 KiB
Current children cumulated memory: 21376 KiB
[startup+3.11391 s]
/proc/loadavg: 4.13 4.18 4.19 6/252 23125
/proc/meminfo: memFree=130265676/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=42484 memory=37120 CPUtime=3 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 8835 0 0 0 293 7 0 0 20 0 1 0 34337387 43503616 9280 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 10621 9280 576 108 0 9138 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 40064 KiB
[startup+6.30038 s]
/proc/loadavg: 4.12 4.18 4.18 6/255 23150
/proc/meminfo: memFree=130220084/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=58296 memory=52096 CPUtime=6.17 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 12588 0 0 0 609 8 0 0 20 0 1 0 34337387 59695104 13024 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 14574 13024 576 108 0 13091 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 62488 KiB
Current children cumulated memory: 55040 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.17 4.18 6/255 23150
/proc/meminfo: memFree=130151700/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=82244 memory=75520 CPUtime=12.56 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 18428 0 0 0 1246 10 0 0 20 0 1 0 34337387 84217856 18880 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 20561 18880 576 108 0 19078 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 86436 KiB
Current children cumulated memory: 78464 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.16 4.18 6/255 23150
/proc/meminfo: memFree=130071196/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=106828 memory=97152 CPUtime=25.32 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 23834 0 0 0 2521 11 0 0 20 0 1 0 34337387 109391872 24288 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 26707 24288 576 108 0 25224 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 111020 KiB
Current children cumulated memory: 100096 KiB
[startup+51.1139 s]
/proc/loadavg: 4.13 4.17 4.18 5/255 23199
/proc/meminfo: memFree=130071108/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=137612 memory=125952 CPUtime=50.85 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 30990 0 0 0 5071 14 0 0 20 0 1 0 34337387 140914688 31488 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 34403 31488 576 108 0 32920 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 141804 KiB
Current children cumulated memory: 128896 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.15 4.18 5/255 23199
/proc/meminfo: memFree=129910800/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=196680 memory=180224 CPUtime=101.86 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 44322 0 0 0 10168 18 0 0 20 0 1 0 34337387 201400320 45056 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 49170 45056 576 108 0 47687 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 200872 KiB
Current children cumulated memory: 183168 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.15 4.18 5/255 23201
/proc/meminfo: memFree=129801528/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=230684 memory=220800 CPUtime=161.65 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 51722 0 0 0 16144 21 0 0 20 0 1 0 34337387 236220416 55200 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 57671 55200 576 108 0 56188 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 234876 KiB
Current children cumulated memory: 223744 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/256 23204
/proc/meminfo: memFree=129660888/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=281284 memory=264064 CPUtime=221.48 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 60618 0 0 0 22124 24 0 0 20 0 1 0 34337387 288034816 66016 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 70321 66016 576 108 0 68838 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 285476 KiB
################
# More data... #
################
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 64963 0 0 0 28104 26 0 0 20 0 1 0 34337387 307965952 70240 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 75187 70240 576 108 0 73704 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 304940 KiB
Current children cumulated memory: 283904 KiB
[startup+342.301 s]
/proc/loadavg: 4.10 4.12 4.16 5/255 23208
/proc/meminfo: memFree=129532768/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=323452 memory=301824 CPUtime=341.12 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 70178 0 0 0 34084 28 0 0 20 0 1 0 34337387 331214848 75456 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 80863 75456 576 108 0 79380 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 327644 KiB
Current children cumulated memory: 304768 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/254 23210
/proc/meminfo: memFree=129433256/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=376380 memory=343168 CPUtime=400.95 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 80529 0 0 0 40064 31 0 0 20 0 1 0 34337387 385413120 85792 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 94095 85792 576 108 0 92612 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 380572 KiB
Current children cumulated memory: 346112 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.10 4.15 5/255 23217
/proc/meminfo: memFree=129367880/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=383076 memory=350336 CPUtime=460.76 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 82476 0 0 0 46044 32 0 0 20 0 1 0 34337387 392269824 87584 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 95769 87584 576 108 0 94286 0
Current children cumulated CPU time: 460.76 s
Current children cumulated vsize: 387268 KiB
Current children cumulated memory: 353280 KiB
[startup+522.203 s]
# the end of solver process 23032 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=520.134 s, system=0.36292 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.20 4.13 4.15 5/255 23219
/proc/meminfo: memFree=129358696/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=383076 memory=351232 CPUtime=484.78 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 82686 0 0 0 48446 32 0 0 20 0 1 0 34337387 392269824 87808 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 95769 87808 576 108 0 94286 0
Current children cumulated CPU time: 484.78 s
Current children cumulated vsize: 387268 KiB
Current children cumulated memory: 354176 KiB
[startup+499.2 s]
/proc/loadavg: 4.40 4.17 4.17 5/254 23219
/proc/meminfo: memFree=129356680/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=383076 memory=351744 CPUtime=497.55 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 82817 0 0 0 49722 33 0 0 20 0 1 0 34337387 392269824 87936 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 95769 87936 576 108 0 94286 0
Current children cumulated CPU time: 497.55 s
Current children cumulated vsize: 387268 KiB
Current children cumulated memory: 354688 KiB
[startup+512 s]*
/proc/loadavg: 4.53 4.21 4.18 5/254 23219
/proc/meminfo: memFree=129340512/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=383076 memory=352512 CPUtime=510.31 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 82996 0 0 0 50998 33 0 0 20 0 1 0 34337387 392269824 88128 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 95769 88128 576 108 0 94286 0
Current children cumulated CPU time: 510.31 s
Current children cumulated vsize: 387268 KiB
Current children cumulated memory: 355456 KiB
[startup+518.4 s]
/proc/loadavg: 4.57 4.23 4.19 5/254 23219
/proc/meminfo: memFree=129326180/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=386608 memory=355200 CPUtime=516.68 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 83686 0 0 0 51635 33 0 0 20 0 1 0 34337387 395886592 88800 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 96652 88800 576 108 0 95169 0
Current children cumulated CPU time: 516.68 s
Current children cumulated vsize: 390800 KiB
Current children cumulated memory: 358144 KiB
[startup+520 s]*
/proc/loadavg: 4.57 4.23 4.19 5/254 23219
/proc/meminfo: memFree=129324416/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=388264 memory=356480 CPUtime=518.28 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 84014 0 0 0 51795 33 0 0 20 0 1 0 34337387 397582336 89120 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 97066 89120 576 108 0 95583 0
Current children cumulated CPU time: 518.28 s
Current children cumulated vsize: 392456 KiB
Current children cumulated memory: 359424 KiB
[startup+521.6 s]
/proc/loadavg: 4.61 4.24 4.19 5/254 23219
/proc/meminfo: memFree=129324416/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=389064 memory=357248 CPUtime=519.87 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 84199 0 0 0 51954 33 0 0 20 0 1 0 34337387 398401536 89312 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 97266 89312 576 108 0 95783 0
Current children cumulated CPU time: 519.87 s
Current children cumulated vsize: 393256 KiB
Current children cumulated memory: 360192 KiB
[startup+522 s]*
/proc/loadavg: 4.61 4.24 4.19 5/254 23219
/proc/meminfo: memFree=129310240/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=389492 memory=357632 CPUtime=520.28 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 84280 0 0 0 51995 33 0 0 20 0 1 0 34337387 398839808 89408 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 97373 89408 576 108 0 95890 0
Current children cumulated CPU time: 520.28 s
Current children cumulated vsize: 393684 KiB
Current children cumulated memory: 360576 KiB
[startup+522.2 s]
/proc/loadavg: 4.61 4.24 4.19 5/254 23219
/proc/meminfo: memFree=129310240/131382112 swapFree=33010684/33010684
[pid=23032] ppid=23023 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/23032/stat : 23032 (bash) S 23023 23032 22597 0 -1 4194304 307 258 0 0 0 0 0 0 20 0 1 0 34337383 4292608 736 18446744073709551615 94411150643200 94411151537733 140724797316160 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94411151776784 94411151824528 94411178164224 140724797319572 140724797319688 140724797319688 140724797325290 0
/proc/23032/statm: 1048 736 672 219 0 110 0
[pid=23045] ppid=23032 vsize=318760 memory=228952 CPUtime=520.47 cores=5,7
/proc/23045/stat : 23045 (solve_pb) R 23032 23032 22597 0 -1 4194304 84325 0 0 0 52013 34 0 0 20 0 1 0 34337387 326410240 57706 18446744073709551615 94591016453120 94591016891264 140736722881792 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 94591016919984 94591016922400 94591029645312 140736722889092 140736722889156 140736722889156 140736722894776 0
/proc/23045/statm: 79690 57238 608 108 0 78207 0
Current children cumulated CPU time: 520.47 s
Current children cumulated vsize: 322952 KiB
Current children cumulated memory: 231896 KiB
Child status: 0
Real time (s): 522.203
CPU time (s): 520.497
CPU user time (s): 520.134
CPU system time (s): 0.36292
CPU usage (%): 99.6732
Max. virtual memory (cumulated for all children) (KiB): 393684
Max. memory (cumulated for all children) (KiB): 360576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.134
system time used= 0.36292
maximum resident set size= 357760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84906
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= 645
involuntary context switches= 767
# summary of solver processes directly reported to runsolver:
# pid: 23032
# total CPU time (s): 520.497
# total CPU user time (s): 520.134
# total CPU system time (s): 0.36292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.05354 second user time and 5.57826 second system time
The end
Begin job on nodeC005 at 2025-06-29 10:43:00
IDJOB=4507753
IDBENCH=158382
IDSOLVER=3321
FILE ID=nodeC005/4507753-1751186580
RUNJOBID= nodeC005-1751182966-22610
SLURM_JOB_ID= 9587565
Free space on /tmp= 433060 MiB
SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507753-1751186580/watcher-4507753-1751186580 -o /tmp/evaluation-result-4507753-1751186580/solver-4507753-1751186580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751182966-22610 --watchdog 3760 HOME/solve.sh HOME/instance-4507753-1751186580.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e64e621864ff5f0b0d30a15b78ec6db8
RANDOM SEED=953616251
nodeC005 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.244
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.90
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.240
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.90
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.436
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.90
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.265
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.90
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.230
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.90
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.146
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.90
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.256
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.192
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 130319564 kB
MemAvailable: 129952632 kB
Buffers: 3280 kB
Cached: 430204 kB
SwapCached: 0 kB
Active: 314804 kB
Inactive: 184980 kB
Active(anon): 84320 kB
Inactive(anon): 0 kB
Active(file): 230484 kB
Inactive(file): 184980 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1448 kB
Writeback: 0 kB
AnonPages: 69924 kB
Mapped: 103324 kB
Shmem: 17960 kB
KReclaimable: 86548 kB
Slab: 167456 kB
SReclaimable: 86548 kB
SUnreclaim: 80908 kB
KernelStack: 3956 kB
PageTables: 2836 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433056 MiB
End job on nodeC005 at 2025-06-29 10:51:42