0.00/0.00 c NaPS 1.02b5.
0.00/0.00 c Input file name: HOME/instance-4452491-1721439656.opb
3600.04/3609.70 c
3600.04/3609.70 c *** TERMINATED *** by signal 15
3600.04/3609.70 s UNKNOWN
3600.04/3609.70 c _____________________________________________________________________________
3600.04/3609.70 c
3600.04/3609.70 c std/band forms : 35,0
3600.04/3609.70 c 2cl/3cl ITE-codings : 0,0
3600.04/3609.70 c BDD/srt/adr Max costs : 0,0,196480
3600.04/3609.70 c BDDraw/bin/mul/srt/adr: 0,0,17,0,17
3600.04/3609.70 c BDD nodes : 273475537
3600.04/3609.70 c Es1/CC detections : 0,0
3600.04/3609.70 c SAT/UNSAT calls : 0,0
3600.04/3609.70 c regenrated variables : 0
3600.04/3609.70 c restarts : 0
3600.04/3609.70 c conflicts : 0 (0 /sec)
3600.04/3609.70 c decisions : 0 (0 /sec)
3600.04/3609.70 c propagations : 0 (0 /sec)
3600.04/3609.70 c inspects : 0 (0 /sec)
3600.04/3609.70 c CPU time (solving tm) : 3590 s (0 s)
3600.04/3609.70 c Time for Opt-base : 686 s
3600.04/3609.70 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 (58782 MiB free)
memory of node 1: 64473 MiB (51602 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452491-1721439656/watcher-4452491-1721439656 -o /tmp/evaluation-result-4452491-1721439656/solver-4452491-1721439656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721435230-1043543 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4452491-1721439656.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=1046839, runsolver pid=1046836
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100822 s]*
/proc/loadavg: 4.12 4.12 4.09 5/262 1046844
/proc/meminfo: memFree=113030608/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=9712 memory=4800 CPUtime=0.09 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 879 0 0 0 9 0 0 0 20 0 1 0 196136223 9945088 1200 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 2428 1200 405 379 0 1962 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 19644 KiB
Current children cumulated memory: 7460 KiB
[startup+0.206839 s]*
/proc/loadavg: 4.12 4.12 4.09 5/262 1046844
/proc/meminfo: memFree=113025844/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12356 memory=9112 CPUtime=0.19 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 1465 0 0 0 19 0 0 0 20 0 1 0 196136223 12652544 2278 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3089 2278 405 379 0 2623 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 22288 KiB
Current children cumulated memory: 11772 KiB
[startup+0.306831 s]*
/proc/loadavg: 4.12 4.12 4.09 5/262 1046844
/proc/meminfo: memFree=113021668/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=14452 memory=11096 CPUtime=0.28 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2036 0 0 0 28 0 0 0 20 0 1 0 196136223 14798848 2774 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3613 2774 405 379 0 3147 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 24384 KiB
Current children cumulated memory: 13756 KiB
[startup+0.700821 s]
/proc/loadavg: 4.12 4.12 4.09 6/262 1046844
/proc/meminfo: memFree=113017888/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=22760 memory=18516 CPUtime=0.65 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 4098 0 0 0 65 0 0 0 20 0 1 0 196136223 23306240 4629 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 5690 4629 405 379 0 5224 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 32692 KiB
Current children cumulated memory: 21176 KiB
[startup+1.50082 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1046844
/proc/meminfo: memFree=113007476/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=37700 memory=35420 CPUtime=1.45 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 8197 0 0 0 144 1 0 0 20 0 1 0 196136223 38604800 8855 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 9425 8855 405 379 0 8959 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 47632 KiB
Current children cumulated memory: 38080 KiB
[startup+3.10602 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 1046846
/proc/meminfo: memFree=112966168/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=78676 memory=67764 CPUtime=3.05 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 16160 0 0 0 301 4 0 0 20 0 1 0 196136223 80564224 16941 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 19669 16941 405 379 0 19203 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 88608 KiB
Current children cumulated memory: 70424 KiB
[startup+6.30026 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1046846
/proc/meminfo: memFree=112903468/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=149688 memory=133692 CPUtime=6.23 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 28555 0 0 0 616 7 0 0 20 0 1 0 196136223 153280512 33423 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 37422 33423 405 379 0 36956 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 159620 KiB
Current children cumulated memory: 136352 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 1046847
/proc/meminfo: memFree=112701744/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=476776 memory=437540 CPUtime=12.62 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 102384 0 0 0 1241 21 0 0 20 0 1 0 196136223 488218624 109385 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 119194 109385 421 379 0 118728 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 486708 KiB
Current children cumulated memory: 440200 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/262 1046849
/proc/meminfo: memFree=111718780/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=1396464 memory=1353356 CPUtime=25.38 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 320137 0 0 0 2479 59 0 0 20 0 1 0 196136223 1429979136 338339 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 349116 338339 421 379 0 348650 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1406396 KiB
Current children cumulated memory: 1356016 KiB
[startup+51.1061 s]
/proc/loadavg: 4.05 4.10 4.09 5/262 1046852
/proc/meminfo: memFree=109919292/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=3153876 memory=3113544 CPUtime=50.92 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 741647 0 0 0 4963 129 0 0 20 0 1 0 196136223 3229569024 778386 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 788469 778386 421 379 0 788003 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3163808 KiB
Current children cumulated memory: 3116204 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 1046863
/proc/meminfo: memFree=109966364/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=3153876 memory=3113748 CPUtime=101.98 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 741740 0 0 0 10067 131 0 0 20 0 1 0 196136223 3229569024 778437 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 788469 778437 421 379 0 788003 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3163808 KiB
Current children cumulated memory: 3116408 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 1046873
/proc/meminfo: memFree=109908188/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=3169140 memory=3129044 CPUtime=161.82 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 745713 0 0 0 16048 134 0 0 20 0 1 0 196136223 3245199360 782261 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 792285 782261 421 379 0 791819 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3179072 KiB
Current children cumulated memory: 3131704 KiB
[startup+222.3 s]
/proc/loadavg: 4.44 4.20 4.12 5/261 1046884
/proc/meminfo: memFree=107924672/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=5217112 memory=5142000 CPUtime=221.66 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 1218667 0 0 0 21948 218 0 0 20 0 1 0 196136223 5342322688 1285500 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 1304278 1285500 421 379 0 1303812 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12495676 memory=12411524 CPUtime=3093.94 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2945186 0 0 0 308475 919 0 0 20 0 1 0 196136223 12795572224 3102881 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3123919 3102881 421 379 0 3123453 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 12505608 KiB
Current children cumulated memory: 12414184 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.15 4.13 5/262 1048718
/proc/meminfo: memFree=107267072/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12495676 memory=12413572 CPUtime=3153.78 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2947065 0 0 0 314448 930 0 0 20 0 1 0 196136223 12795572224 3103393 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3123919 3103393 421 379 0 3123453 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 12505608 KiB
Current children cumulated memory: 12416232 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/262 1048729
/proc/meminfo: memFree=107287040/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12495676 memory=12413572 CPUtime=3213.62 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2949033 0 0 0 320419 943 0 0 20 0 1 0 196136223 12795572224 3103393 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3123919 3103393 421 379 0 3123453 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 12505608 KiB
Current children cumulated memory: 12416232 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/258 1048739
/proc/meminfo: memFree=107280816/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12498500 memory=12416396 CPUtime=3273.46 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2951632 0 0 0 326391 955 0 0 20 0 1 0 196136223 12798464000 3104099 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3124625 3104099 421 379 0 3124159 0
Current children cumulated CPU time: 3273.46 s
Current children cumulated vsize: 12508432 KiB
Current children cumulated memory: 12419056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/258 1048749
/proc/meminfo: memFree=107232852/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12498500 memory=12416396 CPUtime=3333.3 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2953815 0 0 0 332365 965 0 0 20 0 1 0 196136223 12798464000 3104099 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3124625 3104099 421 379 0 3124159 0
Current children cumulated CPU time: 3333.3 s
Current children cumulated vsize: 12508432 KiB
Current children cumulated memory: 12419056 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/259 1048762
/proc/meminfo: memFree=107226604/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=12498500 memory=12416396 CPUtime=3393.13 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 2956012 0 0 0 338339 974 0 0 20 0 1 0 196136223 12798464000 3104099 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3124625 3104099 421 379 0 3124159 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 12508432 KiB
Current children cumulated memory: 12419056 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.20 4.14 5/259 1048822
/proc/meminfo: memFree=108169484/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=13034816 memory=12966972 CPUtime=3452.97 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 3092498 0 0 0 344289 1008 0 0 20 0 1 0 196136223 13347651584 3241743 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3258704 3241743 421 379 0 3258238 0
Current children cumulated CPU time: 3452.97 s
Current children cumulated vsize: 13044748 KiB
Current children cumulated memory: 12969632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/259 1048832
/proc/meminfo: memFree=108112228/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=13034816 memory=12969688 CPUtime=3512.82 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 3092623 0 0 0 350262 1020 0 0 20 0 1 0 196136223 13347651584 3242422 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3258704 3242422 421 379 0 3258238 0
Current children cumulated CPU time: 3512.82 s
Current children cumulated vsize: 13044748 KiB
Current children cumulated memory: 12972348 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/262 1048847
/proc/meminfo: memFree=108041512/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=13034848 memory=12971260 CPUtime=3572.69 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 3094625 0 0 0 356239 1030 0 0 20 0 1 0 196136223 13347684352 3242815 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3258712 3242815 421 379 0 3258246 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 13044780 KiB
Current children cumulated memory: 12973920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.48 4.24 4.16 5/262 1048851
/proc/meminfo: memFree=108072964/131524596 swapFree=131071996/131071996
[pid=1046839] ppid=1046836 vsize=9932 memory=2660 CPUtime=0 cores=4,6
/proc/1046839/stat : 1046839 (naps-1.02b5.sh) S 1046836 1046839 1043532 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 196136223 10170368 665 134679101440 94543129780224 94543130859544 140725178185248 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94543132958000 94543133005188 94543133356032 140725178188766 140725178188893 140725178188893 140725178195910 0
/proc/1046839/statm: 2483 665 586 264 0 134 0
[pid=1046844] ppid=1046839 vsize=13034848 memory=12971260 CPUtime=3600.04 cores=4,6
/proc/1046844/stat : 1046844 (naps-1.02b5) R 1046839 1046839 1043532 0 -1 4194304 3095597 0 0 0 358969 1035 0 0 20 0 1 0 196136223 13347684352 3242815 134679101440 4194304 5746509 140731828965024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 38961152 140731828970477 140731828970591 140731828970591 140731828977609 0
/proc/1046844/statm: 3258712 3242815 421 379 0 3258246 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 13044780 KiB
Current children cumulated memory: 12973920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 1046839 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001976 s, system=0.000881 s
[startup+3610.05 s]
# the end of solver process 1046844 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.69 s, system=10.6981 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610 s]*
/proc/loadavg: 4.48 4.24 4.16 5/261 1048851
/proc/meminfo: memFree=118922996/131524596 swapFree=131071996/131071996
Current cumulated CPU time of completed processes: 0.002857 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3610.05
CPU time (s): 3600.39
CPU user time (s): 3589.69
CPU system time (s): 10.6981
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 13044780
Max. memory (cumulated for all children) (KiB): 12973920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.69
system time used= 10.6981
maximum resident set size= 12971260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3096066
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= 26
involuntary context switches= 1313
# summary of solver processes directly reported to runsolver:
# pid: 1046839,1046844
# total CPU time (s): 3600.39
# total CPU user time (s): 3589.69
# total CPU system time (s): 10.6981
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90137 second user time and 18.6568 second system time
The end
Begin job on nodeC034 at 2024-07-20 03:41:09
IDJOB=4452491
IDBENCH=164383
IDSOLVER=3065
FILE ID=nodeC034/4452491-1721439656
RUNJOBID= nodeC034-1721435230-1043543
SLURM_JOB_ID= 7545642
Free space on /tmp= 890024 MiB
SOLVER NAME= NaPS-PB16 1.02b5
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-rmine21.0.d.opb
COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452491-1721439656/watcher-4452491-1721439656 -o /tmp/evaluation-result-4452491-1721439656/solver-4452491-1721439656 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721435230-1043543 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4452491-1721439656.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 28a85ae49743319c13599be52aa6f3a2
RANDOM SEED=687195163
nodeC034.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 : 3674.392
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.99
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 : 3688.199
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.58
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 : 3604.062
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.99
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 : 3600.222
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.58
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 : 3611.534
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.99
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 : 3688.206
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.58
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 : 3671.563
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.034
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.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 113034828 kB
MemAvailable: 119002204 kB
Buffers: 534708 kB
Cached: 6205916 kB
SwapCached: 0 kB
Active: 1087484 kB
Inactive: 16603976 kB
Active(anon): 1544 kB
Inactive(anon): 10995196 kB
Active(file): 1085940 kB
Inactive(file): 5608780 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 51340 kB
Writeback: 0 kB
AnonPages: 10950832 kB
Mapped: 112452 kB
Shmem: 45912 kB
KReclaimable: 224960 kB
Slab: 355764 kB
SReclaimable: 224960 kB
SUnreclaim: 130804 kB
KernelStack: 4208 kB
PageTables: 30892 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 11655180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1234944 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: 320212 kB
DirectMap2M: 44541952 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC034 at 2024-07-20 04:41:19