runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (63198 MiB free)
memory of node 1: 64465 MiB (63797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488712-1751339396/watcher-4488712-1751339396 -o /tmp/evaluation-result-4488712-1751339396/solver-4488712-1751339396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44997 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488712-1751339396.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=45047, runsolver pid=45038
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 0.73 2.78 3.60 6/251 45056
/proc/meminfo: memFree=130027476/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=0.09 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 9 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+0.213788 s]*
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=0.2 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 20 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+0.312874 s]*
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=0.3 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 30 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+0.700225 s]
/proc/loadavg: 0.73 2.78 3.60 5/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=0.68 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 68 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+1.50022 s]
/proc/loadavg: 0.73 2.78 3.60 6/251 45056
/proc/meminfo: memFree=130027988/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=1.47 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 147 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+3.11224 s]
/proc/loadavg: 0.99 2.80 3.60 6/251 45056
/proc/meminfo: memFree=130028536/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=3.08 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 308 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30021 s]
/proc/loadavg: 0.99 2.80 3.60 6/251 45056
/proc/meminfo: memFree=130028928/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=42532 memory=8064 CPUtime=6.26 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 979 0 0 0 626 0 0 0 20 0 1 0 49618741 43552768 2016 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 10633 2016 1184 6655 0 868 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42532 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 1.78 2.91 3.62 9/255 45060
/proc/meminfo: memFree=129936736/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=137152 memory=43148 CPUtime=15.16 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 7180 0 0 0 1514 2 0 0 20 0 2 0 49618741 140443648 10787 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 34288 10787 3520 6655 0 9301 0
[pid=45047/tid=45058] ppid=45038 vsize=137152 memory=42636 CPUtime=2.51 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 1161 0 0 0 251 0 0 0 20 0 2 0 49619743 140443648 10787 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 15.16 s
Current children cumulated vsize: 137152 KiB
Current children cumulated memory: 43148 KiB
[startup+25.5002 s]
/proc/loadavg: 2.81 3.09 3.68 9/255 45060
/proc/meminfo: memFree=129903424/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=139268 memory=54668 CPUtime=40.59 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 21805 0 0 0 4055 4 0 0 20 0 2 0 49618741 142610432 13667 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 34817 13667 3520 6655 0 11809 0
[pid=45047/tid=45058] ppid=45038 vsize=139268 memory=54028 CPUtime=15.17 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 6955 0 0 0 1516 1 0 0 20 0 2 0 49619743 142610432 13667 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 40.59 s
Current children cumulated vsize: 139268 KiB
Current children cumulated memory: 54668 KiB
[startup+51.1056 s]
/proc/loadavg: 4.58 3.49 3.79 9/255 45061
/proc/meminfo: memFree=129842476/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=152308 memory=63500 CPUtime=89.47 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 32320 0 0 0 8942 5 0 0 20 0 2 0 49618741 155963392 15875 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 38077 15875 3520 6655 0 15227 0
[pid=45047/tid=45058] ppid=45038 vsize=152308 memory=3688506592425831690 CPUtime=38.92 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 11075 0 0 0 3891 1 0 0 20 0 2 0 49619743 155963392 15875 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 89.47 s
Current children cumulated vsize: 152308 KiB
Current children cumulated memory: 63500 KiB
[startup+102.3 s]
/proc/loadavg: 6.68 4.27 4.04 9/256 45064
/proc/meminfo: memFree=129779008/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=159328 memory=67340 CPUtime=191.13 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 41539 0 0 0 19107 6 0 0 20 0 2 0 49618741 163151872 16835 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 39832 16835 3520 6655 0 17128 0
[pid=45047/tid=45058] ppid=45038 vsize=159328 memory=67340 CPUtime=89.55 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 15031 0 0 0 8953 2 0 0 20 0 2 0 49619743 163151872 16835 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 191.13 s
Current children cumulated vsize: 159328 KiB
Current children cumulated memory: 67340 KiB
[startup+162.3 s]
/proc/loadavg: 7.55 4.96 4.30 9/255 45066
/proc/meminfo: memFree=129606272/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=195716 memory=114832 CPUtime=306.59 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 55769 0 0 0 30650 9 0 0 20 0 2 0 49618741 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 48929 28708 3520 6655 0 29158 0
[pid=45047/tid=45058] ppid=45038 vsize=195716 memory=83852 CPUtime=146.07 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 19475 0 0 0 14604 3 0 0 20 0 2 0 49619743 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 306.59 s
Current children cumulated vsize: 195716 KiB
Current children cumulated memory: 114832 KiB
[startup+222.3 s]
/proc/loadavg: 7.84 5.52 4.53 9/255 45068
/proc/meminfo: memFree=129518612/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=195716 memory=114832 CPUtime=425.75 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 56053 0 0 0 42566 9 0 0 20 0 2 0 49618741 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 48929 28708 3520 6655 0 29158 0
[pid=45047/tid=45058] ppid=45038 vsize=195716 memory=114832 CPUtime=205.41 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 19683 0 0 0 20538 3 0 0 20 0 2 0 49619743 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 425.75 s
Current children cumulated vsize: 195716 KiB
Current children cumulated memory: 114832 KiB
[startup+282.3 s]
/proc/loadavg: 8.06 6.00 4.76 9/255 45070
/proc/meminfo: memFree=129473428/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=195716 memory=114832 CPUtime=545.01 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 56448 0 0 0 54492 9 0 0 20 0 2 0 49618741 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 48929 28708 3520 6655 0 29158 0
[pid=45047/tid=45058] ppid=45038 vsize=195716 memory=114832 CPUtime=264.83 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 20076 0 0 0 26480 3 0 0 20 0 2 0 49619743 200413184 28708 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 545.01 s
Current children cumulated vsize: 195716 KiB
Current children cumulated memory: 114832 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 6.38 4.97 9/254 45072
/proc/meminfo: memFree=129405904/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=195716 memory=122256 CPUtime=664.24 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 60683 0 0 0 66414 10 0 0 20 0 2 0 49618741 200413184 30564 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 48929 30564 3520 6655 0 31032 0
[pid=45047/tid=45058] ppid=45038 vsize=195716 memory=115216 CPUtime=324.23 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 24259 0 0 0 32419 4 0 0 20 0 2 0 49619743 200413184 30564 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 664.24 s
Current children cumulated vsize: 195716 KiB
Current children cumulated memory: 122256 KiB
[startup+402.3 s]
################
# More data... #
################
[pid=45047] ppid=45038 vsize=821060 memory=735972 CPUtime=2333.36 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 231704 0 0 0 233286 50 0 0 20 0 2 0 49618741 840765440 183993 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 205265 183993 3520 6655 0 183494 0
[pid=45047/tid=45058] ppid=45038 vsize=821060 memory=609428 CPUtime=1158.59 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 111339 0 0 0 115834 25 0 0 20 0 2 0 49619743 840765440 183993 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2333.36 s
Current children cumulated vsize: 821060 KiB
Current children cumulated memory: 735972 KiB
[startup+1242.3 s]
/proc/loadavg: 8.12 8.05 6.98 9/253 45115
/proc/meminfo: memFree=126740500/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=844468 memory=780900 CPUtime=2452.58 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 243539 0 0 0 245205 53 0 0 20 0 2 0 49618741 864735232 195225 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 211117 195225 3520 6655 0 194707 0
[pid=45047/tid=45058] ppid=45038 vsize=844468 memory=10496 CPUtime=1218.42 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 117040 0 0 0 121815 27 0 0 20 0 2 0 49619743 864735232 195225 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2452.58 s
Current children cumulated vsize: 844468 KiB
Current children cumulated memory: 780900 KiB
[startup+1302.3 s]
/proc/loadavg: 8.04 8.03 7.05 9/253 45118
/proc/meminfo: memFree=126589124/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=871408 memory=832356 CPUtime=2571.8 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 256826 0 0 0 257125 55 0 0 20 0 2 0 49618741 892321792 208089 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 217852 208089 3520 6655 0 207588 0
[pid=45047/tid=45058] ppid=45038 vsize=871408 memory=815332 CPUtime=1278.25 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 123342 0 0 0 127797 28 0 0 20 0 2 0 49619743 892321792 208089 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2571.8 s
Current children cumulated vsize: 871408 KiB
Current children cumulated memory: 832356 KiB
[startup+1362.3 s]
/proc/loadavg: 8.13 8.06 7.12 9/254 45121
/proc/meminfo: memFree=126459672/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=958824 memory=876560 CPUtime=2691.04 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 271289 0 0 0 269046 58 0 0 20 0 2 0 49618741 981835776 219140 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 239706 219140 3520 6655 0 218873 0
[pid=45047/tid=45058] ppid=45038 vsize=958824 memory=815332 CPUtime=1338.09 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 132494 0 0 0 133779 30 0 0 20 0 2 0 49619743 981835776 219140 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2691.04 s
Current children cumulated vsize: 958824 KiB
Current children cumulated memory: 876560 KiB
[startup+1422.3 s]
/proc/loadavg: 8.15 8.08 7.19 9/254 45123
/proc/meminfo: memFree=126315364/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=985076 memory=926352 CPUtime=2810.28 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 284276 0 0 0 280967 61 0 0 20 0 2 0 49618741 1008717824 231588 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 246269 231588 3520 6655 0 231363 0
[pid=45047/tid=45058] ppid=45038 vsize=985076 memory=815332 CPUtime=1397.92 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 138964 0 0 0 139761 31 0 0 20 0 2 0 49619743 1008717824 231588 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2810.28 s
Current children cumulated vsize: 985076 KiB
Current children cumulated memory: 926352 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.08 7.25 9/254 45125
/proc/meminfo: memFree=126184976/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1070024 memory=966664 CPUtime=2929.5 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 298701 0 0 0 292886 64 0 0 20 0 2 0 49618741 1095704576 241666 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 267506 241666 3520 6655 0 241401 0
[pid=45047/tid=45058] ppid=45038 vsize=1070024 memory=958736 CPUtime=1457.76 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 146087 0 0 0 145743 33 0 0 20 0 2 0 49619743 1095704576 241666 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 2929.5 s
Current children cumulated vsize: 1070024 KiB
Current children cumulated memory: 966664 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 8.08 7.30 9/254 45127
/proc/meminfo: memFree=126034884/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1093528 memory=1015560 CPUtime=3048.73 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 315847 0 0 0 304806 67 0 0 20 0 2 0 49618741 1119772672 253890 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 273382 253890 3520 6655 0 253539 0
[pid=45047/tid=45058] ppid=45038 vsize=1093528 memory=993416 CPUtime=1517.59 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 153971 0 0 0 151725 34 0 0 20 0 2 0 49619743 1119772672 253890 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 3048.73 s
Current children cumulated vsize: 1093528 KiB
Current children cumulated memory: 1015560 KiB
[startup+1602.3 s]
/proc/loadavg: 8.09 8.07 7.36 9/254 45129
/proc/meminfo: memFree=125854996/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1116228 memory=1064328 CPUtime=3167.96 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 329111 0 0 0 316726 70 0 0 20 0 2 0 49618741 1143017472 266082 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 279057 266082 3520 6655 0 265780 0
[pid=45047/tid=45058] ppid=45038 vsize=1116228 memory=1061512 CPUtime=1577.42 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 161210 0 0 0 157706 36 0 0 20 0 2 0 49619743 1143017472 266082 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 3167.96 s
Current children cumulated vsize: 1116228 KiB
Current children cumulated memory: 1064328 KiB
[startup+1662.3 s]
/proc/loadavg: 8.07 8.07 7.40 10/254 45134
/proc/meminfo: memFree=125689804/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1201432 memory=1101012 CPUtime=3287.17 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 339066 0 0 0 328645 72 0 0 20 0 2 0 49618741 1230266368 275253 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 300358 275253 3520 6655 0 274907 0
[pid=45047/tid=45058] ppid=45038 vsize=1201432 memory=1076232 CPUtime=1637.24 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 166038 0 0 0 163687 37 0 0 20 0 2 0 49619743 1230266368 275253 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 3287.17 s
Current children cumulated vsize: 1201432 KiB
Current children cumulated memory: 1101012 KiB
[startup+1722.3 s]
/proc/loadavg: 8.06 8.07 7.45 9/255 45141
/proc/meminfo: memFree=125521980/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1226720 memory=1152980 CPUtime=3406.39 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 352751 0 0 0 340563 76 0 0 20 0 2 0 49618741 1256161280 288245 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 306680 288245 3520 6655 0 287868 0
[pid=45047/tid=45058] ppid=45038 vsize=1226720 memory=1110484 CPUtime=1697.07 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 173007 0 0 0 169667 40 0 0 20 0 2 0 49619743 1256161280 288245 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 3406.39 s
Current children cumulated vsize: 1226720 KiB
Current children cumulated memory: 1152980 KiB
[startup+1782.3 s]
/proc/loadavg: 8.06 8.07 7.49 9/255 45143
/proc/meminfo: memFree=125371256/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=1253684 memory=1205588 CPUtime=3525.6 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) R 45038 45047 44987 0 -1 4194304 370124 0 0 0 352479 81 0 0 20 0 2 0 49618741 1283772416 301397 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 313421 301397 3520 6655 0 301063 0
[pid=45047/tid=45058] ppid=45038 vsize=1253684 memory=1194068 CPUtime=1756.89 cores=0,2
/proc/45047/task/45058/stat : 45058 (LSIPExact) R 45038 45047 44987 0 -1 4194368 181604 0 0 0 175647 42 0 0 20 0 2 0 49619743 1283772416 301397 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 0 0 0 -1 0 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
Current children cumulated CPU time: 3525.6 s
Current children cumulated vsize: 1253684 KiB
Current children cumulated memory: 1205588 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1839.4 s]
/proc/loadavg: 6.18 7.59 7.36 3/248 45225
/proc/meminfo: memFree=129021060/131382120 swapFree=33010160/33010684
[pid=45047] ppid=45038 vsize=787884 memory=754376 CPUtime=3560.93 cores=0,2
/proc/45047/stat : 45047 (LSIPExact) S 45038 45047 44987 0 -1 4194304 435836 229 0 0 356006 87 0 0 20 0 1 0 49618741 806793216 188594 18446744073709551615 94354338189312 94354365445713 140734913891088 0 0 0 0 0 16386 1 0 0 17 2 0 0 0 0 0 94354373948552 94354374380160 94354378792960 140734913898842 140734913899018 140734913899018 140734913904620 0
/proc/45047/statm: 196971 188594 3552 6655 0 187205 0
[pid=45149] ppid=45047 vsize=255604 memory=195244 CPUtime=39.09 cores=0,2
/proc/45149/stat : 45149 (Exact) R 45047 45149 45149 0 -1 4194304 36280 0 0 0 3889 20 0 0 20 0 1 0 49798756 261738496 48811 18446744073709551615 4198400 8335837 140727343141872 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9148648 9230840 18771968 140727343151284 140727343151645 140727343151645 140727343157199 0
/proc/45149/statm: 63901 48811 1120 1011 0 62668 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1043488 KiB
Current children cumulated memory: 949620 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1839.45 s]
# the end of solver process 45047 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.11108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1839.45
CPU time (s): 3600.08
CPU user time (s): 3598.97
CPU system time (s): 1.11108
CPU usage (%): 195.715
Max. virtual memory (cumulated for all children) (KiB): 1259688
Max. memory (cumulated for all children) (KiB): 1216212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.11108
maximum resident set size= 1216340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472494
page faults= 0
swaps= 0
block input operations= 224
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 654
involuntary context switches= 86758
# summary of solver processes directly reported to runsolver:
# pid: 45047
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.11108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76703 second user time and 8.47166 second system time
The end
Begin job on nodeC008 at 2025-07-01 05:09:56
IDJOB=4488712
IDBENCH=147530
IDSOLVER=3337
FILE ID=nodeC008/4488712-1751339396
RUNJOBID= nodeC008-1751339396-44997
SLURM_JOB_ID= 9594406
Free space on /tmp= 433060 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_6.opb.PB06.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488712-1751339396/watcher-4488712-1751339396 -o /tmp/evaluation-result-4488712-1751339396/solver-4488712-1751339396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-44997 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488712-1751339396.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f43827d921579f008f60b037bb7dde7
RANDOM SEED=142509273
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.496
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.265
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.295
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.186
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130048428 kB
MemAvailable: 129950056 kB
Buffers: 2144 kB
Cached: 711576 kB
SwapCached: 16 kB
Active: 289456 kB
Inactive: 494016 kB
Active(anon): 51036 kB
Inactive(anon): 36636 kB
Active(file): 238420 kB
Inactive(file): 457380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 179004 kB
Writeback: 8 kB
AnonPages: 72844 kB
Mapped: 103084 kB
Shmem: 17920 kB
KReclaimable: 90912 kB
Slab: 172636 kB
SReclaimable: 90912 kB
SUnreclaim: 81724 kB
KernelStack: 3808 kB
PageTables: 2776 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149224 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 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: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC008 at 2025-07-01 05:40:36