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.89/0.97 c Converting 285685 PB-constraints to clauses...
0.89/0.99 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1.68/1.75 c ============================[ Encoding Statistics ]============================
1.68/1.75 c | Number of variables: 6800 |
1.68/1.75 c | Number of clauses: 285685 |
1.68/1.75 c ===============================================================================
301.87/302.75 c Starting SCIP solver (with time-limit: 900s) ...
1199.04/1202.75 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.02/3610.20 c *** TERMINATED by signal 15 ***
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c
3600.02/3610.20 c =======================[ UWrMaxSat resources usage ]===========================
3600.02/3610.20 c Memory used : 2139.00 MB
3600.02/3610.20 c CPU time : 3595.56 s
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.20 c _______________________________________________________________________________
3600.02/3610.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: 63708 MiB (62405 MiB free)
memory of node 1: 64465 MiB (63773 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493173-1751146159/watcher-4493173-1751146159 -o /tmp/evaluation-result-4493173-1751146159/solver-4493173-1751146159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13296 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4493173-1751146159.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=15486, runsolver pid=15483
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=129199844/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=40976 memory=24928 CPUtime=0.1 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 5292 0 0 0 9 1 0 0 20 0 1 0 30294585 41959424 6232 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 10244 6232 1120 3139 0 6532 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40976 KiB
Current children cumulated memory: 24928 KiB
[startup+0.20549 s]*
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=129167588/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=60860 memory=44768 CPUtime=0.19 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 10249 0 0 0 18 1 0 0 20 0 1 0 30294585 62320640 11192 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 15215 11192 1120 3139 0 11503 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60860 KiB
Current children cumulated memory: 44768 KiB
[startup+0.305446 s]*
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=129151460/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=79636 memory=63584 CPUtime=0.3 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 14956 0 0 0 28 2 0 0 20 0 1 0 30294585 81547264 15896 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 19909 15896 1120 3139 0 16197 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79636 KiB
Current children cumulated memory: 63584 KiB
[startup+0.700148 s]
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=129111140/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=153032 memory=136928 CPUtime=0.69 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 33310 0 0 0 63 6 0 0 20 0 1 0 30294585 156704768 34232 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 38258 34232 1120 3139 0 34546 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153032 KiB
Current children cumulated memory: 136928 KiB
[startup+1.50017 s]
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=129014876/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=395728 memory=384688 CPUtime=1.49 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 95292 0 0 0 133 16 0 0 20 0 1 0 30294585 405225472 96172 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 98932 96172 2688 3139 0 95220 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 395728 KiB
Current children cumulated memory: 384688 KiB
[startup+3.10537 s]
/proc/loadavg: 4.16 4.12 3.88 5/263 15487
/proc/meminfo: memFree=128736820/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=497072 memory=483344 CPUtime=3.09 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 118390 0 0 0 288 21 0 0 20 0 1 0 30294585 509001728 120836 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 124268 120836 2720 3139 0 120556 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 497072 KiB
Current children cumulated memory: 483344 KiB
[startup+6.30019 s]
/proc/loadavg: 4.15 4.12 3.88 5/263 15487
/proc/meminfo: memFree=128726988/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=492384 memory=481740 CPUtime=6.28 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 122502 0 0 0 604 24 0 0 20 0 1 0 30294585 504201216 120435 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 123096 120435 2720 3139 0 119384 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 492384 KiB
Current children cumulated memory: 481740 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.12 3.88 5/263 15487
/proc/meminfo: memFree=128729320/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=522920 memory=512212 CPUtime=12.66 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 124209 0 0 0 1241 25 0 0 20 0 1 0 30294585 535470080 128053 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 130730 128053 2720 3139 0 127018 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 522920 KiB
Current children cumulated memory: 512212 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 3.89 5/264 15489
/proc/meminfo: memFree=128669780/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=548536 memory=537892 CPUtime=25.42 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 126078 0 0 0 2515 27 0 0 20 0 1 0 30294585 561700864 134473 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 137134 134473 2720 3139 0 133422 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 548536 KiB
Current children cumulated memory: 537892 KiB
[startup+51.1048 s]
/proc/loadavg: 4.14 4.12 3.90 5/264 15579
/proc/meminfo: memFree=128650428/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=559280 memory=548700 CPUtime=50.96 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 127965 0 0 0 5065 31 0 0 20 0 1 0 30294585 572702720 137175 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 139820 137175 2720 3139 0 136108 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 559280 KiB
Current children cumulated memory: 548700 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 3.91 5/264 15582
/proc/meminfo: memFree=128587524/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=535988 memory=525600 CPUtime=102.01 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 133382 0 0 0 10161 40 0 0 20 0 1 0 30294585 548851712 131400 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 133997 131400 2720 3139 0 130285 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 535988 KiB
Current children cumulated memory: 525600 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 3.92 5/264 15584
/proc/meminfo: memFree=128530112/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=558360 memory=548100 CPUtime=161.83 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 138053 0 0 0 16131 52 0 0 20 0 1 0 30294585 571760640 137025 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 139590 137025 2720 3139 0 135878 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 558360 KiB
Current children cumulated memory: 548100 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 3.94 5/263 15586
/proc/meminfo: memFree=128479500/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=563344 memory=552956 CPUtime=221.67 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 142418 0 0 0 22105 62 0 0 20 0 1 0 30294585 576864256 138239 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 140836 138239 2720 3139 0 137124 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 563344 KiB
Current children cumulated memory: 552956 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.11 3.95 5/263 15588
/proc/meminfo: memFree=128455604/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=544676 memory=534288 CPUtime=281.52 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 146825 0 0 0 28080 72 0 0 20 0 1 0 30294585 557748224 133572 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 27682 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 136169 133572 2720 3139 0 132457 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 544676 KiB
Current children cumulated memory: 534288 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.10 3.96 5/262 15680
/proc/meminfo: memFree=127300816/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=1466688 memory=1424020 CPUtime=341.35 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 332425 0 0 0 34029 106 0 0 20 0 1 0 30294585 1501888512 356005 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 366672 356005 3296 3139 0 362960 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 1466688 KiB
Current children cumulated memory: 1424020 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.11 3.98 5/263 15683
/proc/meminfo: memFree=126925144/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=1729080 memory=1578152 CPUtime=401.18 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 441866 0 0 0 39994 124 0 0 20 0 1 0 30294585 1770577920 394538 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 432270 394538 3296 3139 0 428558 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 1729080 KiB
Current children cumulated memory: 1578152 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.11 3.99 5/264 15688
/proc/meminfo: memFree=126692084/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=1989580 memory=1832856 CPUtime=461 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 502038 0 0 0 45968 132 0 0 20 0 1 0 30294585 2037329920 458214 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 497395 458214 3296 3139 0 493683 0
################
# More data... #
################
Current children cumulated memory: 429120 KiB
[startup+2862.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/265 16017
/proc/meminfo: memFree=128372172/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=546140 memory=538348 CPUtime=2854.25 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 611853 0 0 0 285077 348 0 0 20 0 1 0 30294585 559247360 134587 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 136535 134587 3296 3139 0 132823 0
Current children cumulated CPU time: 2854.25 s
Current children cumulated vsize: 546140 KiB
Current children cumulated memory: 538348 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.19 4.14 5/263 16021
/proc/meminfo: memFree=128166168/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=451568 memory=443776 CPUtime=2914.08 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 613851 0 0 0 291051 357 0 0 20 0 1 0 30294585 462405632 110944 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 112892 110944 3296 3139 0 109180 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 451568 KiB
Current children cumulated memory: 443776 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 16029
/proc/meminfo: memFree=128134380/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=540448 memory=532740 CPUtime=2973.91 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 615611 0 0 0 297026 365 0 0 20 0 1 0 30294585 553418752 133185 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 135112 133185 3296 3139 0 131400 0
Current children cumulated CPU time: 2973.91 s
Current children cumulated vsize: 540448 KiB
Current children cumulated memory: 532740 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/265 16031
/proc/meminfo: memFree=128115932/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=515468 memory=507676 CPUtime=3033.73 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 617120 0 0 0 303003 370 0 0 20 0 1 0 30294585 527839232 126919 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 128867 126919 3296 3139 0 125155 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 515468 KiB
Current children cumulated memory: 507676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.13 5/265 16033
/proc/meminfo: memFree=128140168/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=466248 memory=458456 CPUtime=3093.56 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 619412 0 0 0 308977 379 0 0 20 0 1 0 30294585 477437952 114614 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 116562 114614 3296 3139 0 112850 0
Current children cumulated CPU time: 3093.56 s
Current children cumulated vsize: 466248 KiB
Current children cumulated memory: 458456 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/264 16035
/proc/meminfo: memFree=128102644/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=465644 memory=458584 CPUtime=3153.39 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 621022 0 0 0 314952 387 0 0 20 0 1 0 30294585 476819456 114646 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 116411 114646 3296 3139 0 112699 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 465644 KiB
Current children cumulated memory: 458584 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/264 16037
/proc/meminfo: memFree=128130524/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=436300 memory=429240 CPUtime=3213.23 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 622869 0 0 0 320929 394 0 0 20 0 1 0 30294585 446771200 107310 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 109075 107310 3296 3139 0 105363 0
Current children cumulated CPU time: 3213.23 s
Current children cumulated vsize: 436300 KiB
Current children cumulated memory: 429240 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/262 16039
/proc/meminfo: memFree=128230380/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=393884 memory=386824 CPUtime=3273.06 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 624863 0 0 0 326902 404 0 0 20 0 1 0 30294585 403337216 96706 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 98471 96706 3296 3139 0 94759 0
Current children cumulated CPU time: 3273.06 s
Current children cumulated vsize: 393884 KiB
Current children cumulated memory: 386824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.13 4.12 5/263 16042
/proc/meminfo: memFree=128132016/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=482048 memory=474988 CPUtime=3332.89 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 626313 0 0 0 332879 410 0 0 20 0 1 0 30294585 493617152 118747 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 120512 118747 3296 3139 0 116800 0
Current children cumulated CPU time: 3332.89 s
Current children cumulated vsize: 482048 KiB
Current children cumulated memory: 474988 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.11 5/263 16043
/proc/meminfo: memFree=128170608/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=418648 memory=411588 CPUtime=3392.71 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 627965 0 0 0 338854 417 0 0 20 0 1 0 30294585 428695552 102897 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 104662 102897 3296 3139 0 100950 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 418648 KiB
Current children cumulated memory: 411588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.11 5/263 16045
/proc/meminfo: memFree=128203912/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=384708 memory=377648 CPUtime=3452.54 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 630521 0 0 0 344828 426 0 0 20 0 1 0 30294585 393940992 94412 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 96177 94412 3296 3139 0 92465 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 384708 KiB
Current children cumulated memory: 377648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 16050
/proc/meminfo: memFree=128165856/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=454316 memory=447256 CPUtime=3512.37 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 631802 0 0 0 350805 432 0 0 20 0 1 0 30294585 465219584 111814 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 113579 111814 3296 3139 0 109867 0
Current children cumulated CPU time: 3512.37 s
Current children cumulated vsize: 454316 KiB
Current children cumulated memory: 447256 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/264 16056
/proc/meminfo: memFree=128153192/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=443932 memory=436872 CPUtime=3572.2 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 633985 0 0 0 356779 441 0 0 20 0 1 0 30294585 454586368 109218 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 110983 109218 3296 3139 0 107271 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 443932 KiB
Current children cumulated memory: 436872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.2 s]
/proc/loadavg: 4.09 4.11 4.10 5/264 16058
/proc/meminfo: memFree=128121016/131250000 swapFree=33010684/33010684
[pid=15486] ppid=15483 vsize=470348 memory=463288 CPUtime=3600.02 cores=0,2
/proc/15486/stat : 15486 (uwrmaxsat-scip) R 15483 15486 13281 0 -1 4194304 635529 0 0 0 359555 447 0 0 20 0 1 0 30294585 481636352 115822 18446744073709551615 4198400 17051741 140725487513776 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 19288744 19393640 33382400 140725487515962 140725487516132 140725487516132 140725487521734 0
/proc/15486/statm: 117587 115822 3296 3139 0 113875 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 470348 KiB
Current children cumulated memory: 463288 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.2 s]
# the end of solver process 15486 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3595.56 s, system=4.47782 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.2
CPU time (s): 3600.04
CPU user time (s): 3595.56
CPU system time (s): 4.47782
CPU usage (%): 99.7185
Max. virtual memory (cumulated for all children) (KiB): 2190572
Max. memory (cumulated for all children) (KiB): 2038444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.56
system time used= 4.47782
maximum resident set size= 2038444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 635529
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= 88
involuntary context switches= 7856
# summary of solver processes directly reported to runsolver:
# pid: 15486
# total CPU time (s): 3600.04
# total CPU user time (s): 3595.56
# total CPU system time (s): 4.47782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78041 second user time and 15.2401 second system time
The end
Begin job on nodeC026 at 2025-06-28 23:29:19
IDJOB=4493173
IDBENCH=147848
IDSOLVER=3373
FILE ID=nodeC026/4493173-1751146159
RUNJOBID= nodeC026-1751144206-13296
SLURM_JOB_ID= 9587438
Free space on /tmp= 433000 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.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-4493173-1751146159/watcher-4493173-1751146159 -o /tmp/evaluation-result-4493173-1751146159/solver-4493173-1751146159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13296 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4493173-1751146159.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b66aa0ca883b9987dbaf460c58c6223e
RANDOM SEED=809668781
nodeC026 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 : 3600.043
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.59
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.741
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.59
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 : 3512.476
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.580
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.59
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.784
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.59
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.789
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.59
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 : 3600.493
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.59
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.501
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129207880 kB
MemAvailable: 128870004 kB
Buffers: 3280 kB
Cached: 473444 kB
SwapCached: 0 kB
Active: 1149824 kB
Inactive: 266732 kB
Active(anon): 957912 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 266732 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 23712 kB
Writeback: 0 kB
AnonPages: 941000 kB
Mapped: 138036 kB
Shmem: 18080 kB
KReclaimable: 85440 kB
Slab: 168540 kB
SReclaimable: 85440 kB
SUnreclaim: 83100 kB
KernelStack: 4304 kB
PageTables: 5008 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1343932 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 802816 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432980 MiB
End job on nodeC026 at 2025-06-29 00:29:30