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.06 | 3609.6 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | 70531ee5749151dad1953cdd0a25cead |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 8 |
| Best CPU time to get the best result obtained on this benchmark | 0.051019 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 480 |
| Total number of constraints | 62 |
| Number of soft constraints | 62 |
| Number of constraints which are clauses | 32 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 16 |
| Top cost | 2961 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 2960 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 17 |
| 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.02 c NaPS 1.03a6. 0.00/0.02 c Input file name: HOME/instance-4524620-1751616154.wbo 0.00/0.02 c Initial goal by soft: 2960 0.00/0.02 c single stage optimization mode 3600.05/3609.60 o 2960 3600.05/3609.60 o 308 3600.05/3609.60 o 205 3600.05/3609.60 o 22 3600.05/3609.60 o 13 3600.05/3609.60 o 8 3600.05/3609.60 c 3600.05/3609.60 c *** TERMINATED *** by signal 15 3600.05/3609.60 s SATISFIABLE 3600.05/3609.60 c _____________________________________________________________________________ 3600.05/3609.60 c std/band forms : 36,0 3600.05/3609.60 c 2cl/3cl ITE-codings : 9089,0 3600.05/3609.60 c BDD/srt/adr Max costs : 13714,126,0 3600.05/3609.60 c BDDraw/bin/mul/srt/adr: 1,0,5,30,0 3600.05/3609.60 c BDD nodes : 9902 3600.05/3609.60 c Es1/CC detections : 0,0 3600.05/3609.60 c CC sort : 30 3600.05/3609.60 c SAT/UNSAT calls : 6,0 3600.05/3609.60 c regenrated variables : 0 3600.05/3609.60 c eliminated fixed lits : 103 3600.05/3609.60 c goal lit flips : 0 3600.05/3609.60 c goal stages : 1 3600.05/3609.60 c goal shrink : 0 3600.05/3609.60 c goal coeff separations: 0 3600.05/3609.60 c restarts : 7 3600.05/3609.60 c conflicts : 3423 (1 /sec) 3600.05/3609.60 c decisions : 17755 (5 /sec) 3600.05/3609.60 c propagations : 593504 (165 /sec) 3600.05/3609.60 c inspects : 0 (0 /sec) 3600.05/3609.60 c CPU time (solving tm) : 3600 s (3599 s, SAT 0.1376 s, UNSAT 0 s) 3600.05/3609.60 c Time for Opt-base : 0.001293 s 3600.05/3609.60 c Steps for Opt-base : 4588 3600.05/3609.60 c Time for BDD coding : 0.0352 s 3600.05/3609.60 c Time for srt coding : 0.000441 s 3600.05/3609.60 c _____________________________________________________________________________ 3600.05/3609.60 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 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
OK 8
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 (58022 MiB free)
memory of node 1: 64507 MiB (45479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524620-1751616154/watcher-4524620-1751616154 -o /tmp/evaluation-result-4524620-1751616154/solver-4524620-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86495 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524620-1751616154.wbo
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86547, runsolver pid=86536
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105942616/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=14112 memory=12692 CPUtime=0.07 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 2849 0 0 0 7 0 0 0 20 0 1 0 77294290 14450688 3173 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 3528 3173 608 696 0 2689 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18304 KiB
Current children cumulated memory: 15636 KiB
[startup+0.204737 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105922392/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=17860 memory=15404 CPUtime=0.17 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 5352 0 0 0 17 0 0 0 20 0 1 0 77294290 18288640 3851 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 4465 3851 608 696 0 3626 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 18348 KiB
[startup+0.305369 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105907776/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=17860 memory=15532 CPUtime=0.27 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 5407 0 0 0 27 0 0 0 20 0 1 0 77294290 18288640 3883 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 4465 3883 608 696 0 3626 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 18476 KiB
[startup+0.700181 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105887048/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=17860 memory=15532 CPUtime=0.66 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 5409 0 0 0 66 0 0 0 20 0 1 0 77294290 18288640 3883 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 4465 3883 608 696 0 3626 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 18476 KiB
[startup+1.50013 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105875272/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=17860 memory=15660 CPUtime=1.46 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 5417 0 0 0 146 0 0 0 20 0 1 0 77294290 18288640 3915 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 4465 3915 608 696 0 3626 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 22052 KiB
Current children cumulated memory: 18604 KiB
[startup+3.10434 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105871140/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=20192 memory=17920 CPUtime=3.06 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 7736 0 0 0 306 0 0 0 20 0 1 0 77294290 20676608 4480 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 5048 4480 608 696 0 4209 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 24384 KiB
Current children cumulated memory: 20864 KiB
[startup+6.30012 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105869720/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=20716 memory=18564 CPUtime=6.25 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 11595 0 0 0 624 1 0 0 20 0 1 0 77294290 21213184 4641 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 5179 4641 608 696 0 4340 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 24908 KiB
Current children cumulated memory: 21508 KiB
[startup+12.7001 s]
/proc/loadavg: 1.30 1.13 1.52 5/269 86566
/proc/meminfo: memFree=105870224/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=19688 memory=17500 CPUtime=12.63 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 15939 0 0 0 1261 2 0 0 20 0 1 0 77294290 20160512 4375 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 4922 4375 608 696 0 4083 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 23880 KiB
Current children cumulated memory: 20444 KiB
[startup+25.5001 s]
/proc/loadavg: 1.79 1.24 1.55 5/269 86566
/proc/meminfo: memFree=105849212/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=27604 memory=25364 CPUtime=25.4 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 21447 0 0 0 2537 3 0 0 20 0 1 0 77294290 28266496 6341 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 6901 6341 608 696 0 6062 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 31796 KiB
Current children cumulated memory: 28308 KiB
[startup+51.1051 s]
/proc/loadavg: 2.54 1.47 1.61 5/269 86566
/proc/meminfo: memFree=105837052/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=24228 memory=22252 CPUtime=50.95 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 27928 0 0 0 5089 6 0 0 20 0 1 0 77294290 24809472 5563 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 6057 5563 608 696 0 5218 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 28420 KiB
Current children cumulated memory: 25196 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.91 1.76 5/269 86568
/proc/meminfo: memFree=105757364/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=41580 memory=38688 CPUtime=102.01 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 37708 0 0 0 10192 9 0 0 20 0 1 0 77294290 42577920 9672 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 10395 9672 608 696 0 9556 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 45772 KiB
Current children cumulated memory: 41632 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.32 1.91 5/269 86570
/proc/meminfo: memFree=105699788/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=45732 memory=43668 CPUtime=161.84 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 39993 0 0 0 16174 10 0 0 20 0 1 0 77294290 46829568 10917 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 11433 10917 608 696 0 10594 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 49924 KiB
Current children cumulated memory: 46612 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.05 5/269 86572
/proc/meminfo: memFree=105741276/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=54976 memory=52924 CPUtime=221.67 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 41920 0 0 0 22157 10 0 0 20 0 1 0 77294290 56295424 13231 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 13744 13231 608 696 0 12905 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 4.17 4.13 4.03 5/268 86711
/proc/meminfo: memFree=105260772/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=112444 memory=110520 CPUtime=3034.26 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 95574 0 0 0 303380 46 0 0 20 0 1 0 77294290 115142656 27630 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 28111 27630 608 696 0 27272 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 116636 KiB
Current children cumulated memory: 113464 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/268 86713
/proc/meminfo: memFree=105340836/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=139580 memory=137492 CPUtime=3094.09 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 96194 0 0 0 309363 46 0 0 20 0 1 0 77294290 142929920 34373 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 34895 34373 608 696 0 34056 0
Current children cumulated CPU time: 3094.09 s
Current children cumulated vsize: 143772 KiB
Current children cumulated memory: 140436 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/269 86716
/proc/meminfo: memFree=105240696/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=199284 memory=197140 CPUtime=3153.93 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 96874 0 0 0 315346 47 0 0 20 0 1 0 77294290 204066816 49285 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 49821 49285 608 696 0 48982 0
Current children cumulated CPU time: 3153.93 s
Current children cumulated vsize: 203476 KiB
Current children cumulated memory: 200084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/268 86718
/proc/meminfo: memFree=105261332/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=165168 memory=163092 CPUtime=3213.78 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 97266 0 0 0 321330 48 0 0 20 0 1 0 77294290 169132032 40773 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 41292 40773 608 696 0 40453 0
Current children cumulated CPU time: 3213.78 s
Current children cumulated vsize: 169360 KiB
Current children cumulated memory: 166036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/268 86720
/proc/meminfo: memFree=105196616/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=165504 memory=163348 CPUtime=3273.61 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 97350 0 0 0 327313 48 0 0 20 0 1 0 77294290 169476096 40837 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 41376 40837 608 696 0 40537 0
Current children cumulated CPU time: 3273.61 s
Current children cumulated vsize: 169696 KiB
Current children cumulated memory: 166292 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 86722
/proc/meminfo: memFree=105234708/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=165504 memory=163348 CPUtime=3333.46 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 97350 0 0 0 333298 48 0 0 20 0 1 0 77294290 169476096 40837 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 41376 40837 608 696 0 40537 0
Current children cumulated CPU time: 3333.46 s
Current children cumulated vsize: 169696 KiB
Current children cumulated memory: 166292 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/269 86725
/proc/meminfo: memFree=105269688/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=132416 memory=130492 CPUtime=3393.3 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 98563 0 0 0 339281 49 0 0 20 0 1 0 77294290 135593984 32623 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 33104 32623 608 696 0 32265 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 136608 KiB
Current children cumulated memory: 133436 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86727
/proc/meminfo: memFree=105237432/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=190064 memory=187924 CPUtime=3453.13 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 99657 0 0 0 345263 50 0 0 20 0 1 0 77294290 194625536 46981 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 47516 46981 608 696 0 46677 0
Current children cumulated CPU time: 3453.13 s
Current children cumulated vsize: 194256 KiB
Current children cumulated memory: 190868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/268 86740
/proc/meminfo: memFree=105183792/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=161292 memory=159124 CPUtime=3512.98 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 100642 0 0 0 351246 52 0 0 20 0 1 0 77294290 165163008 39781 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 40323 39781 608 696 0 39484 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 165484 KiB
Current children cumulated memory: 162068 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86744
/proc/meminfo: memFree=105197144/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=192712 memory=190612 CPUtime=3572.82 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 101854 0 0 0 357229 53 0 0 20 0 1 0 77294290 197337088 47653 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 48178 47653 608 696 0 47339 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 196904 KiB
Current children cumulated memory: 193556 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.11 4.09 4.04 3/258 86766
/proc/meminfo: memFree=105571928/131249988 swapFree=33010160/33010684
[pid=86547] ppid=86536 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/86547/stat : 86547 (naps-1.03a6.sh) S 86536 86547 86480 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 77294288 4292608 736 18446744073709551615 94095463645184 94095464539717 140726555596832 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94095464778768 94095464826512 94095497940992 140726555601317 140726555601411 140726555601411 140726555607015 0
/proc/86547/statm: 1048 736 672 219 0 110 0
[pid=86556] ppid=86547 vsize=192712 memory=190612 CPUtime=3600.05 cores=0,2
/proc/86556/stat : 86556 (naps-1.03a6) R 86547 86547 86480 0 -1 4194304 101854 0 0 0 359952 53 0 0 20 0 1 0 77294290 197337088 47653 18446744073709551615 4198400 7047149 140724459735520 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 30650368 140724459743602 140724459743716 140724459743716 140724459749321 0
/proc/86556/statm: 48178 47653 608 696 0 47339 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 196904 KiB
Current children cumulated memory: 193556 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 86547 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.53 s, system=0.537495 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3609.6
CPU time (s): 3600.06
CPU user time (s): 3599.53
CPU system time (s): 0.537495
CPU usage (%): 99.7357
Max. virtual memory (cumulated for all children) (KiB): 223600
Max. memory (cumulated for all children) (KiB): 220180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.53
system time used= 0.537495
maximum resident set size= 217236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102297
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= 214
involuntary context switches= 8064
# summary of solver processes directly reported to runsolver:
# pid: 86547
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.53
# total CPU system time (s): 0.537495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77766 second user time and 13.9439 second system time
The end
Begin job on nodeC034 at 2025-07-04 10:02:34 IDJOB=4524620 IDBENCH=143142 IDSOLVER=3377 FILE ID=nodeC034/4524620-1751616154 RUNJOBID= nodeC034-1751616154-86495 SLURM_JOB_ID= 9598921 Free space on /tmp= 430800 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524620-1751616154/watcher-4524620-1751616154 -o /tmp/evaluation-result-4524620-1751616154/solver-4524620-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86495 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524620-1751616154.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 70531ee5749151dad1953cdd0a25cead RANDOM SEED=1107191248 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 : 3601.008 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 : 3601.648 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.773 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.158 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 : 3600.090 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.760 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 : 3599.812 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 : 3676.223 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: 105982492 kB MemAvailable: 129629944 kB Buffers: 2128 kB Cached: 24385168 kB SwapCached: 36 kB Active: 555888 kB Inactive: 23910568 kB Active(anon): 93020 kB Inactive(anon): 4208 kB Active(file): 462868 kB Inactive(file): 23906360 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22040 kB Writeback: 0 kB AnonPages: 82580 kB Mapped: 103988 kB Shmem: 18068 kB KReclaimable: 234528 kB Slab: 328088 kB SReclaimable: 234528 kB SUnreclaim: 93560 kB KernelStack: 4068 kB PageTables: 2816 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 340216 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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= 430780 MiB End job on nodeC034 at 2025-07-04 11:02:44