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: 63968 MiB (62857 MiB free)
memory of node 1: 64473 MiB (63321 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450667-1721421158/watcher-4450667-1721421158 -o /tmp/evaluation-result-4450667-1721421158/solver-4450667-1721421158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721421170-1018800 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4450667-1721421158.opb 3600 HOME 31000
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1018860, runsolver pid=1018849
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.11 4.11 4.09 7/270 1018878
/proc/meminfo: memFree=129151340/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=35304 memory=16792 CPUtime=0.07 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 3689 0 0 0 7 0 0 0 20 0 1 0 194282825 36151296 4198 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 8826 4198 782 2417 0 5928 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 53896 KiB
Current children cumulated memory: 20480 KiB
[startup+0.207165 s]*
/proc/loadavg: 4.11 4.11 4.09 8/270 1018878
/proc/meminfo: memFree=129098760/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=40428 memory=25056 CPUtime=0.17 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 7018 0 0 0 17 0 0 0 20 0 1 0 194282825 41398272 6264 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 10107 6264 782 2417 0 7209 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 59020 KiB
Current children cumulated memory: 28744 KiB
[startup+0.307 s]*
/proc/loadavg: 4.10 4.11 4.09 5/270 1018878
/proc/meminfo: memFree=129104944/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=40428 memory=25436 CPUtime=0.27 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 7089 0 0 0 27 0 0 0 20 0 1 0 194282825 41398272 6359 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 10107 6359 814 2417 0 7209 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 59020 KiB
Current children cumulated memory: 29124 KiB
[startup+0.700275 s]
/proc/loadavg: 4.10 4.11 4.09 7/270 1018878
/proc/meminfo: memFree=129096320/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=43108 memory=28272 CPUtime=0.66 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 7279 0 0 0 66 0 0 0 20 0 1 0 194282825 44142592 7068 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 10777 7068 814 2417 0 7879 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 61700 KiB
Current children cumulated memory: 31960 KiB
[startup+1.50031 s]
/proc/loadavg: 4.10 4.11 4.09 7/270 1018878
/proc/meminfo: memFree=129084240/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=50204 memory=34280 CPUtime=1.46 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 8296 0 0 0 146 0 0 0 20 0 1 0 194282825 51408896 8570 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 12551 8570 814 2417 0 9653 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 68796 KiB
Current children cumulated memory: 37968 KiB
[startup+3.10703 s]
/proc/loadavg: 4.10 4.11 4.09 7/270 1018880
/proc/meminfo: memFree=129073580/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=45852 memory=31164 CPUtime=3.07 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 9122 0 0 0 306 1 0 0 20 0 1 0 194282825 46952448 7791 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 11463 7791 814 2417 0 8565 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64444 KiB
Current children cumulated memory: 34852 KiB
[startup+6.3003 s]
/proc/loadavg: 4.10 4.10 4.09 7/270 1018880
/proc/meminfo: memFree=129033964/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=57344 memory=42444 CPUtime=6.24 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 9640 0 0 0 623 1 0 0 20 0 1 0 194282825 58720256 10611 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 14336 10611 814 2417 0 11438 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 75936 KiB
Current children cumulated memory: 46132 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.09 7/270 1018881
/proc/meminfo: memFree=129014100/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=68948 memory=53992 CPUtime=12.62 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 10500 0 0 0 1261 1 0 0 20 0 1 0 194282825 70602752 13498 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 17237 13498 814 2417 0 14339 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 87540 KiB
Current children cumulated memory: 57680 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.09 7/269 1018884
/proc/meminfo: memFree=128958316/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=80548 memory=63556 CPUtime=25.38 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 13320 0 0 0 2535 3 0 0 20 0 1 0 194282825 82481152 15889 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 20137 15889 814 2417 0 17239 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 67244 KiB
[startup+51.1074 s]
/proc/loadavg: 4.09 4.10 4.09 7/269 1018887
/proc/meminfo: memFree=128855804/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=110900 memory=95992 CPUtime=50.91 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 14580 0 0 0 5087 4 0 0 20 0 1 0 194282825 113561600 23998 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 27725 23998 814 2417 0 24827 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 129492 KiB
Current children cumulated memory: 99680 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 7/269 1018897
/proc/meminfo: memFree=128814228/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
################
# More data... #
################
/proc/1018878/statm: 27725 24049 814 2417 0 24827 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 129492 KiB
Current children cumulated memory: 99884 KiB
[startup+131.961 s]
# the end of solver process 1018860 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=131.459 s, system=0.080301 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.08 4.10 4.09 7/269 1018897
/proc/meminfo: memFree=128814228/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=110900 memory=96196 CPUtime=102.05 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 14688 0 0 0 10201 4 0 0 20 0 1 0 194282825 113561600 24049 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 27725 24049 814 2417 0 24827 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 129492 KiB
Current children cumulated memory: 99884 KiB
[startup+115.2 s]
/proc/loadavg: 4.14 4.11 4.09 7/269 1018898
/proc/meminfo: memFree=128838956/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=82452 CPUtime=114.81 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 16757 0 0 0 11475 6 0 0 20 0 1 0 194282825 101789696 20613 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 20613 814 2417 0 21953 0
Current children cumulated CPU time: 114.81 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 86140 KiB
[startup+121.6 s]
/proc/loadavg: 4.12 4.11 4.09 7/269 1018899
/proc/meminfo: memFree=128858564/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=121.2 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 12113 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 121.2 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+128 s]*
/proc/loadavg: 4.11 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827944/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=127.58 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 12751 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 127.58 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+129.6 s]
/proc/loadavg: 4.11 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827976/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=129.17 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 12910 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 129.17 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+131.2 s]
/proc/loadavg: 4.10 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827648/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=130.77 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 13070 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 130.77 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+131.6 s]
/proc/loadavg: 4.10 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827648/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=131.16 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 13109 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 131.16 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+131.8 s]
/proc/loadavg: 4.10 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827648/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=131.36 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 13129 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 131.36 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
[startup+131.9 s]
/proc/loadavg: 4.10 4.11 4.09 7/269 1018901
/proc/meminfo: memFree=128827648/131524600 swapFree=131071996/131071996
[pid=1018860] ppid=1018849 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/1018860/stat : 1018860 (Hybrid-CASHWMax) S 1018849 1018860 1018789 0 -1 4194304 241 100 0 0 0 0 0 0 20 0 1 0 194282822 10170368 673 134679101440 94104358412288 94104359491608 140734224026816 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94104361590064 94104361637252 94104391507968 140734224032718 140734224032876 140734224032876 140734224039893 0
/proc/1018860/statm: 2483 673 594 264 0 134 0
[pid=1018873] ppid=1018860 vsize=8660 memory=996 CPUtime=0 cores=4,6
/proc/1018873/stat : 1018873 (timeout) S 1018860 1018873 1018789 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 194282825 8867840 249 134679101440 94172278030336 94172278065352 140733092533232 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94172280162768 94172280164900 94172290166784 140733092541450 140733092541595 140733092541595 140733092548583 0
/proc/1018873/statm: 2165 249 225 9 0 87 0
[pid=1018878] ppid=1018873 vsize=99404 memory=84700 CPUtime=131.46 cores=4,6
/proc/1018878/stat : 1018878 (CASHWMaxSAT-Dis) R 1018873 1018873 1018789 0 -1 4194304 17237 0 0 0 13139 7 0 0 20 0 1 0 194282825 101789696 21175 134679101440 4194304 14093885 140737480055568 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 38907904 140737480057872 140737480058004 140737480058004 140737480064992 0
/proc/1018878/statm: 24851 21175 814 2417 0 21953 0
Current children cumulated CPU time: 131.46 s
Current children cumulated vsize: 117996 KiB
Current children cumulated memory: 88388 KiB
Child status: 0
Real time (s): 131.961
CPU time (s): 131.54
CPU user time (s): 131.459
CPU system time (s): 0.080301
CPU usage (%): 99.6804
Max. virtual memory (cumulated for all children) (KiB): 167316
Max. memory (cumulated for all children) (KiB): 118644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 131.459
system time used= 0.080301
maximum resident set size= 145484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 87
# summary of solver processes directly reported to runsolver:
# pid: 1018860
# total CPU time (s): 131.54
# total CPU user time (s): 131.459
# total CPU system time (s): 0.080301
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.281412 second user time and 0.913362 second system time
The end
Begin job on nodeC028 at 2024-07-19 22:32:50
IDJOB=4450667
IDBENCH=162192
IDSOLVER=3073
FILE ID=nodeC028/4450667-1721421158
RUNJOBID= nodeC028-1721421170-1018800
SLURM_JOB_ID= 7545494
Free space on /tmp= 890068 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size112-round22-3.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450667-1721421158/watcher-4450667-1721421158 -o /tmp/evaluation-result-4450667-1721421158/solver-4450667-1721421158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721421170-1018800 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4450667-1721421158.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fa6ba6ab9373c7e836356a3f9ed023a2
RANDOM SEED=130344483
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3776.811
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3733.102
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3609.686
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3850.737
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
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 : 3797.446
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3693.356
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3621.810
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
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 : 3828.492
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129209376 kB
MemAvailable: 129738800 kB
Buffers: 526488 kB
Cached: 852308 kB
SwapCached: 0 kB
Active: 1044024 kB
Inactive: 674440 kB
Active(anon): 1440 kB
Inactive(anon): 384136 kB
Active(file): 1042584 kB
Inactive(file): 290304 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 70964 kB
Writeback: 8 kB
AnonPages: 336888 kB
Mapped: 106712 kB
Shmem: 45912 kB
KReclaimable: 72720 kB
Slab: 180600 kB
SReclaimable: 72720 kB
SUnreclaim: 107880 kB
KernelStack: 3904 kB
PageTables: 9732 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 761756 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC028 at 2024-07-19 22:35:02