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: 63665 MiB (61042 MiB free)
memory of node 1: 64507 MiB (32997 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519540-1751552384/watcher-4519540-1751552384 -o /tmp/evaluation-result-4519540-1751552384/solver-4519540-1751552384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751544007-80648 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519540-1751552384.opb 3600 HOME
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=81906, runsolver pid=81903
[startup+0.100065 s]*
/proc/loadavg: 4.07 4.08 4.09 5/271 81910
/proc/meminfo: memFree=96297048/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=25680 memory=11408 CPUtime=0.08 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 2175 0 0 0 8 0 0 0 20 0 1 0 70916130 26296320 2852 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 6420 2852 960 2593 0 3313 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32664 KiB
Current children cumulated memory: 15760 KiB
[startup+0.205878 s]*
/proc/loadavg: 4.07 4.08 4.09 5/271 81910
/proc/meminfo: memFree=96297048/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=25680 memory=11408 CPUtime=0.18 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 2179 0 0 0 18 0 0 0 20 0 1 0 70916130 26296320 2852 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 6420 2852 960 2593 0 3313 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 32664 KiB
Current children cumulated memory: 15760 KiB
[startup+0.305883 s]*
/proc/loadavg: 4.07 4.08 4.09 5/271 81910
/proc/meminfo: memFree=96297048/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=25680 memory=11408 CPUtime=0.28 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 2182 0 0 0 28 0 0 0 20 0 1 0 70916130 26296320 2852 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 6420 2852 960 2593 0 3313 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 32664 KiB
Current children cumulated memory: 15760 KiB
[startup+0.700232 s]
/proc/loadavg: 4.07 4.08 4.09 5/271 81910
/proc/meminfo: memFree=96297048/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=25812 memory=11536 CPUtime=0.67 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 2222 0 0 0 67 0 0 0 20 0 1 0 70916130 26431488 2884 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 6453 2884 960 2593 0 3346 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 32796 KiB
Current children cumulated memory: 15888 KiB
[startup+1.5002 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 81910
/proc/meminfo: memFree=96252160/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=51652 memory=37380 CPUtime=1.47 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 8911 0 0 0 145 2 0 0 20 0 1 0 70916130 52891648 9345 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 12913 9345 960 2593 0 9806 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 58636 KiB
Current children cumulated memory: 41732 KiB
[startup+3.10542 s]
/proc/loadavg: 4.15 4.10 4.09 5/271 81910
/proc/meminfo: memFree=96263732/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=64860 memory=50288 CPUtime=3.07 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 15430 0 0 0 304 3 0 0 20 0 1 0 70916130 66416640 12572 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 16215 12572 960 2593 0 13108 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 71844 KiB
Current children cumulated memory: 54640 KiB
[startup+6.3002 s]
/proc/loadavg: 4.13 4.09 4.09 5/271 81910
/proc/meminfo: memFree=96163996/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=70976 memory=56772 CPUtime=6.26 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 19687 0 0 0 622 4 0 0 20 0 1 0 70916130 72679424 14193 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 17744 14193 960 2593 0 14637 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77960 KiB
Current children cumulated memory: 61124 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.09 4.09 5/271 81910
/proc/meminfo: memFree=96241384/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=76048 memory=61892 CPUtime=12.64 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 20970 0 0 0 1260 4 0 0 20 0 1 0 70916130 77873152 15473 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 19012 15473 960 2593 0 15905 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 83032 KiB
Current children cumulated memory: 66244 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.09 4.09 5/271 81914
/proc/meminfo: memFree=92700476/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=98204 memory=84064 CPUtime=25.4 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 26046 0 0 0 2534 6 0 0 20 0 1 0 70916130 100560896 21016 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 24551 21016 960 2593 0 21444 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 105188 KiB
Current children cumulated memory: 88416 KiB
[startup+51.1059 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 81916
/proc/meminfo: memFree=85895456/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=106004 memory=91872 CPUtime=50.93 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 26472 0 0 0 5087 6 0 0 20 0 1 0 70916130 108548096 22968 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 26501 22968 960 2593 0 23394 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 112988 KiB
Current children cumulated memory: 96224 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 81917
/proc/meminfo: memFree=85782288/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/81910/statm: 62347 58806 960 2593 0 59240 0
Current children cumulated CPU time: 999.1 s
Current children cumulated vsize: 256372 KiB
Current children cumulated memory: 239576 KiB
[startup+1062.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/271 82020
/proc/meminfo: memFree=88837972/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=244916 memory=230752 CPUtime=1058.91 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 57982 0 0 0 105850 41 0 0 20 0 1 0 70916130 250793984 57688 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 61229 57688 960 2593 0 58122 0
Current children cumulated CPU time: 1058.91 s
Current children cumulated vsize: 251900 KiB
Current children cumulated memory: 235104 KiB
[startup+1122.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/271 82081
/proc/meminfo: memFree=115976240/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=244916 memory=230752 CPUtime=1118.73 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 57982 0 0 0 111832 41 0 0 20 0 1 0 70916130 250793984 57688 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 61229 57688 960 2593 0 58122 0
Current children cumulated CPU time: 1118.73 s
Current children cumulated vsize: 251900 KiB
Current children cumulated memory: 235104 KiB
[startup+1182.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/273 82087
/proc/meminfo: memFree=115848328/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 247 108 0 0 0 0 0 0 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=81909] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/81909/stat : 81909 (timeout) S 81906 81909 80615 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 70916130 2723840 352 18446744073709551615 94094050197504 94094050214017 140731731941568 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 94094050228784 94094050230872 94094082662400 140731731949974 140731731950114 140731731950114 140731731955687 0
/proc/81909/statm: 665 352 352 5 0 90 0
[pid=81910] ppid=81909 vsize=246420 memory=232320 CPUtime=1178.54 cores=0,2
/proc/81910/stat : 81910 (CASHWMaxSAT-Dis) R 81909 81909 80615 0 -1 4194304 59359 0 0 0 117809 45 0 0 20 0 1 0 70916130 252334080 58080 18446744073709551615 4198400 14817773 140721180914496 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 43700224 140721180920220 140721180920347 140721180920347 140721180925920 0
/proc/81910/statm: 61605 58080 960 2593 0 58498 0
Current children cumulated CPU time: 1178.54 s
Current children cumulated vsize: 253404 KiB
Current children cumulated memory: 236672 KiB
[startup+1242.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115793132/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=44.11 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63430 0 0 0 4401 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1238.32 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
[startup+1245.77 s]
# the end of solver process 81906 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1241.2 s, system=0.576851 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1243.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115793132/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=45.01 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63430 0 0 0 4491 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1239.22 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
[startup+1244.8 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115793132/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=46.61 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63431 0 0 0 4651 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1240.82 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
[startup+1245.2 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115832044/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=47 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63431 0 0 0 4690 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1241.21 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
[startup+1245.6 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115832044/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=47.4 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63431 0 0 0 4730 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1241.61 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
[startup+1245.7 s]
/proc/loadavg: 4.09 4.11 4.09 5/272 82091
/proc/meminfo: memFree=115832044/131249996 swapFree=33010672/33010684
[pid=81906] ppid=81903 vsize=4324 memory=2944 CPUtime=1194.21 cores=0,2
/proc/81906/stat : 81906 (Hybrid-CASHWMax) S 81903 81906 80615 0 -1 4194304 282 59723 0 0 0 0 119376 45 20 0 1 0 70916129 4427776 736 18446744073709551615 93868671299584 93868672194117 140734645987920 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93868672433168 93868672480912 93868697587712 140734645995863 140734645996017 140734645996017 140734646001619 0
/proc/81906/statm: 1081 736 672 219 0 143 0
[pid=82088] ppid=81906 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82088/stat : 82088 (timeout) S 81906 82088 80615 0 -1 4194304 112 0 0 0 0 0 0 0 20 0 1 0 71035931 2723840 352 18446744073709551615 94585398292480 94585398308993 140728681022672 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94585398323760 94585398325848 94585405472768 140728681027974 140728681028130 140728681028130 140728681033703 0
/proc/82088/statm: 665 352 352 5 0 90 0
[pid=82089] ppid=82088 vsize=312112 memory=247696 CPUtime=47.5 cores=0,2
/proc/82089/stat : 82089 (ExactPR-S) R 82088 82088 80615 0 -1 4194304 63431 0 0 0 4740 10 0 0 20 0 1 0 71035931 319602688 61924 18446744073709551615 93888619925504 93888629225541 140737483294192 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 93888631011648 93888631050728 93888667095040 140737483299230 140737483299367 140737483299367 140737483304940 0
/proc/82089/statm: 78028 61924 3392 2271 0 72666 0
Current children cumulated CPU time: 1241.71 s
Current children cumulated vsize: 319096 KiB
Current children cumulated memory: 252048 KiB
Child status: 0
Real time (s): 1245.77
CPU time (s): 1241.78
CPU user time (s): 1241.2
CPU system time (s): 0.576851
CPU usage (%): 99.68
Max. virtual memory (cumulated for all children) (KiB): 428908
Max. memory (cumulated for all children) (KiB): 412152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1241.2
system time used= 0.576851
maximum resident set size= 407800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 826
involuntary context switches= 1656
# summary of solver processes directly reported to runsolver:
# pid: 81906
# total CPU time (s): 1241.78
# total CPU user time (s): 1241.2
# total CPU system time (s): 0.576851
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.94361 second user time and 5.95371 second system time
The end
Begin job on nodeC017 at 2025-07-03 16:19:44
IDJOB=4519540
IDBENCH=177275
IDSOLVER=3327
FILE ID=nodeC017/4519540-1751552384
RUNJOBID= nodeC017-1751544007-80648
SLURM_JOB_ID= 9598712
Free space on /tmp= 432308 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519540-1751552384/watcher-4519540-1751552384 -o /tmp/evaluation-result-4519540-1751552384/solver-4519540-1751552384 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751544007-80648 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4519540-1751552384.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51
RANDOM SEED=1476663186
nodeC017 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 : 3596.651
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.12
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.079
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.12
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.062
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.12
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.12
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.061
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.12
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 : 3600.065
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.12
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 : 3700.000
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.12
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 : 3597.727
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.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 96297048 kB
MemAvailable: 100095576 kB
Buffers: 1688 kB
Cached: 4567264 kB
SwapCached: 8 kB
Active: 29879568 kB
Inactive: 4277884 kB
Active(anon): 29590444 kB
Inactive(anon): 16128 kB
Active(file): 289124 kB
Inactive(file): 4261756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26064 kB
Writeback: 4 kB
AnonPages: 29588364 kB
Mapped: 115692 kB
Shmem: 18072 kB
KReclaimable: 173376 kB
Slab: 264716 kB
SReclaimable: 173376 kB
SUnreclaim: 91340 kB
KernelStack: 4352 kB
PageTables: 61452 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 33593448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 15990784 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: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432348 MiB
End job on nodeC017 at 2025-07-03 16:40:30