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...
175.71/176.34 c Converting 6873 PB-constraints to clauses...
182.60/183.23 c Using SCIP solver, version 9.02.2, https://www.scipopt.org
1512.33/1516.21 c Out of memery in converting constraints: std::bad_alloc
1512.33/1516.21 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 (62339 MiB free)
memory of node 1: 64465 MiB (61639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515075-1751219335/watcher-4515075-1751219335 -o /tmp/evaluation-result-4515075-1751219335/solver-4515075-1751219335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4515075-1751219335.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32552, runsolver pid=32549
[startup+0.100068 s]*
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=126903224/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=75244 memory=59164 CPUtime=0.09 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 11203 0 0 0 7 2 0 0 20 0 1 0 37613092 77049856 14791 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 18811 14791 1120 3139 0 15099 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 75244 KiB
Current children cumulated memory: 59164 KiB
[startup+0.205588 s]*
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=126854708/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=130496 memory=109276 CPUtime=0.19 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 18625 0 0 0 15 4 0 0 20 0 1 0 37613092 133627904 27319 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 32624 27319 1120 3139 0 28912 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130496 KiB
Current children cumulated memory: 109276 KiB
[startup+0.305547 s]*
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=126810288/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=170008 memory=150496 CPUtime=0.28 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 23854 0 0 0 23 5 0 0 20 0 1 0 37613092 174088192 37624 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 42502 37624 1120 3139 0 38790 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 170008 KiB
Current children cumulated memory: 150496 KiB
[startup+0.7002 s]
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=126696364/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=341092 memory=321904 CPUtime=0.66 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 35541 0 0 0 56 10 0 0 20 0 1 0 37613092 349278208 80476 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 85273 80476 1120 3139 0 81561 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 341092 KiB
Current children cumulated memory: 321904 KiB
[startup+1.5002 s]
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=126431332/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=697000 memory=676232 CPUtime=1.45 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 55677 0 0 0 125 20 0 0 20 0 1 0 37613092 713728000 169058 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 174250 169058 1120 3139 0 170538 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 697000 KiB
Current children cumulated memory: 676232 KiB
[startup+3.10533 s]
/proc/loadavg: 4.40 4.23 4.14 5/251 32553
/proc/meminfo: memFree=125115668/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=2008000 memory=1919040 CPUtime=3.04 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 226495 0 0 0 246 58 0 0 20 0 1 0 37613092 2056192000 479760 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 502000 479760 1120 3139 0 498288 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 2008000 KiB
Current children cumulated memory: 1919040 KiB
[startup+6.30017 s]
/proc/loadavg: 4.44 4.24 4.14 5/251 32553
/proc/meminfo: memFree=124696828/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=2351456 memory=2256416 CPUtime=6.21 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 297075 0 0 0 552 69 0 0 20 0 1 0 37613092 2407890944 564104 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 587864 564104 1120 3139 0 584152 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 2351456 KiB
Current children cumulated memory: 2256416 KiB
[startup+12.7002 s]
/proc/loadavg: 4.49 4.26 4.15 5/251 32553
/proc/meminfo: memFree=124706728/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=2158704 memory=2094216 CPUtime=12.55 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 297609 0 0 0 1185 70 0 0 20 0 1 0 37613092 2210512896 523554 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 6 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 539676 523554 1120 3139 0 535964 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 2158704 KiB
Current children cumulated memory: 2094216 KiB
[startup+25.5002 s]
/proc/loadavg: 4.60 4.29 4.16 5/251 32554
/proc/meminfo: memFree=124564880/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=2361788 memory=2294024 CPUtime=25.24 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 347723 0 0 0 2444 80 0 0 20 0 1 0 37613092 2418470912 573506 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 590447 573506 1120 3139 0 586735 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 2361788 KiB
Current children cumulated memory: 2294024 KiB
[startup+51.1129 s]
/proc/loadavg: 4.86 4.38 4.20 5/251 32554
/proc/meminfo: memFree=122924328/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=4101324 memory=4009056 CPUtime=50.79 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 775652 0 0 0 4926 153 0 0 20 0 1 0 37613092 4199755776 1002264 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 1025331 1002264 1120 3139 0 1021619 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 4101324 KiB
Current children cumulated memory: 4009056 KiB
[startup+102.3 s]
/proc/loadavg: 4.43 4.34 4.19 5/251 32556
/proc/meminfo: memFree=119444476/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=7638684 memory=7498592 CPUtime=101.87 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 1648176 0 0 0 9893 294 0 0 20 0 1 0 37613092 7822012416 1874648 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 1909671 1874648 1120 3139 0 1905959 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 7638684 KiB
Current children cumulated memory: 7498592 KiB
[startup+162.3 s]
/proc/loadavg: 4.20 4.29 4.18 5/250 32558
/proc/meminfo: memFree=115497724/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=11640252 memory=11454976 CPUtime=161.74 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 2629756 0 0 0 15709 465 0 0 20 0 1 0 37613092 11919618048 2863744 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 2910063 2863744 1120 3139 0 2906351 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 11640252 KiB
Current children cumulated memory: 11454976 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.28 4.18 5/251 32563
/proc/meminfo: memFree=109969796/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=17340740 memory=16957968 CPUtime=221.6 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 3887384 0 0 0 21395 765 0 0 20 0 1 0 37613092 17756917760 4239492 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 4335185 4239492 2688 3139 0 4331473 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 17340740 KiB
Current children cumulated memory: 16957968 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.24 4.18 5/250 32565
/proc/meminfo: memFree=108776780/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=18501432 memory=18149420 CPUtime=281.45 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 3935044 0 0 0 27331 814 0 0 20 0 1 0 37613092 18945466368 4537355 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 4625358 4537355 2688 3139 0 4621646 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 18501432 KiB
Current children cumulated memory: 18149420 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/250 32567
/proc/meminfo: memFree=108341156/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=19006140 memory=18588460 CPUtime=341.3 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 3970989 0 0 0 33288 842 0 0 20 0 1 0 37613092 19462287360 4647115 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 4751535 4647115 2688 3139 0 4747823 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 19006140 KiB
Current children cumulated memory: 18588460 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/250 32613
/proc/meminfo: memFree=104483276/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=20321984 memory=19558980 CPUtime=401.16 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 3996192 0 0 0 39225 891 0 0 20 0 1 0 37613092 20809711616 4889745 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 5080496 4889745 2688 3139 0 5076784 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 20321984 KiB
Current children cumulated memory: 19558980 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/250 32615
/proc/meminfo: memFree=103442244/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=20400340 memory=19840852 CPUtime=461.02 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4018483 0 0 0 45193 909 0 0 20 0 1 0 37613092 20889948160 4960213 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 5100085 4960213 2688 3139 0 5096373 0
################
# More data... #
################
/proc/32552/statm: 6070904 5716920 2688 3139 0 6067192 0
Current children cumulated CPU time: 1059.54 s
Current children cumulated vsize: 24283616 KiB
Current children cumulated memory: 22867680 KiB
[startup+1122.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/250 32748
/proc/meminfo: memFree=97819172/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24316328 memory=22997664 CPUtime=1119.39 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4181717 0 0 0 110814 1125 0 0 20 0 1 0 37613092 24899919872 5749416 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6079082 5749416 2688 3139 0 6075370 0
Current children cumulated CPU time: 1119.39 s
Current children cumulated vsize: 24316328 KiB
Current children cumulated memory: 22997664 KiB
[startup+1182.3 s]
/proc/loadavg: 4.05 4.09 4.12 5/250 32750
/proc/meminfo: memFree=97696672/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24352416 memory=23125940 CPUtime=1179.25 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4195046 0 0 0 116787 1138 0 0 20 0 1 0 37613092 24936873984 5781485 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6088104 5781485 2688 3139 0 6084392 0
Current children cumulated CPU time: 1179.25 s
Current children cumulated vsize: 24352416 KiB
Current children cumulated memory: 23125940 KiB
[startup+1242.3 s]
/proc/loadavg: 4.18 4.12 4.12 5/250 32796
/proc/meminfo: memFree=93361372/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24388316 memory=23251808 CPUtime=1239.1 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4208444 0 0 0 122761 1149 0 0 20 0 1 0 37613092 24973635584 5812952 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6097079 5812952 2688 3139 0 6093367 0
Current children cumulated CPU time: 1239.1 s
Current children cumulated vsize: 24388316 KiB
Current children cumulated memory: 23251808 KiB
[startup+1302.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/250 32798
/proc/meminfo: memFree=90355800/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24416944 memory=23364496 CPUtime=1298.96 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4220808 0 0 0 128738 1158 0 0 20 0 1 0 37613092 25002950656 5841124 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6104236 5841124 2688 3139 0 6100524 0
Current children cumulated CPU time: 1298.96 s
Current children cumulated vsize: 24416944 KiB
Current children cumulated memory: 23364496 KiB
[startup+1362.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 32801
/proc/meminfo: memFree=91221616/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24444728 memory=23476312 CPUtime=1358.81 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4232843 0 0 0 134713 1168 0 0 20 0 1 0 37613092 25031401472 5869078 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6111182 5869078 2688 3139 0 6107470 0
Current children cumulated CPU time: 1358.81 s
Current children cumulated vsize: 24444728 KiB
Current children cumulated memory: 23476312 KiB
[startup+1422.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/250 32804
/proc/meminfo: memFree=91013336/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24471840 memory=23583312 CPUtime=1418.66 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4243589 0 0 0 140687 1179 0 0 20 0 1 0 37613092 25059164160 5895828 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6117960 5895828 2688 3139 0 6114248 0
Current children cumulated CPU time: 1418.66 s
Current children cumulated vsize: 24471840 KiB
Current children cumulated memory: 23583312 KiB
[startup+1482.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/251 32809
/proc/meminfo: memFree=91754352/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24498968 memory=23686100 CPUtime=1478.52 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4255284 0 0 0 146662 1190 0 0 20 0 1 0 37613092 25086943232 5921525 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6124742 5921525 2688 3139 0 6121030 0
Current children cumulated CPU time: 1478.52 s
Current children cumulated vsize: 24498968 KiB
Current children cumulated memory: 23686100 KiB
[startup+1516.8 s]
# the end of solver process 32552 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=1500.39 s, system=12.5546 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1484.8 s]
/proc/loadavg: 4.09 4.09 4.10 5/251 32809
/proc/meminfo: memFree=91819944/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24498980 memory=23690268 CPUtime=1481.01 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4255290 0 0 0 146911 1190 0 0 20 0 1 0 37613092 25086955520 5922567 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6124745 5922567 2688 3139 0 6121033 0
Current children cumulated CPU time: 1481.01 s
Current children cumulated vsize: 24498980 KiB
Current children cumulated memory: 23690268 KiB
[startup+1497.6 s]
/proc/loadavg: 4.07 4.09 4.10 5/251 32811
/proc/meminfo: memFree=91756704/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24505184 memory=23714912 CPUtime=1493.78 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4257181 0 0 0 148184 1194 0 0 20 0 1 0 37613092 25093308416 5928728 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6126296 5928728 2688 3139 0 6122584 0
Current children cumulated CPU time: 1493.78 s
Current children cumulated vsize: 24505184 KiB
Current children cumulated memory: 23714912 KiB
[startup+1510.4 s]
/proc/loadavg: 4.12 4.10 4.10 5/251 32811
/proc/meminfo: memFree=91711616/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24511272 memory=23735160 CPUtime=1506.54 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4260042 0 0 0 149460 1194 0 0 20 0 1 0 37613092 25099542528 5933790 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6127818 5933790 2688 3139 0 6124106 0
Current children cumulated CPU time: 1506.54 s
Current children cumulated vsize: 24511272 KiB
Current children cumulated memory: 23735160 KiB
[startup+1513.6 s]
/proc/loadavg: 4.12 4.10 4.10 5/251 32811
/proc/meminfo: memFree=91719472/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24511276 memory=23735160 CPUtime=1509.74 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4260055 0 0 0 149778 1196 0 0 20 0 1 0 37613092 25099546624 5933790 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6127819 5933790 2688 3139 0 6124107 0
Current children cumulated CPU time: 1509.74 s
Current children cumulated vsize: 24511276 KiB
Current children cumulated memory: 23735160 KiB
[startup+1515.2 s]
/proc/loadavg: 4.11 4.10 4.10 5/251 32811
/proc/meminfo: memFree=91721576/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24511276 memory=23735160 CPUtime=1511.34 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4260058 0 0 0 149938 1196 0 0 20 0 1 0 37613092 25099546624 5933790 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6127819 5933790 2688 3139 0 6124107 0
Current children cumulated CPU time: 1511.34 s
Current children cumulated vsize: 24511276 KiB
Current children cumulated memory: 23735160 KiB
[startup+1516 s]*
/proc/loadavg: 4.11 4.10 4.10 5/251 32811
/proc/meminfo: memFree=91722676/131382116 swapFree=33010684/33010684
[pid=32552] ppid=32549 vsize=24511280 memory=23735288 CPUtime=1512.15 cores=4,6
/proc/32552/stat : 32552 (uwrmaxsat-scip) R 32549 32552 30286 0 -1 4194304 4260060 0 0 0 150019 1196 0 0 20 0 1 0 37613092 25099550720 5933822 18446744073709551615 4198400 17051741 140727520753744 0 0 0 0 0 27682 0 0 0 17 4 0 0 0 0 0 19288744 19393640 51773440 140727520762170 140727520762340 140727520762340 140727520767942 0
/proc/32552/statm: 6127820 5933822 2688 3139 0 6124108 0
Current children cumulated CPU time: 1512.15 s
Current children cumulated vsize: 24511280 KiB
Current children cumulated memory: 23735288 KiB
[startup+1516.41 s]
/proc/loadavg: 4.11 4.10 4.10 5/251 32811
/proc/meminfo: memFree=94802724/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+1516.8 s]
/proc/loadavg: 4.11 4.10 4.10 5/251 32811
/proc/meminfo: memFree=94802724/131382116 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1516.8
CPU time (s): 1512.94
CPU user time (s): 1500.39
CPU system time (s): 12.5546
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 24511280
Max. memory (cumulated for all children) (KiB): 23735288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1500.39
system time used= 12.5546
maximum resident set size= 23735288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4260061
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= 20
involuntary context switches= 2671
# summary of solver processes directly reported to runsolver:
# pid: 32552
# total CPU time (s): 1512.94
# total CPU user time (s): 1500.39
# total CPU system time (s): 12.5546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45357 second user time and 14.3067 second system time
The end
Begin job on nodeC004 at 2025-06-29 19:48:59
IDJOB=4515075
IDBENCH=164110
IDSOLVER=3373
FILE ID=nodeC004/4515075-1751219335
RUNJOBID= nodeC004-1751215847-30297
SLURM_JOB_ID= 9587653
Free space on /tmp= 432576 MiB
SOLVER NAME= UWrMaxSat-SCIP 2025-06-04
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ivu59.0.u.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-4515075-1751219335/watcher-4515075-1751219335 -o /tmp/evaluation-result-4515075-1751219335/solver-4515075-1751219335 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751215847-30297 --watchdog 3760 HOME/uwrmaxsat-scip HOME/instance-4515075-1751219335.opb -no-par -scip-delay=300 -scip-cpu=900 -mem-lim=31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 35958f80d7fcf653e073babd26915af5
RANDOM SEED=920418707
nodeC004 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 : 3591.646
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.74
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 : 3662.245
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.74
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.602
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.74
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.74
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.363
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.74
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 : 3661.858
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.74
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 : 3659.890
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.74
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.177
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.74
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 126954384 kB
MemAvailable: 129023160 kB
Buffers: 3280 kB
Cached: 2872076 kB
SwapCached: 0 kB
Active: 1230504 kB
Inactive: 2573852 kB
Active(anon): 946976 kB
Inactive(anon): 0 kB
Active(file): 283528 kB
Inactive(file): 2573852 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 461036 kB
Writeback: 0 kB
AnonPages: 927824 kB
Mapped: 142260 kB
Shmem: 17976 kB
KReclaimable: 102048 kB
Slab: 184784 kB
SReclaimable: 102048 kB
SUnreclaim: 82736 kB
KernelStack: 4048 kB
PageTables: 4824 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1275152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 860160 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: 197448 kB
DirectMap2M: 10190848 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432560 MiB
End job on nodeC004 at 2025-06-29 20:14:16