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 (63129 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-4457958-1722987801/watcher-4457958-1722987801 -o /tmp/evaluation-result-4457958-1722987801/solver-4457958-1722987801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345099 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457958-1722987801.opb 3600 HOME 31000
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=347703, runsolver pid=347700
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.08 4.15 4.12 5/245 347711
/proc/meminfo: memFree=126504820/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=30428 memory=12224 CPUtime=0.09 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 2510 0 0 0 9 0 0 0 20 0 1 0 65377068 31158272 3056 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 7607 3056 782 2417 0 4709 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49020 KiB
Current children cumulated memory: 15860 KiB
[startup+0.21373 s]*
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126486476/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=29408 memory=14424 CPUtime=0.2 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 3790 0 0 0 20 0 0 0 20 0 1 0 65377068 30113792 3606 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 7352 3606 782 2417 0 4454 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 48000 KiB
Current children cumulated memory: 18060 KiB
[startup+0.313744 s]*
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126487172/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=31056 memory=15068 CPUtime=0.3 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 3928 0 0 0 30 0 0 0 20 0 1 0 65377068 31801344 3767 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 7764 3767 814 2417 0 4866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49648 KiB
Current children cumulated memory: 18704 KiB
[startup+0.700396 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126483796/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=35424 memory=19752 CPUtime=0.67 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 4590 0 0 0 67 0 0 0 20 0 1 0 65377068 36274176 4938 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 8856 4938 814 2417 0 5958 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 54016 KiB
Current children cumulated memory: 23388 KiB
[startup+1.50041 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126469632/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=39816 memory=24964 CPUtime=1.48 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 5422 0 0 0 147 1 0 0 20 0 1 0 65377068 40771584 6241 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 9954 6241 814 2417 0 7056 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58408 KiB
Current children cumulated memory: 28600 KiB
[startup+3.11272 s]
/proc/loadavg: 4.08 4.15 4.12 5/250 347720
/proc/meminfo: memFree=126405528/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=70124 memory=55320 CPUtime=3.08 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 6510 0 0 0 307 1 0 0 20 0 1 0 65377068 71806976 13830 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 17531 13830 814 2417 0 14633 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88716 KiB
Current children cumulated memory: 58956 KiB
[startup+6.3004 s]
/proc/loadavg: 4.07 4.15 4.12 5/250 347722
/proc/meminfo: memFree=126368016/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=88980 memory=74180 CPUtime=6.27 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 7663 0 0 0 624 3 0 0 20 0 1 0 65377068 91115520 18545 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 22245 18545 814 2417 0 19347 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107572 KiB
Current children cumulated memory: 77816 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.14 4.12 5/250 347722
/proc/meminfo: memFree=126372832/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=88988 memory=69272 CPUtime=12.65 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 8892 0 0 0 1261 4 0 0 20 0 1 0 65377068 91123712 17318 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 22247 17318 814 2417 0 19349 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107580 KiB
Current children cumulated memory: 72908 KiB
[startup+25.5005 s]
/proc/loadavg: 4.06 4.14 4.11 5/250 347725
/proc/meminfo: memFree=126358240/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=100700 memory=86076 CPUtime=25.42 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 9955 0 0 0 2536 6 0 0 20 0 1 0 65377068 103116800 21519 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 25175 21519 814 2417 0 22277 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 119292 KiB
Current children cumulated memory: 89712 KiB
[startup+51.1127 s]
/proc/loadavg: 4.09 4.14 4.11 5/250 347728
/proc/meminfo: memFree=126367776/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 673 595 264 0 134 0
[pid=347706] ppid=347703 vsize=8660 memory=944 CPUtime=0 cores=4,6
/proc/347706/stat : 347706 (timeout) S 347703 347706 345088 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 65377068 8867840 236 134679101440 94670687064064 94670687099080 140734049698592 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94670689196496 94670689198628 94670707695616 140734049707037 140734049707169 140734049707169 140734049714151 0
/proc/347706/statm: 2165 236 212 9 0 87 0
[pid=347707] ppid=347706 vsize=119376 memory=87784 CPUtime=50.96 cores=4,6
/proc/347707/stat : 347707 (CASHWMaxSAT-Dis) R 347706 347706 345088 0 -1 4194304 14600 0 0 0 5080 16 0 0 20 0 1 0 65377068 122241024 21946 134679101440 4194304 14093885 140734241225280 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40407040 140734241231907 140734241232026 140734241232026 140734241239008 0
/proc/347707/statm: 29844 21946 814 2417 0 26946 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 137968 KiB
Current children cumulated memory: 91420 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/250 347807
/proc/meminfo: memFree=126303100/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2692 CPUtime=0 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 65377067 10170368 673 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
################
# More data... #
################
/proc/348810/statm: 184074 182700 2849 2753 0 180727 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734552 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1660.34 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219245 0 0 0 150750 15284 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3454.11 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1720.24 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219249 0 0 0 155527 16497 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1780.14 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 160308 17706 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3573.91 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 KiB
[startup+3596.04 s]
# the end of solver process 347703 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3398.7 s, system=188.964 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=125009072/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1781.85 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 160446 17739 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3575.62 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1788.22 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 160956 17866 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3581.99 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1791.42 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 161210 17932 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1793.01 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 161338 17963 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3586.78 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 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=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1793.42 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 161371 17971 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3587.19 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 KiB
[startup+3596 s]*
/proc/loadavg: 4.07 4.10 4.12 5/249 349751
/proc/meminfo: memFree=125009040/131655788 swapFree=131071996/131071996
[pid=347703] ppid=347700 vsize=9932 memory=2740 CPUtime=1793.77 cores=4,6
/proc/347703/stat : 347703 (Hybrid-LSMabSP+) S 347700 347703 345088 0 -1 4194304 265 354424 0 0 0 0 178464 913 20 0 1 0 65377067 10170368 685 134679101440 94611631648768 94611632728088 140722010662512 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94611634826544 94611634873732 94611649355776 140722010665938 140722010666097 140722010666097 140722010673108 0
/proc/347703/statm: 2483 685 595 264 0 134 0
[pid=348809] ppid=347703 vsize=8660 memory=1012 CPUtime=0 cores=4,6
/proc/348809/stat : 348809 (timeout) S 347703 348809 345088 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 65556869 8867840 253 134679101440 93952044306432 93952044341448 140734278944960 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 93952046438864 93952046440996 93952055754752 140734278947885 140734278948001 140734278948001 140734278954983 0
/proc/348809/statm: 2165 253 229 9 0 87 0
[pid=348810] ppid=348809 vsize=736296 memory=731052 CPUtime=1793.83 cores=4,6
/proc/348810/stat : 348810 (LS-MabSP) R 348809 348809 345088 0 -1 4194304 219251 0 0 0 161403 17980 0 0 20 0 1 0 65556869 753967104 182763 134679101440 4194304 15467897 140723288566048 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 51740672 140723288568896 140723288568999 140723288568999 140723288575981 0
/proc/348810/statm: 184074 182763 2849 2753 0 180727 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 754888 KiB
Current children cumulated memory: 734804 KiB
Child status: 0
Real time (s): 3596.04
CPU time (s): 3587.66
CPU user time (s): 3398.7
CPU system time (s): 188.964
CPU usage (%): 99.767
Max. virtual memory (cumulated for all children) (KiB): 878404
Max. memory (cumulated for all children) (KiB): 851260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3398.7
system time used= 188.964
maximum resident set size= 847740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 576999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181
involuntary context switches= 3654
# summary of solver processes directly reported to runsolver:
# pid: 347703
# total CPU time (s): 3587.66
# total CPU user time (s): 3398.7
# total CPU system time (s): 188.964
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4669 second user time and 37.0976 second system time
The end
Begin job on nodeC010 at 2024-08-07 01:43:21
IDJOB=4457958
IDBENCH=177055
IDSOLVER=3069
FILE ID=nodeC010/4457958-1722987801
RUNJOBID= nodeC010-1722984204-345099
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_751.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457958-1722987801/watcher-4457958-1722987801 -o /tmp/evaluation-result-4457958-1722987801/solver-4457958-1722987801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722984204-345099 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4457958-1722987801.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 21ed527d50cb70bf3fbdba517cab1d1c
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 : 3663.130
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 : 3656.954
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.140
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.216
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 : 3492.324
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 : 3491.625
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.123
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.130
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: 126514800 kB
MemAvailable: 129949692 kB
Buffers: 358404 kB
Cached: 3927428 kB
SwapCached: 0 kB
Active: 655520 kB
Inactive: 4002164 kB
Active(anon): 2052 kB
Inactive(anon): 415716 kB
Active(file): 653468 kB
Inactive(file): 3586448 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57836 kB
Writeback: 0 kB
AnonPages: 371944 kB
Mapped: 126212 kB
Shmem: 45888 kB
KReclaimable: 70016 kB
Slab: 156424 kB
SReclaimable: 70016 kB
SUnreclaim: 86408 kB
KernelStack: 3928 kB
PageTables: 9964 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 879308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 24640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 315392 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