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.01 c Converting 1023 PB-constraints to clauses...
0.00/0.01 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
300.12/301.08 c Starting SCIP solver (with time-limit: 900s) ...
1197.03/1201.08 c SCIP timeout with lower and upper bounds: [3, 9223372036854775807]
3600.07/3610.70 c *** TERMINATED by signal 15 ***
3600.07/3610.70 c _______________________________________________________________________________
3600.07/3610.70 c
3600.07/3610.70 c _______________________________________________________________________________
3600.07/3610.70 c
3600.07/3610.70 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3610.70 c Memory used : 265.00 MB
3600.07/3610.70 c CPU time : 3599.81 s
3600.07/3610.70 c Constr Enc: Srt/BDD/Add: 222 0 0
3600.07/3610.70 c _______________________________________________________________________________
3600.07/3610.70 c _______________________________________________________________________________
3600.07/3610.70 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 (61239 MiB free)
memory of node 1: 64465 MiB (62742 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499366-1751469196/watcher-4499366-1751469196 -o /tmp/evaluation-result-4499366-1751469196/solver-4499366-1751469196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66258 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499366-1751469196.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=66405, runsolver pid=66402
[startup+0.100036 s]*
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126950092/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=44884 memory=33740 CPUtime=0.1 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 7278 0 0 0 9 1 0 0 20 0 1 0 62542149 45961216 8435 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 11221 8435 2688 3139 0 7509 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44884 KiB
Current children cumulated memory: 33740 KiB
[startup+0.2056 s]*
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126950092/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=46780 memory=35020 CPUtime=0.2 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 7608 0 0 0 19 1 0 0 20 0 1 0 62542149 47902720 8755 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 11695 8755 2688 3139 0 7983 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46780 KiB
Current children cumulated memory: 35020 KiB
[startup+0.30557 s]*
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126946312/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=50068 memory=38348 CPUtime=0.3 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 8432 0 0 0 29 1 0 0 20 0 1 0 62542149 51269632 9587 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 12517 9587 2688 3139 0 8805 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50068 KiB
Current children cumulated memory: 38348 KiB
[startup+0.700167 s]
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126942280/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=52848 memory=40596 CPUtime=0.69 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 11118 0 0 0 67 2 0 0 20 0 1 0 62542149 54116352 10149 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 13212 10149 2688 3139 0 9500 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52848 KiB
Current children cumulated memory: 40596 KiB
[startup+1.50017 s]
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126944612/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=56372 memory=45368 CPUtime=1.49 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 12504 0 0 0 147 2 0 0 20 0 1 0 62542149 57724928 11342 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 14093 11342 2688 3139 0 10381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 56372 KiB
Current children cumulated memory: 45368 KiB
[startup+3.10544 s]
/proc/loadavg: 1.68 1.74 2.80 5/264 66406
/proc/meminfo: memFree=126975672/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=51044 memory=40188 CPUtime=3.09 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 13057 0 0 0 307 2 0 0 20 0 1 0 62542149 52269056 10047 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 12761 10047 2688 3139 0 9049 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 51044 KiB
Current children cumulated memory: 40188 KiB
[startup+6.30016 s]
/proc/loadavg: 1.86 1.78 2.80 5/264 66406
/proc/meminfo: memFree=126967404/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=52384 memory=41548 CPUtime=6.27 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 15123 0 0 0 624 3 0 0 20 0 1 0 62542149 53641216 10387 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 13096 10387 2688 3139 0 9384 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52384 KiB
Current children cumulated memory: 41548 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 1.81 2.81 5/264 66406
/proc/meminfo: memFree=126967340/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=59772 memory=48768 CPUtime=12.65 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 17063 0 0 0 1262 3 0 0 20 0 1 0 62542149 61206528 12192 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 14943 12192 2688 3139 0 11231 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59772 KiB
Current children cumulated memory: 48768 KiB
[startup+25.5002 s]
/proc/loadavg: 2.61 1.95 2.84 5/264 66586
/proc/meminfo: memFree=127349084/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=59764 memory=48828 CPUtime=25.41 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 21558 0 0 0 2537 4 0 0 20 0 1 0 62542149 61198336 12207 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 14941 12207 2688 3139 0 11229 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 59764 KiB
Current children cumulated memory: 48828 KiB
[startup+51.1054 s]
/proc/loadavg: 3.09 2.12 2.87 5/264 66767
/proc/meminfo: memFree=126800236/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=71480 memory=60476 CPUtime=50.93 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 23993 0 0 0 5089 4 0 0 20 0 1 0 62542149 73195520 15119 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 17870 15119 2688 3139 0 14158 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 71480 KiB
Current children cumulated memory: 60476 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.43 2.94 5/264 66774
/proc/meminfo: memFree=126817848/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=80288 memory=69204 CPUtime=101.97 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 31268 0 0 0 10191 6 0 0 20 0 1 0 62542149 82214912 17301 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 20072 17301 2688 3139 0 16360 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 80288 KiB
Current children cumulated memory: 69204 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 2.75 3.02 5/264 66776
/proc/meminfo: memFree=126805784/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=88676 memory=77776 CPUtime=161.81 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 31734 0 0 0 16174 7 0 0 20 0 1 0 62542149 90804224 19444 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 22169 19444 2688 3139 0 18457 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 88676 KiB
Current children cumulated memory: 77776 KiB
[startup+222.3 s]
/proc/loadavg: 4.00 2.98 3.08 5/264 66780
/proc/meminfo: memFree=126773588/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=100416 memory=89300 CPUtime=221.64 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 33133 0 0 0 22157 7 0 0 20 0 1 0 62542149 102825984 22325 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 25104 22325 2688 3139 0 21392 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 100416 KiB
Current children cumulated memory: 89300 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.20 3.15 5/264 66782
/proc/meminfo: memFree=126717888/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=105144 memory=94356 CPUtime=281.47 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 33906 0 0 0 28140 7 0 0 20 0 1 0 62542149 107667456 23589 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 27682 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 26286 23589 2688 3139 0 22574 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 105144 KiB
Current children cumulated memory: 94356 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.36 3.21 5/264 66785
/proc/meminfo: memFree=126465368/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=172152 memory=160920 CPUtime=341.27 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 49445 0 0 0 34117 10 0 0 20 0 1 0 62542149 176283648 40230 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 43038 40230 3296 3139 0 39326 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 172152 KiB
Current children cumulated memory: 160920 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.50 3.27 5/264 66787
/proc/meminfo: memFree=126318984/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=175564 memory=165400 CPUtime=401.06 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 50593 0 0 0 40096 10 0 0 20 0 1 0 62542149 179777536 41350 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 43891 41350 3296 3139 0 40179 0
Current children cumulated CPU time: 401.06 s
Current children cumulated vsize: 175564 KiB
Current children cumulated memory: 165400 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.62 3.33 5/264 66789
/proc/meminfo: memFree=126267144/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=182276 memory=171160 CPUtime=460.84 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 52015 0 0 0 46074 10 0 0 20 0 1 0 62542149 186650624 42790 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 45569 42790 3296 3139 0 41857 0
Current children cumulated CPU time: 460.84 s
################
# More data... #
################
Current children cumulated memory: 186572 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/264 66917
/proc/meminfo: memFree=126156140/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=194140 memory=186572 CPUtime=2913.58 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 72655 0 0 0 291338 20 0 0 20 0 1 0 62542149 198799360 46643 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48535 46643 3328 3139 0 44823 0
Current children cumulated CPU time: 2913.58 s
Current children cumulated vsize: 194140 KiB
Current children cumulated memory: 186572 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/264 66919
/proc/meminfo: memFree=126107176/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=223908 memory=216380 CPUtime=2973.42 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 73470 0 0 0 297321 21 0 0 20 0 1 0 62542149 229281792 54095 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 55977 54095 3328 3139 0 52265 0
Current children cumulated CPU time: 2973.42 s
Current children cumulated vsize: 223908 KiB
Current children cumulated memory: 216380 KiB
[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/264 66921
/proc/meminfo: memFree=126233968/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=194140 memory=186620 CPUtime=3033.25 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 73471 0 0 0 303304 21 0 0 20 0 1 0 62542149 198799360 46655 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48535 46655 3328 3139 0 44823 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 194140 KiB
Current children cumulated memory: 186620 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/265 66928
/proc/meminfo: memFree=126093476/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=224972 memory=217572 CPUtime=3093.08 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 74027 0 0 0 309287 21 0 0 20 0 1 0 62542149 230371328 54393 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 56243 54393 3328 3139 0 52531 0
Current children cumulated CPU time: 3093.08 s
Current children cumulated vsize: 224972 KiB
Current children cumulated memory: 217572 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/263 66930
/proc/meminfo: memFree=126064420/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187484 CPUtime=3152.91 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 74134 0 0 0 315270 21 0 0 20 0 1 0 62542149 199733248 46871 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46871 3328 3139 0 45051 0
Current children cumulated CPU time: 3152.91 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.06 5/263 67426
/proc/meminfo: memFree=126875496/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187484 CPUtime=3212.75 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 74150 0 0 0 321254 21 0 0 20 0 1 0 62542149 199733248 46871 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46871 3328 3139 0 45051 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187484 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/263 67429
/proc/meminfo: memFree=126822860/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=225968 memory=218480 CPUtime=3272.58 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 75179 0 0 0 327236 22 0 0 20 0 1 0 62542149 231391232 54620 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 56492 54620 3328 3139 0 52780 0
Current children cumulated CPU time: 3272.58 s
Current children cumulated vsize: 225968 KiB
Current children cumulated memory: 218480 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.15 4.08 5/263 67431
/proc/meminfo: memFree=126740532/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187572 CPUtime=3332.41 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 75849 0 0 0 333218 23 0 0 20 0 1 0 62542149 199733248 46893 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46893 3328 3139 0 45051 0
Current children cumulated CPU time: 3332.41 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187572 KiB
[startup+3402.3 s]
/proc/loadavg: 4.27 4.18 4.09 5/264 67434
/proc/meminfo: memFree=126633316/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187572 CPUtime=3392.24 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 76603 0 0 0 339201 23 0 0 20 0 1 0 62542149 199733248 46893 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46893 3328 3139 0 45051 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187572 KiB
[startup+3462.3 s]
/proc/loadavg: 4.22 4.18 4.09 5/264 67436
/proc/meminfo: memFree=126711868/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=227024 memory=219536 CPUtime=3452.08 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 77788 0 0 0 345183 25 0 0 20 0 1 0 62542149 232472576 54884 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 56756 54884 3328 3139 0 53044 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 227024 KiB
Current children cumulated memory: 219536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/265 67439
/proc/meminfo: memFree=126635452/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187572 CPUtime=3511.91 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 78162 0 0 0 351166 25 0 0 20 0 1 0 62542149 199733248 46893 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46893 3328 3139 0 45051 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187572 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/265 67441
/proc/meminfo: memFree=126555620/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=195052 memory=187572 CPUtime=3571.75 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 78621 0 0 0 357149 26 0 0 20 0 1 0 62542149 199733248 46893 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 48763 46893 3328 3139 0 45051 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 195052 KiB
Current children cumulated memory: 187572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.19 4.16 4.10 5/265 67577
/proc/meminfo: memFree=126282104/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=227552 memory=220064 CPUtime=3600.07 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 79081 0 0 0 359980 27 0 0 20 0 1 0 62542149 233013248 55016 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 56888 55016 3328 3139 0 53176 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 227552 KiB
Current children cumulated memory: 220064 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.7 s]
# the end of solver process 66405 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.81 s, system=0.271183 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.19 4.16 4.10 5/265 67577
/proc/meminfo: memFree=126282104/131250000 swapFree=33010684/33010684
[pid=66405] ppid=66402 vsize=227552 memory=220064 CPUtime=3600.07 cores=1,3
/proc/66405/stat : 66405 (uwrmaxsat-scip) R 66402 66405 66246 0 -1 4194304 79081 0 0 0 359980 27 0 0 20 0 1 0 62542149 233013248 55016 18446744073709551615 4198400 17051741 140722657389792 0 0 0 0 0 8416290 0 0 0 17 1 0 0 0 0 0 19288744 19393640 32456704 140722657397050 140722657397220 140722657397220 140722657402822 0
/proc/66405/statm: 56888 55016 3328 3139 0 53176 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 227552 KiB
Current children cumulated memory: 220064 KiB
Child status: 0
Real time (s): 3610.7
CPU time (s): 3600.08
CPU user time (s): 3599.81
CPU system time (s): 0.271183
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 272128
Max. memory (cumulated for all children) (KiB): 264700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.271183
maximum resident set size= 264700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79081
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= 49
involuntary context switches= 5156
# summary of solver processes directly reported to runsolver:
# pid: 66405
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.81
# total CPU system time (s): 0.271183
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75016 second user time and 15.8803 second system time
The end
Begin job on nodeC028 at 2025-07-02 17:13:16
IDJOB=4499366
IDBENCH=148776
IDSOLVER=3373
FILE ID=nodeC028/4499366-1751469196
RUNJOBID= nodeC028-1751469175-66258
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-fx30.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-4499366-1751469196/watcher-4499366-1751469196 -o /tmp/evaluation-result-4499366-1751469196/solver-4499366-1751469196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751469175-66258 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4499366-1751469196.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 91ecd4a7d2e975c8e8a35b07ef7013ef
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.166
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 : 3599.417
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 : 3574.055
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.055
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.081
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.009
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 : 3597.384
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.520
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: 126957600 kB
MemAvailable: 128738576 kB
Buffers: 3280 kB
Cached: 2584004 kB
SwapCached: 0 kB
Active: 1364948 kB
Inactive: 2274756 kB
Active(anon): 1070488 kB
Inactive(anon): 0 kB
Active(file): 294460 kB
Inactive(file): 2274756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67988 kB
Writeback: 0 kB
AnonPages: 1055536 kB
Mapped: 136660 kB
Shmem: 18068 kB
KReclaimable: 102000 kB
Slab: 190528 kB
SReclaimable: 102000 kB
SUnreclaim: 88528 kB
KernelStack: 4256 kB
PageTables: 5116 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1465224 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 432128 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:27