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 (61941 MiB free)
memory of node 1: 64473 MiB (62083 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443687-1721308171/watcher-4443687-1721308171 -o /tmp/evaluation-result-4443687-1721308171/solver-4443687-1721308171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4443687-1721308171.opb 3600 HOME 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=958239, runsolver pid=958236
[startup+0.100334 s]*
/proc/loadavg: 4.15 3.91 3.08 5/263 958243
/proc/meminfo: memFree=126981088/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=39256 memory=20884 CPUtime=0.09 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 4558 0 0 0 9 0 0 0 20 0 1 0 182982074 40198144 5221 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 9814 5221 750 2417 0 6916 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57848 KiB
Current children cumulated memory: 24628 KiB
[startup+0.205974 s]*
/proc/loadavg: 4.13 3.91 3.09 6/263 958243
/proc/meminfo: memFree=126963152/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=57920 memory=39444 CPUtime=0.2 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 9208 0 0 0 19 1 0 0 20 0 1 0 182982074 59310080 9861 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 14480 9861 750 2417 0 11582 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76512 KiB
Current children cumulated memory: 43188 KiB
[startup+0.306084 s]*
/proc/loadavg: 4.13 3.91 3.09 5/263 958243
/proc/meminfo: memFree=126945540/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=75716 memory=56868 CPUtime=0.29 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 13594 0 0 0 28 1 0 0 20 0 1 0 182982074 77533184 14217 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 18929 14217 750 2417 0 16031 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94308 KiB
Current children cumulated memory: 60612 KiB
[startup+0.700256 s]
/proc/loadavg: 4.13 3.91 3.09 5/263 958243
/proc/meminfo: memFree=126908044/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=144220 memory=125360 CPUtime=0.68 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 30679 0 0 0 64 4 0 0 20 0 1 0 182982074 147681280 31340 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 36055 31340 750 2417 0 33157 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 162812 KiB
Current children cumulated memory: 129104 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 3.91 3.09 5/263 958243
/proc/meminfo: memFree=126814708/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=285236 memory=265752 CPUtime=1.48 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 65797 0 0 0 139 9 0 0 20 0 1 0 182982074 292081664 66438 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 71309 66438 750 2417 0 68411 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 303828 KiB
Current children cumulated memory: 269496 KiB
[startup+3.10577 s]
/proc/loadavg: 4.13 3.91 3.09 5/263 958245
/proc/meminfo: memFree=126448024/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=564092 memory=545492 CPUtime=3.08 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 135746 0 0 0 286 22 0 0 20 0 1 0 182982074 577630208 136373 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 141023 136373 750 2417 0 138125 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 582684 KiB
Current children cumulated memory: 549236 KiB
[startup+6.30027 s]
/proc/loadavg: 4.12 3.91 3.09 5/263 958245
/proc/meminfo: memFree=125925024/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1185356 memory=1137280 CPUtime=6.27 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 243994 0 0 0 583 44 0 0 20 0 1 0 182982074 1213804544 284320 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 296339 284320 798 2417 0 293441 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1203948 KiB
Current children cumulated memory: 1141024 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 3.91 3.10 5/263 958246
/proc/meminfo: memFree=125658404/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1339196 memory=1272680 CPUtime=12.65 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 257384 0 0 0 1215 50 0 0 20 0 1 0 182982074 1371336704 318170 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 334799 318170 798 2417 0 331901 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1357788 KiB
Current children cumulated memory: 1276424 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 3.92 3.11 5/265 958252
/proc/meminfo: memFree=125642772/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1395436 memory=1295888 CPUtime=25.42 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258205 0 0 0 2490 52 0 0 20 0 1 0 182982074 1428926464 323972 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 348859 323972 798 2417 0 345961 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1299632 KiB
[startup+31.2613 s]
# the end of solver process 958239 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=30.5676 s, system=0.605079 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6003 s]
/proc/loadavg: 4.10 3.92 3.11 5/265 958252
/proc/meminfo: memFree=125642772/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1395436 memory=1295888 CPUtime=25.52 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258205 0 0 0 2500 52 0 0 20 0 1 0 182982074 1428926464 323972 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 348859 323972 798 2417 0 345961 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1299632 KiB
[startup+28.8003 s]
/proc/loadavg: 4.09 3.92 3.11 5/265 958252
/proc/meminfo: memFree=125632948/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1395436 memory=1295888 CPUtime=28.7 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258237 0 0 0 2818 52 0 0 20 0 1 0 182982074 1428926464 323972 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 348859 323972 798 2417 0 345961 0
Current children cumulated CPU time: 28.7 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1299632 KiB
[startup+30.4003 s]
/proc/loadavg: 4.09 3.92 3.11 5/265 958252
/proc/meminfo: memFree=125598984/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1395436 memory=1295888 CPUtime=30.3 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258242 0 0 0 2978 52 0 0 20 0 1 0 182982074 1428926464 323972 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 348859 323972 798 2417 0 345961 0
Current children cumulated CPU time: 30.3 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1299632 KiB
[startup+30.8003 s]
/proc/loadavg: 4.09 3.92 3.11 5/265 958252
/proc/meminfo: memFree=125598984/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1475576 memory=1357176 CPUtime=30.7 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258774 0 0 0 3016 54 0 0 20 0 1 0 182982074 1510989824 339294 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 368894 339294 798 2417 0 365996 0
Current children cumulated CPU time: 30.7 s
Current children cumulated vsize: 1494168 KiB
Current children cumulated memory: 1360920 KiB
[startup+31.2003 s]
/proc/loadavg: 4.16 3.94 3.12 5/265 958252
/proc/meminfo: memFree=125617136/131524600 swapFree=131070704/131071996
[pid=958239] ppid=958236 vsize=9932 memory=2716 CPUtime=0 cores=1,3
/proc/958239/stat : 958239 (Hybrid-CASHWMax) S 958236 958239 956781 0 -1 4194304 236 102 0 0 0 0 0 0 20 0 1 0 182982074 10170368 679 134679101440 94209356218368 94209357297688 140735085662576 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94209359396144 94209359443332 94209378267136 140735085667279 140735085667437 140735085667437 140735085674453 0
/proc/958239/statm: 2483 679 600 264 0 134 0
[pid=958242] ppid=958239 vsize=8660 memory=1028 CPUtime=0 cores=1,3
/proc/958242/stat : 958242 (timeout) S 958239 958242 956781 0 -1 4194304 105 0 0 0 0 0 0 0 20 0 1 0 182982074 8867840 257 134679101440 94200324100096 94200324135112 140737026228448 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 94200326232528 94200326234660 94200337395712 140737026233355 140737026233500 140737026233500 140737026240487 0
/proc/958242/statm: 2165 257 232 9 0 87 0
[pid=958243] ppid=958242 vsize=1345348 memory=1261332 CPUtime=31.1 cores=1,3
/proc/958243/stat : 958243 (CASHWMaxSAT-Dis) R 958242 958242 956781 0 -1 4194304 258994 0 0 0 3055 55 0 0 20 0 1 0 182982074 1377636352 315333 134679101440 4194304 14093885 140736990088400 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 15976432 16051504 48078848 140736990094353 140736990094485 140736990094485 140736990101472 0
/proc/958243/statm: 336337 315333 798 2417 0 333439 0
Current children cumulated CPU time: 31.1 s
Current children cumulated vsize: 1363940 KiB
Current children cumulated memory: 1265076 KiB
Child status: 0
Real time (s): 31.2613
CPU time (s): 31.1727
CPU user time (s): 30.5676
CPU system time (s): 0.605079
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 1494168
Max. memory (cumulated for all children) (KiB): 1360920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.5676
system time used= 0.605079
maximum resident set size= 1357312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259681
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 38
# summary of solver processes directly reported to runsolver:
# pid: 958239
# total CPU time (s): 31.1727
# total CPU user time (s): 30.5676
# total CPU system time (s): 0.605079
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077322 second user time and 0.187429 second system time
The end
Begin job on nodeC023 at 2024-07-18 15:09:44
IDJOB=4443687
IDBENCH=147882
IDSOLVER=3073
FILE ID=nodeC023/4443687-1721308171
RUNJOBID= nodeC023-1721307465-956793
SLURM_JOB_ID= 7542649
Free space on /tmp= 889996 MiB
SOLVER NAME= Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
COMMAND LINE= ./Hybrid-CASHWMaxSATDisjComS+Exact BENCHNAME TIMEOUT TMPDIR MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443687-1721308171/watcher-4443687-1721308171 -o /tmp/evaluation-result-4443687-1721308171/solver-4443687-1721308171 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721307465-956793 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4443687-1721308171.opb 3600 HOME 31000
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= edc49dd1b51fcfed98bb9be45944fb6c
RANDOM SEED=1531404161
nodeC023.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 : 3673.342
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.61
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 : 3680.532
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.48
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 : 3599.906
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.61
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 : 3666.578
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.48
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 : 3673.342
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.61
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 : 3678.885
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.48
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 : 3600.183
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.61
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 : 3599.863
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.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127001980 kB
MemAvailable: 128977400 kB
Buffers: 502228 kB
Cached: 2302184 kB
SwapCached: 80 kB
Active: 1073096 kB
Inactive: 2882496 kB
Active(anon): 1652 kB
Inactive(anon): 1186736 kB
Active(file): 1071444 kB
Inactive(file): 1695760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 51440 kB
Writeback: 0 kB
AnonPages: 1147036 kB
Mapped: 116976 kB
Shmem: 37536 kB
KReclaimable: 96076 kB
Slab: 188988 kB
SReclaimable: 96076 kB
SUnreclaim: 92912 kB
KernelStack: 4172 kB
PageTables: 11912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1634556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 878592 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889980 MiB
End job on nodeC023 at 2024-07-18 15:10:15