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 (60543 MiB free)
memory of node 1: 64465 MiB (58806 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4527489-1752232331/watcher-4527489-1752232331 -o /tmp/evaluation-result-4527489-1752232331/solver-4527489-1752232331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752232205-119364 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527489-1752232331.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=119793, runsolver pid=119790
[startup+0.10007 s]*
/proc/loadavg: 6.07 2.34 0.92 8/255 119795
/proc/meminfo: memFree=122212176/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=0.1 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 9 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+0.21313 s]*
/proc/loadavg: 6.07 2.34 0.92 8/255 119795
/proc/meminfo: memFree=122212176/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=0.21 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 20 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+0.312684 s]*
/proc/loadavg: 6.07 2.34 0.92 8/255 119795
/proc/meminfo: memFree=122212176/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=0.31 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 30 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+0.700227 s]
/proc/loadavg: 6.14 2.42 0.95 8/255 119795
/proc/meminfo: memFree=122210160/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=0.69 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 68 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+1.50022 s]
/proc/loadavg: 6.14 2.42 0.95 8/255 119795
/proc/meminfo: memFree=122210160/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=1.48 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 147 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+3.11238 s]
/proc/loadavg: 6.14 2.42 0.95 8/255 119795
/proc/meminfo: memFree=122188864/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=3.09 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 308 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+6.30021 s]
/proc/loadavg: 6.21 2.49 0.98 8/255 119795
/proc/meminfo: memFree=122169428/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=48784 memory=14336 CPUtime=6.27 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 2544 0 0 0 626 1 0 0 20 0 1 0 138912251 49954816 3584 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 12196 3584 1184 6655 0 2431 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48784 KiB
Current children cumulated memory: 14336 KiB
[startup+12.7002 s]
/proc/loadavg: 6.36 2.59 1.02 9/256 119796
/proc/meminfo: memFree=122075896/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=186836 memory=92136 CPUtime=14.99 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 18515 0 0 0 1495 4 0 0 20 0 2 0 138912251 191320064 23034 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 46709 23034 3392 6655 0 23384 0
[pid=119793/tid=119796] ppid=119790 vsize=186836 memory=6512 CPUtime=2.34 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 2840 0 0 0 233 1 0 0 20 0 2 0 138913254 191320064 23034 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 14.99 s
Current children cumulated vsize: 186836 KiB
Current children cumulated memory: 92136 KiB
[startup+25.5002 s]
/proc/loadavg: 6.61 2.77 1.09 9/256 119796
/proc/meminfo: memFree=122023016/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=186836 memory=100712 CPUtime=40.42 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 43827 0 0 0 4035 7 0 0 20 0 2 0 138912251 191320064 25178 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 46709 25178 3392 6655 0 25602 0
[pid=119793/tid=119796] ppid=119790 vsize=186836 memory=15616 CPUtime=15 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 13529 0 0 0 1498 2 0 0 20 0 2 0 138913254 191320064 25178 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 40.42 s
Current children cumulated vsize: 186836 KiB
Current children cumulated memory: 100712 KiB
[startup+51.1054 s]
/proc/loadavg: 7.21 3.28 1.32 9/256 119796
/proc/meminfo: memFree=121915684/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=229100 memory=141864 CPUtime=89.99 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 66717 0 0 0 8988 11 0 0 20 0 2 0 138912251 234598400 35466 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 57275 35466 3392 6655 0 36476 0
[pid=119793/tid=119796] ppid=119790 vsize=229100 memory=14468 CPUtime=39.26 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 20014 0 0 0 3923 3 0 0 20 0 2 0 138913254 234598400 35466 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 89.99 s
Current children cumulated vsize: 229100 KiB
Current children cumulated memory: 141864 KiB
[startup+102.3 s]
/proc/loadavg: 7.66 4.01 1.67 9/256 119798
/proc/meminfo: memFree=121728760/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=229100 memory=164008 CPUtime=191.7 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 98950 0 0 0 19156 14 0 0 20 0 2 0 138912251 234598400 41002 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 57275 41002 3392 6655 0 42549 0
[pid=119793/tid=119796] ppid=119790 vsize=229100 memory=160680 CPUtime=89.93 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 37805 0 0 0 8987 6 0 0 20 0 2 0 138913254 234598400 41002 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 191.7 s
Current children cumulated vsize: 229100 KiB
Current children cumulated memory: 164008 KiB
[startup+162.3 s]
/proc/loadavg: 7.98 4.77 2.08 9/256 119800
/proc/meminfo: memFree=121523468/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=235560 memory=187168 CPUtime=310.92 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 119578 0 0 0 31075 17 0 0 20 0 2 0 138912251 241213440 46792 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 58890 46792 3392 6655 0 47392 0
[pid=119793/tid=119796] ppid=119790 vsize=235560 memory=177440 CPUtime=149.31 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 47966 0 0 0 14924 7 0 0 20 0 2 0 138913254 241213440 46792 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 310.92 s
Current children cumulated vsize: 235560 KiB
Current children cumulated memory: 187168 KiB
[startup+222.3 s]
/proc/loadavg: 8.04 5.38 2.46 9/254 119802
/proc/meminfo: memFree=121169008/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=320756 memory=228640 CPUtime=430.14 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 131756 0 0 0 42994 20 0 0 20 0 2 0 138912251 328454144 57160 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 80189 57160 3392 6655 0 57707 0
[pid=119793/tid=119796] ppid=119790 vsize=320756 memory=217248 CPUtime=208.7 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 54256 0 0 0 20861 9 0 0 20 0 2 0 138913254 328454144 57160 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 430.14 s
Current children cumulated vsize: 320756 KiB
Current children cumulated memory: 228640 KiB
[startup+282.3 s]
/proc/loadavg: 8.06 5.87 2.81 9/254 119804
/proc/meminfo: memFree=120785596/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=340124 memory=255264 CPUtime=549.37 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 157811 0 0 0 54913 24 0 0 20 0 2 0 138912251 348286976 63816 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 85031 63816 3392 6655 0 65151 0
[pid=119793/tid=119796] ppid=119790 vsize=340124 memory=246816 CPUtime=268.1 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 67130 0 0 0 26799 11 0 0 20 0 2 0 138913254 348286976 63816 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 549.37 s
Current children cumulated vsize: 340124 KiB
Current children cumulated memory: 255264 KiB
[startup+342.3 s]
/proc/loadavg: 8.08 6.28 3.15 9/255 119807
/proc/meminfo: memFree=120412880/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=357976 memory=294176 CPUtime=668.59 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 171789 0 0 0 66832 27 0 0 20 0 2 0 138912251 366567424 73544 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 89494 73544 3392 6655 0 75543 0
[pid=119793/tid=119796] ppid=119790 vsize=357976 memory=286112 CPUtime=327.48 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 74795 0 0 0 32735 13 0 0 20 0 2 0 138913254 366567424 73544 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 668.59 s
Current children cumulated vsize: 357976 KiB
Current children cumulated memory: 294176 KiB
################
# More data... #
################
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 112020 0 0 0 68357 23 0 0 20 0 2 0 138913254 586706944 116809 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1383.9 s
Current children cumulated vsize: 572956 KiB
Current children cumulated memory: 467236 KiB
[startup+762.3 s]
/proc/loadavg: 8.10 7.66 4.96 9/254 119828
/proc/meminfo: memFree=118037956/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=585040 memory=490788 CPUtime=1503.12 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 249998 0 0 0 150266 46 0 0 20 0 2 0 138912251 599080960 122697 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 146260 122697 3392 6655 0 123825 0
[pid=119793/tid=119796] ppid=119790 vsize=585040 memory=488740 CPUtime=743.19 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 114983 0 0 0 74295 24 0 0 20 0 2 0 138913254 599080960 122697 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1503.12 s
Current children cumulated vsize: 585040 KiB
Current children cumulated memory: 490788 KiB
[startup+822.3 s]
/proc/loadavg: 8.09 7.74 5.16 9/254 119830
/proc/meminfo: memFree=117671068/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=620712 memory=528932 CPUtime=1622.36 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 259927 0 0 0 162187 49 0 0 20 0 2 0 138912251 635609088 132233 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 155178 132233 3392 6655 0 136564 0
[pid=119793/tid=119796] ppid=119790 vsize=620712 memory=513316 CPUtime=802.59 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 119168 0 0 0 80234 25 0 0 20 0 2 0 138913254 635609088 132233 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1622.36 s
Current children cumulated vsize: 620712 KiB
Current children cumulated memory: 528932 KiB
[startup+882.3 s]
/proc/loadavg: 8.07 7.80 5.35 9/255 119833
/proc/meminfo: memFree=117264088/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=670876 memory=606088 CPUtime=1741.59 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 289458 0 0 0 174104 55 0 0 20 0 2 0 138912251 686977024 151522 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 167719 151522 3392 6655 0 157950 0
[pid=119793/tid=119796] ppid=119790 vsize=670876 memory=513316 CPUtime=861.99 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 133875 0 0 0 86171 28 0 0 20 0 2 0 138913254 686977024 151522 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1741.59 s
Current children cumulated vsize: 670876 KiB
Current children cumulated memory: 606088 KiB
[startup+942.3 s]
/proc/loadavg: 8.06 7.86 5.52 9/255 119835
/proc/meminfo: memFree=116852312/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=771920 memory=677736 CPUtime=1860.82 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 314138 0 0 0 186021 61 0 0 20 0 2 0 138912251 790446080 169434 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 192980 169434 3392 6655 0 174910 0
[pid=119793/tid=119796] ppid=119790 vsize=771920 memory=663400 CPUtime=921.38 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 145693 0 0 0 92107 31 0 0 20 0 2 0 138913254 790446080 169434 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1860.82 s
Current children cumulated vsize: 771920 KiB
Current children cumulated memory: 677736 KiB
[startup+1002.3 s]
/proc/loadavg: 8.06 7.90 5.68 9/255 119837
/proc/meminfo: memFree=116453772/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=801448 memory=744468 CPUtime=1980.03 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 339356 0 0 0 197938 65 0 0 20 0 2 0 138912251 820682752 186117 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 200362 186117 3392 6655 0 189722 0
[pid=119793/tid=119796] ppid=119790 vsize=801448 memory=744340 CPUtime=980.78 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 159790 0 0 0 98044 34 0 0 20 0 2 0 138913254 820682752 186117 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1980.03 s
Current children cumulated vsize: 801448 KiB
Current children cumulated memory: 744468 KiB
[startup+1019.56 s]
# the end of solver process 119793 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2010.73 s, system=0.744253 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1011.2 s]
/proc/loadavg: 8.13 7.92 5.72 9/255 119837
/proc/meminfo: memFree=116402592/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=872280 memory=754672 CPUtime=1997.72 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 343024 0 0 0 199706 66 0 0 20 0 2 0 138912251 893214720 188668 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 218070 188668 3392 6655 0 192107 0
[pid=119793/tid=119796] ppid=119790 vsize=872280 memory=5632 CPUtime=989.58 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 161794 0 0 0 98924 34 0 0 20 0 2 0 138913254 893214720 188668 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 1997.72 s
Current children cumulated vsize: 872280 KiB
Current children cumulated memory: 754672 KiB
[startup+1014.4 s]
/proc/loadavg: 8.13 7.92 5.72 9/255 119837
/proc/meminfo: memFree=116365748/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=767416 CPUtime=2004.07 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 344916 0 0 0 200341 66 0 0 20 0 2 0 138912251 901750784 191854 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 191854 3392 6655 0 194804 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=752532 CPUtime=992.75 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) R 119790 119793 119344 0 -1 4194368 162536 0 0 0 99241 34 0 0 20 0 2 0 138913254 901750784 191854 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2004.07 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 767416 KiB
[startup+1017.6 s]
/proc/loadavg: 8.12 7.92 5.73 8/255 119837
/proc/meminfo: memFree=116356956/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=769592 CPUtime=2009.52 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 401171 0 0 0 200882 70 0 0 20 0 2 0 138912251 901750784 192398 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 192398 3392 6655 0 195351 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=763552 CPUtime=995 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) S 119790 119793 119344 0 -1 4194368 218343 0 0 0 99463 37 0 0 20 0 2 0 138913254 901750784 192398 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2009.52 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 769592 KiB
[startup+1018.4 s]
/proc/loadavg: 8.12 7.92 5.73 8/255 119837
/proc/meminfo: memFree=116351104/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=771760 CPUtime=2010.31 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 401209 0 0 0 200961 70 0 0 20 0 2 0 138912251 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 192940 3392 6655 0 195351 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=0 CPUtime=995 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) S 119790 119793 119344 0 -1 4194368 218343 0 0 0 99463 37 0 0 20 0 2 0 138913254 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2010.31 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 771760 KiB
[startup+1019.2 s]
/proc/loadavg: 8.12 7.92 5.73 8/255 119837
/proc/meminfo: memFree=116340272/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=771760 CPUtime=2011.11 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 401220 0 0 0 201041 70 0 0 20 0 2 0 138912251 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 192940 3392 6655 0 195351 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=771760 CPUtime=995 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) S 119790 119793 119344 0 -1 4194368 218343 0 0 0 99463 37 0 0 20 0 2 0 138913254 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2011.11 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 771760 KiB
[startup+1019.4 s]
/proc/loadavg: 8.12 7.92 5.73 8/255 119837
/proc/meminfo: memFree=116340272/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=771760 CPUtime=2011.31 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 401223 0 0 0 201061 70 0 0 20 0 2 0 138912251 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 192940 3392 6655 0 195351 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=5632 CPUtime=995 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) S 119790 119793 119344 0 -1 4194368 218343 0 0 0 99463 37 0 0 20 0 2 0 138913254 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2011.31 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 771760 KiB
[startup+1019.5 s]
/proc/loadavg: 8.12 7.92 5.73 8/255 119837
/proc/meminfo: memFree=116340272/131382112 swapFree=33000116/33010684
[pid=119793] ppid=119790 vsize=880616 memory=771760 CPUtime=2011.41 cores=5,7
/proc/119793/stat : 119793 (LSIPExact) R 119790 119793 119344 0 -1 4194304 401227 0 0 0 201071 70 0 0 20 0 2 0 138912251 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
/proc/119793/statm: 220154 192940 3392 6655 0 195351 0
[pid=119793/tid=119796] ppid=119790 vsize=880616 memory=768824 CPUtime=995 cores=5,7
/proc/119793/task/119796/stat : 119796 (LSIPExact) S 119790 119793 119344 0 -1 4194368 218343 0 0 0 99463 37 0 0 20 0 2 0 138913254 901750784 192940 18446744073709551615 94312111415296 94312138672465 140728174212048 0 0 0 0 0 16386 1 0 0 -1 7 0 0 0 0 0 94312147174536 94312147606144 94312176406528 140728174213464 140728174213640 140728174213640 140728174219244 0
Current children cumulated CPU time: 2011.41 s
Current children cumulated vsize: 880616 KiB
Current children cumulated memory: 771760 KiB
Child status: 0
Real time (s): 1019.56
CPU time (s): 2011.48
CPU user time (s): 2010.73
CPU system time (s): 0.744253
CPU usage (%): 197.29
Max. virtual memory (cumulated for all children) (KiB): 880616
Max. memory (cumulated for all children) (KiB): 771760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2010.73
system time used= 0.744253
maximum resident set size= 771760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 404827
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= 378
involuntary context switches= 62310
# summary of solver processes directly reported to runsolver:
# pid: 119793
# total CPU time (s): 2011.48
# total CPU user time (s): 2010.73
# total CPU system time (s): 0.744253
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04389 second user time and 4.75774 second system time
The end
Begin job on nodeC007 at 2025-07-11 13:12:11
IDJOB=4527489
IDBENCH=148775
IDSOLVER=3384
FILE ID=nodeC007/4527489-1752232331
RUNJOBID= nodeC007-1752232205-119364
SLURM_JOB_ID= 9682518
Free space on /tmp= 430904 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4527489-1752232331/watcher-4527489-1752232331 -o /tmp/evaluation-result-4527489-1752232331/solver-4527489-1752232331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1752232205-119364 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4527489-1752232331.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=1473383805
nodeC007 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 : 3591.579
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.68
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 : 3591.611
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.68
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 : 3591.608
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.68
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 : 3591.601
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.68
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 : 3491.938
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.68
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.588
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.68
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 : 2494.094
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.68
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.200
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 122213940 kB
MemAvailable: 127228596 kB
Buffers: 16 kB
Cached: 5680780 kB
SwapCached: 2804 kB
Active: 2938176 kB
Inactive: 5410408 kB
Active(anon): 2644712 kB
Inactive(anon): 35088 kB
Active(file): 293464 kB
Inactive(file): 5375320 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33000116 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45116 kB
Writeback: 4 kB
AnonPages: 2664784 kB
Mapped: 136324 kB
Shmem: 12012 kB
KReclaimable: 371000 kB
Slab: 463496 kB
SReclaimable: 371000 kB
SUnreclaim: 92496 kB
KernelStack: 4112 kB
PageTables: 8320 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 3051908 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 757760 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430860 MiB
End job on nodeC007 at 2025-07-11 13:29:11