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: 63665 MiB (57478 MiB free)
memory of node 1: 64507 MiB (61613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523688-1751603319/watcher-4523688-1751603319 -o /tmp/evaluation-result-4523688-1751603319/solver-4523688-1751603319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86140 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523688-1751603319.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=86820, runsolver pid=86817
[startup+0.100064 s]*
/proc/loadavg: 7.68 7.98 7.64 8/268 86821
/proc/meminfo: memFree=121907552/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=83908 memory=49280 CPUtime=0.09 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 11331 0 0 0 8 1 0 0 20 0 1 0 76009592 85921792 12320 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 20977 12320 1184 6655 0 11212 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 49280 KiB
[startup+0.206175 s]*
/proc/loadavg: 7.68 7.98 7.64 8/268 86821
/proc/meminfo: memFree=121907552/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=0.19 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13113 0 0 0 18 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+0.306177 s]*
/proc/loadavg: 7.68 7.98 7.64 8/268 86821
/proc/meminfo: memFree=121907552/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=0.29 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13113 0 0 0 28 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+0.700202 s]
/proc/loadavg: 7.68 7.98 7.64 8/268 86821
/proc/meminfo: memFree=121907552/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=0.68 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13116 0 0 0 67 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+1.50019 s]
/proc/loadavg: 7.68 7.98 7.64 8/268 86821
/proc/meminfo: memFree=121931652/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=1.48 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13119 0 0 0 147 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+3.10622 s]
/proc/loadavg: 7.63 7.96 7.64 8/268 86821
/proc/meminfo: memFree=121927992/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=3.08 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13119 0 0 0 307 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+6.30018 s]
/proc/loadavg: 7.63 7.96 7.64 8/268 86821
/proc/meminfo: memFree=121928740/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=91040 memory=56448 CPUtime=6.26 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 13119 0 0 0 625 1 0 0 20 0 1 0 76009592 93224960 14112 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 22760 14112 1184 6655 0 12995 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91040 KiB
Current children cumulated memory: 56448 KiB
[startup+12.7002 s]
/proc/loadavg: 7.61 7.95 7.64 9/269 86822
/proc/meminfo: memFree=121808592/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=268604 memory=195212 CPUtime=14.55 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 39009 0 0 0 1449 6 0 0 20 0 2 0 76009592 275050496 48803 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 67151 48803 3456 6655 0 47390 0
[pid=86820/tid=86822] ppid=86817 vsize=268604 memory=190604 CPUtime=1.9 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 5300 0 0 0 190 0 0 0 20 0 2 0 76010599 275050496 48803 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 268604 KiB
Current children cumulated memory: 195212 KiB
[startup+25.5002 s]
/proc/loadavg: 7.67 7.95 7.64 9/269 86822
/proc/meminfo: memFree=121789364/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=259612 memory=194384 CPUtime=39.89 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 75685 0 0 0 3981 8 0 0 20 0 2 0 76009592 265842688 48596 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 64903 48596 3456 6655 0 47178 0
[pid=86820/tid=86822] ppid=86817 vsize=259612 memory=194384 CPUtime=14.51 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 19995 0 0 0 1449 2 0 0 20 0 2 0 76010599 265842688 48596 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 39.89 s
Current children cumulated vsize: 259612 KiB
Current children cumulated memory: 194384 KiB
[startup+51.1061 s]
/proc/loadavg: 7.78 7.95 7.65 9/269 86822
/proc/meminfo: memFree=121709112/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=297624 memory=255764 CPUtime=90.68 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 111669 0 0 0 9056 12 0 0 20 0 2 0 76009592 304766976 63941 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 74406 63941 3456 6655 0 62501 0
[pid=86820/tid=86822] ppid=86817 vsize=297624 memory=255764 CPUtime=39.79 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 32198 0 0 0 3976 3 0 0 20 0 2 0 76010599 304766976 63941 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 90.68 s
Current children cumulated vsize: 297624 KiB
Current children cumulated memory: 255764 KiB
[startup+102.3 s]
/proc/loadavg: 7.92 7.96 7.67 9/269 86824
/proc/meminfo: memFree=121696888/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=319904 memory=282036 CPUtime=190.39 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 168047 0 0 0 19021 18 0 0 20 0 2 0 76009592 327581696 70509 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 79976 70509 3456 6655 0 68805 0
[pid=86820/tid=86822] ppid=86817 vsize=319904 memory=282036 CPUtime=88.53 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 63506 0 0 0 8847 6 0 0 20 0 2 0 76010599 327581696 70509 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 190.39 s
Current children cumulated vsize: 319904 KiB
Current children cumulated memory: 282036 KiB
[startup+162.3 s]
/proc/loadavg: 7.55 7.86 7.66 8/267 86876
/proc/meminfo: memFree=121997252/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=326844 memory=293372 CPUtime=309.47 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 202097 0 0 0 30923 24 0 0 20 0 2 0 76009592 334688256 73343 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 81711 73343 3456 6655 0 71615 0
[pid=86820/tid=86822] ppid=86817 vsize=326844 memory=14592 CPUtime=147.84 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 81342 0 0 0 14773 11 0 0 20 0 2 0 76010599 334688256 73343 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 309.47 s
Current children cumulated vsize: 326844 KiB
Current children cumulated memory: 293372 KiB
[startup+222.3 s]
/proc/loadavg: 7.80 7.87 7.67 9/268 86879
/proc/meminfo: memFree=121762540/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=412680 memory=337976 CPUtime=428.51 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 211853 0 0 0 42821 30 0 0 20 0 2 0 76009592 422584320 84494 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 103170 84494 3456 6655 0 83013 0
[pid=86820/tid=86822] ppid=86817 vsize=412680 memory=337976 CPUtime=207.13 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 89347 0 0 0 20696 17 0 0 20 0 2 0 76010599 422584320 84494 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 428.51 s
Current children cumulated vsize: 412680 KiB
Current children cumulated memory: 337976 KiB
[startup+282.3 s]
/proc/loadavg: 8.01 7.92 7.70 9/268 86885
/proc/meminfo: memFree=121754556/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=406592 memory=343008 CPUtime=547.55 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 240517 0 0 0 54720 35 0 0 20 0 2 0 76009592 416350208 85752 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 101648 85752 3456 6655 0 84040 0
[pid=86820/tid=86822] ppid=86817 vsize=406592 memory=341216 CPUtime=266.4 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 103235 0 0 0 26621 19 0 0 20 0 2 0 76010599 416350208 85752 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 547.55 s
Current children cumulated vsize: 406592 KiB
Current children cumulated memory: 343008 KiB
[startup+342.3 s]
/proc/loadavg: 8.06 7.95 7.73 9/268 86888
/proc/meminfo: memFree=121715960/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=417360 memory=369512 CPUtime=666.55 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 269859 0 0 0 66616 39 0 0 20 0 2 0 76009592 427376640 92378 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 104340 92378 3456 6655 0 91793 0
[pid=86820/tid=86822] ppid=86817 vsize=417360 memory=341216 CPUtime=325.67 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 112488 0 0 0 32547 20 0 0 20 0 2 0 76010599 427376640 92378 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 666.55 s
Current children cumulated vsize: 417360 KiB
Current children cumulated memory: 369512 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 561756 0 0 0 292748 118 0 0 20 0 2 0 76009592 653135872 144302 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 159457 144302 3520 6655 0 146488 0
[pid=86820/tid=86822] ppid=86817 vsize=637828 memory=568248 CPUtime=1457.79 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 247532 0 0 0 145719 60 0 0 20 0 2 0 76010599 653135872 144302 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 2928.66 s
Current children cumulated vsize: 637828 KiB
Current children cumulated memory: 577208 KiB
[startup+1542.3 s]
/proc/loadavg: 8.21 8.15 8.03 9/269 87044
/proc/meminfo: memFree=121405168/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=629788 memory=565320 CPUtime=3047.64 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 580489 0 0 0 304643 121 0 0 20 0 2 0 76009592 644902912 141330 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 157447 141330 3520 6655 0 146835 0
[pid=86820/tid=86822] ppid=86817 vsize=629788 memory=565320 CPUtime=1517.51 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 260665 0 0 0 151689 62 0 0 20 0 2 0 76010599 644902912 141330 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3047.64 s
Current children cumulated vsize: 629788 KiB
Current children cumulated memory: 565320 KiB
[startup+1602.3 s]
/proc/loadavg: 8.12 8.14 8.03 9/269 87046
/proc/meminfo: memFree=121300312/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=654104 memory=608964 CPUtime=3166.71 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 602176 0 0 0 316546 125 0 0 20 0 2 0 76009592 669802496 152241 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 163526 152241 3520 6655 0 152914 0
[pid=86820/tid=86822] ppid=86817 vsize=654104 memory=565320 CPUtime=1577.27 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 272650 0 0 0 157664 63 0 0 20 0 2 0 76010599 669802496 152241 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3166.71 s
Current children cumulated vsize: 654104 KiB
Current children cumulated memory: 608964 KiB
[startup+1662.3 s]
/proc/loadavg: 8.16 8.14 8.03 9/269 87048
/proc/meminfo: memFree=121220980/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=660244 memory=609280 CPUtime=3285.74 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 624594 0 0 0 328446 128 0 0 20 0 2 0 76009592 676089856 152320 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 165061 152320 3520 6655 0 155144 0
[pid=86820/tid=86822] ppid=86817 vsize=660244 memory=565320 CPUtime=1637.02 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 287976 0 0 0 163636 66 0 0 20 0 2 0 76010599 676089856 152320 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3285.74 s
Current children cumulated vsize: 660244 KiB
Current children cumulated memory: 609280 KiB
[startup+1722.3 s]
/proc/loadavg: 8.12 8.13 8.03 9/269 87052
/proc/meminfo: memFree=121143712/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=661524 memory=625440 CPUtime=3404.77 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 653198 0 0 0 340342 135 0 0 20 0 2 0 76009592 677400576 156360 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 165381 156360 3520 6655 0 155464 0
[pid=86820/tid=86822] ppid=86817 vsize=661524 memory=565320 CPUtime=1696.78 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 312279 0 0 0 169606 72 0 0 20 0 2 0 76010599 677400576 156360 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3404.77 s
Current children cumulated vsize: 661524 KiB
Current children cumulated memory: 625440 KiB
[startup+1782.3 s]
/proc/loadavg: 8.09 8.12 8.03 9/269 87054
/proc/meminfo: memFree=121090692/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=662748 memory=618668 CPUtime=3523.82 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 685448 0 0 0 352238 144 0 0 20 0 2 0 76009592 678653952 154667 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 165687 154667 3520 6655 0 155770 0
[pid=86820/tid=86822] ppid=86817 vsize=662748 memory=616748 CPUtime=1756.54 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 331542 0 0 0 175577 77 0 0 20 0 2 0 76010599 678653952 154667 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3523.82 s
Current children cumulated vsize: 662748 KiB
Current children cumulated memory: 618668 KiB
[startup+1801.12 s]
# the end of solver process 86820 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.59 s, system=1.5275 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 8.15 8.13 8.04 9/269 87054
/proc/meminfo: memFree=121055220/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=666872 memory=634420 CPUtime=3543.07 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 687983 0 0 0 354163 144 0 0 20 0 2 0 76009592 682876928 158605 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 166718 158605 3520 6655 0 156801 0
[pid=86820/tid=86822] ppid=86817 vsize=666872 memory=4760 CPUtime=1766.2 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 334071 0 0 0 176543 77 0 0 20 0 2 0 76010599 682876928 158605 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3543.07 s
Current children cumulated vsize: 666872 KiB
Current children cumulated memory: 634420 KiB
[startup+1795.2 s]
/proc/loadavg: 8.15 8.13 8.04 9/269 87054
/proc/meminfo: memFree=121047660/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=666872 memory=634420 CPUtime=3549.41 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 687983 0 0 0 354797 144 0 0 20 0 2 0 76009592 682876928 158605 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 166718 158605 3520 6655 0 156801 0
[pid=86820/tid=86822] ppid=86817 vsize=666872 memory=628976 CPUtime=1769.38 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 334071 0 0 0 176861 77 0 0 20 0 2 0 76010599 682876928 158605 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3549.41 s
Current children cumulated vsize: 666872 KiB
Current children cumulated memory: 634420 KiB
[startup+1798.4 s]
/proc/loadavg: 8.14 8.13 8.04 9/269 87054
/proc/meminfo: memFree=121047912/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=668336 memory=635700 CPUtime=3555.76 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 688329 0 0 0 355432 144 0 0 20 0 2 0 76009592 684376064 158925 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 167084 158925 3520 6655 0 157167 0
[pid=86820/tid=86822] ppid=86817 vsize=668336 memory=14592 CPUtime=1772.57 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 334071 0 0 0 177180 77 0 0 20 0 2 0 76010599 684376064 158925 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3555.76 s
Current children cumulated vsize: 668336 KiB
Current children cumulated memory: 635700 KiB
[startup+1800 s]*
/proc/loadavg: 8.14 8.13 8.04 9/268 87054
/proc/meminfo: memFree=121048416/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=668336 memory=635700 CPUtime=3558.94 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 688329 0 0 0 355750 144 0 0 20 0 2 0 76009592 684376064 158925 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 167084 158925 3520 6655 0 157167 0
[pid=86820/tid=86822] ppid=86817 vsize=668336 memory=-6152311156459540830 CPUtime=1774.17 cores=1,3
/proc/86820/task/86822/stat : 86822 (LSIPExact) R 86817 86820 86128 0 -1 4194368 334071 0 0 0 177340 77 0 0 20 0 2 0 76010599 684376064 158925 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
Current children cumulated CPU time: 3558.94 s
Current children cumulated vsize: 668336 KiB
Current children cumulated memory: 635700 KiB
[startup+1800.8 s]
/proc/loadavg: 8.14 8.13 8.04 9/268 87054
/proc/meminfo: memFree=121048416/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=471728 memory=438156 CPUtime=3559.15 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) S 86817 86820 86128 0 -1 4194304 694890 229 0 0 355770 145 0 0 20 0 1 0 76009592 483049472 109539 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 117932 109539 3552 6655 0 108049 0
Current children cumulated CPU time: 3559.15 s
Current children cumulated vsize: 471728 KiB
Current children cumulated memory: 438156 KiB
[startup+1801 s]*
/proc/loadavg: 8.14 8.13 8.04 8/268 87056
/proc/meminfo: memFree=121168760/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=471728 memory=438156 CPUtime=3559.15 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) S 86817 86820 86128 0 -1 4194304 694890 229 0 0 355770 145 0 0 20 0 1 0 76009592 483049472 109539 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 117932 109539 3552 6655 0 108049 0
[pid=87056] ppid=86820 vsize=85716 memory=62988 CPUtime=0.83 cores=1,3
/proc/87056/stat : 87056 (Exact) R 86820 87056 87056 0 -1 4194304 18260 0 0 0 78 5 0 0 20 0 1 0 76189606 87773184 15747 18446744073709551615 4198400 8335837 140721432000880 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 35856384 140721432008884 140721432009245 140721432009245 140721432014799 0
/proc/87056/statm: 21429 15747 1120 1011 0 20196 0
Current children cumulated CPU time: 3559.98 s
Current children cumulated vsize: 557444 KiB
Current children cumulated memory: 501144 KiB
[startup+1801.11 s]
/proc/loadavg: 8.14 8.13 8.04 8/268 87056
/proc/meminfo: memFree=121168760/131249996 swapFree=33003468/33010684
[pid=86820] ppid=86817 vsize=471728 memory=438156 CPUtime=3560.08 cores=1,3
/proc/86820/stat : 86820 (LSIPExact) R 86817 86820 86128 0 -1 4194304 703464 18491 0 0 355773 145 84 6 20 0 1 0 76009592 483049472 109539 18446744073709551615 94763769376768 94763796633169 140725073353168 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94763805136008 94763805567616 94763830624256 140725073361242 140725073361418 140725073361418 140725073367020 0
/proc/86820/statm: 117932 109539 3552 6655 0 108049 0
Current children cumulated CPU time: 3560.08 s
Current children cumulated vsize: 471728 KiB
Current children cumulated memory: 438156 KiB
Child status: 0
Real time (s): 1801.12
CPU time (s): 3560.12
CPU user time (s): 3558.59
CPU system time (s): 1.5275
CPU usage (%): 197.662
Max. virtual memory (cumulated for all children) (KiB): 732752
Max. memory (cumulated for all children) (KiB): 635700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.59
system time used= 1.5275
maximum resident set size= 636468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 721966
page faults= 0
swaps= 0
block input operations= 6280
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 516
involuntary context switches= 80860
# summary of solver processes directly reported to runsolver:
# pid: 86820
# total CPU time (s): 3560.12
# total CPU user time (s): 3558.59
# total CPU system time (s): 1.5275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.02197 second user time and 9.21231 second system time
The end
Begin job on nodeC021 at 2025-07-04 06:28:39
IDJOB=4523688
IDBENCH=180370
IDSOLVER=3337
FILE ID=nodeC021/4523688-1751603319
RUNJOBID= nodeC021-1751599645-86140
SLURM_JOB_ID= 9598875
Free space on /tmp= 430804 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_16_label5_adversarial_norm_inf.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523688-1751603319/watcher-4523688-1751603319 -o /tmp/evaluation-result-4523688-1751603319/solver-4523688-1751603319 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86140 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523688-1751603319.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 125f46ef4151ea54a587951799140dfb
RANDOM SEED=361112563
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.791
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.425
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.797
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.768
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 121934180 kB
MemAvailable: 128395712 kB
Buffers: 1056 kB
Cached: 7194700 kB
SwapCached: 32 kB
Active: 1831236 kB
Inactive: 6732212 kB
Active(anon): 1340316 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6691384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47776 kB
Writeback: 0 kB
AnonPages: 1369068 kB
Mapped: 135184 kB
Shmem: 13452 kB
KReclaimable: 236536 kB
Slab: 328912 kB
SReclaimable: 236536 kB
SUnreclaim: 92376 kB
KernelStack: 4320 kB
PageTables: 5772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1749172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1044480 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430760 MiB
End job on nodeC021 at 2025-07-04 06:58:40