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 (62396 MiB free)
memory of node 1: 64473 MiB (62586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446927-1721336197/watcher-4446927-1721336197 -o /tmp/evaluation-result-4446927-1721336197/solver-4446927-1721336197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721328953-975958 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4446927-1721336197.opb 3600 HOME 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Current StackSize limit: 8192 KiB
solver pid=980372, runsolver pid=980369
[startup+0.101046 s]*
/proc/loadavg: 4.13 4.14 4.11 5/265 980376
/proc/meminfo: memFree=127967232/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=36088 memory=17860 CPUtime=0.09 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 4068 0 0 0 9 0 0 0 20 0 1 0 185790527 36954112 4465 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 9022 4465 782 2417 0 6124 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54680 KiB
Current children cumulated memory: 21448 KiB
[startup+0.20585 s]*
/proc/loadavg: 4.13 4.14 4.11 5/265 980376
/proc/meminfo: memFree=127966896/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=33384 memory=18624 CPUtime=0.19 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 4407 0 0 0 19 0 0 0 20 0 1 0 185790527 34185216 4656 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 8346 4656 814 2417 0 5448 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51976 KiB
Current children cumulated memory: 22212 KiB
[startup+0.305809 s]*
/proc/loadavg: 4.13 4.14 4.11 5/265 980376
/proc/meminfo: memFree=127966224/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=34412 memory=19152 CPUtime=0.29 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 4561 0 0 0 29 0 0 0 20 0 1 0 185790527 35237888 4788 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 8603 4788 814 2417 0 5705 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 53004 KiB
Current children cumulated memory: 22740 KiB
[startup+0.700268 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 980376
/proc/meminfo: memFree=127964480/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=38808 memory=22056 CPUtime=0.68 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 5262 0 0 0 67 1 0 0 20 0 1 0 185790527 39739392 5514 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 9702 5514 814 2417 0 6804 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57400 KiB
Current children cumulated memory: 25644 KiB
[startup+1.50027 s]
/proc/loadavg: 4.13 4.14 4.11 5/265 980376
/proc/meminfo: memFree=127993408/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=42988 memory=24296 CPUtime=1.48 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 6204 0 0 0 147 1 0 0 20 0 1 0 185790527 44019712 6074 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 10747 6074 814 2417 0 7849 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61580 KiB
Current children cumulated memory: 27884 KiB
[startup+3.1057 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 980377
/proc/meminfo: memFree=127989140/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=42988 memory=28848 CPUtime=3.07 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 6281 0 0 0 306 1 0 0 20 0 1 0 185790527 44019712 7212 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 10747 7212 814 2417 0 7849 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 61580 KiB
Current children cumulated memory: 32436 KiB
[startup+6.30026 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 980377
/proc/meminfo: memFree=127962408/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=80536 memory=55296 CPUtime=6.26 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 7649 0 0 0 623 3 0 0 20 0 1 0 185790527 82468864 13824 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 20134 13824 814 2417 0 17236 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 99128 KiB
Current children cumulated memory: 58884 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.14 4.10 5/265 980377
/proc/meminfo: memFree=127925300/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=99392 memory=74648 CPUtime=12.64 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 7951 0 0 0 1261 3 0 0 20 0 1 0 185790527 101777408 18662 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 24848 18662 814 2417 0 21950 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117984 KiB
Current children cumulated memory: 78236 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.13 4.10 5/265 980380
/proc/meminfo: memFree=127885080/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=99392 memory=82168 CPUtime=25.39 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 8312 0 0 0 2536 3 0 0 20 0 1 0 185790527 101777408 20542 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 24848 20542 814 2417 0 21950 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 117984 KiB
Current children cumulated memory: 85756 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 980444
/proc/meminfo: memFree=128052096/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=99392 memory=85212 CPUtime=50.91 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 11708 0 0 0 5084 7 0 0 20 0 1 0 185790527 101777408 21303 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 24848 21303 814 2417 0 21950 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 117984 KiB
Current children cumulated memory: 88800 KiB
[startup+102.3 s]
/proc/loadavg: 4.04 4.11 4.09 5/266 980622
/proc/meminfo: memFree=127996428/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
################
# More data... #
################
/proc/980376/statm: 40100 32412 814 2417 0 37202 0
Current children cumulated CPU time: 879.38 s
Current children cumulated vsize: 178992 KiB
Current children cumulated memory: 133236 KiB
[startup+942.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 980947
/proc/meminfo: memFree=128123652/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=148448 CPUtime=939.19 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 133784 0 0 0 93685 234 0 0 20 0 1 0 185790527 195809280 37112 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 37112 814 2417 0 44907 0
Current children cumulated CPU time: 939.19 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 152036 KiB
[startup+1002.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 980957
/proc/meminfo: memFree=128123180/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=111080 memory=97084 CPUtime=998.98 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 140909 0 0 0 99650 248 0 0 20 0 1 0 185790527 113745920 24271 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 27770 24271 814 2417 0 24872 0
Current children cumulated CPU time: 998.98 s
Current children cumulated vsize: 129672 KiB
Current children cumulated memory: 100672 KiB
[startup+1062.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 980968
/proc/meminfo: memFree=128025336/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=168928 CPUtime=1058.79 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 148230 0 0 0 105613 266 0 0 20 0 1 0 185790527 195809280 42232 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 42232 814 2417 0 44907 0
Current children cumulated CPU time: 1058.79 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 172516 KiB
[startup+1073.48 s]
# the end of solver process 980372 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1067.23 s, system=2.71304 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1062.4 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 980968
/proc/meminfo: memFree=128025336/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=168928 CPUtime=1058.89 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 148230 0 0 0 105623 266 0 0 20 0 1 0 185790527 195809280 42232 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 42232 814 2417 0 44907 0
Current children cumulated CPU time: 1058.89 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 172516 KiB
[startup+1068.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 980970
/proc/meminfo: memFree=128104532/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=160400 memory=144132 CPUtime=1065.26 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 149348 0 0 0 106258 268 0 0 20 0 1 0 185790527 164249600 36033 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 40100 36033 814 2417 0 37202 0
Current children cumulated CPU time: 1065.26 s
Current children cumulated vsize: 178992 KiB
Current children cumulated memory: 147720 KiB
[startup+1072 s]*
/proc/loadavg: 4.12 4.11 4.09 5/264 980970
/proc/meminfo: memFree=128104216/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=160400 memory=142084 CPUtime=1068.46 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 149945 0 0 0 106576 270 0 0 20 0 1 0 185790527 164249600 35521 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 40100 35521 814 2417 0 37202 0
Current children cumulated CPU time: 1068.46 s
Current children cumulated vsize: 178992 KiB
Current children cumulated memory: 145672 KiB
[startup+1072.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 980970
/proc/meminfo: memFree=128104216/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=148448 CPUtime=1069.25 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 150015 0 0 0 106655 270 0 0 20 0 1 0 185790527 195809280 37112 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 37112 814 2417 0 44907 0
Current children cumulated CPU time: 1069.25 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 152036 KiB
[startup+1073.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 980971
/proc/meminfo: memFree=128055524/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=152544 CPUtime=1069.65 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 150017 0 0 0 106695 270 0 0 20 0 1 0 185790527 195809280 38136 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 38136 814 2417 0 44907 0
Current children cumulated CPU time: 1069.65 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 156132 KiB
[startup+1073.4 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 980971
/proc/meminfo: memFree=128055524/131524600 swapFree=131071996/131071996
[pid=980372] ppid=980369 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/980372/stat : 980372 (Hybrid-CASHWMax) S 980369 980372 975948 0 -1 4194304 235 105 0 0 0 0 0 0 20 0 1 0 185790527 10170368 652 134679101440 94043654574080 94043655653400 140731633235808 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94043657751856 94043657799044 94043665448960 140731633238991 140731633239149 140731633239149 140731633246165 0
/proc/980372/statm: 2483 652 574 264 0 134 0
[pid=980375] ppid=980372 vsize=8660 memory=980 CPUtime=0 cores=0,2
/proc/980375/stat : 980375 (timeout) S 980372 980375 975948 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 185790527 8867840 245 134679101440 94811141689344 94811141724360 140736230003152 0 0 0 0 3145728 90119 0 0 0 17 0 0 0 0 0 0 94811143821776 94811143823908 94811167522816 140736230007819 140736230007964 140736230007964 140736230014951 0
/proc/980375/statm: 2165 245 220 9 0 87 0
[pid=980376] ppid=980375 vsize=191220 memory=154592 CPUtime=1069.85 cores=0,2
/proc/980376/stat : 980376 (CASHWMaxSAT-Dis) R 980375 980375 975948 0 -1 4194304 150018 0 0 0 106715 270 0 0 20 0 1 0 185790527 195809280 38648 134679101440 4194304 14093885 140726031765248 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 21553152 140726031770641 140726031770773 140726031770773 140726031777760 0
/proc/980376/statm: 47805 38648 814 2417 0 44907 0
Current children cumulated CPU time: 1069.85 s
Current children cumulated vsize: 209812 KiB
Current children cumulated memory: 158180 KiB
Child status: 0
Real time (s): 1073.48
CPU time (s): 1069.94
CPU user time (s): 1067.23
CPU system time (s): 2.71304
CPU usage (%): 99.6708
Max. virtual memory (cumulated for all children) (KiB): 259132
Max. memory (cumulated for all children) (KiB): 209372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1067.23
system time used= 2.71304
maximum resident set size= 213976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 7330
# summary of solver processes directly reported to runsolver:
# pid: 980372
# total CPU time (s): 1069.94
# total CPU user time (s): 1067.23
# total CPU system time (s): 2.71304
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30087 second user time and 5.56354 second system time
The end
Begin job on nodeC035 at 2024-07-18 22:56:49
IDJOB=4446927
IDBENCH=158339
IDSOLVER=3073
FILE ID=nodeC035/4446927-1721336197
RUNJOBID= nodeC035-1721328953-975958
SLURM_JOB_ID= 7542691
Free space on /tmp= 890012 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446927-1721336197/watcher-4446927-1721336197 -o /tmp/evaluation-result-4446927-1721336197/solver-4446927-1721336197 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721328953-975958 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4446927-1721336197.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=87006109
nodeC035.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.895
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.65
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 : 3681.079
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.79
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 : 3647.401
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.65
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.136
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.79
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 : 3657.268
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.65
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.178
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.79
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 : 3603.963
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.65
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.064
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127983416 kB
MemAvailable: 129070308 kB
Buffers: 481536 kB
Cached: 1437960 kB
SwapCached: 0 kB
Active: 953324 kB
Inactive: 1969744 kB
Active(anon): 1600 kB
Inactive(anon): 1039688 kB
Active(file): 951724 kB
Inactive(file): 930056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 17696 kB
Writeback: 12 kB
AnonPages: 1003284 kB
Mapped: 116088 kB
Shmem: 37724 kB
KReclaimable: 89872 kB
Slab: 200268 kB
SReclaimable: 89872 kB
SUnreclaim: 110396 kB
KernelStack: 4264 kB
PageTables: 11592 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1560664 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70272 kB
HardwareCorrupted: 0 kB
AnonHugePages: 745472 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: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC035 at 2024-07-18 23:14:43