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.09 c Converting 5568 PB-constraints to clauses...
0.00/0.09 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
301.06/302.07 c Starting SCIP solver (with time-limit: 900s) ...
1198.03/1202.07 c SCIP timeout with lower and upper bounds: [7, 9223372036854775807]
3600.03/3611.60 c *** TERMINATED by signal 15 ***
3600.03/3611.60 c _______________________________________________________________________________
3600.03/3611.60 c
3600.03/3611.60 c _______________________________________________________________________________
3600.03/3611.60 c
3600.03/3611.60 c =======================[ UWrMaxSat resources usage ]===========================
3600.03/3611.60 c Memory used : 789.00 MB
3600.03/3611.60 c CPU time : 3599.13 s
3600.03/3611.60 c Constr Enc: Srt/BDD/Add: 523 0 0
3600.03/3611.60 c _______________________________________________________________________________
3600.03/3611.60 c _______________________________________________________________________________
3600.03/3611.60 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 (61533 MiB free)
memory of node 1: 64465 MiB (62594 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499320-1751469184/watcher-4499320-1751469184 -o /tmp/evaluation-result-4499320-1751469184/solver-4499320-1751469184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66256 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499320-1751469184.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=66360, runsolver pid=66357
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.02 1.62 2.78 5/264 66361
/proc/meminfo: memFree=127099336/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=39468 memory=27984 CPUtime=0.09 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 4684 0 0 0 9 0 0 0 20 0 1 0 62540879 40415232 6996 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 9867 6996 2688 3139 0 6155 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39468 KiB
Current children cumulated memory: 27984 KiB
[startup+0.205503 s]*
/proc/loadavg: 1.02 1.62 2.78 5/264 66361
/proc/meminfo: memFree=127069536/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=77860 memory=63008 CPUtime=0.2 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 11170 0 0 0 19 1 0 0 20 0 1 0 62540879 79728640 15752 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 19465 15752 2688 3139 0 15753 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 77860 KiB
Current children cumulated memory: 63008 KiB
[startup+0.305535 s]*
/proc/loadavg: 1.02 1.62 2.78 5/264 66361
/proc/meminfo: memFree=127036392/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=108024 memory=96556 CPUtime=0.3 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 14220 0 0 0 28 2 0 0 20 0 1 0 62540879 110616576 24139 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 27006 24139 2688 3139 0 23294 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108024 KiB
Current children cumulated memory: 96556 KiB
[startup+0.700187 s]
/proc/loadavg: 1.02 1.62 2.78 5/264 66361
/proc/meminfo: memFree=127016420/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=178864 memory=162192 CPUtime=0.69 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 19467 0 0 0 65 4 0 0 20 0 1 0 62540879 183156736 40548 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 44716 40548 2688 3139 0 41004 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 178864 KiB
Current children cumulated memory: 162192 KiB
[startup+1.50018 s]
/proc/loadavg: 1.02 1.62 2.78 5/264 66361
/proc/meminfo: memFree=126834444/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=242348 memory=222272 CPUtime=1.49 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 31934 0 0 0 142 7 0 0 20 0 1 0 62540879 248164352 55568 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 60587 55568 2688 3139 0 56875 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 242348 KiB
Current children cumulated memory: 222272 KiB
[startup+3.10543 s]
/proc/loadavg: 1.25 1.66 2.78 5/264 66361
/proc/meminfo: memFree=126810436/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=279644 memory=256072 CPUtime=3.08 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 33779 0 0 0 300 8 0 0 20 0 1 0 62540879 286355456 64018 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 69911 64018 2688 3139 0 66199 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 279644 KiB
Current children cumulated memory: 256072 KiB
[startup+6.30018 s]
/proc/loadavg: 1.25 1.66 2.78 5/264 66361
/proc/meminfo: memFree=126808400/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=284188 memory=265828 CPUtime=6.27 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 35359 0 0 0 618 9 0 0 20 0 1 0 62540879 291008512 66457 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 71047 66457 2720 3139 0 67335 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 284188 KiB
Current children cumulated memory: 265828 KiB
[startup+12.7002 s]
/proc/loadavg: 1.68 1.74 2.80 4/262 66375
/proc/meminfo: memFree=126986780/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=307164 memory=288880 CPUtime=12.65 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 36838 0 0 0 1255 10 0 0 20 0 1 0 62540879 314535936 72220 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 76791 72220 2720 3139 0 73079 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 307164 KiB
Current children cumulated memory: 288880 KiB
[startup+25.5002 s]
/proc/loadavg: 2.04 1.81 2.81 5/264 66406
/proc/meminfo: memFree=126967340/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=307164 memory=288880 CPUtime=25.41 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 36841 0 0 0 2531 10 0 0 20 0 1 0 62540879 314535936 72220 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 76791 72220 2720 3139 0 73079 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 307164 KiB
Current children cumulated memory: 288880 KiB
[startup+51.1053 s]
/proc/loadavg: 2.83 2.02 2.85 5/264 66767
/proc/meminfo: memFree=127037332/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=306504 memory=290140 CPUtime=50.92 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 39750 0 0 0 5079 13 0 0 20 0 1 0 62540879 313860096 72535 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 76626 72535 2720 3139 0 72914 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 306504 KiB
Current children cumulated memory: 290140 KiB
[startup+102.3 s]
/proc/loadavg: 3.59 2.37 2.93 5/263 66768
/proc/meminfo: memFree=126792012/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=317212 memory=301116 CPUtime=101.96 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 42673 0 0 0 10180 16 0 0 20 0 1 0 62540879 324825088 75279 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 79303 75279 2720 3139 0 75591 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 317212 KiB
Current children cumulated memory: 301116 KiB
[startup+162.3 s]
/proc/loadavg: 3.89 2.69 3.00 5/264 66774
/proc/meminfo: memFree=126782396/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=330088 memory=313848 CPUtime=161.78 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 47243 0 0 0 16157 21 0 0 20 0 1 0 62540879 338010112 78462 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 82522 78462 2720 3139 0 78810 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 330088 KiB
Current children cumulated memory: 313848 KiB
[startup+222.3 s]
/proc/loadavg: 3.99 2.94 3.07 5/264 66776
/proc/meminfo: memFree=126809896/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=330088 memory=313848 CPUtime=221.6 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 47252 0 0 0 22139 21 0 0 20 0 1 0 62540879 338010112 78462 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 82522 78462 2720 3139 0 78810 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 330088 KiB
Current children cumulated memory: 313848 KiB
[startup+282.3 s]
/proc/loadavg: 4.04 3.15 3.14 5/264 66780
/proc/meminfo: memFree=126743384/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=330088 memory=313976 CPUtime=281.41 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 47344 0 0 0 28120 21 0 0 20 0 1 0 62540879 338010112 78494 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 82522 78494 2720 3139 0 78810 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 330088 KiB
Current children cumulated memory: 313976 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 3.34 3.21 5/264 66783
/proc/meminfo: memFree=126512888/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=427400 memory=412792 CPUtime=341.23 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 71572 0 0 0 34098 25 0 0 20 0 1 0 62540879 437657600 103198 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 106850 103198 3296 3139 0 103138 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 427400 KiB
Current children cumulated memory: 412792 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 3.48 3.26 5/264 66785
/proc/meminfo: memFree=126335736/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=446800 memory=432376 CPUtime=401.02 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 76313 0 0 0 40076 26 0 0 20 0 1 0 62540879 457523200 108094 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 111700 108094 3296 3139 0 107988 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 446800 KiB
Current children cumulated memory: 432376 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 3.61 3.32 5/264 66787
/proc/meminfo: memFree=126282916/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=467172 memory=453752 CPUtime=460.84 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 81467 0 0 0 46057 27 0 0 20 0 1 0 62540879 478384128 113438 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 116793 113438 3296 3139 0 113081 0
################
# More data... #
################
Current children cumulated memory: 463028 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/265 66902
/proc/meminfo: memFree=126237040/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=476060 memory=463028 CPUtime=2853.11 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 115304 0 0 0 285256 55 0 0 20 0 1 0 62540879 487485440 115757 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 119015 115757 3360 3139 0 115303 0
Current children cumulated CPU time: 2853.11 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 463028 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/264 66915
/proc/meminfo: memFree=126156084/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=567396 memory=554340 CPUtime=2912.92 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 115968 0 0 0 291232 60 0 0 20 0 1 0 62540879 581013504 138585 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 141849 138585 3360 3139 0 138137 0
Current children cumulated CPU time: 2912.92 s
Current children cumulated vsize: 567396 KiB
Current children cumulated memory: 554340 KiB
[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/264 66917
/proc/meminfo: memFree=126098792/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=598300 memory=585268 CPUtime=2972.73 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 117419 0 0 0 297208 65 0 0 20 0 1 0 62540879 612659200 146317 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 149575 146317 3360 3139 0 145863 0
Current children cumulated CPU time: 2972.73 s
Current children cumulated vsize: 598300 KiB
Current children cumulated memory: 585268 KiB
[startup+3042.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/264 66919
/proc/meminfo: memFree=126234668/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=476060 memory=463028 CPUtime=3032.53 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 118545 0 0 0 303183 70 0 0 20 0 1 0 62540879 487485440 115757 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 119015 115757 3360 3139 0 115303 0
Current children cumulated CPU time: 3032.53 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 463028 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 66921
/proc/meminfo: memFree=126121020/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=581300 memory=568268 CPUtime=3092.34 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 119933 0 0 0 309160 74 0 0 20 0 1 0 62540879 595251200 142067 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 145325 142067 3360 3139 0 141613 0
Current children cumulated CPU time: 3092.34 s
Current children cumulated vsize: 581300 KiB
Current children cumulated memory: 568268 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/263 66928
/proc/meminfo: memFree=126051248/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=648588 memory=635556 CPUtime=3152.15 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 120867 0 0 0 315136 79 0 0 20 0 1 0 62540879 664154112 158889 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 162147 158889 3360 3139 0 158435 0
Current children cumulated CPU time: 3152.15 s
Current children cumulated vsize: 648588 KiB
Current children cumulated memory: 635556 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/263 67425
/proc/meminfo: memFree=126893644/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=476060 memory=463028 CPUtime=3211.96 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 121703 0 0 0 321114 82 0 0 20 0 1 0 62540879 487485440 115757 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 119015 115757 3360 3139 0 115303 0
Current children cumulated CPU time: 3211.96 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 463028 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/263 67429
/proc/meminfo: memFree=126818876/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=476060 memory=463028 CPUtime=3271.76 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 122577 0 0 0 327093 83 0 0 20 0 1 0 62540879 487485440 115757 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 119015 115757 3360 3139 0 115303 0
Current children cumulated CPU time: 3271.76 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 463028 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.10 4.06 5/263 67431
/proc/meminfo: memFree=126706636/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=476060 memory=463028 CPUtime=3331.58 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 122732 0 0 0 333075 83 0 0 20 0 1 0 62540879 487485440 115757 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 119015 115757 3360 3139 0 115303 0
Current children cumulated CPU time: 3331.58 s
Current children cumulated vsize: 476060 KiB
Current children cumulated memory: 463028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.35 4.19 4.09 5/264 67434
/proc/meminfo: memFree=126630472/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=513924 memory=500772 CPUtime=3391.4 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 123511 0 0 0 339056 84 0 0 20 0 1 0 62540879 526258176 125193 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 128481 125193 3360 3139 0 124769 0
Current children cumulated CPU time: 3391.4 s
Current children cumulated vsize: 513924 KiB
Current children cumulated memory: 500772 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/264 67436
/proc/meminfo: memFree=126657828/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=540416 memory=527360 CPUtime=3451.2 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 124391 0 0 0 345035 85 0 0 20 0 1 0 62540879 553385984 131840 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 135104 131840 3360 3139 0 131392 0
Current children cumulated CPU time: 3451.2 s
Current children cumulated vsize: 540416 KiB
Current children cumulated memory: 527360 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.17 4.09 5/264 67438
/proc/meminfo: memFree=126500628/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=613776 memory=600720 CPUtime=3511.02 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 125147 0 0 0 351014 88 0 0 20 0 1 0 62540879 628506624 150180 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 153444 150180 3360 3139 0 149732 0
Current children cumulated CPU time: 3511.02 s
Current children cumulated vsize: 613776 KiB
Current children cumulated memory: 600720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/265 67441
/proc/meminfo: memFree=126559148/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=514948 memory=501796 CPUtime=3570.84 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 125776 0 0 0 356994 90 0 0 20 0 1 0 62540879 527306752 125449 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 128737 125449 3360 3139 0 125025 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 514948 KiB
Current children cumulated memory: 501796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.6 s]
/proc/loadavg: 4.16 4.15 4.09 5/265 67532
/proc/meminfo: memFree=126162448/131250000 swapFree=33010684/33010684
[pid=66360] ppid=66357 vsize=514948 memory=501796 CPUtime=3600.03 cores=0,2
/proc/66360/stat : 66360 (uwrmaxsat-scip) R 66357 66360 66246 0 -1 4194304 125788 0 0 0 359913 90 0 0 20 0 1 0 62540879 527306752 125449 18446744073709551615 4198400 17051741 140727256382064 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 45395968 140727256389946 140727256390116 140727256390116 140727256395718 0
/proc/66360/statm: 128737 125449 3360 3139 0 125025 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 514948 KiB
Current children cumulated memory: 501796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.6 s]
# the end of solver process 66360 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.13 s, system=0.911072 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.6
CPU time (s): 3600.04
CPU user time (s): 3599.13
CPU system time (s): 0.911072
CPU usage (%): 99.6799
Max. virtual memory (cumulated for all children) (KiB): 808648
Max. memory (cumulated for all children) (KiB): 795576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.13
system time used= 0.911072
maximum resident set size= 795576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125788
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= 71
involuntary context switches= 5100
# summary of solver processes directly reported to runsolver:
# pid: 66360
# total CPU time (s): 3600.04
# total CPU user time (s): 3599.13
# total CPU system time (s): 0.911072
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90981 second user time and 15.4117 second system time
The end
Begin job on nodeC028 at 2025-07-02 17:13:04
IDJOB=4499320
IDBENCH=148775
IDSOLVER=3373
FILE ID=nodeC028/4499320-1751469184
RUNJOBID= nodeC028-1751469175-66256
SLURM_JOB_ID= 9598490
Free space on /tmp= 431448 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx75.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-4499320-1751469184/watcher-4499320-1751469184 -o /tmp/evaluation-result-4499320-1751469184/solver-4499320-1751469184 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66256 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499320-1751469184.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a11c5c9a015f48f3bddc22713bc48593
RANDOM SEED=2007981521
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.831
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 : 3600.088
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.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 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 : 3602.551
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.221
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 : 3600.078
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 : 3599.694
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 : 3700.000
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: 127107140 kB
MemAvailable: 128888376 kB
Buffers: 3280 kB
Cached: 2584284 kB
SwapCached: 0 kB
Active: 1257784 kB
Inactive: 2275032 kB
Active(anon): 963324 kB
Inactive(anon): 0 kB
Active(file): 294460 kB
Inactive(file): 2275032 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 68292 kB
Writeback: 32 kB
AnonPages: 948360 kB
Mapped: 136588 kB
Shmem: 18068 kB
KReclaimable: 101968 kB
Slab: 190508 kB
SReclaimable: 101968 kB
SUnreclaim: 88540 kB
KernelStack: 4224 kB
PageTables: 4864 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1364368 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 348160 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= 431428 MiB
End job on nodeC028 at 2025-07-02 18:13:15