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 (62591 MiB free)
memory of node 1: 64510 MiB (62708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438416-1722965414/watcher-4438416-1722965414 -o /tmp/evaluation-result-4438416-1722965414/solver-4438416-1722965414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722960830-338983 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438416-1722965414.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=343344, runsolver pid=343341
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128288260/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=39524 memory=21088 CPUtime=0.09 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 4627 0 0 0 9 0 0 0 20 0 1 0 63141890 40472576 5272 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 9881 5272 750 2417 0 6983 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58116 KiB
Current children cumulated memory: 24620 KiB
[startup+0.206061 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128277220/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=46600 memory=37424 CPUtime=0.19 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 8044 0 0 0 19 0 0 0 20 0 1 0 63141890 47718400 9356 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 11650 9356 2142 2417 0 8752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65192 KiB
Current children cumulated memory: 40956 KiB
[startup+0.305962 s]*
/proc/loadavg: 4.12 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128240108/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=85992 memory=76220 CPUtime=0.3 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 17501 0 0 0 28 2 0 0 20 0 1 0 63141890 88055808 19055 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 21498 19055 2350 2417 0 18600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 104584 KiB
Current children cumulated memory: 79752 KiB
[startup+0.700294 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128226836/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=123572 memory=113252 CPUtime=0.68 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 26697 0 0 0 65 3 0 0 20 0 1 0 63141890 126537728 28313 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 30893 28313 2446 2417 0 27995 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 142164 KiB
Current children cumulated memory: 116784 KiB
[startup+1.50029 s]
/proc/loadavg: 4.12 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128201240/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=130920 memory=117748 CPUtime=1.48 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 27781 0 0 0 145 3 0 0 20 0 1 0 63141890 134062080 29437 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 32730 29437 2526 2417 0 29832 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 149512 KiB
Current children cumulated memory: 121280 KiB
[startup+3.10588 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128195848/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=138792 memory=120916 CPUtime=3.08 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 28576 0 0 0 305 3 0 0 20 0 1 0 63141890 142123008 30229 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 34698 30229 2526 2417 0 31800 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 157384 KiB
Current children cumulated memory: 124448 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 343350
/proc/meminfo: memFree=128193448/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=141148 memory=121444 CPUtime=6.27 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 28681 0 0 0 624 3 0 0 20 0 1 0 63141890 144535552 30361 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 35287 30361 2526 2417 0 32389 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 159740 KiB
Current children cumulated memory: 124976 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 343351
/proc/meminfo: memFree=128167040/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=189668 memory=136492 CPUtime=12.65 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 32436 0 0 0 1261 4 0 0 20 0 1 0 63141890 194220032 34123 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 47417 34123 2526 2417 0 44519 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 208260 KiB
Current children cumulated memory: 140024 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 343353
/proc/meminfo: memFree=128143656/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=204296 memory=149008 CPUtime=25.42 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 39272 0 0 0 2537 5 0 0 20 0 1 0 63141890 209199104 37252 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 51074 37252 2526 2417 0 48176 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 222888 KiB
Current children cumulated memory: 152540 KiB
[startup+51.1064 s]
/proc/loadavg: 4.11 4.10 4.09 5/267 343358
/proc/meminfo: memFree=128111512/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=204296 memory=149008 CPUtime=50.96 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 39314 0 0 0 5091 5 0 0 20 0 1 0 63141890 209199104 37252 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 51074 37252 2526 2417 0 48176 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 222888 KiB
Current children cumulated memory: 152540 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/267 343419
/proc/meminfo: memFree=128538956/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
################
# More data... #
################
/proc/343348/statm: 100833 73455 2526 2417 0 97935 0
Current children cumulated CPU time: 520.95 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 297352 KiB
[startup+582.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 343607
/proc/meminfo: memFree=125602524/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=342904 CPUtime=580.78 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68901 0 0 0 58067 11 0 0 20 0 1 0 63141890 413011968 85726 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 85726 2526 2417 0 97935 0
Current children cumulated CPU time: 580.78 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 346436 KiB
[startup+602.12 s]
# the end of solver process 343344 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=600.433 s, system=0.125288 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 4.13 4.09 4.09 5/264 343607
/proc/meminfo: memFree=125599072/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=350440 CPUtime=587.27 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68907 0 0 0 58716 11 0 0 20 0 1 0 63141890 413011968 87610 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 87610 2526 2417 0 97935 0
Current children cumulated CPU time: 587.27 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 353972 KiB
[startup+595.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 343608
/proc/meminfo: memFree=125585316/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=593.65 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 59354 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 593.65 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 343609
/proc/meminfo: memFree=125583384/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=596.84 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 59673 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 596.84 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+600 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 343613
/proc/meminfo: memFree=125581364/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=598.44 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 59833 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 598.44 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+600.8 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 343613
/proc/meminfo: memFree=125581364/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=599.24 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 59913 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 599.24 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+601.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 343615
/proc/meminfo: memFree=125579288/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=600.03 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 59992 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 600.03 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+602 s]*
/proc/loadavg: 4.11 4.09 4.09 5/266 343615
/proc/meminfo: memFree=125579344/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=600.44 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) R 343347 343347 338972 0 -1 4194304 68913 0 0 0 60033 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 600.44 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
[startup+602.106 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 343615
/proc/meminfo: memFree=125579344/131524600 swapFree=131071996/131071996
[pid=343344] ppid=343341 vsize=9932 memory=2616 CPUtime=0 cores=4,6
/proc/343344/stat : 343344 (Hybrid-CASHWMax) S 343341 343344 338972 0 -1 4194304 238 103 0 0 0 0 0 0 20 0 1 0 63141890 10170368 654 134679101440 93907141709824 93907142789144 140725341677712 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93907144887600 93907144934788 93907150303232 140725341684688 140725341684846 140725341684846 140725341691861 0
/proc/343344/statm: 2483 654 575 264 0 134 0
[pid=343347] ppid=343344 vsize=8660 memory=916 CPUtime=0 cores=4,6
/proc/343347/stat : 343347 (timeout) S 343344 343347 338972 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 63141890 8867840 229 134679101440 94543270494208 94543270529224 140720828400928 0 0 0 0 3145728 90119 0 0 0 17 6 0 0 0 0 0 94543272626640 94543272628772 94543275515904 140720828404748 140720828404893 140720828404893 140720828411879 0
/proc/343347/statm: 2165 229 205 9 0 87 0
[pid=343348] ppid=343347 vsize=403332 memory=357736 CPUtime=600.53 cores=4,6
/proc/343348/stat : 343348 (CASHWMaxSAT-Dis) S 343347 343347 338972 0 -1 1077936128 68913 0 0 0 60042 11 0 0 20 0 1 0 63141890 413011968 89434 134679101440 4194304 14093885 140722241428096 0 0 0 0 0 8408098 1 0 0 17 4 0 0 0 0 0 15976432 16051504 40685568 140722241430546 140722241430678 140722241430678 140722241437664 0
/proc/343348/statm: 100833 89434 2526 2417 0 97935 0
Current children cumulated CPU time: 600.53 s
Current children cumulated vsize: 421924 KiB
Current children cumulated memory: 361268 KiB
Child status: 0
Real time (s): 602.12
CPU time (s): 600.558
CPU user time (s): 600.433
CPU system time (s): 0.125288
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 421924
Max. memory (cumulated for all children) (KiB): 361268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 600.433
system time used= 0.125288
maximum resident set size= 357756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54
involuntary context switches= 1142
# summary of solver processes directly reported to runsolver:
# pid: 343344
# total CPU time (s): 600.558
# total CPU user time (s): 600.433
# total CPU system time (s): 0.125288
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.31447 second user time and 2.91464 second system time
The end
Begin job on nodeC027 at 2024-08-06 19:30:14
IDJOB=4438416
IDBENCH=148793
IDSOLVER=3073
FILE ID=nodeC027/4438416-1722965414
RUNJOBID= nodeC027-1722960830-338983
SLURM_JOB_ID= 8259042
Free space on /tmp= 890028 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438416-1722965414/watcher-4438416-1722965414 -o /tmp/evaluation-result-4438416-1722965414/solver-4438416-1722965414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722960830-338983 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438416-1722965414.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 267318dc6252912ba1edb3875073cd29
RANDOM SEED=334643581
nodeC027.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 : 3663.667
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3685.614
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 : 7006.31
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.452
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.392
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 : 7006.31
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 : 3651.836
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3685.644
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 : 7006.31
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 : 3668.890
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.306
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 : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128307084 kB
MemAvailable: 128660272 kB
Buffers: 344140 kB
Cached: 854616 kB
SwapCached: 0 kB
Active: 627764 kB
Inactive: 2064528 kB
Active(anon): 1588 kB
Inactive(anon): 1529660 kB
Active(file): 626176 kB
Inactive(file): 534868 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 18520 kB
Writeback: 12 kB
AnonPages: 1492784 kB
Mapped: 130192 kB
Shmem: 37720 kB
KReclaimable: 63580 kB
Slab: 156272 kB
SReclaimable: 63580 kB
SUnreclaim: 92692 kB
KernelStack: 4240 kB
PageTables: 12608 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1970160 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 28992 kB
HardwareCorrupted: 0 kB
AnonHugePages: 675840 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: 250580 kB
DirectMap2M: 19445760 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC027 at 2024-08-06 19:40:16