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: 63931 MiB (59732 MiB free)
memory of node 1: 64510 MiB (60597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447346-1721338487/watcher-4447346-1721338487 -o /tmp/evaluation-result-4447346-1721338487/solver-4447346-1721338487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721330599-1002001 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4447346-1721338487.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1007764, runsolver pid=1007761
[startup+0.100326 s]*
/proc/loadavg: 4.02 4.09 4.08 5/265 1007768
/proc/meminfo: memFree=123205224/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=30980 memory=16184 CPUtime=0.08 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 3347 0 0 0 8 0 0 0 20 0 1 0 186014035 31723520 4046 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 7745 4046 1066 2726 0 4493 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 49572 KiB
Current children cumulated memory: 20012 KiB
[startup+0.206149 s]*
/proc/loadavg: 4.02 4.09 4.08 5/265 1007768
/proc/meminfo: memFree=123203988/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=31760 memory=17476 CPUtime=0.19 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 3711 0 0 0 19 0 0 0 20 0 1 0 186014035 32522240 4369 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 7940 4369 1146 2726 0 4688 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 50352 KiB
Current children cumulated memory: 21304 KiB
[startup+0.305954 s]*
/proc/loadavg: 4.02 4.09 4.08 6/265 1007768
/proc/meminfo: memFree=123203820/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=32176 memory=17744 CPUtime=0.29 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 4039 0 0 0 29 0 0 0 20 0 1 0 186014035 32948224 4436 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 8044 4436 1146 2726 0 4792 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 50768 KiB
Current children cumulated memory: 21572 KiB
[startup+0.700299 s]
/proc/loadavg: 4.02 4.09 4.08 5/265 1007768
/proc/meminfo: memFree=123179792/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=57980 memory=42668 CPUtime=0.68 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 12222 0 0 0 67 1 0 0 20 0 1 0 186014035 59371520 10667 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 14495 10667 1146 2726 0 11243 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76572 KiB
Current children cumulated memory: 46496 KiB
[startup+1.50033 s]
/proc/loadavg: 4.02 4.09 4.08 5/265 1007768
/proc/meminfo: memFree=123177444/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=61188 memory=45832 CPUtime=1.47 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 13059 0 0 0 146 1 0 0 20 0 1 0 186014035 62656512 11458 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 15297 11458 1146 2726 0 12045 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 79780 KiB
Current children cumulated memory: 49660 KiB
[startup+3.10579 s]
/proc/loadavg: 4.01 4.09 4.08 5/265 1007768
/proc/meminfo: memFree=123173824/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=62728 memory=47416 CPUtime=3.08 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 13442 0 0 0 306 2 0 0 20 0 1 0 186014035 64233472 11854 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 15682 11854 1146 2726 0 12430 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 51244 KiB
[startup+6.30026 s]
/proc/loadavg: 4.01 4.09 4.08 5/264 1007768
/proc/meminfo: memFree=123167892/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=68220 memory=53420 CPUtime=6.27 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 14410 0 0 0 625 2 0 0 20 0 1 0 186014035 69857280 13355 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 17055 13355 1146 2726 0 13803 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86812 KiB
Current children cumulated memory: 57248 KiB
[startup+12.7003 s]
/proc/loadavg: 4.01 4.09 4.08 5/265 1007770
/proc/meminfo: memFree=123167580/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=67480 memory=53300 CPUtime=12.65 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 16528 0 0 0 1263 2 0 0 20 0 1 0 186014035 69099520 13325 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 16870 13325 1146 2726 0 13618 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 86072 KiB
Current children cumulated memory: 57128 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 1007772
/proc/meminfo: memFree=123163184/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=70552 memory=56196 CPUtime=25.41 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 19044 0 0 0 2538 3 0 0 20 0 1 0 186014035 72245248 14049 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 17638 14049 1146 2726 0 14386 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 89144 KiB
Current children cumulated memory: 60024 KiB
[startup+51.1059 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 1007777
/proc/meminfo: memFree=123158028/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=73744 memory=59444 CPUtime=50.95 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 20307 0 0 0 5092 3 0 0 20 0 1 0 186014035 75513856 14861 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 18436 14861 1146 2726 0 15184 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 63272 KiB
[startup+67.1027 s]
# the end of solver process 1007764 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=66.8735 s, system=0.049962 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 4.06 4.09 4.08 5/264 1007777
/proc/meminfo: memFree=123158028/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=73744 memory=59444 CPUtime=51.04 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 20308 0 0 0 5101 3 0 0 20 0 1 0 186014035 75513856 14861 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 18436 14861 1146 2726 0 15184 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 92336 KiB
Current children cumulated memory: 63272 KiB
[startup+57.6003 s]
/proc/loadavg: 4.05 4.09 4.08 5/264 1007777
/proc/meminfo: memFree=123141548/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=90260 memory=76064 CPUtime=57.44 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 22388 0 0 0 5740 4 0 0 20 0 1 0 186014035 92426240 19016 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 22565 19016 1146 2726 0 19313 0
Current children cumulated CPU time: 57.44 s
Current children cumulated vsize: 108852 KiB
Current children cumulated memory: 79892 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.04 4.09 4.08 5/264 1007780
/proc/meminfo: memFree=123139596/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=90260 memory=76064 CPUtime=63.82 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 22398 0 0 0 6378 4 0 0 20 0 1 0 186014035 92426240 19016 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 22565 19016 1146 2726 0 19313 0
Current children cumulated CPU time: 63.82 s
Current children cumulated vsize: 108852 KiB
Current children cumulated memory: 79892 KiB
[startup+65.6003 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 1007780
/proc/meminfo: memFree=123132868/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=96948 memory=82772 CPUtime=65.41 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 23048 0 0 0 6537 4 0 0 20 0 1 0 186014035 99274752 20693 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 24237 20693 1146 2726 0 20985 0
Current children cumulated CPU time: 65.41 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 86600 KiB
[startup+66.4003 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 1007780
/proc/meminfo: memFree=123132868/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=96948 memory=82772 CPUtime=66.21 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 23048 0 0 0 6617 4 0 0 20 0 1 0 186014035 99274752 20693 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 24237 20693 1146 2726 0 20985 0
Current children cumulated CPU time: 66.21 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 86600 KiB
[startup+66.8003 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 1007780
/proc/meminfo: memFree=123132868/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=96948 memory=82772 CPUtime=66.61 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 23048 0 0 0 6657 4 0 0 20 0 1 0 186014035 99274752 20693 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 24237 20693 1146 2726 0 20985 0
Current children cumulated CPU time: 66.61 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 86600 KiB
[startup+67.0003 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 1007780
/proc/meminfo: memFree=123132868/131524600 swapFree=131071996/131071996
[pid=1007764] ppid=1007761 vsize=9932 memory=2796 CPUtime=0 cores=1,3
/proc/1007764/stat : 1007764 (Hybrid-CASHWMax) S 1007761 1007764 1001989 0 -1 4194304 240 104 0 0 0 0 0 0 20 0 1 0 186014034 10170368 699 134679101440 94194265206784 94194266286104 140721958822192 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94194268384560 94194268431748 94194282795008 140721958831052 140721958831211 140721958831211 140721958838228 0
/proc/1007764/statm: 2483 699 621 264 0 134 0
[pid=1007767] ppid=1007764 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/1007767/stat : 1007767 (timeout) S 1007764 1007767 1001989 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 186014035 8867840 258 134679101440 94598132072448 94598132107464 140731628453072 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94598134204880 94598134207012 94598142066688 140731628459004 140731628459163 140731628459163 140731628466151 0
/proc/1007767/statm: 2165 258 233 9 0 87 0
[pid=1007768] ppid=1007767 vsize=96948 memory=82772 CPUtime=66.81 cores=1,3
/proc/1007768/stat : 1007768 (CASHWMaxSAT-Dis) R 1007767 1007767 1001989 0 -1 4194304 23048 0 0 0 6677 4 0 0 20 0 1 0 186014035 99274752 20693 134679101440 4194304 15356333 140726672680688 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 17424944 17514448 54046720 140726672684033 140726672684179 140726672684179 140726672691167 0
/proc/1007768/statm: 24237 20693 1146 2726 0 20985 0
Current children cumulated CPU time: 66.81 s
Current children cumulated vsize: 115540 KiB
Current children cumulated memory: 86600 KiB
Child status: 0
Real time (s): 67.1027
CPU time (s): 66.9235
CPU user time (s): 66.8735
CPU system time (s): 0.049962
CPU usage (%): 99.733
Max. virtual memory (cumulated for all children) (KiB): 115540
Max. memory (cumulated for all children) (KiB): 86600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.8735
system time used= 0.049962
maximum resident set size= 82796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 68
# summary of solver processes directly reported to runsolver:
# pid: 1007764
# total CPU time (s): 66.9235
# total CPU user time (s): 66.8735
# total CPU system time (s): 0.049962
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137984 second user time and 0.391613 second system time
The end
Begin job on nodeC025 at 2024-07-18 23:34:59
IDJOB=4447346
IDBENCH=158383
IDSOLVER=3072
FILE ID=nodeC025/4447346-1721338487
RUNJOBID= nodeC025-1721330599-1002001
SLURM_JOB_ID= 7542709
Free space on /tmp= 889972 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447346-1721338487/watcher-4447346-1721338487 -o /tmp/evaluation-result-4447346-1721338487/solver-4447346-1721338487 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721330599-1002001 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4447346-1721338487.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=1176444365
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/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 : 3663.435
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3673.529
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.938
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3661.544
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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 : 3663.473
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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 : 3669.576
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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.396
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
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.008
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123218776 kB
MemAvailable: 129249132 kB
Buffers: 526832 kB
Cached: 6265892 kB
SwapCached: 0 kB
Active: 1091612 kB
Inactive: 6438912 kB
Active(anon): 1576 kB
Inactive(anon): 773932 kB
Active(file): 1090036 kB
Inactive(file): 5664980 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 19404 kB
Writeback: 16 kB
AnonPages: 731196 kB
Mapped: 118452 kB
Shmem: 37720 kB
KReclaimable: 229972 kB
Slab: 357740 kB
SReclaimable: 229972 kB
SUnreclaim: 127768 kB
KernelStack: 4192 kB
PageTables: 10972 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1058868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70432 kB
HardwareCorrupted: 0 kB
AnonHugePages: 550912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC025 at 2024-07-18 23:36:07