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 (57595 MiB free)
memory of node 1: 64507 MiB (61533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523780-1751603787/watcher-4523780-1751603787 -o /tmp/evaluation-result-4523780-1751603787/solver-4523780-1751603787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86141 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523780-1751603787.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=86941, runsolver pid=86938
[startup+0.100061 s]*
/proc/loadavg: 7.98 7.98 7.77 8/267 86942
/proc/meminfo: memFree=121940108/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=85864 memory=51328 CPUtime=0.09 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 11809 0 0 0 7 2 0 0 20 0 1 0 76056448 87924736 12832 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 21466 12832 1184 6655 0 11701 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 85864 KiB
Current children cumulated memory: 51328 KiB
[startup+0.205566 s]*
/proc/loadavg: 7.98 7.98 7.77 8/267 86942
/proc/meminfo: memFree=121932044/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=0.19 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13118 0 0 0 17 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+0.305504 s]*
/proc/loadavg: 7.98 7.98 7.77 8/267 86942
/proc/meminfo: memFree=121933644/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=0.29 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13121 0 0 0 27 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+0.700187 s]
/proc/loadavg: 7.98 7.98 7.77 8/267 86942
/proc/meminfo: memFree=121933900/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=0.68 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13122 0 0 0 66 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+1.50018 s]
/proc/loadavg: 7.98 7.98 7.77 8/267 86942
/proc/meminfo: memFree=121933900/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=1.48 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13123 0 0 0 146 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+3.10547 s]
/proc/loadavg: 7.90 7.96 7.77 8/267 86942
/proc/meminfo: memFree=121941536/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=3.08 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13123 0 0 0 306 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+6.30017 s]
/proc/loadavg: 7.90 7.96 7.77 8/267 86942
/proc/meminfo: memFree=121950264/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=91012 memory=56576 CPUtime=6.26 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 13124 0 0 0 624 2 0 0 20 0 1 0 76056448 93196288 14144 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 22753 14144 1184 6655 0 12988 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 91012 KiB
Current children cumulated memory: 56576 KiB
[startup+12.7002 s]
/proc/loadavg: 7.83 7.95 7.76 9/268 86943
/proc/meminfo: memFree=121853112/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=274448 memory=195824 CPUtime=14.43 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 41369 0 0 0 1435 8 0 0 20 0 2 0 76056448 281034752 48956 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 68612 48956 3520 6655 0 48921 0
[pid=86941/tid=86943] ppid=86938 vsize=274448 memory=204672 CPUtime=1.77 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 4909 0 0 0 177 0 0 0 20 0 2 0 76057458 281034752 48956 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 14.43 s
Current children cumulated vsize: 274448 KiB
Current children cumulated memory: 195824 KiB
[startup+25.5002 s]
/proc/loadavg: 7.87 7.95 7.77 9/268 86944
/proc/meminfo: memFree=121798936/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=310564 memory=275088 CPUtime=39.75 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 99144 0 0 0 3958 17 0 0 20 0 2 0 76056448 318017536 68772 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 77641 68772 3520 6655 0 67731 0
[pid=86941/tid=86943] ppid=86938 vsize=310564 memory=275088 CPUtime=14.36 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 29798 0 0 0 1432 4 0 0 20 0 2 0 76057458 318017536 68772 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 39.75 s
Current children cumulated vsize: 310564 KiB
Current children cumulated memory: 275088 KiB
[startup+51.1054 s]
/proc/loadavg: 7.89 7.95 7.77 8/268 86946
/proc/meminfo: memFree=121776996/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=336656 memory=278916 CPUtime=90.53 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 107682 0 0 0 9034 19 0 0 20 0 2 0 76056448 344735744 69729 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 84164 69729 3584 6655 0 74254 0
[pid=86941/tid=86943] ppid=86938 vsize=336656 memory=98104 CPUtime=39.64 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 36095 0 0 0 3959 5 0 0 20 0 2 0 76057458 344735744 69729 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 90.53 s
Current children cumulated vsize: 336656 KiB
Current children cumulated memory: 278916 KiB
[startup+102.3 s]
/proc/loadavg: 7.52 7.84 7.74 9/268 86994
/proc/meminfo: memFree=122093772/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=417256 memory=302256 CPUtime=192.12 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 138976 0 0 0 19189 23 0 0 20 0 2 0 76056448 427270144 75564 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 104314 75564 3584 6655 0 79761 0
[pid=86941/tid=86943] ppid=86938 vsize=417256 memory=302256 CPUtime=90.23 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 54257 0 0 0 9015 8 0 0 20 0 2 0 76057458 427270144 75564 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 192.12 s
Current children cumulated vsize: 417256 KiB
Current children cumulated memory: 302256 KiB
[startup+162.3 s]
/proc/loadavg: 8.14 7.96 7.79 9/268 86996
/proc/meminfo: memFree=122026604/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=333208 memory=300320 CPUtime=308.17 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 161215 0 0 0 30789 28 0 0 20 0 2 0 76056448 341204992 75080 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 83302 75080 3584 6655 0 73525 0
[pid=86941/tid=86943] ppid=86938 vsize=333208 memory=266212 CPUtime=146.59 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 64189 0 0 0 14648 11 0 0 20 0 2 0 76057458 341204992 75080 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 308.17 s
Current children cumulated vsize: 333208 KiB
Current children cumulated memory: 300320 KiB
[startup+222.3 s]
/proc/loadavg: 8.08 7.98 7.81 9/267 86998
/proc/meminfo: memFree=121964172/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=324104 memory=285168 CPUtime=427.22 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 189299 0 0 0 42688 34 0 0 20 0 2 0 76056448 331882496 71292 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 81026 71292 3584 6655 0 71249 0
[pid=86941/tid=86943] ppid=86938 vsize=324104 memory=303536 CPUtime=205.89 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 79569 0 0 0 20574 15 0 0 20 0 2 0 76057458 331882496 71292 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 427.22 s
Current children cumulated vsize: 324104 KiB
Current children cumulated memory: 285168 KiB
[startup+282.3 s]
/proc/loadavg: 8.07 8.00 7.83 9/267 87000
/proc/meminfo: memFree=121873120/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=352704 memory=313884 CPUtime=546.29 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 234492 0 0 0 54590 39 0 0 20 0 2 0 76056448 361168896 78471 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 88176 78471 3584 6655 0 78399 0
[pid=86941/tid=86943] ppid=86938 vsize=352704 memory=306748 CPUtime=265.2 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 109202 0 0 0 26502 18 0 0 20 0 2 0 76057458 361168896 78471 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 546.29 s
Current children cumulated vsize: 352704 KiB
Current children cumulated memory: 313884 KiB
[startup+342.3 s]
/proc/loadavg: 8.19 8.04 7.86 9/267 87003
/proc/meminfo: memFree=121840360/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=352292 memory=307820 CPUtime=665.37 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 254139 0 0 0 66486 51 0 0 20 0 2 0 76056448 360747008 76955 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 88073 76955 3584 6655 0 78296 0
[pid=86941/tid=86943] ppid=86938 vsize=352292 memory=306748 CPUtime=324.52 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 117428 0 0 0 32427 25 0 0 20 0 2 0 76057458 360747008 76955 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 665.37 s
Current children cumulated vsize: 352292 KiB
Current children cumulated memory: 307820 KiB
[startup+402.3 s]
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 7.45 7.74 7.89 8/270 87168
/proc/meminfo: memFree=117343960/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=476924 memory=441612 CPUtime=3039.93 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 398364 0 0 0 303907 86 0 0 20 0 2 0 76056448 488370176 110403 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 119231 110403 3584 6655 0 109233 0
[pid=86941/tid=86943] ppid=86938 vsize=476924 memory=438668 CPUtime=1515.51 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 193421 0 0 0 151504 47 0 0 20 0 2 0 76057458 488370176 110403 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3039.93 s
Current children cumulated vsize: 476924 KiB
Current children cumulated memory: 441612 KiB
[startup+1602.3 s]
/proc/loadavg: 7.51 7.69 7.86 9/270 87170
/proc/meminfo: memFree=116226572/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=476924 memory=441612 CPUtime=3159.05 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 399354 0 0 0 315818 87 0 0 20 0 2 0 76056448 488370176 110403 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 119231 110403 3584 6655 0 109233 0
[pid=86941/tid=86943] ppid=86938 vsize=476924 memory=441612 CPUtime=1575.28 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 193441 0 0 0 157481 47 0 0 20 0 2 0 76057458 488370176 110403 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3159.05 s
Current children cumulated vsize: 476924 KiB
Current children cumulated memory: 441612 KiB
[startup+1662.3 s]
/proc/loadavg: 7.93 7.78 7.89 9/270 87172
/proc/meminfo: memFree=116061368/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=476924 memory=444684 CPUtime=3278.08 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 401389 0 0 0 327721 87 0 0 20 0 2 0 76056448 488370176 111171 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 119231 111171 3584 6655 0 109251 0
[pid=86941/tid=86943] ppid=86938 vsize=476924 memory=444684 CPUtime=1635.03 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 194756 0 0 0 163456 47 0 0 20 0 2 0 76057458 488370176 111171 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3278.08 s
Current children cumulated vsize: 476924 KiB
Current children cumulated memory: 444684 KiB
[startup+1722.3 s]
/proc/loadavg: 8.27 7.92 7.93 9/268 87178
/proc/meminfo: memFree=115951916/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=476924 memory=444764 CPUtime=3397.25 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 401524 0 0 0 339637 88 0 0 20 0 2 0 76056448 488370176 111191 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 119231 111191 3584 6655 0 109251 0
[pid=86941/tid=86943] ppid=86938 vsize=476924 memory=444684 CPUtime=1694.83 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 194791 0 0 0 169436 47 0 0 20 0 2 0 76057458 488370176 111191 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3397.25 s
Current children cumulated vsize: 476924 KiB
Current children cumulated memory: 444764 KiB
[startup+1782.3 s]
/proc/loadavg: 8.02 7.92 7.93 8/268 87182
/proc/meminfo: memFree=114381636/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=506832 memory=452312 CPUtime=3516.37 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 406779 0 0 0 351547 90 0 0 20 0 2 0 76056448 518995968 113078 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 126708 113078 3584 6655 0 116728 0
[pid=86941/tid=86943] ppid=86938 vsize=506832 memory=452312 CPUtime=1754.62 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 196746 0 0 0 175414 48 0 0 20 0 2 0 76057458 518995968 113078 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3516.37 s
Current children cumulated vsize: 506832 KiB
Current children cumulated memory: 452312 KiB
[startup+1804.4 s]
# the end of solver process 86941 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3555.03 s, system=0.975698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 7.86 7.89 7.92 8/266 87182
/proc/meminfo: memFree=114183752/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=511496 memory=458460 CPUtime=3535.65 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 407320 0 0 0 353474 91 0 0 20 0 2 0 76056448 523771904 114615 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 127874 114615 3584 6655 0 117894 0
[pid=86941/tid=86943] ppid=86938 vsize=511496 memory=-6000919507150398823 CPUtime=1764.29 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 196761 0 0 0 176381 48 0 0 20 0 2 0 76057458 523771904 114615 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3535.65 s
Current children cumulated vsize: 511496 KiB
Current children cumulated memory: 458460 KiB
[startup+1798.4 s]
/proc/loadavg: 7.87 7.89 7.92 8/266 87183
/proc/meminfo: memFree=114148628/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=511496 memory=458588 CPUtime=3548.35 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) R 86938 86941 86128 0 -1 4194304 407366 0 0 0 354744 91 0 0 20 0 2 0 76056448 523771904 114647 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 127874 114647 3584 6655 0 117894 0
[pid=86941/tid=86943] ppid=86938 vsize=511496 memory=458460 CPUtime=1770.67 cores=5,7
/proc/86941/task/86943/stat : 86943 (LSIPExact) R 86938 86941 86128 0 -1 4194368 196761 0 0 0 177019 48 0 0 20 0 2 0 76057458 523771904 114647 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
Current children cumulated CPU time: 3548.35 s
Current children cumulated vsize: 511496 KiB
Current children cumulated memory: 458588 KiB
[startup+1801.6 s]
/proc/loadavg: 7.80 7.88 7.92 7/266 87185
/proc/meminfo: memFree=113329780/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=357328 memory=324444 CPUtime=3551.78 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) S 86938 86941 86128 0 -1 4194304 411961 227 0 0 355087 91 0 0 20 0 1 0 76056448 365903872 81111 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 89332 81111 3616 6655 0 79555 0
[pid=87185] ppid=86941 vsize=76128 memory=59984 CPUtime=1.4 cores=5,7
/proc/87185/stat : 87185 (Exact) R 86941 87185 87185 0 -1 4194304 17883 0 0 0 137 3 0 0 20 0 1 0 76236464 77955072 14996 18446744073709551615 4198400 8335837 140722792208992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 20889600 140722792216756 140722792217117 140722792217117 140722792222671 0
/proc/87185/statm: 19032 14996 1120 1011 0 17799 0
Current children cumulated CPU time: 3553.18 s
Current children cumulated vsize: 433456 KiB
Current children cumulated memory: 384428 KiB
[startup+1803.2 s]
/proc/loadavg: 7.80 7.88 7.92 7/266 87185
/proc/meminfo: memFree=113314000/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=357328 memory=324444 CPUtime=3551.78 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) S 86938 86941 86128 0 -1 4194304 411961 227 0 0 355087 91 0 0 20 0 1 0 76056448 365903872 81111 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 89332 81111 3616 6655 0 79555 0
[pid=87185] ppid=86941 vsize=76128 memory=62032 CPUtime=3 cores=5,7
/proc/87185/stat : 87185 (Exact) R 86941 87185 87185 0 -1 4194304 17887 0 0 0 297 3 0 0 20 0 1 0 76236464 77955072 15508 18446744073709551615 4198400 8335837 140722792208992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 20889600 140722792216756 140722792217117 140722792217117 140722792222671 0
/proc/87185/statm: 19032 15508 1120 1011 0 17799 0
Current children cumulated CPU time: 3554.78 s
Current children cumulated vsize: 433456 KiB
Current children cumulated memory: 386476 KiB
[startup+1804 s]*
/proc/loadavg: 7.66 7.85 7.90 7/266 87185
/proc/meminfo: memFree=113310156/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=357328 memory=324444 CPUtime=3551.78 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) S 86938 86941 86128 0 -1 4194304 411961 227 0 0 355087 91 0 0 20 0 1 0 76056448 365903872 81111 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 89332 81111 3616 6655 0 79555 0
[pid=87185] ppid=86941 vsize=76128 memory=62032 CPUtime=3.8 cores=5,7
/proc/87185/stat : 87185 (Exact) R 86941 87185 87185 0 -1 4194304 17887 0 0 0 377 3 0 0 20 0 1 0 76236464 77955072 15508 18446744073709551615 4198400 8335837 140722792208992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 20889600 140722792216756 140722792217117 140722792217117 140722792222671 0
/proc/87185/statm: 19032 15508 1120 1011 0 17799 0
Current children cumulated CPU time: 3555.58 s
Current children cumulated vsize: 433456 KiB
Current children cumulated memory: 386476 KiB
[startup+1804.2 s]
/proc/loadavg: 7.66 7.85 7.90 7/266 87185
/proc/meminfo: memFree=113310156/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=357328 memory=324444 CPUtime=3551.78 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) S 86938 86941 86128 0 -1 4194304 411961 227 0 0 355087 91 0 0 20 0 1 0 76056448 365903872 81111 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 89332 81111 3616 6655 0 79555 0
[pid=87185] ppid=86941 vsize=76128 memory=62032 CPUtime=4 cores=5,7
/proc/87185/stat : 87185 (Exact) R 86941 87185 87185 0 -1 4194304 17891 0 0 0 397 3 0 0 20 0 1 0 76236464 77955072 15508 18446744073709551615 4198400 8335837 140722792208992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 20889600 140722792216756 140722792217117 140722792217117 140722792222671 0
/proc/87185/statm: 19032 15508 1120 1011 0 17799 0
Current children cumulated CPU time: 3555.78 s
Current children cumulated vsize: 433456 KiB
Current children cumulated memory: 386476 KiB
[startup+1804.3 s]
/proc/loadavg: 7.66 7.85 7.90 7/266 87185
/proc/meminfo: memFree=113310156/131249996 swapFree=33003468/33010684
[pid=86941] ppid=86938 vsize=357328 memory=324444 CPUtime=3551.78 cores=5,7
/proc/86941/stat : 86941 (LSIPExact) S 86938 86941 86128 0 -1 4194304 411961 227 0 0 355087 91 0 0 20 0 1 0 76056448 365903872 81111 18446744073709551615 94694692773888 94694720030289 140726666375024 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94694728533128 94694728964736 94694751342592 140726666377562 140726666377738 140726666377738 140726666383340 0
/proc/86941/statm: 89332 81111 3616 6655 0 79555 0
[pid=87185] ppid=86941 vsize=76128 memory=62032 CPUtime=4.1 cores=5,7
/proc/87185/stat : 87185 (Exact) R 86941 87185 87185 0 -1 4194304 17891 0 0 0 407 3 0 0 20 0 1 0 76236464 77955072 15508 18446744073709551615 4198400 8335837 140722792208992 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 20889600 140722792216756 140722792217117 140722792217117 140722792222671 0
/proc/87185/statm: 19032 15508 1120 1011 0 17799 0
Current children cumulated CPU time: 3555.88 s
Current children cumulated vsize: 433456 KiB
Current children cumulated memory: 386476 KiB
Child status: 0
Real time (s): 1804.4
CPU time (s): 3556
CPU user time (s): 3555.03
CPU system time (s): 0.975698
CPU usage (%): 197.075
Max. virtual memory (cumulated for all children) (KiB): 568044
Max. memory (cumulated for all children) (KiB): 477308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3555.03
system time used= 0.975698
maximum resident set size= 477308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438607
page faults= 0
swaps= 0
block input operations= 6288
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 552
involuntary context switches= 85039
# summary of solver processes directly reported to runsolver:
# pid: 86941
# total CPU time (s): 3556
# total CPU user time (s): 3555.03
# total CPU system time (s): 0.975698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55178 second user time and 8.44583 second system time
The end
Begin job on nodeC021 at 2025-07-04 06:36:28
IDJOB=4523780
IDBENCH=180374
IDSOLVER=3337
FILE ID=nodeC021/4523780-1751603787
RUNJOBID= nodeC021-1751599645-86141
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_back_image_32_label3_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-4523780-1751603787/watcher-4523780-1751603787 -o /tmp/evaluation-result-4523780-1751603787/solver-4523780-1751603787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751599645-86141 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4523780-1751603787.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6cb38b401990639cbd6e40c3a4829a77
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.775
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.626
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.752
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 : 3599.781
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.768
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.976
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.975
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.989
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: 121987688 kB
MemAvailable: 128449396 kB
Buffers: 1056 kB
Cached: 7194876 kB
SwapCached: 32 kB
Active: 1740840 kB
Inactive: 6732388 kB
Active(anon): 1249920 kB
Inactive(anon): 40828 kB
Active(file): 490920 kB
Inactive(file): 6691560 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 47780 kB
Writeback: 48 kB
AnonPages: 1276024 kB
Mapped: 135736 kB
Shmem: 13452 kB
KReclaimable: 236532 kB
Slab: 329064 kB
SReclaimable: 236532 kB
SUnreclaim: 92532 kB
KernelStack: 4304 kB
PageTables: 5596 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1654900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 657408 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= 430700 MiB
End job on nodeC021 at 2025-07-04 07:06:32