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 8576 PB-constraints to clauses...
0.00/0.07 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.09/0.14 c ============================[ Encoding Statistics ]============================
0.09/0.14 c | Number of variables: 14881 |
0.09/0.14 c | Number of clauses: 60568 |
0.09/0.14 c ===============================================================================
300.22/301.16 c Starting SCIP solver (with time-limit: 900s) ...
1197.88/1201.18 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.04/3610.00 c *** TERMINATED by signal 15 ***
3600.04/3610.00 c _______________________________________________________________________________
3600.04/3610.00 c
3600.04/3610.00 c _______________________________________________________________________________
3600.04/3610.00 c
3600.04/3610.00 c =======================[ UWrMaxSat resources usage ]===========================
3600.04/3610.00 c Memory used : 350.00 MB
3600.04/3610.00 c CPU time : 3599.07 s
3600.04/3610.00 c Constr Enc: Srt/BDD/Add: 770 0 0
3600.04/3610.00 c _______________________________________________________________________________
3600.04/3610.00 c _______________________________________________________________________________
3600.04/3610.00 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: 63665 MiB (62574 MiB free)
memory of node 1: 64507 MiB (63812 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513239-1751203237/watcher-4513239-1751203237 -o /tmp/evaluation-result-4513239-1751203237/solver-4513239-1751203237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513239-1751203237.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=27630, runsolver pid=27627
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129400408/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=46212 memory=36220 CPUtime=0.09 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 6747 0 0 0 9 0 0 0 20 0 1 0 36003988 47321088 9055 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 11553 9055 2688 3139 0 7841 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46212 KiB
Current children cumulated memory: 36220 KiB
[startup+0.205525 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129392344/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=56732 memory=45220 CPUtime=0.2 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 9692 0 0 0 19 1 0 0 20 0 1 0 36003988 58093568 11305 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 14183 11305 2688 3139 0 10471 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56732 KiB
Current children cumulated memory: 45220 KiB
[startup+0.305481 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129390580/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=59572 memory=48036 CPUtime=0.3 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 10404 0 0 0 29 1 0 0 20 0 1 0 36003988 61001728 12009 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 14893 12009 2688 3139 0 11181 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 59572 KiB
Current children cumulated memory: 48036 KiB
[startup+0.700169 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129388564/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=63548 memory=52084 CPUtime=0.69 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 12468 0 0 0 67 2 0 0 20 0 1 0 36003988 65073152 13021 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 15887 13021 2720 3139 0 12175 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63548 KiB
Current children cumulated memory: 52084 KiB
[startup+1.50016 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129384784/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=63516 memory=52240 CPUtime=1.49 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 13177 0 0 0 147 2 0 0 20 0 1 0 36003988 65040384 13060 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 15879 13060 2720 3139 0 12167 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 52240 KiB
[startup+3.10513 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129384784/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=63516 memory=52244 CPUtime=3.09 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 13484 0 0 0 307 2 0 0 20 0 1 0 36003988 65040384 13061 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 15879 13061 2720 3139 0 12167 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 52244 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129381264/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=76496 memory=65196 CPUtime=6.27 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 16489 0 0 0 625 2 0 0 20 0 1 0 36003988 78331904 16299 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 19124 16299 2720 3139 0 15412 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 76496 KiB
Current children cumulated memory: 65196 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 27631
/proc/meminfo: memFree=129350892/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=77220 memory=65920 CPUtime=12.65 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 18001 0 0 0 1262 3 0 0 20 0 1 0 36003988 79073280 16480 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 19305 16480 2720 3139 0 15593 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77220 KiB
Current children cumulated memory: 65920 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 27632
/proc/meminfo: memFree=129363228/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=88436 memory=77100 CPUtime=25.41 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 20566 0 0 0 2536 5 0 0 20 0 1 0 36003988 90558464 19275 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 22109 19275 2720 3139 0 18397 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 88436 KiB
Current children cumulated memory: 77100 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 27632
/proc/meminfo: memFree=129347084/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=78280 memory=66988 CPUtime=50.94 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 22973 0 0 0 5089 5 0 0 20 0 1 0 36003988 80158720 16747 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 19570 16747 2720 3139 0 15858 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 78280 KiB
Current children cumulated memory: 66988 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 27634
/proc/meminfo: memFree=129252520/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=122216 memory=110900 CPUtime=101.98 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 26632 0 0 0 10191 7 0 0 20 0 1 0 36003988 125149184 27725 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 30554 27725 2720 3139 0 26842 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 122216 KiB
Current children cumulated memory: 110900 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 27636
/proc/meminfo: memFree=129150932/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=105644 memory=94520 CPUtime=161.8 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 28171 0 0 0 16171 9 0 0 20 0 1 0 36003988 108179456 23630 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 26411 23630 2720 3139 0 22699 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 105644 KiB
Current children cumulated memory: 94520 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 27638
/proc/meminfo: memFree=129073424/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=105644 memory=94520 CPUtime=221.63 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 28187 0 0 0 22153 10 0 0 20 0 1 0 36003988 108179456 23630 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 26411 23630 2720 3139 0 22699 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 105644 KiB
Current children cumulated memory: 94520 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 27643
/proc/meminfo: memFree=129014848/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=144672 memory=133756 CPUtime=281.46 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 28933 0 0 0 28135 11 0 0 20 0 1 0 36003988 148144128 33439 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 36168 33439 2720 3139 0 32456 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 144672 KiB
Current children cumulated memory: 133756 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 27645
/proc/meminfo: memFree=128997912/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=212080 memory=202108 CPUtime=341.3 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 41210 0 0 0 34115 15 0 0 20 0 1 0 36003988 217169920 50527 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 53020 50527 3296 3139 0 49308 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 212080 KiB
Current children cumulated memory: 202108 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 27649
/proc/meminfo: memFree=128923264/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=212080 memory=202108 CPUtime=401.15 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 41210 0 0 0 40099 16 0 0 20 0 1 0 36003988 217169920 50527 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 53020 50527 3296 3139 0 49308 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 212080 KiB
Current children cumulated memory: 202108 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 27696
/proc/meminfo: memFree=129145288/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=212080 memory=202620 CPUtime=460.98 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 41220 0 0 0 46082 16 0 0 20 0 1 0 36003988 217169920 50655 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 53020 50655 3296 3139 0 49308 0
################
# More data... #
################
Current children cumulated memory: 184516 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 27864
/proc/meminfo: memFree=128961784/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=193628 memory=185668 CPUtime=2854.29 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 76267 0 0 0 285359 70 0 0 20 0 1 0 36003988 198275072 46417 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 48407 46417 3296 3139 0 44695 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 193628 KiB
Current children cumulated memory: 185668 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 27866
/proc/meminfo: memFree=128962648/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=194676 memory=186692 CPUtime=2914.13 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 76529 0 0 0 291343 70 0 0 20 0 1 0 36003988 199348224 46673 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 48669 46673 3296 3139 0 44957 0
Current children cumulated CPU time: 2914.13 s
Current children cumulated vsize: 194676 KiB
Current children cumulated memory: 186692 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 27870
/proc/meminfo: memFree=128955708/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=196068 memory=188100 CPUtime=2973.98 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 76877 0 0 0 297328 70 0 0 20 0 1 0 36003988 200773632 47025 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49017 47025 3296 3139 0 45305 0
Current children cumulated CPU time: 2973.98 s
Current children cumulated vsize: 196068 KiB
Current children cumulated memory: 188100 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/262 27873
/proc/meminfo: memFree=128955864/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=196068 memory=188100 CPUtime=3033.82 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 76878 0 0 0 303312 70 0 0 20 0 1 0 36003988 200773632 47025 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49017 47025 3296 3139 0 45305 0
Current children cumulated CPU time: 3033.82 s
Current children cumulated vsize: 196068 KiB
Current children cumulated memory: 188100 KiB
[startup+3102.3 s]
/proc/loadavg: 4.35 4.17 4.12 5/262 27875
/proc/meminfo: memFree=128852788/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=196948 memory=188996 CPUtime=3093.66 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 77103 0 0 0 309296 70 0 0 20 0 1 0 36003988 201674752 47249 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49237 47249 3296 3139 0 45525 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 196948 KiB
Current children cumulated memory: 188996 KiB
[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/262 27877
/proc/meminfo: memFree=128864280/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=198428 memory=190532 CPUtime=3153.5 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 77553 0 0 0 315280 70 0 0 20 0 1 0 36003988 203190272 47633 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49607 47633 3296 3139 0 45895 0
Current children cumulated CPU time: 3153.5 s
Current children cumulated vsize: 198428 KiB
Current children cumulated memory: 190532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/262 27879
/proc/meminfo: memFree=128855376/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=199368 memory=191428 CPUtime=3213.35 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 77789 0 0 0 321265 70 0 0 20 0 1 0 36003988 204152832 47857 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49842 47857 3296 3139 0 46130 0
Current children cumulated CPU time: 3213.35 s
Current children cumulated vsize: 199368 KiB
Current children cumulated memory: 191428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/262 27881
/proc/meminfo: memFree=128784384/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=199368 memory=191428 CPUtime=3273.2 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 77790 0 0 0 327250 70 0 0 20 0 1 0 36003988 204152832 47857 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 49842 47857 3296 3139 0 46130 0
Current children cumulated CPU time: 3273.2 s
Current children cumulated vsize: 199368 KiB
Current children cumulated memory: 191428 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 27886
/proc/meminfo: memFree=128765448/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=200552 memory=192580 CPUtime=3333.04 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 78086 0 0 0 333234 70 0 0 20 0 1 0 36003988 205365248 48145 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 50138 48145 3296 3139 0 46426 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 200552 KiB
Current children cumulated memory: 192580 KiB
[startup+3402.3 s]
/proc/loadavg: 3.77 4.05 4.07 4/257 27918
/proc/meminfo: memFree=128986168/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=271332 memory=263448 CPUtime=3392.89 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 79741 0 0 0 339213 76 0 0 20 0 1 0 36003988 277843968 65862 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 67833 65862 3296 3139 0 64121 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 271332 KiB
Current children cumulated memory: 263448 KiB
[startup+3462.3 s]
/proc/loadavg: 3.32 3.87 4.01 4/257 27922
/proc/meminfo: memFree=128945688/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=277520 memory=269636 CPUtime=3452.73 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 81542 0 0 0 345192 81 0 0 20 0 1 0 36003988 284180480 67409 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 69380 67409 3296 3139 0 65668 0
Current children cumulated CPU time: 3452.73 s
Current children cumulated vsize: 277520 KiB
Current children cumulated memory: 269636 KiB
[startup+3522.3 s]
/proc/loadavg: 2.77 3.63 3.92 3/251 27954
/proc/meminfo: memFree=129323176/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=278692 memory=270808 CPUtime=3512.56 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 83712 0 0 0 351167 89 0 0 20 0 1 0 36003988 285380608 67702 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 69673 67702 3296 3139 0 65961 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 278692 KiB
Current children cumulated memory: 270808 KiB
[startup+3582.3 s]
/proc/loadavg: 2.33 3.34 3.80 3/251 27958
/proc/meminfo: memFree=129334252/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=269424 memory=261540 CPUtime=3572.42 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 85473 0 0 0 357147 95 0 0 20 0 1 0 36003988 275890176 65385 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 67356 65385 3296 3139 0 63644 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 269424 KiB
Current children cumulated memory: 261540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.26 3.23 3.75 3/251 27960
/proc/meminfo: memFree=129319396/131250000 swapFree=33010684/33010684
[pid=27630] ppid=27627 vsize=276536 memory=268652 CPUtime=3600.04 cores=4,6
/proc/27630/stat : 27630 (uwrmaxsat-scip) R 27627 27630 25867 0 -1 4194304 86793 0 0 0 359906 98 0 0 20 0 1 0 36003988 283172864 67163 18446744073709551615 4198400 17051741 140730496843248 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 25178112 140730496846138 140730496846308 140730496846308 140730496851910 0
/proc/27630/statm: 69134 67163 3296 3139 0 65422 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 276536 KiB
Current children cumulated memory: 268652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.01 s]
# the end of solver process 27630 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.07 s, system=0.985665 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.01
CPU time (s): 3600.05
CPU user time (s): 3599.07
CPU system time (s): 0.985665
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 358932
Max. memory (cumulated for all children) (KiB): 349092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 0.985665
maximum resident set size= 351016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86793
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= 29
involuntary context switches= 1797
# summary of solver processes directly reported to runsolver:
# pid: 27630
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.07
# total CPU system time (s): 0.985665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.3429 second user time and 15.033 second system time
The end
Begin job on nodeC013 at 2025-06-29 15:20:37
IDJOB=4513239
IDBENCH=162295
IDSOLVER=3373
FILE ID=nodeC013/4513239-1751203237
RUNJOBID= nodeC013-1751194426-25878
SLURM_JOB_ID= 9587597
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round22-2.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-4513239-1751203237/watcher-4513239-1751203237 -o /tmp/evaluation-result-4513239-1751203237/solver-4513239-1751203237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25878 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4513239-1751203237.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4ab683db7c9e99efe1269a989c150a4d
RANDOM SEED=1834937528
nodeC013 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 : 3599.354
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 : 6999.67
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.563
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 : 6999.67
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 : 3611.554
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 : 6999.67
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 : 3599.222
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 : 6999.67
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 : 3599.824
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 : 6999.67
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 : 3599.827
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 : 6999.67
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 : 3552.771
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 : 6999.67
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 : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129420568 kB
MemAvailable: 129339508 kB
Buffers: 3280 kB
Cached: 722580 kB
SwapCached: 0 kB
Active: 702224 kB
Inactive: 513756 kB
Active(anon): 503404 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 513756 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16960 kB
Writeback: 4 kB
AnonPages: 493192 kB
Mapped: 133608 kB
Shmem: 13284 kB
KReclaimable: 90808 kB
Slab: 176768 kB
SReclaimable: 90808 kB
SUnreclaim: 85960 kB
KernelStack: 4256 kB
PageTables: 3968 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 828816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 321536 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-29 16:20:48