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...
9.66/9.70 c Converting 106882 PB-constraints to clauses...
11.55/11.61 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
33.10/33.27 c ============================[ Encoding Statistics ]============================
33.10/33.27 c | Number of variables: 3159724 |
33.10/33.27 c | Number of clauses: 11261573 |
33.10/33.27 c ===============================================================================
337.72/338.70 c Starting SCIP solver (with time-limit: 900s) ...
1234.97/1239.15 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.02/3612.20 c *** TERMINATED by signal 15 ***
3600.02/3612.20 c _______________________________________________________________________________
3600.02/3612.20 c
3600.02/3612.20 c _______________________________________________________________________________
3600.02/3612.20 c
3600.02/3612.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3612.20 c Memory used : 13239.00 MB
3600.02/3612.20 c CPU time : 3588.64 s
3600.02/3612.20 c Constr Enc: Srt/BDD/Add: 52877 0 0
3600.02/3612.20 c _______________________________________________________________________________
3600.02/3612.20 c _______________________________________________________________________________
3600.02/3612.20 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: 63794 MiB (34402 MiB free)
memory of node 1: 64507 MiB (27624 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542557-1753217861/watcher-4542557-1753217861 -o /tmp/evaluation-result-4542557-1753217861/solver-4542557-1753217861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542557-1753217861.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=183334, runsolver pid=183331
[startup+0.100064 s]*
/proc/loadavg: 4.09 4.10 4.12 5/251 183335
/proc/meminfo: memFree=63501944/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=33984 memory=17644 CPUtime=0.09 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 3799 0 0 0 9 0 0 0 20 0 1 0 237465978 34799616 4411 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 8496 4411 1120 3139 0 4784 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33984 KiB
Current children cumulated memory: 17644 KiB
[startup+0.207664 s]*
/proc/loadavg: 4.16 4.12 4.12 5/251 183335
/proc/meminfo: memFree=63498164/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=38644 memory=22380 CPUtime=0.2 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 4982 0 0 0 19 1 0 0 20 0 1 0 237465978 39571456 5595 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 9661 5595 1120 3139 0 5949 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38644 KiB
Current children cumulated memory: 22380 KiB
[startup+0.308328 s]*
/proc/loadavg: 4.16 4.12 4.12 5/251 183335
/proc/meminfo: memFree=63488336/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=47520 memory=30616 CPUtime=0.3 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 6919 0 0 0 29 1 0 0 20 0 1 0 237465978 48660480 7654 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 11880 7654 1120 3139 0 8168 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47520 KiB
Current children cumulated memory: 30616 KiB
[startup+0.700247 s]
/proc/loadavg: 4.16 4.12 4.12 5/251 183335
/proc/meminfo: memFree=63474224/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=73272 memory=55340 CPUtime=0.68 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 12823 0 0 0 65 3 0 0 20 0 1 0 237465978 75030528 13835 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 18318 13835 1120 3139 0 14606 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 73272 KiB
Current children cumulated memory: 55340 KiB
[startup+1.50033 s]
/proc/loadavg: 4.16 4.12 4.12 5/251 183335
/proc/meminfo: memFree=63438124/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=148672 memory=130604 CPUtime=1.48 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 29089 0 0 0 141 7 0 0 20 0 1 0 237465978 152240128 32651 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 37168 32651 1120 3139 0 33456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 148672 KiB
Current children cumulated memory: 130604 KiB
[startup+3.11334 s]
/proc/loadavg: 4.16 4.12 4.12 5/251 183335
/proc/meminfo: memFree=63117168/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=436432 memory=406160 CPUtime=3.09 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 68396 0 0 0 291 18 0 0 20 0 1 0 237465978 446906368 101540 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 109108 101540 1120 3139 0 105396 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 436432 KiB
Current children cumulated memory: 406160 KiB
[startup+6.30033 s]
/proc/loadavg: 4.15 4.12 4.12 5/251 183335
/proc/meminfo: memFree=62618200/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=989284 memory=955156 CPUtime=6.27 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 138759 0 0 0 590 37 0 0 20 0 1 0 237465978 1013026816 238789 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 247321 238789 1120 3139 0 243609 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 989284 KiB
Current children cumulated memory: 955156 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.11 4.12 5/251 183335
/proc/meminfo: memFree=61463120/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=2447204 memory=2378200 CPUtime=12.65 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 453945 0 0 0 1096 169 0 0 20 0 1 0 237465978 2505936896 594550 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 611801 594550 2688 3139 0 608089 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2447204 KiB
Current children cumulated memory: 2378200 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.12 5/251 183335
/proc/meminfo: memFree=59032264/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=4586100 memory=4475752 CPUtime=25.42 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 834719 0 0 0 2301 241 0 0 20 0 1 0 237465978 4696166400 1118938 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1146525 1118938 2688 3139 0 1142813 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 4586100 KiB
Current children cumulated memory: 4475752 KiB
[startup+51.1136 s]
/proc/loadavg: 4.14 4.12 4.12 5/251 183336
/proc/meminfo: memFree=57515332/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=6214084 memory=5908716 CPUtime=50.97 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1050357 0 0 0 4781 316 0 0 20 0 1 0 237465978 6363222016 1477179 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1553521 1477179 2688 3139 0 1549809 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 6214084 KiB
Current children cumulated memory: 5908716 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/251 183338
/proc/meminfo: memFree=56867904/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=6254164 memory=5942620 CPUtime=102.01 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1067684 0 0 0 9744 457 0 0 20 0 1 0 237465978 6404263936 1485655 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1563541 1485655 2688 3139 0 1559829 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 6254164 KiB
Current children cumulated memory: 5942620 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/251 183340
/proc/meminfo: memFree=56895752/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=6255852 memory=5946356 CPUtime=161.83 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1086110 0 0 0 15575 608 0 0 20 0 1 0 237465978 6405992448 1486589 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1563963 1486589 2688 3139 0 1560251 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 6255852 KiB
Current children cumulated memory: 5946356 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/251 183353
/proc/meminfo: memFree=56715560/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=6192328 memory=5875920 CPUtime=221.65 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1117668 0 0 0 21421 744 0 0 20 0 1 0 237465978 6340943872 1468980 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1548082 1468980 2688 3139 0 1544370 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 6192328 KiB
Current children cumulated memory: 5875920 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/250 183355
/proc/meminfo: memFree=56770956/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=6193792 memory=5881452 CPUtime=281.48 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1127571 0 0 0 27337 811 0 0 20 0 1 0 237465978 6342443008 1470363 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1548448 1470363 2688 3139 0 1544736 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 6193792 KiB
Current children cumulated memory: 5881452 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/250 183357
/proc/meminfo: memFree=54998600/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=8073948 memory=7763716 CPUtime=341.31 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 1558605 0 0 0 33211 920 0 0 20 0 1 0 237465978 8267722752 1940865 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 2018487 1940897 3008 3139 0 2014775 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 8073948 KiB
Current children cumulated memory: 7763716 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/250 183359
/proc/meminfo: memFree=51232028/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=12110516 memory=11162288 CPUtime=401.13 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2109468 0 0 0 39056 1057 0 0 20 0 1 0 237465978 12401168384 2790572 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 3027629 2790572 3136 3139 0 3023917 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 12110516 KiB
Current children cumulated memory: 11162288 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/250 183362
/proc/meminfo: memFree=51450908/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=12110516 memory=11162288 CPUtime=460.89 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2109647 0 0 0 45032 1057 0 0 20 0 1 0 237465978 12401168384 2790572 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 3027629 2790572 3136 3139 0 3023917 0
Current children cumulated CPU time: 460.89 s
################
# More data... #
################
/proc/183334/statm: 1926262 1850332 3264 3139 0 1922550 0
Current children cumulated CPU time: 2853.08 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7401328 KiB
[startup+2922.3 s]
/proc/loadavg: 2.85 3.76 4.01 3/238 183552
/proc/meminfo: memFree=83936364/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7401328 CPUtime=2912.87 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2176372 0 0 0 290157 1130 0 0 20 0 1 0 237465978 7889969152 1850332 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850332 3264 3139 0 1922550 0
Current children cumulated CPU time: 2912.87 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7401328 KiB
[startup+2982.3 s]
/proc/loadavg: 2.40 3.46 3.90 3/240 183559
/proc/meminfo: memFree=83919684/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=2972.64 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2176743 0 0 0 296134 1130 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 2972.64 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3042.3 s]
/proc/loadavg: 2.20 3.21 3.78 3/241 183567
/proc/meminfo: memFree=83933560/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3032.43 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2177149 0 0 0 302111 1132 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3032.43 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3102.3 s]
/proc/loadavg: 2.19 3.02 3.68 3/241 183568
/proc/meminfo: memFree=83931152/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3092.2 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2177521 0 0 0 308088 1132 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3162.3 s]
/proc/loadavg: 2.07 2.83 3.57 3/241 183570
/proc/meminfo: memFree=83939956/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3151.98 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2177860 0 0 0 314065 1133 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3222.3 s]
/proc/loadavg: 1.46 2.52 3.41 2/235 183603
/proc/meminfo: memFree=92058960/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3211.74 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2178304 0 0 0 320040 1134 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3211.74 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3282.3 s]
/proc/loadavg: 1.27 2.27 3.27 2/235 183605
/proc/meminfo: memFree=92057392/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3271.49 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2178809 0 0 0 326014 1135 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3271.49 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3342.3 s]
/proc/loadavg: 1.15 2.05 3.13 2/231 183607
/proc/meminfo: memFree=92060736/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3331.22 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2179298 0 0 0 331987 1135 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3331.22 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3402.3 s]
/proc/loadavg: 1.17 1.89 3.01 2/231 183609
/proc/meminfo: memFree=92059100/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3390.98 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2179872 0 0 0 337962 1136 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3390.98 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.74 2.88 2/232 183612
/proc/meminfo: memFree=92058416/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3450.73 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2180630 0 0 0 343936 1137 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3450.73 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.62 2.77 2/231 183614
/proc/meminfo: memFree=92012376/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3510.47 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2181279 0 0 0 349909 1138 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
[startup+3582.3 s]
/proc/loadavg: 1.06 1.52 2.66 2/232 183617
/proc/meminfo: memFree=92017872/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3570.24 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2182099 0 0 0 355886 1138 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3570.24 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 1.12 1.49 2.61 2/232 183625
/proc/meminfo: memFree=92015156/131382116 swapFree=33010684/33010684
[pid=183334] ppid=183331 vsize=7705048 memory=7403376 CPUtime=3600.02 cores=0,2
/proc/183334/stat : 183334 (uwrmaxsat-scip) R 183331 183334 182330 0 -1 4194304 2182272 0 0 0 358863 1139 0 0 20 0 1 0 237465978 7889969152 1850844 18446744073709551615 4198400 17051741 140736785768896 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 42016768 140736785770808 140736785770978 140736785770978 140736785776582 0
/proc/183334/statm: 1926262 1850844 3264 3139 0 1922550 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 7705048 KiB
Current children cumulated memory: 7403376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.38 s]
# the end of solver process 183334 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.64 s, system=11.5714 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.3 s]*
/proc/loadavg: 1.12 1.49 2.61 2/232 183625
/proc/meminfo: memFree=96082988/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3612.38
CPU time (s): 3600.21
CPU user time (s): 3588.64
CPU system time (s): 11.5714
CPU usage (%): 99.6631
Max. virtual memory (cumulated for all children) (KiB): 13557252
Max. memory (cumulated for all children) (KiB): 12240232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.64
system time used= 11.5714
maximum resident set size= 12240232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2182272
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= 187
involuntary context switches= 7894
# summary of solver processes directly reported to runsolver:
# pid: 183334
# total CPU time (s): 3600.21
# total CPU user time (s): 3588.64
# total CPU system time (s): 11.5714
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.1691 second user time and 32.1729 second system time
The end
Begin job on nodeC011 at 2025-07-22 22:57:43
IDJOB=4542557
IDBENCH=163934
IDSOLVER=3373
FILE ID=nodeC011/4542557-1753217861
RUNJOBID= nodeC011-1753209881-182340
SLURM_JOB_ID= 9687771
Free space on /tmp= 432540 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.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-4542557-1753217861/watcher-4542557-1753217861 -o /tmp/evaluation-result-4542557-1753217861/solver-4542557-1753217861 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753209881-182340 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542557-1753217861.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8e56f9e5ad0cb5cee4856e95cb4d672
RANDOM SEED=670235855
nodeC011 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 : 0xb00001f
cpu MHz : 1197.356
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3491.866
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 2394.572
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3492.095
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 3492.108
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.583
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
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 : 0xb00001f
cpu MHz : 1197.728
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6984.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 63515492 kB
MemAvailable: 94078508 kB
Buffers: 3276 kB
Cached: 31332632 kB
SwapCached: 0 kB
Active: 36236684 kB
Inactive: 30816940 kB
Active(anon): 35741792 kB
Inactive(anon): 2076 kB
Active(file): 494892 kB
Inactive(file): 30814864 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 71212 kB
Writeback: 0 kB
AnonPages: 35718936 kB
Mapped: 146608 kB
Shmem: 26152 kB
KReclaimable: 185388 kB
Slab: 278964 kB
SReclaimable: 185388 kB
SUnreclaim: 93576 kB
KernelStack: 4048 kB
PageTables: 73428 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 38871288 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149416 kB
VmallocChunk: 0 kB
Percpu: 3968 kB
HardwareCorrupted: 0 kB
AnonHugePages: 11538432 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: 191304 kB
DirectMap2M: 8099840 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432744 MiB
End job on nodeC011 at 2025-07-22 23:57:55