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.30/0.38 c Converting 11257 PB-constraints to clauses...
0.40/0.44 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1.00/1.02 c ============================[ Encoding Statistics ]============================
1.00/1.02 c | Number of variables: 147963 |
1.00/1.02 c | Number of clauses: 564329 |
1.00/1.02 c ===============================================================================
301.01/302.02 c Starting SCIP solver (with time-limit: 900s) ...
1197.22/1202.04 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/3612.20 c *** TERMINATED by signal 15 ***
3600.07/3612.20 c _______________________________________________________________________________
3600.07/3612.20 c
3600.07/3612.20 c _______________________________________________________________________________
3600.07/3612.20 c
3600.07/3612.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3612.20 c Memory used : 1412.00 MB
3600.07/3612.20 c CPU time : 3596.83 s
3600.07/3612.20 c Constr Enc: Srt/BDD/Add: 5502 0 0
3600.07/3612.20 c _______________________________________________________________________________
3600.07/3612.20 c _______________________________________________________________________________
3600.07/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: 63665 MiB (53137 MiB free)
memory of node 1: 64507 MiB (60867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4542362-1753215121/watcher-4542362-1753215121 -o /tmp/evaluation-result-4542362-1753215121/solver-4542362-1753215121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753211204-159867 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542362-1753215121.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=160437, runsolver pid=160434
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 4.07 4.08 4.06 5/265 160438
/proc/meminfo: memFree=116705212/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=39592 memory=23524 CPUtime=0.09 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 5255 0 0 0 9 0 0 0 20 0 1 0 237189787 40542208 5881 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 9898 5881 1120 3139 0 6186 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39592 KiB
Current children cumulated memory: 23524 KiB
[startup+0.205561 s]*
/proc/loadavg: 4.07 4.08 4.06 5/265 160438
/proc/meminfo: memFree=116673144/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=58128 memory=41888 CPUtime=0.2 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 9719 0 0 0 19 1 0 0 20 0 1 0 237189787 59523072 10472 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 14532 10472 1120 3139 0 10820 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 58128 KiB
Current children cumulated memory: 41888 KiB
[startup+0.305456 s]*
/proc/loadavg: 4.07 4.08 4.06 5/265 160438
/proc/meminfo: memFree=116637044/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=80348 memory=63004 CPUtime=0.3 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 14742 0 0 0 28 2 0 0 20 0 1 0 237189787 82276352 15751 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 20087 15751 1120 3139 0 16375 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 80348 KiB
Current children cumulated memory: 63004 KiB
[startup+0.700181 s]
/proc/loadavg: 4.07 4.08 4.06 5/265 160438
/proc/meminfo: memFree=116548464/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=229444 memory=216536 CPUtime=0.68 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 64060 0 0 0 57 11 0 0 20 0 1 0 237189787 234950656 54134 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 57361 54134 2688 3139 0 53649 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 229444 KiB
Current children cumulated memory: 216536 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 4.08 4.06 5/265 160438
/proc/meminfo: memFree=116253440/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=350976 memory=334840 CPUtime=1.49 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 78641 0 0 0 133 16 0 0 20 0 1 0 237189787 359399424 83710 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 87744 83710 2688 3139 0 84032 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 350976 KiB
Current children cumulated memory: 334840 KiB
[startup+3.1055 s]
/proc/loadavg: 4.06 4.08 4.06 5/265 160438
/proc/meminfo: memFree=115330764/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=368312 memory=354512 CPUtime=3.09 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 79717 0 0 0 292 17 0 0 20 0 1 0 237189787 377151488 88628 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 92078 88628 2720 3139 0 88366 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 368312 KiB
Current children cumulated memory: 354512 KiB
[startup+6.30018 s]
/proc/loadavg: 4.06 4.08 4.06 5/265 160438
/proc/meminfo: memFree=115620184/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=356168 memory=343372 CPUtime=6.27 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 81580 0 0 0 609 18 0 0 20 0 1 0 237189787 364716032 85843 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 89042 85843 2720 3139 0 85330 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 356168 KiB
Current children cumulated memory: 343372 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.11 4.07 5/265 160438
/proc/meminfo: memFree=113892824/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=356168 memory=343436 CPUtime=12.65 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 82107 0 0 0 1246 19 0 0 20 0 1 0 237189787 364716032 85859 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 89042 85859 2720 3139 0 85330 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 356168 KiB
Current children cumulated memory: 343436 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.10 4.07 5/265 160439
/proc/meminfo: memFree=113281184/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=361476 memory=348872 CPUtime=25.4 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 86816 0 0 0 2517 23 0 0 20 0 1 0 237189787 370151424 87218 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 90369 87218 2720 3139 0 86657 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 361476 KiB
Current children cumulated memory: 348872 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.09 4.07 5/265 160439
/proc/meminfo: memFree=110106892/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=392932 memory=380132 CPUtime=50.92 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 92545 0 0 0 5063 29 0 0 20 0 1 0 237189787 402362368 95033 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 98233 95033 2720 3139 0 94521 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 392932 KiB
Current children cumulated memory: 380132 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.11 4.08 5/265 160441
/proc/meminfo: memFree=107284256/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=416736 memory=403976 CPUtime=101.95 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 98394 0 0 0 10158 37 0 0 20 0 1 0 237189787 426737664 100994 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 104184 100994 2720 3139 0 100472 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 416736 KiB
Current children cumulated memory: 403976 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/265 160443
/proc/meminfo: memFree=105243216/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=405404 memory=392548 CPUtime=161.75 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 104043 0 0 0 16132 43 0 0 20 0 1 0 237189787 415133696 98137 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 101351 98137 2720 3139 0 97639 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 405404 KiB
Current children cumulated memory: 392548 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 4.08 4.07 5/263 160445
/proc/meminfo: memFree=104838516/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=345660 memory=333056 CPUtime=221.56 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 105436 0 0 0 22112 44 0 0 20 0 1 0 237189787 353955840 83264 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 86415 83264 2720 3139 0 82703 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 345660 KiB
Current children cumulated memory: 333056 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.08 5/264 160448
/proc/meminfo: memFree=104633108/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=379128 memory=366396 CPUtime=281.36 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 115023 0 0 0 28078 58 0 0 20 0 1 0 237189787 388227072 91599 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 94782 91599 2720 3139 0 91070 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 379128 KiB
Current children cumulated memory: 366396 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/264 160456
/proc/meminfo: memFree=102001208/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=1177120 memory=986508 CPUtime=341.15 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 361911 0 0 0 34012 103 0 0 20 0 1 0 237189787 1205370880 246627 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 294280 246627 3296 3139 0 290568 0
Current children cumulated CPU time: 341.15 s
Current children cumulated vsize: 1177120 KiB
Current children cumulated memory: 986508 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.09 4.08 5/263 160458
/proc/meminfo: memFree=101765152/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=1177120 memory=988300 CPUtime=400.86 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 362410 0 0 0 39982 104 0 0 20 0 1 0 237189787 1205370880 247075 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 294280 247075 3296 3139 0 290568 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1177120 KiB
Current children cumulated memory: 988300 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/263 160460
/proc/meminfo: memFree=101206224/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=1177120 memory=988300 CPUtime=460.57 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 362460 0 0 0 45953 104 0 0 20 0 1 0 237189787 1205370880 247075 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 294280 247075 3296 3139 0 290568 0
################
# More data... #
################
Current children cumulated memory: 303436 KiB
[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 160575
/proc/meminfo: memFree=106752392/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=355584 memory=346356 CPUtime=2852.53 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 490884 0 0 0 285008 245 0 0 20 0 1 0 237189787 364118016 86589 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 88896 86589 3296 3139 0 85184 0
Current children cumulated CPU time: 2852.53 s
Current children cumulated vsize: 355584 KiB
Current children cumulated memory: 346356 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 160577
/proc/meminfo: memFree=106726520/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=365360 memory=356160 CPUtime=2912.36 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 492812 0 0 0 290986 250 0 0 20 0 1 0 237189787 374128640 89040 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 91340 89040 3296 3139 0 87628 0
Current children cumulated CPU time: 2912.36 s
Current children cumulated vsize: 365360 KiB
Current children cumulated memory: 356160 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 160590
/proc/meminfo: memFree=106744404/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=362980 memory=353780 CPUtime=2972.17 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 495455 0 0 0 296961 256 0 0 20 0 1 0 237189787 371691520 88445 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 90745 88445 3296 3139 0 87033 0
Current children cumulated CPU time: 2972.17 s
Current children cumulated vsize: 362980 KiB
Current children cumulated memory: 353780 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 160592
/proc/meminfo: memFree=106720832/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=419988 memory=396296 CPUtime=3032 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 497897 0 0 0 302937 263 0 0 20 0 1 0 237189787 430067712 99074 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 104997 99074 3296 3139 0 101285 0
Current children cumulated CPU time: 3032 s
Current children cumulated vsize: 419988 KiB
Current children cumulated memory: 396296 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 160594
/proc/meminfo: memFree=106731980/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=363160 memory=353960 CPUtime=3091.82 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 501743 0 0 0 308911 271 0 0 20 0 1 0 237189787 371875840 88490 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 90790 88490 3296 3139 0 87078 0
Current children cumulated CPU time: 3091.82 s
Current children cumulated vsize: 363160 KiB
Current children cumulated memory: 353960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/263 160597
/proc/meminfo: memFree=106714504/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=361864 memory=352664 CPUtime=3151.64 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 505372 0 0 0 314885 279 0 0 20 0 1 0 237189787 370548736 88166 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 90466 88166 3296 3139 0 86754 0
Current children cumulated CPU time: 3151.64 s
Current children cumulated vsize: 361864 KiB
Current children cumulated memory: 352664 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.16 4.11 5/263 160600
/proc/meminfo: memFree=106722828/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=366636 memory=357436 CPUtime=3211.46 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 507399 0 0 0 320861 285 0 0 20 0 1 0 237189787 375435264 89359 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 91659 89359 3296 3139 0 87947 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 366636 KiB
Current children cumulated memory: 357436 KiB
[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 160602
/proc/meminfo: memFree=106735120/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=364188 memory=354988 CPUtime=3271.28 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 509355 0 0 0 326837 291 0 0 20 0 1 0 237189787 372928512 88747 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 91047 88747 3296 3139 0 87335 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 364188 KiB
Current children cumulated memory: 354988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 160701
/proc/meminfo: memFree=120713960/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=369220 memory=360120 CPUtime=3331.1 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 512811 0 0 0 332811 299 0 0 20 0 1 0 237189787 378081280 90030 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 92305 90030 3296 3139 0 88593 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 369220 KiB
Current children cumulated memory: 360120 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/264 160747
/proc/meminfo: memFree=119502088/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=386660 memory=377460 CPUtime=3390.9 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 515024 0 0 0 338785 305 0 0 20 0 1 0 237189787 395939840 94365 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 96665 94365 3296 3139 0 92953 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 386660 KiB
Current children cumulated memory: 377460 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 160750
/proc/meminfo: memFree=119500304/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=364568 memory=355368 CPUtime=3450.69 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 517663 0 0 0 344759 310 0 0 20 0 1 0 237189787 373317632 88842 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 91142 88842 3296 3139 0 87430 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 364568 KiB
Current children cumulated memory: 355368 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 160753
/proc/meminfo: memFree=119489752/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=383020 memory=373820 CPUtime=3510.48 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 520007 0 0 0 350732 316 0 0 20 0 1 0 237189787 392212480 93455 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 95755 93455 3296 3139 0 92043 0
Current children cumulated CPU time: 3510.48 s
Current children cumulated vsize: 383020 KiB
Current children cumulated memory: 373820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/265 160755
/proc/meminfo: memFree=119484056/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=369476 memory=360276 CPUtime=3570.27 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 522083 0 0 0 356706 321 0 0 20 0 1 0 237189787 378343424 90069 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 92369 90069 3296 3139 0 88657 0
Current children cumulated CPU time: 3570.27 s
Current children cumulated vsize: 369476 KiB
Current children cumulated memory: 360276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 160801
/proc/meminfo: memFree=126480016/131249996 swapFree=33003468/33010684
[pid=160437] ppid=160434 vsize=373420 memory=364220 CPUtime=3600.07 cores=5,7
/proc/160437/stat : 160437 (uwrmaxsat-scip) R 160434 160437 159853 0 -1 4194304 523177 0 0 0 359683 324 0 0 20 0 1 0 237189787 382382080 91055 18446744073709551615 4198400 17051741 140723589560288 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 48500736 140723589564728 140723589564898 140723589564898 140723589570502 0
/proc/160437/statm: 93355 91055 3296 3139 0 89643 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 373420 KiB
Current children cumulated memory: 364220 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.21 s]
# the end of solver process 160437 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3596.83 s, system=3.25277 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.21
CPU time (s): 3600.09
CPU user time (s): 3596.83
CPU system time (s): 3.25277
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 1446624
Max. memory (cumulated for all children) (KiB): 1252748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.25277
maximum resident set size= 1252748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523177
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= 2
involuntary context switches= 19347
# summary of solver processes directly reported to runsolver:
# pid: 160437
# total CPU time (s): 3600.09
# total CPU user time (s): 3596.83
# total CPU system time (s): 3.25277
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.00094 second user time and 16.8547 second system time
The end
Begin job on nodeC021 at 2025-07-22 22:12:01
IDJOB=4542362
IDBENCH=163921
IDSOLVER=3373
FILE ID=nodeC021/4542362-1753215121
RUNJOBID= nodeC021-1753211204-159867
SLURM_JOB_ID= 9687790
Free space on /tmp= 432856 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_height21_pigeons20_holes19.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-4542362-1753215121/watcher-4542362-1753215121 -o /tmp/evaluation-result-4542362-1753215121/solver-4542362-1753215121 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753211204-159867 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4542362-1753215121.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 623c8f5cac41c95d6cbe9efd54b08dc9
RANDOM SEED=1212654985
nodeC021 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.815
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.56
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.861
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.56
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 : 3600.291
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.56
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 : 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 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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.088
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.56
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.981
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.56
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 : 3700.000
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.56
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 : 3599.153
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 116741092 kB
MemAvailable: 117698532 kB
Buffers: 1056 kB
Cached: 1693432 kB
SwapCached: 56 kB
Active: 13125620 kB
Inactive: 600536 kB
Active(anon): 12014828 kB
Inactive(anon): 38500 kB
Active(file): 1110792 kB
Inactive(file): 562036 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 55164 kB
Writeback: 0 kB
AnonPages: 12033500 kB
Mapped: 130688 kB
Shmem: 21656 kB
KReclaimable: 247304 kB
Slab: 343200 kB
SReclaimable: 247304 kB
SUnreclaim: 95896 kB
KernelStack: 4336 kB
PageTables: 26604 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 12919836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3858432 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432940 MiB
End job on nodeC021 at 2025-07-22 23:12:13