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: 63931 MiB (60590 MiB free)
memory of node 1: 64510 MiB (62485 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436862-1722972720/watcher-4436862-1722972720 -o /tmp/evaluation-result-4436862-1722972720/solver-4436862-1722972720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351311 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436862-1722972720.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=353615, runsolver pid=353612
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.24 4.13 3.82 5/269 353619
/proc/meminfo: memFree=126013924/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=37432 memory=19020 CPUtime=0.09 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 4083 0 0 0 9 0 0 0 20 0 1 0 63867583 38330368 4755 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 9358 4755 750 2417 0 6460 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56024 KiB
Current children cumulated memory: 22736 KiB
[startup+0.206083 s]*
/proc/loadavg: 4.24 4.13 3.82 5/269 353619
/proc/meminfo: memFree=126000988/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=48580 memory=30844 CPUtime=0.2 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 7009 0 0 0 19 1 0 0 20 0 1 0 63867583 49745920 7711 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 12145 7711 782 2417 0 9247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67172 KiB
Current children cumulated memory: 34560 KiB
[startup+0.305988 s]*
/proc/loadavg: 4.24 4.13 3.82 5/269 353619
/proc/meminfo: memFree=125998436/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=48580 memory=30844 CPUtime=0.3 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 7010 0 0 0 29 1 0 0 20 0 1 0 63867583 49745920 7711 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 12145 7711 782 2417 0 9247 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67172 KiB
Current children cumulated memory: 34560 KiB
[startup+0.700298 s]
/proc/loadavg: 4.24 4.13 3.82 5/269 353619
/proc/meminfo: memFree=126005404/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=48580 memory=30844 CPUtime=0.69 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 7010 0 0 0 68 1 0 0 20 0 1 0 63867583 49745920 7711 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 12145 7711 782 2417 0 9247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 67172 KiB
Current children cumulated memory: 34560 KiB
[startup+1.5003 s]
/proc/loadavg: 4.24 4.13 3.82 5/269 353619
/proc/meminfo: memFree=125959472/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=114124 memory=95544 CPUtime=1.48 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 17092 0 0 0 146 2 0 0 20 0 1 0 63867583 116862976 23886 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 28531 23886 782 2417 0 25633 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 132716 KiB
Current children cumulated memory: 99260 KiB
[startup+3.10585 s]
/proc/loadavg: 4.22 4.13 3.82 5/269 353619
/proc/meminfo: memFree=125855320/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=199428 memory=171192 CPUtime=3.09 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 27535 0 0 0 304 5 0 0 20 0 1 0 63867583 204214272 42798 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 49857 42798 782 2417 0 46959 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 218020 KiB
Current children cumulated memory: 174908 KiB
[startup+6.30026 s]
/proc/loadavg: 4.22 4.13 3.82 5/269 353619
/proc/meminfo: memFree=125714140/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=373904 memory=325480 CPUtime=6.27 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 42439 0 0 0 617 10 0 0 20 0 1 0 63867583 382877696 81370 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 93476 81370 782 2417 0 90578 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 392496 KiB
Current children cumulated memory: 329196 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.12 3.82 5/269 353620
/proc/meminfo: memFree=123988228/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=2299012 memory=1989080 CPUtime=12.66 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 127890 0 0 0 1215 51 0 0 20 0 1 0 63867583 2354188288 497270 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 574753 497270 782 2417 0 571855 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2317604 KiB
Current children cumulated memory: 1992796 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.12 3.82 5/269 353622
/proc/meminfo: memFree=124063048/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=2299012 memory=1989080 CPUtime=25.42 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 127947 0 0 0 2491 51 0 0 20 0 1 0 63867583 2354188288 497270 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 574753 497270 782 2417 0 571855 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2317604 KiB
Current children cumulated memory: 1992796 KiB
[startup+51.1061 s]
/proc/loadavg: 4.16 4.12 3.83 5/269 353626
/proc/meminfo: memFree=124035968/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 693 616 264 0 134 0
[pid=353618] ppid=353615 vsize=8660 memory=944 CPUtime=0 cores=1,3
/proc/353618/stat : 353618 (timeout) S 353615 353618 351299 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 63867583 8867840 236 134679101440 94674350096384 94674350131400 140720800683808 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94674352228816 94674352230948 94674361344000 140720800687129 140720800687261 140720800687261 140720800694247 0
/proc/353618/statm: 2165 236 212 9 0 87 0
[pid=353619] ppid=353618 vsize=2299012 memory=1989080 CPUtime=50.96 cores=1,3
/proc/353619/stat : 353619 (CASHWMaxSAT-Dis) R 353618 353618 351299 0 -1 4194304 128327 0 0 0 5045 51 0 0 20 0 1 0 63867583 2354188288 497270 134679101440 4194304 14093885 140736872583136 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 15976432 16051504 39030784 140736872588319 140736872588438 140736872588438 140736872595424 0
/proc/353619/statm: 574753 497270 782 2417 0 571855 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2317604 KiB
Current children cumulated memory: 1992796 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.13 3.86 5/269 353635
/proc/meminfo: memFree=123760008/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2772 CPUtime=0 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 237 103 0 0 0 0 0 0 20 0 1 0 63867583 10170368 693 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
################
# More data... #
################
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/267 355639
/proc/meminfo: memFree=125286596/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1660.51 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65729 0 0 0 165754 297 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3454.02 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/269 355709
/proc/meminfo: memFree=125248524/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1720.4 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65745 0 0 0 171731 309 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3513.91 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/270 355721
/proc/meminfo: memFree=125236920/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1780.29 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 177710 319 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3573.8 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3596.03 s]
# the end of solver process 353615 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.34 s, system=4.18715 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.09 5/270 355721
/proc/meminfo: memFree=125229372/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1781.98 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 177879 319 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3575.49 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/270 355723
/proc/meminfo: memFree=125207208/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1788.38 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 178517 321 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3581.89 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 355723
/proc/meminfo: memFree=125224880/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1791.56 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 178835 321 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3585.07 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3595.2 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 355723
/proc/meminfo: memFree=125237444/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1793.17 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 178995 322 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3586.68 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3595.6 s]
/proc/loadavg: 4.09 4.12 4.09 5/270 355723
/proc/meminfo: memFree=125237444/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1793.57 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 179035 322 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
[startup+3596 s]*
/proc/loadavg: 4.09 4.12 4.09 5/270 355723
/proc/meminfo: memFree=125237192/131524600 swapFree=131071996/131071996
[pid=353615] ppid=353612 vsize=9932 memory=2820 CPUtime=1793.51 cores=1,3
/proc/353615/stat : 353615 (Hybrid-LSMabSP+) S 353612 353615 351299 0 -1 4194304 267 202695 0 0 0 0 179256 95 20 0 1 0 63867583 10170368 705 134679101440 94710595387392 94710596466712 140733192132656 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94710598565168 94710598612356 94710616211456 140733192139726 140733192139885 140733192139885 140733192146900 0
/proc/353615/statm: 2483 705 616 264 0 134 0
[pid=354570] ppid=353615 vsize=8660 memory=916 CPUtime=0 cores=1,3
/proc/354570/stat : 354570 (timeout) S 353615 354570 351299 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 64047384 8867840 229 134679101440 94427318480896 94427318515912 140733714373056 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94427320613328 94427320615460 94427346743296 140733714375721 140733714375837 140733714375837 140733714382823 0
/proc/354570/statm: 2165 229 205 9 0 87 0
[pid=354571] ppid=354570 vsize=247836 memory=241444 CPUtime=1793.97 cores=1,3
/proc/354571/stat : 354571 (LS-MabSP) R 354570 354570 351299 0 -1 4194304 65761 0 0 0 179075 322 0 0 20 0 1 0 64047384 253784064 60361 134679101440 4194304 15467897 140720733717216 0 0 0 0 0 17410 0 0 0 17 1 0 0 0 0 0 17807032 17896208 31006720 140720733725756 140720733725859 140720733725859 140720733732845 0
/proc/354571/statm: 61959 60361 2849 2753 0 58612 0
Current children cumulated CPU time: 3587.48 s
Current children cumulated vsize: 266428 KiB
Current children cumulated memory: 245180 KiB
Child status: 0
Real time (s): 3596.03
CPU time (s): 3587.53
CPU user time (s): 3583.34
CPU system time (s): 4.18715
CPU usage (%): 99.7636
Max. virtual memory (cumulated for all children) (KiB): 3393492
Max. memory (cumulated for all children) (KiB): 2869592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.34
system time used= 4.18715
maximum resident set size= 2865876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 321
involuntary context switches= 1323
# summary of solver processes directly reported to runsolver:
# pid: 353615
# total CPU time (s): 3587.53
# total CPU user time (s): 3583.34
# total CPU system time (s): 4.18715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01295 second user time and 18.3702 second system time
The end
Begin job on nodeC014 at 2024-08-06 21:32:00
IDJOB=4436862
IDBENCH=155343
IDSOLVER=3069
FILE ID=nodeC014/4436862-1722972720
RUNJOBID= nodeC014-1722971171-351311
SLURM_JOB_ID= 8259061
Free space on /tmp= 889984 MiB
SOLVER NAME= Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= ./Hybrid-LSMabSP+CASHWMaxSATDisjCom BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436862-1722972720/watcher-4436862-1722972720 -o /tmp/evaluation-result-4436862-1722972720/solver-4436862-1722972720 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722971171-351311 --watchdog 3760 --use-pty ./Hybrid-LSMabSP+CASHWMaxSATDisjCom HOME/instance-4436862-1722972720.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=710062598
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.084
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.673
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.231
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.180
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.121
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3680.333
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.345
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126030304 kB
MemAvailable: 128165228 kB
Buffers: 350768 kB
Cached: 2622736 kB
SwapCached: 0 kB
Active: 838864 kB
Inactive: 4112816 kB
Active(anon): 1576 kB
Inactive(anon): 2014352 kB
Active(file): 837288 kB
Inactive(file): 2098464 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30176 kB
Writeback: 0 kB
AnonPages: 1976384 kB
Mapped: 109204 kB
Shmem: 37720 kB
KReclaimable: 77636 kB
Slab: 171876 kB
SReclaimable: 77636 kB
SUnreclaim: 94240 kB
KernelStack: 4288 kB
PageTables: 13384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2491900 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 30240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1640448 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: 295636 kB
DirectMap2M: 21497856 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889892 MiB
End job on nodeC014 at 2024-08-06 22:31:56