0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4513577-1751216795.opb
3600.02/3610.50 c
3600.02/3610.50 c *** TERMINATED *** by signal 15
3600.02/3610.50 s UNKNOWN
3600.02/3610.50 c _____________________________________________________________________________
3600.02/3610.50 c std/band forms : 178,0
3600.02/3610.50 c 2cl/3cl ITE-codings : 0,0
3600.02/3610.50 c BDD/srt/adr Max costs : 0,11,0
3600.02/3610.50 c BDDraw/bin/mul/srt/adr: 0,0,0,178,0
3600.02/3610.50 c BDD nodes : 0
3600.02/3610.50 c Es1/CC detections : 0,0
3600.02/3610.50 c CC sort : 89
3600.02/3610.50 c SAT/UNSAT calls : 0,0
3600.02/3610.50 c regenrated variables : 0
3600.02/3610.50 c eliminated fixed lits : 0
3600.02/3610.50 c goal lit flips : 0
3600.02/3610.50 c goal stages : 0
3600.02/3610.50 c goal shrink : 0
3600.02/3610.50 c goal coeff separations: 0
3600.02/3610.50 c restarts : 0
3600.02/3610.50 c conflicts : 0 (0 /sec)
3600.02/3610.50 c decisions : 0 (0 /sec)
3600.02/3610.50 c propagations : 0 (0 /sec)
3600.02/3610.50 c inspects : 0 (0 /sec)
3600.02/3610.50 c CPU time (solving tm) : 3551 s (3551 s, SAT 0 s, UNSAT 0 s)
3600.02/3610.50 c Time for Opt-base : 0.000459 s
3600.02/3610.50 c Steps for Opt-base : 0
3600.02/3610.50 c Time for BDD coding : 0 s
3600.02/3610.50 c Time for srt coding : 0.000886 s
3600.02/3610.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: 63837 MiB (63265 MiB free)
memory of node 1: 64465 MiB (63386 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513577-1751216795/watcher-4513577-1751216795 -o /tmp/evaluation-result-4513577-1751216795/solver-4513577-1751216795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751216748-28397 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4513577-1751216795.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=28559, runsolver pid=28556
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 2.49 2.05 3.02 5/255 28563
/proc/meminfo: memFree=129691372/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=4812 memory=3200 CPUtime=0.08 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 329 0 0 0 8 0 0 0 20 0 1 0 37358880 4927488 800 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 1203 800 544 696 0 364 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9004 KiB
Current children cumulated memory: 6272 KiB
[startup+0.213014 s]*
/proc/loadavg: 2.49 2.05 3.02 5/255 28563
/proc/meminfo: memFree=129691372/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=5192 memory=3444 CPUtime=0.19 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 448 0 0 0 19 0 0 0 20 0 1 0 37358880 5316608 861 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 1298 861 544 696 0 459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 9384 KiB
Current children cumulated memory: 6516 KiB
[startup+0.312891 s]*
/proc/loadavg: 2.49 2.05 3.02 5/255 28563
/proc/meminfo: memFree=129691372/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=6348 memory=3884 CPUtime=0.29 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 650 0 0 0 29 0 0 0 20 0 1 0 37358880 6500352 971 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 1587 971 544 696 0 748 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10540 KiB
Current children cumulated memory: 6956 KiB
[startup+0.700365 s]
/proc/loadavg: 2.49 2.05 3.02 5/255 28563
/proc/meminfo: memFree=129691372/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=6492 memory=4404 CPUtime=0.66 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 1065 0 0 0 66 0 0 0 20 0 1 0 37358880 6647808 1101 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 1623 1101 544 696 0 784 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 10684 KiB
Current children cumulated memory: 7476 KiB
[startup+1.50038 s]
/proc/loadavg: 2.49 2.05 3.02 5/255 28563
/proc/meminfo: memFree=129691372/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=8940 memory=5960 CPUtime=1.46 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 4722 0 0 0 145 1 0 0 20 0 1 0 37358880 9154560 1490 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 2235 1490 544 696 0 1396 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13132 KiB
Current children cumulated memory: 9032 KiB
[startup+3.1129 s]
/proc/loadavg: 2.61 2.08 3.02 5/255 28563
/proc/meminfo: memFree=129690632/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=8940 memory=6476 CPUtime=3.07 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 18970 0 0 0 303 4 0 0 20 0 1 0 37358880 9154560 1619 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 2235 1619 544 696 0 1396 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 13132 KiB
Current children cumulated memory: 9548 KiB
[startup+6.30033 s]
/proc/loadavg: 2.61 2.08 3.02 5/255 28563
/proc/meminfo: memFree=129685804/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=12652 memory=9332 CPUtime=6.25 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 54742 0 0 0 616 9 0 0 20 0 1 0 37358880 12955648 2333 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 3163 2333 544 696 0 2324 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 16844 KiB
Current children cumulated memory: 12404 KiB
[startup+12.7004 s]
/proc/loadavg: 2.83 2.15 3.03 5/255 28563
/proc/meminfo: memFree=129683060/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=11624 memory=9492 CPUtime=12.63 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 114722 0 0 0 1246 17 0 0 20 0 1 0 37358880 11902976 2373 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 2906 2373 544 696 0 2067 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 15816 KiB
Current children cumulated memory: 12564 KiB
[startup+25.5004 s]
/proc/loadavg: 3.09 2.23 3.05 5/255 28563
/proc/meminfo: memFree=129663316/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=21996 memory=16040 CPUtime=25.39 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 257663 0 0 0 2503 36 0 0 20 0 1 0 37358880 22523904 4010 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 5499 4010 544 696 0 4660 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 26188 KiB
Current children cumulated memory: 19112 KiB
[startup+51.1131 s]
/proc/loadavg: 3.75 2.45 3.10 5/256 28565
/proc/meminfo: memFree=129632080/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=24044 memory=19732 CPUtime=50.94 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 506974 0 0 0 5016 78 0 0 20 0 1 0 37358880 24621056 4933 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 6011 4933 544 696 0 5172 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 28236 KiB
Current children cumulated memory: 22804 KiB
[startup+102.3 s]
/proc/loadavg: 4.39 2.86 3.21 5/256 28566
/proc/meminfo: memFree=129624616/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=21996 memory=20292 CPUtime=101.99 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 1121256 0 0 0 10025 174 0 0 20 0 1 0 37358880 22523904 5073 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 5499 5073 544 696 0 4660 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 26188 KiB
Current children cumulated memory: 23364 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 3.09 3.27 5/256 28571
/proc/meminfo: memFree=129613684/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=19944 memory=18368 CPUtime=161.82 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 1633796 0 0 0 15928 254 0 0 20 0 1 0 37358880 20422656 4592 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 4986 4592 544 696 0 4147 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 24136 KiB
Current children cumulated memory: 21440 KiB
[startup+222.3 s]
/proc/loadavg: 4.27 3.30 3.33 5/257 28574
/proc/meminfo: memFree=129599052/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=28136 memory=18624 CPUtime=221.66 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 2177410 0 0 0 21818 348 0 0 20 0 1 0 37358880 28811264 4656 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 7034 4656 544 696 0 6195 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 32328 KiB
################
# More data... #
################
/proc/loadavg: 4.09 4.08 4.04 5/253 28712
/proc/meminfo: memFree=129465336/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=80108 memory=54440 CPUtime=3093.25 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 20610847 0 0 0 304925 4400 0 0 20 0 1 0 37358880 82030592 13610 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 20027 13610 544 696 0 19188 0
Current children cumulated CPU time: 3093.25 s
Current children cumulated vsize: 84300 KiB
Current children cumulated memory: 57512 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/254 28717
/proc/meminfo: memFree=129469448/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=71916 memory=46372 CPUtime=3153.1 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 20646723 0 0 0 310901 4409 0 0 20 0 1 0 37358880 73641984 11593 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 17979 11593 544 696 0 17140 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 76108 KiB
Current children cumulated memory: 49444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.05 5/254 28719
/proc/meminfo: memFree=129464648/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=71916 memory=49796 CPUtime=3212.93 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 20704677 0 0 0 316871 4422 0 0 20 0 1 0 37358880 73641984 12449 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 17979 12449 544 696 0 17140 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 76108 KiB
Current children cumulated memory: 52868 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/255 28733
/proc/meminfo: memFree=129476144/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=71916 memory=50264 CPUtime=3272.76 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 21120415 0 0 0 322757 4519 0 0 20 0 1 0 37358880 73641984 12566 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 17979 12566 544 696 0 17140 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 76108 KiB
Current children cumulated memory: 53336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.06 5/255 28735
/proc/meminfo: memFree=129458744/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=63720 memory=42696 CPUtime=3332.6 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 21423715 0 0 0 328664 4596 0 0 20 0 1 0 37358880 65249280 10674 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 15930 10674 544 696 0 15091 0
Current children cumulated CPU time: 3332.6 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 45768 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/256 28738
/proc/meminfo: memFree=129470656/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=55532 memory=48808 CPUtime=3392.44 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 21537129 0 0 0 334621 4623 0 0 20 0 1 0 37358880 56864768 12202 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 13883 12202 544 696 0 13044 0
Current children cumulated CPU time: 3392.44 s
Current children cumulated vsize: 59724 KiB
Current children cumulated memory: 51880 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/255 28740
/proc/meminfo: memFree=129477856/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=80108 memory=53784 CPUtime=3452.26 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 22036185 0 0 0 340474 4752 0 0 20 0 1 0 37358880 82030592 13446 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 20027 13446 544 696 0 19188 0
Current children cumulated CPU time: 3452.26 s
Current children cumulated vsize: 84300 KiB
Current children cumulated memory: 56856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/255 28742
/proc/meminfo: memFree=129481480/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=80108 memory=56984 CPUtime=3512.08 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 22498255 0 0 0 346340 4868 0 0 20 0 1 0 37358880 82030592 14246 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 20027 14246 544 696 0 19188 0
Current children cumulated CPU time: 3512.08 s
Current children cumulated vsize: 84300 KiB
Current children cumulated memory: 60056 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/255 29085
/proc/meminfo: memFree=129630768/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=55532 memory=48792 CPUtime=3571.89 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 22573796 0 0 0 352296 4893 0 0 20 0 1 0 37358880 56864768 12198 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 13883 12198 544 696 0 13044 0
Current children cumulated CPU time: 3571.89 s
Current children cumulated vsize: 59724 KiB
Current children cumulated memory: 51864 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.5 s]
/proc/loadavg: 4.16 4.11 4.07 5/255 29085
/proc/meminfo: memFree=129622128/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=63720 memory=41900 CPUtime=3600.02 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 22588715 0 0 0 355106 4896 0 0 20 0 1 0 37358880 65249280 10475 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 15930 10475 544 696 0 15091 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 44972 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.5 s]
# the end of solver process 28559 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3551.07 s, system=48.9693 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.5 s]
/proc/loadavg: 4.16 4.11 4.07 5/255 29085
/proc/meminfo: memFree=129622128/131382116 swapFree=33010684/33010684
[pid=28559] ppid=28556 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/28559/stat : 28559 (naps-1.03a6.sh) S 28556 28559 28384 0 -1 4194304 229 204 0 0 0 0 0 0 20 0 1 0 37358878 4292608 768 18446744073709551615 94760098209792 94760099104325 140736887353728 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94760099343376 94760099391120 94760115560448 140736887359911 140736887360005 140736887360005 140736887365607 0
/proc/28559/statm: 1048 768 704 219 0 110 0
[pid=28563] ppid=28559 vsize=63720 memory=41900 CPUtime=3600.02 cores=5,7
/proc/28563/stat : 28563 (naps-1.03a6) R 28559 28559 28384 0 -1 4194304 22588715 0 0 0 355106 4896 0 0 20 0 1 0 37358880 65249280 10475 18446744073709551615 4198400 7047149 140736607257712 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 18894848 140736607263092 140736607263206 140736607263206 140736607268809 0
/proc/28563/statm: 15930 10475 544 696 0 15091 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 67912 KiB
Current children cumulated memory: 44972 KiB
Child status: 10
Real time (s): 3610.5
CPU time (s): 3600.03
CPU user time (s): 3551.07
CPU system time (s): 48.9693
CPU usage (%): 99.7101
Max. virtual memory (cumulated for all children) (KiB): 133452
Max. memory (cumulated for all children) (KiB): 84652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.07
system time used= 48.9693
maximum resident set size= 81580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22589161
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= 173
involuntary context switches= 4158
# summary of solver processes directly reported to runsolver:
# pid: 28559
# total CPU time (s): 3600.03
# total CPU user time (s): 3551.07
# total CPU system time (s): 48.9693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6006 second user time and 37.3032 second system time
The end
Begin job on nodeC010 at 2025-06-29 19:06:35
IDJOB=4513577
IDBENCH=162381
IDSOLVER=3341
FILE ID=nodeC010/4513577-1751216795
RUNJOBID= nodeC010-1751216748-28397
SLURM_JOB_ID= 9587658
Free space on /tmp= 432676 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v090-n1.opb
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513577-1751216795/watcher-4513577-1751216795 -o /tmp/evaluation-result-4513577-1751216795/solver-4513577-1751216795 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751216748-28397 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4513577-1751216795.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2f2bbded117b16ee84684349cffbd198
RANDOM SEED=1450830279
nodeC010 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 : 3662.019
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.36
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 : 3662.424
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.36
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.797
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.36
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.237
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.36
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 : 3661.899
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.36
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 : 1795.729
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.36
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 : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.36
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.528
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.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129691764 kB
MemAvailable: 129920700 kB
Buffers: 3280 kB
Cached: 1038764 kB
SwapCached: 0 kB
Active: 422820 kB
Inactive: 746256 kB
Active(anon): 144992 kB
Inactive(anon): 0 kB
Active(file): 277828 kB
Inactive(file): 746256 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5712 kB
Writeback: 0 kB
AnonPages: 130232 kB
Mapped: 110852 kB
Shmem: 17960 kB
KReclaimable: 88960 kB
Slab: 170988 kB
SReclaimable: 88960 kB
SUnreclaim: 82028 kB
KernelStack: 4092 kB
PageTables: 3476 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 482664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 24576 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 432672 MiB
End job on nodeC010 at 2025-06-29 20:06:45