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.41/0.49 c Converting 9185 PB-constraints to clauses...
0.41/0.51 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
303.32/304.11 c Starting SCIP solver (with time-limit: 900s) ...
1200.85/1204.11 c SCIP timeout with lower and upper bounds: [9, 9223372036854775807]
3600.00/3608.30 c *** TERMINATED by signal 15 ***
3600.00/3608.30 c _______________________________________________________________________________
3600.00/3608.30 c
3600.00/3608.30 c _______________________________________________________________________________
3600.00/3608.30 c
3600.00/3608.30 c =======================[ UWrMaxSat resources usage ]===========================
3600.00/3608.30 c Memory used : 1230.00 MB
3600.00/3608.30 c CPU time : 3598.68 s
3600.00/3608.30 c Constr Enc: Srt/BDD/Add: 673 0 0
3600.00/3608.30 c _______________________________________________________________________________
3600.00/3608.30 c _______________________________________________________________________________
3600.00/3608.30 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: 63837 MiB (63034 MiB free)
memory of node 1: 64465 MiB (63725 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498998-1751408247/watcher-4498998-1751408247 -o /tmp/evaluation-result-4498998-1751408247/solver-4498998-1751408247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751408247-68540 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4498998-1751408247.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68585, runsolver pid=68580
[startup+0.100072 s]*
/proc/loadavg: 0.29 1.03 2.07 4/259 68598
/proc/meminfo: memFree=129773144/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=27896 memory=12000 CPUtime=0.11 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 2079 0 0 0 10 1 0 0 20 0 1 0 56503901 28565504 3000 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 6974 3000 1120 3139 0 3262 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27896 KiB
Current children cumulated memory: 12000 KiB
[startup+0.214482 s]*
/proc/loadavg: 0.29 1.03 2.07 5/259 68602
/proc/meminfo: memFree=129751728/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=33568 memory=17428 CPUtime=0.22 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 3538 0 0 0 20 2 0 0 20 0 1 0 56503901 34373632 4357 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 8392 4357 1120 3139 0 4680 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 33568 KiB
Current children cumulated memory: 17428 KiB
[startup+0.314043 s]*
/proc/loadavg: 0.29 1.03 2.07 4/257 68606
/proc/meminfo: memFree=129732260/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=36472 memory=20372 CPUtime=0.32 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 4258 0 0 0 30 2 0 0 20 0 1 0 56503901 37347328 5093 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 9118 5093 1120 3139 0 5406 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 36472 KiB
Current children cumulated memory: 20372 KiB
[startup+0.700358 s]
/proc/loadavg: 0.29 1.03 2.07 4/257 68606
/proc/meminfo: memFree=129673920/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=90140 memory=76128 CPUtime=0.68 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 15195 0 0 0 62 6 0 0 20 0 1 0 56503901 92303360 19032 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 22535 19032 2688 3139 0 18823 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 90140 KiB
Current children cumulated memory: 76128 KiB
[startup+1.50035 s]
/proc/loadavg: 0.29 1.03 2.07 5/257 68606
/proc/meminfo: memFree=129488272/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=175084 memory=163204 CPUtime=1.48 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 25226 0 0 0 136 12 0 0 20 0 1 0 56503901 179286016 40801 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 43771 40801 2688 3139 0 40059 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 175084 KiB
Current children cumulated memory: 163204 KiB
[startup+3.11329 s]
/proc/loadavg: 0.29 1.03 2.07 4/256 68634
/proc/meminfo: memFree=128794780/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=476668 memory=424604 CPUtime=3.09 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 55837 0 0 0 285 24 0 0 20 0 1 0 56503901 488108032 106151 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 119167 106151 2688 3139 0 115455 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 476668 KiB
Current children cumulated memory: 424604 KiB
[startup+6.30033 s]
/proc/loadavg: 0.59 1.08 2.08 4/256 68634
/proc/meminfo: memFree=128746580/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=564736 memory=505196 CPUtime=6.27 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 61714 0 0 0 601 26 0 0 20 0 1 0 56503901 578289664 126299 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 141184 126299 2688 3139 0 137472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 564736 KiB
Current children cumulated memory: 505196 KiB
[startup+12.7003 s]
/proc/loadavg: 0.78 1.11 2.09 4/256 68634
/proc/meminfo: memFree=128694360/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=559100 memory=512884 CPUtime=12.66 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 64510 0 0 0 1237 29 0 0 20 0 1 0 56503901 572518400 128221 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 139775 128221 2720 3139 0 136063 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 559100 KiB
Current children cumulated memory: 512884 KiB
[startup+25.5003 s]
/proc/loadavg: 1.12 1.17 2.09 3/250 68670
/proc/meminfo: memFree=129093900/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=567644 memory=521628 CPUtime=25.42 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 68160 0 0 0 2507 35 0 0 20 0 1 0 56503901 581267456 130407 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 141911 130407 2720 3139 0 138199 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 567644 KiB
Current children cumulated memory: 521628 KiB
[startup+51.1127 s]
/proc/loadavg: 1.50 1.25 2.09 3/245 68671
/proc/meminfo: memFree=129090176/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=568272 memory=522260 CPUtime=50.97 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 70642 0 0 0 5057 40 0 0 20 0 1 0 56503901 581910528 130565 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 142068 130565 2720 3139 0 138356 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 568272 KiB
Current children cumulated memory: 522260 KiB
[startup+102.3 s]
/proc/loadavg: 1.86 1.39 2.09 3/244 68672
/proc/meminfo: memFree=129057720/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=582664 memory=537056 CPUtime=102.02 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 74004 0 0 0 10155 47 0 0 20 0 1 0 56503901 596647936 134264 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 145666 134264 2720 3139 0 141954 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 582664 KiB
Current children cumulated memory: 537056 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 1.52 2.09 3/245 68679
/proc/meminfo: memFree=129055248/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=573668 memory=528288 CPUtime=161.88 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 78647 0 0 0 16130 58 0 0 20 0 1 0 56503901 587436032 132072 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 143417 132072 2720 3139 0 139705 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 573668 KiB
Current children cumulated memory: 528288 KiB
[startup+222.3 s]
/proc/loadavg: 2.13 1.64 2.09 3/240 68681
/proc/meminfo: memFree=129010684/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=574208 memory=529268 CPUtime=221.71 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 81095 0 0 0 22108 63 0 0 20 0 1 0 56503901 587988992 132317 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 143552 132317 2720 3139 0 139840 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 574208 KiB
Current children cumulated memory: 529268 KiB
[startup+282.3 s]
/proc/loadavg: 2.11 1.72 2.09 3/240 68683
/proc/meminfo: memFree=128982584/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=575116 memory=530304 CPUtime=281.55 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 82767 0 0 0 28089 66 0 0 20 0 1 0 56503901 588918784 132576 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 143779 132576 2720 3139 0 140067 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 575116 KiB
Current children cumulated memory: 530304 KiB
[startup+342.3 s]
/proc/loadavg: 2.09 1.79 2.09 3/238 68685
/proc/meminfo: memFree=128717848/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=794008 memory=748720 CPUtime=341.42 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 135191 0 0 0 34066 76 0 0 20 0 1 0 56503901 813064192 187180 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 198502 187180 3296 3139 0 194790 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 794008 KiB
Current children cumulated memory: 748720 KiB
[startup+402.3 s]
/proc/loadavg: 2.15 1.86 2.09 3/237 68687
/proc/meminfo: memFree=128668692/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=844216 memory=798512 CPUtime=401.29 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 147729 0 0 0 40051 78 0 0 20 0 1 0 56503901 864477184 199628 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 211054 199628 3296 3139 0 207342 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 844216 KiB
Current children cumulated memory: 798512 KiB
[startup+462.3 s]
/proc/loadavg: 2.11 1.91 2.09 3/236 68689
/proc/meminfo: memFree=128616812/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=883708 memory=836656 CPUtime=461.11 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 157048 0 0 0 46031 80 0 0 20 0 1 0 56503901 904916992 209164 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 220927 209164 3296 3139 0 217215 0
Current children cumulated CPU time: 461.11 s
################
# More data... #
################
Current children cumulated memory: 906436 KiB
[startup+2922.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/238 68819
/proc/meminfo: memFree=128458096/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=957484 memory=915916 CPUtime=2915.44 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 161895 0 0 0 291453 91 0 0 20 0 1 0 56503901 980463616 228979 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 239371 228979 3360 3139 0 235659 0
Current children cumulated CPU time: 2915.44 s
Current children cumulated vsize: 957484 KiB
Current children cumulated memory: 915916 KiB
[startup+2982.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/238 68823
/proc/meminfo: memFree=128443208/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=984884 memory=943316 CPUtime=2975.32 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 162411 0 0 0 297438 94 0 0 20 0 1 0 56503901 1008521216 235829 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 246221 235829 3360 3139 0 242509 0
Current children cumulated CPU time: 2975.32 s
Current children cumulated vsize: 984884 KiB
Current children cumulated memory: 943316 KiB
[startup+3042.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/237 68825
/proc/meminfo: memFree=128450240/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=949356 memory=907908 CPUtime=3035.19 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 163862 0 0 0 303417 102 0 0 20 0 1 0 56503901 972140544 226977 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 237339 226977 3360 3139 0 233627 0
Current children cumulated CPU time: 3035.19 s
Current children cumulated vsize: 949356 KiB
Current children cumulated memory: 907908 KiB
[startup+3102.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/237 68827
/proc/meminfo: memFree=128357504/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=1027568 memory=986060 CPUtime=3095.06 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 164618 0 0 0 309396 110 0 0 20 0 1 0 56503901 1052229632 246515 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 256892 246515 3360 3139 0 253180 0
Current children cumulated CPU time: 3095.06 s
Current children cumulated vsize: 1027568 KiB
Current children cumulated memory: 986060 KiB
[startup+3162.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/238 68834
/proc/meminfo: memFree=128452832/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=947316 memory=905808 CPUtime=3154.94 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 165319 0 0 0 315378 116 0 0 20 0 1 0 56503901 970051584 226452 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 236829 226452 3360 3139 0 233117 0
Current children cumulated CPU time: 3154.94 s
Current children cumulated vsize: 947316 KiB
Current children cumulated memory: 905808 KiB
[startup+3222.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/238 68836
/proc/meminfo: memFree=128443416/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=958836 memory=917388 CPUtime=3214.81 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 166325 0 0 0 321363 118 0 0 20 0 1 0 56503901 981848064 229347 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 239709 229347 3360 3139 0 235997 0
Current children cumulated CPU time: 3214.81 s
Current children cumulated vsize: 958836 KiB
Current children cumulated memory: 917388 KiB
[startup+3282.3 s]
/proc/loadavg: 2.15 2.10 2.09 3/238 68838
/proc/meminfo: memFree=128521608/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=958148 memory=916640 CPUtime=3274.68 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 167287 0 0 0 327345 123 0 0 20 0 1 0 56503901 981143552 229160 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 239537 229160 3360 3139 0 235825 0
Current children cumulated CPU time: 3274.68 s
Current children cumulated vsize: 958148 KiB
Current children cumulated memory: 916640 KiB
[startup+3342.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/238 68840
/proc/meminfo: memFree=128657888/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=824236 memory=782728 CPUtime=3334.56 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 168146 0 0 0 333330 126 0 0 20 0 1 0 56503901 844017664 195682 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 206059 195682 3360 3139 0 202347 0
Current children cumulated CPU time: 3334.56 s
Current children cumulated vsize: 824236 KiB
Current children cumulated memory: 782728 KiB
[startup+3402.3 s]
/proc/loadavg: 2.08 2.09 2.09 3/238 68842
/proc/meminfo: memFree=128664080/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=824236 memory=782788 CPUtime=3394.44 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 168667 0 0 0 339316 128 0 0 20 0 1 0 56503901 844017664 195697 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 206059 195697 3360 3139 0 202347 0
Current children cumulated CPU time: 3394.44 s
Current children cumulated vsize: 824236 KiB
Current children cumulated memory: 782788 KiB
[startup+3462.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/237 68844
/proc/meminfo: memFree=128615220/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=887884 memory=846316 CPUtime=3454.31 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 168790 0 0 0 345302 129 0 0 20 0 1 0 56503901 909193216 211579 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 221971 211579 3360 3139 0 218259 0
Current children cumulated CPU time: 3454.31 s
Current children cumulated vsize: 887884 KiB
Current children cumulated memory: 846316 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/237 68846
/proc/meminfo: memFree=128610912/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=892840 memory=851272 CPUtime=3514.18 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 169286 0 0 0 351287 131 0 0 20 0 1 0 56503901 914268160 212818 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 223210 212818 3360 3139 0 219498 0
Current children cumulated CPU time: 3514.18 s
Current children cumulated vsize: 892840 KiB
Current children cumulated memory: 851272 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.11 2.09 3/238 68851
/proc/meminfo: memFree=128582604/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=902012 memory=860444 CPUtime=3574.05 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 169920 0 0 0 357273 132 0 0 20 0 1 0 56503901 923660288 215111 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 225503 215111 3360 3139 0 221791 0
Current children cumulated CPU time: 3574.05 s
Current children cumulated vsize: 902012 KiB
Current children cumulated memory: 860444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/238 68851
/proc/meminfo: memFree=128582356/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=902012 memory=860444 CPUtime=3600 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 169964 0 0 0 359868 132 0 0 20 0 1 0 56503901 923660288 215111 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 225503 215111 3360 3139 0 221791 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 902012 KiB
Current children cumulated memory: 860444 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.3 s]
# the end of solver process 68585 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.68 s, system=1.32919 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.3 s]
/proc/loadavg: 2.10 2.10 2.09 3/238 68851
/proc/meminfo: memFree=128582356/131382112 swapFree=33005784/33010684
[pid=68585] ppid=68580 vsize=902012 memory=860444 CPUtime=3600 cores=4,6
/proc/68585/stat : 68585 (uwrmaxsat-scip) R 68580 68585 68503 0 -1 4194304 169964 0 0 0 359868 132 0 0 20 0 1 0 56503901 923660288 215111 18446744073709551615 4198400 17051741 140732846356192 0 0 0 0 0 8416290 0 0 0 17 4 0 0 0 0 0 19288744 19393640 28581888 140732846360890 140732846361060 140732846361060 140732846366662 0
/proc/68585/statm: 225503 215111 3360 3139 0 221791 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 902012 KiB
Current children cumulated memory: 860444 KiB
Child status: 0
Real time (s): 3608.3
CPU time (s): 3600.01
CPU user time (s): 3598.68
CPU system time (s): 1.32919
CPU usage (%): 99.7702
Max. virtual memory (cumulated for all children) (KiB): 1259812
Max. memory (cumulated for all children) (KiB): 1218244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.68
system time used= 1.32919
maximum resident set size= 1218244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169964
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= 86
involuntary context switches= 2147
# summary of solver processes directly reported to runsolver:
# pid: 68585
# total CPU time (s): 3600.01
# total CPU user time (s): 3598.68
# total CPU system time (s): 1.32919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1727 second user time and 34.4053 second system time
The end
Begin job on nodeC007 at 2025-07-02 00:17:27
IDJOB=4498998
IDBENCH=148768
IDSOLVER=3373
FILE ID=nodeC007/4498998-1751408247
RUNJOBID= nodeC007-1751408247-68540
SLURM_JOB_ID= 9598307
Free space on /tmp= 432544 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.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-4498998-1751408247/watcher-4498998-1751408247 -o /tmp/evaluation-result-4498998-1751408247/solver-4498998-1751408247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751408247-68540 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4498998-1751408247.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=787987661
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.217
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.193
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.208
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.197
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.259
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129764324 kB
MemAvailable: 129850424 kB
Buffers: 16 kB
Cached: 778404 kB
SwapCached: 216 kB
Active: 188624 kB
Inactive: 656112 kB
Active(anon): 30564 kB
Inactive(anon): 49244 kB
Active(file): 158060 kB
Inactive(file): 606868 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 67916 kB
Writeback: 0 kB
AnonPages: 69172 kB
Mapped: 97740 kB
Shmem: 13492 kB
KReclaimable: 321596 kB
Slab: 409304 kB
SReclaimable: 321596 kB
SUnreclaim: 87708 kB
KernelStack: 3968 kB
PageTables: 2808 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 331952 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432480 MiB
End job on nodeC007 at 2025-07-02 01:17:36