0.00/0.00 c Using cadical-2.1.3-f13d744 SAT solver by Armin Biere et al. (2016 - )
0.00/0.00 c Setting memory limit to 31000MB.
0.00/0.00 c Parsing PB file...
0.00/0.06 c Converting 3720 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
300.66/301.68 c Starting SCIP solver (with time-limit: 900s) ...
1198.15/1201.68 c SCIP timeout with lower and upper bounds: [6, 9223372036854775807]
3600.03/3610.10 c *** TERMINATED by signal 15 ***
3600.03/3610.10 c _______________________________________________________________________________
3600.03/3610.10 c
3600.03/3610.10 c _______________________________________________________________________________
3600.03/3610.10 c
3600.03/3610.10 c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3610.10 c Memory used : 600.00 MB
3600.03/3610.10 c CPU time : 3598.7 s
3600.03/3610.10 c Constr Enc: Srt/BDD/Add: 447 0 0
3600.03/3610.10 c _______________________________________________________________________________
3600.03/3610.10 c _______________________________________________________________________________
3600.03/3610.10 s UNKNOWN
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: 63708 MiB (62020 MiB free)
memory of node 1: 64465 MiB (62938 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499182-1751469175/watcher-4499182-1751469175 -o /tmp/evaluation-result-4499182-1751469175/solver-4499182-1751469175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66259 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499182-1751469175.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66311, runsolver pid=66299
[startup+0.100064 s]*
/proc/loadavg: 0.76 1.58 2.77 5/264 66316
/proc/meminfo: memFree=127903144/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=44212 memory=33192 CPUtime=0.09 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 6479 0 0 0 8 1 0 0 20 0 1 0 62540050 45273088 8298 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 11053 8298 2688 3139 0 7341 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44212 KiB
Current children cumulated memory: 33192 KiB
[startup+0.205778 s]*
/proc/loadavg: 0.76 1.58 2.77 6/264 66316
/proc/meminfo: memFree=127832088/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=75780 memory=59572 CPUtime=0.2 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 11484 0 0 0 18 2 0 0 20 0 1 0 62540050 77598720 14893 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 18945 14893 2688 3139 0 15233 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75780 KiB
Current children cumulated memory: 59572 KiB
[startup+0.305777 s]*
/proc/loadavg: 0.76 1.58 2.77 5/264 66316
/proc/meminfo: memFree=127714828/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=101268 memory=89908 CPUtime=0.3 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 13432 0 0 0 27 3 0 0 20 0 1 0 62540050 103698432 22477 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 25317 22477 2688 3139 0 21605 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 101268 KiB
Current children cumulated memory: 89908 KiB
[startup+0.70017 s]
/proc/loadavg: 0.76 1.58 2.77 5/264 66316
/proc/meminfo: memFree=127479720/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=174148 memory=153460 CPUtime=0.68 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 27521 0 0 0 63 5 0 0 20 0 1 0 62540050 178327552 38365 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 43537 38365 2688 3139 0 39825 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174148 KiB
Current children cumulated memory: 153460 KiB
[startup+1.50017 s]
/proc/loadavg: 0.76 1.58 2.77 5/264 66316
/proc/meminfo: memFree=127345264/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=199184 memory=170892 CPUtime=1.48 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 28813 0 0 0 143 5 0 0 20 0 1 0 62540050 203964416 42723 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 49796 42723 2688 3139 0 46084 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 199184 KiB
Current children cumulated memory: 170892 KiB
[startup+3.10576 s]
/proc/loadavg: 0.76 1.58 2.77 5/264 66316
/proc/meminfo: memFree=126979180/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=229816 memory=207768 CPUtime=3.08 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 30397 0 0 0 302 6 0 0 20 0 1 0 62540050 235331584 51942 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 57454 51942 2688 3139 0 53742 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 229816 KiB
Current children cumulated memory: 207768 KiB
[startup+6.30016 s]
/proc/loadavg: 1.02 1.62 2.78 5/264 66316
/proc/meminfo: memFree=126947200/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=233000 memory=210968 CPUtime=6.26 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 31224 0 0 0 620 6 0 0 20 0 1 0 62540050 238592000 52742 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 58250 52742 2688 3139 0 54538 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233000 KiB
Current children cumulated memory: 210968 KiB
[startup+12.7002 s]
/proc/loadavg: 1.25 1.66 2.78 5/264 66361
/proc/meminfo: memFree=126810436/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=233000 memory=210968 CPUtime=12.64 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 31247 0 0 0 1258 6 0 0 20 0 1 0 62540050 238592000 52742 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 58250 52742 2688 3139 0 54538 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233000 KiB
Current children cumulated memory: 210968 KiB
[startup+25.5001 s]
/proc/loadavg: 1.86 1.78 2.80 5/264 66406
/proc/meminfo: memFree=126967404/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=220388 memory=198316 CPUtime=25.4 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 32063 0 0 0 2533 7 0 0 20 0 1 0 62540050 225677312 49579 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 55097 49579 2688 3139 0 51385 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 220388 KiB
Current children cumulated memory: 198316 KiB
[startup+51.1055 s]
/proc/loadavg: 2.72 1.99 2.85 5/264 66677
/proc/meminfo: memFree=127335808/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=235252 memory=213164 CPUtime=50.91 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 32728 0 0 0 5084 7 0 0 20 0 1 0 62540050 240898048 53291 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 58813 53291 2688 3139 0 55101 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 235252 KiB
Current children cumulated memory: 213164 KiB
[startup+102.3 s]
/proc/loadavg: 3.51 2.32 2.92 5/263 66767
/proc/meminfo: memFree=126812240/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=234800 memory=212928 CPUtime=101.93 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 36375 0 0 0 10183 10 0 0 20 0 1 0 62540050 240435200 53232 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 58700 53232 2688 3139 0 54988 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 234800 KiB
Current children cumulated memory: 212928 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 2.64 2.99 5/264 66774
/proc/meminfo: memFree=126802876/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=240908 memory=222528 CPUtime=161.75 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 37520 0 0 0 16165 10 0 0 20 0 1 0 62540050 246689792 55632 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 60227 55632 2688 3139 0 56515 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 240908 KiB
Current children cumulated memory: 222528 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.91 3.06 5/264 66776
/proc/meminfo: memFree=126822912/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=213680 memory=195520 CPUtime=221.58 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 39386 0 0 0 22146 12 0 0 20 0 1 0 62540050 218808320 48880 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 53420 48880 2688 3139 0 49708 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 213680 KiB
Current children cumulated memory: 195520 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 3.12 3.13 5/264 66780
/proc/meminfo: memFree=126769292/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=279900 memory=261560 CPUtime=281.42 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 41997 0 0 0 28126 16 0 0 20 0 1 0 62540050 286617600 65390 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 69975 65390 2688 3139 0 66263 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 279900 KiB
Current children cumulated memory: 261560 KiB
[startup+342.3 s]
/proc/loadavg: 4.06 3.30 3.19 5/264 66783
/proc/meminfo: memFree=126512888/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=383452 memory=367532 CPUtime=341.26 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 64959 0 0 0 34104 22 0 0 20 0 1 0 62540050 392654848 91883 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 95863 91883 3296 3139 0 92151 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 383452 KiB
Current children cumulated memory: 367532 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.46 3.26 5/264 66785
/proc/meminfo: memFree=126343020/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=383452 memory=367660 CPUtime=401.09 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 64961 0 0 0 40087 22 0 0 20 0 1 0 62540050 392654848 91915 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 95863 91915 3328 3139 0 92151 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 383452 KiB
Current children cumulated memory: 367660 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.58 3.31 5/264 66787
/proc/meminfo: memFree=126279080/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=383452 memory=367660 CPUtime=460.93 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 64965 0 0 0 46071 22 0 0 20 0 1 0 62540050 392654848 91915 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 95863 91915 3328 3139 0 92151 0
Current children cumulated CPU time: 460.93 s
################
# More data... #
################
Current children cumulated memory: 324500 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.04 5/264 66915
/proc/meminfo: memFree=126238004/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=340188 memory=324500 CPUtime=2914.12 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 116662 0 0 0 291304 108 0 0 20 0 1 0 62540050 348352512 81125 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85047 81125 3328 3139 0 81335 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 340188 KiB
Current children cumulated memory: 324500 KiB
[startup+2982.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/264 66917
/proc/meminfo: memFree=126115176/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=341684 memory=325908 CPUtime=2973.96 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 117036 0 0 0 297288 108 0 0 20 0 1 0 62540050 349884416 81477 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85421 81477 3328 3139 0 81709 0
Current children cumulated CPU time: 2973.96 s
Current children cumulated vsize: 341684 KiB
Current children cumulated memory: 325908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/264 66919
/proc/meminfo: memFree=126085332/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=341684 memory=325908 CPUtime=3033.79 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 117142 0 0 0 303271 108 0 0 20 0 1 0 62540050 349884416 81477 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85421 81477 3328 3139 0 81709 0
Current children cumulated CPU time: 3033.79 s
Current children cumulated vsize: 341684 KiB
Current children cumulated memory: 325908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/264 66921
/proc/meminfo: memFree=126121020/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=341684 memory=325908 CPUtime=3093.63 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 117151 0 0 0 309255 108 0 0 20 0 1 0 62540050 349884416 81477 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85421 81477 3328 3139 0 81709 0
Current children cumulated CPU time: 3093.63 s
Current children cumulated vsize: 341684 KiB
Current children cumulated memory: 325908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/263 66928
/proc/meminfo: memFree=126051248/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=343292 memory=327572 CPUtime=3153.47 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 117553 0 0 0 315239 108 0 0 20 0 1 0 62540050 351531008 81893 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85823 81893 3328 3139 0 82111 0
Current children cumulated CPU time: 3153.47 s
Current children cumulated vsize: 343292 KiB
Current children cumulated memory: 327572 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 67245
/proc/meminfo: memFree=126829168/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=343292 memory=327572 CPUtime=3213.3 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 117661 0 0 0 321222 108 0 0 20 0 1 0 62540050 351531008 81893 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85823 81893 3328 3139 0 82111 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 343292 KiB
Current children cumulated memory: 327572 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/263 67426
/proc/meminfo: memFree=126846636/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=343292 memory=327604 CPUtime=3273.14 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 118277 0 0 0 327205 109 0 0 20 0 1 0 62540050 351531008 81901 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 85823 81901 3328 3139 0 82111 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 343292 KiB
Current children cumulated memory: 327604 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/263 67430
/proc/meminfo: memFree=126712736/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=403724 memory=388036 CPUtime=3332.97 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 119597 0 0 0 333186 111 0 0 20 0 1 0 62540050 413413376 97009 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 100931 97009 3328 3139 0 97219 0
Current children cumulated CPU time: 3332.97 s
Current children cumulated vsize: 403724 KiB
Current children cumulated memory: 388036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.38 4.19 4.09 5/264 67433
/proc/meminfo: memFree=126629936/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=462816 memory=447128 CPUtime=3392.81 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 121107 0 0 0 339164 117 0 0 20 0 1 0 62540050 473923584 111782 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 115704 111782 3328 3139 0 111992 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 462816 KiB
Current children cumulated memory: 447128 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.17 4.09 5/264 67435
/proc/meminfo: memFree=126683156/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=418740 memory=403052 CPUtime=3452.63 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 122059 0 0 0 345142 121 0 0 20 0 1 0 62540050 428789760 100763 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 104685 100763 3328 3139 0 100973 0
Current children cumulated CPU time: 3452.63 s
Current children cumulated vsize: 418740 KiB
Current children cumulated memory: 403052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/264 67437
/proc/meminfo: memFree=126512812/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=454252 memory=438564 CPUtime=3512.47 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 123243 0 0 0 351122 125 0 0 20 0 1 0 62540050 465154048 109641 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 113563 109641 3328 3139 0 109851 0
Current children cumulated CPU time: 3512.47 s
Current children cumulated vsize: 454252 KiB
Current children cumulated memory: 438564 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/265 67440
/proc/meminfo: memFree=126572948/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=497136 memory=481448 CPUtime=3572.3 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 124667 0 0 0 357098 132 0 0 20 0 1 0 62540050 509067264 120362 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 124284 120362 3328 3139 0 120572 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 497136 KiB
Current children cumulated memory: 481448 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.09 4.14 4.09 5/265 67486
/proc/meminfo: memFree=126558860/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=451636 memory=436060 CPUtime=3600.03 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 125181 0 0 0 359869 134 0 0 20 0 1 0 62540050 462475264 109015 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 112909 109015 3328 3139 0 109197 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 451636 KiB
Current children cumulated memory: 436060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 66311 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.7 s, system=1.34807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.09 4.14 4.09 5/265 67486
/proc/meminfo: memFree=126558860/131250000 swapFree=33010684/33010684
[pid=66311] ppid=66299 vsize=451636 memory=436060 CPUtime=3600.03 cores=5,7
/proc/66311/stat : 66311 (uwrmaxsat-scip) R 66299 66311 66246 0 -1 4194304 125181 0 0 0 359869 134 0 0 20 0 1 0 62540050 462475264 109015 18446744073709551615 4198400 17051741 140730189808240 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 42975232 140730189809978 140730189810148 140730189810148 140730189815750 0
/proc/66311/statm: 112909 109015 3328 3139 0 109197 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 451636 KiB
Current children cumulated memory: 436060 KiB
Child status: 0
Real time (s): 3610.11
CPU time (s): 3600.05
CPU user time (s): 3598.7
CPU system time (s): 1.34807
CPU usage (%): 99.7213
Max. virtual memory (cumulated for all children) (KiB): 614972
Max. memory (cumulated for all children) (KiB): 599172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.34807
maximum resident set size= 599172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53
involuntary context switches= 1387
# summary of solver processes directly reported to runsolver:
# pid: 66311
# total CPU time (s): 3600.05
# total CPU user time (s): 3598.7
# total CPU system time (s): 1.34807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.46753 second user time and 14.768 second system time
The end
Begin job on nodeC028 at 2025-07-02 17:12:55
IDJOB=4499182
IDBENCH=148772
IDSOLVER=3373
FILE ID=nodeC028/4499182-1751469175
RUNJOBID= nodeC028-1751469175-66259
SLURM_JOB_ID= 9598490
Free space on /tmp= 431496 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= HOME/uwrmaxsat-scip BENCHNAME -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499182-1751469175/watcher-4499182-1751469175 -o /tmp/evaluation-result-4499182-1751469175/solver-4499182-1751469175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66259 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499182-1751469175.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=486958598
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/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 : 3600.161
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3601.090
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.246
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.072
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3600.101
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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 : 3597.840
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.182
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
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.092
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127961816 kB
MemAvailable: 129742096 kB
Buffers: 3280 kB
Cached: 2583328 kB
SwapCached: 0 kB
Active: 376260 kB
Inactive: 2274100 kB
Active(anon): 81820 kB
Inactive(anon): 0 kB
Active(file): 294440 kB
Inactive(file): 2274100 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67400 kB
Writeback: 0 kB
AnonPages: 66812 kB
Mapped: 103212 kB
Shmem: 18068 kB
KReclaimable: 101956 kB
Slab: 190796 kB
SReclaimable: 101956 kB
SUnreclaim: 88840 kB
KernelStack: 3924 kB
PageTables: 2392 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 331324 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431432 MiB
End job on nodeC028 at 2025-07-02 18:13:06