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 (63011 MiB free)
memory of node 1: 64465 MiB (63992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491994-1751133693/watcher-4491994-1751133693 -o /tmp/evaluation-result-4491994-1751133693/solver-4491994-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11751 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4491994-1751133693.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=12524, runsolver pid=12521
[startup+0.100062 s]*
/proc/loadavg: 2.79 0.89 0.37 4/271 12542
/proc/meminfo: memFree=130036436/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=35156 memory=16640 CPUtime=0.07 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 3506 0 0 0 7 0 0 0 20 0 1 0 29043887 35999744 4160 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 8789 4160 736 2416 0 5891 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 42140 KiB
Current children cumulated memory: 20992 KiB
[startup+0.205538 s]*
/proc/loadavg: 2.79 0.89 0.37 4/272 12550
/proc/meminfo: memFree=130008684/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=54456 memory=36728 CPUtime=0.17 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 8686 0 0 0 16 1 0 0 20 0 1 0 29043887 55762944 9182 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 13614 9182 768 2416 0 10716 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 61440 KiB
Current children cumulated memory: 41080 KiB
[startup+0.305641 s]*
/proc/loadavg: 2.79 0.89 0.37 5/272 12556
/proc/meminfo: memFree=129987676/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=54656 memory=39104 CPUtime=0.27 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 10067 0 0 0 26 1 0 0 20 0 1 0 29043887 55967744 9776 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 13664 9776 800 2416 0 10766 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 61640 KiB
Current children cumulated memory: 43456 KiB
[startup+0.700256 s]
/proc/loadavg: 2.79 0.89 0.37 4/269 12560
/proc/meminfo: memFree=129981072/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=63328 memory=46344 CPUtime=0.66 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 11475 0 0 0 65 1 0 0 20 0 1 0 29043887 64847872 11586 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 15832 11586 800 2416 0 12934 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70312 KiB
Current children cumulated memory: 50696 KiB
[startup+1.50018 s]
/proc/loadavg: 2.79 0.89 0.37 5/275 12590
/proc/meminfo: memFree=129943468/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=70468 memory=53448 CPUtime=1.45 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 12252 0 0 0 144 1 0 0 20 0 1 0 29043887 72159232 13362 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 17617 13362 800 2416 0 14719 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 57800 KiB
[startup+3.10547 s]
/proc/loadavg: 2.79 0.89 0.37 5/275 12640
/proc/meminfo: memFree=129925192/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=70468 memory=55624 CPUtime=3.06 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 12808 0 0 0 304 2 0 0 20 0 1 0 29043887 72159232 13906 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 17617 13906 800 2416 0 14719 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 59976 KiB
[startup+6.30019 s]
/proc/loadavg: 2.97 0.96 0.39 5/275 12640
/proc/meminfo: memFree=129917100/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=70468 memory=55624 CPUtime=6.24 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 12813 0 0 0 622 2 0 0 20 0 1 0 29043887 72159232 13906 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 17617 13906 800 2416 0 14719 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 59976 KiB
[startup+12.7002 s]
/proc/loadavg: 3.05 1.01 0.41 5/275 12640
/proc/meminfo: memFree=129903296/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=75036 memory=58724 CPUtime=12.62 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 13078 0 0 0 1260 2 0 0 20 0 1 0 29043887 76836864 14681 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 18759 14681 800 2416 0 15861 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 82020 KiB
Current children cumulated memory: 63076 KiB
[startup+25.5002 s]
/proc/loadavg: 3.26 1.16 0.47 5/275 12641
/proc/meminfo: memFree=129829036/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=94164 memory=75040 CPUtime=25.39 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 16165 0 0 0 2535 4 0 0 20 0 1 0 29043887 96423936 18760 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 23541 18760 800 2416 0 20643 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 101148 KiB
Current children cumulated memory: 79392 KiB
[startup+51.1055 s]
/proc/loadavg: 3.59 1.40 0.57 5/275 12641
/proc/meminfo: memFree=129762628/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=124596 memory=99616 CPUtime=50.93 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 17219 0 0 0 5089 4 0 0 20 0 1 0 29043887 127586304 24904 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 31149 24904 800 2416 0 28251 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 131580 KiB
Current children cumulated memory: 103968 KiB
[startup+102.3 s]
/proc/loadavg: 3.97 1.84 0.77 5/275 12793
/proc/meminfo: memFree=129691136/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=274012 memory=259308 CPUtime=999.81 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29075 0 0 0 99969 12 0 0 20 0 1 0 29043887 280588288 64827 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 68503 64827 800 2416 0 65605 0
Current children cumulated CPU time: 999.81 s
Current children cumulated vsize: 280996 KiB
Current children cumulated memory: 263660 KiB
[startup+1062.3 s]
/proc/loadavg: 4.05 4.00 2.94 5/272 12888
/proc/meminfo: memFree=129375272/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1059.66 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 105954 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1059.66 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1122.3 s]
/proc/loadavg: 4.06 4.02 3.01 5/271 12890
/proc/meminfo: memFree=129339064/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1119.5 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 111938 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1119.5 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1182.3 s]
/proc/loadavg: 4.12 4.04 3.09 5/273 12898
/proc/meminfo: memFree=129332544/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1179.33 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 117921 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1179.33 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1199.44 s]
# the end of solver process 12524 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1195.85 s, system=0.216393 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.10 4.04 3.10 5/273 12898
/proc/meminfo: memFree=129332632/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1187.41 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 118729 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1187.41 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1193.6 s]
/proc/loadavg: 4.10 4.04 3.10 5/273 12898
/proc/meminfo: memFree=129332632/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1190.6 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 119048 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1190.6 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1196.8 s]
/proc/loadavg: 4.09 4.04 3.10 5/273 12898
/proc/meminfo: memFree=129332884/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 249 106 0 0 0 0 0 0 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12530] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12530/stat : 12530 (timeout) S 12524 12530 11736 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 29043886 2723840 352 18446744073709551615 94354242084864 94354242101377 140726340962160 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94354242116144 94354242118232 94354273234944 140726340966816 140726340966946 140726340966946 140726340972519 0
/proc/12530/statm: 665 352 352 5 0 90 0
[pid=12532] ppid=12530 vsize=281404 memory=266600 CPUtime=1193.8 cores=0,2
/proc/12532/stat : 12532 (CASHWMaxSAT-Dis) R 12530 12530 11736 0 -1 4194304 29881 0 0 0 119368 12 0 0 20 0 1 0 29043887 288157696 66650 18446744073709551615 4198400 14093885 140723191393312 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 52961280 140723191396774 140723191396891 140723191396891 140723191402464 0
/proc/12532/statm: 70351 66650 800 2416 0 67453 0
Current children cumulated CPU time: 1193.8 s
Current children cumulated vsize: 288388 KiB
Current children cumulated memory: 270952 KiB
[startup+1198.4 s]
/proc/loadavg: 4.09 4.04 3.10 5/273 12898
/proc/meminfo: memFree=129332884/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=1195.02 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 282 30105 0 0 0 0 119490 12 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 1195.02 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB
[startup+1199.2 s]
/proc/loadavg: 4.09 4.04 3.10 5/273 12900
/proc/meminfo: memFree=129526952/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=1195.02 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 282 30105 0 0 0 0 119490 12 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12899] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12899/stat : 12899 (timeout) S 12524 12899 11736 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 29163687 2723840 352 18446744073709551615 94076235235328 94076235251841 140736804842736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94076235266608 94076235268696 94076237918208 140736804845960 140736804846114 140736804846114 140736804851687 0
/proc/12899/statm: 665 352 352 5 0 90 0
[pid=12900] ppid=12899 vsize=133100 memory=59916 CPUtime=0.8 cores=0,2
/proc/12900/stat : 12900 (SynLSCD) R 12899 12899 11736 0 -1 4194304 13208 0 35 0 75 5 0 0 20 0 1 0 29163688 136294400 14979 18446744073709551615 94886460248064 94886462682217 140733226724256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94886463163640 94886463196672 94886484111360 140733226727842 140733226727977 140733226727977 140733226733550 0
/proc/12900/statm: 33275 14979 2464 595 0 17942 0
Current children cumulated CPU time: 1195.82 s
Current children cumulated vsize: 140084 KiB
Current children cumulated memory: 64268 KiB
[startup+1199.4 s]
/proc/loadavg: 4.09 4.04 3.10 5/273 12900
/proc/meminfo: memFree=129526952/131249992 swapFree=33010684/33010684
[pid=12524] ppid=12521 vsize=4324 memory=2944 CPUtime=1195.02 cores=0,2
/proc/12524/stat : 12524 (Hybrid-CASHWMax) S 12521 12524 11736 0 -1 4194304 282 30105 0 0 0 0 119490 12 20 0 1 0 29043884 4427776 736 18446744073709551615 94451656515584 94451657410117 140723938723712 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94451657649168 94451657696912 94451683971072 140723938728279 140723938728433 140723938728433 140723938734035 0
/proc/12524/statm: 1081 736 672 219 0 143 0
[pid=12899] ppid=12524 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/12899/stat : 12899 (timeout) S 12524 12899 11736 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 29163687 2723840 352 18446744073709551615 94076235235328 94076235251841 140736804842736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94076235266608 94076235268696 94076237918208 140736804845960 140736804846114 140736804846114 140736804851687 0
/proc/12899/statm: 665 352 352 5 0 90 0
[pid=12900] ppid=12899 vsize=133100 memory=59916 CPUtime=1 cores=0,2
/proc/12900/stat : 12900 (SynLSCD) R 12899 12899 11736 0 -1 4194304 13208 0 35 0 92 8 0 0 20 0 1 0 29163688 136294400 14979 18446744073709551615 94886460248064 94886462682217 140733226724256 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94886463163640 94886463196672 94886484111360 140733226727842 140733226727977 140733226727977 140733226733550 0
/proc/12900/statm: 33275 14979 2464 595 0 17942 0
Current children cumulated CPU time: 1196.02 s
Current children cumulated vsize: 140084 KiB
Current children cumulated memory: 64268 KiB
Child status: 0
Real time (s): 1199.44
CPU time (s): 1196.06
CPU user time (s): 1195.85
CPU system time (s): 0.216393
CPU usage (%): 99.7186
Max. virtual memory (cumulated for all children) (KiB): 288388
Max. memory (cumulated for all children) (KiB): 270952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.85
system time used= 0.216393
maximum resident set size= 266600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44478
page faults= 39
swaps= 0
block input operations= 30368
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 951
involuntary context switches= 2639
# summary of solver processes directly reported to runsolver:
# pid: 12524
# total CPU time (s): 1196.06
# total CPU user time (s): 1195.85
# total CPU system time (s): 0.216393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.29017 second user time and 5.18664 second system time
The end
Begin job on nodeC035 at 2025-06-28 20:01:33
IDJOB=4491994
IDBENCH=147756
IDSOLVER=3331
FILE ID=nodeC035/4491994-1751133693
RUNJOBID= nodeC035-1751133631-11751
SLURM_JOB_ID= 9587435
Free space on /tmp= 433024 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+SynLSCD BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491994-1751133693/watcher-4491994-1751133693 -o /tmp/evaluation-result-4491994-1751133693/solver-4491994-1751133693 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751133631-11751 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+SynLSCD HOME/instance-4491994-1751133693.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=1309337057
nodeC035 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.574
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.51
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 : 3598.592
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.51
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 : 3599.762
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.51
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 : 3599.755
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.51
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.827
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.51
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 : 3599.834
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.51
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 : 3514.223
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.51
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 : 3598.548
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 130052468 kB
MemAvailable: 129651552 kB
Buffers: 3280 kB
Cached: 382676 kB
SwapCached: 0 kB
Active: 440660 kB
Inactive: 176072 kB
Active(anon): 248840 kB
Inactive(anon): 0 kB
Active(file): 191820 kB
Inactive(file): 176072 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 54888 kB
Writeback: 4 kB
AnonPages: 233936 kB
Mapped: 109140 kB
Shmem: 18064 kB
KReclaimable: 65628 kB
Slab: 147272 kB
SReclaimable: 65628 kB
SUnreclaim: 81644 kB
KernelStack: 4304 kB
PageTables: 3496 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 569052 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150568 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 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: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC035 at 2025-06-28 20:21:33