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.00 c Converting 14 PB-constraints to clauses...
0.00/0.00 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
300.24/301.07 c Starting SCIP solver (with time-limit: 900s) ...
1197.26/1201.08 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.04/3610.40 c *** TERMINATED by signal 15 ***
3600.04/3610.40 c _______________________________________________________________________________
3600.04/3610.40 c
3600.04/3610.40 c _______________________________________________________________________________
3600.04/3610.40 c
3600.04/3610.40 c =======================[ UWrMaxSat resources usage ]===========================
3600.04/3610.40 c Memory used : 848.00 MB
3600.04/3610.40 c CPU time : 3599.28 s
3600.04/3610.40 c Constr Enc: Srt/BDD/Add: 7 0 0
3600.04/3610.40 c _______________________________________________________________________________
3600.04/3610.40 c _______________________________________________________________________________
3600.04/3610.40 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 (62966 MiB free)
memory of node 1: 64465 MiB (63588 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490626-1751373696/watcher-4490626-1751373696 -o /tmp/evaluation-result-4490626-1751373696/solver-4490626-1751373696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47694 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490626-1751373696.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=48573, runsolver pid=48570
[startup+0.100066 s]*
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129568196/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=42520 memory=32060 CPUtime=0.08 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 6894 0 0 0 8 0 0 0 20 0 1 0 53047120 43540480 8015 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 10630 8015 2688 3139 0 6918 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 42520 KiB
Current children cumulated memory: 32060 KiB
[startup+0.205767 s]*
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129568196/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=47616 memory=36308 CPUtime=0.19 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 7432 0 0 0 19 0 0 0 20 0 1 0 53047120 48758784 9077 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 11904 9077 2688 3139 0 8192 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47616 KiB
Current children cumulated memory: 36308 KiB
[startup+0.305832 s]*
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129568196/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=50788 memory=38228 CPUtime=0.3 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 7919 0 0 0 29 1 0 0 20 0 1 0 53047120 52006912 9557 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 12697 9557 2688 3139 0 8985 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 50788 KiB
Current children cumulated memory: 38228 KiB
[startup+0.700173 s]
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129568196/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=47740 memory=36708 CPUtime=0.68 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 8899 0 0 0 67 1 0 0 20 0 1 0 53047120 48885760 9177 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 11935 9177 2688 3139 0 8223 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47740 KiB
Current children cumulated memory: 36708 KiB
[startup+1.50018 s]
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129544508/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=80160 memory=68768 CPUtime=1.48 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 15646 0 0 0 145 3 0 0 20 0 1 0 53047120 82083840 17192 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 20040 17192 2688 3139 0 16328 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80160 KiB
Current children cumulated memory: 68768 KiB
[startup+3.1055 s]
/proc/loadavg: 4.28 4.24 4.13 5/262 48574
/proc/meminfo: memFree=129526740/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=75084 memory=64880 CPUtime=3.08 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 16644 0 0 0 305 3 0 0 20 0 1 0 53047120 76886016 16220 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 18771 16220 2688 3139 0 15059 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 75084 KiB
Current children cumulated memory: 64880 KiB
[startup+6.30015 s]
/proc/loadavg: 4.26 4.23 4.13 5/262 48574
/proc/meminfo: memFree=129526992/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=75484 memory=65264 CPUtime=6.26 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 16757 0 0 0 623 3 0 0 20 0 1 0 53047120 77295616 16316 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 18871 16316 2688 3139 0 15159 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 75484 KiB
Current children cumulated memory: 65264 KiB
[startup+12.7002 s]
/proc/loadavg: 4.32 4.24 4.14 5/262 48574
/proc/meminfo: memFree=129509856/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=77840 memory=67696 CPUtime=12.65 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 17350 0 0 0 1262 3 0 0 20 0 1 0 53047120 79708160 16924 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 19460 16924 2688 3139 0 15748 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77840 KiB
Current children cumulated memory: 67696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.25 4.23 4.14 5/262 48575
/proc/meminfo: memFree=129450844/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=81108 memory=70896 CPUtime=25.42 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 18169 0 0 0 2538 4 0 0 20 0 1 0 53047120 83054592 17724 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 20277 17724 2688 3139 0 16565 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 81108 KiB
Current children cumulated memory: 70896 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.21 4.13 5/262 48575
/proc/meminfo: memFree=129338820/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=82048 memory=72176 CPUtime=50.95 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 18437 0 0 0 5091 4 0 0 20 0 1 0 53047120 84017152 18044 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 20512 18044 2688 3139 0 16800 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 82048 KiB
Current children cumulated memory: 72176 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.21 4.13 5/262 48577
/proc/meminfo: memFree=129065884/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=90372 memory=80760 CPUtime=102.01 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 24103 0 0 0 10195 6 0 0 20 0 1 0 53047120 92540928 20190 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 22593 20190 2688 3139 0 18881 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 90372 KiB
Current children cumulated memory: 80760 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/264 48583
/proc/meminfo: memFree=128765148/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=89028 memory=79480 CPUtime=161.87 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 27792 0 0 0 16179 8 0 0 20 0 1 0 53047120 91164672 19870 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 22257 19870 2688 3139 0 18545 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 89028 KiB
Current children cumulated memory: 79480 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/265 48590
/proc/meminfo: memFree=128516176/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=81864 memory=71244 CPUtime=221.72 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 31494 0 0 0 22163 9 0 0 20 0 1 0 53047120 83828736 17811 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 20466 17811 2688 3139 0 16754 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 71244 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/265 48592
/proc/meminfo: memFree=128285604/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=108436 memory=98808 CPUtime=281.58 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 35373 0 0 0 28146 12 0 0 20 0 1 0 53047120 111038464 24702 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 27109 24702 2688 3139 0 23397 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 108436 KiB
Current children cumulated memory: 98808 KiB
[startup+342.3 s]
/proc/loadavg: 4.29 4.22 4.14 5/265 48594
/proc/meminfo: memFree=128077272/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=161692 memory=151520 CPUtime=341.38 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 47493 0 0 0 34123 15 0 0 20 0 1 0 53047120 165572608 37880 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 40423 37880 3296 3139 0 36711 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 161692 KiB
Current children cumulated memory: 151520 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.21 4.14 5/265 48596
/proc/meminfo: memFree=127943332/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=228032 memory=216388 CPUtime=401.17 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 58614 0 0 0 40100 17 0 0 20 0 1 0 53047120 233504768 54097 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 57008 54097 3296 3139 0 53296 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 228032 KiB
Current children cumulated memory: 216388 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.14 5/265 48598
/proc/meminfo: memFree=127717532/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=294684 memory=281352 CPUtime=460.95 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 66765 0 0 0 46076 19 0 0 20 0 1 0 53047120 301756416 70338 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 73671 70338 3296 3139 0 69959 0
Current children cumulated CPU time: 460.95 s
################
# More data... #
################
Current children cumulated memory: 168584 KiB
[startup+2862.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 48723
/proc/meminfo: memFree=128069312/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=176948 memory=169736 CPUtime=2853.95 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 172348 0 0 0 285331 64 0 0 20 0 1 0 53047120 181194752 42434 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 44237 42434 3296 3139 0 40525 0
Current children cumulated CPU time: 2853.95 s
Current children cumulated vsize: 176948 KiB
Current children cumulated memory: 169736 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 48725
/proc/meminfo: memFree=128080844/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=151928 memory=143584 CPUtime=2913.8 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 174152 0 0 0 291314 66 0 0 20 0 1 0 53047120 155574272 35896 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 37982 35896 3296 3139 0 34270 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 151928 KiB
Current children cumulated memory: 143584 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 48728
/proc/meminfo: memFree=128038424/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=212416 memory=205208 CPUtime=2973.65 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 175957 0 0 0 297296 69 0 0 20 0 1 0 53047120 217513984 51302 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 53104 51302 3296 3139 0 49392 0
Current children cumulated CPU time: 2973.65 s
Current children cumulated vsize: 212416 KiB
Current children cumulated memory: 205208 KiB
[startup+3042.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/263 48730
/proc/meminfo: memFree=128082632/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=139380 memory=130960 CPUtime=3033.49 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 177157 0 0 0 303279 70 0 0 20 0 1 0 53047120 142725120 32740 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 34845 32740 3296 3139 0 31133 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 139380 KiB
Current children cumulated memory: 130960 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/262 48732
/proc/meminfo: memFree=128087364/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=139300 memory=128832 CPUtime=3093.33 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 178487 0 0 0 309261 72 0 0 20 0 1 0 53047120 142643200 32208 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 34825 32208 3296 3139 0 31113 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 139300 KiB
Current children cumulated memory: 128832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/262 48736
/proc/meminfo: memFree=128077596/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=139980 memory=131624 CPUtime=3153.18 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 179403 0 0 0 315244 74 0 0 20 0 1 0 53047120 143339520 32906 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 34995 32906 3296 3139 0 31283 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 139980 KiB
Current children cumulated memory: 131624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/263 48743
/proc/meminfo: memFree=128062152/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=178672 memory=168988 CPUtime=3213.01 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 182430 0 0 0 321226 75 0 0 20 0 1 0 53047120 182960128 42247 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 44668 42247 3296 3139 0 40956 0
Current children cumulated CPU time: 3213.01 s
Current children cumulated vsize: 178672 KiB
Current children cumulated memory: 168988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 48834
/proc/meminfo: memFree=129601148/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=178672 memory=170268 CPUtime=3272.85 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 182741 0 0 0 327210 75 0 0 20 0 1 0 53047120 182960128 42567 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 44668 42567 3296 3139 0 40956 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 178672 KiB
Current children cumulated memory: 170268 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 48836
/proc/meminfo: memFree=129579028/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=189280 memory=180844 CPUtime=3332.7 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 182821 0 0 0 333194 76 0 0 20 0 1 0 53047120 193822720 45211 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 47320 45211 3296 3139 0 43608 0
Current children cumulated CPU time: 3332.7 s
Current children cumulated vsize: 189280 KiB
Current children cumulated memory: 180844 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 48927
/proc/meminfo: memFree=128219380/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=193568 memory=185068 CPUtime=3392.54 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 183382 0 0 0 339178 76 0 0 20 0 1 0 53047120 198213632 46267 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 48392 46267 3296 3139 0 44680 0
Current children cumulated CPU time: 3392.54 s
Current children cumulated vsize: 193568 KiB
Current children cumulated memory: 185068 KiB
[startup+3462.3 s]
/proc/loadavg: 4.42 4.17 4.12 5/265 48930
/proc/meminfo: memFree=128192948/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=193568 memory=186348 CPUtime=3452.38 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 183383 0 0 0 345162 76 0 0 20 0 1 0 53047120 198213632 46587 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 48392 46587 3296 3139 0 44680 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 193568 KiB
Current children cumulated memory: 186348 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.16 4.12 5/264 48932
/proc/meminfo: memFree=128139512/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=197020 memory=189804 CPUtime=3512.22 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 184246 0 0 0 351146 76 0 0 20 0 1 0 53047120 201748480 47451 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 49255 47451 3296 3139 0 45543 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 197020 KiB
Current children cumulated memory: 189804 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/264 48935
/proc/meminfo: memFree=128112620/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=197020 memory=189804 CPUtime=3572.03 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 184246 0 0 0 357127 76 0 0 20 0 1 0 53047120 201748480 47451 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 49255 47451 3296 3139 0 45543 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 197020 KiB
Current children cumulated memory: 189804 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 4.14 4.15 4.11 5/264 48937
/proc/meminfo: memFree=127996212/131250000 swapFree=33007332/33010684
[pid=48573] ppid=48570 vsize=202368 memory=195180 CPUtime=3600.04 cores=4,6
/proc/48573/stat : 48573 (uwrmaxsat-scip) R 48570 48573 47683 0 -1 4194304 184561 0 0 0 359928 76 0 0 20 0 1 0 53047120 207224832 48795 18446744073709551615 4198400 17051741 140724835177744 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 49668096 140724835187002 140724835187172 140724835187172 140724835192774 0
/proc/48573/statm: 50592 48795 3296 3139 0 46880 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 202368 KiB
Current children cumulated memory: 195180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.4 s]
# the end of solver process 48573 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.28 s, system=0.768886 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.4
CPU time (s): 3600.05
CPU user time (s): 3599.28
CPU system time (s): 0.768886
CPU usage (%): 99.7134
Max. virtual memory (cumulated for all children) (KiB): 868496
Max. memory (cumulated for all children) (KiB): 837592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.768886
maximum resident set size= 837592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184561
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= 27
involuntary context switches= 2274
# summary of solver processes directly reported to runsolver:
# pid: 48573
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.28
# total CPU system time (s): 0.768886
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10661 second user time and 16.4981 second system time
The end
Begin job on nodeC019 at 2025-07-01 14:41:36
IDJOB=4490626
IDBENCH=147597
IDSOLVER=3373
FILE ID=nodeC019/4490626-1751373696
RUNJOBID= nodeC019-1751369704-47694
SLURM_JOB_ID= 9598187
Free space on /tmp= 432996 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_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-4490626-1751373696/watcher-4490626-1751373696 -o /tmp/evaluation-result-4490626-1751373696/solver-4490626-1751373696 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751369704-47694 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4490626-1751373696.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5da80f5858be2a333e7d6bf1625fcb5c
RANDOM SEED=795442650
nodeC019 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.602
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.37
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.676
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.37
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 : 3576.877
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.37
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.101
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.37
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 : 3596.846
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.37
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.679
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.700
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.37
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 : 3504.211
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129592604 kB
MemAvailable: 129299152 kB
Buffers: 904 kB
Cached: 513600 kB
SwapCached: 432 kB
Active: 667644 kB
Inactive: 379532 kB
Active(anon): 519992 kB
Inactive(anon): 27816 kB
Active(file): 147652 kB
Inactive(file): 351716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33007332 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16528 kB
Writeback: 20 kB
AnonPages: 533128 kB
Mapped: 140764 kB
Shmem: 15136 kB
KReclaimable: 92840 kB
Slab: 179644 kB
SReclaimable: 92840 kB
SUnreclaim: 86804 kB
KernelStack: 4256 kB
PageTables: 4204 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 894676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 270336 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: 176852 kB
DirectMap2M: 9031680 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432976 MiB
End job on nodeC019 at 2025-07-01 15:41:47