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: 63837 MiB (58886 MiB free)
memory of node 1: 64465 MiB (62409 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502995-1751456329/watcher-4502995-1751456329 -o /tmp/evaluation-result-4502995-1751456329/solver-4502995-1751456329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63625 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4502995-1751456329.opb 3600 HOME
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=63651, runsolver pid=63648
[startup+0.10007 s]*
/proc/loadavg: 1.11 1.42 2.20 4/244 63660
/proc/meminfo: memFree=124195624/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=27328 memory=8832 CPUtime=0.07 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 1559 0 0 0 7 0 0 0 20 0 1 0 61312171 27983872 2208 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 6832 2208 736 2416 0 3934 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 34312 KiB
Current children cumulated memory: 13184 KiB
[startup+0.214142 s]*
/proc/loadavg: 1.11 1.42 2.20 5/247 63668
/proc/meminfo: memFree=124143552/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=32436 memory=13824 CPUtime=0.19 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 2809 0 0 0 18 1 0 0 20 0 1 0 61312171 33214464 3456 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 8109 3456 736 2416 0 5211 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 39420 KiB
Current children cumulated memory: 18176 KiB
[startup+0.313833 s]*
/proc/loadavg: 1.11 1.42 2.20 5/250 63672
/proc/meminfo: memFree=124111044/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=36888 memory=18176 CPUtime=0.28 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 3890 0 0 0 27 1 0 0 20 0 1 0 61312171 37773312 4544 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 9222 4544 736 2416 0 6324 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 43872 KiB
Current children cumulated memory: 22528 KiB
[startup+0.700402 s]
/proc/loadavg: 1.11 1.42 2.20 5/254 63680
/proc/meminfo: memFree=124052844/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=58976 memory=40064 CPUtime=0.66 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 9363 0 0 0 63 3 0 0 20 0 1 0 61312171 60391424 10016 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 14744 10016 736 2416 0 11846 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 65960 KiB
Current children cumulated memory: 44416 KiB
[startup+1.50044 s]
/proc/loadavg: 1.35 1.46 2.21 5/254 63680
/proc/meminfo: memFree=123861072/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=121796 memory=102272 CPUtime=1.45 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 24926 0 0 0 139 6 0 0 20 0 1 0 61312171 124719104 25568 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 30449 25568 736 2416 0 27551 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 128780 KiB
Current children cumulated memory: 106624 KiB
[startup+3.11289 s]
/proc/loadavg: 1.35 1.46 2.21 5/252 63681
/proc/meminfo: memFree=123119940/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=280012 memory=258816 CPUtime=3.07 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 64061 0 0 0 293 14 0 0 20 0 1 0 61312171 286732288 64704 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 70003 64704 736 2416 0 67105 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 286996 KiB
Current children cumulated memory: 263168 KiB
[startup+6.30046 s]
/proc/loadavg: 1.56 1.50 2.22 5/259 63694
/proc/meminfo: memFree=122201396/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=471404 memory=452224 CPUtime=6.23 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 112912 0 0 0 600 23 0 0 20 0 1 0 61312171 482717696 113056 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 117851 113056 800 2416 0 114953 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 478388 KiB
Current children cumulated memory: 456576 KiB
[startup+12.7005 s]
/proc/loadavg: 1.75 1.54 2.23 5/259 63694
/proc/meminfo: memFree=121141932/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=514424 memory=491804 CPUtime=12.61 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 118923 0 0 0 1234 27 0 0 20 0 1 0 61312171 526770176 122951 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 128606 122951 800 2416 0 125708 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 521408 KiB
Current children cumulated memory: 496156 KiB
[startup+25.5005 s]
/proc/loadavg: 2.10 1.62 2.25 5/259 63694
/proc/meminfo: memFree=120006692/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=521084 memory=497032 CPUtime=25.37 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 121880 0 0 0 2506 31 0 0 20 0 1 0 61312171 533590016 124258 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 130271 124258 800 2416 0 127373 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 528068 KiB
Current children cumulated memory: 501384 KiB
[startup+51.1134 s]
/proc/loadavg: 2.87 1.85 2.31 5/259 63694
/proc/meminfo: memFree=118204816/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/63654/stat : 63654 (timeout) S 63651 63654 63612 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 61312170 2723840 352 18446744073709551615 94740897632256 94740897648769 140724329440992 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94740897663536 94740897665624 94740908818432 140724329449878 140724329450018 140724329450018 140724329455591 0
/proc/63654/statm: 665 352 352 5 0 90 0
[pid=63655] ppid=63654 vsize=521084 memory=492960 CPUtime=50.88 cores=5,7
/proc/63655/stat : 63655 (CASHWMaxSAT-Dis) R 63654 63654 63612 0 -1 4194304 123775 0 0 0 5054 34 0 0 20 0 1 0 61312171 533590016 123240 18446744073709551615 4198400 14093885 140722579171312 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 49971200 140722579179932 140722579180059 140722579180059 140722579185632 0
/proc/63655/statm: 130271 123240 800 2416 0 127373 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 528068 KiB
Current children cumulated memory: 497312 KiB
[startup+102.301 s]
/proc/loadavg: 4.05 2.34 2.45 5/260 63697
/proc/meminfo: memFree=114539140/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=0 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 249 105 0 0 0 0 0 0 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63654] ppid=63651 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/63751/statm: 641974 604092 3360 2271 0 636612 0
Current children cumulated CPU time: 1417.74 s
Current children cumulated vsize: 2574880 KiB
Current children cumulated memory: 2420592 KiB
[startup+1482.3 s]
/proc/loadavg: 4.10 4.13 3.83 5/258 63781
/proc/meminfo: memFree=96589136/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2578096 memory=2416624 CPUtime=283.42 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 290660 0 0 0 28249 93 0 0 20 0 1 0 61431972 2639970304 604156 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 644524 604156 3360 2271 0 639162 0
Current children cumulated CPU time: 1477.56 s
Current children cumulated vsize: 2585080 KiB
Current children cumulated memory: 2420848 KiB
[startup+1528.9 s]
# the end of solver process 63651 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1521.54 s, system=2.46432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.10 4.13 3.83 5/258 63781
/proc/meminfo: memFree=96606024/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2584220 memory=2416624 CPUtime=285.92 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 290661 0 0 0 28499 93 0 0 20 0 1 0 61431972 2646241280 604156 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 646055 604156 3360 2271 0 640693 0
Current children cumulated CPU time: 1480.06 s
Current children cumulated vsize: 2591204 KiB
Current children cumulated memory: 2420848 KiB
[startup+1510.4 s]
/proc/loadavg: 4.13 4.14 3.84 5/258 63782
/proc/meminfo: memFree=96781224/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2596464 memory=2416624 CPUtime=311.43 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 290675 0 0 0 31050 93 0 0 20 0 1 0 61431972 2658779136 604156 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 649116 604156 3360 2271 0 643754 0
Current children cumulated CPU time: 1505.57 s
Current children cumulated vsize: 2603448 KiB
Current children cumulated memory: 2420848 KiB
[startup+1516.8 s]
/proc/loadavg: 4.12 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96778536/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2596464 memory=2416624 CPUtime=317.81 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 290678 0 0 0 31688 93 0 0 20 0 1 0 61431972 2658779136 604156 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 649116 604156 3360 2271 0 643754 0
Current children cumulated CPU time: 1511.95 s
Current children cumulated vsize: 2603448 KiB
Current children cumulated memory: 2420848 KiB
[startup+1523.2 s]
/proc/loadavg: 4.10 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96769428/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2608712 memory=2416752 CPUtime=324.19 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 290720 0 0 0 32326 93 0 0 20 0 1 0 61431972 2671321088 604188 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 652178 604188 3360 2271 0 646816 0
Current children cumulated CPU time: 1518.33 s
Current children cumulated vsize: 2615696 KiB
Current children cumulated memory: 2420976 KiB
[startup+1526.4 s]
/proc/loadavg: 4.10 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96769236/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2622056 memory=2417904 CPUtime=327.38 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 291006 0 0 0 32645 93 0 0 20 0 1 0 61431972 2684985344 604476 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 655514 604476 3360 2271 0 650152 0
Current children cumulated CPU time: 1521.52 s
Current children cumulated vsize: 2629040 KiB
Current children cumulated memory: 2422128 KiB
[startup+1528 s]*
/proc/loadavg: 4.09 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96768228/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2628732 memory=2418544 CPUtime=328.98 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 291154 0 0 0 32805 93 0 0 20 0 1 0 61431972 2691821568 604636 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 657183 604636 3360 2271 0 651821 0
Current children cumulated CPU time: 1523.12 s
Current children cumulated vsize: 2635716 KiB
Current children cumulated memory: 2422768 KiB
[startup+1528.4 s]
/proc/loadavg: 4.09 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96768228/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2628732 memory=2418544 CPUtime=329.37 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 291154 0 0 0 32844 93 0 0 20 0 1 0 61431972 2691821568 604636 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 657183 604636 3360 2271 0 651821 0
Current children cumulated CPU time: 1523.51 s
Current children cumulated vsize: 2635716 KiB
Current children cumulated memory: 2422768 KiB
[startup+1528.8 s]
/proc/loadavg: 4.09 4.13 3.84 5/258 63782
/proc/meminfo: memFree=96768228/131382116 swapFree=33010160/33010684
[pid=63651] ppid=63648 vsize=4324 memory=2944 CPUtime=1194.14 cores=5,7
/proc/63651/stat : 63651 (Hybrid-CASHWMax) S 63648 63651 63612 0 -1 4194304 284 177141 0 0 0 0 119266 148 20 0 1 0 61312169 4427776 736 18446744073709551615 94394959130624 94394960025157 140729602526384 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94394960264208 94394960311952 94394980429824 140729602529623 140729602529777 140729602529777 140729602535379 0
/proc/63651/statm: 1081 736 672 219 0 143 0
[pid=63750] ppid=63651 vsize=2660 memory=1280 CPUtime=0 cores=5,7
/proc/63750/stat : 63750 (timeout) S 63651 63750 63612 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 61431971 2723840 320 18446744073709551615 94630980280320 94630980296833 140723117934624 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94630980311600 94630980313688 94631004913664 140723117943174 140723117943330 140723117943330 140723117948903 0
/proc/63750/statm: 665 320 320 5 0 90 0
[pid=63751] ppid=63750 vsize=2629752 memory=2418672 CPUtime=329.77 cores=5,7
/proc/63751/stat : 63751 (ExactPR-S) R 63750 63750 63612 0 -1 4194304 291191 0 0 0 32884 93 0 0 20 0 1 0 61431972 2692866048 604668 18446744073709551615 94460667633664 94460676933701 140729394470800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94460678719808 94460678758888 94460721295360 140729394477470 140729394477607 140729394477607 140729394483180 0
/proc/63751/statm: 657438 604668 3360 2271 0 652076 0
Current children cumulated CPU time: 1523.91 s
Current children cumulated vsize: 2636736 KiB
Current children cumulated memory: 2422896 KiB
Child status: 0
Real time (s): 1528.9
CPU time (s): 1524.01
CPU user time (s): 1521.54
CPU system time (s): 2.46432
CPU usage (%): 99.6803
Max. virtual memory (cumulated for all children) (KiB): 2636736
Max. memory (cumulated for all children) (KiB): 2445540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1521.54
system time used= 2.46432
maximum resident set size= 2461544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469560
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 832
involuntary context switches= 1828
# summary of solver processes directly reported to runsolver:
# pid: 63651
# total CPU time (s): 1524.01
# total CPU user time (s): 1521.54
# total CPU system time (s): 2.46432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.35611 second user time and 17.6482 second system time
The end
Begin job on nodeC004 at 2025-07-02 13:38:50
IDJOB=4502995
IDBENCH=155403
IDSOLVER=3329
FILE ID=nodeC004/4502995-1751456329
RUNJOBID= nodeC004-1751456329-63625
SLURM_JOB_ID= 9598453
Free space on /tmp= 431576 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_3_shg.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502995-1751456329/watcher-4502995-1751456329 -o /tmp/evaluation-result-4502995-1751456329/solver-4502995-1751456329 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751456329-63625 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4502995-1751456329.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9f3f50f555350d326304759fc873d478
RANDOM SEED=2100999685
nodeC004 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 : 0xb00001f
cpu MHz : 1197.337
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.162
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.257
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.238
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.217
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.237
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.245
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
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 : 0xb00001f
cpu MHz : 1197.596
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 124231304 kB
MemAvailable: 129822968 kB
Buffers: 2720 kB
Cached: 6341992 kB
SwapCached: 20 kB
Active: 414204 kB
Inactive: 6005004 kB
Active(anon): 86588 kB
Inactive(anon): 6188 kB
Active(file): 327616 kB
Inactive(file): 5998816 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 196568 kB
Writeback: 8 kB
AnonPages: 77900 kB
Mapped: 102764 kB
Shmem: 17956 kB
KReclaimable: 209716 kB
Slab: 295948 kB
SReclaimable: 209716 kB
SUnreclaim: 86232 kB
KernelStack: 3888 kB
PageTables: 2796 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 340496 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149240 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430956 MiB
End job on nodeC004 at 2025-07-02 14:04:19