0.00/0.00 c NaPS 1.03.
0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it.
0.00/0.00 c Input file name: HOME/instance-4446408-1721332603.opb
314.10/315.07 s UNSATISFIABLE
314.10/315.07 c _____________________________________________________________________________
314.10/315.07 c std/band forms : 16258,0
314.10/315.07 c 2cl/3cl ITE-codings : 14868,0
314.10/315.07 c BDD/srt/adr Max costs : 5,113,0
314.10/315.07 c BDDraw/bin/mul/srt/adr: 15694,0,0,564,0
314.10/315.07 c BDD nodes : 92512
314.10/315.07 c Es1/CC detections : 0,0
314.10/315.07 c CC sort : 563
314.10/315.07 c SAT/UNSAT calls : 0,1
314.10/315.07 c regenrated variables : 0
314.10/315.07 c eliminated fixed lits : 0
314.10/315.07 c goal lit flips : 0
314.10/315.07 c goal stages : 0
314.10/315.07 c goal shrink : 0
314.10/315.07 c goal coeff separations: 0
314.10/315.07 c restarts : 12904
314.10/315.07 c conflicts : 2061302 (6563 /sec)
314.10/315.07 c decisions : 6426376 (20460 /sec)
314.10/315.07 c propagations : 685478569 (2182415 /sec)
314.10/315.07 c inspects : 0 (0 /sec)
314.10/315.07 c CPU time (solving tm) : 314.1 s (312.6 s, SAT 0 s, UNSAT 312.6 s)
314.10/315.07 c Time for Opt-base : 0.002654 s
314.10/315.07 c Steps for Opt-base : 0
314.10/315.07 c Time for BDD coding : 0.1984 s
314.10/315.07 c Time for srt coding : 0.00421 s
314.10/315.07 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: 63968 MiB (61979 MiB free)
memory of node 1: 64473 MiB (60536 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446408-1721332603/watcher-4446408-1721332603 -o /tmp/evaluation-result-4446408-1721332603/solver-4446408-1721332603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721328472-974783 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4446408-1721332603.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=978382, runsolver pid=978379
[startup+0.100095 s]*
/proc/loadavg: 4.17 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125450272/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=10660 memory=6444 CPUtime=0.1 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 764 0 0 0 10 0 0 0 20 0 1 0 185424168 10915840 1611 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 2665 1611 436 659 0 1869 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20592 KiB
Current children cumulated memory: 9168 KiB
[startup+0.205814 s]*
/proc/loadavg: 4.17 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125447780/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=13344 memory=9088 CPUtime=0.2 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 1418 0 0 0 20 0 0 0 20 0 1 0 185424168 13664256 2272 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 3336 2272 436 659 0 2540 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 23276 KiB
Current children cumulated memory: 11812 KiB
[startup+0.305749 s]*
/proc/loadavg: 4.17 4.13 4.10 6/260 978387
/proc/meminfo: memFree=125444936/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=15780 memory=11532 CPUtime=0.3 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 2044 0 0 0 30 0 0 0 20 0 1 0 185424168 16158720 2883 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 3945 2883 436 659 0 3149 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 25712 KiB
Current children cumulated memory: 14256 KiB
[startup+0.700269 s]
/proc/loadavg: 4.17 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125437696/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=25504 memory=23404 CPUtime=0.68 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 4565 0 0 0 68 0 0 0 20 0 1 0 185424168 26116096 5851 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 6376 5851 436 659 0 5580 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 26128 KiB
[startup+1.50027 s]
/proc/loadavg: 4.17 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125421308/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=54216 memory=48408 CPUtime=1.48 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 11175 0 0 0 146 2 0 0 20 0 1 0 185424168 55517184 12102 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 13554 12102 468 659 0 12758 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64148 KiB
Current children cumulated memory: 51132 KiB
[startup+3.10561 s]
/proc/loadavg: 4.17 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125388308/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=73708 memory=60040 CPUtime=3.08 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 14706 0 0 0 305 3 0 0 20 0 1 0 185424168 75476992 15010 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 18427 15010 468 659 0 17631 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 62764 KiB
[startup+6.30025 s]
/proc/loadavg: 4.16 4.13 4.10 5/260 978387
/proc/meminfo: memFree=125372592/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=78952 memory=71336 CPUtime=6.27 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 14925 0 0 0 623 4 0 0 20 0 1 0 185424168 80846848 17834 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 19738 17834 468 659 0 18942 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88884 KiB
Current children cumulated memory: 74060 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.13 4.09 5/260 978388
/proc/meminfo: memFree=125314252/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=97628 memory=77304 CPUtime=12.65 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 15829 0 0 0 1261 4 0 0 20 0 1 0 185424168 99971072 19326 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 24407 19326 468 659 0 23611 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107560 KiB
Current children cumulated memory: 80028 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 4.14 4.10 5/260 978390
/proc/meminfo: memFree=125341040/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=97628 memory=91120 CPUtime=25.41 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 16201 0 0 0 2537 4 0 0 20 0 1 0 185424168 99971072 22780 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 24407 22780 468 659 0 23611 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 107560 KiB
Current children cumulated memory: 93844 KiB
[startup+51.1056 s]
/proc/loadavg: 4.13 4.13 4.09 5/260 978395
/proc/meminfo: memFree=125273060/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=97628 memory=91124 CPUtime=50.95 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 16471 0 0 0 5090 5 0 0 20 0 1 0 185424168 99971072 22781 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 24407 22781 468 659 0 23611 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 107560 KiB
Current children cumulated memory: 93848 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 978574
/proc/meminfo: memFree=125211544/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=117692 memory=109740 CPUtime=102 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 17102 0 0 0 10194 6 0 0 20 0 1 0 185424168 120516608 27435 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 29423 27435 468 659 0 28627 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 127624 KiB
Current children cumulated memory: 112464 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/262 978585
/proc/meminfo: memFree=125316984/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=120148 memory=113460 CPUtime=161.83 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 18060 0 0 0 16177 6 0 0 20 0 1 0 185424168 123031552 28365 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 30037 28365 468 659 0 29241 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 130080 KiB
Current children cumulated memory: 116184 KiB
[startup+222.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/262 978601
/proc/meminfo: memFree=125274724/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=124040 memory=117412 CPUtime=221.66 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 18570 0 0 0 22160 6 0 0 20 0 1 0 185424168 127016960 29353 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 31010 29353 468 659 0 30214 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 133972 KiB
Current children cumulated memory: 120136 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 978623
/proc/meminfo: memFree=125196964/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=163764 CPUtime=281.49 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20240 0 0 0 28141 8 0 0 20 0 1 0 185424168 190005248 40941 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 40941 468 659 0 45592 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 166488 KiB
[startup+315.084 s]
# the end of solver process 978382 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=314.094 s, system=0.100348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+294.4 s]
/proc/loadavg: 4.17 4.14 4.10 5/262 978624
/proc/meminfo: memFree=125198848/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=136232 memory=129728 CPUtime=293.56 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20242 0 0 0 29348 8 0 0 20 0 1 0 185424168 139501568 32432 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 34058 32432 468 659 0 33262 0
Current children cumulated CPU time: 293.56 s
Current children cumulated vsize: 146164 KiB
Current children cumulated memory: 132452 KiB
[startup+307.2 s]
/proc/loadavg: 4.13 4.14 4.10 5/262 978627
/proc/meminfo: memFree=125236176/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=165856 CPUtime=306.32 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20612 0 0 0 30623 9 0 0 20 0 1 0 185424168 190005248 41464 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 41464 468 659 0 45592 0
Current children cumulated CPU time: 306.32 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 168580 KiB
[startup+310.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 978628
/proc/meminfo: memFree=125219476/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=167904 CPUtime=309.51 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20613 0 0 0 30942 9 0 0 20 0 1 0 185424168 190005248 41976 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 41976 468 659 0 45592 0
Current children cumulated CPU time: 309.51 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 170628 KiB
[startup+313.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 978628
/proc/meminfo: memFree=125209928/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=172000 CPUtime=312.7 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20615 0 0 0 31261 9 0 0 20 0 1 0 185424168 190005248 43000 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 43000 468 659 0 45592 0
Current children cumulated CPU time: 312.7 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 174724 KiB
[startup+314.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 978628
/proc/meminfo: memFree=125203784/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=172000 CPUtime=313.5 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20615 0 0 0 31341 9 0 0 20 0 1 0 185424168 190005248 43000 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 43000 468 659 0 45592 0
Current children cumulated CPU time: 313.5 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 174724 KiB
[startup+314.8 s]
/proc/loadavg: 4.12 4.13 4.09 5/262 978628
/proc/meminfo: memFree=125203784/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=172000 CPUtime=313.9 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20615 0 0 0 31381 9 0 0 20 0 1 0 185424168 190005248 43000 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 43000 468 659 0 45592 0
Current children cumulated CPU time: 313.9 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 174724 KiB
[startup+315 s]*
/proc/loadavg: 4.11 4.13 4.09 5/262 978628
/proc/meminfo: memFree=125201736/131524600 swapFree=131071996/131071996
[pid=978382] ppid=978379 vsize=9932 memory=2724 CPUtime=0 cores=5,7
/proc/978382/stat : 978382 (naps-1.03.sh) S 978379 978382 974770 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 185424168 10170368 681 134679101440 94176423784448 94176424863768 140721430237488 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94176426962224 94176427009412 94176433012736 140721430246367 140721430246496 140721430246496 140721430253512 0
/proc/978382/statm: 2483 681 602 264 0 134 0
[pid=978387] ppid=978382 vsize=185552 memory=172000 CPUtime=314.1 cores=5,7
/proc/978387/stat : 978387 (naps-1.03) R 978382 978382 974770 0 -1 4194304 20615 0 0 0 31401 9 0 0 20 0 1 0 185424168 190005248 43000 134679101440 4194304 6891213 140729583768320 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 19640320 140729583772656 140729583772772 140729583772772 140729583779787 0
/proc/978387/statm: 46388 43000 468 659 0 45592 0
Current children cumulated CPU time: 314.1 s
Current children cumulated vsize: 195484 KiB
Current children cumulated memory: 174724 KiB
Child status: 10
Real time (s): 315.084
CPU time (s): 314.194
CPU user time (s): 314.094
CPU system time (s): 0.100348
CPU usage (%): 99.7176
Max. virtual memory (cumulated for all children) (KiB): 195484
Max. memory (cumulated for all children) (KiB): 174724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 314.094
system time used= 0.100348
maximum resident set size= 172000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21094
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= 12
involuntary context switches= 242
# summary of solver processes directly reported to runsolver:
# pid: 978382
# total CPU time (s): 314.194
# total CPU user time (s): 314.094
# total CPU system time (s): 0.100348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.538941 second user time and 1.69914 second system time
The end
Begin job on nodeC021 at 2024-07-18 21:56:56
IDJOB=4446408
IDBENCH=155589
IDSOLVER=3062
FILE ID=nodeC021/4446408-1721332603
RUNJOBID= nodeC021-1721328472-974783
SLURM_JOB_ID= 7542687
Free space on /tmp= 889696 MiB
SOLVER NAME= NaPS-GM 1.03
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-21.opb
COMMAND LINE= HOME/naps-1.03.sh -GM BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446408-1721332603/watcher-4446408-1721332603 -o /tmp/evaluation-result-4446408-1721332603/solver-4446408-1721332603 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721328472-974783 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4446408-1721332603.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= abfa2b7f448cb4339f1b1eeb1bae5b59
RANDOM SEED=413985785
nodeC021.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 : 3667.149
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.42
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 : 3672.951
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 : 7005.23
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.858
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.42
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 : 3599.994
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 : 7005.23
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 : 3667.138
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.42
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 : 3672.240
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 : 7005.23
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 : 3599.792
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.42
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 : 3655.932
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 : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125455860 kB
MemAvailable: 126925152 kB
Buffers: 506652 kB
Cached: 1789728 kB
SwapCached: 0 kB
Active: 1358496 kB
Inactive: 4077144 kB
Active(anon): 1568 kB
Inactive(anon): 3175080 kB
Active(file): 1356928 kB
Inactive(file): 902064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 11408 kB
Writeback: 0 kB
AnonPages: 3136124 kB
Mapped: 111548 kB
Shmem: 37720 kB
KReclaimable: 100248 kB
Slab: 211968 kB
SReclaimable: 100248 kB
SUnreclaim: 111720 kB
KernelStack: 4140 kB
PageTables: 15572 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3876460 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69120 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1525760 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: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 889688 MiB
End job on nodeC021 at 2024-07-18 22:02:11