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 (63067 MiB free)
memory of node 1: 64465 MiB (63805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512285-1751273677/watcher-4512285-1751273677 -o /tmp/evaluation-result-4512285-1751273677/solver-4512285-1751273677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751270066-35369 --watchdog 3760 HOME/opbsolver HOME/instance-4512285-1751273677.opb 3600 31000 HOME HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=35876, runsolver pid=35873
[startup+0.100103 s]*
/proc/loadavg: 4.19 4.15 4.18 5/254 35880
/proc/meminfo: memFree=129894332/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=39368 memory=28672 CPUtime=0.08 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 4972 0 0 0 7 1 0 0 20 0 1 0 43046841 40312832 7168 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 9842 7168 2432 2826 0 6454 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 43560 KiB
Current children cumulated memory: 31616 KiB
[startup+0.213968 s]*
/proc/loadavg: 4.19 4.15 4.18 5/254 35880
/proc/meminfo: memFree=129894332/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=45632 memory=35200 CPUtime=0.19 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 6534 0 0 0 17 2 0 0 20 0 1 0 43046841 46727168 8800 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 11408 8800 2496 2826 0 8020 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49824 KiB
Current children cumulated memory: 38144 KiB
[startup+0.31401 s]*
/proc/loadavg: 4.19 4.15 4.18 5/254 35880
/proc/meminfo: memFree=129886268/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=55428 memory=40620 CPUtime=0.29 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 8053 0 0 0 26 3 0 0 20 0 1 0 43046841 56758272 10155 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 13857 10155 2528 2826 0 10469 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 59620 KiB
Current children cumulated memory: 43564 KiB
[startup+0.700396 s]
/proc/loadavg: 4.19 4.15 4.18 5/254 35880
/proc/meminfo: memFree=129878380/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=68420 memory=53180 CPUtime=0.66 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 11343 0 0 0 62 4 0 0 20 0 1 0 43046841 70062080 13295 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 17105 13295 2656 2826 0 13717 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 72612 KiB
Current children cumulated memory: 56124 KiB
[startup+1.50039 s]
/proc/loadavg: 4.19 4.15 4.18 5/254 35880
/proc/meminfo: memFree=129875356/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=68924 memory=53948 CPUtime=1.46 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 11526 0 0 0 142 4 0 0 20 0 1 0 43046841 70578176 13487 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 17231 13487 2656 2826 0 13843 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73116 KiB
Current children cumulated memory: 56892 KiB
[startup+3.11345 s]
/proc/loadavg: 4.17 4.14 4.18 5/254 35880
/proc/meminfo: memFree=129833792/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=98616 memory=79244 CPUtime=3.06 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 20463 0 0 0 301 5 0 0 20 0 1 0 43046841 100982784 19811 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 24654 19811 2688 2826 0 21266 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 102808 KiB
Current children cumulated memory: 82188 KiB
[startup+6.30039 s]
/proc/loadavg: 4.17 4.14 4.18 5/254 35881
/proc/meminfo: memFree=129833792/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=102040 memory=79884 CPUtime=6.24 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 20621 0 0 0 619 5 0 0 20 0 1 0 43046841 104488960 19971 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 25510 19971 2688 2826 0 22122 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 106232 KiB
Current children cumulated memory: 82828 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.14 4.18 5/254 35881
/proc/meminfo: memFree=129802044/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=129364 memory=105868 CPUtime=12.62 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 27153 0 0 0 1255 7 0 0 20 0 1 0 43046841 132468736 26467 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 32341 26467 2688 2826 0 28953 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 133556 KiB
Current children cumulated memory: 108812 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.18 5/254 35881
/proc/meminfo: memFree=129770804/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=129364 memory=105996 CPUtime=25.39 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 27158 0 0 0 2532 7 0 0 20 0 1 0 43046841 132468736 26499 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 32341 26499 2688 2826 0 28953 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 133556 KiB
Current children cumulated memory: 108940 KiB
[startup+51.1137 s]
/proc/loadavg: 4.20 4.16 4.18 5/255 35938
/proc/meminfo: memFree=129756200/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=131000 memory=107916 CPUtime=50.91 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 27665 0 0 0 5084 7 0 0 20 0 1 0 43046841 134144000 26979 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 32750 26979 2688 2826 0 29362 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 135192 KiB
Current children cumulated memory: 110860 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.14 4.18 5/255 35940
/proc/meminfo: memFree=129580808/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=159896 memory=117132 CPUtime=101.93 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 30003 0 0 0 10185 8 0 0 20 0 1 0 43046841 163733504 29283 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 39974 29283 2688 2826 0 36586 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 164088 KiB
Current children cumulated memory: 120076 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.18 5/255 35995
/proc/meminfo: memFree=129498008/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=209564 memory=141964 CPUtime=161.73 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 36232 0 0 0 16164 9 0 0 20 0 1 0 43046841 214593536 35491 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 52391 35491 2688 2826 0 49003 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 213756 KiB
Current children cumulated memory: 144908 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/255 35997
/proc/meminfo: memFree=129414076/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=216448 memory=151436 CPUtime=221.54 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 36640 0 0 0 22145 9 0 0 20 0 1 0 43046841 221642752 37859 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 54112 37859 2720 2826 0 50724 0
Current children cumulated CPU time: 221.54 s
################
# More data... #
################
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 45496 0 0 0 40094 11 0 0 20 0 1 0 43046841 265609216 60793 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 64846 60793 2720 2826 0 61458 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 263576 KiB
Current children cumulated memory: 246116 KiB
[startup+462.3 s]
/proc/loadavg: 4.19 4.25 4.21 5/254 36073
/proc/meminfo: memFree=129511968/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 261 237 0 0 0 0 0 0 20 0 1 0 43046838 4292608 736 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 736 672 219 0 110 0
[pid=35880] ppid=35876 vsize=280252 memory=256228 CPUtime=460.89 cores=4,6
/proc/35880/stat : 35880 (pbcpreprocessor) R 35876 35876 34980 0 -1 4194304 48774 0 0 0 46078 11 0 0 20 0 1 0 43046841 286978048 64057 18446744073709551615 4198400 15773533 140735485398080 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 17968456 18061744 38227968 140735485401412 140735485401566 140735485401566 140735485407173 0
/proc/35880/statm: 70063 64057 2720 2826 0 66675 0
Current children cumulated CPU time: 460.89 s
Current children cumulated vsize: 284444 KiB
Current children cumulated memory: 259172 KiB
[startup+522.3 s]
/proc/loadavg: 4.17 4.23 4.21 5/255 36086
/proc/meminfo: memFree=130013764/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=63760 memory=58008 CPUtime=22.03 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 14661 0 0 0 2201 2 0 0 20 0 1 0 43096859 65290240 14502 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 15940 14502 448 424 0 15395 0
Current children cumulated CPU time: 520.72 s
Current children cumulated vsize: 67952 KiB
Current children cumulated memory: 61080 KiB
[startup+582.3 s]
/proc/loadavg: 4.66 4.36 4.26 5/254 36088
/proc/meminfo: memFree=130032768/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=63760 memory=58520 CPUtime=81.88 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 14678 0 0 0 8185 3 0 0 20 0 1 0 43096859 65290240 14630 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 15940 14630 448 424 0 15395 0
Current children cumulated CPU time: 580.57 s
Current children cumulated vsize: 67952 KiB
Current children cumulated memory: 61592 KiB
[startup+634.623 s]
# the end of solver process 35876 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=632.591 s, system=0.201676 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.80 4.40 4.27 5/254 36088
/proc/meminfo: memFree=130032772/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=63760 memory=58520 CPUtime=88.36 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 14678 0 0 0 8833 3 0 0 20 0 1 0 43096859 65290240 14630 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 15940 14630 448 424 0 15395 0
Current children cumulated CPU time: 587.05 s
Current children cumulated vsize: 67952 KiB
Current children cumulated memory: 61592 KiB
[startup+614.4 s]
/proc/loadavg: 4.52 4.37 4.26 5/254 36088
/proc/meminfo: memFree=130029284/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=66252 memory=61080 CPUtime=113.9 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 15328 0 0 0 11387 3 0 0 20 0 1 0 43096859 67842048 15270 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 16563 15270 448 424 0 16018 0
Current children cumulated CPU time: 612.59 s
Current children cumulated vsize: 70444 KiB
Current children cumulated memory: 64152 KiB
[startup+627.2 s]
/proc/loadavg: 4.44 4.35 4.26 5/254 36089
/proc/meminfo: memFree=130025268/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69064 memory=63768 CPUtime=126.67 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 15991 0 0 0 12664 3 0 0 20 0 1 0 43096859 70721536 15942 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17266 15942 448 424 0 16721 0
Current children cumulated CPU time: 625.36 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 66840 KiB
[startup+630.4 s]
/proc/loadavg: 4.41 4.35 4.26 5/254 36089
/proc/meminfo: memFree=130025268/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69064 memory=63768 CPUtime=129.86 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 15998 0 0 0 12983 3 0 0 20 0 1 0 43096859 70721536 15942 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17266 15942 448 424 0 16721 0
Current children cumulated CPU time: 628.55 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 66840 KiB
[startup+632 s]*
/proc/loadavg: 4.41 4.35 4.26 5/254 36089
/proc/meminfo: memFree=130025268/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69204 memory=63768 CPUtime=131.47 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 16009 0 0 0 13144 3 0 0 20 0 1 0 43096859 70864896 15942 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17301 15942 448 424 0 16756 0
Current children cumulated CPU time: 630.16 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 66840 KiB
[startup+633.6 s]
/proc/loadavg: 4.45 4.36 4.26 5/254 36089
/proc/meminfo: memFree=130025268/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69204 memory=63768 CPUtime=133.05 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 16011 0 0 0 13302 3 0 0 20 0 1 0 43096859 70864896 15942 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17301 15942 448 424 0 16756 0
Current children cumulated CPU time: 631.74 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 66840 KiB
[startup+634.4 s]
/proc/loadavg: 4.45 4.36 4.26 5/254 36089
/proc/meminfo: memFree=130025284/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69204 memory=63896 CPUtime=133.85 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 16027 0 0 0 13382 3 0 0 20 0 1 0 43096859 70864896 15974 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17301 15974 448 424 0 16756 0
Current children cumulated CPU time: 632.54 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 66968 KiB
[startup+634.6 s]
/proc/loadavg: 4.45 4.36 4.26 5/254 36089
/proc/meminfo: memFree=130025284/131382120 swapFree=33010160/33010684
[pid=35876] ppid=35873 vsize=4192 memory=3072 CPUtime=498.69 cores=4,6
/proc/35876/stat : 35876 (opbsolver) S 35873 35876 34980 0 -1 4194304 408 51172 0 0 0 0 49854 15 20 0 1 0 43046838 4292608 768 18446744073709551615 94095052435456 94095053329989 140720920516144 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94095053569040 94095053616784 94095074840576 140720920525086 140720920525289 140720920525289 140720920530891 0
/proc/35876/statm: 1048 768 704 219 0 110 0
[pid=36085] ppid=35876 vsize=69204 memory=63896 CPUtime=134.05 cores=4,6
/proc/36085/stat : 36085 (wmaxcdcl) R 35876 35876 34980 0 -1 4194304 16027 0 0 0 13402 3 0 0 20 0 1 0 43096859 70864896 15974 18446744073709551615 4198400 5932793 140728217272256 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 6359800 6411760 31080448 140728217278811 140728217278956 140728217278956 140728217284556 0
/proc/36085/statm: 17301 15974 448 424 0 16756 0
Current children cumulated CPU time: 632.74 s
Current children cumulated vsize: 73396 KiB
Current children cumulated memory: 66968 KiB
Child status: 0
Real time (s): 634.623
CPU time (s): 632.793
CPU user time (s): 632.591
CPU system time (s): 0.201676
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 285188
Max. memory (cumulated for all children) (KiB): 259172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 632.591
system time used= 0.201676
maximum resident set size= 256228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 506
involuntary context switches= 550
# summary of solver processes directly reported to runsolver:
# pid: 35876
# total CPU time (s): 632.793
# total CPU user time (s): 632.591
# total CPU system time (s): 0.201676
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.49634 second user time and 6.34102 second system time
The end
Begin job on nodeC008 at 2025-06-30 10:54:37
IDJOB=4512285
IDBENCH=160589
IDSOLVER=3374
FILE ID=nodeC008/4512285-1751273677
RUNJOBID= nodeC008-1751270066-35369
SLURM_JOB_ID= 9594175
Free space on /tmp= 433000 MiB
SOLVER NAME= WMaxCDCL-SCIP 2025-06-21
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.opb
COMMAND LINE= DIR/opbsolver BENCHNAME TIMELIMIT MEMLIMIT TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512285-1751273677/watcher-4512285-1751273677 -o /tmp/evaluation-result-4512285-1751273677/solver-4512285-1751273677 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751270066-35369 --watchdog 3760 HOME/opbsolver HOME/instance-4512285-1751273677.opb 3600 31000 HOME HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2179c39982001565062a192c7c3e045
RANDOM SEED=577536772
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.071
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 2693.718
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.725
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.455
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.814
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.211
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.520
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 129918208 kB
MemAvailable: 129659132 kB
Buffers: 2144 kB
Cached: 551580 kB
SwapCached: 4 kB
Active: 559248 kB
Inactive: 335780 kB
Active(anon): 322488 kB
Inactive(anon): 36732 kB
Active(file): 236760 kB
Inactive(file): 299048 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 61944 kB
Writeback: 8 kB
AnonPages: 344796 kB
Mapped: 126072 kB
Shmem: 17916 kB
KReclaimable: 89484 kB
Slab: 171360 kB
SReclaimable: 89484 kB
SUnreclaim: 81876 kB
KernelStack: 4080 kB
PageTables: 3712 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 696336 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149496 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC008 at 2025-06-30 11:05:12