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: 64096 MiB (62552 MiB free)
memory of node 1: 64473 MiB (61794 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436954-1722984470/watcher-4436954-1722984470 -o /tmp/evaluation-result-4436954-1722984470/solver-4436954-1722984470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722980870-344564 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436954-1722984470.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=347385, runsolver pid=347382
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.06 4.08 4.09 5/247 347389
/proc/meminfo: memFree=127306012/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=20468 memory=6452 CPUtime=0.1 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 954 0 0 0 10 0 0 0 20 0 1 0 64817674 20959232 1613 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 5117 1613 782 2417 0 2219 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 10176 KiB
[startup+0.21368 s]*
/proc/loadavg: 4.06 4.08 4.09 5/247 347389
/proc/meminfo: memFree=127278408/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=20468 memory=6452 CPUtime=0.21 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 973 0 0 0 21 0 0 0 20 0 1 0 64817674 20959232 1613 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 5117 1613 782 2417 0 2219 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39060 KiB
Current children cumulated memory: 10176 KiB
[startup+0.313417 s]*
/proc/loadavg: 4.06 4.08 4.09 5/247 347389
/proc/meminfo: memFree=127277596/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=21656 memory=7768 CPUtime=0.3 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 1290 0 0 0 30 0 0 0 20 0 1 0 64817674 22175744 1942 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 5414 1942 782 2417 0 2516 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40248 KiB
Current children cumulated memory: 11492 KiB
[startup+0.700494 s]
/proc/loadavg: 4.06 4.08 4.09 5/247 347389
/proc/meminfo: memFree=127272724/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=28788 memory=14632 CPUtime=0.68 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 3039 0 0 0 67 1 0 0 20 0 1 0 64817674 29478912 3658 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 7197 3658 782 2417 0 4299 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47380 KiB
Current children cumulated memory: 18356 KiB
[startup+1.50041 s]
/proc/loadavg: 4.06 4.08 4.09 5/247 347391
/proc/meminfo: memFree=127266128/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=37404 memory=23140 CPUtime=1.48 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 5133 0 0 0 146 2 0 0 20 0 1 0 64817674 38301696 5785 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 9351 5785 798 2417 0 6453 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55996 KiB
Current children cumulated memory: 26864 KiB
[startup+3.1127 s]
/proc/loadavg: 4.06 4.08 4.09 5/247 347391
/proc/meminfo: memFree=127242312/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=49420 memory=34160 CPUtime=3.08 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 7380 0 0 0 306 2 0 0 20 0 1 0 64817674 50606080 8540 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 12355 8540 798 2417 0 9457 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 68012 KiB
Current children cumulated memory: 37884 KiB
[startup+6.30041 s]
/proc/loadavg: 4.06 4.08 4.09 5/247 347391
/proc/meminfo: memFree=127228172/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=68096 memory=47004 CPUtime=6.26 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 8555 0 0 0 623 3 0 0 20 0 1 0 64817674 69730304 11751 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 17024 11751 798 2417 0 14126 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 86688 KiB
Current children cumulated memory: 50728 KiB
[startup+12.7005 s]
/proc/loadavg: 4.13 4.10 4.09 5/247 347392
/proc/meminfo: memFree=127228328/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=71628 memory=55820 CPUtime=12.64 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 10347 0 0 0 1260 4 0 0 20 0 1 0 64817674 73347072 13955 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 17907 13955 798 2417 0 15009 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 90220 KiB
Current children cumulated memory: 59544 KiB
[startup+25.5005 s]
/proc/loadavg: 4.10 4.09 4.09 5/247 347394
/proc/meminfo: memFree=127156104/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=132756 memory=117464 CPUtime=25.39 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 12101 0 0 0 2533 6 0 0 20 0 1 0 64817674 135942144 29366 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 33189 29366 798 2417 0 30291 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 151348 KiB
Current children cumulated memory: 121188 KiB
[startup+51.1132 s]
/proc/loadavg: 4.13 4.10 4.09 5/247 347469
/proc/meminfo: memFree=128794940/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 669 591 264 0 134 0
[pid=347388] ppid=347385 vsize=8660 memory=1048 CPUtime=0 cores=0,2
/proc/347388/stat : 347388 (timeout) S 347385 347388 344554 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 64817674 8867840 262 134679101440 93899163422720 93899163457736 140728898014576 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93899165555152 93899165557284 93899198455808 140728898016285 140728898016417 140728898016417 140728898023399 0
/proc/347388/statm: 2165 262 238 9 0 87 0
[pid=347389] ppid=347388 vsize=102568 memory=88164 CPUtime=50.9 cores=0,2
/proc/347389/stat : 347389 (CASHWMaxSAT-Dis) R 347388 347388 344554 0 -1 4194304 13549 0 0 0 5081 9 0 0 20 0 1 0 64817674 105029632 22041 134679101440 4194304 14093885 140724229464720 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35491840 140724229473315 140724229473434 140724229473434 140724229480416 0
/proc/347389/statm: 25642 22041 798 2417 0 22744 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 121160 KiB
Current children cumulated memory: 91888 KiB
[startup+102.301 s]
/proc/loadavg: 4.18 4.11 4.10 5/247 347480
/proc/meminfo: memFree=128725924/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2676 CPUtime=0 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 64817673 10170368 669 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
################
# More data... #
################
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3389.05 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.27 4.21 5/246 349393
/proc/meminfo: memFree=126399484/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1657.96 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110265 0 0 0 157766 8030 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3448.91 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.25 4.21 6/246 349405
/proc/meminfo: memFree=126399076/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1717.82 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110267 0 0 0 163116 8666 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3508.77 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.20 5/246 349415
/proc/meminfo: memFree=126398904/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1777.68 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 168471 9297 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3568.63 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3596.04 s]
# the end of solver process 347385 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3486.93 s, system=95.4425 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.24 4.21 7/246 349415
/proc/meminfo: memFree=126398904/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1779.39 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 168620 9319 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3570.34 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.24 4.21 5/246 349415
/proc/meminfo: memFree=126398920/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1785.76 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 169195 9381 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3576.71 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3593.6 s]
/proc/loadavg: 4.19 4.24 4.21 5/246 349417
/proc/meminfo: memFree=126398864/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1788.95 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 169486 9409 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3579.9 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3595.2 s]
/proc/loadavg: 4.18 4.23 4.20 5/243 349455
/proc/meminfo: memFree=127676980/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1790.55 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 169632 9423 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3581.5 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3595.6 s]
/proc/loadavg: 4.18 4.23 4.20 5/243 349455
/proc/meminfo: memFree=127676980/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1790.95 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 169669 9426 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3581.9 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
[startup+3596 s]*
/proc/loadavg: 4.18 4.23 4.20 5/247 349490
/proc/meminfo: memFree=127684568/131655788 swapFree=131071216/131071996
[pid=347385] ppid=347382 vsize=9932 memory=2784 CPUtime=1790.95 cores=0,2
/proc/347385/stat : 347385 (Hybrid-LSMabSP+) S 347382 347385 344554 0 -1 4194304 267 25803 0 0 0 0 178985 110 20 0 1 0 64817673 10170368 696 134679101440 94277882912768 94277883992088 140730556305184 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94277886090544 94277886137732 94277904064512 140730556306386 140730556306545 140730556306545 140730556313556 0
/proc/347385/statm: 2483 696 607 264 0 134 0
[pid=348415] ppid=347385 vsize=8660 memory=916 CPUtime=0 cores=0,2
/proc/348415/stat : 348415 (timeout) S 347385 348415 344554 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 64997474 8867840 229 134679101440 94737896112128 94737896147144 140733360245824 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 94737898244560 94737898246692 94737904476160 140733360251949 140733360252065 140733360252065 140733360259047 0
/proc/348415/statm: 2165 229 204 9 0 87 0
[pid=348416] ppid=348415 vsize=345728 memory=340296 CPUtime=1791.36 cores=0,2
/proc/348416/stat : 348416 (LS-MabSP) R 348415 348415 344554 0 -1 4194304 110269 0 0 0 169705 9431 0 0 20 0 1 0 64997475 354025472 85074 134679101440 4194304 15467897 140735004855120 0 0 0 0 0 17410 0 0 0 17 0 0 0 0 0 0 17807032 17896208 25006080 140735004857408 140735004857511 140735004857511 140735004864493 0
/proc/348416/statm: 86432 85074 2849 2753 0 83085 0
Current children cumulated CPU time: 3582.31 s
Current children cumulated vsize: 364320 KiB
Current children cumulated memory: 343996 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3582.37
CPU user time (s): 3486.93
CPU system time (s): 95.4425
CPU usage (%): 99.62
Max. virtual memory (cumulated for all children) (KiB): 799904
Max. memory (cumulated for all children) (KiB): 676312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3486.93
system time used= 95.4424
maximum resident set size= 672612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139366
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87
involuntary context switches= 25086
# summary of solver processes directly reported to runsolver:
# pid: 347385
# total CPU time (s): 3582.37
# total CPU user time (s): 3486.93
# total CPU system time (s): 95.4425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.5174 second user time and 37.6944 second system time
The end
Begin job on nodeC007 at 2024-08-07 00:47:50
IDJOB=4436954
IDBENCH=158491
IDSOLVER=3069
FILE ID=nodeC007/4436954-1722984470
RUNJOBID= nodeC007-1722980870-344564
SLURM_JOB_ID= 8259081
Free space on /tmp= 723660 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-06.lin.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436954-1722984470/watcher-4436954-1722984470 -o /tmp/evaluation-result-4436954-1722984470/solver-4436954-1722984470 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722980870-344564 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436954-1722984470.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b877664571262cc35a091b0e7e24e61f
RANDOM SEED=1547588830
nodeC007.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 : 0xb00001f
cpu MHz : 1197.196
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 invpcid_single pti 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 : 6983.58
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 : 3667.173
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 invpcid_single pti 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 : 6983.35
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.188
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 invpcid_single pti 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 : 6983.58
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.307
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 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.793
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 invpcid_single pti 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 : 6983.58
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 : 1285.127
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 invpcid_single pti 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 : 6983.35
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.320
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 invpcid_single pti 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 : 6983.58
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 : 1496.171
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 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127332396 kB
MemAvailable: 128178708 kB
Buffers: 347908 kB
Cached: 1346568 kB
SwapCached: 100 kB
Active: 703432 kB
Inactive: 3145356 kB
Active(anon): 1516 kB
Inactive(anon): 2189944 kB
Active(file): 701916 kB
Inactive(file): 955412 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 96672 kB
Writeback: 0 kB
AnonPages: 2153784 kB
Mapped: 111428 kB
Shmem: 37460 kB
KReclaimable: 58368 kB
Slab: 145404 kB
SReclaimable: 58368 kB
SUnreclaim: 87036 kB
KernelStack: 3916 kB
PageTables: 13380 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2316980 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 23840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 208896 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: 297800 kB
DirectMap2M: 19529728 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC007 at 2024-08-07 01:47:47