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: 64096 MiB (62715 MiB free)
memory of node 1: 64473 MiB (58325 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430604-1722955367/watcher-4430604-1722955367 -o /tmp/evaluation-result-4430604-1722955367/solver-4430604-1722955367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722948202-330995 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430604-1722955367.opb --time_limit=3600 --nbcore=1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=335090, runsolver pid=335087
[startup+0.100395 s]*
/proc/loadavg: 4.31 4.25 4.24 5/249 335092
/proc/meminfo: memFree=123932472/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17412 CPUtime=0.09 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 3102 0 0 0 9 0 0 0 20 0 2 0 61906829 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4353 981 32 0 5739 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=4026561586 CPUtime=0.05 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 1089 0 0 0 5 0 0 0 20 0 2 0 61906832 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17412 KiB
[startup+0.213398 s]*
/proc/loadavg: 4.31 4.25 4.24 5/249 335092
/proc/meminfo: memFree=123932136/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17412 CPUtime=0.2 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) R 335087 335090 330983 0 -1 1077936128 3102 0 0 0 20 0 0 0 20 0 2 0 61906829 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4353 981 32 0 5739 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=8031135708874735747 CPUtime=0.16 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 1089 0 0 0 16 0 0 0 20 0 2 0 61906832 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17412 KiB
[startup+0.311884 s]*
/proc/loadavg: 4.31 4.25 4.24 5/249 335092
/proc/meminfo: memFree=123931920/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17412 CPUtime=0.29 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 3105 0 0 0 29 0 0 0 20 0 2 0 61906829 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4353 981 32 0 5742 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=-6530988449397177027 CPUtime=0.26 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 1092 0 0 0 26 0 0 0 20 0 2 0 61906832 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17412 KiB
[startup+0.700255 s]
/proc/loadavg: 4.29 4.25 4.24 5/249 335092
/proc/meminfo: memFree=123931812/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17412 CPUtime=0.67 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 3105 0 0 0 67 0 0 0 20 0 2 0 61906829 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4353 981 32 0 5742 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=16032 CPUtime=0.63 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 1092 0 0 0 63 0 0 0 20 0 2 0 61906832 108691456 4353 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17412 KiB
[startup+1.50029 s]
/proc/loadavg: 4.29 4.25 4.24 5/249 335092
/proc/meminfo: memFree=123931860/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17732 CPUtime=1.48 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 4149 0 0 0 147 1 0 0 20 0 2 0 61906829 108691456 4433 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4433 996 32 0 5745 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=16032 CPUtime=1.43 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 2131 0 0 0 143 0 0 0 20 0 2 0 61906832 108691456 4433 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17732 KiB
[startup+3.11186 s]
/proc/loadavg: 4.29 4.25 4.24 5/245 335096
/proc/meminfo: memFree=123940340/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17748 CPUtime=3.1 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 5068 0 0 0 308 2 0 0 20 0 2 0 61906829 108691456 4437 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4437 996 32 0 5746 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17412 CPUtime=3.04 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 3045 0 0 0 304 0 0 0 20 0 2 0 61906832 108691456 4437 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17748 KiB
[startup+6.30029 s]
/proc/loadavg: 4.27 4.24 4.23 5/249 335139
/proc/meminfo: memFree=123900712/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17752 CPUtime=6.3 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 6230 0 0 0 626 4 0 0 20 0 2 0 61906829 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4438 996 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17412 CPUtime=6.22 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 4202 0 0 0 622 0 0 0 20 0 2 0 61906832 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17752 KiB
[startup+12.7003 s]
/proc/loadavg: 4.24 4.24 4.23 5/249 335140
/proc/meminfo: memFree=123900440/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17752 CPUtime=12.74 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 7299 0 0 0 1266 8 0 0 20 0 2 0 61906829 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4438 996 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17412 CPUtime=12.6 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 5266 0 0 0 1260 0 0 0 20 0 2 0 61906832 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 12.74 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17752 KiB
[startup+25.5003 s]
/proc/loadavg: 4.21 4.23 4.23 5/249 335142
/proc/meminfo: memFree=123898884/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17752 CPUtime=25.61 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 9385 0 0 0 2547 14 0 0 20 0 2 0 61906829 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4438 996 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17412 CPUtime=25.38 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 7341 0 0 0 2537 1 0 0 20 0 2 0 61906832 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 25.61 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17752 KiB
[startup+51.1119 s]
/proc/loadavg: 4.42 4.27 4.24 5/249 335146
/proc/meminfo: memFree=123897708/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17752 CPUtime=51.36 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 12496 0 0 0 5108 28 0 0 20 0 2 0 61906829 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4438 996 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17752 CPUtime=50.94 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 10437 0 0 0 5093 1 0 0 20 0 2 0 61906832 108691456 4438 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 51.36 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17752 KiB
[startup+102.3 s]
/proc/loadavg: 4.51 4.31 4.26 5/249 335156
/proc/meminfo: memFree=123896468/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17852 CPUtime=102.84 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 14582 0 0 0 10227 57 0 0 20 0 2 0 61906829 108691456 4463 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4463 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17852 CPUtime=102.01 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 12512 0 0 0 10200 1 0 0 20 0 2 0 61906832 108691456 4463 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 102.84 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17852 KiB
[startup+162.3 s]
/proc/loadavg: 4.25 4.27 4.25 5/249 335166
/proc/meminfo: memFree=123892864/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=17852 CPUtime=163.16 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 16658 0 0 0 16223 93 0 0 20 0 2 0 61906829 108691456 4463 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4463 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=17852 CPUtime=161.87 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 14578 0 0 0 16186 1 0 0 20 0 2 0 61906832 108691456 4463 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 163.16 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 17852 KiB
[startup+222.3 s]
/proc/loadavg: 4.30 4.28 4.25 5/247 335178
/proc/meminfo: memFree=123888356/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=223.48 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 17698 0 0 0 22224 124 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=221.74 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 15613 0 0 0 22173 1 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 223.48 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+282.3 s]
/proc/loadavg: 4.42 4.30 4.26 5/247 335189
/proc/meminfo: memFree=123887784/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=283.81 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 18339 0 0 0 28220 161 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=281.6 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 16249 0 0 0 28159 1 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 283.81 s
################
# More data... #
################
/proc/meminfo: memFree=123854428/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=2998.41 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 46365 0 0 0 298061 1780 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=2975.64 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 44044 0 0 0 297561 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 2998.41 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3042.3 s]
/proc/loadavg: 4.21 4.28 4.29 5/250 336893
/proc/meminfo: memFree=123853912/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3058.73 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 46987 0 0 0 304055 1818 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3035.5 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 44661 0 0 0 303547 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3058.73 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.27 4.29 5/248 336904
/proc/meminfo: memFree=123853016/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3119.06 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 47609 0 0 0 310052 1854 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3095.37 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 45278 0 0 0 309534 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3119.06 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.22 4.25 4.27 5/248 336914
/proc/meminfo: memFree=123852564/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3179.38 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 48231 0 0 0 316048 1890 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3155.24 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 45895 0 0 0 315521 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3179.38 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3222.3 s]
/proc/loadavg: 4.23 4.24 4.27 5/245 336927
/proc/meminfo: memFree=123851640/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3239.7 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 48853 0 0 0 322042 1928 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3215.11 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 46511 0 0 0 321508 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3239.7 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.21 4.26 5/245 336937
/proc/meminfo: memFree=123850656/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3300.03 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 49475 0 0 0 328041 1962 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3274.97 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 47127 0 0 0 327494 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3300.03 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.20 4.25 5/245 336949
/proc/meminfo: memFree=123849944/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3360.35 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 50097 0 0 0 334035 2000 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=11428 CPUtime=3334.84 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 47744 0 0 0 333481 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3360.35 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.24 5/245 336960
/proc/meminfo: memFree=123849204/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3420.68 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 50719 0 0 0 340034 2034 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3394.71 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 48361 0 0 0 339468 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3420.68 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.24 4.26 5/245 336970
/proc/meminfo: memFree=123848504/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3481.01 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 51341 0 0 0 346028 2073 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3454.57 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 48978 0 0 0 345454 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3481.01 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.21 4.25 5/248 336986
/proc/meminfo: memFree=123848176/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3541.33 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 51963 0 0 0 352023 2110 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=11428 CPUtime=3514.44 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 49595 0 0 0 351441 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3541.33 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3580.7 s]
/proc/loadavg: 4.22 4.22 4.25 4/240 337028
/proc/meminfo: memFree=124043068/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3600.05 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 52585 0 0 0 357857 2148 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3572.71 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 50212 0 0 0 357268 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3580.71 s]
# the end of solver process 335090 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.58 s, system=21.4853 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3580.7 s]
/proc/loadavg: 4.22 4.22 4.25 4/240 337028
/proc/meminfo: memFree=124043068/131655788 swapFree=131071472/131071996
[pid=335090] ppid=335087 vsize=106144 memory=18096 CPUtime=3600.05 cores=1,3
/proc/335090/stat : 335090 (ParLS-PBO) S 335087 335090 330983 0 -1 1077936128 52585 0 0 0 357857 2148 0 0 20 0 2 0 61906829 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 17 3 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
/proc/335090/statm: 26536 4524 1012 32 0 5747 0
[pid=335090/tid=335092] ppid=335087 vsize=106144 memory=18096 CPUtime=3572.71 cores=1,3
/proc/335090/task/335092/stat : 335092 (ParLS-PBO) R 335087 335090 330983 0 -1 4194368 50212 0 0 0 357268 3 0 0 20 0 2 0 61906832 108691456 4524 134679101440 4194304 4322517 140734053390000 0 0 0 0 0 16384 0 0 0 -1 1 0 0 0 0 0 4356072 4359040 21475328 140734053393421 140734053393541 140734053393541 140734053400556 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 106144 KiB
Current children cumulated memory: 18096 KiB
Child status: 0
Real time (s): 3580.71
CPU time (s): 3600.06
CPU user time (s): 3578.58
CPU system time (s): 21.4853
CPU usage (%): 100.541
Max. virtual memory (cumulated for all children) (KiB): 106144
Max. memory (cumulated for all children) (KiB): 18096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.58
system time used= 21.4853
maximum resident set size= 18412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52871
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= 3253639
involuntary context switches= 4411
# summary of solver processes directly reported to runsolver:
# pid: 335090
# total CPU time (s): 3600.06
# total CPU user time (s): 3578.58
# total CPU system time (s): 21.4853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7815 second user time and 28.6831 second system time
The end
Begin job on nodeC012 at 2024-08-06 16:42:47
IDJOB=4430604
IDBENCH=147018
IDSOLVER=3054
FILE ID=nodeC012/4430604-1722955367
RUNJOBID= nodeC012-1722948202-330995
SLURM_JOB_ID= 8259000
Free space on /tmp= 723772 MiB
SOLVER NAME= ParLS-PBO-1.1 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= ./ParLS-PBO --benchName=BENCHNAME --time_limit=TIMELIMIT --nbcore=1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430604-1722955367/watcher-4430604-1722955367 -o /tmp/evaluation-result-4430604-1722955367/solver-4430604-1722955367 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722948202-330995 --watchdog 3760 --use-pty ./ParLS-PBO --benchName=HOME/instance-4430604-1722955367.opb --time_limit=3600 --nbcore=1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1adddfdbf1ced655bc7cf87afdf2cbda
RANDOM SEED=1335609312
nodeC012.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3636.034
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
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 : 3491.899
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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.332
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
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.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
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 : 2294.645
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
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 : 3491.852
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.70
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.371
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123946940 kB
MemAvailable: 129784248 kB
Buffers: 337176 kB
Cached: 6340984 kB
SwapCached: 48 kB
Active: 569436 kB
Inactive: 6656020 kB
Active(anon): 1444 kB
Inactive(anon): 583840 kB
Active(file): 567992 kB
Inactive(file): 6072180 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 8560 kB
Writeback: 0 kB
AnonPages: 546996 kB
Mapped: 98684 kB
Shmem: 37632 kB
KReclaimable: 74668 kB
Slab: 160844 kB
SReclaimable: 74668 kB
SUnreclaim: 86176 kB
KernelStack: 3996 kB
PageTables: 10296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 817736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24000 kB
HardwareCorrupted: 0 kB
AnonHugePages: 262144 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: 269128 kB
DirectMap2M: 24801280 kB
DirectMap1G: 111149056 kB
Free space on /tmp at the end= 723776 MiB
End job on nodeC012 at 2024-08-06 17:42:28