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.05 c Converting 15140 PB-constraints to clauses...
0.00/0.06 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
0.09/0.10 c ============================[ Encoding Statistics ]============================
0.09/0.10 c | Number of variables: 4830 |
0.09/0.10 c | Number of clauses: 15140 |
0.09/0.10 c ===============================================================================
300.19/301.10 c Starting SCIP solver (with time-limit: 900s) ...
1197.05/1201.11 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.00/3610.90 c *** TERMINATED by signal 15 ***
3600.00/3610.90 c _______________________________________________________________________________
3600.00/3610.90 c
3600.00/3610.90 c _______________________________________________________________________________
3600.00/3610.90 c
3600.00/3610.90 c =======================[ UWrMaxSat resources usage ]===========================
3600.00/3610.90 c Memory used : 352.00 MB
3600.00/3610.90 c CPU time : 3599.76 s
3600.00/3610.90 c _______________________________________________________________________________
3600.00/3610.90 c _______________________________________________________________________________
3600.00/3610.90 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 (62132 MiB free)
memory of node 1: 64507 MiB (62945 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4510993-1751196474/watcher-4510993-1751196474 -o /tmp/evaluation-result-4510993-1751196474/solver-4510993-1751196474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25877 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4510993-1751196474.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=26666, runsolver pid=26663
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128060412/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=54128 memory=43968 CPUtime=0.09 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 8691 0 0 0 8 1 0 0 20 0 1 0 35327650 55427072 10992 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 13532 10992 2688 3139 0 9820 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54128 KiB
Current children cumulated memory: 43968 KiB
[startup+0.205547 s]*
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052348/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=55964 memory=45760 CPUtime=0.2 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 9256 0 0 0 19 1 0 0 20 0 1 0 35327650 57307136 11440 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 13991 11440 2688 3139 0 10279 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55964 KiB
Current children cumulated memory: 45760 KiB
[startup+0.305416 s]*
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052348/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=56648 memory=46460 CPUtime=0.3 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 9708 0 0 0 29 1 0 0 20 0 1 0 35327650 58007552 11615 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 14162 11615 2720 3139 0 10450 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 56648 KiB
Current children cumulated memory: 46460 KiB
[startup+0.700126 s]
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052348/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=56784 memory=46916 CPUtime=0.68 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 10004 0 0 0 67 1 0 0 20 0 1 0 35327650 58146816 11729 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 14196 11729 2720 3139 0 10484 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56784 KiB
Current children cumulated memory: 46916 KiB
[startup+1.50014 s]
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052348/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=57700 memory=47832 CPUtime=1.49 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 11052 0 0 0 147 2 0 0 20 0 1 0 35327650 59084800 11958 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 14425 11958 2720 3139 0 10713 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57700 KiB
Current children cumulated memory: 47832 KiB
[startup+3.1053 s]
/proc/loadavg: 4.23 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052600/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=60648 memory=50312 CPUtime=3.09 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 13151 0 0 0 307 2 0 0 20 0 1 0 35327650 62103552 12578 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 15162 12578 2720 3139 0 11450 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60648 KiB
Current children cumulated memory: 50312 KiB
[startup+6.30014 s]
/proc/loadavg: 4.21 4.18 4.08 5/263 26667
/proc/meminfo: memFree=128052600/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=59336 memory=49176 CPUtime=6.27 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 14418 0 0 0 625 2 0 0 20 0 1 0 35327650 60760064 12294 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 14834 12294 2720 3139 0 11122 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 59336 KiB
Current children cumulated memory: 49176 KiB
[startup+12.7001 s]
/proc/loadavg: 4.20 4.17 4.08 5/263 26667
/proc/meminfo: memFree=128040756/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=59300 memory=49272 CPUtime=12.66 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 17906 0 0 0 1263 3 0 0 20 0 1 0 35327650 60723200 12318 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 14825 12318 2720 3139 0 11113 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 59300 KiB
Current children cumulated memory: 49272 KiB
[startup+25.5002 s]
/proc/loadavg: 4.23 4.18 4.09 5/263 26667
/proc/meminfo: memFree=128029440/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=62900 memory=52696 CPUtime=25.42 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 26404 0 0 0 2537 5 0 0 20 0 1 0 35327650 64409600 13174 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 15725 13174 2720 3139 0 12013 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 62900 KiB
Current children cumulated memory: 52696 KiB
[startup+51.1053 s]
/proc/loadavg: 4.15 4.16 4.08 5/262 26668
/proc/meminfo: memFree=128014100/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=71836 memory=61592 CPUtime=50.95 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 30163 0 0 0 5090 5 0 0 20 0 1 0 35327650 73560064 15398 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 17959 15398 2720 3139 0 14247 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 71836 KiB
Current children cumulated memory: 61592 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/262 26670
/proc/meminfo: memFree=127958292/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=74304 memory=64148 CPUtime=102 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 41976 0 0 0 10191 9 0 0 20 0 1 0 35327650 76087296 16037 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 18576 16037 2720 3139 0 14864 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 74304 KiB
Current children cumulated memory: 64148 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/262 26672
/proc/meminfo: memFree=127911024/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=81116 memory=70936 CPUtime=161.81 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 51308 0 0 0 16169 12 0 0 20 0 1 0 35327650 83062784 17734 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 20279 17734 2720 3139 0 16567 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 81116 KiB
Current children cumulated memory: 70936 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/262 26675
/proc/meminfo: memFree=127862276/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=83700 memory=73536 CPUtime=221.63 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 55112 0 0 0 22149 14 0 0 20 0 1 0 35327650 85708800 18384 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 20925 18384 2720 3139 0 17213 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 83700 KiB
Current children cumulated memory: 73536 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/263 26680
/proc/meminfo: memFree=127809976/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=100652 memory=90392 CPUtime=281.45 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 56284 0 0 0 28131 14 0 0 20 0 1 0 35327650 103067648 22598 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 25163 22598 2720 3139 0 21451 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 100652 KiB
Current children cumulated memory: 90392 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/263 26682
/proc/meminfo: memFree=127669608/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=261964 memory=210264 CPUtime=341.25 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 85299 0 0 0 34105 20 0 0 20 0 1 0 35327650 268251136 52566 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 65491 52566 3296 3139 0 61779 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 261964 KiB
Current children cumulated memory: 210264 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 26687
/proc/meminfo: memFree=127581068/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=340092 memory=265560 CPUtime=401.03 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 99137 0 0 0 40081 22 0 0 20 0 1 0 35327650 348254208 66390 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 85023 66390 3296 3139 0 81311 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 340092 KiB
Current children cumulated memory: 265560 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/264 26691
/proc/meminfo: memFree=127519672/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346240 memory=271704 CPUtime=460.79 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 100675 0 0 0 46057 22 0 0 20 0 1 0 35327650 354549760 67926 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86560 67926 3296 3139 0 82848 0
Current children cumulated CPU time: 460.79 s
################
# More data... #
################
Current children cumulated memory: 337840 KiB
[startup+2922.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/263 27131
/proc/meminfo: memFree=106727280/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=2913.7 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106595 0 0 0 291346 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 2913.7 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 27133
/proc/meminfo: memFree=105760180/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=2973.52 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106622 0 0 0 297328 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 2973.52 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/263 27180
/proc/meminfo: memFree=115450396/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3033.33 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106706 0 0 0 303309 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3033.33 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 27182
/proc/meminfo: memFree=115435968/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3093.14 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106763 0 0 0 309290 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3093.14 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/263 27272
/proc/meminfo: memFree=129257748/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3152.96 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106782 0 0 0 315272 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/263 27274
/proc/meminfo: memFree=129156036/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3212.76 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106857 0 0 0 321252 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/263 27276
/proc/meminfo: memFree=129079588/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3272.56 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106917 0 0 0 327232 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 27281
/proc/meminfo: memFree=129073960/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3332.35 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 106936 0 0 0 333211 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 27283
/proc/meminfo: memFree=129041748/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3392.13 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107019 0 0 0 339189 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3392.13 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 27288
/proc/meminfo: memFree=128933520/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3451.92 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107065 0 0 0 345168 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3451.92 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/265 27292
/proc/meminfo: memFree=128899956/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3511.71 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107096 0 0 0 351147 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 27294
/proc/meminfo: memFree=128901592/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3571.5 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107173 0 0 0 357126 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3571.5 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 27295
/proc/meminfo: memFree=128901912/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3600 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107173 0 0 0 359976 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.9 s]
# the end of solver process 26666 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.76 s, system=0.250729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.14 4.13 4.09 5/265 27295
/proc/meminfo: memFree=128901912/131250000 swapFree=33010684/33010684
[pid=26666] ppid=26663 vsize=346896 memory=337840 CPUtime=3600 cores=0,2
/proc/26666/stat : 26666 (uwrmaxsat-scip) R 26663 26666 25867 0 -1 4194304 107173 0 0 0 359976 24 0 0 20 0 1 0 35327650 355221504 84460 18446744073709551615 4198400 17051741 140726182326576 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 46141440 140726182328634 140726182328804 140726182328804 140726182334406 0
/proc/26666/statm: 86724 84460 3296 3139 0 83012 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 346896 KiB
Current children cumulated memory: 337840 KiB
Child status: 0
Real time (s): 3610.9
CPU time (s): 3600.01
CPU user time (s): 3599.76
CPU system time (s): 0.250729
CPU usage (%): 99.6984
Max. virtual memory (cumulated for all children) (KiB): 361416
Max. memory (cumulated for all children) (KiB): 352344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.76
system time used= 0.250729
maximum resident set size= 352344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107173
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= 48
involuntary context switches= 4560
# summary of solver processes directly reported to runsolver:
# pid: 26666
# total CPU time (s): 3600.01
# total CPU user time (s): 3599.76
# total CPU system time (s): 0.250729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.6656 second user time and 11.9345 second system time
The end
Begin job on nodeC013 at 2025-06-29 13:27:54
IDJOB=4510993
IDBENCH=160409
IDSOLVER=3373
FILE ID=nodeC013/4510993-1751196474
RUNJOBID= nodeC013-1751194426-25877
SLURM_JOB_ID= 9587597
Free space on /tmp= 433008 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.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-4510993-1751196474/watcher-4510993-1751196474 -o /tmp/evaluation-result-4510993-1751196474/solver-4510993-1751196474 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751194426-25877 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4510993-1751196474.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 60aa0ac85dc632e57e54cb255f142331
RANDOM SEED=1834937528
nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.842
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.753
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3560.603
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.857
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.866
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.307
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128080636 kB
MemAvailable: 127974408 kB
Buffers: 3280 kB
Cached: 697460 kB
SwapCached: 0 kB
Active: 2068000 kB
Inactive: 488636 kB
Active(anon): 1869180 kB
Inactive(anon): 0 kB
Active(file): 198820 kB
Inactive(file): 488636 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 16888 kB
Writeback: 0 kB
AnonPages: 1857912 kB
Mapped: 138256 kB
Shmem: 13284 kB
KReclaimable: 90708 kB
Slab: 176692 kB
SReclaimable: 90708 kB
SUnreclaim: 85984 kB
KernelStack: 4204 kB
PageTables: 6688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2194044 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1077248 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432992 MiB
End job on nodeC013 at 2025-06-29 14:28:05