0.00/0.00 c NaPS 1.03a2.
0.00/0.00 c Input file name: HOME/instance-4463481-1722355366.wbo
0.00/0.00 c Initial goal by soft: 939022
12.55/12.65 c single stage optimization mode
3600.04/3607.50 c
3600.04/3607.50 c *** TERMINATED *** by signal 15
3600.04/3607.50 s UNKNOWN
3600.04/3607.50 c _____________________________________________________________________________
3600.04/3607.50 c std/band forms : 252,0
3600.04/3607.50 c 2cl/3cl ITE-codings : 0,0
3600.04/3607.50 c BDD/srt/adr Max costs : 0,694,0
3600.04/3607.50 c BDDraw/bin/mul/srt/adr: 0,0,0,252,0
3600.04/3607.50 c BDD nodes : 0
3600.04/3607.50 c Es1/CC detections : 0,0
3600.04/3607.50 c CC sort : 252
3600.04/3607.50 c SAT/UNSAT calls : 0,0
3600.04/3607.50 c regenrated variables : 0
3600.04/3607.50 c eliminated fixed lits : 0
3600.04/3607.50 c goal lit flips : 1082165
3600.04/3607.50 c goal stages : 1
3600.04/3607.50 c goal shrink : 0
3600.04/3607.50 c goal coeff separations: 0
3600.04/3607.50 c restarts : 0
3600.04/3607.50 c conflicts : 0 (0 /sec)
3600.04/3607.50 c decisions : 0 (0 /sec)
3600.04/3607.50 c propagations : 0 (0 /sec)
3600.04/3607.50 c inspects : 0 (0 /sec)
3600.04/3607.50 c CPU time (solving tm) : 3600 s (3585 s, SAT 0 s, UNSAT 0 s)
3600.04/3607.50 c Time for Opt-base : 0.002054 s
3600.04/3607.50 c Steps for Opt-base : 0
3600.04/3607.50 c Time for BDD coding : 0 s
3600.04/3607.50 c Time for srt coding : 0.01488 s
3600.04/3607.50 c _____________________________________________________________________________
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: 64059 MiB (63173 MiB free)
memory of node 1: 64510 MiB (59965 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463481-1722355366/watcher-4463481-1722355366 -o /tmp/evaluation-result-4463481-1722355366/solver-4463481-1722355366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722351741-14228 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463481-1722355366.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=16625, runsolver pid=16622
Current StackSize limit: 8192 KiB
[startup+0.100115 s]*
/proc/loadavg: 4.29 4.18 4.18 5/246 16630
/proc/meminfo: memFree=126086840/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=10284 memory=8836 CPUtime=0.09 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 1922 0 0 0 9 0 0 0 20 0 1 0 2133569 10530816 2209 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 2571 2209 580 659 0 1775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20216 KiB
Current children cumulated memory: 11664 KiB
[startup+0.209123 s]*
/proc/loadavg: 4.29 4.18 4.18 5/246 16630
/proc/meminfo: memFree=126080792/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=16200 memory=14528 CPUtime=0.2 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 3598 0 0 0 20 0 0 0 20 0 1 0 2133569 16588800 3632 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 4050 3632 580 659 0 3254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26132 KiB
Current children cumulated memory: 17356 KiB
[startup+0.309049 s]*
/proc/loadavg: 4.29 4.18 4.18 5/246 16630
/proc/meminfo: memFree=126078944/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=17956 memory=16376 CPUtime=0.29 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 4053 0 0 0 29 0 0 0 20 0 1 0 2133569 18386944 4094 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 4489 4094 580 659 0 3693 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 27888 KiB
Current children cumulated memory: 19204 KiB
[startup+0.700444 s]
/proc/loadavg: 4.29 4.18 4.18 5/246 16630
/proc/meminfo: memFree=126068660/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=31792 memory=29996 CPUtime=0.68 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 7985 0 0 0 66 2 0 0 20 0 1 0 2133569 32555008 7499 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 7948 7499 580 659 0 7152 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 32824 KiB
[startup+1.50042 s]
/proc/loadavg: 4.29 4.18 4.18 5/246 16630
/proc/meminfo: memFree=126045300/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=92140 memory=88376 CPUtime=1.47 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 19991 0 0 0 142 5 0 0 20 0 1 0 2133569 94351360 22094 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 23035 22094 580 659 0 22239 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 102072 KiB
Current children cumulated memory: 91204 KiB
[startup+3.1126 s]
/proc/loadavg: 4.29 4.18 4.18 5/246 16631
/proc/meminfo: memFree=125824880/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=214828 memory=208628 CPUtime=3.09 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 38349 0 0 0 299 10 0 0 20 0 1 0 2133569 219983872 52157 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 53707 52157 580 659 0 52911 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 224760 KiB
Current children cumulated memory: 211456 KiB
[startup+6.30034 s]
/proc/loadavg: 4.27 4.18 4.18 5/246 16631
/proc/meminfo: memFree=125573828/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=470744 memory=468468 CPUtime=6.26 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 68613 0 0 0 608 18 0 0 20 0 1 0 2133569 482041856 117117 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 117686 117117 580 659 0 116890 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 480676 KiB
Current children cumulated memory: 471296 KiB
[startup+12.7004 s]
/proc/loadavg: 4.25 4.17 4.18 5/246 16631
/proc/meminfo: memFree=124971616/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1082004 memory=1055812 CPUtime=12.65 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 151674 0 0 0 1230 35 0 0 20 0 1 0 2133569 1107972096 263953 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 270501 263953 612 659 0 269705 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1091936 KiB
Current children cumulated memory: 1058640 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 4.18 4.18 5/246 16634
/proc/meminfo: memFree=124876104/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1147308 CPUtime=25.44 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 170497 0 0 0 2505 39 0 0 20 0 1 0 2133569 1201565696 286827 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 286827 612 659 0 292555 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1150136 KiB
[startup+51.1124 s]
/proc/loadavg: 4.18 4.17 4.18 5/244 16637
/proc/meminfo: memFree=124861048/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1147308 CPUtime=51 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 170508 0 0 0 5061 39 0 0 20 0 1 0 2133569 1201565696 286827 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 286827 612 659 0 292555 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1150136 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/244 16646
/proc/meminfo: memFree=124871096/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1147456 CPUtime=102.1 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 170522 0 0 0 10171 39 0 0 20 0 1 0 2133569 1201565696 286864 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 286864 612 659 0 292555 0
Current children cumulated CPU time: 102.1 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1150284 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/244 16705
/proc/meminfo: memFree=122211484/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1147456 CPUtime=161.98 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 170539 0 0 0 16158 40 0 0 20 0 1 0 2133569 1201565696 286864 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 286864 612 659 0 292555 0
Current children cumulated CPU time: 161.98 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1150284 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 16721
/proc/meminfo: memFree=122208812/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1147456 CPUtime=221.84 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 170554 0 0 0 22144 40 0 0 20 0 1 0 2133569 1201565696 286864 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 286864 612 659 0 292555 0
Current children cumulated CPU time: 221.84 s
Current children cumulated vsize: 1183336 KiB
################
# More data... #
################
/proc/loadavg: 4.07 4.11 4.13 5/245 17850
/proc/meminfo: memFree=122078608/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3096.04 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172080 0 0 0 309560 44 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3096.04 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/247 18244
/proc/meminfo: memFree=122116712/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3155.92 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172116 0 0 0 315548 44 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3155.92 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/244 18256
/proc/meminfo: memFree=122077380/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3215.8 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172152 0 0 0 321536 44 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3215.8 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.12 5/244 18267
/proc/meminfo: memFree=116657208/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3275.67 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172181 0 0 0 327523 44 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3275.67 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.10 4.11 5/245 18447
/proc/meminfo: memFree=115859856/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3335.52 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172216 0 0 0 333507 45 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3335.52 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.11 5/245 18458
/proc/meminfo: memFree=115535424/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3395.37 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172248 0 0 0 339492 45 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3395.37 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/246 18471
/proc/meminfo: memFree=114449420/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3455.21 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172279 0 0 0 345476 45 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3455.21 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/245 18492
/proc/meminfo: memFree=113890756/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3515.04 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172326 0 0 0 351459 45 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3515.04 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/245 18502
/proc/meminfo: memFree=112930936/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3574.89 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172361 0 0 0 357444 45 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3574.89 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3607.5 s]
/proc/loadavg: 3.75 4.02 4.07 3/229 18570
/proc/meminfo: memFree=123383780/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3600.04 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172380 0 0 0 359958 46 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3607.5 s]
# the end of solver process 16625 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.59 s, system=0.467925 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3607.5 s]
/proc/loadavg: 3.75 4.02 4.07 3/229 18570
/proc/meminfo: memFree=123383780/131655788 swapFree=131071996/131071996
[pid=16625] ppid=16622 vsize=9932 memory=2828 CPUtime=0 cores=5,7
/proc/16625/stat : 16625 (naps-1.03.sh) S 16622 16625 14215 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 2133568 10170368 707 134679101440 94456580964352 94456582043672 140737040973920 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94456584142128 94456584189316 94456586362880 140737040978919 140737040979044 140737040979044 140737040986056 0
/proc/16625/statm: 2483 707 630 264 0 134 0
[pid=16630] ppid=16625 vsize=1173404 memory=1158116 CPUtime=3600.04 cores=5,7
/proc/16630/stat : 16630 (naps-1.03a2) R 16625 16625 14215 0 -1 4194304 172380 0 0 0 359958 46 0 0 20 0 1 0 2133569 1201565696 289529 134679101440 4194304 6891597 140724743384768 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 36663296 140724743390194 140724743390308 140724743390308 140724743397321 0
/proc/16630/statm: 293351 289529 612 659 0 292555 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1183336 KiB
Current children cumulated memory: 1160944 KiB
Child status: 10
Real time (s): 3607.5
CPU time (s): 3600.05
CPU user time (s): 3599.59
CPU system time (s): 0.467925
CPU usage (%): 99.7935
Max. virtual memory (cumulated for all children) (KiB): 1183336
Max. memory (cumulated for all children) (KiB): 1160944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.59
system time used= 0.467925
maximum resident set size= 1158116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172862
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 931
# summary of solver processes directly reported to runsolver:
# pid: 16625
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.59
# total CPU system time (s): 0.467925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.185 second user time and 33.9888 second system time
The end
Begin job on nodeC010 at 2024-07-30 18:02:47
IDJOB=4463481
IDBENCH=144137
IDSOLVER=3090
FILE ID=nodeC010/4463481-1722355366
RUNJOBID= nodeC010-1722351741-14228
SLURM_JOB_ID= 8249014
Free space on /tmp= 723696 MiB
SOLVER NAME= NaPS 1.03a2
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph12_wcsp.wbo
COMMAND LINE= HOME/naps-1.03.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4463481-1722355366/watcher-4463481-1722355366 -o /tmp/evaluation-result-4463481-1722355366/solver-4463481-1722355366 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722351741-14228 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463481-1722355366.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f7c32201343af4658b05b95f6b622952
RANDOM SEED=394908816
nodeC010.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 : 0xb00001f
cpu MHz : 3668.797
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3677.022
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.204
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3639.455
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1934.732
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1257.423
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126094248 kB
MemAvailable: 128946656 kB
Buffers: 61956 kB
Cached: 3632652 kB
SwapCached: 0 kB
Active: 222036 kB
Inactive: 4905920 kB
Active(anon): 1984 kB
Inactive(anon): 1460872 kB
Active(file): 220052 kB
Inactive(file): 3445048 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 87708 kB
Writeback: 12 kB
AnonPages: 1433424 kB
Mapped: 99624 kB
Shmem: 29504 kB
KReclaimable: 54680 kB
Slab: 129508 kB
SReclaimable: 54680 kB
SUnreclaim: 74828 kB
KernelStack: 3952 kB
PageTables: 12228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1815648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 681984 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723644 MiB
End job on nodeC010 at 2024-07-30 19:02:54