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.40/0.43 c Converting 1386 PB-constraints to clauses...
0.40/0.44 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1.28/1.38 c ============================[ Encoding Statistics ]============================
1.28/1.38 c | Number of variables: 244521 |
1.28/1.38 c | Number of clauses: 851136 |
1.28/1.38 c ===============================================================================
301.41/302.38 c Starting SCIP solver (with time-limit: 900s) ...
1198.88/1202.38 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.07/3609.60 c *** TERMINATED by signal 15 ***
3600.07/3609.60 c _______________________________________________________________________________
3600.07/3609.60 c
3600.07/3609.60 c _______________________________________________________________________________
3600.07/3609.60 c
3600.07/3609.60 c =======================[ UWrMaxSat resources usage ]===========================
3600.07/3609.60 c Memory used : 756.00 MB
3600.07/3609.60 c CPU time : 3598.86 s
3600.07/3609.60 c Constr Enc: Srt/BDD/Add: 162 612 0
3600.07/3609.60 c _______________________________________________________________________________
3600.07/3609.60 c _______________________________________________________________________________
3600.07/3609.60 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 (61010 MiB free)
memory of node 1: 64465 MiB (63654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4493317-1751146493/watcher-4493317-1751146493 -o /tmp/evaluation-result-4493317-1751146493/solver-4493317-1751146493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13299 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4493317-1751146493.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15679, runsolver pid=15676
[startup+0.100065 s]*
/proc/loadavg: 4.10 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127640556/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=36948 memory=20900 CPUtime=0.09 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 4577 0 0 0 9 0 0 0 20 0 1 0 30327975 37834752 5225 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 9237 5225 1120 3139 0 5525 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36948 KiB
Current children cumulated memory: 20900 KiB
[startup+0.205679 s]*
/proc/loadavg: 4.10 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127640556/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=46076 memory=29988 CPUtime=0.2 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 6869 0 0 0 20 0 0 0 20 0 1 0 30327975 47181824 7497 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 11519 7497 1120 3139 0 7807 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46076 KiB
Current children cumulated memory: 29988 KiB
[startup+0.305406 s]*
/proc/loadavg: 4.10 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127632492/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=55068 memory=38948 CPUtime=0.3 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 9105 0 0 0 29 1 0 0 20 0 1 0 30327975 56389632 9737 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 13767 9737 1120 3139 0 10055 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 55068 KiB
Current children cumulated memory: 38948 KiB
[startup+0.700119 s]
/proc/loadavg: 4.10 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127588580/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=99156 memory=89068 CPUtime=0.69 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 26034 0 0 0 66 3 0 0 20 0 1 0 30327975 101535744 22267 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 24789 22267 2688 3139 0 21077 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 99156 KiB
Current children cumulated memory: 89068 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127580516/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=232740 memory=217152 CPUtime=1.49 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 50919 0 0 0 142 7 0 0 20 0 1 0 30327975 238325760 54288 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 58185 54288 2688 3139 0 54473 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 232740 KiB
Current children cumulated memory: 217152 KiB
[startup+3.10526 s]
/proc/loadavg: 4.09 4.11 3.96 5/262 15680
/proc/meminfo: memFree=127324444/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=278848 memory=258536 CPUtime=3.09 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 52885 0 0 0 300 9 0 0 20 0 1 0 30327975 285540352 64634 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 69712 64634 2688 3139 0 66000 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 278848 KiB
Current children cumulated memory: 258536 KiB
[startup+6.30016 s]
/proc/loadavg: 4.08 4.10 3.96 5/262 15680
/proc/meminfo: memFree=127307936/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=297476 memory=283544 CPUtime=6.27 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 57342 0 0 0 617 10 0 0 20 0 1 0 30327975 304615424 70886 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 74369 70886 2688 3139 0 70657 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 297476 KiB
Current children cumulated memory: 283544 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 3.96 5/262 15680
/proc/meminfo: memFree=127288424/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=336840 memory=322860 CPUtime=12.66 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 58046 0 0 0 1255 11 0 0 20 0 1 0 30327975 344924160 80715 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 84210 80715 2688 3139 0 80498 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 336840 KiB
Current children cumulated memory: 322860 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.11 3.97 5/262 15680
/proc/meminfo: memFree=127041868/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=404948 memory=391036 CPUtime=25.42 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 59286 0 0 0 2530 12 0 0 20 0 1 0 30327975 414666752 97759 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 101237 97759 2688 3139 0 97525 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 404948 KiB
Current children cumulated memory: 391036 KiB
[startup+51.1054 s]
/proc/loadavg: 4.08 4.10 3.97 5/262 15680
/proc/meminfo: memFree=126825956/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=330656 memory=316732 CPUtime=50.94 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 61847 0 0 0 5080 14 0 0 20 0 1 0 30327975 338591744 79183 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 82664 79183 2688 3139 0 78952 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 330656 KiB
Current children cumulated memory: 316732 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 3.99 5/263 15683
/proc/meminfo: memFree=126682044/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=321920 memory=302912 CPUtime=102 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 63954 0 0 0 10182 18 0 0 20 0 1 0 30327975 329646080 75728 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 80480 75728 2688 3139 0 76768 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 321920 KiB
Current children cumulated memory: 302912 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.00 5/264 15688
/proc/meminfo: memFree=126573800/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=320244 memory=306224 CPUtime=161.81 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 68742 0 0 0 16159 22 0 0 20 0 1 0 30327975 327929856 76556 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 80061 76556 2688 3139 0 76349 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 320244 KiB
Current children cumulated memory: 306224 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 4.18 4.03 5/265 15695
/proc/meminfo: memFree=126621720/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=312172 memory=298316 CPUtime=221.64 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 71370 0 0 0 22138 26 0 0 20 0 1 0 30327975 319664128 74579 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 78043 74579 2688 3139 0 74331 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 312172 KiB
Current children cumulated memory: 298316 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.17 4.03 5/265 15697
/proc/meminfo: memFree=126592124/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=330928 memory=302468 CPUtime=281.47 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 73744 0 0 0 28120 27 0 0 20 0 1 0 30327975 338870272 75617 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 27682 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 82732 75617 2688 3139 0 79020 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 330928 KiB
Current children cumulated memory: 302468 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.14 4.03 5/265 15699
/proc/meminfo: memFree=126277084/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=654736 memory=534564 CPUtime=341.28 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 111971 0 0 0 34094 34 0 0 20 0 1 0 30327975 670449664 133641 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 163684 133641 3104 3139 0 159972 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 654736 KiB
Current children cumulated memory: 534564 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.03 5/264 15701
/proc/meminfo: memFree=126204728/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=713080 memory=588836 CPUtime=401.09 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 125441 0 0 0 40073 36 0 0 20 0 1 0 30327975 730193920 147209 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 178270 147209 3264 3139 0 174558 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 713080 KiB
Current children cumulated memory: 588836 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.13 4.03 5/263 15703
/proc/meminfo: memFree=126189096/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=713080 memory=588964 CPUtime=460.92 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 125483 0 0 0 46056 36 0 0 20 0 1 0 30327975 730193920 147241 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 178270 147241 3264 3139 0 174558 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 370264 KiB
[startup+2862.3 s]
/proc/loadavg: 4.14 4.14 4.13 5/264 16036
/proc/meminfo: memFree=128191584/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=391672 memory=379756 CPUtime=2854.68 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 158610 0 0 0 285387 81 0 0 20 0 1 0 30327975 401072128 94939 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 97918 94939 3296 3139 0 94206 0
Current children cumulated CPU time: 2854.68 s
Current children cumulated vsize: 391672 KiB
Current children cumulated memory: 379756 KiB
[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/263 16038
/proc/meminfo: memFree=128151664/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=321020 memory=309232 CPUtime=2914.53 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 161056 0 0 0 291369 84 0 0 20 0 1 0 30327975 328724480 77308 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 80255 77308 3296 3139 0 76543 0
Current children cumulated CPU time: 2914.53 s
Current children cumulated vsize: 321020 KiB
Current children cumulated memory: 309232 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/262 16040
/proc/meminfo: memFree=128111792/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=350652 memory=338736 CPUtime=2974.38 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 163009 0 0 0 297352 86 0 0 20 0 1 0 30327975 359067648 84684 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 87663 84684 3296 3139 0 83951 0
Current children cumulated CPU time: 2974.38 s
Current children cumulated vsize: 350652 KiB
Current children cumulated memory: 338736 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/263 16043
/proc/meminfo: memFree=128232404/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=315272 memory=303356 CPUtime=3034.22 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 165012 0 0 0 303334 88 0 0 20 0 1 0 30327975 322838528 75839 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 78818 75839 3296 3139 0 75106 0
Current children cumulated CPU time: 3034.22 s
Current children cumulated vsize: 315272 KiB
Current children cumulated memory: 303356 KiB
[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/263 16045
/proc/meminfo: memFree=128096612/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=351160 memory=339244 CPUtime=3094.07 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 165805 0 0 0 309317 90 0 0 20 0 1 0 30327975 359587840 84811 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 87790 84811 3296 3139 0 84078 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 351160 KiB
Current children cumulated memory: 339244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/264 16050
/proc/meminfo: memFree=128141764/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=350540 memory=338624 CPUtime=3153.92 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 166553 0 0 0 315301 91 0 0 20 0 1 0 30327975 358952960 84656 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 87635 84656 3296 3139 0 83923 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 350540 KiB
Current children cumulated memory: 338624 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/264 16056
/proc/meminfo: memFree=128186192/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=341540 memory=329624 CPUtime=3213.77 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 168877 0 0 0 321281 96 0 0 20 0 1 0 30327975 349736960 82406 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 85385 82406 3296 3139 0 81673 0
Current children cumulated CPU time: 3213.77 s
Current children cumulated vsize: 341540 KiB
Current children cumulated memory: 329624 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/264 16148
/proc/meminfo: memFree=128568740/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=349272 memory=337356 CPUtime=3273.61 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 169795 0 0 0 327264 97 0 0 20 0 1 0 30327975 357654528 84339 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 87318 84339 3296 3139 0 83606 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 349272 KiB
Current children cumulated memory: 337356 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.10 4/259 16519
/proc/meminfo: memFree=129319708/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=300368 memory=288452 CPUtime=3333.45 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 174132 0 0 0 333245 100 0 0 20 0 1 0 30327975 307576832 72113 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 75092 72113 3296 3139 0 71380 0
Current children cumulated CPU time: 3333.45 s
Current children cumulated vsize: 300368 KiB
Current children cumulated memory: 288452 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.14 4.10 5/264 16871
/proc/meminfo: memFree=122855984/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=491644 memory=479788 CPUtime=3393.29 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 185614 0 0 0 339220 109 0 0 20 0 1 0 30327975 503443456 119947 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 122911 119947 3296 3139 0 119199 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 491644 KiB
Current children cumulated memory: 479788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/264 17052
/proc/meminfo: memFree=122323568/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=456104 memory=444188 CPUtime=3453.15 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 187098 0 0 0 345201 114 0 0 20 0 1 0 30327975 467050496 111047 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 114026 111047 3296 3139 0 110314 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 456104 KiB
Current children cumulated memory: 444188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.16 4.11 5/266 17280
/proc/meminfo: memFree=123308380/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=473820 memory=462028 CPUtime=3512.99 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 187802 0 0 0 351183 116 0 0 20 0 1 0 30327975 485191680 115507 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 118455 115507 3296 3139 0 114743 0
Current children cumulated CPU time: 3512.99 s
Current children cumulated vsize: 473820 KiB
Current children cumulated memory: 462028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/266 17371
/proc/meminfo: memFree=128195680/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=442396 memory=430480 CPUtime=3572.83 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 188881 0 0 0 357165 118 0 0 20 0 1 0 30327975 453013504 107620 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 110599 107620 3296 3139 0 106887 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 442396 KiB
Current children cumulated memory: 430480 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.21 4.17 4.12 5/266 17372
/proc/meminfo: memFree=128156452/131250000 swapFree=33010684/33010684
[pid=15679] ppid=15676 vsize=456488 memory=444572 CPUtime=3600.07 cores=5,7
/proc/15679/stat : 15679 (uwrmaxsat-scip) R 15676 15679 13281 0 -1 4194304 189332 0 0 0 359886 121 0 0 20 0 1 0 30327975 467443712 111143 18446744073709551615 4198400 17051741 140729265477696 0 0 0 0 0 8416290 0 0 0 17 5 0 0 0 0 0 19288744 19393640 29450240 140729265486138 140729265486308 140729265486308 140729265491910 0
/proc/15679/statm: 114122 111143 3296 3139 0 110410 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 456488 KiB
Current children cumulated memory: 444572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.6 s]
# the end of solver process 15679 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.86 s, system=1.21442 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.6
CPU time (s): 3600.08
CPU user time (s): 3598.86
CPU system time (s): 1.21442
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 774748
Max. memory (cumulated for all children) (KiB): 703420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.21442
maximum resident set size= 703420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189332
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= 36
involuntary context switches= 2547
# summary of solver processes directly reported to runsolver:
# pid: 15679
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.86
# total CPU system time (s): 1.21442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47807 second user time and 15.5026 second system time
The end
Begin job on nodeC026 at 2025-06-28 23:34:53
IDJOB=4493317
IDBENCH=147859
IDSOLVER=3373
FILE ID=nodeC026/4493317-1751146493
RUNJOBID= nodeC026-1751144206-13299
SLURM_JOB_ID= 9587438
Free space on /tmp= 432996 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.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-4493317-1751146493/watcher-4493317-1751146493 -o /tmp/evaluation-result-4493317-1751146493/solver-4493317-1751146493 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751144206-13299 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4493317-1751146493.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=583692951
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 : 3599.869
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.766
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 : 3600.804
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.384
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.797
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 : 3570.720
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 : 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.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.689
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: 127657900 kB
MemAvailable: 127324444 kB
Buffers: 3280 kB
Cached: 477808 kB
SwapCached: 0 kB
Active: 2652264 kB
Inactive: 271096 kB
Active(anon): 2460352 kB
Inactive(anon): 0 kB
Active(file): 191912 kB
Inactive(file): 271096 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 18788 kB
Writeback: 0 kB
AnonPages: 2443320 kB
Mapped: 141676 kB
Shmem: 18080 kB
KReclaimable: 85552 kB
Slab: 168800 kB
SReclaimable: 85552 kB
SUnreclaim: 83248 kB
KernelStack: 4224 kB
PageTables: 7772 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2856684 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1400832 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= 432972 MiB
End job on nodeC026 at 2025-06-29 00:35:03