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 (55207 MiB free)
memory of node 1: 64473 MiB (59990 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458312-1722990761/watcher-4458312-1722990761 -o /tmp/evaluation-result-4458312-1722990761/solver-4458312-1722990761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722983542-352692 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458312-1722990761.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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=357472, runsolver pid=357469
[startup+0.100096 s]*
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117921292/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=60740 memory=50448 CPUtime=0.1 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 10791 0 0 0 9 1 0 0 20 0 1 0 65673760 62197760 12612 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 15185 12612 2618 2726 0 11933 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79332 KiB
Current children cumulated memory: 54172 KiB
[startup+0.214176 s]*
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117906640/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=76560 memory=65568 CPUtime=0.21 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 14729 0 0 0 20 1 0 0 20 0 1 0 65673760 78397440 16392 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 19140 16392 2746 2726 0 15888 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 95152 KiB
Current children cumulated memory: 69292 KiB
[startup+0.313823 s]*
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117905464/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=77048 memory=66096 CPUtime=0.31 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 14873 0 0 0 30 1 0 0 20 0 1 0 65673760 78897152 16524 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 19262 16524 2746 2726 0 16010 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 69820 KiB
[startup+0.700401 s]
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117904988/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=77048 memory=66360 CPUtime=0.68 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 14897 0 0 0 67 1 0 0 20 0 1 0 65673760 78897152 16590 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 19262 16590 2746 2726 0 16010 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95640 KiB
Current children cumulated memory: 70084 KiB
[startup+1.50042 s]
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117904968/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=92244 memory=79568 CPUtime=1.48 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 19650 0 0 0 146 2 0 0 20 0 1 0 65673760 94457856 19892 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 23061 19892 2762 2726 0 19809 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 110836 KiB
Current children cumulated memory: 83292 KiB
[startup+3.11449 s]
/proc/loadavg: 4.22 4.26 4.17 5/254 357476
/proc/meminfo: memFree=117856224/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=129076 memory=115168 CPUtime=3.09 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 28550 0 0 0 305 4 0 0 20 0 1 0 65673760 132173824 28792 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 32269 28792 2762 2726 0 29017 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 147668 KiB
Current children cumulated memory: 118892 KiB
[startup+6.30044 s]
/proc/loadavg: 4.20 4.25 4.17 5/254 357478
/proc/meminfo: memFree=117839284/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=153332 memory=132592 CPUtime=6.27 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 32890 0 0 0 622 5 0 0 20 0 1 0 65673760 157011968 33148 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 38333 33148 2762 2726 0 35081 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 171924 KiB
Current children cumulated memory: 136316 KiB
[startup+12.7004 s]
/proc/loadavg: 4.27 4.27 4.18 5/254 357478
/proc/meminfo: memFree=117834812/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=159056 memory=136288 CPUtime=12.65 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 33822 0 0 0 1260 5 0 0 20 0 1 0 65673760 162873344 34072 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 39764 34072 2762 2726 0 36512 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 177648 KiB
Current children cumulated memory: 140012 KiB
[startup+25.5004 s]
/proc/loadavg: 4.21 4.25 4.18 5/254 357480
/proc/meminfo: memFree=117820660/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=173092 memory=149464 CPUtime=25.42 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 37108 0 0 0 2536 6 0 0 20 0 1 0 65673760 177246208 37366 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 43273 37366 2762 2726 0 40021 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 191684 KiB
Current children cumulated memory: 153188 KiB
[startup+51.1131 s]
/proc/loadavg: 4.20 4.25 4.18 5/252 357484
/proc/meminfo: memFree=117806948/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=357475] ppid=357472 vsize=8660 memory=1016 CPUtime=0 cores=4,6
/proc/357475/stat : 357475 (timeout) S 357472 357475 352681 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 65673760 8867840 254 134679101440 94090993967104 94090994002120 140735509261648 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94090996099536 94090996101668 94090997960704 140735509263358 140735509263517 140735509263517 140735509270503 0
/proc/357475/statm: 2165 254 230 9 0 87 0
[pid=357476] ppid=357475 vsize=183556 memory=161812 CPUtime=50.98 cores=4,6
/proc/357476/stat : 357476 (CASHWMaxSAT-Dis) R 357475 357475 352681 0 -1 4194304 40856 0 0 0 5090 8 0 0 20 0 1 0 65673760 187961344 40453 134679101440 4194304 15356333 140732227372032 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 17424944 17514448 26050560 140732227376131 140732227376277 140732227376277 140732227383263 0
/proc/357476/statm: 45889 40453 2762 2726 0 42637 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 202148 KiB
Current children cumulated memory: 165536 KiB
[startup+102.301 s]
/proc/loadavg: 4.19 4.24 4.18 5/252 357493
/proc/meminfo: memFree=117748324/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 242 104 0 0 0 0 0 0 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
################
# More data... #
################
/proc/358838/statm: 15211 12384 852 745 0 14276 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53256 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 359814
/proc/meminfo: memFree=118247616/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49536 CPUtime=1659.61 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9627 0 0 0 165957 4 0 0 20 0 1 0 65853561 62304256 12384 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12384 852 745 0 14276 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53256 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 359825
/proc/meminfo: memFree=118246652/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1719.47 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9651 0 0 0 171943 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 359835
/proc/meminfo: memFree=118238872/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1779.32 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 177928 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3596.04 s]
# the end of solver process 357472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.88 s, system=0.31024 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.12 4.09 5/256 359835
/proc/meminfo: memFree=118238864/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1781.03 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 178099 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3574.17 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 359837
/proc/meminfo: memFree=118238760/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1787.4 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 178736 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3580.54 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3593.6 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 359837
/proc/meminfo: memFree=118238804/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1790.59 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 179055 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3583.73 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 359837
/proc/meminfo: memFree=118238800/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1792.19 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 179215 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3585.33 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3595.6 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 359837
/proc/meminfo: memFree=118238800/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1792.59 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 179255 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
[startup+3596 s]*
/proc/loadavg: 4.12 4.12 4.09 5/256 359839
/proc/meminfo: memFree=118238548/131655788 swapFree=131071996/131071996
[pid=357472] ppid=357469 vsize=9932 memory=2708 CPUtime=1793.14 cores=4,6
/proc/357472/stat : 357472 (Hybrid-CASHWMax) S 357469 357472 352681 0 -1 4194304 274 127545 0 0 0 0 179290 24 20 0 1 0 65673760 10170368 677 134679101440 93920800088064 93920801167384 140736670319376 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93920803265840 93920803313028 93920835915776 140736670327758 140736670327917 140736670327917 140736670334932 0
/proc/357472/statm: 2483 677 584 264 0 134 0
[pid=358837] ppid=357472 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/358837/stat : 358837 (timeout) S 357472 358837 352681 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 65853561 8867840 253 134679101440 94254289948672 94254289983688 140735504598480 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94254292081104 94254292083236 94254318211072 140735504606196 140735504606365 140735504606365 140735504613351 0
/proc/358837/statm: 2165 253 229 9 0 87 0
[pid=358838] ppid=358837 vsize=60844 memory=49644 CPUtime=1793 cores=4,6
/proc/358838/stat : 358838 (Exact) R 358837 358837 352681 0 -1 4194304 9678 0 0 0 179296 4 0 0 20 0 1 0 65853561 62304256 12411 134679101440 4194304 7243121 140723677445168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7942632 8006904 14163968 140723677451280 140723677451430 140723677451430 140723677458416 0
/proc/358838/statm: 15211 12411 852 745 0 14276 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 79436 KiB
Current children cumulated memory: 53364 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3586.19
CPU user time (s): 3585.88
CPU system time (s): 0.31024
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 532644
Max. memory (cumulated for all children) (KiB): 475260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.88
system time used= 0.31024
maximum resident set size= 471536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140529
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104
involuntary context switches= 2063
# summary of solver processes directly reported to runsolver:
# pid: 357472
# total CPU time (s): 3586.19
# total CPU user time (s): 3585.88
# total CPU system time (s): 0.31024
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4884 second user time and 40.567 second system time
The end
Begin job on nodeC009 at 2024-08-07 02:32:41
IDJOB=4458312
IDBENCH=177198
IDSOLVER=3072
FILE ID=nodeC009/4458312-1722990761
RUNJOBID= nodeC009-1722983542-352692
SLURM_JOB_ID= 8259094
Free space on /tmp= 723724 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_greater/normalized-mult_diagcomm_opt_greater_teq_nbits_21.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458312-1722990761/watcher-4458312-1722990761 -o /tmp/evaluation-result-4458312-1722990761/solver-4458312-1722990761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722983542-352692 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4458312-1722990761.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 216ba9da6a205e5efe57192784bc5fe9
RANDOM SEED=17481829
nodeC009.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 : 3672.717
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.99
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 : 3656.234
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.37
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.400
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.99
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.343
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.37
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 : 3497.764
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.99
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 : 3669.119
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.37
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.258
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.500
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 117962616 kB
MemAvailable: 128612324 kB
Buffers: 364084 kB
Cached: 11121132 kB
SwapCached: 0 kB
Active: 680876 kB
Inactive: 12510024 kB
Active(anon): 1540 kB
Inactive(anon): 1741840 kB
Active(file): 679336 kB
Inactive(file): 10768184 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 19296 kB
Writeback: 52 kB
AnonPages: 1705052 kB
Mapped: 117764 kB
Shmem: 37704 kB
KReclaimable: 84776 kB
Slab: 172196 kB
SReclaimable: 84776 kB
SUnreclaim: 87420 kB
KernelStack: 4064 kB
PageTables: 12768 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2301256 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 25440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1556480 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: 314184 kB
DirectMap2M: 23707648 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 723692 MiB
End job on nodeC009 at 2024-08-07 03:32:38