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 (62449 MiB free)
memory of node 1: 64507 MiB (63532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4494513-1751133682/watcher-4494513-1751133682 -o /tmp/evaluation-result-4494513-1751133682/solver-4494513-1751133682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751133631-12208 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494513-1751133682.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12485, runsolver pid=12482
[startup+0.100061 s]*
/proc/loadavg: 2.49 0.74 0.31 4/272 12488
/proc/meminfo: memFree=129005232/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=436 memory=128 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) D 12485 12485 12190 0 -1 4456448 67 0 0 0 0 0 0 0 20 0 1 0 29046138 446464 32 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 109 32 32 5 0 42 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 4760 KiB
Current children cumulated memory: 3200 KiB
[startup+0.205991 s]*
/proc/loadavg: 2.49 0.74 0.31 5/273 12489
/proc/meminfo: memFree=129001708/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=28812 memory=14464 CPUtime=0.06 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 2840 0 0 0 6 0 0 0 20 0 1 0 29046143 29503488 3616 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 7203 3616 864 2593 0 4096 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 35796 KiB
Current children cumulated memory: 18944 KiB
[startup+0.305845 s]*
/proc/loadavg: 2.49 0.74 0.31 5/273 12489
/proc/meminfo: memFree=128981548/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=43928 memory=29440 CPUtime=0.15 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 6604 0 0 0 15 0 0 0 20 0 1 0 29046143 44982272 7360 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 10982 7360 864 2593 0 7875 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 50912 KiB
Current children cumulated memory: 33920 KiB
[startup+0.700223 s]
/proc/loadavg: 2.49 0.74 0.31 5/273 12489
/proc/meminfo: memFree=128981548/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=103652 memory=89344 CPUtime=0.55 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 21537 0 0 0 52 3 0 0 20 0 1 0 29046143 106139648 22336 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 25913 22336 896 2593 0 22806 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 110636 KiB
Current children cumulated memory: 93824 KiB
[startup+1.50025 s]
/proc/loadavg: 2.49 0.74 0.31 5/273 12489
/proc/meminfo: memFree=128983992/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=120152 memory=105364 CPUtime=1.34 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 27811 0 0 0 130 4 0 0 20 0 1 0 29046143 123035648 26341 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 30038 26341 960 2593 0 26931 0
Current children cumulated CPU time: 1.34 s
Current children cumulated vsize: 127136 KiB
Current children cumulated memory: 109844 KiB
[startup+3.10577 s]
/proc/loadavg: 2.61 0.80 0.33 5/273 12489
/proc/meminfo: memFree=129008016/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=121012 memory=106292 CPUtime=2.94 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 30154 0 0 0 290 4 0 0 20 0 1 0 29046143 123916288 26573 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 30253 26573 960 2593 0 27146 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 127996 KiB
Current children cumulated memory: 110772 KiB
[startup+6.30023 s]
/proc/loadavg: 2.61 0.80 0.33 5/273 12489
/proc/meminfo: memFree=129056960/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=127936 memory=113144 CPUtime=6.13 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 35761 0 0 0 607 6 0 0 20 0 1 0 29046143 131006464 28286 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 31984 28286 960 2593 0 28877 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 134920 KiB
Current children cumulated memory: 117624 KiB
[startup+12.7002 s]
/proc/loadavg: 2.83 0.90 0.37 5/273 12489
/proc/meminfo: memFree=129138064/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=122840 memory=107560 CPUtime=12.51 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 39926 0 0 0 1244 7 0 0 20 0 1 0 29046143 125788160 26890 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 30710 26890 960 2593 0 27603 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 129824 KiB
Current children cumulated memory: 112040 KiB
[startup+25.5003 s]
/proc/loadavg: 3.01 1.00 0.41 5/274 12542
/proc/meminfo: memFree=129868960/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=135580 memory=120936 CPUtime=25.27 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 46138 0 0 0 2518 9 0 0 20 0 1 0 29046143 138833920 30234 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 33895 30234 960 2593 0 30788 0
Current children cumulated CPU time: 25.27 s
Current children cumulated vsize: 142564 KiB
Current children cumulated memory: 125416 KiB
[startup+51.1058 s]
/proc/loadavg: 3.41 1.26 0.51 5/275 12544
/proc/meminfo: memFree=129844864/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=141528 memory=126500 CPUtime=50.81 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 54001 0 0 0 5069 12 0 0 20 0 1 0 29046143 144924672 31625 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 35382 31625 960 2593 0 32275 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 148512 KiB
Current children cumulated memory: 130980 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 1.74 0.72 5/275 12595
/proc/meminfo: memFree=129649492/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=150308 memory=135880 CPUtime=101.87 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 62674 0 0 0 10171 16 0 0 20 0 1 0 29046143 153915392 33970 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 37577 33970 960 2593 0 34470 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 157292 KiB
Current children cumulated memory: 140360 KiB
[startup+162.3 s]
/proc/loadavg: 4.02 2.17 0.94 5/275 12597
/proc/meminfo: memFree=129581700/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=133288 memory=119244 CPUtime=161.69 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 66388 0 0 0 16151 18 0 0 20 0 1 0 29046143 136486912 29811 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 33322 29811 960 2593 0 30215 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 140272 KiB
Current children cumulated memory: 123724 KiB
[startup+213.201 s]
# the end of solver process 12485 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=212.213 s, system=0.252428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 4.01 2.26 0.99 5/276 12698
/proc/meminfo: memFree=129411336/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=175132 memory=160928 CPUtime=178.54 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 69596 0 0 0 17833 21 0 0 20 0 1 0 29046143 179335168 40232 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 43783 40232 960 2593 0 40676 0
Current children cumulated CPU time: 178.54 s
Current children cumulated vsize: 182116 KiB
Current children cumulated memory: 165408 KiB
[startup+192 s]*
/proc/loadavg: 4.01 2.35 1.04 5/276 12698
/proc/meminfo: memFree=129379136/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=135952 memory=121960 CPUtime=191.32 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 70342 0 0 0 19110 22 0 0 20 0 1 0 29046143 139214848 30490 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 33988 30490 960 2593 0 30881 0
Current children cumulated CPU time: 191.32 s
Current children cumulated vsize: 142936 KiB
Current children cumulated memory: 126440 KiB
[startup+204.8 s]
/proc/loadavg: 4.01 2.40 1.07 5/276 12699
/proc/meminfo: memFree=129395996/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=158892 memory=144280 CPUtime=204.08 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 72658 0 0 0 20384 24 0 0 20 0 1 0 29046143 162705408 36070 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 39723 36070 960 2593 0 36616 0
Current children cumulated CPU time: 204.08 s
Current children cumulated vsize: 165876 KiB
Current children cumulated memory: 148760 KiB
[startup+208 s]*
/proc/loadavg: 4.09 2.45 1.09 5/276 12699
/proc/meminfo: memFree=129368144/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=183892 memory=169240 CPUtime=207.28 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 73287 0 0 0 20704 24 0 0 20 0 1 0 29046143 188305408 42310 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 45973 42310 960 2593 0 42866 0
Current children cumulated CPU time: 207.28 s
Current children cumulated vsize: 190876 KiB
Current children cumulated memory: 173720 KiB
[startup+211.2 s]
/proc/loadavg: 4.09 2.45 1.09 5/276 12699
/proc/meminfo: memFree=129390420/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=183892 memory=169752 CPUtime=210.46 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 73397 0 0 0 21022 24 0 0 20 0 1 0 29046143 188305408 42438 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 45973 42438 960 2593 0 42866 0
Current children cumulated CPU time: 210.46 s
Current children cumulated vsize: 190876 KiB
Current children cumulated memory: 174232 KiB
[startup+212 s]*
/proc/loadavg: 4.08 2.47 1.10 5/276 12699
/proc/meminfo: memFree=129390480/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=183892 memory=169752 CPUtime=211.27 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 73397 0 0 0 21103 24 0 0 20 0 1 0 29046143 188305408 42438 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 45973 42438 960 2593 0 42866 0
Current children cumulated CPU time: 211.27 s
Current children cumulated vsize: 190876 KiB
Current children cumulated memory: 174232 KiB
[startup+212.8 s]
/proc/loadavg: 4.08 2.47 1.10 5/276 12699
/proc/meminfo: memFree=129390480/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 250 103 0 0 0 0 0 0 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
[pid=12488] ppid=12485 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/12488/stat : 12488 (timeout) S 12485 12488 12190 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29046138 2723840 352 18446744073709551615 94380628942848 94380628959361 140723434358960 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94380628974128 94380628976216 94380638330880 140723434363296 140723434363426 140723434363426 140723434368999 0
/proc/12488/statm: 665 352 352 5 0 90 0
[pid=12489] ppid=12488 vsize=183892 memory=169752 CPUtime=212.06 cores=5,7
/proc/12489/stat : 12489 (CASHWMaxSAT-Dis) R 12488 12488 12190 0 -1 4194304 73397 0 0 0 21182 24 0 0 20 0 1 0 29046143 188305408 42438 18446744073709551615 4198400 14817773 140726848334224 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 41558016 140726848342438 140726848342555 140726848342555 140726848348128 0
/proc/12489/statm: 45973 42438 960 2593 0 42866 0
Current children cumulated CPU time: 212.06 s
Current children cumulated vsize: 190876 KiB
Current children cumulated memory: 174232 KiB
[startup+213.2 s]
/proc/loadavg: 4.08 2.47 1.10 5/276 12699
/proc/meminfo: memFree=129380888/131250000 swapFree=33010684/33010684
[pid=12485] ppid=12482 vsize=4324 memory=3072 CPUtime=212.45 cores=5,7
/proc/12485/stat : 12485 (Hybrid-CASHWMax) S 12482 12485 12190 0 -1 4194304 313 73706 0 0 0 0 21221 24 20 0 1 0 29046129 4427776 768 18446744073709551615 94065321906176 94065322800709 140735424482720 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94065323039760 94065323087504 94065353957376 140735424485719 140735424485873 140735424485873 140735424491475 0
/proc/12485/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 212.45 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
Child status: 0
Real time (s): 213.201
CPU time (s): 212.465
CPU user time (s): 212.213
CPU system time (s): 0.252428
CPU usage (%): 99.6552
Max. virtual memory (cumulated for all children) (KiB): 207336
Max. memory (cumulated for all children) (KiB): 188892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 212.213
system time used= 0.252428
maximum resident set size= 186204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74119
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 383
involuntary context switches= 270
# summary of solver processes directly reported to runsolver:
# pid: 12485
# total CPU time (s): 212.465
# total CPU user time (s): 212.213
# total CPU system time (s): 0.252428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.435758 second user time and 1.13111 second system time
The end
Begin job on nodeC018 at 2025-06-28 20:01:22
IDJOB=4494513
IDBENCH=147893
IDSOLVER=3328
FILE ID=nodeC018/4494513-1751133682
RUNJOBID= nodeC018-1751133631-12208
SLURM_JOB_ID= 9587418
Free space on /tmp= 432988 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k4_l4_n360.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4494513-1751133682/watcher-4494513-1751133682 -o /tmp/evaluation-result-4494513-1751133682/solver-4494513-1751133682 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751133631-12208 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadS+SynLSCD HOME/instance-4494513-1751133682.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4e71f8d633240b9029e11e93d5a0a0b4
RANDOM SEED=1132775857
nodeC018 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 : 3599.743
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 : 6999.66
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 : 3599.737
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 : 6999.66
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 : 3601.741
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 : 6999.66
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 : 3600.192
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 : 6999.66
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 : 3599.825
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 : 6999.66
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 : 3602.347
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 : 6999.66
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 : 6999.66
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 : 3599.666
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 : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129005592 kB
MemAvailable: 128625112 kB
Buffers: 3280 kB
Cached: 419832 kB
SwapCached: 0 kB
Active: 1048580 kB
Inactive: 213228 kB
Active(anon): 856772 kB
Inactive(anon): 0 kB
Active(file): 191808 kB
Inactive(file): 213228 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20900 kB
Writeback: 0 kB
AnonPages: 841768 kB
Mapped: 114700 kB
Shmem: 18076 kB
KReclaimable: 68956 kB
Slab: 152232 kB
SReclaimable: 68956 kB
SUnreclaim: 83276 kB
KernelStack: 4368 kB
PageTables: 4828 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1218420 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 176128 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC018 at 2025-06-28 20:04:56