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 (59533 MiB free)
memory of node 1: 64510 MiB (60559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446926-1721334799/watcher-4446926-1721334799 -o /tmp/evaluation-result-4446926-1721334799/solver-4446926-1721334799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721330599-1002002 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4446926-1721334799.opb 3600 HOME 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=1005143, runsolver pid=1005140
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122962080/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=32764 memory=17632 CPUtime=0.09 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 3960 0 0 0 9 0 0 0 20 0 1 0 185645286 33550336 4408 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 8191 4408 1034 2726 0 4939 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51356 KiB
Current children cumulated memory: 21460 KiB
[startup+0.205912 s]*
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122954128/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=41208 memory=25180 CPUtime=0.2 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 5753 0 0 0 19 1 0 0 20 0 1 0 185645286 42196992 6295 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 10302 6295 1146 2726 0 7050 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59800 KiB
Current children cumulated memory: 29008 KiB
[startup+0.305845 s]*
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122952300/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=41556 memory=26240 CPUtime=0.3 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 6277 0 0 0 29 1 0 0 20 0 1 0 185645286 42553344 6560 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 10389 6560 1146 2726 0 7137 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60148 KiB
Current children cumulated memory: 30068 KiB
[startup+0.700306 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122951400/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=72552 memory=56788 CPUtime=0.69 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 14661 0 0 0 67 2 0 0 20 0 1 0 185645286 74293248 14197 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 18138 14197 1146 2726 0 14886 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 91144 KiB
Current children cumulated memory: 60616 KiB
[startup+1.50026 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122923288/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=71460 memory=56428 CPUtime=1.48 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 15324 0 0 0 146 2 0 0 20 0 1 0 185645286 73175040 14107 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 17865 14107 1146 2726 0 14613 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90052 KiB
Current children cumulated memory: 60256 KiB
[startup+3.10566 s]
/proc/loadavg: 4.08 4.14 4.11 5/265 1005147
/proc/meminfo: memFree=122907920/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=71656 memory=56708 CPUtime=3.09 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 15519 0 0 0 307 2 0 0 20 0 1 0 185645286 73375744 14177 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 17914 14177 1146 2726 0 14662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 90248 KiB
Current children cumulated memory: 60536 KiB
[startup+6.30021 s]
/proc/loadavg: 4.08 4.13 4.11 5/265 1005148
/proc/meminfo: memFree=122902848/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=76652 memory=61656 CPUtime=6.27 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 16998 0 0 0 625 2 0 0 20 0 1 0 185645286 78491648 15414 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 19163 15414 1146 2726 0 15911 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95244 KiB
Current children cumulated memory: 65484 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 4.15 4.12 5/265 1005148
/proc/meminfo: memFree=122884468/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=86660 memory=69164 CPUtime=12.66 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 17852 0 0 0 1263 3 0 0 20 0 1 0 185645286 88739840 17291 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 21665 17291 1146 2726 0 18413 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 105252 KiB
Current children cumulated memory: 72992 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 1005152
/proc/meminfo: memFree=122898272/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=87756 memory=72572 CPUtime=25.42 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 18762 0 0 0 2539 3 0 0 20 0 1 0 185645286 89862144 18143 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 21939 18143 1146 2726 0 18687 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 106348 KiB
Current children cumulated memory: 76400 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.14 4.12 5/265 1005207
/proc/meminfo: memFree=122965564/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=99256 memory=84224 CPUtime=50.95 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 20114 0 0 0 5092 3 0 0 20 0 1 0 185645286 101638144 21056 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 24814 21056 1146 2726 0 21562 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 117848 KiB
Current children cumulated memory: 88052 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/266 1005218
/proc/meminfo: memFree=122902684/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
################
# More data... #
################
/proc/1005147/statm: 24913 21172 1146 2726 0 21661 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 118244 KiB
Current children cumulated memory: 88516 KiB
[startup+269.542 s]
# the end of solver process 1005143 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=268.73 s, system=0.073814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 1005239
/proc/meminfo: memFree=122814108/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=106028 memory=90888 CPUtime=229.76 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 26333 0 0 0 22971 5 0 0 20 0 1 0 185645286 108572672 22722 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 26507 22722 1146 2726 0 23255 0
Current children cumulated CPU time: 229.76 s
Current children cumulated vsize: 124620 KiB
Current children cumulated memory: 94716 KiB
[startup+256 s]*
/proc/loadavg: 4.09 4.11 4.10 5/265 1005245
/proc/meminfo: memFree=122836392/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=126556 memory=111464 CPUtime=255.29 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27377 0 0 0 25524 5 0 0 20 0 1 0 185645286 129593344 27866 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 31639 27866 1146 2726 0 28387 0
Current children cumulated CPU time: 255.29 s
Current children cumulated vsize: 145148 KiB
Current children cumulated memory: 115292 KiB
[startup+262.4 s]
/proc/loadavg: 4.08 4.11 4.10 5/265 1005245
/proc/meminfo: memFree=122882396/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=111640 memory=96696 CPUtime=261.66 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27391 0 0 0 26161 5 0 0 20 0 1 0 185645286 114319360 24174 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 27910 24174 1146 2726 0 24658 0
Current children cumulated CPU time: 261.66 s
Current children cumulated vsize: 130232 KiB
Current children cumulated memory: 100524 KiB
[startup+265.6 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 1005246
/proc/meminfo: memFree=122883544/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=122136 memory=106976 CPUtime=264.86 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27972 0 0 0 26480 6 0 0 20 0 1 0 185645286 125067264 26744 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 30534 26744 1146 2726 0 27282 0
Current children cumulated CPU time: 264.86 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 110804 KiB
[startup+267.2 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 1005246
/proc/meminfo: memFree=122922088/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=122136 memory=106976 CPUtime=266.46 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27972 0 0 0 26640 6 0 0 20 0 1 0 185645286 125067264 26744 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 30534 26744 1146 2726 0 27282 0
Current children cumulated CPU time: 266.46 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 110804 KiB
[startup+268.8 s]
/proc/loadavg: 4.07 4.11 4.10 5/265 1005246
/proc/meminfo: memFree=122922088/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=122136 memory=106976 CPUtime=268.05 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27972 0 0 0 26799 6 0 0 20 0 1 0 185645286 125067264 26744 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 30534 26744 1146 2726 0 27282 0
Current children cumulated CPU time: 268.05 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 110804 KiB
[startup+269.2 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 1005247
/proc/meminfo: memFree=122893308/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=122136 memory=106976 CPUtime=268.45 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27972 0 0 0 26839 6 0 0 20 0 1 0 185645286 125067264 26744 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 30534 26744 1146 2726 0 27282 0
Current children cumulated CPU time: 268.45 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 110804 KiB
[startup+269.4 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 1005247
/proc/meminfo: memFree=122893308/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=122136 memory=106976 CPUtime=268.65 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 27972 0 0 0 26859 6 0 0 20 0 1 0 185645286 125067264 26744 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 30534 26744 1146 2726 0 27282 0
Current children cumulated CPU time: 268.65 s
Current children cumulated vsize: 140728 KiB
Current children cumulated memory: 110804 KiB
[startup+269.5 s]
/proc/loadavg: 4.15 4.12 4.10 5/265 1005247
/proc/meminfo: memFree=122893308/131524600 swapFree=131071996/131071996
[pid=1005143] ppid=1005140 vsize=9932 memory=2816 CPUtime=0 cores=5,7
/proc/1005143/stat : 1005143 (Hybrid-CASHWMax) S 1005140 1005143 1001989 0 -1 4194304 242 101 0 0 0 0 0 0 20 0 1 0 185645286 10170368 704 134679101440 94372310437888 94372311517208 140731633452304 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94372313615664 94372313662852 94372334645248 140731633456076 140731633456235 140731633456235 140731633463252 0
/proc/1005143/statm: 2483 704 611 264 0 134 0
[pid=1005146] ppid=1005143 vsize=8660 memory=1012 CPUtime=0 cores=5,7
/proc/1005146/stat : 1005146 (timeout) S 1005143 1005146 1001989 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 185645286 8867840 253 134679101440 93910475112448 93910475147464 140722779088304 0 0 0 0 3145728 90119 0 0 0 17 7 0 0 0 0 0 93910477244880 93910477247012 93910480728064 140722779091964 140722779092123 140722779092123 140722779099111 0
/proc/1005146/statm: 2165 253 229 9 0 87 0
[pid=1005147] ppid=1005146 vsize=136156 memory=121088 CPUtime=268.75 cores=5,7
/proc/1005147/stat : 1005147 (CASHWMaxSAT-Dis) R 1005146 1005146 1001989 0 -1 4194304 28411 0 0 0 26869 6 0 0 20 0 1 0 185645286 139423744 30272 134679101440 4194304 15356333 140736125548384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 17424944 17514448 54755328 140736125551617 140736125551763 140736125551763 140736125558751 0
/proc/1005147/statm: 34039 30272 1146 2726 0 30787 0
Current children cumulated CPU time: 268.75 s
Current children cumulated vsize: 154748 KiB
Current children cumulated memory: 124916 KiB
Child status: 0
Real time (s): 269.542
CPU time (s): 268.804
CPU user time (s): 268.73
CPU system time (s): 0.073814
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 154748
Max. memory (cumulated for all children) (KiB): 124916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.73
system time used= 0.073814
maximum resident set size= 121212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29101
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= 12
involuntary context switches= 268
# summary of solver processes directly reported to runsolver:
# pid: 1005143
# total CPU time (s): 268.804
# total CPU user time (s): 268.73
# total CPU system time (s): 0.073814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.601777 second user time and 1.39288 second system time
The end
Begin job on nodeC025 at 2024-07-18 22:33:32
IDJOB=4446926
IDBENCH=158339
IDSOLVER=3072
FILE ID=nodeC025/4446926-1721334799
RUNJOBID= nodeC025-1721330599-1002002
SLURM_JOB_ID= 7542709
Free space on /tmp= 889972 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K90.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjCadSP+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446926-1721334799/watcher-4446926-1721334799 -o /tmp/evaluation-result-4446926-1721334799/solver-4446926-1721334799 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721330599-1002002 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4446926-1721334799.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dd58632d9551a3604736dadf6eadc418
RANDOM SEED=1467883893
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.638
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.72
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 : 3673.176
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
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.067
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.72
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.069
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.694
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.72
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 : 3666.609
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.076
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.72
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 : 3673.982
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122975820 kB
MemAvailable: 129061280 kB
Buffers: 524140 kB
Cached: 6324124 kB
SwapCached: 0 kB
Active: 1087168 kB
Inactive: 6686684 kB
Active(anon): 1576 kB
Inactive(anon): 961724 kB
Active(file): 1085592 kB
Inactive(file): 5724960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 19928 kB
Writeback: 0 kB
AnonPages: 915060 kB
Mapped: 119852 kB
Shmem: 37720 kB
KReclaimable: 229108 kB
Slab: 356992 kB
SReclaimable: 229108 kB
SUnreclaim: 127884 kB
KernelStack: 4240 kB
PageTables: 11292 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1331804 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 70304 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC025 at 2024-07-18 22:38:02