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 (52751 MiB free)
memory of node 1: 64465 MiB (62327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519634-1751555832/watcher-4519634-1751555832 -o /tmp/evaluation-result-4519634-1751555832/solver-4519634-1751555832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751546586-77047 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4519634-1751555832.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78472, runsolver pid=78469
[startup+0.100062 s]*
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117838492/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=26064 memory=11320 CPUtime=0.08 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 2650 0 0 0 8 0 0 0 20 0 1 0 71259794 26689536 2830 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 6516 2830 800 2416 0 3618 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 15800 KiB
[startup+0.205803 s]*
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117838492/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=26064 memory=11448 CPUtime=0.18 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 2695 0 0 0 18 0 0 0 20 0 1 0 71259794 26689536 2862 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 6516 2862 800 2416 0 3618 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 33048 KiB
Current children cumulated memory: 15928 KiB
[startup+0.305762 s]*
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117838492/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=27716 memory=11576 CPUtime=0.28 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 2728 0 0 0 28 0 0 0 20 0 1 0 71259794 28381184 2894 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 6929 2894 800 2416 0 4031 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34700 KiB
Current children cumulated memory: 16056 KiB
[startup+0.700207 s]
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117838492/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=32084 memory=17208 CPUtime=0.67 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 4138 0 0 0 67 0 0 0 20 0 1 0 71259794 32854016 4302 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 8021 4302 800 2416 0 5123 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 39068 KiB
Current children cumulated memory: 21688 KiB
[startup+1.50021 s]
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117830680/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=64200 memory=45828 CPUtime=1.47 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 6167 0 0 0 146 1 0 0 20 0 1 0 71259794 65740800 11457 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 16050 11457 800 2416 0 13152 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71184 KiB
Current children cumulated memory: 50308 KiB
[startup+3.10558 s]
/proc/loadavg: 4.26 4.12 4.10 5/274 78476
/proc/meminfo: memFree=117771480/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=75768 memory=61272 CPUtime=3.07 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 7997 0 0 0 305 2 0 0 20 0 1 0 71259794 77586432 15318 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 18942 15318 800 2416 0 16044 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 82752 KiB
Current children cumulated memory: 65752 KiB
[startup+6.30017 s]
/proc/loadavg: 4.24 4.12 4.10 5/274 78477
/proc/meminfo: memFree=117759080/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=94624 memory=79912 CPUtime=6.25 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 9048 0 0 0 622 3 0 0 20 0 1 0 71259794 96894976 19978 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 23656 19978 800 2416 0 20758 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 84392 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 4.12 4.10 5/274 78477
/proc/meminfo: memFree=117739312/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=94624 memory=79912 CPUtime=12.64 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 9070 0 0 0 1261 3 0 0 20 0 1 0 71259794 96894976 19978 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 23656 19978 800 2416 0 20758 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 101608 KiB
Current children cumulated memory: 84392 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.11 4.10 5/274 78477
/proc/meminfo: memFree=117682232/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=125152 memory=92840 CPUtime=25.41 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 9242 0 0 0 2537 4 0 0 20 0 1 0 71259794 128155648 23210 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 31288 23210 800 2416 0 28390 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 132136 KiB
Current children cumulated memory: 97320 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.12 4.10 5/274 78477
/proc/meminfo: memFree=117639652/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=125152 memory=110644 CPUtime=50.95 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 10902 0 0 0 5089 6 0 0 20 0 1 0 71259794 128155648 27661 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 31288 27661 800 2416 0 28390 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 132136 KiB
Current children cumulated memory: 115124 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/274 78479
/proc/meminfo: memFree=117571020/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/78476/statm: 48970 45086 800 2416 0 46072 0
Current children cumulated CPU time: 760.44 s
Current children cumulated vsize: 202864 KiB
Current children cumulated memory: 184824 KiB
[startup+822.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/271 78520
/proc/meminfo: memFree=117307024/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=227164 memory=212736 CPUtime=820.3 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 42621 0 0 0 81950 80 0 0 20 0 1 0 71259794 232615936 53184 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 56791 53184 800 2416 0 53893 0
Current children cumulated CPU time: 820.3 s
Current children cumulated vsize: 234148 KiB
Current children cumulated memory: 217216 KiB
[startup+882.3 s]
/proc/loadavg: 4.20 4.14 4.11 4/264 78564
/proc/meminfo: memFree=117569268/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=245840 memory=231404 CPUtime=880.14 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 45347 0 0 0 87921 93 0 0 20 0 1 0 71259794 251740160 57851 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 61460 57851 800 2416 0 58562 0
Current children cumulated CPU time: 880.14 s
Current children cumulated vsize: 252824 KiB
Current children cumulated memory: 235884 KiB
[startup+914.88 s]
# the end of solver process 78472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=911.51 s, system=1.10354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+896 s]*
/proc/loadavg: 3.86 4.07 4.08 3/256 78601
/proc/meminfo: memFree=117757444/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78475] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78475/stat : 78475 (timeout) S 78472 78475 77034 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 71259793 2723840 352 18446744073709551615 94213234634752 94213234651265 140726133272784 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94213234666032 94213234668120 94213237678080 140726133275032 140726133275170 140726133275170 140726133280743 0
/proc/78475/statm: 665 352 352 5 0 90 0
[pid=78476] ppid=78475 vsize=295160 memory=270600 CPUtime=893.81 cores=5,7
/proc/78476/stat : 78476 (CASHWMaxSAT-Dis) R 78475 78475 77034 0 -1 4194304 45614 0 0 0 89285 96 0 0 20 0 1 0 71259794 302243840 67650 18446744073709551615 4198400 14093885 140735967889296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 41631744 140735967893917 140735967894043 140735967894043 140735967899616 0
/proc/78476/statm: 73790 67650 800 2416 0 70892 0
Current children cumulated CPU time: 893.81 s
Current children cumulated vsize: 302144 KiB
Current children cumulated memory: 275080 KiB
[startup+902.4 s]
/proc/loadavg: 3.71 4.03 4.07 3/256 78603
/proc/meminfo: memFree=117858392/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=233756 memory=172052 CPUtime=3.35 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 44752 0 0 0 329 6 0 0 20 0 1 0 71349695 239366144 43013 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 58439 43013 3392 2271 0 53077 0
Current children cumulated CPU time: 900.17 s
Current children cumulated vsize: 240740 KiB
Current children cumulated memory: 176532 KiB
[startup+908.8 s]
/proc/loadavg: 3.57 4.00 4.06 3/256 78603
/proc/meminfo: memFree=117843944/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=261592 memory=198772 CPUtime=9.72 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 56352 0 0 0 965 7 0 0 20 0 1 0 71349695 267870208 49693 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 65398 49693 3392 2271 0 60036 0
Current children cumulated CPU time: 906.54 s
Current children cumulated vsize: 268576 KiB
Current children cumulated memory: 203252 KiB
[startup+912 s]*
/proc/loadavg: 3.44 3.96 4.05 3/256 78603
/proc/meminfo: memFree=117838148/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=268476 memory=205096 CPUtime=12.92 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 70036 0 0 0 1283 9 0 0 20 0 1 0 71349695 274919424 51274 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 67119 51274 3392 2271 0 61757 0
Current children cumulated CPU time: 909.74 s
Current children cumulated vsize: 275460 KiB
Current children cumulated memory: 209576 KiB
[startup+913.6 s]
/proc/loadavg: 3.44 3.96 4.05 3/256 78603
/proc/meminfo: memFree=117838148/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=264720 memory=201964 CPUtime=14.51 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 74789 0 0 0 1441 10 0 0 20 0 1 0 71349695 271073280 50491 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 66180 50491 3392 2271 0 60818 0
Current children cumulated CPU time: 911.33 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206444 KiB
[startup+914.4 s]
/proc/loadavg: 3.44 3.96 4.05 3/256 78603
/proc/meminfo: memFree=117838148/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=264720 memory=201964 CPUtime=15.31 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 74795 0 0 0 1521 10 0 0 20 0 1 0 71349695 271073280 50491 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 66180 50491 3392 2271 0 60818 0
Current children cumulated CPU time: 912.13 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206444 KiB
[startup+914.8 s]
/proc/loadavg: 3.44 3.96 4.05 3/256 78603
/proc/meminfo: memFree=117838148/131250000 swapFree=33010672/33010684
[pid=78472] ppid=78469 vsize=4324 memory=3072 CPUtime=896.82 cores=5,7
/proc/78472/stat : 78472 (Hybrid-CASHWMax) S 78469 78472 77034 0 -1 4194304 283 45938 0 0 0 0 89585 97 20 0 1 0 71259792 4427776 768 18446744073709551615 94603639783424 94603640677957 140721084147408 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94603640917008 94603640964752 94603667488768 140721084156245 140721084156400 140721084156400 140721084162002 0
/proc/78472/statm: 1081 768 704 219 0 143 0
[pid=78602] ppid=78472 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/78602/stat : 78602 (timeout) S 78472 78602 77034 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 71349694 2723840 352 18446744073709551615 94295461457920 94295461474433 140734728608528 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94295461489200 94295461491288 94295475716096 140734728612229 140734728612386 140734728612386 140734728617959 0
/proc/78602/statm: 665 352 352 5 0 90 0
[pid=78603] ppid=78602 vsize=264720 memory=201964 CPUtime=15.7 cores=5,7
/proc/78603/stat : 78603 (ExactPR-S9) R 78602 78602 77034 0 -1 4194304 74799 0 0 0 1560 10 0 0 20 0 1 0 71349695 271073280 50491 18446744073709551615 94587326713856 94587336013957 140733152716848 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94587337800000 94587337839080 94587369533440 140733152721308 140733152721446 140733152721446 140733152727019 0
/proc/78603/statm: 66180 50491 3392 2271 0 60818 0
Current children cumulated CPU time: 912.52 s
Current children cumulated vsize: 271704 KiB
Current children cumulated memory: 206444 KiB
Child status: 0
Real time (s): 914.881
CPU time (s): 912.613
CPU user time (s): 911.51
CPU system time (s): 1.10354
CPU usage (%): 99.7522
Max. virtual memory (cumulated for all children) (KiB): 302144
Max. memory (cumulated for all children) (KiB): 283272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 911.51
system time used= 1.10354
maximum resident set size= 278792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 838
involuntary context switches= 592
# summary of solver processes directly reported to runsolver:
# pid: 78472
# total CPU time (s): 912.613
# total CPU user time (s): 911.51
# total CPU system time (s): 1.10354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.88747 second user time and 4.22865 second system time
The end
Begin job on nodeC014 at 2025-07-03 17:17:12
IDJOB=4519634
IDBENCH=177345
IDSOLVER=3330
FILE ID=nodeC014/4519634-1751555832
RUNJOBID= nodeC014-1751546586-77047
SLURM_JOB_ID= 9598717
Free space on /tmp= 430352 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS9 2025-06-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdiv2/normalized-injcomp_opt_4layers_maxfirst_lastlayerdiv2_size_32.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519634-1751555832/watcher-4519634-1751555832 -o /tmp/evaluation-result-4519634-1751555832/solver-4519634-1751555832 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751546586-77047 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4519634-1751555832.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4558152054a2b5e07a56681a0171fc0f
RANDOM SEED=1635457612
nodeC014 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.462
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.23
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.101
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.23
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 : 3600.106
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.23
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 : 3579.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.23
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.110
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.23
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 : 3608.718
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.23
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 : 3579.207
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.23
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.133
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117840444 kB
MemAvailable: 119891992 kB
Buffers: 2508 kB
Cached: 2846168 kB
SwapCached: 4 kB
Active: 10483680 kB
Inactive: 2287804 kB
Active(anon): 9937020 kB
Inactive(anon): 3852 kB
Active(file): 546660 kB
Inactive(file): 2283952 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25128 kB
Writeback: 0 kB
AnonPages: 9925176 kB
Mapped: 114760 kB
Shmem: 18064 kB
KReclaimable: 120352 kB
Slab: 211044 kB
SReclaimable: 120352 kB
SUnreclaim: 90692 kB
KernelStack: 4384 kB
PageTables: 22800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 11332488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4554752 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430376 MiB
End job on nodeC014 at 2025-07-03 17:32:27