runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (54685 MiB free)
memory of node 1: 64465 MiB (62976 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518252-1751525695/watcher-4518252-1751525695 -o /tmp/evaluation-result-4518252-1751525695/solver-4518252-1751525695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75352 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518252-1751525695.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
solver pid=77474, runsolver pid=77471
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.07 4.14 4.12 5/273 77478
/proc/meminfo: memFree=120485688/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=22240 memory=7936 CPUtime=0.08 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 1191 0 0 0 8 0 0 0 20 0 1 0 68248882 22773760 1984 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 5560 1984 896 2593 0 2453 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 12416 KiB
[startup+0.205913 s]*
/proc/loadavg: 4.07 4.14 4.12 5/273 77478
/proc/meminfo: memFree=120485688/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=22240 memory=7936 CPUtime=0.18 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 1191 0 0 0 18 0 0 0 20 0 1 0 68248882 22773760 1984 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 5560 1984 896 2593 0 2453 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 12416 KiB
[startup+0.305842 s]*
/proc/loadavg: 4.07 4.14 4.12 5/273 77478
/proc/meminfo: memFree=120485688/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=22240 memory=7936 CPUtime=0.28 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 1191 0 0 0 28 0 0 0 20 0 1 0 68248882 22773760 1984 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 5560 1984 896 2593 0 2453 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 29224 KiB
Current children cumulated memory: 12416 KiB
[startup+0.700234 s]
/proc/loadavg: 4.07 4.14 4.12 5/273 77478
/proc/meminfo: memFree=120485688/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=88832 memory=73108 CPUtime=0.67 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 10751 0 0 0 65 2 0 0 20 0 1 0 68248882 90963968 18277 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 22208 18277 896 2593 0 19101 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 95816 KiB
Current children cumulated memory: 77588 KiB
[startup+1.50023 s]
/proc/loadavg: 4.07 4.14 4.12 5/273 77478
/proc/meminfo: memFree=120416816/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=304348 memory=281244 CPUtime=1.47 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 45702 0 0 0 138 9 0 0 20 0 1 0 68248882 311652352 70311 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 76087 70311 960 2593 0 72980 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 311332 KiB
Current children cumulated memory: 285724 KiB
[startup+3.10574 s]
/proc/loadavg: 4.07 4.13 4.12 5/273 77478
/proc/meminfo: memFree=120271360/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=309788 memory=286748 CPUtime=3.06 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 47134 0 0 0 297 9 0 0 20 0 1 0 68248882 317222912 71687 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 77447 71687 960 2593 0 74340 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 316772 KiB
Current children cumulated memory: 291228 KiB
[startup+6.30023 s]
/proc/loadavg: 4.07 4.13 4.12 5/273 77479
/proc/meminfo: memFree=120247612/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=310976 memory=288028 CPUtime=6.25 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 47478 0 0 0 615 10 0 0 20 0 1 0 68248882 318439424 72007 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 77744 72007 960 2593 0 74637 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 317960 KiB
Current children cumulated memory: 292508 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.13 4.12 5/273 77479
/proc/meminfo: memFree=120227196/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=311768 memory=288796 CPUtime=12.63 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 47697 0 0 0 1253 10 0 0 20 0 1 0 68248882 319250432 72199 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 77942 72199 960 2593 0 74835 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 318752 KiB
Current children cumulated memory: 293276 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.12 4.11 5/273 77479
/proc/meminfo: memFree=120220068/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=312036 memory=289052 CPUtime=25.4 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 47825 0 0 0 2529 11 0 0 20 0 1 0 68248882 319524864 72263 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 78009 72263 960 2593 0 74902 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 319020 KiB
Current children cumulated memory: 293532 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 4.13 4.12 5/273 77479
/proc/meminfo: memFree=120179376/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=312436 memory=289436 CPUtime=50.93 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 47974 0 0 0 5081 12 0 0 20 0 1 0 68248882 319934464 72359 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 78109 72359 960 2593 0 75002 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 319420 KiB
Current children cumulated memory: 293916 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/273 77481
/proc/meminfo: memFree=120096928/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/271 77702
/proc/meminfo: memFree=119566028/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=450828 memory=420608 CPUtime=999.61 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 56640 0 0 0 99929 32 0 0 20 0 1 0 68248882 461647872 105152 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 112707 105152 960 2593 0 109600 0
Current children cumulated CPU time: 999.61 s
Current children cumulated vsize: 457812 KiB
Current children cumulated memory: 425088 KiB
[startup+1062.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/271 77704
/proc/meminfo: memFree=119561472/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=450828 memory=420608 CPUtime=1059.47 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 56770 0 0 0 105914 33 0 0 20 0 1 0 68248882 461647872 105152 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 112707 105152 960 2593 0 109600 0
Current children cumulated CPU time: 1059.47 s
Current children cumulated vsize: 457812 KiB
Current children cumulated memory: 425088 KiB
[startup+1122.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 77713
/proc/meminfo: memFree=119562720/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=450828 memory=420608 CPUtime=1119.32 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 56888 0 0 0 111898 34 0 0 20 0 1 0 68248882 461647872 105152 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 112707 105152 960 2593 0 109600 0
Current children cumulated CPU time: 1119.32 s
Current children cumulated vsize: 457812 KiB
Current children cumulated memory: 425088 KiB
[startup+1182.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/273 77717
/proc/meminfo: memFree=119564344/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=450828 memory=420608 CPUtime=1179.17 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 56921 0 0 0 117882 35 0 0 20 0 1 0 68248882 461647872 105152 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 112707 105152 960 2593 0 109600 0
Current children cumulated CPU time: 1179.17 s
Current children cumulated vsize: 457812 KiB
Current children cumulated memory: 425088 KiB
[startup+1199.05 s]
# the end of solver process 77474 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1195.34 s, system=0.520966 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1190.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 77717
/proc/meminfo: memFree=119521540/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=504848 memory=474768 CPUtime=1187.24 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 58184 0 0 0 118688 36 0 0 20 0 1 0 68248882 516964352 118692 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 126212 118692 960 2593 0 123105 0
Current children cumulated CPU time: 1187.24 s
Current children cumulated vsize: 511832 KiB
Current children cumulated memory: 479248 KiB
[startup+1193.6 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 77717
/proc/meminfo: memFree=119500424/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=519712 memory=487060 CPUtime=1190.44 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 62641 0 0 0 119002 42 0 0 20 0 1 0 68248882 532185088 121765 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 129928 121765 960 2593 0 126821 0
Current children cumulated CPU time: 1190.44 s
Current children cumulated vsize: 526696 KiB
Current children cumulated memory: 491540 KiB
[startup+1196.8 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 77717
/proc/meminfo: memFree=119512740/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77477] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77477/stat : 77477 (timeout) S 77474 77477 75334 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 68248881 2723840 352 18446744073709551615 94473428951040 94473428967553 140731651577024 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94473428982320 94473428984408 94473459920896 140731651582358 140731651582498 140731651582498 140731651588071 0
/proc/77477/statm: 665 352 352 5 0 90 0
[pid=77478] ppid=77477 vsize=536096 memory=509716 CPUtime=1193.63 cores=5,7
/proc/77478/stat : 77478 (CASHWMaxSAT-Dis) R 77477 77477 75334 0 -1 4194304 63702 0 0 0 119320 43 0 0 20 0 1 0 68248882 548962304 127429 18446744073709551615 4198400 14817773 140723351195072 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 36868096 140723351198108 140723351198235 140723351198235 140723351203808 0
/proc/77478/statm: 134024 127429 992 2593 0 130917 0
Current children cumulated CPU time: 1193.63 s
Current children cumulated vsize: 543080 KiB
Current children cumulated memory: 514196 KiB
[startup+1198.4 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 77717
/proc/meminfo: memFree=119456468/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 285 64332 0 0 0 0 119441 45 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.86 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1198.8 s]
/proc/loadavg: 4.07 4.11 4.09 5/273 77717
/proc/meminfo: memFree=119456468/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 285 64332 0 0 0 0 119441 45 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 1194.86 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB
[startup+1199 s]*
/proc/loadavg: 4.07 4.11 4.09 5/273 77719
/proc/meminfo: memFree=119842868/131250000 swapFree=33009904/33010684
[pid=77474] ppid=77471 vsize=4324 memory=3072 CPUtime=1194.86 cores=5,7
/proc/77474/stat : 77474 (Hybrid-CASHWMax) S 77471 77474 75334 0 -1 4194304 285 64332 0 0 0 0 119441 45 20 0 1 0 68248880 4427776 768 18446744073709551615 94105180979200 94105181873733 140724626349552 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94105182112784 94105182160528 94105204264960 140724626352471 140724626352625 140724626352625 140724626358227 0
/proc/77474/statm: 1081 768 704 219 0 143 0
[pid=77718] ppid=77474 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/77718/stat : 77718 (timeout) S 77474 77718 75334 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 68368682 2723840 352 18446744073709551615 94727244169216 94727244185729 140735918921808 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94727244200496 94727244202584 94727251775488 140735918930310 140735918930466 140735918930466 140735918936039 0
/proc/77718/statm: 665 352 352 5 0 90 0
[pid=77719] ppid=77718 vsize=198184 memory=141864 CPUtime=0.96 cores=5,7
/proc/77719/stat : 77719 (ExactPR-S) R 77718 77718 75334 0 -1 4194304 34556 0 0 0 91 5 0 0 20 0 1 0 68368683 202940416 35466 18446744073709551615 94716863668224 94716872968261 140727759560576 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94716874754368 94716874793448 94716898914304 140727759567262 140727759567399 140727759567399 140727759572972 0
/proc/77719/statm: 49546 35466 3424 2271 0 44184 0
Current children cumulated CPU time: 1195.82 s
Current children cumulated vsize: 205168 KiB
Current children cumulated memory: 146344 KiB
Child status: 0
Real time (s): 1199.05
CPU time (s): 1195.86
CPU user time (s): 1195.34
CPU system time (s): 0.520966
CPU usage (%): 99.7338
Max. virtual memory (cumulated for all children) (KiB): 606528
Max. memory (cumulated for all children) (KiB): 573836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.34
system time used= 0.520966
maximum resident set size= 569356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100041
page faults= 1
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 855
involuntary context switches= 1107
# summary of solver processes directly reported to runsolver:
# pid: 77474
# total CPU time (s): 1195.86
# total CPU user time (s): 1195.34
# total CPU system time (s): 0.520966
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.41798 second user time and 5.67746 second system time
The end
Begin job on nodeC033 at 2025-07-03 08:54:55
IDJOB=4518252
IDBENCH=176856
IDSOLVER=3327
FILE ID=nodeC033/4518252-1751525695
RUNJOBID= nodeC033-1751517481-75352
SLURM_JOB_ID= 9598633
Free space on /tmp= 429832 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCad+ExactPRS 2025-06-01
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/weakly_correlated_span/normalized-knapPI_12_1000_1000_3_-17136.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCad+ExactPRS BENCHNAME TIMEOUT TMPDIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518252-1751525695/watcher-4518252-1751525695 -o /tmp/evaluation-result-4518252-1751525695/solver-4518252-1751525695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751517481-75352 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4518252-1751525695.opb 3600 HOME
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 320619d7d3e3251d2b23c67a6b07bae2
RANDOM SEED=981641195
nodeC033 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.065
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.993
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.13
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 : 3539.469
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.13
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 : 3578.602
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.13
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.059
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.13
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 : 3581.726
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.13
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 : 3600.072
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.13
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 120485656 kB
MemAvailable: 126475752 kB
Buffers: 2128 kB
Cached: 6743404 kB
SwapCached: 68 kB
Active: 3770604 kB
Inactive: 6163184 kB
Active(anon): 3200760 kB
Inactive(anon): 5524 kB
Active(file): 569844 kB
Inactive(file): 6157660 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26032 kB
Writeback: 60 kB
AnonPages: 3185504 kB
Mapped: 116568 kB
Shmem: 18028 kB
KReclaimable: 203660 kB
Slab: 295368 kB
SReclaimable: 203660 kB
SUnreclaim: 91708 kB
KernelStack: 4368 kB
PageTables: 9504 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 3645204 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2486272 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: 221908 kB
DirectMap2M: 11083776 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 429804 MiB
End job on nodeC033 at 2025-07-03 09:14:54