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: 63794 MiB (61600 MiB free)
memory of node 1: 64507 MiB (63691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490913-1751380862/watcher-4490913-1751380862 -o /tmp/evaluation-result-4490913-1751380862/solver-4490913-1751380862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751373665-49669 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4490913-1751380862.opb 3600 HOME
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=50654, runsolver pid=50650
[startup+0.100098 s]*
/proc/loadavg: 4.18 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128286636/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=19776 memory=5888 CPUtime=0.06 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 786 0 0 0 6 0 0 0 20 0 1 0 53765976 20250624 1472 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 4944 1472 768 2416 0 2046 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 26760 KiB
Current children cumulated memory: 10240 KiB
[startup+0.214098 s]*
/proc/loadavg: 4.18 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128287456/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=19776 memory=5888 CPUtime=0.17 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 786 0 0 0 17 0 0 0 20 0 1 0 53765976 20250624 1472 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 4944 1472 768 2416 0 2046 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26760 KiB
Current children cumulated memory: 10240 KiB
[startup+0.313245 s]*
/proc/loadavg: 4.18 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128283676/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=20732 memory=6784 CPUtime=0.28 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 1021 0 0 0 27 1 0 0 20 0 1 0 53765976 21229568 1696 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 5183 1696 768 2416 0 2285 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 27716 KiB
Current children cumulated memory: 11136 KiB
[startup+0.70044 s]
/proc/loadavg: 4.18 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128269816/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=26372 memory=11776 CPUtime=0.64 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 2259 0 0 0 63 1 0 0 20 0 1 0 53765976 27004928 2944 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 6593 2944 768 2416 0 3695 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 33356 KiB
Current children cumulated memory: 16128 KiB
[startup+1.50051 s]
/proc/loadavg: 4.18 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128243860/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=30080 memory=15872 CPUtime=1.44 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 2780 0 0 0 143 1 0 0 20 0 1 0 53765976 30801920 3968 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 7520 3968 768 2416 0 4622 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 37064 KiB
Current children cumulated memory: 20224 KiB
[startup+3.1136 s]
/proc/loadavg: 4.16 4.15 4.16 5/259 50665
/proc/meminfo: memFree=128039900/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=37672 memory=22832 CPUtime=3.05 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 4678 0 0 0 303 2 0 0 20 0 1 0 53765976 38576128 5708 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 9418 5708 768 2416 0 6520 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 44656 KiB
Current children cumulated memory: 27184 KiB
[startup+6.30048 s]
/proc/loadavg: 4.16 4.15 4.16 5/259 50665
/proc/meminfo: memFree=127994092/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=42024 memory=27132 CPUtime=6.23 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 5267 0 0 0 621 2 0 0 20 0 1 0 53765976 43032576 6783 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 10506 6783 768 2416 0 7608 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 49008 KiB
Current children cumulated memory: 31484 KiB
[startup+12.7005 s]
/proc/loadavg: 4.15 4.14 4.16 5/259 50665
/proc/meminfo: memFree=127995152/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=44744 memory=29692 CPUtime=12.61 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 5899 0 0 0 1258 3 0 0 20 0 1 0 53765976 45817856 7423 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 11186 7423 768 2416 0 8288 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 51728 KiB
Current children cumulated memory: 34044 KiB
[startup+25.5005 s]
/proc/loadavg: 4.11 4.14 4.15 5/259 50665
/proc/meminfo: memFree=127989228/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=56236 memory=32708 CPUtime=25.37 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 7231 0 0 0 2533 4 0 0 20 0 1 0 53765976 57585664 8177 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 14059 8177 768 2416 0 11161 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 63220 KiB
Current children cumulated memory: 37060 KiB
[startup+51.1134 s]
/proc/loadavg: 4.20 4.16 4.16 5/259 50666
/proc/meminfo: memFree=127987256/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=56236 memory=42232 CPUtime=50.9 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 7572 0 0 0 5086 4 0 0 20 0 1 0 53765976 57585664 10558 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 14059 10558 768 2416 0 11161 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 63220 KiB
Current children cumulated memory: 46584 KiB
[startup+102.301 s]
/proc/loadavg: 4.22 4.16 4.16 5/259 50672
/proc/meminfo: memFree=127988884/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/50664/statm: 27191 23174 768 2416 0 24293 0
Current children cumulated CPU time: 1118.79 s
Current children cumulated vsize: 115748 KiB
Current children cumulated memory: 97048 KiB
[startup+1182.3 s]
/proc/loadavg: 4.63 4.40 4.27 5/259 50878
/proc/meminfo: memFree=128840840/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=108764 memory=92696 CPUtime=1178.63 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 12601 0 0 0 117839 24 0 0 20 0 1 0 53765976 111374336 23174 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 27191 23174 768 2416 0 24293 0
Current children cumulated CPU time: 1178.63 s
Current children cumulated vsize: 115748 KiB
Current children cumulated memory: 97048 KiB
[startup+1210.77 s]
# the end of solver process 50654 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1206.58 s, system=0.410974 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.53 4.38 4.26 5/258 50878
/proc/meminfo: memFree=128841448/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=0 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50662] ppid=50654 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/50662/stat : 50662 (timeout) S 50654 50662 49657 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53765975 2723840 352 18446744073709551615 94564769308672 94564769325185 140736619383904 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94564769339952 94564769342040 94564787146752 140736619387286 140736619387426 140736619387426 140736619392999 0
/proc/50662/statm: 665 352 352 5 0 90 0
[pid=50664] ppid=50662 vsize=108764 memory=92696 CPUtime=1186.7 cores=1,3
/proc/50664/stat : 50664 (CASHWMaxSAT-Dis) R 50662 50662 49657 0 -1 4194304 12601 0 0 0 118646 24 0 0 20 0 1 0 53765976 111374336 23174 18446744073709551615 4198400 14093885 140737113712128 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 29868032 140737113721244 140737113721371 140737113721371 140737113726944 0
/proc/50664/statm: 27191 23174 768 2416 0 24293 0
Current children cumulated CPU time: 1186.7 s
Current children cumulated vsize: 115748 KiB
Current children cumulated memory: 97048 KiB
[startup+1203.2 s]
/proc/loadavg: 4.52 4.39 4.27 5/258 50894
/proc/meminfo: memFree=128776116/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=280308 memory=237372 CPUtime=5.11 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 57601 0 0 0 501 10 0 0 20 0 1 0 53885777 287035392 59343 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 70077 59343 3424 2271 0 64715 0
Current children cumulated CPU time: 1199.44 s
Current children cumulated vsize: 287292 KiB
Current children cumulated memory: 241596 KiB
[startup+1206.4 s]
/proc/loadavg: 4.48 4.38 4.26 5/258 50894
/proc/meminfo: memFree=128728960/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=8.31 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68931 0 0 0 818 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1202.64 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
[startup+1208 s]*
/proc/loadavg: 4.48 4.38 4.26 5/258 50894
/proc/meminfo: memFree=128721148/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=9.91 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68941 0 0 0 978 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1204.24 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
[startup+1209.6 s]
/proc/loadavg: 4.44 4.37 4.26 5/258 50894
/proc/meminfo: memFree=128721148/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=11.5 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68944 0 0 0 1137 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1205.83 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
[startup+1210.4 s]
/proc/loadavg: 4.44 4.37 4.26 5/258 50894
/proc/meminfo: memFree=128721400/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=12.29 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68944 0 0 0 1216 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1206.62 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
[startup+1210.6 s]
/proc/loadavg: 4.44 4.37 4.26 5/258 50894
/proc/meminfo: memFree=128721400/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=12.49 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68944 0 0 0 1236 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1206.82 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
[startup+1210.7 s]
/proc/loadavg: 4.44 4.37 4.26 5/258 50894
/proc/meminfo: memFree=128721400/131382112 swapFree=33010684/33010684
[pid=50654] ppid=50650 vsize=4324 memory=2944 CPUtime=1194.33 cores=1,3
/proc/50654/stat : 50654 (Hybrid-CASHWMax) S 50650 50654 49657 0 -1 4194304 284 12824 0 0 0 0 119408 25 20 0 1 0 53765972 4427776 736 18446744073709551615 94298002100224 94298002994757 140726352069808 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94298003233808 94298003281552 94298025652224 140726352079191 140726352079345 140726352079345 140726352084947 0
/proc/50654/statm: 1081 736 672 219 0 143 0
[pid=50890] ppid=50654 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/50890/stat : 50890 (timeout) S 50654 50890 49657 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 53885777 2723840 320 18446744073709551615 94730800766976 94730800783489 140734055065168 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94730800798256 94730800800344 94730815967232 140734055074182 140734055074338 140734055074338 140734055079911 0
/proc/50890/statm: 665 320 320 5 0 90 0
[pid=50892] ppid=50890 vsize=319688 memory=277388 CPUtime=12.59 cores=1,3
/proc/50892/stat : 50892 (ExactPR-S) R 50890 50890 49657 0 -1 4194304 68944 0 0 0 1246 13 0 0 20 0 1 0 53885777 327360512 69347 18446744073709551615 94345298161664 94345307461701 140735825539424 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94345309247808 94345309286888 94345343545344 140735825541534 140735825541671 140735825541671 140735825547244 0
/proc/50892/statm: 79922 69347 3424 2271 0 74560 0
Current children cumulated CPU time: 1206.92 s
Current children cumulated vsize: 326672 KiB
Current children cumulated memory: 281612 KiB
Child status: 0
Real time (s): 1210.77
CPU time (s): 1206.99
CPU user time (s): 1206.58
CPU system time (s): 0.410974
CPU usage (%): 99.6875
Max. virtual memory (cumulated for all children) (KiB): 326672
Max. memory (cumulated for all children) (KiB): 281612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1206.58
system time used= 0.410974
maximum resident set size= 277644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 812
involuntary context switches= 495
# summary of solver processes directly reported to runsolver:
# pid: 50654
# total CPU time (s): 1206.99
# total CPU user time (s): 1206.58
# total CPU system time (s): 0.410974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75045 second user time and 13.2254 second system time
The end
Begin job on nodeC012 at 2025-07-01 16:41:02
IDJOB=4490913
IDBENCH=147636
IDSOLVER=3329
FILE ID=nodeC012/4490913-1751380862
RUNJOBID= nodeC012-1751373665-49669
SLURM_JOB_ID= 9598207
Free space on /tmp= 433004 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490913-1751380862/watcher-4490913-1751380862 -o /tmp/evaluation-result-4490913-1751380862/solver-4490913-1751380862 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751373665-49669 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4490913-1751380862.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 661b9222a6bc80fb313039094bf52923
RANDOM SEED=611776659
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.224
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 1197.151
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 1196.937
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.146
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3662.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.226
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
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.155
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128300448 kB
MemAvailable: 128442008 kB
Buffers: 3280 kB
Cached: 949364 kB
SwapCached: 0 kB
Active: 1865136 kB
Inactive: 638884 kB
Active(anon): 1569336 kB
Inactive(anon): 0 kB
Active(file): 295800 kB
Inactive(file): 638884 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 51204 kB
Writeback: 8 kB
AnonPages: 1554504 kB
Mapped: 122528 kB
Shmem: 17960 kB
KReclaimable: 92624 kB
Slab: 175532 kB
SReclaimable: 92624 kB
SUnreclaim: 82908 kB
KernelStack: 4032 kB
PageTables: 6100 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1916556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1148928 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC012 at 2025-07-01 17:01:14