Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS-GM 1.03a1 | OPTIMUM | 1654.17 | 1658.39 |
| 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.007806 |
| 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.00 c NaPS 1.03a1. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4461185-1722075922.wbo 0.00/0.00 c Initial goal by soft: 2960 0.00/0.00 c single stage optimization mode 0.00/0.01 o 1270 0.00/0.04 o 240 0.09/0.20 o 19 0.19/0.21 o 11 1654.07/1658.38 o 8 1654.07/1658.38 s OPTIMUM FOUND 1654.07/1658.38 c _____________________________________________________________________________ 1654.07/1658.38 c std/band forms : 35,0 1654.07/1658.38 c 2cl/3cl ITE-codings : 6782,0 1654.07/1658.38 c BDD/srt/adr Max costs : 11100,126,0 1654.07/1658.38 c BDDraw/bin/mul/srt/adr: 0,0,5,30,0 1654.07/1658.38 c BDD nodes : 7288 1654.07/1658.38 c Es1/CC detections : 0,0 1654.07/1658.38 c CC sort : 30 1654.07/1658.38 c SAT/UNSAT calls : 5,1 1654.07/1658.38 c regenrated variables : 112 1654.07/1658.38 c eliminated fixed lits : 102 1654.07/1658.38 c goal lit flips : 0 1654.07/1658.38 c goal stages : 1 1654.07/1658.38 c goal shrink : 0 1654.07/1658.38 c goal coeff separations: 0 1654.07/1658.38 c restarts : 113123 1654.07/1658.38 c conflicts : 35426502 (21417 /sec) 1654.07/1658.38 c decisions : 45471379 (27490 /sec) 1654.07/1658.38 c propagations : 1144862360 (692128 /sec) 1654.07/1658.38 c inspects : 0 (0 /sec) 1654.07/1658.38 c CPU time (solving tm) : 1654 s (1654 s, SAT 0.2523 s, UNSAT 1654 s) 1654.07/1658.38 c Time for Opt-base : 0.001346 s 1654.07/1658.38 c Steps for Opt-base : 4588 1654.07/1658.38 c Time for BDD coding : 0.02237 s 1654.07/1658.38 c Time for srt coding : 0.000433 s 1654.07/1658.38 c _____________________________________________________________________________ 1654.07/1658.38 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: 63968 MiB (47443 MiB free)
memory of node 1: 64473 MiB (52623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461185-1722075922/watcher-4461185-1722075922 -o /tmp/evaluation-result-4461185-1722075922/solver-4461185-1722075922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722075775-381665 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461185-1722075922.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=381862, runsolver pid=381859
[startup+0.100118 s]*
/proc/loadavg: 3.95 3.00 3.11 5/265 381867
/proc/meminfo: memFree=102355104/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=14140 memory=12064 CPUtime=0.09 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 2667 0 0 0 9 0 0 0 20 0 1 0 44121609 14479360 3016 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 3535 3016 468 659 0 2739 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24072 KiB
Current children cumulated memory: 14684 KiB
[startup+0.205821 s]*
/proc/loadavg: 3.95 3.00 3.11 5/265 381867
/proc/meminfo: memFree=102320328/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=16828 memory=14636 CPUtime=0.19 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 2827 0 0 0 19 0 0 0 20 0 1 0 44121609 17231872 3659 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 4207 3659 468 659 0 3411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26760 KiB
Current children cumulated memory: 17256 KiB
[startup+0.305742 s]*
/proc/loadavg: 3.95 3.00 3.11 5/265 381867
/proc/meminfo: memFree=102302068/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=16828 memory=14636 CPUtime=0.29 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 2831 0 0 0 29 0 0 0 20 0 1 0 44121609 17231872 3659 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 4207 3659 468 659 0 3411 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26760 KiB
Current children cumulated memory: 17256 KiB
[startup+0.700263 s]
/proc/loadavg: 3.95 3.00 3.11 5/265 381867
/proc/meminfo: memFree=102237716/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=19624 memory=15428 CPUtime=0.68 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 3005 0 0 0 68 0 0 0 20 0 1 0 44121609 20094976 3857 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 4906 3857 468 659 0 4110 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29556 KiB
Current children cumulated memory: 18048 KiB
[startup+1.50026 s]
/proc/loadavg: 3.95 3.00 3.11 5/265 381867
/proc/meminfo: memFree=102049244/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=19624 memory=15956 CPUtime=1.48 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 3108 0 0 0 148 0 0 0 20 0 1 0 44121609 20094976 3989 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 4906 3989 468 659 0 4110 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29556 KiB
Current children cumulated memory: 18576 KiB
[startup+3.10564 s]
/proc/loadavg: 3.96 3.02 3.11 5/265 381867
/proc/meminfo: memFree=101340504/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=21296 memory=19384 CPUtime=3.08 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 3988 0 0 0 308 0 0 0 20 0 1 0 44121609 21807104 4846 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 5324 4846 468 659 0 4528 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31228 KiB
Current children cumulated memory: 22004 KiB
[startup+6.30025 s]
/proc/loadavg: 3.96 3.02 3.11 5/265 381867
/proc/meminfo: memFree=100259052/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=25004 memory=23008 CPUtime=6.27 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 4369 0 0 0 626 1 0 0 20 0 1 0 44121609 25604096 5752 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 6251 5752 468 659 0 5455 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 25628 KiB
[startup+12.7002 s]
/proc/loadavg: 3.96 3.04 3.12 5/265 382253
/proc/meminfo: memFree=99853820/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=25004 memory=23008 CPUtime=12.66 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 4405 0 0 0 1265 1 0 0 20 0 1 0 44121609 25604096 5752 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 6251 5752 468 659 0 5455 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 34936 KiB
Current children cumulated memory: 25628 KiB
[startup+25.5003 s]
/proc/loadavg: 3.97 3.09 3.13 5/265 382254
/proc/meminfo: memFree=98389096/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=30836 memory=27332 CPUtime=25.42 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 5030 0 0 0 2541 1 0 0 20 0 1 0 44121609 31576064 6833 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 7709 6833 468 659 0 6913 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 40768 KiB
Current children cumulated memory: 29952 KiB
[startup+51.1061 s]
/proc/loadavg: 3.98 3.16 3.16 5/265 382259
/proc/meminfo: memFree=96060684/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=30836 memory=28348 CPUtime=50.96 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 5296 0 0 0 5095 1 0 0 20 0 1 0 44121609 31576064 7087 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 7709 7087 468 659 0 6913 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 40768 KiB
Current children cumulated memory: 30968 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.31 3.21 5/264 382318
/proc/meminfo: memFree=107371032/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=38548 memory=35308 CPUtime=102.02 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 6133 0 0 0 10201 1 0 0 20 0 1 0 44121609 39473152 8827 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 9637 8827 468 659 0 8841 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 48480 KiB
Current children cumulated memory: 37928 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.47 3.27 5/262 382329
/proc/meminfo: memFree=105617684/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=42900 memory=39664 CPUtime=161.87 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 6719 0 0 0 16186 1 0 0 20 0 1 0 44121609 43929600 9916 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 10725 9916 468 659 0 9929 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 52832 KiB
Current children cumulated memory: 42284 KiB
[startup+222.3 s]
/proc/loadavg: 4.35 3.67 3.36 5/260 382557
/proc/meminfo: memFree=120971008/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=42900 memory=40432 CPUtime=221.72 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 6900 0 0 0 22171 1 0 0 20 0 1 0 44121609 43929600 10108 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 10725 10108 468 659 0 9929 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 52832 KiB
################
# More data... #
################
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11879 0 0 0 147848 4 0 0 20 0 1 0 44121609 107499520 24032 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24032 468 659 0 25449 0
Current children cumulated CPU time: 1478.52 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 98748 KiB
[startup+1542.3 s]
/proc/loadavg: 4.14 4.12 3.99 5/262 382864
/proc/meminfo: memFree=120621968/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=96128 CPUtime=1538.37 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11908 0 0 0 153833 4 0 0 20 0 1 0 44121609 107499520 24032 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24032 468 659 0 25449 0
Current children cumulated CPU time: 1538.37 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 98748 KiB
[startup+1602.3 s]
/proc/loadavg: 4.09 4.11 4.00 5/262 382876
/proc/meminfo: memFree=120491692/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=96284 CPUtime=1598.21 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11950 0 0 0 159817 4 0 0 20 0 1 0 44121609 107499520 24071 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24071 468 659 0 25449 0
Current children cumulated CPU time: 1598.21 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 98904 KiB
[startup+1658.39 s]
# the end of solver process 381862 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1654.12 s, system=0.050248 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1612.8 s]
/proc/loadavg: 4.16 4.13 4.00 5/262 382877
/proc/meminfo: memFree=120470784/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=96284 CPUtime=1608.68 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11952 0 0 0 160864 4 0 0 20 0 1 0 44121609 107499520 24071 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24071 468 659 0 25449 0
Current children cumulated CPU time: 1608.68 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 98904 KiB
[startup+1638.4 s]
/proc/loadavg: 4.10 4.11 4.00 5/262 382882
/proc/meminfo: memFree=120422012/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=96284 CPUtime=1634.22 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11953 0 0 0 163418 4 0 0 20 0 1 0 44121609 107499520 24071 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24071 468 659 0 25449 0
Current children cumulated CPU time: 1634.22 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 98904 KiB
[startup+1651.2 s]
/proc/loadavg: 4.08 4.11 4.00 5/261 382885
/proc/meminfo: memFree=120400316/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1646.98 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 164694 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1646.98 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1654.4 s]
/proc/loadavg: 4.15 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120396080/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1650.18 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165014 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1650.18 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1656 s]*
/proc/loadavg: 4.15 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120391920/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1651.78 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165174 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1651.78 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1657.6 s]
/proc/loadavg: 4.15 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120389844/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1653.37 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165333 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1653.37 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1658 s]*
/proc/loadavg: 4.14 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120389788/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1653.77 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165373 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1653.77 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1658.2 s]
/proc/loadavg: 4.14 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120389788/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1653.97 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165393 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1653.97 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
[startup+1658.3 s]
/proc/loadavg: 4.14 4.12 4.01 5/261 382885
/proc/meminfo: memFree=120389788/131524600 swapFree=131060148/131071996
[pid=381862] ppid=381859 vsize=9932 memory=2620 CPUtime=0 cores=5,7
/proc/381862/stat : 381862 (naps-1.03.sh) S 381859 381862 381652 0 -1 4194304 220 242 0 0 0 0 0 0 20 0 1 0 44121609 10170368 655 134679101440 94399834214400 94399835293720 140722901242048 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94399837392176 94399837439364 94399843098624 140722901246941 140722901247070 140722901247070 140722901254088 0
/proc/381862/statm: 2483 655 576 264 0 134 0
[pid=381867] ppid=381862 vsize=104980 memory=97240 CPUtime=1654.07 cores=5,7
/proc/381867/stat : 381867 (naps-1.03) R 381862 381862 381652 0 -1 4194304 11997 0 0 0 165403 4 0 0 20 0 1 0 44121609 107499520 24310 134679101440 4194304 6891597 140732085916752 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 26279936 140732085924846 140732085924962 140732085924962 140732085931979 0
/proc/381867/statm: 26245 24310 468 659 0 25449 0
Current children cumulated CPU time: 1654.07 s
Current children cumulated vsize: 114912 KiB
Current children cumulated memory: 99860 KiB
Child status: 30
Real time (s): 1658.39
CPU time (s): 1654.17
CPU user time (s): 1654.12
CPU system time (s): 0.050248
CPU usage (%): 99.7456
Max. virtual memory (cumulated for all children) (KiB): 114912
Max. memory (cumulated for all children) (KiB): 99860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1654.12
system time used= 0.050248
maximum resident set size= 101348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12478
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= 26
involuntary context switches= 602
# summary of solver processes directly reported to runsolver:
# pid: 381862
# total CPU time (s): 1654.17
# total CPU user time (s): 1654.12
# total CPU system time (s): 0.050248
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.35283 second user time and 7.83277 second system time
The end
Begin job on nodeC029 at 2024-07-27 12:25:22 IDJOB=4461185 IDBENCH=143142 IDSOLVER=3087 FILE ID=nodeC029/4461185-1722075922 RUNJOBID= nodeC029-1722075775-381665 SLURM_JOB_ID= 8248118 Free space on /tmp= 890056 MiB SOLVER NAME= NaPS-GM 1.03a1 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= HOME/naps-1.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4461185-1722075922/watcher-4461185-1722075922 -o /tmp/evaluation-result-4461185-1722075922/solver-4461185-1722075922 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1722075775-381665 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4461185-1722075922.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 70531ee5749151dad1953cdd0a25cead RANDOM SEED=845793074 nodeC029.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3657.122 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 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 : 3666.287 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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 : 3600.008 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 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.978 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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 : 3657.101 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 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 : 3657.604 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 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.913 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.50 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 : 3660.329 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.34 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 102470468 kB MemAvailable: 108689180 kB Buffers: 368464 kB Cached: 6614196 kB SwapCached: 1328 kB Active: 2927412 kB Inactive: 25343072 kB Active(anon): 1800 kB Inactive(anon): 21339796 kB Active(file): 2925612 kB Inactive(file): 4003276 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131060148 kB Dirty: 5484 kB Writeback: 20 kB AnonPages: 21286620 kB Mapped: 126568 kB Shmem: 53740 kB KReclaimable: 259296 kB Slab: 384216 kB SReclaimable: 259296 kB SUnreclaim: 124920 kB KernelStack: 4336 kB PageTables: 51144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 24119940 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 21472 kB HardwareCorrupted: 0 kB AnonHugePages: 7305216 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 350932 kB DirectMap2M: 44511232 kB DirectMap1G: 91226112 kB Free space on /tmp at the end= 890052 MiB End job on nodeC029 at 2024-07-27 12:53:00