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 (62543 MiB free)
memory of node 1: 64465 MiB (62620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488619-1751320725/watcher-4488619-1751320725 -o /tmp/evaluation-result-4488619-1751320725/solver-4488619-1751320725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41924 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488619-1751320725.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44674, runsolver pid=44671
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 8.08 8.09 8.02 8/266 44675
/proc/meminfo: memFree=128167312/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=0.09 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 9 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.206043 s]*
/proc/loadavg: 8.08 8.09 8.02 8/266 44675
/proc/meminfo: memFree=128167312/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=0.2 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 20 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.30592 s]*
/proc/loadavg: 8.08 8.09 8.02 8/266 44675
/proc/meminfo: memFree=128166304/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=0.3 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 30 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+0.7002 s]
/proc/loadavg: 8.08 8.09 8.02 9/266 44675
/proc/meminfo: memFree=128166304/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=0.68 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 68 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+1.5002 s]
/proc/loadavg: 8.08 8.09 8.02 8/266 44675
/proc/meminfo: memFree=128170844/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=1.48 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 148 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+3.10576 s]
/proc/loadavg: 8.08 8.09 8.02 8/266 44675
/proc/meminfo: memFree=128180872/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=3.08 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 308 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+6.30018 s]
/proc/loadavg: 7.99 8.07 8.01 8/266 44675
/proc/meminfo: memFree=128181376/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=42508 memory=8064 CPUtime=6.26 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 978 0 0 0 626 0 0 0 20 0 1 0 47750010 43528192 2016 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 10627 2016 1184 6655 0 862 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 42508 KiB
Current children cumulated memory: 8064 KiB
[startup+12.7002 s]
/proc/loadavg: 7.99 8.07 8.01 9/268 44677
/proc/meminfo: memFree=128170808/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=136744 memory=43396 CPUtime=15.15 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 7252 0 0 0 1514 1 0 0 20 0 2 0 47750010 140025856 10849 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 34186 10849 3488 6655 0 9310 0
[pid=44674/tid=44677] ppid=44671 vsize=136744 memory=41860 CPUtime=2.51 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 1282 0 0 0 251 0 0 0 20 0 2 0 47751011 140025856 10849 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 15.15 s
Current children cumulated vsize: 136744 KiB
Current children cumulated memory: 43396 KiB
[startup+25.5002 s]
/proc/loadavg: 7.99 8.07 8.01 9/268 44678
/proc/meminfo: memFree=128160224/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=137808 memory=49156 CPUtime=40.53 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 20657 0 0 0 4050 3 0 0 20 0 2 0 47750010 141115392 12289 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 34452 12289 3488 6655 0 10492 0
[pid=44674/tid=44677] ppid=44671 vsize=137808 memory=49028 CPUtime=15.13 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 6307 0 0 0 1512 1 0 0 20 0 2 0 47751011 141115392 12289 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 40.53 s
Current children cumulated vsize: 137808 KiB
Current children cumulated memory: 49156 KiB
[startup+51.1059 s]
/proc/loadavg: 8.00 8.06 8.01 9/268 44678
/proc/meminfo: memFree=128145692/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=146068 memory=61700 CPUtime=89.91 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 37762 0 0 0 8986 5 0 0 20 0 2 0 47750010 149573632 15425 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 36517 15425 3488 6655 0 13784 0
[pid=44674/tid=44677] ppid=44671 vsize=146068 memory=61700 CPUtime=39.03 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 12639 0 0 0 3901 2 0 0 20 0 2 0 47751011 149573632 15425 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 89.91 s
Current children cumulated vsize: 146068 KiB
Current children cumulated memory: 61700 KiB
[startup+102.3 s]
/proc/loadavg: 7.98 8.03 8.00 9/267 44727
/proc/meminfo: memFree=128398960/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=154652 memory=79236 CPUtime=191.65 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 44906 0 0 0 19156 9 0 0 20 0 2 0 47750010 158363648 19809 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 38663 19809 3488 6655 0 18142 0
[pid=44674/tid=44677] ppid=44671 vsize=154652 memory=66820 CPUtime=89.72 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 16191 0 0 0 8969 3 0 0 20 0 2 0 47751011 158363648 19809 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 191.65 s
Current children cumulated vsize: 154652 KiB
Current children cumulated memory: 79236 KiB
[startup+162.3 s]
/proc/loadavg: 7.68 7.95 7.97 9/270 44853
/proc/meminfo: memFree=129652364/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=180676 memory=128132 CPUtime=310.87 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 58936 0 0 0 31075 12 0 0 20 0 2 0 47750010 185012224 32033 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 45169 32033 3488 6655 0 30257 0
[pid=44674/tid=44677] ppid=44671 vsize=180676 memory=126724 CPUtime=149.14 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 23624 0 0 0 14908 6 0 0 20 0 2 0 47751011 185012224 32033 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 310.87 s
Current children cumulated vsize: 180676 KiB
Current children cumulated memory: 128132 KiB
[startup+222.3 s]
/proc/loadavg: 7.94 7.97 7.98 9/270 44855
/proc/meminfo: memFree=129566860/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=275512 memory=189188 CPUtime=430.1 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 74316 0 0 0 42994 16 0 0 20 0 2 0 47750010 282124288 47297 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 68878 47297 3488 6655 0 45512 0
[pid=44674/tid=44677] ppid=44671 vsize=275512 memory=189188 CPUtime=208.51 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 31715 0 0 0 20844 7 0 0 20 0 2 0 47751011 282124288 47297 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 430.1 s
Current children cumulated vsize: 275512 KiB
Current children cumulated memory: 189188 KiB
[startup+282.3 s]
/proc/loadavg: 7.87 7.95 7.98 8/270 44857
/proc/meminfo: memFree=129429068/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=296160 memory=229124 CPUtime=549.29 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 87413 0 0 0 54910 19 0 0 20 0 2 0 47750010 303267840 57281 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 74040 57281 3488 6655 0 55437 0
[pid=44674/tid=44677] ppid=44671 vsize=296160 memory=213764 CPUtime=267.89 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 37432 0 0 0 26780 9 0 0 20 0 2 0 47751011 303267840 57281 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 549.29 s
Current children cumulated vsize: 296160 KiB
Current children cumulated memory: 229124 KiB
[startup+342.3 s]
/proc/loadavg: 8.07 7.99 7.99 9/269 44859
/proc/meminfo: memFree=129348160/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=316468 memory=269444 CPUtime=668.48 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 100856 0 0 0 66826 22 0 0 20 0 2 0 47750010 324063232 67361 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 79117 67361 3488 6655 0 65559 0
[pid=44674/tid=44677] ppid=44671 vsize=316468 memory=213764 CPUtime=327.49 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 44408 0 0 0 32738 11 0 0 20 0 2 0 47751011 324063232 67361 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 668.48 s
Current children cumulated vsize: 316468 KiB
Current children cumulated memory: 269444 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=747772 CPUtime=1398.93 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119220 0 0 0 139866 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 2809.5 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1482.3 s]
/proc/loadavg: 8.18 8.12 8.07 9/267 44914
/proc/meminfo: memFree=126337232/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=2928.75 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 262167 0 0 0 292820 55 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=17664 CPUtime=1458.33 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119222 0 0 0 145806 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 2928.75 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1542.3 s]
/proc/loadavg: 8.11 8.11 8.07 9/266 44916
/proc/meminfo: memFree=126154556/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3048 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 262176 0 0 0 304745 55 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=0 CPUtime=1517.74 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119231 0 0 0 151747 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3048 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1602.3 s]
/proc/loadavg: 8.14 8.12 8.08 9/268 44926
/proc/meminfo: memFree=126022928/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3167.22 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 262184 0 0 0 316667 55 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=0 CPUtime=1577.14 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119233 0 0 0 157687 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3167.22 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1662.3 s]
/proc/loadavg: 8.10 8.11 8.08 9/268 44928
/proc/meminfo: memFree=125916060/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3286.46 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 262753 0 0 0 328591 55 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=0 CPUtime=1636.55 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119656 0 0 0 163628 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3286.46 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1722.3 s]
/proc/loadavg: 8.44 8.21 8.12 9/269 44931
/proc/meminfo: memFree=125719860/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3405.72 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 262914 0 0 0 340516 56 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=0 CPUtime=1695.95 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 119688 0 0 0 169568 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3405.72 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
[startup+1782.3 s]
/proc/loadavg: 8.22 8.19 8.11 9/269 44933
/proc/meminfo: memFree=125582444/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3524.96 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 263737 0 0 0 352440 56 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=747772 CPUtime=1755.36 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 120361 0 0 0 175509 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3524.96 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1820.11 s]
/proc/loadavg: 8.18 8.18 8.11 9/269 44934
/proc/meminfo: memFree=125491068/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=747772 CPUtime=3600.09 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) R 44671 44674 41913 0 -1 4194304 263895 0 0 0 359953 56 0 0 20 0 2 0 47750010 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186943 3520 6655 0 186806 0
[pid=44674/tid=44677] ppid=44671 vsize=822736 memory=747772 CPUtime=1792.79 cores=4,6
/proc/44674/task/44677/stat : 44677 (LSIPExact) R 44671 44674 41913 0 -1 4194368 120447 0 0 0 179252 27 0 0 20 0 2 0 47751011 842481664 186943 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 0 0 0 -1 6 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 747772 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+1822.11 s]
# the end of solver process 44674 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3601.47 s, system=0.613712 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1820.8 s]
/proc/loadavg: 8.18 8.18 8.11 9/269 44934
/proc/meminfo: memFree=125491068/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=745968 CPUtime=3600.11 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) S 44671 44674 41913 0 -1 4194304 264248 227 0 0 359955 56 0 0 20 0 1 0 47750010 842481664 186492 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186492 3552 6655 0 186806 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 822736 KiB
Current children cumulated memory: 745968 KiB
[startup+1821.6 s]
/proc/loadavg: 8.09 8.16 8.10 8/269 44936
/proc/meminfo: memFree=125424040/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=745968 CPUtime=3600.11 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) S 44671 44674 41913 0 -1 4194304 264248 227 0 0 359955 56 0 0 20 0 1 0 47750010 842481664 186492 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186492 3552 6655 0 186806 0
[pid=44936] ppid=44674 vsize=86736 memory=65492 CPUtime=1.44 cores=4,6
/proc/44936/stat : 44936 (Exact) R 44674 44936 44936 0 -1 4194304 12666 0 0 0 141 3 0 0 20 0 1 0 47932023 88817664 16373 18446744073709551615 4198400 8335837 140726708193200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 15265792 140726708197556 140726708197917 140726708197917 140726708203471 0
/proc/44936/statm: 21684 16373 1120 1011 0 20451 0
Current children cumulated CPU time: 3601.55 s
Current children cumulated vsize: 909472 KiB
Current children cumulated memory: 811460 KiB
[startup+1822 s]*
/proc/loadavg: 8.09 8.16 8.10 8/269 44936
/proc/meminfo: memFree=125424544/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=745968 CPUtime=3600.11 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) S 44671 44674 41913 0 -1 4194304 264248 227 0 0 359955 56 0 0 20 0 1 0 47750010 842481664 186492 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186492 3552 6655 0 186806 0
[pid=44936] ppid=44674 vsize=89040 memory=67412 CPUtime=1.84 cores=4,6
/proc/44936/stat : 44936 (Exact) R 44674 44936 44936 0 -1 4194304 13132 0 0 0 181 3 0 0 20 0 1 0 47932023 91176960 16853 18446744073709551615 4198400 8335837 140726708193200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 15265792 140726708197556 140726708197917 140726708197917 140726708203471 0
/proc/44936/statm: 22260 16853 1120 1011 0 21027 0
Current children cumulated CPU time: 3601.95 s
Current children cumulated vsize: 911776 KiB
Current children cumulated memory: 813380 KiB
[startup+1822.11 s]
/proc/loadavg: 8.09 8.16 8.10 8/269 44936
/proc/meminfo: memFree=125424544/131249996 swapFree=33010416/33010684
[pid=44674] ppid=44671 vsize=822736 memory=745968 CPUtime=3600.11 cores=4,6
/proc/44674/stat : 44674 (LSIPExact) S 44671 44674 41913 0 -1 4194304 264248 227 0 0 359955 56 0 0 20 0 1 0 47750010 842481664 186492 18446744073709551615 94883338883072 94883366139473 140735805417008 0 0 0 0 0 16386 1 0 0 17 4 0 0 0 0 0 94883374642312 94883375073920 94883404247040 140735805426010 140735805426186 140735805426186 140735805431788 0
/proc/44674/statm: 205684 186492 3552 6655 0 186806 0
[pid=44936] ppid=44674 vsize=90712 memory=68948 CPUtime=1.94 cores=4,6
/proc/44936/stat : 44936 (Exact) R 44674 44936 44936 0 -1 4194304 13519 0 0 0 191 3 0 0 20 0 1 0 47932023 92889088 17237 18446744073709551615 4198400 8335837 140726708193200 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9148648 9230840 15265792 140726708197556 140726708197917 140726708197917 140726708203471 0
/proc/44936/statm: 22678 17237 1120 1011 0 21445 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 913448 KiB
Current children cumulated memory: 814916 KiB
Child status: 0
Real time (s): 1822.11
CPU time (s): 3602.09
CPU user time (s): 3601.47
CPU system time (s): 0.613712
CPU usage (%): 197.687
Max. virtual memory (cumulated for all children) (KiB): 913448
Max. memory (cumulated for all children) (KiB): 814916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3601.47
system time used= 0.613712
maximum resident set size= 747900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278005
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= 514
involuntary context switches= 132328
# summary of solver processes directly reported to runsolver:
# pid: 44674
# total CPU time (s): 3602.09
# total CPU user time (s): 3601.47
# total CPU system time (s): 0.613712
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66661 second user time and 8.34746 second system time
The end
Begin job on nodeC015 at 2025-06-30 23:58:45
IDJOB=4488619
IDBENCH=147525
IDSOLVER=3336
FILE ID=nodeC015/4488619-1751320725
RUNJOBID= nodeC015-1751315214-41924
SLURM_JOB_ID= 9594330
Free space on /tmp= 432884 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_36.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-4488619-1751320725/watcher-4488619-1751320725 -o /tmp/evaluation-result-4488619-1751320725/solver-4488619-1751320725 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751315214-41924 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4488619-1751320725.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 865c9eee5cef9cdfeb385b5316eb6b14
RANDOM SEED=246235903
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.095
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.074
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.317
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.069
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.091
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.039
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 : 3621.663
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 : 3600.077
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: 128168068 kB
MemAvailable: 127962424 kB
Buffers: 2128 kB
Cached: 583288 kB
SwapCached: 24 kB
Active: 2088504 kB
Inactive: 280132 kB
Active(anon): 1781188 kB
Inactive(anon): 20084 kB
Active(file): 307316 kB
Inactive(file): 260048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 44756 kB
Writeback: 4 kB
AnonPages: 1785308 kB
Mapped: 139472 kB
Shmem: 18052 kB
KReclaimable: 132464 kB
Slab: 221436 kB
SReclaimable: 132464 kB
SUnreclaim: 88972 kB
KernelStack: 4288 kB
PageTables: 6572 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2146220 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1288192 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= 432844 MiB
End job on nodeC015 at 2025-07-01 00:29:07