runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62451 MiB free)
memory of node 1: 64507 MiB (63721 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486320-1751307543/watcher-4486320-1751307543 -o /tmp/evaluation-result-4486320-1751307543/solver-4486320-1751307543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42551 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486320-1751307543.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=43738, runsolver pid=43735
[startup+0.100065 s]*
/proc/loadavg: 7.20 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129182784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=0.09 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4279 0 0 0 9 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.2056 s]*
/proc/loadavg: 7.20 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129182784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=0.19 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4279 0 0 0 19 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.305539 s]*
/proc/loadavg: 7.20 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129182784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=0.29 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4279 0 0 0 29 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+0.700199 s]
/proc/loadavg: 7.20 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129182784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=0.68 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4279 0 0 0 68 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+1.50019 s]
/proc/loadavg: 7.20 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129182784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=1.48 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4281 0 0 0 148 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+3.10537 s]
/proc/loadavg: 7.18 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129183036/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=3.08 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4281 0 0 0 308 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+6.30011 s]
/proc/loadavg: 7.18 7.08 6.84 8/266 43739
/proc/meminfo: memFree=129183528/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=55700 memory=21120 CPUtime=6.27 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 4281 0 0 0 627 0 0 0 20 0 1 0 46434578 57036800 5280 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 13925 5280 1152 6655 0 4160 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 55700 KiB
Current children cumulated memory: 21120 KiB
[startup+12.7002 s]
/proc/loadavg: 7.17 7.08 6.84 9/267 43740
/proc/meminfo: memFree=129108716/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=201624 memory=120592 CPUtime=15.07 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 26746 0 0 0 1502 5 0 0 20 0 2 0 46434578 206462976 30148 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 50406 30148 3328 6655 0 29584 0
[pid=43738/tid=43740] ppid=43735 vsize=201624 memory=117520 CPUtime=2.4 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 5140 0 0 0 240 0 0 0 20 0 2 0 46435582 206462976 30148 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 15.07 s
Current children cumulated vsize: 201624 KiB
Current children cumulated memory: 120592 KiB
[startup+25.5002 s]
/proc/loadavg: 7.35 7.12 6.86 9/267 43740
/proc/meminfo: memFree=129101752/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=206956 memory=127888 CPUtime=40.5 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 70049 0 0 0 4041 9 0 0 20 0 2 0 46434578 211922944 31972 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 51739 31972 3328 6655 0 30917 0
[pid=43738/tid=43740] ppid=43735 vsize=206956 memory=127504 CPUtime=15.07 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 16610 0 0 0 1505 2 0 0 20 0 2 0 46435582 211922944 31972 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 40.5 s
Current children cumulated vsize: 206956 KiB
Current children cumulated memory: 127888 KiB
[startup+51.1055 s]
/proc/loadavg: 7.64 7.21 6.90 9/267 43741
/proc/meminfo: memFree=129078760/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=206956 memory=134032 CPUtime=91.28 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 87224 0 0 0 9117 11 0 0 20 0 2 0 46434578 211922944 33508 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 51739 33508 3328 6655 0 32020 0
[pid=43738/tid=43740] ppid=43735 vsize=206956 memory=134032 CPUtime=40.35 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 24552 0 0 0 4032 3 0 0 20 0 2 0 46435582 211922944 33508 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 91.28 s
Current children cumulated vsize: 206956 KiB
Current children cumulated memory: 134032 KiB
[startup+102.3 s]
/proc/loadavg: 7.91 7.35 6.96 9/267 43742
/proc/meminfo: memFree=129060396/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=206956 memory=141200 CPUtime=192.97 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 112190 0 0 0 19282 15 0 0 20 0 2 0 46434578 211922944 35300 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 51739 35300 3328 6655 0 33794 0
[pid=43738/tid=43740] ppid=43735 vsize=206956 memory=139792 CPUtime=91.01 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 36271 0 0 0 9095 6 0 0 20 0 2 0 46435582 211922944 35300 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 192.97 s
Current children cumulated vsize: 206956 KiB
Current children cumulated memory: 141200 KiB
[startup+162.3 s]
/proc/loadavg: 7.74 7.42 7.01 8/266 43746
/proc/meminfo: memFree=128932424/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=226332 memory=179600 CPUtime=312.16 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 131181 0 0 0 31196 20 0 0 20 0 2 0 46434578 231763968 44900 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 56583 44900 3328 6655 0 43363 0
[pid=43738/tid=43740] ppid=43735 vsize=226332 memory=150288 CPUtime=150.39 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 46399 0 0 0 15030 9 0 0 20 0 2 0 46435582 231763968 44900 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 312.16 s
Current children cumulated vsize: 226332 KiB
Current children cumulated memory: 179600 KiB
[startup+222.3 s]
/proc/loadavg: 7.33 7.36 7.01 8/266 43748
/proc/meminfo: memFree=128828120/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=312252 memory=227856 CPUtime=431.34 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 148063 0 0 0 43111 23 0 0 20 0 2 0 46434578 319746048 56964 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 78063 56964 3328 6655 0 55276 0
[pid=43738/tid=43740] ppid=43735 vsize=312252 memory=14720 CPUtime=209.76 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 55144 0 0 0 20966 10 0 0 20 0 2 0 46435582 319746048 56964 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 431.34 s
Current children cumulated vsize: 312252 KiB
Current children cumulated memory: 227856 KiB
[startup+282.3 s]
/proc/loadavg: 7.17 7.31 7.01 8/267 43751
/proc/meminfo: memFree=128798556/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=315432 memory=230416 CPUtime=548.79 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 196666 0 0 0 54851 28 0 0 20 0 2 0 46434578 323002368 57604 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 78858 57604 3328 6655 0 56334 0
[pid=43738/tid=43740] ppid=43735 vsize=315432 memory=230416 CPUtime=267.43 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 71492 0 0 0 26731 12 0 0 20 0 2 0 46435582 323002368 57604 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 548.79 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 230416 KiB
[startup+342.3 s]
/proc/loadavg: 7.20 7.28 7.02 8/267 43753
/proc/meminfo: memFree=128755760/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=321644 memory=237968 CPUtime=667.91 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 221304 0 0 0 66760 31 0 0 20 0 2 0 46434578 329363456 59492 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 80411 59492 3328 6655 0 57887 0
[pid=43738/tid=43740] ppid=43735 vsize=321644 memory=230416 CPUtime=326.75 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 80735 0 0 0 32662 13 0 0 20 0 2 0 46435582 329363456 59492 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 667.91 s
Current children cumulated vsize: 321644 KiB
Current children cumulated memory: 237968 KiB
################
# More data... #
################
[pid=43738] ppid=43735 vsize=325164 memory=241936 CPUtime=2337.13 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228342 0 0 0 233676 37 0 0 20 0 2 0 46434578 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81291 60484 3328 6655 0 58767 0
[pid=43738/tid=43740] ppid=43735 vsize=325164 memory=14720 CPUtime=1158.32 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84594 0 0 0 115813 19 0 0 20 0 2 0 46435582 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2337.13 s
Current children cumulated vsize: 325164 KiB
Current children cumulated memory: 241936 KiB
[startup+1242.3 s]
/proc/loadavg: 8.20 7.59 7.23 9/269 43991
/proc/meminfo: memFree=128207152/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325164 memory=241936 CPUtime=2456.37 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228343 0 0 0 245600 37 0 0 20 0 2 0 46434578 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81291 60484 3328 6655 0 58767 0
[pid=43738/tid=43740] ppid=43735 vsize=325164 memory=13824 CPUtime=1217.71 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84595 0 0 0 121752 19 0 0 20 0 2 0 46435582 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2456.37 s
Current children cumulated vsize: 325164 KiB
Current children cumulated memory: 241936 KiB
[startup+1302.3 s]
/proc/loadavg: 8.13 7.68 7.28 9/267 43993
/proc/meminfo: memFree=127965820/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325164 memory=241936 CPUtime=2575.6 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228343 0 0 0 257523 37 0 0 20 0 2 0 46434578 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81291 60484 3328 6655 0 58767 0
[pid=43738/tid=43740] ppid=43735 vsize=325164 memory=241936 CPUtime=1277.09 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84595 0 0 0 127690 19 0 0 20 0 2 0 46435582 332967936 60484 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2575.6 s
Current children cumulated vsize: 325164 KiB
Current children cumulated memory: 241936 KiB
[startup+1362.3 s]
/proc/loadavg: 8.14 7.77 7.34 9/266 43995
/proc/meminfo: memFree=127766728/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242064 CPUtime=2694.85 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228384 0 0 0 269448 37 0 0 20 0 2 0 46434578 333111296 60516 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60516 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=241936 CPUtime=1336.48 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84595 0 0 0 133629 19 0 0 20 0 2 0 46435582 333111296 60516 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2694.85 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242064 KiB
[startup+1422.3 s]
/proc/loadavg: 8.15 7.85 7.40 9/266 43997
/proc/meminfo: memFree=127559376/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=2814.08 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228409 0 0 0 281371 37 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=241936 CPUtime=1395.87 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84595 0 0 0 139568 19 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2814.08 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1482.3 s]
/proc/loadavg: 8.10 7.89 7.44 9/266 43999
/proc/meminfo: memFree=127375728/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=2933.31 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 228759 0 0 0 293294 37 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=14720 CPUtime=1455.26 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84878 0 0 0 145507 19 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 2933.31 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1542.3 s]
/proc/loadavg: 8.10 7.93 7.48 9/266 44001
/proc/meminfo: memFree=127205824/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=3052.57 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 229206 0 0 0 305219 38 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=242192 CPUtime=1514.66 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84980 0 0 0 151446 20 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 3052.57 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1602.3 s]
/proc/loadavg: 8.10 7.96 7.52 9/267 44006
/proc/meminfo: memFree=127157796/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=3171.81 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 229207 0 0 0 317143 38 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=242192 CPUtime=1574.05 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84981 0 0 0 157385 20 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 3171.81 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1662.3 s]
/proc/loadavg: 8.08 7.99 7.56 9/267 44012
/proc/meminfo: memFree=127097320/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=3291.06 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 229207 0 0 0 329068 38 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=14720 CPUtime=1633.44 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 84981 0 0 0 163324 20 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 3291.06 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1722.3 s]
/proc/loadavg: 8.16 8.03 7.61 9/268 44015
/proc/meminfo: memFree=127039508/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=3410.31 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 229299 0 0 0 340992 39 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=242192 CPUtime=1692.84 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 85073 0 0 0 169263 21 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 3410.31 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
[startup+1782.3 s]
/proc/loadavg: 8.11 8.04 7.64 9/268 44017
/proc/meminfo: memFree=126939640/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=325304 memory=242192 CPUtime=3529.56 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) R 43735 43738 42536 0 -1 4194304 229464 0 0 0 352917 39 0 0 20 0 2 0 46434578 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 81326 60548 3328 6655 0 58802 0
[pid=43738/tid=43740] ppid=43735 vsize=325304 memory=242192 CPUtime=1752.22 cores=1,3
/proc/43738/task/43740/stat : 43740 (LSIPExact) R 43735 43738 42536 0 -1 4194368 85238 0 0 0 175201 21 0 0 20 0 2 0 46435582 333111296 60548 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
Current children cumulated CPU time: 3529.56 s
Current children cumulated vsize: 325304 KiB
Current children cumulated memory: 242192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1835.4 s]
/proc/loadavg: 7.81 7.97 7.64 8/268 44020
/proc/meminfo: memFree=126835784/131250000 swapFree=33010684/33010684
[pid=43738] ppid=43735 vsize=266544 memory=198460 CPUtime=3564.83 cores=1,3
/proc/43738/stat : 43738 (LSIPExact) S 43735 43738 42536 0 -1 4194304 233226 229 0 0 356444 39 0 0 20 0 1 0 46434578 272941056 49615 18446744073709551615 94383718518784 94383745775185 140736620905744 0 0 0 0 0 16386 1 0 0 17 1 0 0 0 0 0 94383754278024 94383754709632 94383784660992 140736620910938 140736620911114 140736620911114 140736620916716 0
/proc/43738/statm: 66636 49615 3360 6655 0 56849 0
[pid=44019] ppid=43738 vsize=95156 memory=79420 CPUtime=35.2 cores=1,3
/proc/44019/stat : 44019 (Exact) R 43738 44019 44019 0 -1 4194304 16451 0 0 0 3513 7 0 0 20 0 1 0 46614586 97439744 19855 18446744073709551615 4198400 8335837 140728194688368 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 21397504 140728194697396 140728194697757 140728194697757 140728194703311 0
/proc/44019/statm: 23789 19855 1120 1011 0 22556 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 361700 KiB
Current children cumulated memory: 277880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1835.43 s]
# the end of solver process 43738 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.487169 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1835.43
CPU time (s): 3600.08
CPU user time (s): 3599.59
CPU system time (s): 0.487169
CPU usage (%): 196.144
Max. virtual memory (cumulated for all children) (KiB): 361700
Max. memory (cumulated for all children) (KiB): 277880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.487169
maximum resident set size= 249104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251781
page faults= 0
swaps= 0
block input operations= 1792
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 599
involuntary context switches= 50044
# summary of solver processes directly reported to runsolver:
# pid: 43738
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.487169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56461 second user time and 7.71078 second system time
The end
Begin job on nodeC013 at 2025-06-30 20:19:03
IDJOB=4486320
IDBENCH=147018
IDSOLVER=3337
FILE ID=nodeC013/4486320-1751307543
RUNJOBID= nodeC013-1751302914-42551
SLURM_JOB_ID= 9594288
Free space on /tmp= 432924 MiB
SOLVER NAME= LSIPExact S2
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486320-1751307543/watcher-4486320-1751307543 -o /tmp/evaluation-result-4486320-1751307543/solver-4486320-1751307543 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751302914-42551 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4486320-1751307543.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1934767708
nodeC013 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 : 3599.848
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 : 6999.67
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.049
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 : 6999.67
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 : 3599.833
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 : 6999.67
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.325
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 : 6999.67
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 : 3599.849
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 : 6999.67
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 : 3599.830
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 : 6999.67
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 : 3599.867
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 : 6999.67
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 : 3599.833
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129201260 kB
MemAvailable: 129415196 kB
Buffers: 3280 kB
Cached: 1015432 kB
SwapCached: 0 kB
Active: 695148 kB
Inactive: 771796 kB
Active(anon): 461516 kB
Inactive(anon): 0 kB
Active(file): 233632 kB
Inactive(file): 771796 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 45308 kB
Writeback: 32 kB
AnonPages: 451308 kB
Mapped: 137128 kB
Shmem: 13284 kB
KReclaimable: 95096 kB
Slab: 182848 kB
SReclaimable: 95096 kB
SUnreclaim: 87752 kB
KernelStack: 4352 kB
PageTables: 4052 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 798656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 311296 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432880 MiB
End job on nodeC013 at 2025-06-30 20:49:39