0.00/0.00 c solving HOME/instance-4528678-1752249210.opb (Picat 3.9b11, 7/10/2025)
19.64/19.76 o -116
22.13/22.26 o -150
454.51/455.72 s OPTIMUM FOUND
454.51/455.72 v x209 x105 ~x142 ~x83 x4 x272 ~x213 ~x110 x147 ~x88
454.51/455.72 v x9 x275 ~x218 ~x115 x150 ~x70 x14 x276 x210 ~x120
454.51/455.72 v x155 ~x75 ~x19 ~x273 x215 ~x125 x160 ~x80 x24 ~x278
454.51/455.72 v x220 ~x134 x151 x85 ~x28 x274 x211 ~x139 x156 ~x90
454.51/455.72 v ~x33 ~x279 x216 ~x144 x161 x91 ~x38 x281 x221 ~x152
454.51/455.72 v ~x148 x96 ~x43 x282 x212 ~x157 ~x153 x101 x25 ~x283
454.51/455.72 v ~x217 ~x162 ~x158 x106 x30 x280 x222 ~x169 ~x163 x92
454.51/455.72 v x35 ~x285 x225 ~x174 ~x149 x97 x40 ~x286 x230 ~x179
454.51/455.72 v ~x154 x102 x45 ~x287 x226 ~x185 x159 x107 x26 x288
454.51/455.72 v x231 x190 ~x164 ~x93 x31 x289 ~x223 ~x195 x166 ~x98
454.51/455.72 v x36 ~x291 ~x228 ~x200 x171 ~x103 x41 x292 ~x233 ~x205
454.51/455.72 v x176 ~x108 x46 x293 ~x224 ~x214 x167 ~x94 x27 x294
454.51/455.72 v x229 ~x219 x172 ~x99 x32 x295 ~x234 ~x227 x177 ~x104
454.51/455.72 v x37 x296 x236 ~x232 ~x168 ~x109 ~x42 x297 x241 ~x239
454.51/455.72 v ~x173 ~x111 x47 ~x298 x237 ~x244 ~x178 ~x116 x50 ~x299
454.51/455.72 v x242 x250 ~x165 ~x121 x55 ~x300 ~x238 ~x255 ~x170 ~x126
454.51/455.72 v x60 ~x243 ~x260 x175 x112 x65 ~x235 ~x269 ~x180 x117
454.51/455.72 v x51 x240 ~x277 x181 x122 x56 ~x245 ~x284 x186 x127
454.51/455.72 v x61 x246 x290 x191 x113 x66 x251 x182 x118 ~x48
454.51/455.72 v ~x5 x247 x187 x123 ~x53 ~x29 x252 x192 x128 ~x58
454.51/455.72 v ~x10 ~x248 ~x183 x114 ~x63 ~x34 ~x253 ~x188 x119 ~x68
454.51/455.72 v ~x15 ~x249 ~x193 ~x124 ~x49 ~x1 ~x39 ~x254 ~x184 x129
454.51/455.72 v ~x54 ~x6 ~x20 ~x256 ~x189 ~x133 ~x59 ~x11 ~x44 ~x261
454.51/455.72 v ~x194 ~x138 x64 ~x16 ~x52 x257 ~x196 ~x143 ~x69 ~x21
454.51/455.72 v x262 ~x201 x130 x71 x2 x258 ~x206 ~x57 x135 x76
454.51/455.72 v x7 x263 x197 ~x62 x140 x81 x12 ~x259 x202 ~x67
454.51/455.72 v x145 x86 x17 x264 x207 ~x74 x131 x72 x22 ~x268
454.51/455.72 v x198 ~x79 x136 x77 x3 x265 x203 ~x84 x141 x82
454.51/455.72 v x8 x270 x208 ~x89 x146 x87 x13 x266 x199 ~x95
454.51/455.72 v x132 ~x73 x18 x271 ~x204 ~x100 x137 ~x78 x23 ~x267
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: 63708 MiB (62525 MiB free)
memory of node 1: 64465 MiB (62450 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528678-1752249210/watcher-4528678-1752249210 -o /tmp/evaluation-result-4528678-1752249210/solver-4528678-1752249210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752245588-113707 --watchdog 3760 pb_picat HOME/instance-4528678-1752249210.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=114570, runsolver pid=114567
[startup+0.100064 s]*
/proc/loadavg: 4.13 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127950824/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2036824 memory=34400 CPUtime=0.09 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 1491 0 0 0 9 0 0 0 20 0 1 0 140598596 2085707776 8600 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 509206 8600 1760 343 0 506270 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2036824 KiB
Current children cumulated memory: 34400 KiB
[startup+0.205781 s]*
/proc/loadavg: 4.13 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127950824/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2037728 memory=35296 CPUtime=0.2 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 1718 0 0 0 19 1 0 0 20 0 1 0 140598596 2086633472 8824 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 509432 8824 1760 343 0 506496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2037728 KiB
Current children cumulated memory: 35296 KiB
[startup+0.305103 s]*
/proc/loadavg: 4.12 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127950824/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2037728 memory=35680 CPUtime=0.3 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 1802 0 0 0 29 1 0 0 20 0 1 0 140598596 2086633472 8920 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 509432 8920 1760 343 0 506496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2037728 KiB
Current children cumulated memory: 35680 KiB
[startup+0.700119 s]
/proc/loadavg: 4.12 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127950824/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2037808 memory=35876 CPUtime=0.69 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 2274 0 0 0 68 1 0 0 20 0 1 0 140598596 2086715392 8969 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 509452 8969 1760 343 0 506516 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2037808 KiB
Current children cumulated memory: 35876 KiB
[startup+1.50011 s]
/proc/loadavg: 4.12 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127946500/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2040020 memory=36556 CPUtime=1.48 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 2997 0 0 0 147 1 0 0 20 0 1 0 140598596 2088980480 9139 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510005 9139 1760 343 0 507069 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2040020 KiB
Current children cumulated memory: 36556 KiB
[startup+3.1055 s]
/proc/loadavg: 4.12 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127943476/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2040020 memory=37540 CPUtime=3.08 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 5327 0 0 0 306 2 0 0 20 0 1 0 140598596 2088980480 9385 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510005 9385 1760 343 0 507069 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2040020 KiB
Current children cumulated memory: 37540 KiB
[startup+6.30012 s]
/proc/loadavg: 4.11 4.17 4.11 5/263 114571
/proc/meminfo: memFree=127937448/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2040624 memory=38656 CPUtime=6.27 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 9638 0 0 0 624 3 0 0 20 0 1 0 140598596 2089598976 9664 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510156 9664 1760 343 0 507220 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2040624 KiB
Current children cumulated memory: 38656 KiB
[startup+12.7001 s]
/proc/loadavg: 4.18 4.19 4.12 5/263 114571
/proc/meminfo: memFree=127934856/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2040624 memory=37412 CPUtime=12.66 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 15042 0 0 0 1262 4 0 0 20 0 1 0 140598596 2089598976 9353 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510156 9353 1760 343 0 507220 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2040624 KiB
Current children cumulated memory: 37412 KiB
[startup+25.5001 s]
/proc/loadavg: 4.15 4.18 4.12 5/263 114571
/proc/meminfo: memFree=127933248/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041028 memory=39096 CPUtime=25.42 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 22750 0 0 0 2537 5 0 0 20 0 1 0 140598596 2090012672 9774 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510257 9774 1760 343 0 507321 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2041028 KiB
Current children cumulated memory: 39096 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.16 4.11 5/262 114572
/proc/meminfo: memFree=127928644/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2049252 memory=46344 CPUtime=50.96 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 23544 0 0 0 5091 5 0 0 20 0 1 0 140598596 2098434048 11586 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 512313 11586 1760 343 0 509377 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2049252 KiB
Current children cumulated memory: 46344 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/262 114574
/proc/meminfo: memFree=127910008/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2053352 memory=50948 CPUtime=102.03 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 27176 0 0 0 10197 6 0 0 20 0 1 0 140598596 2102632448 12737 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 513338 12737 1760 343 0 510402 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 2053352 KiB
Current children cumulated memory: 50948 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/262 114576
/proc/meminfo: memFree=127946300/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2046340 memory=41844 CPUtime=161.88 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 42252 0 0 0 16178 10 0 0 20 0 1 0 140598596 2095452160 10461 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 511585 10461 1760 343 0 508649 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 2046340 KiB
Current children cumulated memory: 41844 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/263 114579
/proc/meminfo: memFree=128131212/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2049272 memory=46836 CPUtime=221.72 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 62687 0 0 0 22157 15 0 0 20 0 1 0 140598596 2098454528 11709 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 512318 11709 1760 343 0 509382 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 2049272 KiB
Current children cumulated memory: 46836 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/264 114584
/proc/meminfo: memFree=127880996/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2054440 memory=48588 CPUtime=281.57 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 100660 0 0 0 28133 24 0 0 20 0 1 0 140598596 2103746560 12147 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 513610 12147 1760 343 0 510674 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2054440 KiB
Current children cumulated memory: 48588 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/264 114590
/proc/meminfo: memFree=128144984/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2049248 memory=46220 CPUtime=341.41 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 121877 0 0 0 34113 28 0 0 20 0 1 0 140598596 2098429952 11555 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 512312 11555 1760 343 0 509376 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 2049248 KiB
Current children cumulated memory: 46220 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 114592
/proc/meminfo: memFree=127997924/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2050356 memory=46272 CPUtime=401.25 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 143387 0 0 0 40092 33 0 0 20 0 1 0 140598596 2099564544 11568 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 512589 11568 1760 343 0 509653 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 2050356 KiB
Current children cumulated memory: 46272 KiB
[startup+455.723 s]
# the end of solver process 114570 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=454.114 s, system=0.422043 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 114592
/proc/meminfo: memFree=127992112/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2050356 memory=45500 CPUtime=408.54 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 148508 0 0 0 40820 34 0 0 20 0 1 0 140598596 2099564544 11375 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 512589 11375 1760 343 0 509653 0
Current children cumulated CPU time: 408.54 s
Current children cumulated vsize: 2050356 KiB
Current children cumulated memory: 45500 KiB
[startup+435.2 s]
/proc/loadavg: 4.17 4.14 4.10 5/265 114639
/proc/meminfo: memFree=126799372/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2046260 memory=42828 CPUtime=434.06 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 163057 0 0 0 43367 39 0 0 20 0 1 0 140598596 2095370240 10707 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 511565 10707 1760 343 0 508629 0
Current children cumulated CPU time: 434.06 s
Current children cumulated vsize: 2046260 KiB
Current children cumulated memory: 42828 KiB
[startup+448 s]*
/proc/loadavg: 4.13 4.13 4.09 5/265 114639
/proc/meminfo: memFree=126075852/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=38304 CPUtime=446.83 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 170942 0 0 0 44642 41 0 0 20 0 1 0 140598596 2090106880 9576 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9576 1760 343 0 507344 0
Current children cumulated CPU time: 446.83 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 38304 KiB
[startup+451.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114650
/proc/meminfo: memFree=126226364/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=38816 CPUtime=450.01 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171056 0 0 0 44960 41 0 0 20 0 1 0 140598596 2090106880 9704 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9704 1760 343 0 507344 0
Current children cumulated CPU time: 450.01 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 38816 KiB
[startup+452.8 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114650
/proc/meminfo: memFree=126226328/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=38816 CPUtime=451.61 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171056 0 0 0 45120 41 0 0 20 0 1 0 140598596 2090106880 9704 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9704 1760 343 0 507344 0
Current children cumulated CPU time: 451.61 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 38816 KiB
[startup+454.4 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=126094728/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=39072 CPUtime=453.21 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171107 0 0 0 45279 42 0 0 20 0 1 0 140598596 2090106880 9768 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9768 1760 343 0 507344 0
Current children cumulated CPU time: 453.21 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 39072 KiB
[startup+455.2 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=125988296/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=39072 CPUtime=454.01 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171107 0 0 0 45359 42 0 0 20 0 1 0 140598596 2090106880 9768 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9768 1760 343 0 507344 0
Current children cumulated CPU time: 454.01 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 39072 KiB
[startup+455.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=125988296/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=39072 CPUtime=454.41 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171107 0 0 0 45399 42 0 0 20 0 1 0 140598596 2090106880 9768 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9768 1760 343 0 507344 0
Current children cumulated CPU time: 454.41 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 39072 KiB
[startup+455.7 s]
/proc/loadavg: 4.12 4.13 4.09 5/265 114695
/proc/meminfo: memFree=125988296/131249988 swapFree=33010160/33010684
[pid=114570] ppid=114567 vsize=2041120 memory=39072 CPUtime=454.51 cores=0,2
/proc/114570/stat : 114570 (pb_picat) R 114567 114570 113697 0 -1 4194304 171107 0 0 0 45409 42 0 0 20 0 1 0 140598596 2090106880 9768 18446744073709551615 94401031307264 94401032708845 140731653450240 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94401032980272 94401034854512 94401066905600 140731653458332 140731653458408 140731653458408 140731653464012 0
/proc/114570/statm: 510280 9768 1760 343 0 507344 0
Current children cumulated CPU time: 454.51 s
Current children cumulated vsize: 2041120 KiB
Current children cumulated memory: 39072 KiB
Child status: 0
Real time (s): 455.723
CPU time (s): 454.536
CPU user time (s): 454.114
CPU system time (s): 0.422043
CPU usage (%): 99.7394
Max. virtual memory (cumulated for all children) (KiB): 2058632
Max. memory (cumulated for all children) (KiB): 54092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 454.114
system time used= 0.422043
maximum resident set size= 58640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171111
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= 67
involuntary context switches= 632
# summary of solver processes directly reported to runsolver:
# pid: 114570
# total CPU time (s): 454.536
# total CPU user time (s): 454.114
# total CPU system time (s): 0.422043
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.900002 second user time and 1.81533 second system time
The end
Begin job on nodeC020 at 2025-07-11 17:53:30
IDJOB=4528678
IDBENCH=178262
IDSOLVER=3385
FILE ID=nodeC020/4528678-1752249210
RUNJOBID= nodeC020-1752245588-113707
SLURM_JOB_ID= 9682577
Free space on /tmp= 431496 MiB
SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_25.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528678-1752249210/watcher-4528678-1752249210 -o /tmp/evaluation-result-4528678-1752249210/solver-4528678-1752249210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1752245588-113707 --watchdog 3760 pb_picat HOME/instance-4528678-1752249210.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 152d32cf0a83f0185b516cc3fd8d397d
RANDOM SEED=672564101
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.899
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3599.843
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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.886
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3469.696
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3599.889
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3599.819
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3599.565
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
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 : 3700.000
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 127975840 kB
MemAvailable: 128837424 kB
Buffers: 2128 kB
Cached: 1650852 kB
SwapCached: 8 kB
Active: 1543472 kB
Inactive: 1079532 kB
Active(anon): 963520 kB
Inactive(anon): 24548 kB
Active(file): 579952 kB
Inactive(file): 1054984 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 3972 kB
Writeback: 0 kB
AnonPages: 973192 kB
Mapped: 116116 kB
Shmem: 18044 kB
KReclaimable: 131776 kB
Slab: 225676 kB
SReclaimable: 131776 kB
SUnreclaim: 93900 kB
KernelStack: 4256 kB
PageTables: 5064 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 7342760 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 716800 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431488 MiB
End job on nodeC020 at 2025-07-11 18:01:06