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: 63968 MiB (51454 MiB free)
memory of node 1: 64473 MiB (54368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454063-1721841877/watcher-4454063-1721841877 -o /tmp/evaluation-result-4454063-1721841877/solver-4454063-1721841877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721841698-255277 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454063-1721841877 --seed=1011756556 HOME/instance-4454063-1721841877.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=255515, runsolver pid=255512
[startup+0.100577 s]*
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108352352/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=28372 memory=9396 CPUtime=0.09 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 1154 0 0 0 9 0 0 0 20 0 1 0 20717186 29052928 2349 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 7093 2349 850 747 0 6156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28372 KiB
Current children cumulated memory: 9396 KiB
[startup+0.20567 s]*
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108350408/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=28768 memory=9660 CPUtime=0.2 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 1254 0 0 0 20 0 0 0 20 0 1 0 20717186 29458432 2415 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 7192 2415 850 747 0 6255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28768 KiB
Current children cumulated memory: 9660 KiB
[startup+0.305504 s]*
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108347916/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=29164 memory=9924 CPUtime=0.29 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 1330 0 0 0 29 0 0 0 20 0 1 0 20717186 29863936 2481 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 7291 2481 850 747 0 6354 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 29164 KiB
Current children cumulated memory: 9924 KiB
[startup+0.700204 s]
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108343080/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=29936 memory=10716 CPUtime=0.68 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 1528 0 0 0 68 0 0 0 20 0 1 0 20717186 30654464 2679 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 7484 2679 850 747 0 6547 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 10716 KiB
[startup+1.50021 s]
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108331960/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=31372 memory=14344 CPUtime=1.48 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 1870 0 0 0 147 1 0 0 20 0 1 0 20717186 32124928 3586 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 7843 3586 850 747 0 6906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31372 KiB
Current children cumulated memory: 14344 KiB
[startup+3.10564 s]
/proc/loadavg: 3.95 2.45 2.11 5/264 255516
/proc/meminfo: memFree=108281300/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=33148 memory=15920 CPUtime=3.08 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 2302 0 0 0 306 2 0 0 20 0 1 0 20717186 33943552 3980 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 8287 3980 850 747 0 7350 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 33148 KiB
Current children cumulated memory: 15920 KiB
[startup+6.30017 s]
/proc/loadavg: 4.03 2.50 2.13 5/264 255518
/proc/meminfo: memFree=108200716/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=34868 memory=17860 CPUtime=6.27 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 3128 0 0 0 623 4 0 0 20 0 1 0 20717186 35704832 4465 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 8717 4465 850 747 0 7780 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34868 KiB
Current children cumulated memory: 17860 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 2.52 2.14 5/264 255518
/proc/meminfo: memFree=108063840/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=36708 memory=21608 CPUtime=12.64 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 4282 0 0 0 1256 8 0 0 20 0 1 0 20717186 37588992 5402 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 9177 5402 850 747 0 8240 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 36708 KiB
Current children cumulated memory: 21608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 2.60 2.17 5/264 255521
/proc/meminfo: memFree=107760916/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=40192 memory=24704 CPUtime=25.42 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 6774 0 0 0 2527 15 0 0 20 0 1 0 20717186 41156608 6176 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 10048 6176 850 747 0 9111 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 24704 KiB
[startup+51.1056 s]
/proc/loadavg: 4.15 2.74 2.23 5/264 255524
/proc/meminfo: memFree=107185840/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=45340 memory=29496 CPUtime=50.8 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 10460 0 0 0 5055 25 0 0 20 0 1 0 20717186 46428160 7374 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 14 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 11335 7374 850 747 0 10398 0
Current children cumulated CPU time: 50.8 s
Current children cumulated vsize: 45340 KiB
Current children cumulated memory: 29496 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 2.95 2.33 5/264 255917
/proc/meminfo: memFree=106081348/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=49944 memory=33592 CPUtime=101.39 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 16941 0 0 0 10089 50 0 0 20 0 1 0 20717186 51142656 8398 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 61 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 12486 8398 850 747 0 11549 0
Current children cumulated CPU time: 101.39 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 33592 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 3.18 2.45 5/263 255927
/proc/meminfo: memFree=104846304/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=54640 memory=39472 CPUtime=160.71 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 24058 0 0 0 15996 75 0 0 20 0 1 0 20717186 55951360 9868 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 113 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 13660 9868 850 747 0 12723 0
Current children cumulated CPU time: 160.71 s
Current children cumulated vsize: 54640 KiB
Current children cumulated memory: 39472 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 3.36 2.56 5/263 255939
/proc/meminfo: memFree=103644032/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=60196 memory=44004 CPUtime=219.31 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 30245 0 0 0 21834 97 0 0 20 0 1 0 20717186 61640704 11001 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 237 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 15049 11001 850 747 0 14112 0
Current children cumulated CPU time: 219.31 s
Current children cumulated vsize: 60196 KiB
Current children cumulated memory: 44004 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 3.50 2.66 5/262 256117
/proc/meminfo: memFree=102443088/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=65716 memory=50600 CPUtime=278.92 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 35175 0 0 0 27774 118 0 0 20 0 1 0 20717186 67293184 12650 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 260 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 16429 12650 850 747 0 15492 0
Current children cumulated CPU time: 278.92 s
Current children cumulated vsize: 65716 KiB
Current children cumulated memory: 50600 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.60 2.75 5/262 256128
/proc/meminfo: memFree=101197276/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=66664 memory=51436 CPUtime=338.41 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 41042 0 0 0 33699 142 0 0 20 0 1 0 20717186 68263936 12859 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 296 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 16666 12859 850 747 0 15729 0
Current children cumulated CPU time: 338.41 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 51436 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.71 2.84 5/263 256199
/proc/meminfo: memFree=99985724/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=69384 memory=53952 CPUtime=397.77 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 46579 0 0 0 39614 163 0 0 20 0 1 0 20717186 71049216 13488 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 345 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 17346 13488 850 747 0 16409 0
Current children cumulated CPU time: 397.77 s
Current children cumulated vsize: 69384 KiB
Current children cumulated memory: 53952 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 3.78 2.92 5/263 256210
/proc/meminfo: memFree=98794300/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=72776 memory=57136 CPUtime=457.17 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 52099 0 0 0 45534 183 0 0 20 0 1 0 20717186 74522624 14284 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 390 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 18194 14284 850 747 0 17257 0
Current children cumulated CPU time: 457.17 s
################
# More data... #
################
/proc/loadavg: 4.34 4.12 3.45 5/261 256300
/proc/meminfo: memFree=89687072/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=83180 memory=70288 CPUtime=933.28 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 93675 0 0 0 92989 339 0 0 20 0 1 0 20717186 85176320 17572 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 657 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 20795 17572 850 747 0 19858 0
Current children cumulated CPU time: 933.28 s
Current children cumulated vsize: 83180 KiB
Current children cumulated memory: 70288 KiB
[startup+1002.3 s]
/proc/loadavg: 4.29 4.15 3.51 5/263 256314
/proc/meminfo: memFree=88604468/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=83628 memory=70628 CPUtime=991.98 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 99261 0 0 0 98834 364 0 0 20 0 1 0 20717186 85635072 17657 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 773 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 20907 17657 850 747 0 19970 0
Current children cumulated CPU time: 991.98 s
Current children cumulated vsize: 83628 KiB
Current children cumulated memory: 70628 KiB
[startup+1062.3 s]
/proc/loadavg: 4.16 4.14 3.55 5/262 256325
/proc/meminfo: memFree=87531996/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=84236 memory=71076 CPUtime=1051.46 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 105740 0 0 0 104760 386 0 0 20 0 1 0 20717186 86257664 17769 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 810 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 21059 17769 850 747 0 20122 0
Current children cumulated CPU time: 1051.46 s
Current children cumulated vsize: 84236 KiB
Current children cumulated memory: 71076 KiB
[startup+1122.3 s]
/proc/loadavg: 4.10 4.13 3.58 5/262 256337
/proc/meminfo: memFree=86444444/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=86060 memory=72552 CPUtime=1110.52 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 110043 0 0 0 110646 406 0 0 20 0 1 0 20717186 88125440 18138 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 888 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 21515 18138 850 747 0 20578 0
Current children cumulated CPU time: 1110.52 s
Current children cumulated vsize: 86060 KiB
Current children cumulated memory: 72552 KiB
[startup+1182.3 s]
/proc/loadavg: 4.09 4.12 3.62 5/262 256348
/proc/meminfo: memFree=85437740/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=90960 memory=76236 CPUtime=1169.97 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 113064 0 0 0 116576 421 0 0 20 0 1 0 20717186 93143040 19059 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 928 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 22740 19059 850 747 0 21803 0
Current children cumulated CPU time: 1169.97 s
Current children cumulated vsize: 90960 KiB
Current children cumulated memory: 76236 KiB
[startup+1242.3 s]
/proc/loadavg: 4.11 4.12 3.65 5/262 256359
/proc/meminfo: memFree=84366396/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=94320 memory=81096 CPUtime=1229.6 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 115411 0 0 0 122524 436 0 0 20 0 1 0 20717186 96583680 20274 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 951 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 23580 20274 850 747 0 22643 0
Current children cumulated CPU time: 1229.6 s
Current children cumulated vsize: 94320 KiB
Current children cumulated memory: 81096 KiB
[startup+1302.3 s]
/proc/loadavg: 4.15 4.13 3.69 5/260 256370
/proc/meminfo: memFree=83307896/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=96112 memory=82528 CPUtime=1289.2 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 118038 0 0 0 128471 449 0 0 20 0 1 0 20717186 98418688 20632 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 974 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24028 20632 850 747 0 23091 0
Current children cumulated CPU time: 1289.2 s
Current children cumulated vsize: 96112 KiB
Current children cumulated memory: 82528 KiB
[startup+1356.23 s]
# the end of solver process 255515 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=1337.41 s, system=4.63432 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 4.14 4.13 3.69 5/260 256372
/proc/meminfo: memFree=83249996/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=96112 memory=82528 CPUtime=1292.49 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 118125 0 0 0 128799 450 0 0 20 0 1 0 20717186 98418688 20632 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 974 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24028 20632 850 747 0 23091 0
Current children cumulated CPU time: 1292.49 s
Current children cumulated vsize: 96112 KiB
Current children cumulated memory: 82528 KiB
[startup+1331.2 s]
/proc/loadavg: 4.09 4.11 3.70 5/259 256376
/proc/meminfo: memFree=82783784/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=97072 memory=83128 CPUtime=1317.85 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 119138 0 0 0 131330 455 0 0 20 0 1 0 20717186 99401728 20782 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 991 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24268 20782 850 747 0 23331 0
Current children cumulated CPU time: 1317.85 s
Current children cumulated vsize: 97072 KiB
Current children cumulated memory: 83128 KiB
[startup+1344 s]*
/proc/loadavg: 4.08 4.11 3.70 5/259 256379
/proc/meminfo: memFree=82550552/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=97264 memory=83488 CPUtime=1330.64 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 119987 0 0 0 132605 459 0 0 20 0 1 0 20717186 99598336 20872 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 991 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24316 20872 850 747 0 23379 0
Current children cumulated CPU time: 1330.64 s
Current children cumulated vsize: 97264 KiB
Current children cumulated memory: 83488 KiB
[startup+1350.4 s]
/proc/loadavg: 4.06 4.11 3.71 5/259 256379
/proc/meminfo: memFree=82430888/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=97264 memory=83488 CPUtime=1337.01 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 120454 0 0 0 133240 461 0 0 20 0 1 0 20717186 99598336 20872 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 991 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24316 20872 850 747 0 23379 0
Current children cumulated CPU time: 1337.01 s
Current children cumulated vsize: 97264 KiB
Current children cumulated memory: 83488 KiB
[startup+1353.6 s]
/proc/loadavg: 4.06 4.11 3.71 5/259 256379
/proc/meminfo: memFree=82364332/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=97296 memory=83520 CPUtime=1339.97 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 120769 0 0 0 133535 462 0 0 20 0 1 0 20717186 99631104 20880 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24324 20880 850 747 0 23387 0
Current children cumulated CPU time: 1339.97 s
Current children cumulated vsize: 97296 KiB
Current children cumulated memory: 83520 KiB
[startup+1355.2 s]
/proc/loadavg: 4.06 4.10 3.71 5/259 256380
/proc/meminfo: memFree=82313200/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=97328 memory=83552 CPUtime=1341.57 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) R 255512 255515 255266 0 -1 4194304 120864 0 0 0 133694 463 0 0 20 0 1 0 20717186 99663872 20888 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 24332 20888 850 747 0 23395 0
Current children cumulated CPU time: 1341.57 s
Current children cumulated vsize: 97328 KiB
Current children cumulated memory: 83552 KiB
[startup+1356 s]*
/proc/loadavg: 4.06 4.10 3.71 4/259 256380
/proc/meminfo: memFree=82301736/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=79528 memory=72032 CPUtime=1342.03 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) D 255512 255515 255266 0 -1 4194304 120864 0 0 0 133740 463 0 0 20 0 1 0 20717186 81436672 18008 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1014 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 19882 18008 850 747 0 18945 0
Current children cumulated CPU time: 1342.03 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 72032 KiB
[startup+1356.2 s]
/proc/loadavg: 4.06 4.10 3.71 4/259 256380
/proc/meminfo: memFree=82301736/131524600 swapFree=131071728/131071996
[pid=255515] ppid=255512 vsize=79528 memory=72032 CPUtime=1342.03 cores=4,6
/proc/255515/stat : 255515 (Exact_veripb2_n) D 255512 255515 255266 0 -1 4194304 120864 0 0 0 133740 463 0 0 20 0 1 0 20717186 81436672 18008 134679101440 4194304 7250417 140723236586656 0 0 0 0 0 8404994 0 0 0 17 6 0 0 1067 0 0 7950792 8015128 28241920 140723236590390 140723236590679 140723236590679 140723236597694 0
/proc/255515/statm: 19882 18008 850 747 0 18945 0
Current children cumulated CPU time: 1342.03 s
Current children cumulated vsize: 79528 KiB
Current children cumulated memory: 72032 KiB
Child status: 20
Real time (s): 1356.23
CPU time (s): 1342.04
CPU user time (s): 1337.41
CPU system time (s): 4.63432
CPU usage (%): 98.9543
Max. virtual memory (cumulated for all children) (KiB): 97328
Max. memory (cumulated for all children) (KiB): 83552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1337.41
system time used= 4.63432
maximum resident set size= 83892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10919952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199
involuntary context switches= 1958
# summary of solver processes directly reported to runsolver:
# pid: 255515
# total CPU time (s): 1342.04
# total CPU user time (s): 1337.41
# total CPU system time (s): 4.63432
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.42619 second user time and 6.1202 second system time
The end
Begin job on nodeC029 at 2024-07-24 19:24:38
IDJOB=4454063
IDBENCH=176039
IDSOLVER=3080
FILE ID=nodeC029/4454063-1721841877
RUNJOBID= nodeC029-1721841698-255277
SLURM_JOB_ID= 7891567
Free space on /tmp= 890052 MiB
SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/equalities/array_comm/normalized-17arraycomm_teq_tvars_greater.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454063-1721841877/watcher-4454063-1721841877 -o /tmp/evaluation-result-4454063-1721841877/solver-4454063-1721841877 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721841698-255277 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4454063-1721841877 --seed=1011756556 HOME/instance-4454063-1721841877.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f1682e2a822653fd3d36487be5c3a09b
RANDOM SEED=1011756556
nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.020
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.114
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.078
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.926
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3647.408
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3649.547
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.125
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 108363948 kB
MemAvailable: 129452792 kB
Buffers: 268152 kB
Cached: 21530144 kB
SwapCached: 44 kB
Active: 2700704 kB
Inactive: 19593212 kB
Active(anon): 1572 kB
Inactive(anon): 547828 kB
Active(file): 2699132 kB
Inactive(file): 19045384 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 223012 kB
Writeback: 0 kB
AnonPages: 495388 kB
Mapped: 129360 kB
Shmem: 54012 kB
KReclaimable: 368304 kB
Slab: 506568 kB
SReclaimable: 368304 kB
SUnreclaim: 138264 kB
KernelStack: 4256 kB
PageTables: 10432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 855108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 284672 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 348884 kB
DirectMap2M: 44513280 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-24 19:47:14