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: 63708 MiB (53243 MiB free)
memory of node 1: 64465 MiB (63019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518068-1751524494/watcher-4518068-1751524494 -o /tmp/evaluation-result-4518068-1751524494/solver-4518068-1751524494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75352 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518068-1751524494.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77190, runsolver pid=77187
[startup+0.100066 s]*
/proc/loadavg: 4.14 4.15 4.12 5/272 77194
/proc/meminfo: memFree=119049272/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=27872 memory=13568 CPUtime=0.07 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 2623 0 0 0 7 0 0 0 20 0 1 0 68128847 28540928 3392 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 6968 3392 896 2593 0 3861 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 17920 KiB
[startup+0.205957 s]*
/proc/loadavg: 4.14 4.15 4.12 5/272 77194
/proc/meminfo: memFree=119049272/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=27872 memory=13568 CPUtime=0.18 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 2623 0 0 0 18 0 0 0 20 0 1 0 68128847 28540928 3392 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 6968 3392 896 2593 0 3861 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 17920 KiB
[startup+0.305833 s]*
/proc/loadavg: 4.14 4.15 4.12 5/272 77194
/proc/meminfo: memFree=119049272/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=27872 memory=13568 CPUtime=0.28 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 2623 0 0 0 28 0 0 0 20 0 1 0 68128847 28540928 3392 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 6968 3392 896 2593 0 3861 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 17920 KiB
[startup+0.700234 s]
/proc/loadavg: 4.14 4.15 4.12 5/272 77194
/proc/meminfo: memFree=119049384/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=27872 memory=13568 CPUtime=0.67 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 2623 0 0 0 67 0 0 0 20 0 1 0 68128847 28540928 3392 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 6968 3392 896 2593 0 3861 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 34856 KiB
Current children cumulated memory: 17920 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.15 4.12 5/272 77194
/proc/meminfo: memFree=119049384/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=94308 memory=74048 CPUtime=1.46 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 12702 0 0 0 145 1 0 0 20 0 1 0 68128847 96571392 18512 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 23577 18512 896 2593 0 20470 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 101292 KiB
Current children cumulated memory: 78400 KiB
[startup+3.10569 s]
/proc/loadavg: 4.13 4.14 4.12 5/273 77195
/proc/meminfo: memFree=118494504/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=568316 memory=525560 CPUtime=3.06 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 67978 0 0 0 290 16 0 0 20 0 1 0 68128847 581955584 131390 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 142079 131390 960 2593 0 138972 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 575300 KiB
Current children cumulated memory: 529912 KiB
[startup+6.30023 s]
/proc/loadavg: 4.13 4.14 4.12 5/273 77195
/proc/meminfo: memFree=118475704/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=586744 memory=544120 CPUtime=6.25 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 71149 0 0 0 608 17 0 0 20 0 1 0 68128847 600825856 136030 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 146686 136030 960 2593 0 143579 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 593728 KiB
Current children cumulated memory: 548472 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.12 5/273 77195
/proc/meminfo: memFree=118476360/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=588200 memory=545656 CPUtime=12.63 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 71565 0 0 0 1246 17 0 0 20 0 1 0 68128847 602316800 136414 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 147050 136414 960 2593 0 143943 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 595184 KiB
Current children cumulated memory: 550008 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.12 5/273 77195
/proc/meminfo: memFree=118498708/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=589392 memory=546680 CPUtime=25.38 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 71904 0 0 0 2521 17 0 0 20 0 1 0 68128847 603537408 136670 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 147348 136670 960 2593 0 144241 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 596376 KiB
Current children cumulated memory: 551032 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.14 4.12 5/273 77197
/proc/meminfo: memFree=118500512/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=590052 memory=547448 CPUtime=50.92 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 72697 0 0 0 5074 18 0 0 20 0 1 0 68128847 604213248 136862 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 147513 136862 960 2593 0 144406 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 597036 KiB
Current children cumulated memory: 551800 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.13 4.11 5/274 77200
/proc/meminfo: memFree=118506208/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
################
# More data... #
################
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=999.4 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77210 0 0 0 99913 27 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 999.4 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1062.3 s]
/proc/loadavg: 4.07 4.16 4.13 5/273 77416
/proc/meminfo: memFree=120230696/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1059.25 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77291 0 0 0 105897 28 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1059.25 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/272 77418
/proc/meminfo: memFree=120123808/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1119.09 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77486 0 0 0 111881 28 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1119.09 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/273 77422
/proc/meminfo: memFree=120004916/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1178.94 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77486 0 0 0 117865 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1178.94 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1198.28 s]
# the end of solver process 77190 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1194.49 s, system=0.370211 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.09 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119988540/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1187.02 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77598 0 0 0 118673 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1187.02 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1193.6 s]
/proc/loadavg: 4.09 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119984328/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1190.21 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77598 0 0 0 118992 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1190.21 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1196.8 s]
/proc/loadavg: 4.08 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119988152/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1193.4 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77598 0 0 0 119311 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1193.4 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1197.6 s]
/proc/loadavg: 4.08 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119988200/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1194.2 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77598 0 0 0 119391 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1194.2 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1198 s]*
/proc/loadavg: 4.08 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119988200/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
[pid=77193] ppid=77190 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77193/stat : 77193 (timeout) S 77190 77193 75334 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 68128846 2723840 352 18446744073709551615 94116531613696 94116531630209 140728055034144 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94116531644976 94116531647064 94116541997056 140728055036310 140728055036450 140728055036450 140728055042023 0
/proc/77193/statm: 665 352 352 5 0 90 0
[pid=77194] ppid=77193 vsize=627416 memory=584904 CPUtime=1194.6 cores=5,7
/proc/77194/stat : 77194 (CASHWMaxSAT-Dis) R 77193 77193 75334 0 -1 4194304 77598 0 0 0 119431 29 0 0 20 0 1 0 68128847 642473984 146226 18446744073709551615 4198400 14817773 140731361264640 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 46129152 140731361270172 140731361270299 140731361270299 140731361275872 0
/proc/77194/statm: 156854 146226 960 2593 0 153747 0
Current children cumulated CPU time: 1194.6 s
Current children cumulated vsize: 634400 KiB
Current children cumulated memory: 589256 KiB
[startup+1198.2 s]
/proc/loadavg: 4.08 4.14 4.12 5/273 77422
/proc/meminfo: memFree=119988200/131250000 swapFree=33009904/33010684
[pid=77190] ppid=77187 vsize=4324 memory=2944 CPUtime=1194.62 cores=5,7
/proc/77190/stat : 77190 (Hybrid-CASHWMax) S 77187 77190 75334 0 -1 4194304 284 77827 0 0 0 0 119433 29 20 0 1 0 68128845 4427776 736 18446744073709551615 94586700591104 94586701485637 140721374381920 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94586701724688 94586701772432 94586715844608 140721374386519 140721374386673 140721374386673 140721374392275 0
/proc/77190/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1194.62 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
Child status: 0
Real time (s): 1198.28
CPU time (s): 1194.86
CPU user time (s): 1194.49
CPU system time (s): 0.370211
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 634400
Max. memory (cumulated for all children) (KiB): 589256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1194.49
system time used= 0.370211
maximum resident set size= 584904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111638
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 851
involuntary context switches= 1241
# summary of solver processes directly reported to runsolver:
# pid: 77190
# total CPU time (s): 1194.86
# total CPU user time (s): 1194.49
# total CPU system time (s): 0.370211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.36674 second user time and 6.16954 second system time
The end
Begin job on nodeC033 at 2025-07-03 08:34:54
IDJOB=4518068
IDBENCH=176345
IDSOLVER=3327
FILE ID=nodeC033/4518068-1751524494
RUNJOBID= nodeC033-1751517481-75352
SLURM_JOB_ID= 9598633
Free space on /tmp= 429832 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/similar_weights/normalized-knapPI_9_5000_1000_1_-48768.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518068-1751524494/watcher-4518068-1751524494 -o /tmp/evaluation-result-4518068-1751524494/solver-4518068-1751524494 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75352 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518068-1751524494.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6df3ef663e01b06123bb3451687b2522
RANDOM SEED=1408916145
nodeC033 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 : 0xb00002a
cpu MHz : 3600.064
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.191
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.347
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.042
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3605.267
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.092
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 119053640 kB
MemAvailable: 125043436 kB
Buffers: 2128 kB
Cached: 6743124 kB
SwapCached: 68 kB
Active: 5280392 kB
Inactive: 6162904 kB
Active(anon): 4710548 kB
Inactive(anon): 5524 kB
Active(file): 569844 kB
Inactive(file): 6157380 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26088 kB
Writeback: 24 kB
AnonPages: 4699928 kB
Mapped: 116496 kB
Shmem: 18028 kB
KReclaimable: 203620 kB
Slab: 295256 kB
SReclaimable: 203620 kB
SUnreclaim: 91636 kB
KernelStack: 4352 kB
PageTables: 12468 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 5237548 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3592192 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429804 MiB
End job on nodeC033 at 2025-07-03 08:54:53