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: 63968 MiB (62006 MiB free)
memory of node 1: 64473 MiB (62028 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443747-1721308261/watcher-4443747-1721308261 -o /tmp/evaluation-result-4443747-1721308261/solver-4443747-1721308261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4443747-1721308261.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=958360, runsolver pid=958357
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.12 3.97 3.19 5/264 958364
/proc/meminfo: memFree=126993092/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=40268 memory=21824 CPUtime=0.09 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 4792 0 0 0 9 0 0 0 20 0 1 0 182991110 41234432 5456 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 10067 5456 750 2417 0 7169 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 58860 KiB
Current children cumulated memory: 25672 KiB
[startup+0.206185 s]*
/proc/loadavg: 4.12 3.97 3.19 5/264 958364
/proc/meminfo: memFree=126974444/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=58932 memory=40340 CPUtime=0.19 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 9426 0 0 0 19 0 0 0 20 0 1 0 182991110 60346368 10085 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 14733 10085 750 2417 0 11835 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 77524 KiB
Current children cumulated memory: 44188 KiB
[startup+0.305997 s]*
/proc/loadavg: 4.12 3.97 3.19 5/264 958364
/proc/meminfo: memFree=126956796/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=76584 memory=57764 CPUtime=0.3 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 13809 0 0 0 29 1 0 0 20 0 1 0 182991110 78422016 14441 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 19146 14441 750 2417 0 16248 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 95176 KiB
Current children cumulated memory: 61612 KiB
[startup+0.700305 s]
/proc/loadavg: 4.12 3.97 3.19 5/264 958364
/proc/meminfo: memFree=126919336/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=145080 memory=126288 CPUtime=0.69 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 30905 0 0 0 66 3 0 0 20 0 1 0 182991110 148561920 31572 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 36270 31572 750 2417 0 33372 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 163672 KiB
Current children cumulated memory: 130136 KiB
[startup+1.50027 s]
/proc/loadavg: 4.12 3.97 3.19 5/264 958364
/proc/meminfo: memFree=126832428/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=285768 memory=266236 CPUtime=1.49 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 65900 0 0 0 141 8 0 0 20 0 1 0 182991110 292626432 66559 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 71442 66559 750 2417 0 68544 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 304360 KiB
Current children cumulated memory: 270084 KiB
[startup+3.10583 s]
/proc/loadavg: 4.12 3.97 3.19 5/264 958416
/proc/meminfo: memFree=126282396/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=564432 memory=545932 CPUtime=3.09 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 135810 0 0 0 291 18 0 0 20 0 1 0 182991110 577978368 136483 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 141108 136483 750 2417 0 138210 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 583024 KiB
Current children cumulated memory: 549780 KiB
[startup+6.30028 s]
/proc/loadavg: 4.11 3.97 3.19 5/264 958416
/proc/meminfo: memFree=125209776/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=1124012 memory=1104400 CPUtime=6.27 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 274907 0 0 0 584 43 0 0 20 0 1 0 182991110 1150988288 276100 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 281003 276100 750 2417 0 278105 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1142604 KiB
Current children cumulated memory: 1108248 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 3.97 3.20 5/264 958418
/proc/meminfo: memFree=123149336/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=2184928 memory=2148840 CPUtime=12.66 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 540053 0 0 0 1177 89 0 0 20 0 1 0 182991110 2237366272 537210 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 546232 537210 782 2417 0 543334 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2203520 KiB
Current children cumulated memory: 2152688 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 3.99 3.21 5/264 958419
/proc/meminfo: memFree=119949336/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3662536 memory=3514152 CPUtime=25.42 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 658887 0 0 0 2397 145 0 0 20 0 1 0 182991110 3750436864 878538 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 915634 878538 1038 2417 0 912736 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 3681128 KiB
Current children cumulated memory: 3518000 KiB
[startup+51.106 s]
/proc/loadavg: 4.22 4.02 3.25 5/264 958422
/proc/meminfo: memFree=119839480/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3808468 memory=3584204 CPUtime=50.94 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 660240 0 0 0 4946 148 0 0 20 0 1 0 182991110 3899871232 896051 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 952117 896051 1038 2417 0 949219 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 3827060 KiB
Current children cumulated memory: 3588052 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.02 3.29 5/265 958433
/proc/meminfo: memFree=119768452/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3808468 memory=3590604 CPUtime=101.93 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 660731 0 0 0 10040 153 0 0 20 0 1 0 182991110 3899871232 897651 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 952117 897651 1038 2417 0 949219 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 3827060 KiB
Current children cumulated memory: 3594452 KiB
[startup+112.528 s]
# the end of solver process 958360 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=110.393 s, system=1.7447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 4.09 4.02 3.29 5/265 958433
/proc/meminfo: memFree=119768452/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3808468 memory=3590604 CPUtime=102.03 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 660731 0 0 0 10050 153 0 0 20 0 1 0 182991110 3899871232 897651 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 952117 897651 1038 2417 0 949219 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 3827060 KiB
Current children cumulated memory: 3594452 KiB
[startup+108.8 s]
/proc/loadavg: 4.09 4.01 3.29 5/265 958433
/proc/meminfo: memFree=119758408/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3808468 memory=3590664 CPUtime=108.41 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 660836 0 0 0 10688 153 0 0 20 0 1 0 182991110 3899871232 897666 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 952117 897666 1038 2417 0 949219 0
Current children cumulated CPU time: 108.41 s
Current children cumulated vsize: 3827060 KiB
Current children cumulated memory: 3594512 KiB
[startup+110.4 s]
/proc/loadavg: 4.24 4.05 3.31 5/265 958433
/proc/meminfo: memFree=119732604/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=4020084 memory=3668136 CPUtime=110 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 661353 0 0 0 10845 155 0 0 20 0 1 0 182991110 4116566016 917034 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 1005021 917034 1038 2417 0 1002123 0
Current children cumulated CPU time: 110 s
Current children cumulated vsize: 4038676 KiB
Current children cumulated memory: 3671984 KiB
[startup+111.2 s]
/proc/loadavg: 4.24 4.05 3.31 5/265 958433
/proc/meminfo: memFree=119517512/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3841108 memory=3545992 CPUtime=110.8 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 661845 0 0 0 10921 159 0 0 20 0 1 0 182991110 3933294592 886498 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 960277 886498 1038 2417 0 957379 0
Current children cumulated CPU time: 110.8 s
Current children cumulated vsize: 3859700 KiB
Current children cumulated memory: 3549840 KiB
[startup+112 s]*
/proc/loadavg: 4.24 4.05 3.31 5/265 958435
/proc/meminfo: memFree=119874404/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
[pid=958364] ppid=958363 vsize=3629492 memory=3454148 CPUtime=111.6 cores=1,3
/proc/958364/stat : 958364 (CASHWMaxSAT-Dis) R 958363 958363 956781 0 -1 4194304 661906 0 0 0 10999 161 0 0 20 0 1 0 182991110 3716599808 863537 134679101440 4194304 14093885 140725044961856 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 47853568 140725044966417 140725044966549 140725044966549 140725044973536 0
/proc/958364/statm: 907373 863537 1038 2417 0 904475 0
Current children cumulated CPU time: 111.6 s
Current children cumulated vsize: 3648084 KiB
Current children cumulated memory: 3457996 KiB
[startup+112.4 s]
/proc/loadavg: 4.24 4.05 3.31 5/265 958435
/proc/meminfo: memFree=119874404/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3848 KiB
[startup+112.5 s]
/proc/loadavg: 4.24 4.05 3.31 5/265 958435
/proc/meminfo: memFree=119874404/131524600 swapFree=131070704/131071996
[pid=958360] ppid=958357 vsize=9932 memory=2852 CPUtime=0 cores=1,3
/proc/958360/stat : 958360 (Hybrid-CASHWMax) S 958357 958360 956781 0 -1 4194304 240 105 0 0 0 0 0 0 20 0 1 0 182991109 10170368 713 134679101440 94244862181376 94244863260696 140728650479632 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94244865359152 94244865406340 94244875304960 140728650482639 140728650482797 140728650482797 140728650489813 0
/proc/958360/statm: 2483 713 638 264 0 134 0
[pid=958363] ppid=958360 vsize=8660 memory=996 CPUtime=0 cores=1,3
/proc/958363/stat : 958363 (timeout) S 958360 958363 956781 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 182991110 8867840 249 134679101440 94216973070336 94216973105352 140730907484192 0 0 0 0 3145728 90119 0 0 0 17 3 0 0 0 0 0 94216975202768 94216975204900 94216982786048 140730907489291 140730907489436 140730907489436 140730907496423 0
/proc/958363/statm: 2165 249 224 9 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 18592 KiB
Current children cumulated memory: 3848 KiB
Child status: 0
Real time (s): 112.528
CPU time (s): 112.138
CPU user time (s): 110.393
CPU system time (s): 1.7447
CPU usage (%): 99.6536
Max. virtual memory (cumulated for all children) (KiB): 4038676
Max. memory (cumulated for all children) (KiB): 3855388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.393
system time used= 1.7447
maximum resident set size= 3851540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 662605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 97
# summary of solver processes directly reported to runsolver:
# pid: 958360
# total CPU time (s): 112.138
# total CPU user time (s): 110.393
# total CPU system time (s): 1.7447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.270114 second user time and 0.617497 second system time
The end
Begin job on nodeC023 at 2024-07-18 15:11:14
IDJOB=4443747
IDBENCH=147884
IDSOLVER=3073
FILE ID=nodeC023/4443747-1721308261
RUNJOBID= nodeC023-1721307465-956793
SLURM_JOB_ID= 7542649
Free space on /tmp= 889944 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443747-1721308261/watcher-4443747-1721308261 -o /tmp/evaluation-result-4443747-1721308261/solver-4443747-1721308261 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4443747-1721308261.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35aa7f329bd98b2a572b3b38df46d0d6
RANDOM SEED=1853315208
nodeC023.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 : 3683.102
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.61
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 : 3664.941
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 : 7005.48
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 : 3599.833
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.61
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 : 3681.961
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 : 7005.48
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 : 3683.103
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.61
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 : 3681.127
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 : 7005.48
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 : 3599.862
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.61
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.019
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127014548 kB
MemAvailable: 129046932 kB
Buffers: 502340 kB
Cached: 2359368 kB
SwapCached: 80 kB
Active: 1072956 kB
Inactive: 2870904 kB
Active(anon): 1628 kB
Inactive(anon): 1118060 kB
Active(file): 1071328 kB
Inactive(file): 1752844 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 106408 kB
Writeback: 4 kB
AnonPages: 1078300 kB
Mapped: 116576 kB
Shmem: 37536 kB
KReclaimable: 96072 kB
Slab: 188992 kB
SReclaimable: 96072 kB
SUnreclaim: 92920 kB
KernelStack: 4208 kB
PageTables: 11624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1502648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 907264 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889840 MiB
End job on nodeC023 at 2024-07-18 15:13:07