0.00/0.02 c NaPS 1.03a6.
0.00/0.02 c Input file name: HOME/instance-4513721-1751218728.opb
3600.04/3610.90 c
3600.04/3610.90 c *** TERMINATED *** by signal 15
3600.04/3610.90 s UNKNOWN
3600.04/3610.90 c _____________________________________________________________________________
3600.04/3610.90 c std/band forms : 150,0
3600.04/3610.90 c 2cl/3cl ITE-codings : 0,0
3600.04/3610.90 c BDD/srt/adr Max costs : 0,18,0
3600.04/3610.90 c BDDraw/bin/mul/srt/adr: 0,0,0,150,0
3600.04/3610.90 c BDD nodes : 0
3600.04/3610.90 c Es1/CC detections : 0,0
3600.04/3610.90 c CC sort : 150
3600.04/3610.90 c SAT/UNSAT calls : 0,0
3600.04/3610.90 c regenrated variables : 0
3600.04/3610.90 c eliminated fixed lits : 0
3600.04/3610.90 c goal lit flips : 0
3600.04/3610.90 c goal stages : 0
3600.04/3610.90 c goal shrink : 0
3600.04/3610.90 c goal coeff separations: 0
3600.04/3610.90 c restarts : 0
3600.04/3610.90 c conflicts : 0 (0 /sec)
3600.04/3610.90 c decisions : 0 (0 /sec)
3600.04/3610.90 c propagations : 0 (0 /sec)
3600.04/3610.90 c inspects : 0 (0 /sec)
3600.04/3610.90 c CPU time (solving tm) : 3544 s (3544 s, SAT 0 s, UNSAT 0 s)
3600.04/3610.90 c Time for Opt-base : 0.000812 s
3600.04/3610.90 c Steps for Opt-base : 0
3600.04/3610.90 c Time for BDD coding : 0 s
3600.04/3610.90 c Time for srt coding : 0.000983 s
3600.04/3610.90 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: 63837 MiB (63245 MiB free)
memory of node 1: 64465 MiB (63908 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513721-1751218728/watcher-4513721-1751218728 -o /tmp/evaluation-result-4513721-1751218728/solver-4513721-1751218728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751218728-27148 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4513721-1751218728.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27201, runsolver pid=27189
[startup+0.100069 s]*
/proc/loadavg: 0.74 2.00 3.06 6/255 27218
/proc/meminfo: memFree=130196120/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=4920 memory=3200 CPUtime=0.08 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 388 0 0 0 8 0 0 0 20 0 1 0 37551903 5038080 800 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 1230 800 544 696 0 391 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9112 KiB
Current children cumulated memory: 6144 KiB
[startup+0.213712 s]*
/proc/loadavg: 0.74 2.00 3.06 5/255 27218
/proc/meminfo: memFree=130196128/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=6328 memory=4208 CPUtime=0.19 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 714 0 0 0 19 0 0 0 20 0 1 0 37551903 6479872 1052 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 1582 1052 544 696 0 743 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 10520 KiB
Current children cumulated memory: 7152 KiB
[startup+0.313144 s]*
/proc/loadavg: 0.74 2.00 3.06 5/255 27218
/proc/meminfo: memFree=130193860/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=6452 memory=3580 CPUtime=0.28 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 738 0 0 0 28 0 0 0 20 0 1 0 37551903 6606848 895 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 1613 895 544 696 0 774 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10644 KiB
Current children cumulated memory: 6524 KiB
[startup+0.70033 s]
/proc/loadavg: 0.74 2.00 3.06 5/255 27218
/proc/meminfo: memFree=130193860/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=6964 memory=4604 CPUtime=0.66 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 982 0 0 0 66 0 0 0 20 0 1 0 37551903 7131136 1151 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 1741 1151 544 696 0 902 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 11156 KiB
Current children cumulated memory: 7548 KiB
[startup+1.50034 s]
/proc/loadavg: 0.74 2.00 3.06 5/255 27218
/proc/meminfo: memFree=130189936/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=9016 memory=6188 CPUtime=1.45 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 3110 0 0 0 144 1 0 0 20 0 1 0 37551903 9232384 1547 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 2254 1547 544 696 0 1415 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13208 KiB
Current children cumulated memory: 9132 KiB
[startup+3.11294 s]
/proc/loadavg: 1.00 2.03 3.06 5/255 27218
/proc/meminfo: memFree=130181136/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=11064 memory=6828 CPUtime=3.06 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 13988 0 0 0 303 3 0 0 20 0 1 0 37551903 11329536 1707 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 2766 1707 544 696 0 1927 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 15256 KiB
Current children cumulated memory: 9772 KiB
[startup+6.30035 s]
/proc/loadavg: 1.00 2.03 3.06 5/257 27220
/proc/meminfo: memFree=130174944/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=11064 memory=7108 CPUtime=6.24 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 49154 0 0 0 617 7 0 0 20 0 1 0 37551903 11329536 1777 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 2766 1777 544 696 0 1927 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 15256 KiB
Current children cumulated memory: 10052 KiB
[startup+12.7004 s]
/proc/loadavg: 1.47 2.09 3.07 5/257 27220
/proc/meminfo: memFree=130170472/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=10040 memory=7492 CPUtime=12.63 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 128685 0 0 0 1244 19 0 0 20 0 1 0 37551903 10280960 1873 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 2510 1873 544 696 0 1671 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 14232 KiB
Current children cumulated memory: 10436 KiB
[startup+25.5004 s]
/proc/loadavg: 1.86 2.16 3.08 5/257 27220
/proc/meminfo: memFree=130144608/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=17912 memory=11368 CPUtime=25.39 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 288894 0 0 0 2500 39 0 0 20 0 1 0 37551903 18341888 2842 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 4478 2842 544 696 0 3639 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 22104 KiB
Current children cumulated memory: 14312 KiB
[startup+51.1132 s]
/proc/loadavg: 2.65 2.32 3.12 5/258 27222
/proc/meminfo: memFree=130123092/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=15860 memory=12540 CPUtime=50.92 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 578066 0 0 0 5010 82 0 0 20 0 1 0 37551903 16240640 3135 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 3965 3135 544 696 0 3126 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 20052 KiB
Current children cumulated memory: 15484 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.62 3.17 5/259 27225
/proc/meminfo: memFree=130091804/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=23416 memory=20908 CPUtime=101.96 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 1244439 0 0 0 10010 186 0 0 20 0 1 0 37551903 23977984 5227 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 5854 5227 544 696 0 5015 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 27608 KiB
Current children cumulated memory: 23852 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.91 3.24 5/258 27227
/proc/meminfo: memFree=130081472/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=21368 memory=18460 CPUtime=161.79 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 1836760 0 0 0 15906 273 0 0 20 0 1 0 37551903 21880832 4615 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 5342 4615 544 696 0 4503 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 25560 KiB
Current children cumulated memory: 21404 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 3.12 3.29 5/258 27229
/proc/meminfo: memFree=130066156/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=31608 memory=23944 CPUtime=221.63 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 2488619 0 0 0 21781 382 0 0 20 0 1 0 37551903 32366592 5986 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 7902 5986 544 696 0 7063 0
Current children cumulated CPU time: 221.63 s
################
# More data... #
################
/proc/loadavg: 4.10 4.09 4.03 5/255 27373
/proc/meminfo: memFree=130012732/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=38008 memory=34840 CPUtime=3092.96 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 21475379 0 0 0 304556 4740 0 0 20 0 1 0 37551903 38920192 8710 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 9502 8710 544 696 0 8663 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 42200 KiB
Current children cumulated memory: 37784 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/254 27375
/proc/meminfo: memFree=130006812/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=42104 memory=38676 CPUtime=3152.78 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 21720263 0 0 0 310478 4800 0 0 20 0 1 0 37551903 43114496 9669 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 10526 9669 544 696 0 9687 0
Current children cumulated CPU time: 3152.78 s
Current children cumulated vsize: 46296 KiB
Current children cumulated memory: 41620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/254 27376
/proc/meminfo: memFree=130010516/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=58488 memory=41392 CPUtime=3212.6 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 22420563 0 0 0 316281 4979 0 0 20 0 1 0 37551903 59891712 10348 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 14622 10348 544 696 0 13783 0
Current children cumulated CPU time: 3212.6 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 44336 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/253 27378
/proc/meminfo: memFree=130026168/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=29816 memory=25032 CPUtime=3272.44 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 22467476 0 0 0 322252 4992 0 0 20 0 1 0 37551903 30531584 6258 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 7454 6258 544 696 0 6615 0
Current children cumulated CPU time: 3272.44 s
Current children cumulated vsize: 34008 KiB
Current children cumulated memory: 27976 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.12 4.05 5/253 27380
/proc/meminfo: memFree=130010008/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=58488 memory=41392 CPUtime=3332.24 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 23025814 0 0 0 328104 5120 0 0 20 0 1 0 37551903 59891712 10348 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 14622 10348 544 696 0 13783 0
Current children cumulated CPU time: 3332.24 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 44336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/253 27382
/proc/meminfo: memFree=130019816/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=42104 memory=30780 CPUtime=3392.06 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 23508821 0 0 0 333957 5249 0 0 20 0 1 0 37551903 43114496 7695 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 10526 7695 544 696 0 9687 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 46296 KiB
Current children cumulated memory: 33724 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/254 27387
/proc/meminfo: memFree=130012372/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=33908 memory=24084 CPUtime=3451.91 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 23554982 0 0 0 339928 5263 0 0 20 0 1 0 37551903 34721792 6021 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 8477 6021 544 696 0 7638 0
Current children cumulated CPU time: 3451.91 s
Current children cumulated vsize: 38100 KiB
Current children cumulated memory: 27028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.05 6/254 27389
/proc/meminfo: memFree=130028392/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=66680 memory=45484 CPUtime=3511.73 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 24154552 0 0 0 345764 5409 0 0 20 0 1 0 37551903 68280320 11371 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 16670 11371 544 696 0 15831 0
Current children cumulated CPU time: 3511.73 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 48428 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/255 27394
/proc/meminfo: memFree=130027628/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=66680 memory=47532 CPUtime=3571.54 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 24683653 0 0 0 351599 5555 0 0 20 0 1 0 37551903 68280320 11883 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 16670 11883 544 696 0 15831 0
Current children cumulated CPU time: 3571.54 s
Current children cumulated vsize: 70872 KiB
Current children cumulated memory: 50476 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.11 4.06 5/250 27406
/proc/meminfo: memFree=130063096/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=58488 memory=44716 CPUtime=3600.04 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 24927967 0 0 0 354377 5627 0 0 20 0 1 0 37551903 59891712 11179 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 14622 11179 544 696 0 13783 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 47660 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.9 s]
# the end of solver process 27201 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3543.78 s, system=56.2873 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.14 4.11 4.06 5/250 27406
/proc/meminfo: memFree=130063096/131382120 swapFree=33010684/33010684
[pid=27201] ppid=27189 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/27201/stat : 27201 (naps-1.03a6.sh) S 27189 27201 27134 0 -1 4194304 231 204 0 0 0 0 0 0 20 0 1 0 37551901 4292608 736 18446744073709551615 93842903523328 93842904417861 140733168928736 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93842904656912 93842904704656 93842914787328 140733168937383 140733168937477 140733168937477 140733168943079 0
/proc/27201/statm: 1048 736 672 219 0 110 0
[pid=27217] ppid=27201 vsize=58488 memory=44716 CPUtime=3600.04 cores=1,3
/proc/27217/stat : 27217 (naps-1.03a6) R 27201 27201 27134 0 -1 4194304 24927967 0 0 0 354377 5627 0 0 20 0 1 0 37551903 59891712 11179 18446744073709551615 4198400 7047149 140723315804352 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 27893760 140723315812724 140723315812838 140723315812838 140723315818441 0
/proc/27217/statm: 14622 11179 544 696 0 13783 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 62680 KiB
Current children cumulated memory: 47660 KiB
Child status: 10
Real time (s): 3610.9
CPU time (s): 3600.07
CPU user time (s): 3543.78
CPU system time (s): 56.2873
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 120024
Max. memory (cumulated for all children) (KiB): 91468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3543.78
system time used= 56.2874
maximum resident set size= 88524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24928414
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= 205
involuntary context switches= 5043
# summary of solver processes directly reported to runsolver:
# pid: 27201
# total CPU time (s): 3600.07
# total CPU user time (s): 3543.78
# total CPU system time (s): 56.2873
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5704 second user time and 37.6897 second system time
The end
Begin job on nodeC008 at 2025-06-29 19:38:48
IDJOB=4513721
IDBENCH=162418
IDSOLVER=3341
FILE ID=nodeC008/4513721-1751218728
RUNJOBID= nodeC008-1751218728-27148
SLURM_JOB_ID= 9587669
Free space on /tmp= 433060 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/subsetcard/normalized-subsetcard-geq-random4regular-75.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513721-1751218728/watcher-4513721-1751218728 -o /tmp/evaluation-result-4513721-1751218728/solver-4513721-1751218728 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751218728-27148 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4513721-1751218728.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 73162c5baccd4b1f7679d68a6ce7b058
RANDOM SEED=1289107019
nodeC008 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.224
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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.085
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.144
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 1197.195
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.058
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
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 : 1196.784
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.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 : 0xb00001f
cpu MHz : 1197.253
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130176352 kB
MemAvailable: 129916328 kB
Buffers: 3280 kB
Cached: 550644 kB
SwapCached: 0 kB
Active: 320704 kB
Inactive: 302688 kB
Active(anon): 87424 kB
Inactive(anon): 0 kB
Active(file): 233280 kB
Inactive(file): 302688 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 22584 kB
Writeback: 16 kB
AnonPages: 72540 kB
Mapped: 102248 kB
Shmem: 17956 kB
KReclaimable: 87268 kB
Slab: 166428 kB
SReclaimable: 87268 kB
SUnreclaim: 79160 kB
KernelStack: 3808 kB
PageTables: 2724 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 330068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149208 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 16384 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 181064 kB
DirectMap2M: 9158656 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433040 MiB
End job on nodeC008 at 2025-06-29 20:38:59