runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60837 MiB free)
memory of node 1: 64507 MiB (63144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509129-1751512528/watcher-4509129-1751512528 -o /tmp/evaluation-result-4509129-1751512528/solver-4509129-1751512528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751507582-69573 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4509129-1751512528.opb 3600 HOME
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=71185, runsolver pid=71182
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126957688/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=23360 memory=9504 CPUtime=0.08 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 1824 0 0 0 8 0 0 0 20 0 1 0 66932424 23920640 2376 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 5840 2376 768 2416 0 2942 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 30344 KiB
Current children cumulated memory: 13728 KiB
[startup+0.205973 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126957688/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=23360 memory=9504 CPUtime=0.18 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 1824 0 0 0 18 0 0 0 20 0 1 0 66932424 23920640 2376 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 5840 2376 768 2416 0 2942 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 30344 KiB
Current children cumulated memory: 13728 KiB
[startup+0.305866 s]*
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126957688/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=23360 memory=9504 CPUtime=0.28 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 1824 0 0 0 28 0 0 0 20 0 1 0 66932424 23920640 2376 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 5840 2376 768 2416 0 2942 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30344 KiB
Current children cumulated memory: 13728 KiB
[startup+0.700241 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126957688/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=31892 memory=17440 CPUtime=0.67 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 3817 0 0 0 67 0 0 0 20 0 1 0 66932424 32657408 4360 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 7973 4360 768 2416 0 5075 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 38876 KiB
Current children cumulated memory: 21664 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126957688/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=43684 memory=28164 CPUtime=1.47 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 5479 0 0 0 146 1 0 0 20 0 1 0 66932424 44732416 7041 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 10921 7041 768 2416 0 8023 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 50668 KiB
Current children cumulated memory: 32388 KiB
[startup+3.10574 s]
/proc/loadavg: 4.12 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126950424/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=48852 memory=33040 CPUtime=3.06 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 6184 0 0 0 305 1 0 0 20 0 1 0 66932424 50024448 8260 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 12213 8260 768 2416 0 9315 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 55836 KiB
Current children cumulated memory: 37264 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.10 4.09 5/272 71189
/proc/meminfo: memFree=126935240/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=70320 memory=52624 CPUtime=6.25 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 9857 0 0 0 622 3 0 0 20 0 1 0 66932424 72007680 13156 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 17580 13156 768 2416 0 14682 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 77304 KiB
Current children cumulated memory: 56848 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 6/273 71240
/proc/meminfo: memFree=126363036/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=110632 memory=90092 CPUtime=12.64 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 14227 0 0 0 1258 6 0 0 20 0 1 0 66932424 113287168 22523 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 27658 22523 768 2416 0 24760 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117616 KiB
Current children cumulated memory: 94316 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 6/273 71240
/proc/meminfo: memFree=125502552/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=138876 memory=117728 CPUtime=25.4 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 16524 0 0 0 2533 7 0 0 20 0 1 0 66932424 142209024 29432 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 34719 29432 768 2416 0 31821 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 145860 KiB
Current children cumulated memory: 121952 KiB
[startup+51.1059 s]
/proc/loadavg: 4.11 4.10 4.09 6/274 71242
/proc/meminfo: memFree=122024572/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71188] ppid=71185 vsize=2660 memory=1280 CPUtime=0 cores=4,6
/proc/71188/stat : 71188 (timeout) S 71185 71188 69562 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 66932423 2723840 320 18446744073709551615 94730616471552 94730616488065 140728527901600 0 0 0 0 3145728 90119 1 0 0 17 4 0 0 0 0 0 94730616502832 94730616504920 94730638983168 140728527907222 140728527907362 140728527907362 140728527912935 0
/proc/71188/statm: 665 320 320 5 0 90 0
[pid=71189] ppid=71188 vsize=150552 memory=131812 CPUtime=50.93 cores=4,6
/proc/71189/stat : 71189 (CASHWMaxSAT-Dis) R 71188 71188 69562 0 -1 4194304 18516 0 0 0 5084 9 0 0 20 0 1 0 66932424 154165248 32953 18446744073709551615 4198400 14093885 140722790565568 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 42205184 140722790570396 140722790570523 140722790570523 140722790576096 0
/proc/71189/statm: 37638 32953 768 2416 0 34740 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 157536 KiB
Current children cumulated memory: 136036 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/273 71246
/proc/meminfo: memFree=114898748/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=0 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 247 106 0 0 0 0 0 0 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
################
# More data... #
################
/proc/71302/statm: 61685 40673 3360 2271 0 56323 0
Current children cumulated CPU time: 1238.89 s
Current children cumulated vsize: 253724 KiB
Current children cumulated memory: 167044 KiB
[startup+1291.17 s]
# the end of solver process 71185 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1287.12 s, system=0.51566 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 4.12 4.12 4.09 6/273 71305
/proc/meminfo: memFree=122603092/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=265748 memory=173316 CPUtime=56.21 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 44595 0 0 0 5614 7 0 0 20 0 1 0 67052225 272125952 43329 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 66437 43329 3360 2271 0 61075 0
Current children cumulated CPU time: 1250.95 s
Current children cumulated vsize: 272732 KiB
Current children cumulated memory: 177668 KiB
[startup+1267.2 s]
/proc/loadavg: 4.10 4.11 4.09 6/273 71306
/proc/meminfo: memFree=122237884/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=289396 memory=187652 CPUtime=68.98 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 48181 0 0 0 6890 8 0 0 20 0 1 0 67052225 296341504 46913 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 72349 46913 3360 2271 0 66987 0
Current children cumulated CPU time: 1263.72 s
Current children cumulated vsize: 296380 KiB
Current children cumulated memory: 192004 KiB
[startup+1280 s]*
/proc/loadavg: 4.07 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121901804/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=309452 memory=198020 CPUtime=81.75 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 50772 0 0 0 8166 9 0 0 20 0 1 0 67052225 316878848 49505 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 77363 49505 3360 2271 0 72001 0
Current children cumulated CPU time: 1276.49 s
Current children cumulated vsize: 316436 KiB
Current children cumulated memory: 202372 KiB
[startup+1286.4 s]
/proc/loadavg: 4.07 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121766140/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=318284 memory=203908 CPUtime=88.13 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52268 0 0 0 8804 9 0 0 20 0 1 0 67052225 325922816 50977 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 79571 50977 3360 2271 0 74209 0
Current children cumulated CPU time: 1282.87 s
Current children cumulated vsize: 325268 KiB
Current children cumulated memory: 208260 KiB
[startup+1289.6 s]
/proc/loadavg: 4.07 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121680124/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=319420 memory=204420 CPUtime=91.32 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52397 0 0 0 9123 9 0 0 20 0 1 0 67052225 327086080 51105 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 79855 51105 3360 2271 0 74493 0
Current children cumulated CPU time: 1286.06 s
Current children cumulated vsize: 326404 KiB
Current children cumulated memory: 208772 KiB
[startup+1290.4 s]
/proc/loadavg: 4.06 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121659644/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=321812 memory=204932 CPUtime=92.12 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52502 0 0 0 9203 9 0 0 20 0 1 0 67052225 329535488 51233 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 80453 51233 3360 2271 0 75091 0
Current children cumulated CPU time: 1286.86 s
Current children cumulated vsize: 328796 KiB
Current children cumulated memory: 209284 KiB
[startup+1290.8 s]
/proc/loadavg: 4.06 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121659644/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=322120 memory=205188 CPUtime=92.52 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52585 0 0 0 9243 9 0 0 20 0 1 0 67052225 329850880 51297 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 80530 51297 3360 2271 0 75168 0
Current children cumulated CPU time: 1287.26 s
Current children cumulated vsize: 329104 KiB
Current children cumulated memory: 209540 KiB
[startup+1291 s]*
/proc/loadavg: 4.06 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121635068/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=322120 memory=205188 CPUtime=92.72 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52585 0 0 0 9263 9 0 0 20 0 1 0 67052225 329850880 51297 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 80530 51297 3360 2271 0 75168 0
Current children cumulated CPU time: 1287.46 s
Current children cumulated vsize: 329104 KiB
Current children cumulated memory: 209540 KiB
[startup+1291.11 s]
/proc/loadavg: 4.06 4.10 4.09 6/272 71307
/proc/meminfo: memFree=121635068/131249996 swapFree=33010416/33010684
[pid=71185] ppid=71182 vsize=4324 memory=2944 CPUtime=1194.74 cores=4,6
/proc/71185/stat : 71185 (Hybrid-CASHWMax) S 71182 71185 69562 0 -1 4194304 282 45549 0 0 0 0 119435 39 20 0 1 0 66932422 4427776 736 18446744073709551615 94628142362624 94628143257157 140733121273392 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94628143496208 94628143543952 94628154327040 140733121276247 140733121276401 140733121276401 140733121282003 0
/proc/71185/statm: 1081 736 672 219 0 143 0
[pid=71301] ppid=71185 vsize=2660 memory=1408 CPUtime=0 cores=4,6
/proc/71301/stat : 71301 (timeout) S 71185 71301 69562 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 67052224 2723840 352 18446744073709551615 94690027626496 94690027643009 140724862010064 0 0 0 0 3145728 90119 1 0 0 17 6 0 0 0 0 0 94690027657776 94690027659864 94690037424128 140724862011782 140724862011938 140724862011938 140724862017511 0
/proc/71301/statm: 665 352 352 5 0 90 0
[pid=71302] ppid=71301 vsize=322120 memory=205188 CPUtime=92.82 cores=4,6
/proc/71302/stat : 71302 (ExactPR-S) R 71301 71301 69562 0 -1 4194304 52587 0 0 0 9273 9 0 0 20 0 1 0 67052225 329850880 51297 18446744073709551615 94711103275008 94711112575045 140723190021168 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 94711114361152 94711114400232 94711138496512 140723190028702 140723190028839 140723190028839 140723190034412 0
/proc/71302/statm: 80530 51297 3360 2271 0 75168 0
Current children cumulated CPU time: 1287.56 s
Current children cumulated vsize: 329104 KiB
Current children cumulated memory: 209540 KiB
Child status: 0
Real time (s): 1291.17
CPU time (s): 1287.63
CPU user time (s): 1287.12
CPU system time (s): 0.51566
CPU usage (%): 99.7262
Max. virtual memory (cumulated for all children) (KiB): 588632
Max. memory (cumulated for all children) (KiB): 436432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1287.12
system time used= 0.51566
maximum resident set size= 480208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 878
involuntary context switches= 1648
# summary of solver processes directly reported to runsolver:
# pid: 71185
# total CPU time (s): 1287.63
# total CPU user time (s): 1287.12
# total CPU system time (s): 0.51566
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30709 second user time and 6.93836 second system time
The end
Begin job on nodeC030 at 2025-07-03 05:15:28
IDJOB=4509129
IDBENCH=158598
IDSOLVER=3329
FILE ID=nodeC030/4509129-1751512528
RUNJOBID= nodeC030-1751507582-69573
SLURM_JOB_ID= 9598603
Free space on /tmp= 432428 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCom+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_clique-40.lin.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCom+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509129-1751512528/watcher-4509129-1751512528 -o /tmp/evaluation-result-4509129-1751512528/solver-4509129-1751512528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751507582-69573 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4509129-1751512528.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 38f4f8acf083ab1c186c19b7f9dc1b90
RANDOM SEED=1499469621
nodeC030 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.330
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.319
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.411
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3602.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.323
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.309
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.120
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.550
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126957688 kB
MemAvailable: 127704260 kB
Buffers: 2564 kB
Cached: 1538468 kB
SwapCached: 16 kB
Active: 2510476 kB
Inactive: 1094940 kB
Active(anon): 2077884 kB
Inactive(anon): 4548 kB
Active(file): 432592 kB
Inactive(file): 1090392 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50276 kB
Writeback: 4 kB
AnonPages: 2067476 kB
Mapped: 119644 kB
Shmem: 18048 kB
KReclaimable: 125256 kB
Slab: 213968 kB
SReclaimable: 125256 kB
SUnreclaim: 88712 kB
KernelStack: 4336 kB
PageTables: 7316 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2496848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 133120 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432400 MiB
End job on nodeC030 at 2025-07-03 05:37:00