1.69/1.70 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.69/1.70 c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.69/1.70 c Using SCIP solver, version 8.1.0, https://www.scipopt.org
2.19/2.24 c Starting SCIP solver (with time-limit = 1800s) ...
1797.18/1802.30 c SCIP timeout with lower and upper bounds: [0, 9223372036854775807]
3600.00/3609.90 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 (59680 MiB free)
memory of node 1: 64473 MiB (60110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439765-1721247857/watcher-4439765-1721247857 -o /tmp/evaluation-result-4439765-1721247857/solver-4439765-1721247857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721240644-916321 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439765-1721247857.opb -total-t=3600 -no-par -v0
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=920397, runsolver pid=920394
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.09 4.12 4.09 6/256 920408
/proc/meminfo: memFree=122637156/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=47516 memory=27920 CPUtime=0.1 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 7516 0 0 0 9 1 0 0 20 0 1 0 176949173 48656384 6980 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 11879 6980 842 2550 0 8834 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47516 KiB
Current children cumulated memory: 27920 KiB
[startup+0.205728 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 920408
/proc/meminfo: memFree=122607876/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=59276 memory=39756 CPUtime=0.2 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 11056 0 0 0 19 1 0 0 20 0 1 0 176949173 60698624 9939 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 14819 9939 922 2550 0 11774 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59276 KiB
Current children cumulated memory: 39756 KiB
[startup+0.305548 s]*
/proc/loadavg: 4.09 4.12 4.09 5/256 920408
/proc/meminfo: memFree=122570744/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=86496 memory=66968 CPUtime=0.3 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 17588 0 0 0 27 3 0 0 20 0 1 0 176949173 88571904 16742 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 21624 16742 970 2550 0 18579 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 86496 KiB
Current children cumulated memory: 66968 KiB
[startup+0.70023 s]
/proc/loadavg: 4.09 4.12 4.09 6/256 920409
/proc/meminfo: memFree=122448988/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=174780 memory=154876 CPUtime=0.68 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 29377 0 0 0 63 5 0 0 20 0 1 0 176949173 178974720 38719 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 43695 38719 970 2550 0 40650 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 174780 KiB
Current children cumulated memory: 154876 KiB
[startup+1.50023 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 920409
/proc/meminfo: memFree=122372668/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=177096 memory=149908 CPUtime=1.48 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 32297 0 0 0 142 6 0 0 20 0 1 0 176949173 181346304 37477 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 44274 37477 970 2550 0 41229 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 177096 KiB
Current children cumulated memory: 149908 KiB
[startup+3.10553 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 920409
/proc/meminfo: memFree=121021828/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=939224 memory=914404 CPUtime=3.08 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 204663 0 0 0 275 33 0 0 20 0 1 0 176949173 961765376 228601 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 234806 228601 2442 2550 0 231761 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 939224 KiB
Current children cumulated memory: 914404 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 920409
/proc/meminfo: memFree=120202540/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1247056 memory=1215396 CPUtime=6.27 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 272715 0 0 0 584 43 0 0 20 0 1 0 176949173 1276985344 303849 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 311764 303849 2506 2550 0 308719 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1247056 KiB
Current children cumulated memory: 1215396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 920411
/proc/meminfo: memFree=120195980/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1247056 memory=1215636 CPUtime=12.65 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 272798 0 0 0 1222 43 0 0 20 0 1 0 176949173 1276985344 303909 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 311764 303909 2538 2550 0 308719 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1247056 KiB
Current children cumulated memory: 1215636 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 920412
/proc/meminfo: memFree=120179724/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1247056 memory=1215652 CPUtime=25.42 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 272825 0 0 0 2498 44 0 0 20 0 1 0 176949173 1276985344 303913 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 311764 303913 2538 2550 0 308719 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1247056 KiB
Current children cumulated memory: 1215652 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 920417
/proc/meminfo: memFree=119125284/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1806832 memory=1765168 CPUtime=50.95 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 362695 0 0 0 5033 62 0 0 20 0 1 0 176949173 1850195968 441292 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 451708 441292 2650 2550 0 448663 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1806832 KiB
Current children cumulated memory: 1765168 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 920809
/proc/meminfo: memFree=119115964/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1810960 memory=1770944 CPUtime=102 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 364271 0 0 0 10136 64 0 0 20 0 1 0 176949173 1854423040 442736 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 452740 442736 2650 2550 0 449695 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1810960 KiB
Current children cumulated memory: 1770944 KiB
[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/256 920819
/proc/meminfo: memFree=119100200/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1817492 memory=1777744 CPUtime=161.81 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 365572 0 0 0 16116 65 0 0 20 0 1 0 176949173 1861111808 444436 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 454373 444436 2650 2550 0 451328 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1817492 KiB
Current children cumulated memory: 1777744 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 920830
/proc/meminfo: memFree=119037888/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1818176 memory=1778588 CPUtime=221.62 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 365896 0 0 0 22096 66 0 0 20 0 1 0 176949173 1861812224 444647 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 454544 444647 2650 2550 0 451499 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 1818176 KiB
Current children cumulated memory: 1778588 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 921010
/proc/meminfo: memFree=119098636/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1818352 memory=1778708 CPUtime=281.43 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 366084 0 0 0 28075 68 0 0 20 0 1 0 176949173 1861992448 444677 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 454588 444677 2650 2550 0 451543 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1818352 KiB
Current children cumulated memory: 1778708 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/258 921020
/proc/meminfo: memFree=119103684/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1821260 memory=1781692 CPUtime=341.24 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 366927 0 0 0 34055 69 0 0 20 0 1 0 176949173 1864970240 445423 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 455315 445423 2650 2550 0 452270 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1821260 KiB
Current children cumulated memory: 1781692 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/259 921088
/proc/meminfo: memFree=119086000/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1825072 memory=1785424 CPUtime=401.05 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 367507 0 0 0 40035 70 0 0 20 0 1 0 176949173 1868873728 446356 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 456268 446356 2650 2550 0 453223 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1825072 KiB
Current children cumulated memory: 1785424 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 921098
/proc/meminfo: memFree=119011300/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1825072 memory=1785476 CPUtime=460.87 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 367632 0 0 0 46016 71 0 0 20 0 1 0 176949173 1868873728 446369 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
################
# More data... #
################
Current children cumulated memory: 1750896 KiB
[startup+2922.3 s]
/proc/loadavg: 4.25 4.20 4.13 5/257 922439
/proc/meminfo: memFree=122311092/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1755520 CPUtime=2914.16 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 379427 0 0 0 291312 104 0 0 20 0 1 0 176949173 1814163456 438880 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 438880 2650 2550 0 439866 0
Current children cumulated CPU time: 2914.16 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1755520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/257 922451
/proc/meminfo: memFree=122366472/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=2974.01 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 379635 0 0 0 297297 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/258 922464
/proc/meminfo: memFree=122282976/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3033.85 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 379837 0 0 0 303281 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/256 922474
/proc/meminfo: memFree=122332332/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3093.7 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 380044 0 0 0 309266 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3093.7 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/256 922484
/proc/meminfo: memFree=122284996/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3153.55 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 380264 0 0 0 315251 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3153.55 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/256 922495
/proc/meminfo: memFree=122366324/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3213.39 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 380479 0 0 0 321235 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3213.39 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/257 922506
/proc/meminfo: memFree=122279140/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3273.24 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 380670 0 0 0 327220 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/255 922516
/proc/meminfo: memFree=122263484/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3333.08 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 380879 0 0 0 333204 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 922531
/proc/meminfo: memFree=122315044/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3392.93 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 381083 0 0 0 339189 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/257 922541
/proc/meminfo: memFree=122198956/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3452.78 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 381279 0 0 0 345174 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3452.78 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 922551
/proc/meminfo: memFree=122126080/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3512.63 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 381599 0 0 0 351159 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/257 922564
/proc/meminfo: memFree=122253740/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3572.47 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 381890 0 0 0 357143 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3572.47 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 922567
/proc/meminfo: memFree=122313500/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3600 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 382045 0 0 0 359896 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 920397 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3598.97 s, system=1.04826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 922567
/proc/meminfo: memFree=122313500/131524600 swapFree=131071996/131071996
[pid=920397] ppid=920394 vsize=1771644 memory=1756908 CPUtime=3600 cores=5,7
/proc/920397/stat : 920397 (CASHWMaxSAT-Dis) R 920394 920397 916308 0 -1 4194304 382045 0 0 0 359896 104 0 0 20 0 1 0 176949173 1814163456 439227 134679101440 4194304 14636349 140735130112304 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 24043520 140735130121186 140735130121302 140735130121302 140735130128318 0
/proc/920397/statm: 442911 439227 2650 2550 0 439866 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1771644 KiB
Current children cumulated memory: 1756908 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.02
CPU user time (s): 3598.97
CPU system time (s): 1.04826
CPU usage (%): 99.7261
Max. virtual memory (cumulated for all children) (KiB): 1841548
Max. memory (cumulated for all children) (KiB): 1801956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.04826
maximum resident set size= 1801956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382045
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= 87
involuntary context switches= 1384
# summary of solver processes directly reported to runsolver:
# pid: 920397
# total CPU time (s): 3600.02
# total CPU user time (s): 3598.97
# total CPU system time (s): 1.04826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90453 second user time and 16.4221 second system time
The end
Begin job on nodeC020 at 2024-07-17 22:24:30
IDJOB=4439765
IDBENCH=158395
IDSOLVER=3076
FILE ID=nodeC020/4439765-1721247857
RUNJOBID= nodeC020-1721240644-916321
SLURM_JOB_ID= 7508994
Free space on /tmp= 889996 MiB
SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-aug6.5.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439765-1721247857/watcher-4439765-1721247857 -o /tmp/evaluation-result-4439765-1721247857/solver-4439765-1721247857 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721240644-916321 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439765-1721247857.opb -total-t=3600 -no-par -v0
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83ba36613360d6ce9be489830858dbc7
RANDOM SEED=2136265342
nodeC020.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 : 3672.329
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 : 7000.05
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 : 3673.141
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.84
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 : 3611.654
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 : 7000.05
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 : 3609.898
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.84
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 : 3661.103
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 : 7000.05
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 : 3664.900
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.84
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 : 3657.899
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 : 7000.05
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 : 3669.135
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.84
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122679364 kB
MemAvailable: 123212368 kB
Buffers: 474716 kB
Cached: 898484 kB
SwapCached: 0 kB
Active: 863296 kB
Inactive: 7378200 kB
Active(anon): 1552 kB
Inactive(anon): 6904440 kB
Active(file): 861744 kB
Inactive(file): 473760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 15304 kB
Writeback: 24 kB
AnonPages: 6862620 kB
Mapped: 112932 kB
Shmem: 37720 kB
KReclaimable: 74644 kB
Slab: 180528 kB
SReclaimable: 74644 kB
SUnreclaim: 105884 kB
KernelStack: 4008 kB
PageTables: 22312 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7935836 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 64320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4720640 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: 189140 kB
DirectMap2M: 15312896 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC020 at 2024-07-17 23:24:40