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: 63708 MiB (62495 MiB free)
memory of node 1: 64465 MiB (63620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486411-1751317037/watcher-4486411-1751317037 -o /tmp/evaluation-result-4486411-1751317037/solver-4486411-1751317037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41926 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486411-1751317037.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=42262, runsolver pid=42259
[startup+0.100063 s]*
/proc/loadavg: 8.13 8.15 7.58 7/267 42263
/proc/meminfo: memFree=129142172/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=0.09 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 9 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+0.205546 s]*
/proc/loadavg: 8.13 8.15 7.58 7/267 42263
/proc/meminfo: memFree=129142172/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=0.19 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 19 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+0.305541 s]*
/proc/loadavg: 8.13 8.15 7.58 7/267 42263
/proc/meminfo: memFree=129142172/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=0.29 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 29 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+0.700173 s]
/proc/loadavg: 8.13 8.15 7.58 7/267 42263
/proc/meminfo: memFree=129137124/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=0.68 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 68 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+1.50018 s]
/proc/loadavg: 8.13 8.15 7.58 7/267 42263
/proc/meminfo: memFree=129137124/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=1.48 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 148 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+3.10532 s]
/proc/loadavg: 7.96 8.11 7.57 7/266 42308
/proc/meminfo: memFree=129318048/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=3.08 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 308 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+6.30015 s]
/proc/loadavg: 7.96 8.11 7.57 7/266 42308
/proc/meminfo: memFree=129316316/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=43408 memory=9088 CPUtime=6.27 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1215 0 0 0 627 0 0 0 20 0 1 0 47381241 44449792 2272 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 10852 2272 1216 6655 0 1087 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 43408 KiB
Current children cumulated memory: 9088 KiB
[startup+12.7001 s]
/proc/loadavg: 7.80 8.08 7.56 7/266 42404
/proc/meminfo: memFree=129804628/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=143036 memory=52552 CPUtime=15.24 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 9666 0 0 0 1523 1 0 0 20 0 2 0 47381241 146468864 13138 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 35759 13138 3520 6655 0 11408 0
[pid=42262/tid=42387] ppid=42259 vsize=143036 memory=6388 CPUtime=2.59 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 2072 0 0 0 259 0 0 0 20 0 2 0 47382242 146468864 13138 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 15.24 s
Current children cumulated vsize: 143036 KiB
Current children cumulated memory: 52552 KiB
[startup+25.5002 s]
/proc/loadavg: 7.27 7.94 7.53 9/268 42453
/proc/meminfo: memFree=129522028/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=149412 memory=65480 CPUtime=40.71 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 24246 0 0 0 4068 3 0 0 20 0 2 0 47381241 152997888 16370 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 37353 16370 3520 6655 0 14735 0
[pid=42262/tid=42387] ppid=42259 vsize=149412 memory=62152 CPUtime=15.27 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 8330 0 0 0 1526 1 0 0 20 0 2 0 47382242 152997888 16370 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 40.71 s
Current children cumulated vsize: 149412 KiB
Current children cumulated memory: 65480 KiB
[startup+51.1055 s]
/proc/loadavg: 7.52 7.95 7.54 9/268 42453
/proc/meminfo: memFree=129352220/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=176232 memory=102216 CPUtime=90.8 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 41121 0 0 0 9076 4 0 0 20 0 2 0 47381241 180461568 25554 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 44058 25554 3520 6655 0 24528 0
[pid=42262/tid=42387] ppid=42259 vsize=176232 memory=52552 CPUtime=40.34 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 15220 0 0 0 4032 2 0 0 20 0 2 0 47382242 180461568 25554 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 90.8 s
Current children cumulated vsize: 176232 KiB
Current children cumulated memory: 102216 KiB
[startup+102.3 s]
/proc/loadavg: 7.84 7.97 7.57 9/267 42455
/proc/meminfo: memFree=129284856/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=206976 memory=166728 CPUtime=192.52 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 61747 0 0 0 19244 8 0 0 20 0 2 0 47381241 211943424 41682 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 51744 41682 3520 6655 0 40386 0
[pid=42262/tid=42387] ppid=42259 vsize=206976 memory=150728 CPUtime=91 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 27021 0 0 0 9096 4 0 0 20 0 2 0 47382242 211943424 41682 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 192.52 s
Current children cumulated vsize: 206976 KiB
Current children cumulated memory: 166728 KiB
[startup+162.3 s]
/proc/loadavg: 8.06 8.01 7.61 9/266 42457
/proc/meminfo: memFree=129142616/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=337108 memory=286328 CPUtime=311.76 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 99355 0 0 0 31160 16 0 0 20 0 2 0 47381241 345198592 71582 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 84277 71582 3520 6655 0 70171 0
[pid=42262/tid=42387] ppid=42259 vsize=337108 memory=17664 CPUtime=150.39 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 44699 0 0 0 15031 8 0 0 20 0 2 0 47382242 345198592 71582 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 311.76 s
Current children cumulated vsize: 337108 KiB
Current children cumulated memory: 286328 KiB
[startup+222.3 s]
/proc/loadavg: 8.08 8.02 7.65 9/266 42459
/proc/meminfo: memFree=128964280/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=474416 memory=433456 CPUtime=431 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 153590 0 0 0 43075 25 0 0 20 0 2 0 47381241 485801984 108364 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 118604 108364 3520 6655 0 107094 0
[pid=42262/tid=42387] ppid=42259 vsize=474416 memory=17664 CPUtime=209.79 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 68872 0 0 0 20966 13 0 0 20 0 2 0 47382242 485801984 108364 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 431 s
Current children cumulated vsize: 474416 KiB
Current children cumulated memory: 433456 KiB
[startup+282.3 s]
/proc/loadavg: 8.03 8.02 7.67 9/266 42472
/proc/meminfo: memFree=128741840/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=606604 memory=567412 CPUtime=550.24 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 195533 0 0 0 54991 33 0 0 20 0 2 0 47381241 621162496 141853 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 151651 141853 3520 6655 0 140427 0
[pid=42262/tid=42387] ppid=42259 vsize=606604 memory=492660 CPUtime=269.19 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 90947 0 0 0 26903 16 0 0 20 0 2 0 47382242 621162496 141853 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 550.24 s
Current children cumulated vsize: 606604 KiB
Current children cumulated memory: 567412 KiB
[startup+342.3 s]
/proc/loadavg: 8.03 8.02 7.69 9/266 42474
/proc/meminfo: memFree=128495260/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=816728 memory=719196 CPUtime=669.44 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 245138 0 0 0 66901 43 0 0 20 0 2 0 47381241 836329472 179799 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 204182 179799 3520 6655 0 178416 0
[pid=42262/tid=42387] ppid=42259 vsize=816728 memory=492660 CPUtime=328.55 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 115925 0 0 0 32834 21 0 0 20 0 2 0 47382242 836329472 179799 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 669.44 s
Current children cumulated vsize: 816728 KiB
Current children cumulated memory: 719196 KiB
################
# More data... #
################
Current children cumulated CPU time: 2814.26 s
Current children cumulated vsize: 1776772 KiB
Current children cumulated memory: 1704712 KiB
[startup+1482.3 s]
/proc/loadavg: 8.16 8.11 8.01 9/268 42541
/proc/meminfo: memFree=125856868/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=1912316 memory=1847076 CPUtime=2933.5 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 913873 0 0 0 293210 140 0 0 20 0 2 0 47381241 1958211584 461769 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 478079 461769 3520 6655 0 459967 0
[pid=42262/tid=42387] ppid=42259 vsize=1912316 memory=1765384 CPUtime=1457.53 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 439237 0 0 0 145683 70 0 0 20 0 2 0 47382242 1958211584 461769 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 2933.5 s
Current children cumulated vsize: 1912316 KiB
Current children cumulated memory: 1847076 KiB
[startup+1542.3 s]
/proc/loadavg: 8.18 8.12 8.02 9/268 42543
/proc/meminfo: memFree=125574848/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2060316 memory=2006928 CPUtime=3052.75 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 962117 0 0 0 305125 150 0 0 20 0 2 0 47381241 2109763584 501732 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 515079 501732 3520 6655 0 500205 0
[pid=42262/tid=42387] ppid=42259 vsize=2060316 memory=2005904 CPUtime=1517.38 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 461294 0 0 0 151663 75 0 0 20 0 2 0 47382242 2109763584 501732 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3052.75 s
Current children cumulated vsize: 2060316 KiB
Current children cumulated memory: 2006928 KiB
[startup+1602.3 s]
/proc/loadavg: 8.15 8.12 8.02 9/268 42545
/proc/meminfo: memFree=125343536/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2189664 memory=2139768 CPUtime=3172 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 999487 0 0 0 317042 158 0 0 20 0 2 0 47381241 2242215936 534942 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 547416 534942 3520 6655 0 533737 0
[pid=42262/tid=42387] ppid=42259 vsize=2189664 memory=14848 CPUtime=1577.24 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 481005 0 0 0 157644 80 0 0 20 0 2 0 47382242 2242215936 534942 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3172 s
Current children cumulated vsize: 2189664 KiB
Current children cumulated memory: 2139768 KiB
[startup+1662.3 s]
/proc/loadavg: 8.09 8.11 8.02 9/269 42554
/proc/meminfo: memFree=125170980/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2323728 memory=2272888 CPUtime=3291.25 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1043763 0 0 0 328959 166 0 0 20 0 2 0 47381241 2379497472 568222 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 580932 568222 3520 6655 0 566429 0
[pid=42262/tid=42387] ppid=42259 vsize=2323728 memory=14848 CPUtime=1637.09 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 501033 0 0 0 163625 84 0 0 20 0 2 0 47382242 2379497472 568222 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3291.25 s
Current children cumulated vsize: 2323728 KiB
Current children cumulated memory: 2272888 KiB
[startup+1722.3 s]
/proc/loadavg: 8.13 8.12 8.03 9/269 42556
/proc/meminfo: memFree=124936152/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2473076 memory=2437496 CPUtime=3410.49 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1099045 0 0 0 340871 178 0 0 20 0 2 0 47381241 2532429824 609374 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 618269 609374 3520 6655 0 607733 0
[pid=42262/tid=42387] ppid=42259 vsize=2473076 memory=14848 CPUtime=1696.93 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 527185 0 0 0 169603 90 0 0 20 0 2 0 47382242 2532429824 609374 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3410.49 s
Current children cumulated vsize: 2473076 KiB
Current children cumulated memory: 2437496 KiB
[startup+1782.3 s]
/proc/loadavg: 8.10 8.11 8.03 9/268 42558
/proc/meminfo: memFree=124725680/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2590172 memory=2548332 CPUtime=3529.74 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1132837 0 0 0 352787 187 0 0 20 0 2 0 47381241 2652336128 637083 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 647543 637083 3520 6655 0 635302 0
[pid=42262/tid=42387] ppid=42259 vsize=2590172 memory=2547564 CPUtime=1756.78 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 546052 0 0 0 175582 96 0 0 20 0 2 0 47382242 2652336128 637083 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3529.74 s
Current children cumulated vsize: 2590172 KiB
Current children cumulated memory: 2548332 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.7 s]
/proc/loadavg: 8.11 8.11 8.03 9/268 42561
/proc/meminfo: memFree=124579900/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2696232 memory=2633544 CPUtime=3600.1 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) R 42259 42262 41913 0 -1 4194304 1162123 0 0 0 359816 194 0 0 20 0 2 0 47381241 2760941568 658386 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 674058 658386 3520 6655 0 656522 0
[pid=42262/tid=42387] ppid=42259 vsize=2696232 memory=2590536 CPUtime=1792.09 cores=5,7
/proc/42262/task/42387/stat : 42387 (LSIPExact) R 42259 42262 41913 0 -1 4194368 561294 0 0 0 179109 100 0 0 20 0 2 0 47382242 2760941568 658386 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 2696232 KiB
Current children cumulated memory: 2633544 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1819.77 s]
# the end of solver process 42262 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3600.02 s, system=2.09631 s
Solver just ended.
Dumping a history of the last processes samples
[startup+1818.4 s]
/proc/loadavg: 8.02 8.09 8.02 8/268 42563
/proc/meminfo: memFree=124791056/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2434088 memory=2400136 CPUtime=3600.27 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) S 42259 42262 41913 0 -1 4194304 1272040 226 0 0 359826 201 0 0 20 0 1 0 47381241 2492506112 600034 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 608522 600034 3552 6655 0 598579 0
[pid=42563] ppid=42262 vsize=33840 memory=14280 CPUtime=0.45 cores=5,7
/proc/42563/stat : 42563 (Exact) R 42262 42563 42563 0 -1 4194304 2700 0 0 0 45 0 0 0 20 0 1 0 47563032 34652160 3570 18446744073709551615 4198400 8335837 140735417473600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25477120 140735417481396 140735417481757 140735417481757 140735417487311 0
/proc/42563/statm: 8460 3570 1120 1011 0 7227 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 2467928 KiB
Current children cumulated memory: 2414416 KiB
[startup+1819.2 s]
/proc/loadavg: 8.02 8.09 8.02 8/268 42563
/proc/meminfo: memFree=124783448/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2434088 memory=2400136 CPUtime=3600.27 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) S 42259 42262 41913 0 -1 4194304 1272040 226 0 0 359826 201 0 0 20 0 1 0 47381241 2492506112 600034 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 608522 600034 3552 6655 0 598579 0
[pid=42563] ppid=42262 vsize=36788 memory=19044 CPUtime=1.25 cores=5,7
/proc/42563/stat : 42563 (Exact) R 42262 42563 42563 0 -1 4194304 3375 0 0 0 125 0 0 0 20 0 1 0 47563032 37670912 4761 18446744073709551615 4198400 8335837 140735417473600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25477120 140735417481396 140735417481757 140735417481757 140735417487311 0
/proc/42563/statm: 9197 4761 1120 1011 0 7964 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 2470876 KiB
Current children cumulated memory: 2419180 KiB
[startup+1819.6 s]
/proc/loadavg: 8.02 8.09 8.02 8/268 42563
/proc/meminfo: memFree=124783448/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2434088 memory=2400136 CPUtime=3600.27 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) S 42259 42262 41913 0 -1 4194304 1272040 226 0 0 359826 201 0 0 20 0 1 0 47381241 2492506112 600034 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 608522 600034 3552 6655 0 598579 0
[pid=42563] ppid=42262 vsize=37232 memory=19684 CPUtime=1.64 cores=5,7
/proc/42563/stat : 42563 (Exact) R 42262 42563 42563 0 -1 4194304 3528 0 0 0 164 0 0 0 20 0 1 0 47563032 38125568 4921 18446744073709551615 4198400 8335837 140735417473600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25477120 140735417481396 140735417481757 140735417481757 140735417487311 0
/proc/42563/statm: 9308 4921 1120 1011 0 8075 0
Current children cumulated CPU time: 3601.91 s
Current children cumulated vsize: 2471320 KiB
Current children cumulated memory: 2419820 KiB
[startup+1819.7 s]
/proc/loadavg: 8.02 8.09 8.02 8/268 42563
/proc/meminfo: memFree=124783448/131249996 swapFree=33010416/33010684
[pid=42262] ppid=42259 vsize=2434088 memory=2400136 CPUtime=3600.27 cores=5,7
/proc/42262/stat : 42262 (LSIPExact) S 42259 42262 41913 0 -1 4194304 1272040 226 0 0 359826 201 0 0 20 0 1 0 47381241 2492506112 600034 18446744073709551615 94886364405760 94886391662161 140722016514528 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94886400165000 94886400596608 94886433968128 140722016520538 140722016520714 140722016520714 140722016526316 0
/proc/42262/statm: 608522 600034 3552 6655 0 598579 0
[pid=42563] ppid=42262 vsize=37632 memory=19940 CPUtime=1.74 cores=5,7
/proc/42563/stat : 42563 (Exact) R 42262 42563 42563 0 -1 4194304 3589 0 0 0 174 0 0 0 20 0 1 0 47563032 38535168 4985 18446744073709551615 4198400 8335837 140735417473600 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 25477120 140735417481396 140735417481757 140735417481757 140735417487311 0
/proc/42563/statm: 9408 4985 1120 1011 0 8175 0
Current children cumulated CPU time: 3602.01 s
Current children cumulated vsize: 2471720 KiB
Current children cumulated memory: 2420076 KiB
Child status: 0
Real time (s): 1819.77
CPU time (s): 3602.12
CPU user time (s): 3600.02
CPU system time (s): 2.09631
CPU usage (%): 197.943
Max. virtual memory (cumulated for all children) (KiB): 2696232
Max. memory (cumulated for all children) (KiB): 2633544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3600.02
system time used= 2.09631
maximum resident set size= 2633800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1275866
page faults= 0
swaps= 0
block input operations= 400
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 698
involuntary context switches= 93954
# summary of solver processes directly reported to runsolver:
# pid: 42262
# total CPU time (s): 3602.12
# total CPU user time (s): 3600.02
# total CPU system time (s): 2.09631
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.47177 second user time and 8.63989 second system time
The end
Begin job on nodeC015 at 2025-06-30 22:57:17
IDJOB=4486411
IDBENCH=147020
IDSOLVER=3336
FILE ID=nodeC015/4486411-1751317037
RUNJOBID= nodeC015-1751315214-41926
SLURM_JOB_ID= 9594330
Free space on /tmp= 432880 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486411-1751317037/watcher-4486411-1751317037 -o /tmp/evaluation-result-4486411-1751317037/solver-4486411-1751317037 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41926 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486411-1751317037.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d
RANDOM SEED=817148708
nodeC015 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.076
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 : 7000.14
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 : 3600.066
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 : 7000.14
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 : 3600.740
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 : 7000.14
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 : 3600.077
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 : 7000.14
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 : 3600.076
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 : 7000.14
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 : 3600.140
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 : 7000.14
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 : 3600.072
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 : 7000.14
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 : 3597.460
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 : 7000.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129143112 kB
MemAvailable: 128938084 kB
Buffers: 2128 kB
Cached: 584064 kB
SwapCached: 24 kB
Active: 1162396 kB
Inactive: 280908 kB
Active(anon): 855080 kB
Inactive(anon): 20084 kB
Active(file): 307316 kB
Inactive(file): 260824 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44856 kB
Writeback: 0 kB
AnonPages: 856148 kB
Mapped: 143332 kB
Shmem: 18052 kB
KReclaimable: 132144 kB
Slab: 220640 kB
SReclaimable: 132144 kB
SUnreclaim: 88496 kB
KernelStack: 4304 kB
PageTables: 4768 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1269776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 616448 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: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432840 MiB
End job on nodeC015 at 2025-06-30 23:27:37