0.50/0.59 c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
0.50/0.59 c Do: 140721633901608 140721633901616
0.50/0.59 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
1.18/1.21 c Starting SCIP solver (with time-limit = 1800s) ...
1795.15/1801.23 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
1808.50/1814.69 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (59603 MiB free)
memory of node 1: 64465 MiB (59817 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507927-1751504259/watcher-4507927-1751504259 -o /tmp/evaluation-result-4507927-1751504259/solver-4507927-1751504259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751497021-71790 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4507927-1751504259.opb -total-t=3600 -no-par -v0
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=72906, runsolver pid=72903
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=122266916/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=36384 memory=21652 CPUtime=0.09 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 4862 0 0 0 9 0 0 0 20 0 1 0 66103397 37257216 5413 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 9096 5413 864 2593 0 5989 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36384 KiB
Current children cumulated memory: 21652 KiB
[startup+0.205775 s]*
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=122250788/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=55040 memory=38912 CPUtime=0.2 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 9348 0 0 0 19 1 0 0 20 0 1 0 66103397 56360960 9728 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 13760 9728 896 2593 0 10653 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55040 KiB
Current children cumulated memory: 38912 KiB
[startup+0.305775 s]*
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=122231636/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=92628 memory=73316 CPUtime=0.29 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 16332 0 0 0 27 2 0 0 20 0 1 0 66103397 94851072 18329 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 23157 18329 896 2593 0 20050 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92628 KiB
Current children cumulated memory: 73316 KiB
[startup+0.700185 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=122179468/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=244920 memory=223948 CPUtime=0.69 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 48471 0 0 0 61 8 0 0 20 0 1 0 66103397 250798080 55987 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 61230 55987 2272 2593 0 58123 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 244920 KiB
Current children cumulated memory: 223948 KiB
[startup+1.50018 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=121913480/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=704196 memory=682780 CPUtime=1.49 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 158986 0 0 0 123 26 0 0 20 0 1 0 66103397 721096704 170695 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 176049 170695 2400 2593 0 172942 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 704196 KiB
Current children cumulated memory: 682780 KiB
[startup+3.10564 s]
/proc/loadavg: 4.08 4.13 4.10 5/264 72907
/proc/meminfo: memFree=121291960/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=1074384 memory=1043652 CPUtime=3.09 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 236358 0 0 0 269 40 0 0 20 0 1 0 66103397 1100169216 260913 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 268596 260913 2496 2593 0 265489 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1074384 KiB
Current children cumulated memory: 1043652 KiB
[startup+6.30018 s]
/proc/loadavg: 4.07 4.12 4.10 5/264 72908
/proc/meminfo: memFree=121005372/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=1330264 memory=1300116 CPUtime=6.27 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 292762 0 0 0 578 49 0 0 20 0 1 0 66103397 1362190336 325029 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 332566 325029 2496 2593 0 329459 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1330264 KiB
Current children cumulated memory: 1300116 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 72908
/proc/meminfo: memFree=120960696/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=1380240 memory=1350492 CPUtime=12.66 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 296298 0 0 0 1215 51 0 0 20 0 1 0 66103397 1413365760 337623 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 345060 337623 2528 2593 0 341953 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1380240 KiB
Current children cumulated memory: 1350492 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.11 4.09 5/264 72908
/proc/meminfo: memFree=120936028/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=1380240 memory=1350492 CPUtime=25.41 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 296315 0 0 0 2490 51 0 0 20 0 1 0 66103397 1413365760 337623 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 345060 337623 2528 2593 0 341953 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1380240 KiB
Current children cumulated memory: 1350492 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 72908
/proc/meminfo: memFree=118938768/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2130352 memory=1997304 CPUtime=50.93 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 304271 0 0 0 5029 64 0 0 20 0 1 0 66103397 2181480448 499326 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 532588 499326 2528 2593 0 529481 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2130352 KiB
Current children cumulated memory: 1997304 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 72911
/proc/meminfo: memFree=118210968/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2865656 memory=2719164 CPUtime=101.95 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 406739 0 0 0 10106 89 0 0 20 0 1 0 66103397 2934431744 679791 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 716414 679791 2624 2593 0 713307 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 2865656 KiB
Current children cumulated memory: 2719164 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/264 72913
/proc/meminfo: memFree=118196332/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2878536 memory=2730520 CPUtime=161.73 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 407583 0 0 0 16083 90 0 0 20 0 1 0 66103397 2947620864 682630 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 719634 682630 2624 2593 0 716527 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 2878536 KiB
Current children cumulated memory: 2730520 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/265 72931
/proc/meminfo: memFree=118183404/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2889052 memory=2741044 CPUtime=221.51 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 408728 0 0 0 22061 90 0 0 20 0 1 0 66103397 2958389248 685261 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 722263 685261 2624 2593 0 719156 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 2889052 KiB
Current children cumulated memory: 2741044 KiB
[startup+282.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/265 72933
/proc/meminfo: memFree=118186264/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2889324 memory=2741300 CPUtime=281.29 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 408852 0 0 0 28039 90 0 0 20 0 1 0 66103397 2958667776 685325 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 722331 685325 2624 2593 0 719224 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 2889324 KiB
Current children cumulated memory: 2741300 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 72935
/proc/meminfo: memFree=118176372/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2889464 memory=2741428 CPUtime=341.08 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 408910 0 0 0 34017 91 0 0 20 0 1 0 66103397 2958811136 685357 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 722366 685357 2624 2593 0 719259 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 2889464 KiB
Current children cumulated memory: 2741428 KiB
[startup+402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/265 72942
/proc/meminfo: memFree=118174184/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2889624 memory=2741556 CPUtime=400.87 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 408996 0 0 0 39996 91 0 0 20 0 1 0 66103397 2958974976 685389 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 722406 685389 2624 2593 0 719299 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 2889624 KiB
Current children cumulated memory: 2741556 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/266 72947
/proc/meminfo: memFree=118175484/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2889624 memory=2741556 CPUtime=460.66 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 409045 0 0 0 45974 92 0 0 20 0 1 0 66103397 2958974976 685389 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 722406 685389 2624 2593 0 719299 0
################
# More data... #
################
Current children cumulated memory: 2753612 KiB
[startup+1422.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 72989
/proc/meminfo: memFree=121449216/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1417.43 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411325 0 0 0 141646 97 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1417.43 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1482.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 72991
/proc/meminfo: memFree=121443868/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1477.24 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411377 0 0 0 147626 98 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1477.24 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1542.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/264 72993
/proc/meminfo: memFree=121439032/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1537.05 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411426 0 0 0 153607 98 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1537.05 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1602.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 73000
/proc/meminfo: memFree=121440856/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1596.85 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411475 0 0 0 159587 98 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1596.85 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1662.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 73004
/proc/meminfo: memFree=121430556/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1656.67 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411523 0 0 0 165568 99 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1656.67 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1722.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 73007
/proc/meminfo: memFree=121289832/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=2898848 memory=2753612 CPUtime=1716.48 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 411570 0 0 0 171549 99 0 0 20 0 1 0 66103397 2968420352 688403 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 724712 688403 2624 2593 0 721605 0
Current children cumulated CPU time: 1716.48 s
Current children cumulated vsize: 2898848 KiB
Current children cumulated memory: 2753612 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/265 73011
/proc/meminfo: memFree=121191840/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=3019968 memory=2827340 CPUtime=1776.32 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 430047 0 0 0 177529 103 0 0 20 0 1 0 66103397 3092447232 706835 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 754992 706835 2624 2593 0 751885 0
Current children cumulated CPU time: 1776.32 s
Current children cumulated vsize: 3019968 KiB
Current children cumulated memory: 2827340 KiB
[startup+1814.73 s]
# the end of solver process 72906 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1807.5 s, system=1.14391 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.08 4.09 5/265 73012
/proc/meminfo: memFree=122711116/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=3107012 memory=2889272 CPUtime=1785.99 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 439144 0 0 0 178493 106 0 0 20 0 1 0 66103397 3181580288 722318 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 776753 722318 2624 2593 0 773646 0
Current children cumulated CPU time: 1785.99 s
Current children cumulated vsize: 3107012 KiB
Current children cumulated memory: 2889272 KiB
[startup+1804.8 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 73013
/proc/meminfo: memFree=124010944/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=1598072 memory=1572208 CPUtime=1798.74 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 439839 0 0 0 179766 108 0 0 20 0 1 0 66103397 1636425728 393052 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 399518 393052 2688 2593 0 396411 0
Current children cumulated CPU time: 1798.74 s
Current children cumulated vsize: 1598072 KiB
Current children cumulated memory: 1572208 KiB
[startup+1811.2 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124609616/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=997948 memory=981236 CPUtime=1805.12 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 441028 0 0 0 180402 110 0 0 20 0 1 0 66103397 1021898752 245309 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 249487 245309 2688 2593 0 246380 0
Current children cumulated CPU time: 1805.12 s
Current children cumulated vsize: 997948 KiB
Current children cumulated memory: 981236 KiB
[startup+1812.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124609616/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=997948 memory=981236 CPUtime=1806.71 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 441028 0 0 0 180561 110 0 0 20 0 1 0 66103397 1021898752 245309 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 249487 245309 2688 2593 0 246380 0
Current children cumulated CPU time: 1806.71 s
Current children cumulated vsize: 997948 KiB
Current children cumulated memory: 981236 KiB
[startup+1813.6 s]
/proc/loadavg: 4.13 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124609616/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=997948 memory=981236 CPUtime=1807.51 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 441028 0 0 0 180641 110 0 0 20 0 1 0 66103397 1021898752 245309 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 249487 245309 2688 2593 0 246380 0
Current children cumulated CPU time: 1807.51 s
Current children cumulated vsize: 997948 KiB
Current children cumulated memory: 981236 KiB
[startup+1814.4 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124609616/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=997948 memory=981236 CPUtime=1808.3 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 441028 0 0 0 180720 110 0 0 20 0 1 0 66103397 1021898752 245309 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 249487 245309 2688 2593 0 246380 0
Current children cumulated CPU time: 1808.3 s
Current children cumulated vsize: 997948 KiB
Current children cumulated memory: 981236 KiB
[startup+1814.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124609616/131249996 swapFree=33006296/33010684
[pid=72906] ppid=72903 vsize=997948 memory=981236 CPUtime=1808.5 cores=4,6
/proc/72906/stat : 72906 (CASHWMaxSAT-Dis) R 72903 72906 71779 0 -1 4194304 441028 0 0 0 180740 110 0 0 20 0 1 0 66103397 1021898752 245309 18446744073709551615 4198400 14817773 140721633904016 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 35196928 140721633913194 140721633913309 140721633913309 140721633918911 0
/proc/72906/statm: 249487 245309 2688 2593 0 246380 0
Current children cumulated CPU time: 1808.5 s
Current children cumulated vsize: 997948 KiB
Current children cumulated memory: 981236 KiB
[startup+1814.7 s]*
/proc/loadavg: 4.12 4.09 4.09 5/265 73013
/proc/meminfo: memFree=124795144/131249996 swapFree=33006296/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 1814.73
CPU time (s): 1808.64
CPU user time (s): 1807.5
CPU system time (s): 1.14391
CPU usage (%): 99.6648
Max. virtual memory (cumulated for all children) (KiB): 3114656
Max. memory (cumulated for all children) (KiB): 2894264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1807.5
system time used= 1.14391
maximum resident set size= 2894264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441028
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1552
# summary of solver processes directly reported to runsolver:
# pid: 72906
# total CPU time (s): 1808.64
# total CPU user time (s): 1807.5
# total CPU system time (s): 1.14391
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.72067 second user time and 8.25111 second system time
The end
Begin job on nodeC015 at 2025-07-03 02:57:39
IDJOB=4507927
IDBENCH=158390
IDSOLVER=3322
FILE ID=nodeC015/4507927-1751504259
RUNJOBID= nodeC015-1751497021-71790
SLURM_JOB_ID= 9598571
Free space on /tmp= 432328 MiB
SOLVER NAME= CASHWMaxSATDisjCad-S 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-sep4.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4507927-1751504259/watcher-4507927-1751504259 -o /tmp/evaluation-result-4507927-1751504259/solver-4507927-1751504259 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751497021-71790 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4507927-1751504259.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b67c8b15922ffb2eac696beabc53406c
RANDOM SEED=277880086
nodeC015 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
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.14
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.528
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.14
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.049
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.14
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 : 3557.533
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.14
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.032
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.14
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.078
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.14
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 : 3598.331
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.14
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 : 3604.620
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.14
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 122286852 kB
MemAvailable: 122927024 kB
Buffers: 1508 kB
Cached: 1424096 kB
SwapCached: 3880 kB
Active: 7105556 kB
Inactive: 1186244 kB
Active(anon): 6831540 kB
Inactive(anon): 48808 kB
Active(file): 274016 kB
Inactive(file): 1137436 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33006296 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14904 kB
Writeback: 0 kB
AnonPages: 6865380 kB
Mapped: 131408 kB
Shmem: 14152 kB
KReclaimable: 135920 kB
Slab: 225896 kB
SReclaimable: 135920 kB
SUnreclaim: 89976 kB
KernelStack: 4320 kB
PageTables: 16604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 7541384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1818624 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: 205524 kB
DirectMap2M: 11100160 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432316 MiB
End job on nodeC015 at 2025-07-03 03:27:54