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: 64059 MiB (63119 MiB free)
memory of node 1: 64510 MiB (60419 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457997-1722987802/watcher-4457997-1722987802 -o /tmp/evaluation-result-4457997-1722987802/solver-4457997-1722987802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345101 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457997-1722987802.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=347716, runsolver pid=347713
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.08 4.15 4.12 6/250 347720
/proc/meminfo: memFree=126486476/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=33528 memory=17600 CPUtime=0.09 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 3850 0 0 0 9 0 0 0 20 0 1 0 65377080 34332672 4400 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 8382 4400 782 2417 0 5484 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52120 KiB
Current children cumulated memory: 21304 KiB
[startup+0.213889 s]*
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126486832/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=33588 memory=16492 CPUtime=0.2 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 4575 0 0 0 20 0 0 0 20 0 1 0 65377080 34394112 4123 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 8397 4123 814 2417 0 5499 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 20196 KiB
[startup+0.312847 s]*
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126484832/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=33588 memory=17284 CPUtime=0.3 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 4811 0 0 0 30 0 0 0 20 0 1 0 65377080 34394112 4321 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 8397 4321 814 2417 0 5499 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 20988 KiB
[startup+0.700416 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126472776/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=33588 memory=19152 CPUtime=0.69 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 5536 0 0 0 68 1 0 0 20 0 1 0 65377080 34394112 4788 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 8397 4788 814 2417 0 5499 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52180 KiB
Current children cumulated memory: 22856 KiB
[startup+1.50042 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126466492/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=70940 memory=42272 CPUtime=1.47 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 7203 0 0 0 146 1 0 0 20 0 1 0 65377080 72642560 10568 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 17735 10568 814 2417 0 14837 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 89532 KiB
Current children cumulated memory: 45976 KiB
[startup+3.11331 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126405560/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=70940 memory=56480 CPUtime=3.08 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 7983 0 0 0 306 2 0 0 20 0 1 0 65377080 72642560 14120 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 17735 14120 814 2417 0 14837 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 89532 KiB
Current children cumulated memory: 60184 KiB
[startup+6.3004 s]
/proc/loadavg: 4.07 4.15 4.12 5/250 347722
/proc/meminfo: memFree=126367840/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=89796 memory=75132 CPUtime=6.27 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 8076 0 0 0 624 3 0 0 20 0 1 0 65377080 91951104 18783 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 22449 18783 814 2417 0 19551 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 108388 KiB
Current children cumulated memory: 78836 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.14 4.12 5/250 347722
/proc/meminfo: memFree=126372776/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=89796 memory=75160 CPUtime=12.65 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 8121 0 0 0 1262 3 0 0 20 0 1 0 65377080 91951104 18790 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 22449 18790 814 2417 0 19551 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 108388 KiB
Current children cumulated memory: 78864 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.15 4.12 5/250 347725
/proc/meminfo: memFree=126358300/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=89796 memory=73100 CPUtime=25.41 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 13575 0 0 0 2534 7 0 0 20 0 1 0 65377080 91951104 18275 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 22449 18275 814 2417 0 19551 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 108388 KiB
Current children cumulated memory: 76804 KiB
[startup+51.1133 s]
/proc/loadavg: 4.09 4.14 4.11 5/250 347728
/proc/meminfo: memFree=126367900/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 676 598 264 0 134 0
[pid=347719] ppid=347716 vsize=8660 memory=1000 CPUtime=0 cores=5,7
/proc/347719/stat : 347719 (timeout) S 347716 347719 345088 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 65377080 8867840 250 134679101440 94625900675072 94625900710088 140735064260864 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94625902807504 94625902809636 94625934155776 140735064265757 140735064265889 140735064265889 140735064272871 0
/proc/347719/statm: 2165 250 225 9 0 87 0
[pid=347720] ppid=347719 vsize=89680 memory=60616 CPUtime=50.97 cores=5,7
/proc/347720/stat : 347720 (CASHWMaxSAT-Dis) R 347719 347719 345088 0 -1 4194304 21837 0 0 0 5078 19 0 0 20 0 1 0 65377080 91832320 15154 134679101440 4194304 14093885 140724321618176 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 15976432 16051504 31432704 140724321621027 140724321621146 140724321621146 140724321628128 0
/proc/347720/statm: 22420 15154 814 2417 0 19522 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 108272 KiB
Current children cumulated memory: 64320 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/250 347807
/proc/meminfo: memFree=126302672/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2704 CPUtime=0 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 239 103 0 0 0 0 0 0 20 0 1 0 65377080 10170368 676 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
################
# More data... #
################
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.13 5/249 349727
/proc/meminfo: memFree=125009544/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1659.44 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211816 0 0 0 150701 15243 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3452.82 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/249 349737
/proc/meminfo: memFree=125009396/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1719.31 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211818 0 0 0 155490 16441 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/249 349748
/proc/meminfo: memFree=125009132/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1779.18 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 160306 17612 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3596.04 s]
# the end of solver process 347716 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3397.55 s, system=188.753 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.12 5/249 349749
/proc/meminfo: memFree=125009076/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1780.89 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 160443 17646 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3574.27 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.12 5/249 349749
/proc/meminfo: memFree=125009124/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1787.27 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 160951 17776 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3580.65 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.10 4.12 5/249 349749
/proc/meminfo: memFree=125009124/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1790.46 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 161210 17836 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3583.84 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3595.2 s]
/proc/loadavg: 4.07 4.10 4.12 5/249 349751
/proc/meminfo: memFree=125009040/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1792.06 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 161338 17868 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3595.6 s]
/proc/loadavg: 4.07 4.10 4.12 5/249 349751
/proc/meminfo: memFree=125009040/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1792.45 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 161370 17875 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3585.83 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.12 5/245 349773
/proc/meminfo: memFree=125730684/131655788 swapFree=131071996/131071996
[pid=347716] ppid=347713 vsize=9932 memory=2748 CPUtime=1793.38 cores=5,7
/proc/347716/stat : 347716 (Hybrid-LSMabSP+) S 347713 347716 345088 0 -1 4194304 268 634364 0 0 0 0 178349 989 20 0 1 0 65377080 10170368 687 134679101440 94479850246144 94479851325464 140733559564672 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94479853423920 94479853471108 94479868571648 140733559571410 140733559571569 140733559571569 140733559578580 0
/proc/347716/statm: 2483 687 598 264 0 134 0
[pid=348811] ppid=347716 vsize=8660 memory=920 CPUtime=0 cores=5,7
/proc/348811/stat : 348811 (timeout) S 347716 348811 345088 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 65556881 8867840 230 134679101440 94663147876352 94663147911368 140727400816496 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 94663150008784 94663150010916 94663162761216 140727400821805 140727400821921 140727400821921 140727400828903 0
/proc/348811/statm: 2165 230 205 9 0 87 0
[pid=348812] ppid=348811 vsize=762964 memory=757636 CPUtime=1792.86 cores=5,7
/proc/348812/stat : 348812 (LS-MabSP) R 348811 348811 345088 0 -1 4194304 211822 0 0 0 161403 17883 0 0 20 0 1 0 65556881 781275136 189409 134679101440 4194304 15467897 140724553916128 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 54161408 140724553917504 140724553917607 140724553917607 140724553924589 0
/proc/348812/statm: 190741 189409 2849 2753 0 187394 0
Current children cumulated CPU time: 3586.24 s
Current children cumulated vsize: 781556 KiB
Current children cumulated memory: 761304 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3586.3
CPU user time (s): 3397.55
CPU system time (s): 188.753
CPU usage (%): 99.7293
Max. virtual memory (cumulated for all children) (KiB): 857548
Max. memory (cumulated for all children) (KiB): 828200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3397.55
system time used= 188.753
maximum resident set size= 824532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 849476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187
involuntary context switches= 2994
# summary of solver processes directly reported to runsolver:
# pid: 347716
# total CPU time (s): 3586.3
# total CPU user time (s): 3397.55
# total CPU system time (s): 188.753
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4632 second user time and 38.1144 second system time
The end
Begin job on nodeC010 at 2024-08-07 01:43:22
IDJOB=4457997
IDBENCH=177064
IDSOLVER=3069
FILE ID=nodeC010/4457997-1722987802
RUNJOBID= nodeC010-1722984204-345101
SLURM_JOB_ID= 8259101
Free space on /tmp= 723696 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/unit/normalized-evencolouring_opt_unit_random6regular_nvert_851.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457997-1722987802/watcher-4457997-1722987802 -o /tmp/evaluation-result-4457997-1722987802/solver-4457997-1722987802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345101 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457997-1722987802.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ba8924c6fd2f4f3fa72c657b376a3f30
RANDOM SEED=2073912431
nodeC010.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 : 3664.400
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.21
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 : 3675.174
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.33
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.283
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.21
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.208
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.33
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 : 1561.063
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.21
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 : 2789.224
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.33
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.147
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.21
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.123
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.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126506156 kB
MemAvailable: 129941188 kB
Buffers: 358404 kB
Cached: 3927548 kB
SwapCached: 0 kB
Active: 655352 kB
Inactive: 4010396 kB
Active(anon): 2012 kB
Inactive(anon): 423668 kB
Active(file): 653340 kB
Inactive(file): 3586728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 58320 kB
Writeback: 0 kB
AnonPages: 379848 kB
Mapped: 128580 kB
Shmem: 45888 kB
KReclaimable: 69988 kB
Slab: 156288 kB
SReclaimable: 69988 kB
SUnreclaim: 86300 kB
KernelStack: 3984 kB
PageTables: 10224 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 947032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 251904 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: 248648 kB
DirectMap2M: 22724608 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC010 at 2024-08-07 02:43:18