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: 63794 MiB (62487 MiB free)
memory of node 1: 64507 MiB (63190 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528730-1752249517/watcher-4528730-1752249517 -o /tmp/evaluation-result-4528730-1752249517/solver-4528730-1752249517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117801 --watchdog 3760 pb_picat HOME/instance-4528730-1752249517.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=118851, runsolver pid=118848
[startup+0.100067 s]*
/proc/loadavg: 4.10 4.28 4.21 5/251 118852
/proc/meminfo: memFree=128662044/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2027148 memory=32164 CPUtime=0.1 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 1039 0 0 0 9 1 0 0 20 0 1 0 140631452 2075799552 8041 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 506787 8041 1568 343 0 503851 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32164 KiB
[startup+0.213454 s]*
/proc/loadavg: 4.10 4.28 4.21 5/251 118852
/proc/meminfo: memFree=128637468/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2027148 memory=42672 CPUtime=0.21 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 1114 0 0 0 20 1 0 0 20 0 1 0 140631452 2075799552 10668 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 506787 10668 1568 343 0 503851 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 42672 KiB
[startup+0.313324 s]*
/proc/loadavg: 4.10 4.28 4.21 5/251 118852
/proc/meminfo: memFree=128608924/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2027148 memory=57152 CPUtime=0.31 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 1150 0 0 0 30 1 0 0 20 0 1 0 140631452 2075799552 14288 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 506787 14288 1568 343 0 503851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 57152 KiB
[startup+0.700306 s]
/proc/loadavg: 4.10 4.28 4.21 5/251 118852
/proc/meminfo: memFree=128551580/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2027148 memory=94016 CPUtime=0.68 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 1168 0 0 0 66 2 0 0 20 0 1 0 140631452 2075799552 23504 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 506787 23504 1568 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 94016 KiB
[startup+1.50028 s]
/proc/loadavg: 4.10 4.28 4.21 5/251 118852
/proc/meminfo: memFree=128436892/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2027148 memory=175936 CPUtime=1.48 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 1209 0 0 0 145 3 0 0 20 0 1 0 140631452 2075799552 43984 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 506787 43984 1568 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 175936 KiB
[startup+3.11304 s]
/proc/loadavg: 4.10 4.27 4.20 5/251 118852
/proc/meminfo: memFree=127865992/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2094536 memory=365796 CPUtime=3.09 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 10630 0 0 0 301 8 0 0 20 0 1 0 140631452 2144804864 91449 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 523634 91449 1664 343 0 520698 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2094536 KiB
Current children cumulated memory: 365796 KiB
[startup+6.30027 s]
/proc/loadavg: 4.10 4.27 4.20 5/251 118852
/proc/meminfo: memFree=127365300/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2104532 memory=377148 CPUtime=6.27 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 13558 0 0 0 618 9 0 0 20 0 1 0 140631452 2155040768 94287 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 526133 94287 1696 343 0 523197 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2104532 KiB
Current children cumulated memory: 377148 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.28 4.21 5/251 118852
/proc/meminfo: memFree=126857076/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2124060 memory=403828 CPUtime=12.65 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 18607 0 0 0 1254 11 0 0 20 0 1 0 140631452 2175037440 100957 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 531015 100957 1696 343 0 528079 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2124060 KiB
Current children cumulated memory: 403828 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.27 4.20 5/251 118853
/proc/meminfo: memFree=126094672/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2141360 memory=421488 CPUtime=25.41 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 21931 0 0 0 2528 13 0 0 20 0 1 0 140631452 2192752640 105372 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 535340 105372 1696 343 0 532404 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2141360 KiB
Current children cumulated memory: 421488 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.25 4.20 5/251 118853
/proc/meminfo: memFree=126051540/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2165936 memory=444436 CPUtime=50.93 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 27262 0 0 0 5076 17 0 0 20 0 1 0 140631452 2217918464 111109 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 541484 111109 1696 343 0 538548 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 444436 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.23 4.19 5/251 118900
/proc/meminfo: memFree=125968488/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2264240 memory=520436 CPUtime=101.96 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 33632 0 0 0 10171 25 0 0 20 0 1 0 140631452 2318581760 130109 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 566060 130109 1696 343 0 563124 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2264240 KiB
Current children cumulated memory: 520436 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.20 4.18 5/251 118913
/proc/meminfo: memFree=125934400/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2297008 memory=540704 CPUtime=161.77 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 48768 0 0 0 16132 45 0 0 20 0 1 0 140631452 2352136192 135176 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 574252 135176 1696 343 0 571316 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2297008 KiB
Current children cumulated memory: 540704 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.18 4.17 5/251 118915
/proc/meminfo: memFree=125754588/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2141360 memory=417396 CPUtime=221.58 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 55045 0 0 0 22100 58 0 0 20 0 1 0 140631452 2192752640 104349 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 535340 104349 1696 343 0 532404 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 2141360 KiB
Current children cumulated memory: 417396 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/251 118917
/proc/meminfo: memFree=126014152/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2198704 memory=452644 CPUtime=281.39 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 67368 0 0 0 28061 78 0 0 20 0 1 0 140631452 2251472896 113161 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 549676 113161 1696 343 0 546740 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 2198704 KiB
Current children cumulated memory: 452644 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 118920
/proc/meminfo: memFree=126016832/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2198704 memory=460184 CPUtime=341.2 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 72937 0 0 0 34033 87 0 0 20 0 1 0 140631452 2251472896 115046 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 549676 115046 1696 343 0 546740 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 2198704 KiB
Current children cumulated memory: 460184 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/250 118928
/proc/meminfo: memFree=125848588/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2395312 memory=618532 CPUtime=401.01 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 83226 0 0 0 39998 103 0 0 20 0 1 0 140631452 2452799488 154633 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 598828 154633 1696 343 0 595892 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 2395312 KiB
Current children cumulated memory: 618532 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/249 118930
/proc/meminfo: memFree=125990528/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2264240 memory=485412 CPUtime=460.81 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 92261 0 0 0 45960 121 0 0 20 0 1 0 140631452 2318581760 121353 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 566060 121353 1696 343 0 563124 0
Current children cumulated CPU time: 460.81 s
################
# More data... #
################
Current children cumulated memory: 583720 KiB
[startup+2922.3 s]
/proc/loadavg: 3.74 3.28 3.35 4/244 119074
/proc/meminfo: memFree=125947552/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2264240 memory=495656 CPUtime=2913.25 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 380121 0 0 0 290607 718 0 0 20 0 1 0 140631452 2318581760 123914 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 566060 123914 1696 343 0 563124 0
Current children cumulated CPU time: 2913.25 s
Current children cumulated vsize: 2264240 KiB
Current children cumulated memory: 495656 KiB
[startup+2982.3 s]
/proc/loadavg: 3.35 3.24 3.33 4/244 119076
/proc/meminfo: memFree=125949312/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2165936 memory=453928 CPUtime=2973.06 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 382249 0 0 0 296586 720 0 0 20 0 1 0 140631452 2217918464 113482 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 541484 113482 1696 343 0 538548 0
Current children cumulated CPU time: 2973.06 s
Current children cumulated vsize: 2165936 KiB
Current children cumulated memory: 453928 KiB
[startup+3042.3 s]
/proc/loadavg: 3.19 3.21 3.31 4/244 119078
/proc/meminfo: memFree=125918916/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2198704 memory=452648 CPUtime=3032.89 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 384759 0 0 0 302567 722 0 0 20 0 1 0 140631452 2251472896 113162 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 549676 113162 1696 343 0 546740 0
Current children cumulated CPU time: 3032.89 s
Current children cumulated vsize: 2198704 KiB
Current children cumulated memory: 452648 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.19 3.30 4/244 119080
/proc/meminfo: memFree=125926144/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2182320 memory=440360 CPUtime=3092.71 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 386581 0 0 0 308547 724 0 0 20 0 1 0 140631452 2234695680 110090 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 545580 110090 1696 343 0 542644 0
Current children cumulated CPU time: 3092.71 s
Current children cumulated vsize: 2182320 KiB
Current children cumulated memory: 440360 KiB
[startup+3162.3 s]
/proc/loadavg: 3.08 3.16 3.28 4/243 119082
/proc/meminfo: memFree=125804500/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2378928 memory=549800 CPUtime=3152.53 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 394727 0 0 0 314509 744 0 0 20 0 1 0 140631452 2436022272 137450 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 594732 137450 1696 343 0 591796 0
Current children cumulated CPU time: 3152.53 s
Current children cumulated vsize: 2378928 KiB
Current children cumulated memory: 549800 KiB
[startup+3222.3 s]
/proc/loadavg: 3.08 3.15 3.27 4/243 119084
/proc/meminfo: memFree=125747496/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2395312 memory=588328 CPUtime=3212.34 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 402878 0 0 0 320474 760 0 0 20 0 1 0 140631452 2452799488 147082 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 598828 147082 1696 343 0 595892 0
Current children cumulated CPU time: 3212.34 s
Current children cumulated vsize: 2395312 KiB
Current children cumulated memory: 588328 KiB
[startup+3282.3 s]
/proc/loadavg: 3.07 3.13 3.25 4/243 119086
/proc/meminfo: memFree=125275772/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=3214512 memory=1045544 CPUtime=3272.16 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 407516 0 0 0 326438 778 0 0 20 0 1 0 140631452 3291660288 261386 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 803628 261386 1696 343 0 800692 0
Current children cumulated CPU time: 3272.16 s
Current children cumulated vsize: 3214512 KiB
Current children cumulated memory: 1045544 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.14 3.25 4/243 119088
/proc/meminfo: memFree=125879704/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2198704 memory=470056 CPUtime=3332 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 412309 0 0 0 332404 796 0 0 20 0 1 0 140631452 2251472896 117514 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 549676 117514 1696 343 0 546740 0
Current children cumulated CPU time: 3332 s
Current children cumulated vsize: 2198704 KiB
Current children cumulated memory: 470056 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.13 3.24 4/244 119097
/proc/meminfo: memFree=125487408/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2657456 memory=894888 CPUtime=3391.83 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 419089 0 0 0 338371 812 0 0 20 0 1 0 140631452 2721234944 223722 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 664364 223722 1696 343 0 661428 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 2657456 KiB
Current children cumulated memory: 894888 KiB
[startup+3462.3 s]
/proc/loadavg: 3.14 3.13 3.23 4/244 119099
/proc/meminfo: memFree=125453136/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2690224 memory=956328 CPUtime=3451.66 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 425961 0 0 0 344332 834 0 0 20 0 1 0 140631452 2754789376 239082 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 672556 239082 1696 343 0 669620 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 2690224 KiB
Current children cumulated memory: 956328 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.12 3.22 4/244 119101
/proc/meminfo: memFree=125698204/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2395312 memory=632744 CPUtime=3511.5 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 433392 0 0 0 350294 856 0 0 20 0 1 0 140631452 2452799488 158186 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 598828 158186 1696 343 0 595892 0
Current children cumulated CPU time: 3511.5 s
Current children cumulated vsize: 2395312 KiB
Current children cumulated memory: 632744 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.11 3.21 4/244 119102
/proc/meminfo: memFree=126004444/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2149552 memory=444708 CPUtime=3571.33 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 440481 0 0 0 356255 878 0 0 20 0 1 0 140631452 2201141248 111177 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 537388 111177 1696 343 0 534452 0
Current children cumulated CPU time: 3571.33 s
Current children cumulated vsize: 2149552 KiB
Current children cumulated memory: 444708 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 3.11 3.11 3.20 3/238 119134
/proc/meminfo: memFree=128165056/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2690224 memory=917416 CPUtime=3600.06 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 443685 0 0 0 359119 887 0 0 20 0 1 0 140631452 2754789376 229354 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 672556 229354 1696 343 0 669620 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2690224 KiB
Current children cumulated memory: 917416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 118851 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=3591.19 s, system=8.88174 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 3.11 3.11 3.20 3/238 119134
/proc/meminfo: memFree=128165056/131382112 swapFree=33010416/33010684
[pid=118851] ppid=118848 vsize=2690224 memory=917416 CPUtime=3600.06 cores=0,2
/proc/118851/stat : 118851 (pb_picat) R 118848 118851 117791 0 -1 4194304 443685 0 0 0 359119 887 0 0 20 0 1 0 140631452 2754789376 229354 18446744073709551615 94814320238592 94814321640173 140734029551344 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94814321911600 94814323785840 94814347968512 140734029560220 140734029560296 140734029560296 140734029565900 0
/proc/118851/statm: 672556 229354 1696 343 0 669620 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2690224 KiB
Current children cumulated memory: 917416 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 3611.12
CPU time (s): 3600.08
CPU user time (s): 3591.19
CPU system time (s): 8.88174
CPU usage (%): 99.6942
Max. virtual memory (cumulated for all children) (KiB): 3214512
Max. memory (cumulated for all children) (KiB): 1272872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 8.88174
maximum resident set size= 1274920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443685
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= 84
involuntary context switches= 7870
# summary of solver processes directly reported to runsolver:
# pid: 118851
# total CPU time (s): 3600.08
# total CPU user time (s): 3591.19
# total CPU system time (s): 8.88174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1082 second user time and 34.7744 second system time
The end
Begin job on nodeC012 at 2025-07-11 17:58:37
IDJOB=4528730
IDBENCH=179456
IDSOLVER=3385
FILE ID=nodeC012/4528730-1752249517
RUNJOBID= nodeC012-1752242168-117801
SLURM_JOB_ID= 9682548
Free space on /tmp= 431500 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/x1/Init-x1-i8_pp_87_merged.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528730-1752249517/watcher-4528730-1752249517 -o /tmp/evaluation-result-4528730-1752249517/solver-4528730-1752249517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1752242168-117801 --watchdog 3760 pb_picat HOME/instance-4528730-1752249517.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9cee63c9b1f689a984aff093bf48a6b9
RANDOM SEED=1476782936
nodeC012 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.922
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.39
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.146
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.39
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.151
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.39
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 : 1197.385
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.39
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 : 3661.700
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.39
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 : 3662.071
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.39
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 : 1197.708
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.39
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.371
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128706720 kB
MemAvailable: 129507084 kB
Buffers: 2136 kB
Cached: 1597164 kB
SwapCached: 16 kB
Active: 1122232 kB
Inactive: 973180 kB
Active(anon): 509112 kB
Inactive(anon): 4948 kB
Active(file): 613120 kB
Inactive(file): 968232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 69728 kB
Writeback: 0 kB
AnonPages: 499224 kB
Mapped: 116096 kB
Shmem: 17944 kB
KReclaimable: 116892 kB
Slab: 206100 kB
SReclaimable: 116892 kB
SUnreclaim: 89208 kB
KernelStack: 4080 kB
PageTables: 3908 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 6526392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 385024 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431560 MiB
End job on nodeC012 at 2025-07-11 18:58:49