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 (57987 MiB free)
memory of node 1: 64507 MiB (56373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523458-1751600193/watcher-4523458-1751600193 -o /tmp/evaluation-result-4523458-1751600193/solver-4523458-1751600193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86138 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523458-1751600193.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86416, runsolver pid=86413
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 5.28 5.09 3.74 6/267 86417
/proc/meminfo: memFree=117050056/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=85508 memory=51200 CPUtime=0.09 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 11739 0 0 0 7 2 0 0 20 0 1 0 75697006 87560192 12800 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 21377 12800 1216 6655 0 11612 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85508 KiB
Current children cumulated memory: 51200 KiB
[startup+0.205707 s]*
/proc/loadavg: 5.28 5.09 3.74 6/267 86417
/proc/meminfo: memFree=117050056/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=0.2 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12990 0 0 0 18 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+0.305764 s]*
/proc/loadavg: 5.28 5.09 3.74 6/267 86417
/proc/meminfo: memFree=117050056/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=0.3 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12990 0 0 0 28 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+0.700168 s]
/proc/loadavg: 5.28 5.09 3.74 6/267 86417
/proc/meminfo: memFree=117058120/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=0.69 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12990 0 0 0 67 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+1.50017 s]
/proc/loadavg: 5.28 5.09 3.74 6/267 86417
/proc/meminfo: memFree=117058372/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=1.48 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12992 0 0 0 146 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+3.10566 s]
/proc/loadavg: 5.26 5.09 3.75 6/267 86417
/proc/meminfo: memFree=117052324/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=3.08 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12992 0 0 0 306 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+6.30016 s]
/proc/loadavg: 5.26 5.09 3.75 6/267 86417
/proc/meminfo: memFree=117052324/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=90548 memory=56192 CPUtime=6.27 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 12993 0 0 0 625 2 0 0 20 0 1 0 75697006 92721152 14048 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 22637 14048 1216 6655 0 12872 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 90548 KiB
Current children cumulated memory: 56192 KiB
[startup+12.7002 s]
/proc/loadavg: 5.38 5.12 3.77 7/268 86418
/proc/meminfo: memFree=116952464/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=255752 memory=182360 CPUtime=14.58 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 39228 0 0 0 1452 6 0 0 20 0 2 0 75697006 261890048 45590 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 63938 45590 3520 6655 0 44229 0
[pid=86416/tid=86418] ppid=86413 vsize=255752 memory=182360 CPUtime=1.92 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 5822 0 0 0 192 0 0 0 20 0 2 0 75698015 261890048 45590 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 14.58 s
Current children cumulated vsize: 255752 KiB
Current children cumulated memory: 182360 KiB
[startup+25.5002 s]
/proc/loadavg: 5.48 5.15 3.80 7/268 86418
/proc/meminfo: memFree=116960100/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=244512 memory=171656 CPUtime=39.96 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 73518 0 0 0 3985 11 0 0 20 0 2 0 75697006 250380288 42914 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 61128 42914 3520 6655 0 41419 0
[pid=86416/tid=86418] ppid=86413 vsize=244512 memory=171656 CPUtime=14.56 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 18375 0 0 0 1454 2 0 0 20 0 2 0 75698015 250380288 42914 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 39.96 s
Current children cumulated vsize: 244512 KiB
Current children cumulated memory: 171656 KiB
[startup+51.1057 s]
/proc/loadavg: 5.66 5.22 3.86 7/268 86418
/proc/meminfo: memFree=116907680/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=266096 memory=216856 CPUtime=89.53 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 108411 0 0 0 8937 16 0 0 20 0 2 0 75697006 272482304 54214 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 66524 54214 3520 6655 0 52533 0
[pid=86416/tid=86418] ppid=86413 vsize=266096 memory=247156 CPUtime=38.63 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 33542 0 0 0 3860 3 0 0 20 0 2 0 75698015 272482304 54214 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 89.53 s
Current children cumulated vsize: 266096 KiB
Current children cumulated memory: 216856 KiB
[startup+102.3 s]
/proc/loadavg: 5.90 5.37 3.99 7/269 86421
/proc/meminfo: memFree=116879592/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=267456 memory=218008 CPUtime=191.19 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 135087 0 0 0 19101 18 0 0 20 0 2 0 75697006 273874944 54502 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 66864 54502 3520 6655 0 52873 0
[pid=86416/tid=86418] ppid=86413 vsize=267456 memory=218008 CPUtime=89.28 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 49068 0 0 0 8923 5 0 0 20 0 2 0 75698015 273874944 54502 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 191.19 s
Current children cumulated vsize: 267456 KiB
Current children cumulated memory: 218008 KiB
[startup+162.3 s]
/proc/loadavg: 6.02 5.50 4.12 7/269 86423
/proc/meminfo: memFree=116834944/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=272236 memory=222872 CPUtime=310.34 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 175057 0 0 0 31011 23 0 0 20 0 2 0 75697006 278769664 55718 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 68059 55718 3520 6655 0 54068 0
[pid=86416/tid=86418] ppid=86413 vsize=272236 memory=218008 CPUtime=148.64 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 73596 0 0 0 14856 8 0 0 20 0 2 0 75698015 278769664 55718 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 310.34 s
Current children cumulated vsize: 272236 KiB
Current children cumulated memory: 222872 KiB
[startup+222.3 s]
/proc/loadavg: 6.05 5.61 4.25 7/268 86425
/proc/meminfo: memFree=116801512/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=279144 memory=233028 CPUtime=429.46 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 195245 0 0 0 42921 25 0 0 20 0 2 0 75697006 285843456 58257 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 69786 58257 3520 6655 0 56598 0
[pid=86416/tid=86418] ppid=86413 vsize=279144 memory=229972 CPUtime=207.98 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 83487 0 0 0 20789 9 0 0 20 0 2 0 75698015 285843456 58257 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 429.46 s
Current children cumulated vsize: 279144 KiB
Current children cumulated memory: 233028 KiB
[startup+282.3 s]
/proc/loadavg: 6.12 5.71 4.37 7/268 86428
/proc/meminfo: memFree=116753200/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=292692 memory=256836 CPUtime=548.63 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 215408 0 0 0 54835 28 0 0 20 0 2 0 75697006 299716608 64209 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 73173 64209 3520 6655 0 62559 0
[pid=86416/tid=86418] ppid=86413 vsize=292692 memory=251584 CPUtime=267.35 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 96370 0 0 0 26724 11 0 0 20 0 2 0 75698015 299716608 64209 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 548.63 s
Current children cumulated vsize: 292692 KiB
Current children cumulated memory: 256836 KiB
[startup+342.3 s]
/proc/loadavg: 6.25 5.84 4.50 7/268 86430
/proc/meminfo: memFree=116707336/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=311240 memory=277836 CPUtime=667.78 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 236865 0 0 0 66744 34 0 0 20 0 2 0 75697006 318709760 69459 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 77810 69459 3520 6655 0 67791 0
[pid=86416/tid=86418] ppid=86413 vsize=311240 memory=14592 CPUtime=326.71 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 109006 0 0 0 32655 16 0 0 20 0 2 0 75698015 318709760 69459 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 667.78 s
Current children cumulated vsize: 311240 KiB
Current children cumulated memory: 277836 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 451014 0 0 0 245382 90 0 0 20 0 2 0 75697006 782794752 171231 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 191112 171231 3584 6655 0 169942 0
[pid=86416/tid=86418] ppid=86413 vsize=764448 memory=653040 CPUtime=1217.03 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 239544 0 0 0 121646 57 0 0 20 0 2 0 75698015 782794752 171231 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 2454.72 s
Current children cumulated vsize: 764448 KiB
Current children cumulated memory: 684924 KiB
[startup+1302.3 s]
/proc/loadavg: 6.23 6.12 5.59 8/269 86531
/proc/meminfo: memFree=118379916/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=793740 memory=746988 CPUtime=2573.79 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 466942 0 0 0 257281 98 0 0 20 0 2 0 75697006 812789760 186747 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 198435 186747 3584 6655 0 185194 0
[pid=86416/tid=86418] ppid=86413 vsize=793740 memory=14592 CPUtime=1276.35 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 247516 0 0 0 127575 60 0 0 20 0 2 0 75698015 812789760 186747 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 2573.79 s
Current children cumulated vsize: 793740 KiB
Current children cumulated memory: 746988 KiB
[startup+1362.3 s]
/proc/loadavg: 6.78 6.30 5.68 8/269 86533
/proc/meminfo: memFree=118143548/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=891104 memory=809140 CPUtime=2692.92 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 480925 0 0 0 269190 102 0 0 20 0 2 0 75697006 912490496 202285 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 222776 202285 3584 6655 0 200555 0
[pid=86416/tid=86418] ppid=86413 vsize=891104 memory=749164 CPUtime=1335.68 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 254765 0 0 0 133505 63 0 0 20 0 2 0 75698015 912490496 202285 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 2692.92 s
Current children cumulated vsize: 891104 KiB
Current children cumulated memory: 809140 KiB
[startup+1422.3 s]
/proc/loadavg: 6.68 6.38 5.75 7/269 86537
/proc/meminfo: memFree=118609372/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=921868 memory=874300 CPUtime=2812.07 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 494817 0 0 0 281103 104 0 0 20 0 2 0 75697006 943992832 218575 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 230467 218575 3584 6655 0 217392 0
[pid=86416/tid=86418] ppid=86413 vsize=921868 memory=749164 CPUtime=1395.03 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 262466 0 0 0 139439 64 0 0 20 0 2 0 75698015 943992832 218575 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 2812.07 s
Current children cumulated vsize: 921868 KiB
Current children cumulated memory: 874300 KiB
[startup+1482.3 s]
/proc/loadavg: 6.79 6.45 5.82 8/269 86595
/proc/meminfo: memFree=119156152/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=943320 memory=909044 CPUtime=2931.26 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 539668 0 0 0 293017 109 0 0 20 0 2 0 75697006 965959680 227261 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 235830 227261 3584 6655 0 225574 0
[pid=86416/tid=86418] ppid=86413 vsize=943320 memory=878780 CPUtime=1454.39 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 291458 0 0 0 145373 66 0 0 20 0 2 0 75698015 965959680 227261 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 2931.26 s
Current children cumulated vsize: 943320 KiB
Current children cumulated memory: 909044 KiB
[startup+1542.3 s]
/proc/loadavg: 6.98 6.57 5.90 8/269 86597
/proc/meminfo: memFree=119144648/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1023700 memory=941208 CPUtime=3050.37 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 610865 0 0 0 304922 115 0 0 20 0 2 0 75697006 1048268800 235302 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 255925 235302 3584 6655 0 233612 0
[pid=86416/tid=86418] ppid=86413 vsize=1023700 memory=941208 CPUtime=1513.72 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 347447 0 0 0 151301 71 0 0 20 0 2 0 75698015 1048268800 235302 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 3050.37 s
Current children cumulated vsize: 1023700 KiB
Current children cumulated memory: 941208 KiB
[startup+1602.3 s]
/proc/loadavg: 7.03 6.66 5.98 8/269 86604
/proc/meminfo: memFree=118941512/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1069412 memory=1034752 CPUtime=3169.51 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 635245 0 0 0 316829 122 0 0 20 0 2 0 75697006 1095077888 258688 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 267353 258688 3584 6655 0 256976 0
[pid=86416/tid=86418] ppid=86413 vsize=1069412 memory=941208 CPUtime=1573.06 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 361348 0 0 0 157232 74 0 0 20 0 2 0 75698015 1095077888 258688 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 3169.51 s
Current children cumulated vsize: 1069412 KiB
Current children cumulated memory: 1034752 KiB
[startup+1662.3 s]
/proc/loadavg: 7.10 6.76 6.05 8/268 86607
/proc/meminfo: memFree=118836476/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1165852 memory=1100240 CPUtime=3288.65 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 648753 0 0 0 328737 128 0 0 20 0 2 0 75697006 1193832448 275060 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 291463 275060 3584 6655 0 273690 0
[pid=86416/tid=86418] ppid=86413 vsize=1165852 memory=941208 CPUtime=1632.39 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 371800 0 0 0 163160 79 0 0 20 0 2 0 75698015 1193832448 275060 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 3288.65 s
Current children cumulated vsize: 1165852 KiB
Current children cumulated memory: 1100240 KiB
[startup+1722.3 s]
/proc/loadavg: 7.08 6.82 6.12 8/268 86609
/proc/meminfo: memFree=118664260/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1171424 memory=1129868 CPUtime=3407.77 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 658402 0 0 0 340648 129 0 0 20 0 2 0 75697006 1199538176 282467 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 292856 282467 3584 6655 0 280748 0
[pid=86416/tid=86418] ppid=86413 vsize=1171424 memory=941208 CPUtime=1691.73 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 377348 0 0 0 169093 80 0 0 20 0 2 0 75698015 1199538176 282467 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 3407.77 s
Current children cumulated vsize: 1171424 KiB
Current children cumulated memory: 1129868 KiB
[startup+1782.3 s]
/proc/loadavg: 7.14 6.88 6.19 8/269 86614
/proc/meminfo: memFree=118534256/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1284544 memory=1215380 CPUtime=3526.9 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) R 86413 86416 86128 0 -1 4194304 685754 0 0 0 352556 134 0 0 20 0 2 0 75697006 1315373056 303845 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 321136 303845 3584 6655 0 302127 0
[pid=86416/tid=86418] ppid=86413 vsize=1284544 memory=941208 CPUtime=1751.06 cores=0,2
/proc/86416/task/86418/stat : 86418 (LSIPExact) R 86413 86416 86128 0 -1 4194368 392939 0 0 0 175023 83 0 0 20 0 2 0 75698015 1315373056 303845 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
Current children cumulated CPU time: 3526.9 s
Current children cumulated vsize: 1284544 KiB
Current children cumulated memory: 1215380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1838.11 s]
/proc/loadavg: 7.11 6.92 6.24 8/269 86663
/proc/meminfo: memFree=120984232/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1227144 memory=1191748 CPUtime=3562.5 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) S 86413 86416 86128 0 -1 4194304 868178 228 0 0 356106 144 0 0 20 0 1 0 75697006 1256595456 297937 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 306786 297937 3616 6655 0 296655 0
[pid=86662] ppid=86416 vsize=74496 memory=64452 CPUtime=37.58 cores=0,2
/proc/86662/stat : 86662 (Exact) R 86416 86662 86662 0 -1 4194304 17758 0 0 0 3753 5 0 0 20 0 1 0 75877046 76283904 16113 18446744073709551615 4198400 8335837 140726509066288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 20029440 140726509074612 140726509074973 140726509074973 140726509080527 0
/proc/86662/statm: 18624 16113 1120 1011 0 17391 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1301640 KiB
Current children cumulated memory: 1256200 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1838.2 s]
# the end of solver process 86416 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.63 s, system=1.56147 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1838.11 s]
/proc/loadavg: 7.11 6.92 6.24 8/269 86663
/proc/meminfo: memFree=120984232/131249996 swapFree=33003468/33010684
[pid=86416] ppid=86413 vsize=1227144 memory=1191748 CPUtime=3562.5 cores=0,2
/proc/86416/stat : 86416 (LSIPExact) S 86413 86416 86128 0 -1 4194304 868178 228 0 0 356106 144 0 0 20 0 1 0 75697006 1256595456 297937 18446744073709551615 94486092279808 94486119536209 140734189657264 0 0 0 0 0 16386 1 0 0 17 0 0 0 0 0 0 94486128039048 94486128470656 94486144409600 140734189664602 140734189664778 140734189664778 140734189670380 0
/proc/86416/statm: 306786 297937 3616 6655 0 296655 0
[pid=86662] ppid=86416 vsize=74496 memory=64452 CPUtime=37.58 cores=0,2
/proc/86662/stat : 86662 (Exact) R 86416 86662 86662 0 -1 4194304 17758 0 0 0 3753 5 0 0 20 0 1 0 75877046 76283904 16113 18446744073709551615 4198400 8335837 140726509066288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 20029440 140726509074612 140726509074973 140726509074973 140726509080527 0
/proc/86662/statm: 18624 16113 1120 1011 0 17391 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1301640 KiB
Current children cumulated memory: 1256200 KiB
Child status: 0
Real time (s): 1838.2
CPU time (s): 3600.19
CPU user time (s): 3598.63
CPU system time (s): 1.56147
CPU usage (%): 195.854
Max. virtual memory (cumulated for all children) (KiB): 1301640
Max. memory (cumulated for all children) (KiB): 1256200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.56147
maximum resident set size= 1246132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893321
page faults= 0
swaps= 0
block input operations= 6240
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 584
involuntary context switches= 39449
# summary of solver processes directly reported to runsolver:
# pid: 86416
# total CPU time (s): 3600.19
# total CPU user time (s): 3598.63
# total CPU system time (s): 1.56147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69568 second user time and 8.85013 second system time
The end
Begin job on nodeC021 at 2025-07-04 05:36:33
IDJOB=4523458
IDBENCH=180363
IDSOLVER=3337
FILE ID=nodeC021/4523458-1751600193
RUNJOBID= nodeC021-1751599645-86138
SLURM_JOB_ID= 9598875
Free space on /tmp= 430712 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB25/normalized-PB25/OPT-LIN/sakai/PB25-bnn-verification-20250419/instances/normalized-bnn_mnist_rot_8_label1_adversarial_norm_0.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4523458-1751600193/watcher-4523458-1751600193 -o /tmp/evaluation-result-4523458-1751600193/solver-4523458-1751600193 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86138 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523458-1751600193.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0f8d279ff02416fc8d5941f7f119b5c9
RANDOM SEED=1987722038
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 : 3600.219
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.174
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.774
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 : 3606.201
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.780
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.874
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.778
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 : 3610.898
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: 117105748 kB
MemAvailable: 123660024 kB
Buffers: 1056 kB
Cached: 7287480 kB
SwapCached: 32 kB
Active: 6520144 kB
Inactive: 6824992 kB
Active(anon): 6029224 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6784164 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47756 kB
Writeback: 4 kB
AnonPages: 6055012 kB
Mapped: 135312 kB
Shmem: 13452 kB
KReclaimable: 236464 kB
Slab: 328840 kB
SReclaimable: 236464 kB
SUnreclaim: 92376 kB
KernelStack: 4304 kB
PageTables: 15360 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 6665936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2408448 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:07:12