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 (63155 MiB free)
memory of node 1: 64465 MiB (63770 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488850-1751341236/watcher-4488850-1751341236 -o /tmp/evaluation-result-4488850-1751341236/solver-4488850-1751341236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-45000 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488850-1751341236.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=45295, runsolver pid=45291
[startup+0.1001 s]*
/proc/loadavg: 6.18 7.59 7.36 4/247 45300
/proc/meminfo: memFree=129963744/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=0.09 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 9 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.212709 s]*
/proc/loadavg: 6.18 7.59 7.36 4/247 45300
/proc/meminfo: memFree=129963744/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=0.2 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 20 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.312073 s]*
/proc/loadavg: 6.18 7.59 7.36 5/248 45301
/proc/meminfo: memFree=129963496/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=0.3 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 30 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+0.70023 s]
/proc/loadavg: 6.18 7.59 7.36 4/247 45307
/proc/meminfo: memFree=129964088/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=0.67 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 67 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+1.50027 s]
/proc/loadavg: 6.18 7.59 7.36 5/246 45328
/proc/meminfo: memFree=129962256/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=1.47 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 147 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+3.11208 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129962900/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=3.08 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 308 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+6.30023 s]
/proc/loadavg: 6.01 7.53 7.35 5/251 45337
/proc/meminfo: memFree=129963628/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=42508 memory=7936 CPUtime=6.26 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 979 0 0 0 626 0 0 0 20 0 1 0 49802747 43528192 1984 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 10627 1984 1184 6655 0 862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 7936 KiB
[startup+12.7002 s]
/proc/loadavg: 5.85 7.47 7.33 9/255 45341
/proc/meminfo: memFree=129877704/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=137436 memory=42976 CPUtime=15.18 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 7242 0 0 0 1516 2 0 0 20 0 2 0 49802747 140734464 10744 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 34359 10744 3392 6655 0 9403 0
[pid=45295/tid=45339] ppid=45291 vsize=137436 memory=6388 CPUtime=2.53 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 1189 0 0 0 253 0 0 0 20 0 2 0 49803749 140734464 10744 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 15.18 s
Current children cumulated vsize: 137436 KiB
Current children cumulated memory: 42976 KiB
[startup+25.5002 s]
/proc/loadavg: 6.32 7.50 7.34 9/255 45341
/proc/meminfo: memFree=129832924/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=139068 memory=51680 CPUtime=40.61 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 20837 0 0 0 4058 3 0 0 20 0 2 0 49802747 142405632 12920 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 34767 12920 3392 6655 0 11292 0
[pid=45295/tid=45339] ppid=45291 vsize=139068 memory=18048 CPUtime=15.2 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 5975 0 0 0 1520 0 0 0 20 0 2 0 49803749 142405632 12920 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 40.61 s
Current children cumulated vsize: 139068 KiB
Current children cumulated memory: 51680 KiB
[startup+51.1052 s]
/proc/loadavg: 7.11 7.59 7.37 9/255 45342
/proc/meminfo: memFree=129796832/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=150408 memory=62432 CPUtime=89.48 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 31742 0 0 0 8944 4 0 0 20 0 2 0 49802747 154017792 15608 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 37602 15608 3392 6655 0 14965 0
[pid=45295/tid=45339] ppid=45291 vsize=150408 memory=0 CPUtime=38.54 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 9946 0 0 0 3853 1 0 0 20 0 2 0 49803749 154017792 15608 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 89.48 s
Current children cumulated vsize: 150408 KiB
Current children cumulated memory: 62432 KiB
[startup+102.3 s]
/proc/loadavg: 7.62 7.65 7.41 9/255 45344
/proc/meminfo: memFree=129753448/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=150408 memory=66912 CPUtime=191.14 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 33116 0 0 0 19110 4 0 0 20 0 2 0 49802747 154017792 16728 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 37602 16728 3392 6655 0 15104 0
[pid=45295/tid=45339] ppid=45291 vsize=150408 memory=18048 CPUtime=89.16 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 10545 0 0 0 8915 1 0 0 20 0 2 0 49803749 154017792 16728 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 191.14 s
Current children cumulated vsize: 150408 KiB
Current children cumulated memory: 66912 KiB
[startup+162.3 s]
/proc/loadavg: 7.77 7.70 7.44 9/254 45346
/proc/meminfo: memFree=129520924/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=194456 memory=124416 CPUtime=305.41 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 44907 0 0 0 30533 8 0 0 20 0 2 0 49802747 199122944 31104 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 48614 31104 3392 6655 0 30480 0
[pid=45295/tid=45339] ppid=45291 vsize=194456 memory=80224 CPUtime=145.15 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 15266 0 0 0 14513 2 0 0 20 0 2 0 49803749 199122944 31104 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 305.41 s
Current children cumulated vsize: 194456 KiB
Current children cumulated memory: 124416 KiB
[startup+222.3 s]
/proc/loadavg: 8.02 7.79 7.49 9/254 45348
/proc/meminfo: memFree=129486776/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=194456 memory=126464 CPUtime=424.57 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 46746 0 0 0 42448 9 0 0 20 0 2 0 49802747 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 48614 31616 3392 6655 0 30480 0
[pid=45295/tid=45339] ppid=45291 vsize=194456 memory=16296 CPUtime=204.9 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 15680 0 0 0 20487 3 0 0 20 0 2 0 49803749 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 424.57 s
Current children cumulated vsize: 194456 KiB
Current children cumulated memory: 126464 KiB
[startup+282.3 s]
/proc/loadavg: 8.10 7.86 7.54 9/254 45350
/proc/meminfo: memFree=129469044/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=194456 memory=126464 CPUtime=543.82 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 48942 0 0 0 54373 9 0 0 20 0 2 0 49802747 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 48614 31616 3392 6655 0 30480 0
[pid=45295/tid=45339] ppid=45291 vsize=194456 memory=126464 CPUtime=264.73 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 16930 0 0 0 26470 3 0 0 20 0 2 0 49803749 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 543.82 s
Current children cumulated vsize: 194456 KiB
Current children cumulated memory: 126464 KiB
[startup+342.3 s]
/proc/loadavg: 8.15 7.92 7.58 9/254 45352
/proc/meminfo: memFree=129451428/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=194456 memory=126464 CPUtime=663.08 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 53904 0 0 0 66298 10 0 0 20 0 2 0 49802747 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 48614 31616 3392 6655 0 30480 0
[pid=45295/tid=45339] ppid=45291 vsize=194456 memory=126464 CPUtime=324.55 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 19879 0 0 0 32452 3 0 0 20 0 2 0 49803749 199122944 31616 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 663.08 s
Current children cumulated vsize: 194456 KiB
Current children cumulated memory: 126464 KiB
################
# More data... #
################
[pid=45295] ppid=45291 vsize=946300 memory=846928 CPUtime=2332.68 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 259810 0 0 0 233202 66 0 0 20 0 2 0 49802747 969011200 211732 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 236575 211732 3392 6655 0 210561 0
[pid=45295/tid=45339] ppid=45291 vsize=946300 memory=697040 CPUtime=1162.11 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 122826 0 0 0 116177 34 0 0 20 0 2 0 49803749 969011200 211732 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2332.68 s
Current children cumulated vsize: 946300 KiB
Current children cumulated memory: 846928 KiB
[startup+1242.3 s]
/proc/loadavg: 8.17 8.15 7.98 9/254 45407
/proc/meminfo: memFree=126774224/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=975104 memory=904144 CPUtime=2451.92 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 275897 0 0 0 245122 70 0 0 20 0 2 0 49802747 998506496 226036 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 243776 226036 3392 6655 0 224910 0
[pid=45295/tid=45339] ppid=45291 vsize=975104 memory=887760 CPUtime=1221.93 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 130538 0 0 0 122157 36 0 0 20 0 2 0 49803749 998506496 226036 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2451.92 s
Current children cumulated vsize: 975104 KiB
Current children cumulated memory: 904144 KiB
[startup+1302.3 s]
/proc/loadavg: 8.12 8.14 7.99 9/254 45409
/proc/meminfo: memFree=126590372/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1005736 memory=964304 CPUtime=2571.19 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 293562 0 0 0 257044 75 0 0 20 0 2 0 49802747 1029873664 241076 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 251434 241076 3392 6655 0 240019 0
[pid=45295/tid=45339] ppid=45291 vsize=1005736 memory=943568 CPUtime=1281.75 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 139197 0 0 0 128136 39 0 0 20 0 2 0 49803749 1029873664 241076 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2571.19 s
Current children cumulated vsize: 1005736 KiB
Current children cumulated memory: 964304 KiB
[startup+1362.3 s]
/proc/loadavg: 8.09 8.13 8.00 9/253 45411
/proc/meminfo: memFree=126436968/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1098272 memory=1019208 CPUtime=2690.45 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 313722 0 0 0 268964 81 0 0 20 0 2 0 49802747 1124630528 254802 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 274568 254802 3392 6655 0 253800 0
[pid=45295/tid=45339] ppid=45291 vsize=1098272 memory=943568 CPUtime=1341.57 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 151182 0 0 0 134115 42 0 0 20 0 2 0 49803749 1124630528 254802 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2690.45 s
Current children cumulated vsize: 1098272 KiB
Current children cumulated memory: 1019208 KiB
[startup+1422.3 s]
/proc/loadavg: 8.14 8.13 8.01 9/253 45413
/proc/meminfo: memFree=126262632/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1130240 memory=1081032 CPUtime=2809.71 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 330485 0 0 0 280886 85 0 0 20 0 2 0 49802747 1157365760 270258 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 282560 270258 3392 6655 0 269253 0
[pid=45295/tid=45339] ppid=45291 vsize=1130240 memory=943568 CPUtime=1401.4 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 159306 0 0 0 140095 45 0 0 20 0 2 0 49803749 1157365760 270258 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2809.71 s
Current children cumulated vsize: 1130240 KiB
Current children cumulated memory: 1081032 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 8.12 8.01 9/254 45416
/proc/meminfo: memFree=126087596/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1221960 memory=1130696 CPUtime=2928.97 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 344294 0 0 0 292809 88 0 0 20 0 2 0 49802747 1251287040 282674 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 305490 282674 3392 6655 0 281671 0
[pid=45295/tid=45339] ppid=45291 vsize=1221960 memory=16296 CPUtime=1461.22 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 166341 0 0 0 146075 47 0 0 20 0 2 0 49803749 1251287040 282674 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 2928.97 s
Current children cumulated vsize: 1221960 KiB
Current children cumulated memory: 1130696 KiB
[startup+1542.3 s]
/proc/loadavg: 8.08 8.11 8.01 9/254 45418
/proc/meminfo: memFree=125932520/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1253184 memory=1195464 CPUtime=3048.23 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 364040 0 0 0 304729 94 0 0 20 0 2 0 49802747 1283260416 298866 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 313296 298866 3392 6655 0 297815 0
[pid=45295/tid=45339] ppid=45291 vsize=1253184 memory=1190088 CPUtime=1521.04 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 176224 0 0 0 152054 50 0 0 20 0 2 0 49803749 1283260416 298866 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 3048.23 s
Current children cumulated vsize: 1253184 KiB
Current children cumulated memory: 1195464 KiB
[startup+1602.3 s]
/proc/loadavg: 8.13 8.12 8.01 9/254 45420
/proc/meminfo: memFree=125760468/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1350736 memory=1253924 CPUtime=3167.49 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 380635 0 0 0 316651 98 0 0 20 0 2 0 49802747 1383153664 313481 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 337684 313481 3392 6655 0 312469 0
[pid=45295/tid=45339] ppid=45291 vsize=1350736 memory=1190088 CPUtime=1580.86 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 184015 0 0 0 158034 52 0 0 20 0 2 0 49803749 1383153664 313481 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 3167.49 s
Current children cumulated vsize: 1350736 KiB
Current children cumulated memory: 1253924 KiB
[startup+1662.3 s]
/proc/loadavg: 8.04 8.09 8.01 9/254 45424
/proc/meminfo: memFree=125610092/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1376668 memory=1310756 CPUtime=3286.75 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 396445 0 0 0 328574 101 0 0 20 0 2 0 49802747 1409708032 327689 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 344167 327689 3392 6655 0 326669 0
[pid=45295/tid=45339] ppid=45291 vsize=1376668 memory=1190088 CPUtime=1640.69 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 192244 0 0 0 164015 54 0 0 20 0 2 0 49803749 1409708032 327689 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 3286.75 s
Current children cumulated vsize: 1376668 KiB
Current children cumulated memory: 1310756 KiB
[startup+1722.3 s]
/proc/loadavg: 8.12 8.11 8.01 9/255 45431
/proc/meminfo: memFree=125448436/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1477780 memory=1378920 CPUtime=3406.02 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 419046 0 0 0 340494 108 0 0 20 0 2 0 49802747 1513246720 344730 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 369445 344730 3392 6655 0 343593 0
[pid=45295/tid=45339] ppid=45291 vsize=1477780 memory=1190088 CPUtime=1700.51 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 204073 0 0 0 169993 58 0 0 20 0 2 0 49803749 1513246720 344730 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 3406.02 s
Current children cumulated vsize: 1477780 KiB
Current children cumulated memory: 1378920 KiB
[startup+1782.3 s]
/proc/loadavg: 8.14 8.11 8.02 9/254 45433
/proc/meminfo: memFree=125261712/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=1506528 memory=1437928 CPUtime=3525.27 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) R 45291 45295 44987 0 -1 4194304 438858 0 0 0 352415 112 0 0 20 0 2 0 49802747 1542684672 359482 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 376632 359482 3392 6655 0 358342 0
[pid=45295/tid=45339] ppid=45291 vsize=1506528 memory=1426280 CPUtime=1760.33 cores=5,7
/proc/45295/task/45339/stat : 45339 (LSIPExact) R 45291 45295 44987 0 -1 4194368 214230 0 0 0 175972 61 0 0 20 0 2 0 49803749 1542684672 359482 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 0 0 0 -1 5 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
Current children cumulated CPU time: 3525.27 s
Current children cumulated vsize: 1506528 KiB
Current children cumulated memory: 1437928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1839.8 s]
/proc/loadavg: 6.15 7.61 7.85 5/252 45536
/proc/meminfo: memFree=127591012/131382120 swapFree=33010160/33010684
[pid=45295] ppid=45291 vsize=979828 memory=945912 CPUtime=3560.65 cores=5,7
/proc/45295/stat : 45295 (LSIPExact) S 45291 45295 44987 0 -1 4194304 536089 227 0 0 355944 121 0 0 20 0 1 0 49802747 1003343872 236478 18446744073709551615 94634433515520 94634460771921 140723174263328 0 0 0 0 0 16386 1 0 0 17 7 0 0 0 0 0 94634469274760 94634469706368 94634493263872 140723174271322 140723174271498 140723174271498 140723174277100 0
/proc/45295/statm: 244957 236478 3424 6655 0 235190 0
[pid=45439] ppid=45295 vsize=234516 memory=180056 CPUtime=39.37 cores=5,7
/proc/45439/stat : 45439 (Exact) R 45295 45439 45439 0 -1 4194304 32482 0 0 0 3918 19 0 0 20 0 1 0 49982767 240144384 45014 18446744073709551615 4198400 8335837 140731479772048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9148648 9230840 33398784 140731479775412 140731479775773 140731479775773 140731479781327 0
/proc/45439/statm: 58629 45014 1120 1011 0 57396 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1214344 KiB
Current children cumulated memory: 1125968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1839.85 s]
# the end of solver process 45295 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.64 s, system=1.45058 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1839.85
CPU time (s): 3600.09
CPU user time (s): 3598.64
CPU system time (s): 1.45058
CPU usage (%): 195.673
Max. virtual memory (cumulated for all children) (KiB): 1515724
Max. memory (cumulated for all children) (KiB): 1455848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.64
system time used= 1.45058
maximum resident set size= 1456104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569078
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= 629
involuntary context switches= 144995
# summary of solver processes directly reported to runsolver:
# pid: 45295
# total CPU time (s): 3600.09
# total CPU user time (s): 3598.64
# total CPU system time (s): 1.45058
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.69476 second user time and 8.31022 second system time
The end
Begin job on nodeC008 at 2025-07-01 05:40:36
IDJOB=4488850
IDBENCH=147533
IDSOLVER=3337
FILE ID=nodeC008/4488850-1751341236
RUNJOBID= nodeC008-1751339396-45000
SLURM_JOB_ID= 9594406
Free space on /tmp= 432972 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.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-4488850-1751341236/watcher-4488850-1751341236 -o /tmp/evaluation-result-4488850-1751341236/solver-4488850-1751341236 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751339396-45000 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488850-1751341236.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=815592342
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 : 3491.883
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.365
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 : 3700.000
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.219
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 : 1296.978
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.297
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 : 1297.229
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.212
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: 129965420 kB
MemAvailable: 129867956 kB
Buffers: 2144 kB
Cached: 712460 kB
SwapCached: 16 kB
Active: 297076 kB
Inactive: 494876 kB
Active(anon): 58636 kB
Inactive(anon): 36636 kB
Active(file): 238440 kB
Inactive(file): 458240 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 134296 kB
Writeback: 0 kB
AnonPages: 80464 kB
Mapped: 106012 kB
Shmem: 17920 kB
KReclaimable: 90964 kB
Slab: 173112 kB
SReclaimable: 90964 kB
SUnreclaim: 82148 kB
KernelStack: 3952 kB
PageTables: 2940 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 360516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149336 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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= 432884 MiB
End job on nodeC008 at 2025-07-01 06:11:16