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 (60271 MiB free)
memory of node 1: 64507 MiB (62890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521894-1751574511/watcher-4521894-1751574511 -o /tmp/evaluation-result-4521894-1751574511/solver-4521894-1751574511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751566631-80547 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521894-1751574511.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=82067, runsolver pid=82064
[startup+0.100033 s]*
/proc/loadavg: 7.56 7.92 7.54 8/267 82068
/proc/meminfo: memFree=126053292/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=121084 memory=78280 CPUtime=0.08 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 16542 0 0 0 6 2 0 0 20 0 1 0 73130792 123990016 19570 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 30271 19570 1152 6655 0 20506 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 121084 KiB
Current children cumulated memory: 78280 KiB
[startup+0.205575 s]*
/proc/loadavg: 7.56 7.92 7.54 8/267 82068
/proc/meminfo: memFree=126013224/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=162004 memory=119112 CPUtime=0.19 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 26758 0 0 0 15 4 0 0 20 0 1 0 73130792 165892096 29778 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 40501 29778 1152 6655 0 30736 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 162004 KiB
Current children cumulated memory: 119112 KiB
[startup+0.305471 s]*
/proc/loadavg: 7.56 7.92 7.54 8/267 82068
/proc/meminfo: memFree=125972904/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=200416 memory=157640 CPUtime=0.29 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 36375 0 0 0 23 6 0 0 20 0 1 0 73130792 205225984 39410 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 50104 39410 1152 6655 0 40339 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 200416 KiB
Current children cumulated memory: 157640 KiB
[startup+0.70019 s]
/proc/loadavg: 7.56 7.92 7.54 9/267 82068
/proc/meminfo: memFree=125900328/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=1032460 memory=856112 CPUtime=0.68 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 62292 0 0 0 46 22 0 0 20 0 1 0 73130792 1057239040 214028 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 258115 214028 1152 6655 0 248350 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 1032460 KiB
Current children cumulated memory: 856112 KiB
[startup+1.50017 s]
/proc/loadavg: 7.56 7.92 7.54 8/267 82068
/proc/meminfo: memFree=124931140/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=1660300 memory=1625724 CPUtime=1.48 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 218922 0 0 0 101 47 0 0 20 0 1 0 73130792 1700147200 406399 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 415075 406431 1152 6655 0 405310 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1660300 KiB
Current children cumulated memory: 1625724 KiB
[startup+3.10542 s]
/proc/loadavg: 7.56 7.92 7.54 8/267 82068
/proc/meminfo: memFree=123531424/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=2700316 memory=2656592 CPUtime=3.08 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 449193 0 0 0 224 84 0 0 20 0 1 0 73130792 2765123584 664148 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 675079 664148 1152 6655 0 665314 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2700316 KiB
Current children cumulated memory: 2656592 KiB
[startup+6.30018 s]
/proc/loadavg: 7.52 7.91 7.54 8/267 82068
/proc/meminfo: memFree=123140852/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=3063024 memory=2971520 CPUtime=6.26 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 656966 0 0 0 367 259 0 0 20 0 1 0 73130792 3136536576 742880 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 765756 742880 1152 6655 0 755991 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 3063024 KiB
Current children cumulated memory: 2971520 KiB
[startup+12.7002 s]
/proc/loadavg: 7.48 7.89 7.53 8/267 82068
/proc/meminfo: memFree=121840236/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=4522124 memory=4359064 CPUtime=12.64 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1014815 0 0 0 695 569 0 0 20 0 1 0 73130792 4630654976 1089766 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1130531 1089766 2272 6655 0 1120766 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 4522124 KiB
Current children cumulated memory: 4359064 KiB
[startup+25.5002 s]
/proc/loadavg: 7.44 7.86 7.53 8/268 82069
/proc/meminfo: memFree=117718504/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10059960 memory=8164184 CPUtime=25.41 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1161340 0 0 0 1810 731 0 0 20 0 2 0 73130792 10301399040 2041046 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2514990 2041046 2880 6655 0 2488873 0
[pid=82067/tid=82069] ppid=82064 vsize=10059960 memory=281318211186976 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 10301399040 2041046 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 10059960 KiB
Current children cumulated memory: 8164184 KiB
[startup+51.1058 s]
/proc/loadavg: 7.29 7.79 7.52 8/268 82070
/proc/meminfo: memFree=117367956/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10686392 memory=8725420 CPUtime=50.97 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1263785 0 0 0 4262 835 0 0 20 0 2 0 73130792 10942865408 2181355 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2671598 2181355 2912 6655 0 2645481 0
[pid=82067/tid=82069] ppid=82064 vsize=10686392 memory=8504548 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 10942865408 2181355 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 10686392 KiB
Current children cumulated memory: 8725420 KiB
[startup+102.3 s]
/proc/loadavg: 7.25 7.70 7.50 8/268 82072
/proc/meminfo: memFree=117315492/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10696160 memory=8735276 CPUtime=102.04 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1267526 0 0 0 9367 837 0 0 20 0 2 0 73130792 10952867840 2183819 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2674040 2183819 2912 6655 0 2647923 0
[pid=82067/tid=82069] ppid=82064 vsize=10696160 memory=14464 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 10952867840 2183819 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 10696160 KiB
Current children cumulated memory: 8735276 KiB
[startup+162.3 s]
/proc/loadavg: 7.15 7.59 7.47 8/268 82077
/proc/meminfo: memFree=117250428/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10714376 memory=8753708 CPUtime=161.91 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1273525 0 0 0 15350 841 0 0 20 0 2 0 73130792 10971521024 2188427 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2678594 2188427 2912 6655 0 2652477 0
[pid=82067/tid=82069] ppid=82064 vsize=10714376 memory=14464 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 10971521024 2188427 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 10714376 KiB
Current children cumulated memory: 8753708 KiB
[startup+222.3 s]
/proc/loadavg: 7.10 7.49 7.44 8/266 82078
/proc/meminfo: memFree=117187592/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10732592 memory=8772140 CPUtime=221.77 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1279084 0 0 0 21333 844 0 0 20 0 2 0 73130792 10990174208 2193035 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2683148 2193035 2912 6655 0 2657031 0
[pid=82067/tid=82069] ppid=82064 vsize=10732592 memory=8763820 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 10990174208 2193035 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 10732592 KiB
Current children cumulated memory: 8772140 KiB
[startup+282.3 s]
/proc/loadavg: 6.81 7.35 7.40 7/267 82083
/proc/meminfo: memFree=117058952/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10750808 memory=8790572 CPUtime=281.62 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1285156 0 0 0 27314 848 0 0 20 0 2 0 73130792 11008827392 2197643 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2687702 2197643 2912 6655 0 2661585 0
[pid=82067/tid=82069] ppid=82064 vsize=10750808 memory=8782636 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11008827392 2197643 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 281.62 s
Current children cumulated vsize: 10750808 KiB
Current children cumulated memory: 8790572 KiB
[startup+342.3 s]
/proc/loadavg: 6.31 7.10 7.31 7/267 82131
/proc/meminfo: memFree=115877352/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10768760 memory=8808748 CPUtime=341.42 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1290605 0 0 0 33292 850 0 0 20 0 2 0 73130792 11027210240 2202187 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2692190 2202187 2912 6655 0 2666073 0
[pid=82067/tid=82069] ppid=82064 vsize=10768760 memory=8800044 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11027210240 2202187 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 10768760 KiB
Current children cumulated memory: 8808748 KiB
[startup+402.3 s]
/proc/loadavg: 6.43 6.98 7.25 8/267 82133
/proc/meminfo: memFree=114478780/131249996 swapFree=33010416/33010684
################
# More data... #
################
/proc/loadavg: 7.08 6.86 6.91 8/269 82432
/proc/meminfo: memFree=118145308/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10898252 memory=8939948 CPUtime=1597.28 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1522733 0 0 0 158837 891 0 0 20 0 2 0 73130792 11159810048 2234987 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2724563 2234987 2912 6655 0 2698446 0
[pid=82067/tid=82069] ppid=82064 vsize=10898252 memory=8939948 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11159810048 2234987 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 1597.28 s
Current children cumulated vsize: 10898252 KiB
Current children cumulated memory: 8939948 KiB
[startup+1662.3 s]
/proc/loadavg: 7.10 6.91 6.92 8/267 82434
/proc/meminfo: memFree=117879456/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10898252 memory=8939948 CPUtime=1657.16 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1534508 0 0 0 164824 892 0 0 20 0 2 0 73130792 11159810048 2234987 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2724563 2234987 2912 6655 0 2698446 0
[pid=82067/tid=82069] ppid=82064 vsize=10898252 memory=8939948 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11159810048 2234987 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 1657.16 s
Current children cumulated vsize: 10898252 KiB
Current children cumulated memory: 8939948 KiB
[startup+1722.3 s]
/proc/loadavg: 7.09 6.94 6.93 8/267 82436
/proc/meminfo: memFree=117591496/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10898252 memory=8940204 CPUtime=1717.03 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1546978 0 0 0 170809 894 0 0 20 0 2 0 73130792 11159810048 2235051 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2724563 2235051 2912 6655 0 2698446 0
[pid=82067/tid=82069] ppid=82064 vsize=10898252 memory=8940204 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11159810048 2235051 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 1717.03 s
Current children cumulated vsize: 10898252 KiB
Current children cumulated memory: 8940204 KiB
[startup+1782.3 s]
/proc/loadavg: 6.54 6.83 6.89 7/267 82440
/proc/meminfo: memFree=116194452/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=10898252 memory=8940204 CPUtime=1776.9 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1557171 0 0 0 176795 895 0 0 20 0 2 0 73130792 11159810048 2235051 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 2724563 2235051 2912 6655 0 2698446 0
[pid=82067/tid=82069] ppid=82064 vsize=10898252 memory=8940204 CPUtime=0 cores=5,7
/proc/82067/task/82069/stat : 82069 (LSIPExact) S 82064 82067 80534 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 73132120 11159810048 2235051 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
Current children cumulated CPU time: 1776.9 s
Current children cumulated vsize: 10898252 KiB
Current children cumulated memory: 8940204 KiB
[startup+1842.3 s]
/proc/loadavg: 6.23 6.69 6.84 7/268 82448
/proc/meminfo: memFree=104115088/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5371808 memory=4979296 CPUtime=1798.14 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) S 82064 82067 80534 0 -1 4194304 1696940 0 0 0 178911 903 0 0 20 0 1 0 73130792 5500731392 1244824 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1342952 1244824 3072 6655 0 1316835 0
[pid=82447] ppid=82067 vsize=15579904 memory=14960572 CPUtime=38.6 cores=5,7
/proc/82447/stat : 82447 (Exact) R 82067 82447 82447 0 -1 4194304 2047191 0 0 0 3317 543 0 0 20 0 1 0 73311151 15953821696 3740143 18446744073709551615 4198400 8335837 140733774779952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 39542784 140733774788795 140733774789149 140733774789149 140733774794703 0
/proc/82447/statm: 3894976 3740143 960 1011 0 3893743 0
Current children cumulated CPU time: 1836.74 s
Current children cumulated vsize: 20951712 KiB
Current children cumulated memory: 19939868 KiB
[startup+1891.27 s]
# the end of solver process 82067 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1866.38 s, system=19.2297 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 6.23 6.69 6.84 7/268 82448
/proc/meminfo: memFree=103897360/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5371808 memory=4979296 CPUtime=1798.14 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) S 82064 82067 80534 0 -1 4194304 1696940 0 0 0 178911 903 0 0 20 0 1 0 73130792 5500731392 1244824 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1342952 1244824 3072 6655 0 1316835 0
[pid=82447] ppid=82067 vsize=15763384 memory=15221860 CPUtime=39.5 cores=5,7
/proc/82447/stat : 82447 (Exact) R 82067 82447 82447 0 -1 4194304 2093106 0 0 0 3399 551 0 0 20 0 1 0 73311151 16141705216 3805465 18446744073709551615 4198400 8335837 140733774779952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 39542784 140733774788795 140733774789149 140733774789149 140733774794703 0
/proc/82447/statm: 3940846 3805465 960 1011 0 3939613 0
Current children cumulated CPU time: 1837.64 s
Current children cumulated vsize: 21135192 KiB
Current children cumulated memory: 20201156 KiB
[startup+1868.8 s]
/proc/loadavg: 6.29 6.66 6.83 7/267 82449
/proc/meminfo: memFree=97168632/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5371808 memory=4979296 CPUtime=1798.14 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) S 82064 82067 80534 0 -1 4194304 1696940 0 0 0 178911 903 0 0 20 0 1 0 73130792 5500731392 1244824 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1342952 1244824 3072 6655 0 1316835 0
[pid=82447] ppid=82067 vsize=23328300 memory=22413836 CPUtime=65.03 cores=5,7
/proc/82447/stat : 82447 (Exact) R 82067 82447 82447 0 -1 4194304 3222048 0 0 0 5659 844 0 0 20 0 1 0 73311151 23888179200 5603459 18446744073709551615 4198400 8335837 140733774779952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 39542784 140733774788795 140733774789149 140733774789149 140733774794703 0
/proc/82447/statm: 5832075 5603459 960 1011 0 5830842 0
Current children cumulated CPU time: 1863.17 s
Current children cumulated vsize: 28700108 KiB
Current children cumulated memory: 27393132 KiB
[startup+1881.6 s]
/proc/loadavg: 6.23 6.63 6.81 7/267 82449
/proc/meminfo: memFree=99597468/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5371808 memory=4979296 CPUtime=1798.14 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) S 82064 82067 80534 0 -1 4194304 1696940 0 0 0 178911 903 0 0 20 0 1 0 73130792 5500731392 1244824 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1342952 1244824 3072 6655 0 1316835 0
[pid=82447] ppid=82067 vsize=18460840 memory=18317696 CPUtime=77.8 cores=5,7
/proc/82447/stat : 82447 (Exact) R 82067 82447 82447 0 -1 4194304 3685893 0 0 0 6847 933 0 0 20 0 1 0 73311151 18903900160 4579424 18446744073709551615 4198400 8335837 140733774779952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 39542784 140733774788795 140733774789149 140733774789149 140733774794703 0
/proc/82447/statm: 4615210 4579424 992 1011 0 4613977 0
Current children cumulated CPU time: 1875.94 s
Current children cumulated vsize: 23832648 KiB
Current children cumulated memory: 23296992 KiB
[startup+1888 s]*
/proc/loadavg: 6.21 6.62 6.81 7/267 82450
/proc/meminfo: memFree=101201412/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5371808 memory=4979296 CPUtime=1798.14 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) S 82064 82067 80534 0 -1 4194304 1696940 0 0 0 178911 903 0 0 20 0 1 0 73130792 5500731392 1244824 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 1 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1342952 1244824 3072 6655 0 1316835 0
[pid=82447] ppid=82067 vsize=16850976 memory=16707832 CPUtime=84.2 cores=5,7
/proc/82447/stat : 82447 (Exact) R 82067 82447 82447 0 -1 4194304 3686900 0 0 0 7485 935 0 0 20 0 1 0 73311151 17255399424 4176958 18446744073709551615 4198400 8335837 140733774779952 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 39542784 140733774788795 140733774789149 140733774789149 140733774794703 0
/proc/82447/statm: 4212744 4176958 992 1011 0 4211511 0
Current children cumulated CPU time: 1882.34 s
Current children cumulated vsize: 22222784 KiB
Current children cumulated memory: 21687128 KiB
[startup+1889.6 s]
/proc/loadavg: 6.19 6.61 6.80 7/267 82450
/proc/meminfo: memFree=105544352/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=5300288 memory=4907772 CPUtime=1883.93 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1859296 3687162 0 0 178923 911 7576 983 20 0 1 0 73130792 5427494912 1226943 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1325072 1226943 3072 6655 0 1298955 0
Current children cumulated CPU time: 1883.93 s
Current children cumulated vsize: 5300288 KiB
Current children cumulated memory: 4907772 KiB
[startup+1890.4 s]
/proc/loadavg: 6.19 6.61 6.80 7/266 82450
/proc/meminfo: memFree=118261940/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=4906956 memory=4514444 CPUtime=1884.73 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 1956489 3687162 0 0 178998 916 7576 983 20 0 1 0 73130792 5024722944 1128611 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1226739 1128611 3072 6655 0 1200622 0
Current children cumulated CPU time: 1884.73 s
Current children cumulated vsize: 4906956 KiB
Current children cumulated memory: 4514444 KiB
[startup+1890.8 s]
/proc/loadavg: 6.19 6.61 6.80 7/266 82450
/proc/meminfo: memFree=118261940/131249996 swapFree=33010416/33010684
[pid=82067] ppid=82064 vsize=4805656 memory=4442404 CPUtime=1885.13 cores=5,7
/proc/82067/stat : 82067 (LSIPExact) R 82064 82067 80534 0 -1 4194304 2123156 3687162 0 0 179030 924 7576 983 20 0 1 0 73130792 4920991744 1110601 18446744073709551615 94018450665472 94018477921873 140727975028512 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94018486424712 94018486856320 94018507694080 140727975033178 140727975033354 140727975033354 140727975038956 0
/proc/82067/statm: 1201414 1110601 3072 6655 0 1175297 0
Current children cumulated CPU time: 1885.13 s
Current children cumulated vsize: 4805656 KiB
Current children cumulated memory: 4442404 KiB
[startup+1891.2 s]*
/proc/loadavg: 6.19 6.61 6.80 7/266 82450
/proc/meminfo: memFree=119637656/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1891.27
CPU time (s): 1885.61
CPU user time (s): 1866.38
CPU system time (s): 19.2297
CPU usage (%): 99.7007
Max. virtual memory (cumulated for all children) (KiB): 30548096
Max. memory (cumulated for all children) (KiB): 30012440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1866.38
system time used= 19.2297
maximum resident set size= 25033424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5900297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281
involuntary context switches= 1776
# summary of solver processes directly reported to runsolver:
# pid: 82067
# total CPU time (s): 1885.61
# total CPU user time (s): 1866.38
# total CPU system time (s): 19.2297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73815 second user time and 8.91961 second system time
The end
Begin job on nodeC030 at 2025-07-03 22:28:32
IDJOB=4521894
IDBENCH=178517
IDSOLVER=3337
FILE ID=nodeC030/4521894-1751574511
RUNJOBID= nodeC030-1751566631-80547
SLURM_JOB_ID= 9598780
Free space on /tmp= 432252 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/comppebphp_pyrheight_equals_nholes/normalized-comppebphp_opt_pyrheightequalsnholes_54.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4521894-1751574511/watcher-4521894-1751574511 -o /tmp/evaluation-result-4521894-1751574511/solver-4521894-1751574511 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751566631-80547 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4521894-1751574511.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8dda82f4961ecebecfcf9bee24c61458
RANDOM SEED=2070220219
nodeC030 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.320
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.62
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.320
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.62
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.329
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.62
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.359
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.62
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.332
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.62
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.724
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.62
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.320
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.62
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 : 3600.066
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.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126118176 kB
MemAvailable: 127166380 kB
Buffers: 2564 kB
Cached: 1838944 kB
SwapCached: 16 kB
Active: 2984008 kB
Inactive: 1395412 kB
Active(anon): 2551412 kB
Inactive(anon): 4548 kB
Active(file): 432596 kB
Inactive(file): 1390864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 157152 kB
Writeback: 0 kB
AnonPages: 2541084 kB
Mapped: 139192 kB
Shmem: 18048 kB
KReclaimable: 127564 kB
Slab: 217560 kB
SReclaimable: 127564 kB
SUnreclaim: 89996 kB
KernelStack: 4304 kB
PageTables: 8032 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2899172 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 733184 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432204 MiB
End job on nodeC030 at 2025-07-03 23:00:04