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...
1.46/1.55 c Converting 27827 PB-constraints to clauses...
1.46/1.56 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1.66/1.77 c ============================[ Encoding Statistics ]============================
1.66/1.77 c | Number of variables: 6184 |
1.66/1.77 c | Number of clauses: 29824 |
1.66/1.77 c ===============================================================================
301.64/302.77 c Starting SCIP solver (with time-limit: 900s) ...
1199.06/1202.78 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
2146.08/2152.30 c [1mUNSATISFIABLE[0m
2146.08/2152.30 c _______________________________________________________________________________
2146.08/2152.30 c
2146.08/2152.30 c =======================[ UWrMaxSat resources usage ]===========================
2146.08/2152.30 c Memory used : 593.00 MB
2146.08/2152.30 c CPU time : 2145.61 s
2146.08/2152.30 c Constr Enc: Srt/BDD/Add: 2 0 0
2146.08/2152.30 c _______________________________________________________________________________
2146.08/2152.30 s UNSATISFIABLE
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: 63837 MiB (62760 MiB free)
memory of node 1: 64465 MiB (61986 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514355-1751217111/watcher-4514355-1751217111 -o /tmp/evaluation-result-4514355-1751217111/solver-4514355-1751217111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514355-1751217111.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=31546, runsolver pid=31543
[startup+0.100071 s]*
/proc/loadavg: 4.10 4.06 3.82 6/251 31547
/proc/meminfo: memFree=127740720/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=25796 memory=9472 CPUtime=0.09 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 1425 0 0 0 9 0 0 0 20 0 1 0 37390318 26415104 2368 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 6449 2368 1120 3139 0 2737 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25796 KiB
Current children cumulated memory: 9472 KiB
[startup+0.212707 s]*
/proc/loadavg: 4.10 4.06 3.82 5/251 31547
/proc/meminfo: memFree=127740720/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=29220 memory=12288 CPUtime=0.19 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 2169 0 0 0 19 0 0 0 20 0 1 0 37390318 29921280 3072 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 7305 3072 1120 3139 0 3593 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 29220 KiB
Current children cumulated memory: 12288 KiB
[startup+0.313138 s]*
/proc/loadavg: 4.10 4.06 3.82 5/251 31547
/proc/meminfo: memFree=127740720/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=32784 memory=15104 CPUtime=0.29 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 2874 0 0 0 28 1 0 0 20 0 1 0 37390318 33570816 3776 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 8196 3776 1120 3139 0 4484 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 32784 KiB
Current children cumulated memory: 15104 KiB
[startup+0.700304 s]
/proc/loadavg: 4.10 4.06 3.82 5/251 31547
/proc/meminfo: memFree=127739964/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=45316 memory=25728 CPUtime=0.66 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 5531 0 0 0 65 1 0 0 20 0 1 0 37390318 46403584 6432 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 11329 6432 1120 3139 0 7617 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 45316 KiB
Current children cumulated memory: 25728 KiB
[startup+1.50029 s]
/proc/loadavg: 4.10 4.06 3.82 5/251 31547
/proc/meminfo: memFree=127716868/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=91688 memory=66176 CPUtime=1.46 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 15622 0 0 0 142 4 0 0 20 0 1 0 37390318 93888512 16512 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 22922 16512 1120 3139 0 19210 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 91688 KiB
Current children cumulated memory: 66176 KiB
[startup+3.11297 s]
/proc/loadavg: 4.09 4.06 3.82 5/251 31547
/proc/meminfo: memFree=127629348/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=145196 memory=126236 CPUtime=3.07 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 30864 0 0 0 300 7 0 0 20 0 1 0 37390318 148680704 31559 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 36299 31559 2688 3139 0 32587 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 145196 KiB
Current children cumulated memory: 126236 KiB
[startup+6.30029 s]
/proc/loadavg: 4.09 4.06 3.82 5/251 31592
/proc/meminfo: memFree=127674612/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=151172 memory=132868 CPUtime=6.25 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 33728 0 0 0 617 8 0 0 20 0 1 0 37390318 154800128 33217 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 37793 33217 2688 3139 0 34081 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 151172 KiB
Current children cumulated memory: 132868 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.05 3.83 5/251 31592
/proc/meminfo: memFree=127664720/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=153364 memory=135808 CPUtime=12.62 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 34799 0 0 0 1254 8 0 0 20 0 1 0 37390318 157044736 33952 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 38341 33952 2688 3139 0 34629 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 153364 KiB
Current children cumulated memory: 135808 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.05 3.83 5/251 31637
/proc/meminfo: memFree=127650924/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=150828 memory=134676 CPUtime=25.38 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 38705 0 0 0 2529 9 0 0 20 0 1 0 37390318 154447872 33669 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 37707 33669 2688 3139 0 33995 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 150828 KiB
Current children cumulated memory: 134676 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.06 3.84 5/251 31683
/proc/meminfo: memFree=127663260/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=159292 memory=145564 CPUtime=50.91 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 40428 0 0 0 5081 10 0 0 20 0 1 0 37390318 163115008 36391 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 39823 36391 2688 3139 0 36111 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 159292 KiB
Current children cumulated memory: 145564 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.06 3.85 5/251 31685
/proc/meminfo: memFree=127643916/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=164088 memory=152908 CPUtime=101.93 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 43849 0 0 0 10182 11 0 0 20 0 1 0 37390318 168026112 38227 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41022 38227 2688 3139 0 37310 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 164088 KiB
Current children cumulated memory: 152908 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.07 3.87 5/251 31866
/proc/meminfo: memFree=127649792/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=165556 memory=154520 CPUtime=161.73 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 46138 0 0 0 16161 12 0 0 20 0 1 0 37390318 169529344 38630 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41389 38630 2688 3139 0 37677 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 165556 KiB
Current children cumulated memory: 154520 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.08 3.89 5/250 31873
/proc/meminfo: memFree=127629072/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=165556 memory=155288 CPUtime=221.51 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 46267 0 0 0 22138 13 0 0 20 0 1 0 37390318 169529344 38822 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41389 38822 2688 3139 0 37677 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 165556 KiB
Current children cumulated memory: 155288 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.08 3.91 5/250 31875
/proc/meminfo: memFree=127634448/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=157680 memory=148112 CPUtime=281.29 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 47660 0 0 0 28116 13 0 0 20 0 1 0 37390318 161464320 37028 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 39420 37028 2688 3139 0 35708 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 157680 KiB
Current children cumulated memory: 148112 KiB
[startup+342.3 s]
/proc/loadavg: 3.98 4.06 3.92 5/246 31952
/proc/meminfo: memFree=127312072/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=488944 memory=464508 CPUtime=341.12 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 113450 0 0 0 34085 27 0 0 20 0 1 0 37390318 500678656 116127 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 122236 116127 3264 3139 0 118524 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 488944 KiB
Current children cumulated memory: 464508 KiB
[startup+402.3 s]
/proc/loadavg: 4.57 4.21 3.97 5/250 32192
/proc/meminfo: memFree=126288372/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=526000 memory=492568 CPUtime=400.95 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 116592 0 0 0 40066 29 0 0 20 0 1 0 37390318 538624000 123142 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 131500 123142 3264 3139 0 127788 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 526000 KiB
Current children cumulated memory: 492568 KiB
[startup+462.3 s]
/proc/loadavg: 4.46 4.26 4.01 5/251 32195
/proc/meminfo: memFree=126247896/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=545168 memory=506648 CPUtime=460.77 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 120140 0 0 0 46047 30 0 0 20 0 1 0 37390318 558252032 126662 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 136292 126662 3264 3139 0 132580 0
Current children cumulated CPU time: 460.77 s
################
# More data... #
################
/proc/loadavg: 4.16 4.13 4.06 5/252 32349
/proc/meminfo: memFree=127144424/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=166660 memory=159156 CPUtime=1717.26 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 137219 0 0 0 171683 43 0 0 20 0 1 0 37390318 170659840 39789 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41665 39789 3296 3139 0 37953 0
Current children cumulated CPU time: 1717.26 s
Current children cumulated vsize: 166660 KiB
Current children cumulated memory: 159156 KiB
[startup+1782.3 s]
/proc/loadavg: 4.71 4.29 4.12 5/251 32353
/proc/meminfo: memFree=127149304/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=166660 memory=159156 CPUtime=1777.09 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 137220 0 0 0 177666 43 0 0 20 0 1 0 37390318 170659840 39789 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41665 39789 3296 3139 0 37953 0
Current children cumulated CPU time: 1777.09 s
Current children cumulated vsize: 166660 KiB
Current children cumulated memory: 159156 KiB
[startup+1842.3 s]
/proc/loadavg: 4.45 4.29 4.13 5/250 32355
/proc/meminfo: memFree=127144016/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=166660 memory=159156 CPUtime=1836.93 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 137220 0 0 0 183650 43 0 0 20 0 1 0 37390318 170659840 39789 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41665 39789 3296 3139 0 37953 0
Current children cumulated CPU time: 1836.93 s
Current children cumulated vsize: 166660 KiB
Current children cumulated memory: 159156 KiB
[startup+1902.3 s]
/proc/loadavg: 4.21 4.25 4.13 5/250 32357
/proc/meminfo: memFree=127143476/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=166660 memory=159284 CPUtime=1896.78 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 137279 0 0 0 189634 44 0 0 20 0 1 0 37390318 170659840 39821 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41665 39821 3296 3139 0 37953 0
Current children cumulated CPU time: 1896.78 s
Current children cumulated vsize: 166660 KiB
Current children cumulated memory: 159284 KiB
[startup+1962.3 s]
/proc/loadavg: 4.17 4.23 4.13 5/249 32359
/proc/meminfo: memFree=127251104/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=166660 memory=159284 CPUtime=1956.61 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 137289 0 0 0 195617 44 0 0 20 0 1 0 37390318 170659840 39821 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 41665 39821 3296 3139 0 37953 0
Current children cumulated CPU time: 1956.61 s
Current children cumulated vsize: 166660 KiB
Current children cumulated memory: 159284 KiB
[startup+2022.3 s]
/proc/loadavg: 4.16 4.22 4.13 5/249 32361
/proc/meminfo: memFree=127263552/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=158068 memory=150672 CPUtime=2016.44 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140335 0 0 0 201597 47 0 0 20 0 1 0 37390318 161861632 37668 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 39517 37668 3296 3139 0 35805 0
Current children cumulated CPU time: 2016.44 s
Current children cumulated vsize: 158068 KiB
Current children cumulated memory: 150672 KiB
[startup+2082.3 s]
/proc/loadavg: 4.11 4.19 4.12 5/250 32368
/proc/meminfo: memFree=127250004/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2076.26 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140652 0 0 0 207579 47 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2076.26 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2142.3 s]
/proc/loadavg: 4.15 4.19 4.12 5/250 32370
/proc/meminfo: memFree=127252776/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2136.11 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140703 0 0 0 213563 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2136.11 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2152.31 s]
# the end of solver process 31546 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=2145.61 s, system=0.482757 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2144 s]*
/proc/loadavg: 4.14 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253028/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2137.81 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140703 0 0 0 213733 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2137.81 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2147.2 s]
/proc/loadavg: 4.14 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253028/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2140.99 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140709 0 0 0 214051 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2140.99 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2150.4 s]
/proc/loadavg: 4.12 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253280/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2144.18 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140711 0 0 0 214370 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2144.18 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2151.2 s]
/proc/loadavg: 4.12 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253280/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2144.98 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140711 0 0 0 214450 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2144.98 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2152 s]*
/proc/loadavg: 4.12 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253280/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2145.79 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140711 0 0 0 214531 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2145.79 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2152.2 s]
/proc/loadavg: 4.12 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253280/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2145.98 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140711 0 0 0 214550 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2145.98 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
[startup+2152.3 s]
/proc/loadavg: 4.12 4.18 4.12 5/250 32370
/proc/meminfo: memFree=127253280/131382116 swapFree=33010684/33010684
[pid=31546] ppid=31543 vsize=171600 memory=164240 CPUtime=2146.08 cores=4,6
/proc/31546/stat : 31546 (uwrmaxsat-scip) R 31543 31546 30286 0 -1 4194304 140711 0 0 0 214560 48 0 0 20 0 1 0 37390318 175718400 41060 18446744073709551615 4198400 17051741 140731298064480 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 41197568 140731298068794 140731298068964 140731298068964 140731298074566 0
/proc/31546/statm: 42900 41060 3296 3139 0 39188 0
Current children cumulated CPU time: 2146.08 s
Current children cumulated vsize: 171600 KiB
Current children cumulated memory: 164240 KiB
Child status: 20
Real time (s): 2152.31
CPU time (s): 2146.09
CPU user time (s): 2145.61
CPU system time (s): 0.482757
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 608164
Max. memory (cumulated for all children) (KiB): 588440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2145.61
system time used= 0.482757
maximum resident set size= 588440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140711
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= 61
involuntary context switches= 1502
# summary of solver processes directly reported to runsolver:
# pid: 31546
# total CPU time (s): 2146.09
# total CPU user time (s): 2145.61
# total CPU system time (s): 0.482757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4968 second user time and 20.2056 second system time
The end
Begin job on nodeC004 at 2025-06-29 19:11:51
IDJOB=4514355
IDBENCH=162644
IDSOLVER=3373
FILE ID=nodeC004/4514355-1751217111
RUNJOBID= nodeC004-1751215847-30297
SLURM_JOB_ID= 9587653
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_11.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-4514355-1751217111/watcher-4514355-1751217111 -o /tmp/evaluation-result-4514355-1751217111/solver-4514355-1751217111 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4514355-1751217111.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ecb94e70b440a48855e99e990bb4ec90
RANDOM SEED=1626944024
nodeC004 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 : 3662.778
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 : 6983.74
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 : 3691.361
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 : 6983.74
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 : 1197.540
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 : 6983.74
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 : 6983.74
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 : 3700.000
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 : 6983.74
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 : 3691.498
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 : 6983.74
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.216
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 : 6983.74
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 : 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 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 : 6983.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 127740912 kB
MemAvailable: 129350764 kB
Buffers: 3280 kB
Cached: 2413208 kB
SwapCached: 0 kB
Active: 917160 kB
Inactive: 2114984 kB
Active(anon): 633632 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2114984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 20296 kB
Writeback: 0 kB
AnonPages: 615192 kB
Mapped: 137344 kB
Shmem: 17976 kB
KReclaimable: 101936 kB
Slab: 184624 kB
SReclaimable: 101936 kB
SUnreclaim: 82688 kB
KernelStack: 4048 kB
PageTables: 4220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 964948 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149384 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 448512 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC004 at 2025-06-29 19:47:44