0.99/1.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.99/1.02 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
451.97/453.60 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
452.07/453.70 c Starting SCIP solver (with time-limit = 1800s) ...
2246.44/2254.13 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.06/3612.00 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: 63968 MiB (62455 MiB free)
memory of node 1: 64473 MiB (62711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439931-1721220082/watcher-4439931-1721220082 -o /tmp/evaluation-result-4439931-1721220082/solver-4439931-1721220082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721220042-902327 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439931-1721220082.opb -total-t=3600 -no-par -v0
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=902447, runsolver pid=902444
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 3.70 3.26 3.28 5/259 902448
/proc/meminfo: memFree=128145716/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=42516 memory=25704 CPUtime=0.1 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 6547 0 0 0 9 1 0 0 20 0 1 0 174175197 43536384 6426 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 10629 6426 782 2417 0 7731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42516 KiB
Current children cumulated memory: 25704 KiB
[startup+0.205723 s]*
/proc/loadavg: 3.70 3.26 3.28 5/259 902448
/proc/meminfo: memFree=128141376/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=44356 memory=28928 CPUtime=0.2 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 7181 0 0 0 19 1 0 0 20 0 1 0 174175197 45420544 7232 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 11089 7232 782 2417 0 8191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44356 KiB
Current children cumulated memory: 28928 KiB
[startup+0.305673 s]*
/proc/loadavg: 3.70 3.26 3.28 5/259 902448
/proc/meminfo: memFree=128144220/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=44356 memory=28928 CPUtime=0.3 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 7182 0 0 0 29 1 0 0 20 0 1 0 174175197 45420544 7232 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 11089 7232 782 2417 0 8191 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44356 KiB
Current children cumulated memory: 28928 KiB
[startup+0.700212 s]
/proc/loadavg: 3.70 3.26 3.28 5/259 902448
/proc/meminfo: memFree=128144088/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=44356 memory=28928 CPUtime=0.69 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 7182 0 0 0 68 1 0 0 20 0 1 0 174175197 45420544 7232 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 11089 7232 782 2417 0 8191 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44356 KiB
Current children cumulated memory: 28928 KiB
[startup+1.50024 s]
/proc/loadavg: 3.70 3.26 3.28 5/259 902448
/proc/meminfo: memFree=128144376/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=44352 memory=28788 CPUtime=1.48 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 7869 0 0 0 147 1 0 0 20 0 1 0 174175197 45416448 7197 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 11088 7197 798 2417 0 8190 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44352 KiB
Current children cumulated memory: 28788 KiB
[startup+3.10558 s]
/proc/loadavg: 3.73 3.28 3.28 5/259 902448
/proc/meminfo: memFree=128136336/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=54144 memory=36824 CPUtime=3.08 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 8878 0 0 0 307 1 0 0 20 0 1 0 174175197 55443456 9206 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 13536 9206 798 2417 0 10638 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54144 KiB
Current children cumulated memory: 36824 KiB
[startup+6.30023 s]
/proc/loadavg: 3.73 3.28 3.28 5/259 902448
/proc/meminfo: memFree=128132588/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=58564 memory=40336 CPUtime=6.27 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 10312 0 0 0 625 2 0 0 20 0 1 0 174175197 59969536 10084 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 14641 10084 798 2417 0 11743 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 58564 KiB
Current children cumulated memory: 40336 KiB
[startup+12.7002 s]
/proc/loadavg: 3.77 3.30 3.29 5/259 902449
/proc/meminfo: memFree=128121464/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=70060 memory=51128 CPUtime=12.64 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 10990 0 0 0 1262 2 0 0 20 0 1 0 174175197 71741440 12782 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 17515 12782 798 2417 0 14617 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 70060 KiB
Current children cumulated memory: 51128 KiB
[startup+25.5002 s]
/proc/loadavg: 3.81 3.32 3.30 5/259 902451
/proc/meminfo: memFree=128121368/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=70060 memory=51128 CPUtime=25.4 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 11006 0 0 0 2538 2 0 0 20 0 1 0 174175197 71741440 12782 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 17515 12782 798 2417 0 14617 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 70060 KiB
Current children cumulated memory: 51128 KiB
[startup+51.1056 s]
/proc/loadavg: 3.95 3.39 3.32 5/259 902455
/proc/meminfo: memFree=128041544/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=77736 memory=53264 CPUtime=50.91 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 11075 0 0 0 5089 2 0 0 20 0 1 0 174175197 79601664 13316 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 19434 13316 798 2417 0 16536 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 77736 KiB
Current children cumulated memory: 53264 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.53 3.37 5/259 902466
/proc/meminfo: memFree=127870852/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=77736 memory=60580 CPUtime=101.91 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 11403 0 0 0 10189 2 0 0 20 0 1 0 174175197 79601664 15145 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 19434 15145 798 2417 0 16536 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 77736 KiB
Current children cumulated memory: 60580 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.63 3.42 5/259 902476
/proc/meminfo: memFree=127844272/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=89228 memory=71544 CPUtime=161.7 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 12157 0 0 0 16167 3 0 0 20 0 1 0 174175197 91369472 17886 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 22307 17886 798 2417 0 19409 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 89228 KiB
Current children cumulated memory: 71544 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.73 3.47 5/259 902486
/proc/meminfo: memFree=127821000/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=89228 memory=71800 CPUtime=221.49 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 12175 0 0 0 22146 3 0 0 20 0 1 0 174175197 91369472 17950 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 22307 17950 798 2417 0 19409 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 89228 KiB
Current children cumulated memory: 71800 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.80 3.51 5/254 902498
/proc/meminfo: memFree=127817700/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=96964 memory=73848 CPUtime=281.27 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 12198 0 0 0 28124 3 0 0 20 0 1 0 174175197 99291136 18462 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 24241 18462 798 2417 0 21343 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 96964 KiB
Current children cumulated memory: 73848 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 3.85 3.55 5/254 902508
/proc/meminfo: memFree=127803256/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=101328 memory=85316 CPUtime=341.06 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 13067 0 0 0 34103 3 0 0 20 0 1 0 174175197 103759872 21329 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 25332 21329 798 2417 0 22434 0
Current children cumulated CPU time: 341.06 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 85316 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.91 3.59 5/254 902518
/proc/meminfo: memFree=127798916/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=101328 memory=85656 CPUtime=400.85 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 13191 0 0 0 40082 3 0 0 20 0 1 0 174175197 103759872 21414 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 25332 21414 798 2417 0 22434 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 101328 KiB
Current children cumulated memory: 85656 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 3.95 3.63 5/254 902529
/proc/meminfo: memFree=127302800/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=611556 memory=582828 CPUtime=460.65 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 113496 0 0 0 46044 21 0 0 20 0 1 0 174175197 626233344 145707 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 152889 145707 2526 2417 0 149991 0
################
# More data... #
################
Current children cumulated memory: 864636 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/257 904085
/proc/meminfo: memFree=126522920/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=864636 CPUtime=2852.77 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230135 0 0 0 285233 44 0 0 20 0 1 0 174175197 979607552 216159 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 216159 2542 2417 0 236264 0
Current children cumulated CPU time: 2852.77 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 864636 KiB
[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.03 5/259 904153
/proc/meminfo: memFree=126522196/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=864636 CPUtime=2912.58 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230233 0 0 0 291214 44 0 0 20 0 1 0 174175197 979607552 216159 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 216159 2542 2417 0 236264 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 864636 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/259 904164
/proc/meminfo: memFree=126504724/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=872828 CPUtime=2972.38 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230339 0 0 0 297194 44 0 0 20 0 1 0 174175197 979607552 218207 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218207 2542 2417 0 236264 0
Current children cumulated CPU time: 2972.38 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 872828 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/260 904175
/proc/meminfo: memFree=126504432/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=872828 CPUtime=3032.19 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230444 0 0 0 303175 44 0 0 20 0 1 0 174175197 979607552 218207 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218207 2542 2417 0 236264 0
Current children cumulated CPU time: 3032.19 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 872828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/260 904186
/proc/meminfo: memFree=126502104/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=872828 CPUtime=3092 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230560 0 0 0 309155 45 0 0 20 0 1 0 174175197 979607552 218207 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218207 2542 2417 0 236264 0
Current children cumulated CPU time: 3092 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 872828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.05 5/258 904197
/proc/meminfo: memFree=126501824/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=872828 CPUtime=3151.81 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230655 0 0 0 315136 45 0 0 20 0 1 0 174175197 979607552 218207 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218207 2542 2417 0 236264 0
Current children cumulated CPU time: 3151.81 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 872828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.12 4.06 5/255 904207
/proc/meminfo: memFree=126501552/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=872828 CPUtime=3211.61 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230772 0 0 0 321116 45 0 0 20 0 1 0 174175197 979607552 218207 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218207 2542 2417 0 236264 0
Current children cumulated CPU time: 3211.61 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 872828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 904217
/proc/meminfo: memFree=126499188/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=874876 CPUtime=3271.41 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230879 0 0 0 327096 45 0 0 20 0 1 0 174175197 979607552 218719 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218719 2542 2417 0 236264 0
Current children cumulated CPU time: 3271.41 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 874876 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 904228
/proc/meminfo: memFree=126498956/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=874876 CPUtime=3331.22 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 230985 0 0 0 333076 46 0 0 20 0 1 0 174175197 979607552 218719 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 218719 2542 2417 0 236264 0
Current children cumulated CPU time: 3331.22 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 874876 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/254 904240
/proc/meminfo: memFree=126496552/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=876924 CPUtime=3391.03 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 231087 0 0 0 339056 47 0 0 20 0 1 0 174175197 979607552 219231 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 219231 2542 2417 0 236264 0
Current children cumulated CPU time: 3391.03 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 876924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/254 904250
/proc/meminfo: memFree=126496184/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=876924 CPUtime=3450.84 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 231195 0 0 0 345037 47 0 0 20 0 1 0 174175197 979607552 219231 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 219231 2542 2417 0 236264 0
Current children cumulated CPU time: 3450.84 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 876924 KiB
[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.09 5/257 904265
/proc/meminfo: memFree=126495852/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=876924 CPUtime=3510.66 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 231304 0 0 0 351019 47 0 0 20 0 1 0 174175197 979607552 219231 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 219231 2542 2417 0 236264 0
Current children cumulated CPU time: 3510.66 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 876924 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/257 904552
/proc/meminfo: memFree=127332424/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=877176 CPUtime=3570.47 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 231415 0 0 0 357000 47 0 0 20 0 1 0 174175197 979607552 219294 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 219294 2542 2417 0 236264 0
Current children cumulated CPU time: 3570.47 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 877176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 4.17 4.16 4.09 5/257 904970
/proc/meminfo: memFree=126854144/131524600 swapFree=131071996/131071996
[pid=902447] ppid=902444 vsize=956648 memory=877176 CPUtime=3600.06 cores=0,2
/proc/902447/stat : 902447 (CASHWMaxSAT-Dis) R 902444 902447 902317 0 -1 4194304 231468 0 0 0 359959 47 0 0 20 0 1 0 174175197 979607552 219294 134679101440 4194304 14093885 140733211494432 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 41193472 140733211497444 140733211497559 140733211497559 140733211504575 0
/proc/902447/statm: 239162 219294 2542 2417 0 236264 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 956648 KiB
Current children cumulated memory: 877176 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.01 s]
# the end of solver process 902447 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3599.6 s, system=0.47896 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.01
CPU time (s): 3600.08
CPU user time (s): 3599.6
CPU system time (s): 0.47896
CPU usage (%): 99.6697
Max. virtual memory (cumulated for all children) (KiB): 1127520
Max. memory (cumulated for all children) (KiB): 1018744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.6
system time used= 0.47896
maximum resident set size= 1018744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231468
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= 21
involuntary context switches= 24658
# summary of solver processes directly reported to runsolver:
# pid: 902447
# total CPU time (s): 3600.08
# total CPU user time (s): 3599.6
# total CPU system time (s): 0.47896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61932 second user time and 16.6123 second system time
The end
Begin job on nodeC028 at 2024-07-17 14:41:34
IDJOB=4439931
IDBENCH=147613
IDSOLVER=3077
FILE ID=nodeC028/4439931-1721220082
RUNJOBID= nodeC028-1721220042-902327
SLURM_JOB_ID= 7508955
Free space on /tmp= 890028 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_3.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439931-1721220082/watcher-4439931-1721220082 -o /tmp/evaluation-result-4439931-1721220082/solver-4439931-1721220082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721220042-902327 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439931-1721220082.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8548cf2fe8567884970fc9be656882ff
RANDOM SEED=1103789425
nodeC028.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 : 3651.344
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.56
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 : 3681.106
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.732
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.56
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.999
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.588
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.56
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 : 3681.242
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.378
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.56
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.129
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128171580 kB
MemAvailable: 128702332 kB
Buffers: 440184 kB
Cached: 931176 kB
SwapCached: 0 kB
Active: 863412 kB
Inactive: 1900844 kB
Active(anon): 1544 kB
Inactive(anon): 1429060 kB
Active(file): 861868 kB
Inactive(file): 471784 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 13028 kB
Writeback: 0 kB
AnonPages: 1390220 kB
Mapped: 135280 kB
Shmem: 37720 kB
KReclaimable: 73848 kB
Slab: 177980 kB
SReclaimable: 73848 kB
SUnreclaim: 104132 kB
KernelStack: 4176 kB
PageTables: 11752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1681564 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64256 kB
HardwareCorrupted: 0 kB
AnonHugePages: 354304 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: 193236 kB
DirectMap2M: 18454528 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890008 MiB
End job on nodeC028 at 2024-07-17 15:41:46