runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61959 MiB free)
memory of node 1: 64465 MiB (63196 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542285-1753215974/watcher-4542285-1753215974 -o /tmp/evaluation-result-4542285-1753215974/solver-4542285-1753215974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753209940-166614 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542285-1753215974.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=167267, runsolver pid=167264
[startup+0.100063 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=128119828/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=85572 memory=42752 CPUtime=0.08 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 9705 0 0 0 7 1 0 0 20 0 1 0 237274039 87625728 10688 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 21393 10688 1152 6655 0 11628 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 85572 KiB
Current children cumulated memory: 42752 KiB
[startup+0.2056 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=127940880/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=269596 memory=235000 CPUtime=0.19 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 26595 0 0 0 13 6 0 0 20 0 1 0 237274039 276066304 58750 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 67399 58750 1152 6655 0 57634 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 269596 KiB
Current children cumulated memory: 235000 KiB
[startup+0.30554 s]*
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=127860240/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=350512 memory=315896 CPUtime=0.3 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 46825 0 0 0 21 9 0 0 20 0 1 0 237274039 358924288 78974 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 87628 78974 1152 6655 0 77863 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 350512 KiB
Current children cumulated memory: 315896 KiB
[startup+0.700179 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=127718928/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=590160 memory=554980 CPUtime=0.68 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 100956 0 0 0 51 17 0 0 20 0 1 0 237274039 604323840 138745 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 147540 138745 1152 6655 0 137775 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 590160 KiB
Current children cumulated memory: 554980 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=127622032/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=590160 memory=554980 CPUtime=1.48 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 100956 0 0 0 131 17 0 0 20 0 1 0 237274039 604323840 138745 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 147540 138745 1152 6655 0 137775 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 590160 KiB
Current children cumulated memory: 554980 KiB
[startup+3.10541 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 167268
/proc/meminfo: memFree=127622256/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=590160 memory=554980 CPUtime=3.08 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 101025 0 0 0 291 17 0 0 20 0 1 0 237274039 604323840 138745 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 147540 138745 1152 6655 0 137775 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 590160 KiB
Current children cumulated memory: 554980 KiB
[startup+6.30016 s]
/proc/loadavg: 4.16 4.10 4.09 5/265 167268
/proc/meminfo: memFree=127622320/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=590160 memory=554980 CPUtime=6.27 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 101139 0 0 0 609 18 0 0 20 0 1 0 237274039 604323840 138745 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 147540 138745 1152 6655 0 137775 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 590160 KiB
Current children cumulated memory: 554980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 167269
/proc/meminfo: memFree=127073324/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=1830256 memory=1517128 CPUtime=12.66 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 196126 0 0 0 1219 47 0 0 20 0 2 0 237274039 1874182144 379282 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 457564 379282 2848 6655 0 431447 0
[pid=167267/tid=167269] ppid=167264 vsize=1830256 memory=1049700 CPUtime=0 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) S 167264 167267 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237275102 1874182144 379282 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1830256 KiB
Current children cumulated memory: 1517128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 167269
/proc/meminfo: memFree=126447688/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=2066376 memory=1724160 CPUtime=25.42 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 264659 0 0 0 2475 67 0 0 20 0 2 0 237274039 2115969024 431040 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 516594 431040 2880 6655 0 490477 0
[pid=167267/tid=167269] ppid=167264 vsize=2066376 memory=1716284 CPUtime=0 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) S 167264 167267 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237275102 2115969024 431040 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2066376 KiB
Current children cumulated memory: 1724160 KiB
[startup+51.1055 s]
/proc/loadavg: 4.07 4.09 4.09 5/267 167271
/proc/meminfo: memFree=126431372/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=2084064 memory=1742080 CPUtime=50.96 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 275612 0 0 0 5028 68 0 0 20 0 2 0 237274039 2134081536 435520 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 521016 435520 2880 6655 0 494899 0
[pid=167267/tid=167269] ppid=167264 vsize=2084064 memory=14248 CPUtime=0 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) S 167264 167267 166602 0 -1 4194368 1 0 0 0 0 0 0 0 20 0 2 0 237275102 2134081536 435520 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2084064 KiB
Current children cumulated memory: 1742080 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 4.15 4.11 6/267 167273
/proc/meminfo: memFree=124893804/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3841668 memory=3286532 CPUtime=121.66 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 514180 0 0 0 12032 134 0 0 20 0 2 0 237274039 3933868032 821633 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 960417 821633 3360 6655 0 945547 0
[pid=167267/tid=167269] ppid=167264 vsize=3841668 memory=2386624 CPUtime=23.95 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) R 167264 167267 166602 0 -1 4194368 94851 0 0 0 2367 28 0 0 20 0 2 0 237275102 3933868032 821633 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 121.66 s
Current children cumulated vsize: 3841668 KiB
Current children cumulated memory: 3286532 KiB
[startup+162.3 s]
/proc/loadavg: 4.82 4.33 4.17 6/268 167276
/proc/meminfo: memFree=124504720/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=4086692 memory=3637496 CPUtime=240.83 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 637178 0 0 0 23908 175 0 0 20 0 2 0 237274039 4184772608 909374 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 1021673 909374 3392 6655 0 1006803 0
[pid=167267/tid=167269] ppid=167264 vsize=4086692 memory=3355520 CPUtime=83.32 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) R 167264 167267 166602 0 -1 4194368 127820 0 0 0 8300 32 0 0 20 0 2 0 237275102 4184772608 909374 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 240.83 s
Current children cumulated vsize: 4086692 KiB
Current children cumulated memory: 3637496 KiB
[startup+222.3 s]
/proc/loadavg: 5.05 4.48 4.24 6/269 167281
/proc/meminfo: memFree=124527232/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=4039636 memory=3624720 CPUtime=360.01 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 721073 0 0 0 35811 190 0 0 20 0 2 0 237274039 4136587264 906180 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 1009909 906180 3392 6655 0 995039 0
[pid=167267/tid=167269] ppid=167264 vsize=4039636 memory=3623824 CPUtime=142.71 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) R 167264 167267 166602 0 -1 4194368 166686 0 0 0 14236 35 0 0 20 0 2 0 237275102 4136587264 906180 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 360.01 s
Current children cumulated vsize: 4039636 KiB
Current children cumulated memory: 3624720 KiB
[startup+282.3 s]
/proc/loadavg: 5.10 4.60 4.30 7/269 167333
/proc/meminfo: memFree=124684012/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=4039636 memory=3651932 CPUtime=479.19 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 771457 0 0 0 47719 200 0 0 20 0 2 0 237274039 4136587264 912983 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 1009909 912983 3392 6655 0 995039 0
[pid=167267/tid=167269] ppid=167264 vsize=4039636 memory=3651932 CPUtime=202.08 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) R 167264 167267 166602 0 -1 4194368 175837 0 0 0 20172 36 0 0 20 0 2 0 237275102 4136587264 912983 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 479.19 s
Current children cumulated vsize: 4039636 KiB
Current children cumulated memory: 3651932 KiB
[startup+342.3 s]
/proc/loadavg: 5.46 4.81 4.39 6/269 167380
/proc/meminfo: memFree=120997588/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=4088788 memory=3700988 CPUtime=598.35 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 833980 0 0 0 59630 205 0 0 20 0 2 0 237274039 4186918912 925247 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 1022197 925247 3392 6655 0 1007327 0
[pid=167267/tid=167269] ppid=167264 vsize=4088788 memory=3668220 CPUtime=261.46 cores=1,3
/proc/167267/task/167269/stat : 167269 (LSIPExact) R 167264 167267 166602 0 -1 4194368 210601 0 0 0 26108 38 0 0 20 0 2 0 237275102 4186918912 925247 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
Current children cumulated CPU time: 598.35 s
Current children cumulated vsize: 4088788 KiB
Current children cumulated memory: 3700988 KiB
################
# More data... #
################
Current children cumulated memory: 7809168 KiB
[startup+822.3 s]
/proc/loadavg: 4.37 4.83 4.62 5/269 167402
/proc/meminfo: memFree=114717184/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3421624 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855406 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855406 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4643604 memory=4407512 CPUtime=95.07 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 613483 0 0 0 9339 168 0 0 20 0 1 0 237346736 4755050496 1101878 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1160901 1101878 1120 1011 0 1159668 0
Current children cumulated CPU time: 1457.27 s
Current children cumulated vsize: 8376752 KiB
Current children cumulated memory: 7829136 KiB
[startup+882.3 s]
/proc/loadavg: 4.20 4.69 4.58 5/268 167408
/proc/meminfo: memFree=114661452/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3422008 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855502 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855502 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4643604 memory=4441724 CPUtime=154.92 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 614694 0 0 0 15322 170 0 0 20 0 1 0 237346736 4755050496 1110431 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1160901 1110431 1120 1011 0 1159668 0
Current children cumulated CPU time: 1517.12 s
Current children cumulated vsize: 8376752 KiB
Current children cumulated memory: 7863732 KiB
[startup+942.3 s]
/proc/loadavg: 4.12 4.58 4.55 5/268 167457
/proc/meminfo: memFree=112088036/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3422776 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855694 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855694 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4658368 memory=4487812 CPUtime=214.77 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 618019 0 0 0 21305 172 0 0 20 0 1 0 237346736 4770168832 1121953 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1164592 1121953 1120 1011 0 1163359 0
Current children cumulated CPU time: 1576.97 s
Current children cumulated vsize: 8391516 KiB
Current children cumulated memory: 7910588 KiB
[startup+1002.3 s]
/proc/loadavg: 4.56 4.61 4.56 6/268 167459
/proc/meminfo: memFree=105530412/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423416 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855854 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855854 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4687780 memory=4558184 CPUtime=274.59 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 623695 0 0 0 27285 174 0 0 20 0 1 0 237346736 4800286720 1139546 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1171945 1139546 1120 1011 0 1170712 0
Current children cumulated CPU time: 1636.79 s
Current children cumulated vsize: 8420928 KiB
Current children cumulated memory: 7981600 KiB
[startup+1059.63 s]
# the end of solver process 167267 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1688.79 s, system=5.16394 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024 s]*
/proc/loadavg: 4.69 4.64 4.57 6/268 167461
/proc/meminfo: memFree=105410708/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423416 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855854 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855854 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4689188 memory=4567700 CPUtime=296.22 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 624399 0 0 0 29448 174 0 0 20 0 1 0 237346736 4801728512 1141925 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1172297 1141925 1120 1011 0 1171064 0
Current children cumulated CPU time: 1658.42 s
Current children cumulated vsize: 8422336 KiB
Current children cumulated memory: 7991116 KiB
[startup+1036.8 s]
/proc/loadavg: 4.84 4.67 4.58 6/268 167461
/proc/meminfo: memFree=105395928/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423416 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855854 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855854 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4700664 memory=4585112 CPUtime=308.98 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 626475 0 0 0 30723 175 0 0 20 0 1 0 237346736 4813479936 1146278 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1175166 1146278 1120 1011 0 1173933 0
Current children cumulated CPU time: 1671.18 s
Current children cumulated vsize: 8433812 KiB
Current children cumulated memory: 8008528 KiB
[startup+1049.6 s]
/proc/loadavg: 4.86 4.69 4.59 6/267 167507
/proc/meminfo: memFree=105263940/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423544 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855886 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855886 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4708856 memory=4592832 CPUtime=321.74 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 626993 0 0 0 31998 176 0 0 20 0 1 0 237346736 4821868544 1148208 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1177214 1148208 1120 1011 0 1175981 0
Current children cumulated CPU time: 1683.94 s
Current children cumulated vsize: 8442004 KiB
Current children cumulated memory: 8016376 KiB
[startup+1056 s]*
/proc/loadavg: 4.80 4.68 4.59 5/268 167509
/proc/meminfo: memFree=106062360/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423544 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855886 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855886 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=4713664 memory=4610312 CPUtime=328.11 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 629851 0 0 0 32635 176 0 0 20 0 1 0 237346736 4826791936 1152578 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 1178416 1152578 1120 1011 0 1177183 0
Current children cumulated CPU time: 1690.31 s
Current children cumulated vsize: 8446812 KiB
Current children cumulated memory: 8033856 KiB
[startup+1057.6 s]
/proc/loadavg: 4.80 4.68 4.59 5/268 167509
/proc/meminfo: memFree=105554580/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423544 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855886 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855886 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=3566256 memory=3529944 CPUtime=329.71 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 632125 0 0 0 32794 177 0 0 20 0 1 0 237346736 3651846144 882486 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 891564 882486 1120 1011 0 890331 0
Current children cumulated CPU time: 1691.91 s
Current children cumulated vsize: 7299404 KiB
Current children cumulated memory: 6953488 KiB
[startup+1058.4 s]
/proc/loadavg: 4.80 4.68 4.59 5/268 167509
/proc/meminfo: memFree=106108764/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423544 CPUtime=1362.2 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) S 167264 167267 166602 0 -1 4194304 1234392 0 0 0 135903 317 0 0 20 0 1 0 237274039 3822743552 855886 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 1 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855886 3456 6655 0 919316 0
[pid=167396] ppid=167267 vsize=3175864 memory=3139472 CPUtime=330.5 cores=1,3
/proc/167396/stat : 167396 (Exact) R 167267 167396 167396 0 -1 4194304 632313 0 0 0 32873 177 0 0 20 0 1 0 237346736 3252084736 784868 18446744073709551615 4198400 8335837 140723767724176 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9148648 9230840 13799424 140723767732409 140723767732763 140723767732763 140723767738319 0
/proc/167396/statm: 793966 784868 1120 1011 0 792733 0
Current children cumulated CPU time: 1692.7 s
Current children cumulated vsize: 6909012 KiB
Current children cumulated memory: 6563016 KiB
[startup+1059.21 s]
/proc/loadavg: 4.80 4.68 4.59 5/268 167509
/proc/meminfo: memFree=106317028/131250000 swapFree=33008356/33010684
[pid=167267] ppid=167264 vsize=3733148 memory=3423544 CPUtime=1693.52 cores=1,3
/proc/167267/stat : 167267 (LSIPExact) R 167264 167267 166602 0 -1 4194304 1245147 632334 0 0 135904 318 32944 186 20 0 1 0 237274039 3822743552 855886 18446744073709551615 94395751317504 94395778574673 140737153094432 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 94395787076744 94395787508352 94395794640896 140737153100120 140737153100296 140737153100296 140737153105900 0
/proc/167267/statm: 933287 855886 3456 6655 0 919316 0
Current children cumulated CPU time: 1693.52 s
Current children cumulated vsize: 3733148 KiB
Current children cumulated memory: 3423544 KiB
[startup+1059.6 s]*
/proc/loadavg: 4.74 4.67 4.58 5/267 167509
/proc/meminfo: memFree=111016448/131250000 swapFree=33008356/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1059.63
CPU time (s): 1693.95
CPU user time (s): 1688.79
CPU system time (s): 5.16394
CPU usage (%): 159.862
Max. virtual memory (cumulated for all children) (KiB): 8459936
Max. memory (cumulated for all children) (KiB): 8046904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.79
system time used= 5.16394
maximum resident set size= 6546812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1962504
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= 305
involuntary context switches= 10222
# summary of solver processes directly reported to runsolver:
# pid: 167267
# total CPU time (s): 1693.95
# total CPU user time (s): 1688.79
# total CPU system time (s): 5.16394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.72437 second user time and 5.34788 second system time
The end
Begin job on nodeC014 at 2025-07-22 22:26:14
IDJOB=4542285
IDBENCH=163916
IDSOLVER=3384
FILE ID=nodeC014/4542285-1753215974
RUNJOBID= nodeC014-1753209940-166614
SLURM_JOB_ID= 9687781
Free space on /tmp= 432712 MiB
SOLVER NAME= LSIPExact S1
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
COMMAND LINE= ./LSIPExact --benchname=BENCHNAME --home=HOME --timeout=TIMEOUT --memlimit=MEMLIMIT --nbcore=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4542285-1753215974/watcher-4542285-1753215974 -o /tmp/evaluation-result-4542285-1753215974/solver-4542285-1753215974 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1753209940-166614 --watchdog 3760 ./LSIPExact --benchname=HOME/instance-4542285-1753215974.opb --home=HOME --timeout=3600 --memlimit=31000 --nbcore=2
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8324c3ed1748cac240c60f4c3727f95f
RANDOM SEED=235526823
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.126
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3630.902
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.124
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.095
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
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 : 3601.158
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128160084 kB
MemAvailable: 128760436 kB
Buffers: 696 kB
Cached: 1345768 kB
SwapCached: 1624 kB
Active: 1791192 kB
Inactive: 525760 kB
Active(anon): 969404 kB
Inactive(anon): 25696 kB
Active(file): 821788 kB
Inactive(file): 500064 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008356 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 64312 kB
Writeback: 0 kB
AnonPages: 970384 kB
Mapped: 158460 kB
Shmem: 24612 kB
KReclaimable: 235476 kB
Slab: 331700 kB
SReclaimable: 235476 kB
SUnreclaim: 96224 kB
KernelStack: 4320 kB
PageTables: 5216 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1401904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 882688 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432540 MiB
End job on nodeC014 at 2025-07-22 22:43:54