Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS naps-1.03a6 | MSAT (TO) | 3600.07 | 3610.44 |
| Name | PB24/WBO/PARTIAL-LIN/wcsp/celar/ normalized-celar6-sub4-20_wcsp.wbo |
| MD5SUM | c20fa776bae7355b4d4e94acf2d6929f |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2716 |
| Best CPU time to get the best result obtained on this benchmark | 6.1932 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 440 |
| Total number of constraints | 72754 |
| Number of soft constraints | 72732 |
| Number of constraints which are clauses | 72732 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Top cost | 69687 |
| Min constraint cost | 1 |
| Max constraint cost | 1000 |
| Sum of constraints costs | 10145370 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 21 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4525700-1751624228.wbo 0.00/0.01 c Initial goal by soft: 69686 12.65/12.76 c single stage optimization mode 3600.01/3610.40 o 69686 3600.01/3610.40 o 32941 3600.01/3610.40 o 20639 3600.01/3610.40 o 13659 3600.01/3610.40 o 9005 3600.01/3610.40 o 4863 3600.01/3610.40 o 3241 3600.01/3610.40 c 3600.01/3610.40 c *** TERMINATED *** by signal 15 3600.01/3610.40 s SATISFIABLE 3600.01/3610.40 c _____________________________________________________________________________ 3600.01/3610.40 c std/band forms : 31,0 3600.01/3610.40 c 2cl/3cl ITE-codings : 0,0 3600.01/3610.40 c BDD/srt/adr Max costs : 0,9500213,0 3600.01/3610.40 c BDDraw/bin/mul/srt/adr: 0,0,0,31,0 3600.01/3610.40 c BDD nodes : 0 3600.01/3610.40 c Es1/CC detections : 0,0 3600.01/3610.40 c CC sort : 22 3600.01/3610.40 c SAT/UNSAT calls : 7,1 3600.01/3610.40 c regenrated variables : 1118 3600.01/3610.40 c eliminated fixed lits : 0 3600.01/3610.40 c goal lit flips : 98 3600.01/3610.40 c goal stages : 1 3600.01/3610.40 c goal shrink : 0 3600.01/3610.40 c goal coeff separations: 0 3600.01/3610.40 c restarts : 5352 3600.01/3610.40 c conflicts : 107119 (30 /sec) 3600.01/3610.40 c decisions : 10731064 (3017 /sec) 3600.01/3610.40 c propagations : 11360887407 (3193799 /sec) 3600.01/3610.40 c inspects : 0 (0 /sec) 3600.01/3610.40 c CPU time (solving tm) : 3557 s (3493 s, SAT 2012 s, UNSAT 715.5 s) 3600.01/3610.40 c Time for Opt-base : 4.069 s 3600.01/3610.40 c Steps for Opt-base : 15419184 3600.01/3610.40 c Time for BDD coding : 0 s 3600.01/3610.40 c Time for srt coding : 21.23 s 3600.01/3610.40 c _____________________________________________________________________________ 3600.01/3610.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v 3600.01/3610.40 v
OK 3215
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: 63665 MiB (50146 MiB free)
memory of node 1: 64507 MiB (23212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525700-1751624228/watcher-4525700-1751624228 -o /tmp/evaluation-result-4525700-1751624228/solver-4525700-1751624228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86496 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525700-1751624228.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=87963, runsolver pid=87960
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.30 4.21 4.13 5/273 87967
/proc/meminfo: memFree=75119180/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14076 memory=12044 CPUtime=0.09 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 2875 0 0 0 9 0 0 0 20 0 1 0 78101613 14413824 3011 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3519 3011 544 696 0 2680 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18268 KiB
Current children cumulated memory: 14860 KiB
[startup+0.205694 s]*
/proc/loadavg: 4.28 4.20 4.13 5/273 87967
/proc/meminfo: memFree=75102796/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=24692 memory=22164 CPUtime=0.19 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 5295 0 0 0 19 0 0 0 20 0 1 0 78101613 25284608 5541 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 6173 5541 544 696 0 5334 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28884 KiB
Current children cumulated memory: 24980 KiB
[startup+0.305589 s]*
/proc/loadavg: 4.28 4.20 4.13 5/273 87967
/proc/meminfo: memFree=75090508/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=30260 memory=28308 CPUtime=0.28 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 6836 0 0 0 28 0 0 0 20 0 1 0 78101613 30986240 7077 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 7565 7077 544 696 0 6726 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 34452 KiB
Current children cumulated memory: 31124 KiB
[startup+0.700196 s]
/proc/loadavg: 4.28 4.20 4.13 5/273 87967
/proc/meminfo: memFree=75057740/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=96768 memory=93380 CPUtime=0.67 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 22320 0 0 0 65 2 0 0 20 0 1 0 78101613 99090432 23345 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 24192 23345 544 696 0 23353 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 100960 KiB
Current children cumulated memory: 96196 KiB
[startup+1.50021 s]
/proc/loadavg: 4.28 4.20 4.13 5/273 87967
/proc/meminfo: memFree=74967960/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=96768 memory=93636 CPUtime=1.47 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 22376 0 0 0 145 2 0 0 20 0 1 0 78101613 99090432 23409 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 24192 23409 576 696 0 23353 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 100960 KiB
Current children cumulated memory: 96452 KiB
[startup+3.10555 s]
/proc/loadavg: 4.28 4.20 4.13 5/272 87967
/proc/meminfo: memFree=74130320/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=316308 memory=304724 CPUtime=3.07 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 40656 0 0 0 299 8 0 0 20 0 1 0 78101613 323899392 76181 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 79077 76181 576 696 0 78238 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 320500 KiB
Current children cumulated memory: 307540 KiB
[startup+6.30019 s]
/proc/loadavg: 4.26 4.20 4.13 5/272 87967
/proc/meminfo: memFree=74183020/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=1305912 memory=1211580 CPUtime=6.26 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 133025 0 0 0 591 35 0 0 20 0 1 0 78101613 1337253888 302895 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 326478 302895 576 696 0 325639 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1310104 KiB
Current children cumulated memory: 1214396 KiB
[startup+12.7002 s]
/proc/loadavg: 4.24 4.20 4.13 5/272 87967
/proc/meminfo: memFree=74311788/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=4912616 memory=4586960 CPUtime=12.65 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 397305 0 0 0 1112 153 0 0 20 0 1 0 78101613 5030518784 1146740 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 1228154 1146740 576 696 0 1227315 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4916808 KiB
Current children cumulated memory: 4589776 KiB
[startup+25.5002 s]
/proc/loadavg: 4.20 4.19 4.13 5/272 87967
/proc/meminfo: memFree=72685680/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=5980140 memory=5606552 CPUtime=25.42 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 545688 0 0 0 2348 194 0 0 20 0 1 0 78101613 6123663360 1401638 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 1495035 1401638 608 696 0 1494196 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 5984332 KiB
Current children cumulated memory: 5609368 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.19 4.13 5/272 87968
/proc/meminfo: memFree=72177428/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=6674856 memory=6383964 CPUtime=50.95 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 682720 0 0 0 4867 228 0 0 20 0 1 0 78101613 6835052544 1595991 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 1668714 1595991 608 696 0 1667875 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 6679048 KiB
Current children cumulated memory: 6386780 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/271 87972
/proc/meminfo: memFree=68001512/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=10785044 memory=10099868 CPUtime=102 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 906952 0 0 0 9825 375 0 0 20 0 1 0 78101613 11043885056 2524967 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 2696261 2524967 608 696 0 2695422 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 10789236 KiB
Current children cumulated memory: 10102684 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.18 4.13 5/271 88022
/proc/meminfo: memFree=68905588/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=11666444 memory=10981416 CPUtime=161.83 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 999534 0 0 0 15626 557 0 0 20 0 1 0 78101613 11946438656 2745354 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 2916611 2745354 608 696 0 2915772 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 11670636 KiB
Current children cumulated memory: 10984232 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/272 88025
/proc/meminfo: memFree=65667152/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14128496 memory=13028952 CPUtime=221.66 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1096864 0 0 0 21496 670 0 0 20 0 1 0 78101613 14467579904 3257238 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3532124 3257238 640 696 0 3531285 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 14132688 KiB
################
# More data... #
################
/proc/87967/statm: 3453891 3356979 640 696 0 3453052 0
Current children cumulated CPU time: 3033.54 s
Current children cumulated vsize: 13819756 KiB
Current children cumulated memory: 13430732 KiB
[startup+3102.3 s]
/proc/loadavg: 3.12 3.43 3.79 4/262 88203
/proc/meminfo: memFree=83231244/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=13817232 memory=13429584 CPUtime=3093.36 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1667957 0 0 0 305528 3808 0 0 20 0 1 0 78101613 14148845568 3357396 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3454308 3357396 640 696 0 3453469 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 13821424 KiB
Current children cumulated memory: 13432400 KiB
[startup+3162.3 s]
/proc/loadavg: 3.09 3.36 3.74 4/262 88206
/proc/meminfo: memFree=82861836/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=13817232 memory=13429584 CPUtime=3153.18 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1671858 0 0 0 311509 3809 0 0 20 0 1 0 78101613 14148845568 3357396 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3454308 3357396 640 696 0 3453469 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 13821424 KiB
Current children cumulated memory: 13432400 KiB
[startup+3222.3 s]
/proc/loadavg: 3.07 3.31 3.70 4/261 88209
/proc/meminfo: memFree=81945780/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=13817232 memory=13429584 CPUtime=3213 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1684661 0 0 0 317379 3921 0 0 20 0 1 0 78101613 14148845568 3357396 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3454308 3357396 640 696 0 3453469 0
Current children cumulated CPU time: 3213 s
Current children cumulated vsize: 13821424 KiB
Current children cumulated memory: 13432400 KiB
[startup+3282.3 s]
/proc/loadavg: 3.08 3.27 3.66 4/261 88211
/proc/meminfo: memFree=81357236/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=17336540 memory=15263848 CPUtime=3272.84 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1702302 0 0 0 323143 4141 0 0 20 0 1 0 78101613 17752616960 3815962 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 4334135 3815962 640 696 0 4333296 0
Current children cumulated CPU time: 3272.84 s
Current children cumulated vsize: 17340732 KiB
Current children cumulated memory: 15266664 KiB
[startup+3342.3 s]
/proc/loadavg: 3.07 3.23 3.62 4/261 88213
/proc/meminfo: memFree=84517540/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14274432 memory=12083980 CPUtime=3332.65 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1769237 0 0 0 329082 4183 0 0 20 0 1 0 78101613 14617018368 3020995 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3568608 3020995 640 696 0 3567769 0
Current children cumulated CPU time: 3332.65 s
Current children cumulated vsize: 14278624 KiB
Current children cumulated memory: 12086796 KiB
[startup+3402.3 s]
/proc/loadavg: 2.79 3.14 3.56 3/253 88246
/proc/meminfo: memFree=90786236/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14274432 memory=12083980 CPUtime=3392.48 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1773143 0 0 0 335064 4184 0 0 20 0 1 0 78101613 14617018368 3020995 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3568608 3020995 640 696 0 3567769 0
Current children cumulated CPU time: 3392.48 s
Current children cumulated vsize: 14278624 KiB
Current children cumulated memory: 12086796 KiB
[startup+3462.3 s]
/proc/loadavg: 2.29 2.93 3.46 3/253 88251
/proc/meminfo: memFree=90785952/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14274432 memory=12083980 CPUtime=3452.33 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1782274 0 0 0 341005 4228 0 0 20 0 1 0 78101613 14617018368 3020995 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3568608 3020995 640 696 0 3567769 0
Current children cumulated CPU time: 3452.33 s
Current children cumulated vsize: 14278624 KiB
Current children cumulated memory: 12086796 KiB
[startup+3522.3 s]
/proc/loadavg: 2.22 2.79 3.38 3/254 88258
/proc/meminfo: memFree=90867396/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14195620 memory=12005296 CPUtime=3512.17 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1790616 0 0 0 346932 4285 0 0 20 0 1 0 78101613 14536314880 3001324 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3548905 3001324 640 696 0 3548066 0
Current children cumulated CPU time: 3512.17 s
Current children cumulated vsize: 14199812 KiB
Current children cumulated memory: 12008112 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.66 3.29 3/254 88260
/proc/meminfo: memFree=90797436/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14195620 memory=12005296 CPUtime=3571.99 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1794842 0 0 0 352914 4285 0 0 20 0 1 0 78101613 14536314880 3001324 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3548905 3001324 640 696 0 3548066 0
Current children cumulated CPU time: 3571.99 s
Current children cumulated vsize: 14199812 KiB
Current children cumulated memory: 12008112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.4 s]
/proc/loadavg: 2.09 2.60 3.26 3/254 88261
/proc/meminfo: memFree=90836040/131249988 swapFree=33010160/33010684
[pid=87963] ppid=87960 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/87963/stat : 87963 (naps-1.03a6.sh) S 87960 87963 86480 0 -1 4194304 230 205 0 0 0 0 0 0 20 0 1 0 78101612 4292608 704 18446744073709551615 94140287078400 94140287972933 140724850314336 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94140288211984 94140288259728 94140306305024 140724850317733 140724850317827 140724850317827 140724850323431 0
/proc/87963/statm: 1048 704 672 219 0 110 0
[pid=87967] ppid=87963 vsize=14195620 memory=12005296 CPUtime=3600.01 cores=4,6
/proc/87967/stat : 87967 (naps-1.03a6) R 87963 87963 86480 0 -1 4194304 1796161 0 0 0 355716 4285 0 0 20 0 1 0 78101613 14536314880 3001324 18446744073709551615 4198400 7047149 140735135365712 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 30167040 140735135373682 140735135373796 140735135373796 140735135379401 0
/proc/87967/statm: 3548905 3001324 640 696 0 3548066 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 14199812 KiB
Current children cumulated memory: 12008112 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.4 s]
# the end of solver process 87963 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000366 s, system=0.003611 s
Sleeping 2 seconds
[startup+3610.44 s]
# the end of solver process 87967 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3557.17 s, system=42.9022 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.44
CPU time (s): 3600.07
CPU user time (s): 3557.17
CPU system time (s): 42.9022
CPU usage (%): 99.7128
Max. virtual memory (cumulated for all children) (KiB): 18050556
Max. memory (cumulated for all children) (KiB): 15633152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3557.17
system time used= 42.9022
maximum resident set size= 15754632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1796597
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= 742
involuntary context switches= 2671
# summary of solver processes directly reported to runsolver:
# pid: 87963,87967
# total CPU time (s): 3600.07
# total CPU user time (s): 3557.17
# total CPU system time (s): 42.9022
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87864 second user time and 16.5736 second system time
The end
Begin job on nodeC034 at 2025-07-04 12:17:08 IDJOB=4525700 IDBENCH=143879 IDSOLVER=3377 FILE ID=nodeC034/4525700-1751624228 RUNJOBID= nodeC034-1751616154-86496 SLURM_JOB_ID= 9598921 Free space on /tmp= 429896 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub4-20_wcsp.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525700-1751624228/watcher-4525700-1751624228 -o /tmp/evaluation-result-4525700-1751624228/solver-4525700-1751624228 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86496 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525700-1751624228.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c20fa776bae7355b4d4e94acf2d6929f RANDOM SEED=2081153337 nodeC034 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.759 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.53 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.816 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.53 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.138 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.787 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.53 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.741 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.53 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.964 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.53 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 : 3595.411 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.53 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 75119180 kB MemAvailable: 99679540 kB Buffers: 2128 kB Cached: 25297896 kB SwapCached: 36 kB Active: 30456064 kB Inactive: 24823280 kB Active(anon): 29993180 kB Inactive(anon): 4208 kB Active(file): 462884 kB Inactive(file): 24819072 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7524 kB Writeback: 0 kB AnonPages: 29980584 kB Mapped: 112304 kB Shmem: 18068 kB KReclaimable: 234884 kB Slab: 328604 kB SReclaimable: 234884 kB SUnreclaim: 93720 kB KernelStack: 4416 kB PageTables: 61948 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 34538680 kB VmallocTotal: 34359738367 kB VmallocUsed: 150680 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 17801216 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429924 MiB End job on nodeC034 at 2025-07-04 13:17:18