Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS 1.03 | MSAT (TO) | 3600.07 | 3611.7 |
| 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.03. 0.00/0.00 c Input file name: HOME/instance-4426697-1720905438.wbo 0.00/0.00 c single stage optimization mode 0.00/0.00 o 1270 0.00/0.05 o 271 0.00/0.07 o 178 0.09/0.14 o 81 0.09/0.14 o 16 0.09/0.17 o 8 3600.05/3611.70 c 3600.05/3611.70 c *** TERMINATED *** by signal 15 3600.05/3611.70 s SATISFIABLE 3600.05/3611.70 c _____________________________________________________________________________ 3600.05/3611.70 c std/band forms : 37,0 3600.05/3611.70 c 2cl/3cl ITE-codings : 8314,0 3600.05/3611.70 c BDD/srt/adr Max costs : 12985,126,0 3600.05/3611.70 c BDDraw/bin/mul/srt/adr: 2,0,5,30,0 3600.05/3611.70 c BDD nodes : 9178 3600.05/3611.70 c Es1/CC detections : 0,0 3600.05/3611.70 c CC sort : 30 3600.05/3611.70 c SAT/UNSAT calls : 6,1 3600.05/3611.70 c regenrated variables : 0 3600.05/3611.70 c eliminated fixed lits : 130 3600.05/3611.70 c goal lit flips : 32 3600.05/3611.70 c goal stages : 1 3600.05/3611.70 c goal shrink : 0 3600.05/3611.70 c goal coeff separations: 0 3600.05/3611.70 c restarts : 234268 3600.05/3611.70 c conflicts : 9466113 (2630 /sec) 3600.05/3611.70 c decisions : 10109858 (2809 /sec) 3600.05/3611.70 c propagations : 333163282 (92561 /sec) 3600.05/3611.70 c inspects : 0 (0 /sec) 3600.05/3611.70 c CPU time (solving tm) : 3599 s (3599 s, SAT 0.1133 s, UNSAT 332.4 s) 3600.05/3611.70 c Time for Opt-base : 0.001337 s 3600.05/3611.70 c Steps for Opt-base : 4588 3600.05/3611.70 c Time for BDD coding : 0.03362 s 3600.05/3611.70 c Time for srt coding : 0.000434 s 3600.05/3611.70 c _____________________________________________________________________________ 3600.05/3611.70 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: 63931 MiB (61970 MiB free)
memory of node 1: 64510 MiB (63356 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426697-1720905438/watcher-4426697-1720905438 -o /tmp/evaluation-result-4426697-1720905438/solver-4426697-1720905438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720905451-730338 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426697-1720905438.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=730379, runsolver pid=730374
[startup+0.100088 s]*
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128265780/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=13628 memory=12352 CPUtime=0.09 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 3613 0 0 0 9 0 0 0 20 0 1 0 142712072 13955072 3088 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 3407 3088 660 659 0 2611 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23560 KiB
Current children cumulated memory: 15180 KiB
[startup+0.205929 s]*
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128224520/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=15108 memory=13920 CPUtime=0.19 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 4843 0 0 0 19 0 0 0 20 0 1 0 142712072 15470592 3480 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 3777 3480 660 659 0 2981 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 25040 KiB
Current children cumulated memory: 16748 KiB
[startup+0.305839 s]*
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128196244/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=16848 memory=14976 CPUtime=0.29 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5109 0 0 0 29 0 0 0 20 0 1 0 142712072 17252352 3744 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4212 3744 660 659 0 3416 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26780 KiB
Current children cumulated memory: 17804 KiB
[startup+0.70027 s]
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128116364/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=16848 memory=14976 CPUtime=0.68 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5114 0 0 0 68 0 0 0 20 0 1 0 142712072 17252352 3744 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4212 3744 660 659 0 3416 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26780 KiB
Current children cumulated memory: 17804 KiB
[startup+1.50026 s]
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128079808/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=16848 memory=14976 CPUtime=1.48 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5114 0 0 0 148 0 0 0 20 0 1 0 142712072 17252352 3744 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4212 3744 660 659 0 3416 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26780 KiB
Current children cumulated memory: 17804 KiB
[startup+3.10567 s]
/proc/loadavg: 1.67 2.00 2.05 5/260 730418
/proc/meminfo: memFree=128042444/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=16848 memory=14976 CPUtime=3.08 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5114 0 0 0 308 0 0 0 20 0 1 0 142712072 17252352 3744 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4212 3744 660 659 0 3416 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 26780 KiB
Current children cumulated memory: 17804 KiB
[startup+6.30018 s]
/proc/loadavg: 1.86 2.04 2.06 5/260 730418
/proc/meminfo: memFree=128034196/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=16848 memory=14976 CPUtime=6.26 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5114 0 0 0 626 0 0 0 20 0 1 0 142712072 17252352 3744 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4212 3744 660 659 0 3416 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 26780 KiB
Current children cumulated memory: 17804 KiB
[startup+12.7002 s]
/proc/loadavg: 2.03 2.07 2.08 5/260 730420
/proc/meminfo: memFree=128032204/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=18068 memory=16208 CPUtime=12.64 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 5970 0 0 0 1264 0 0 0 20 0 1 0 142712072 18501632 4052 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4517 4052 660 659 0 3721 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 19036 KiB
[startup+25.5002 s]
/proc/loadavg: 2.47 2.16 2.11 5/260 730421
/proc/meminfo: memFree=128033300/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=18744 memory=16820 CPUtime=25.4 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 9685 0 0 0 2539 1 0 0 20 0 1 0 142712072 19193856 4205 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4686 4205 660 659 0 3890 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 28676 KiB
Current children cumulated memory: 19648 KiB
[startup+51.1057 s]
/proc/loadavg: 3.05 2.33 2.16 5/260 730426
/proc/meminfo: memFree=128016708/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=17412 memory=15948 CPUtime=50.93 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 12389 0 0 0 5091 2 0 0 20 0 1 0 142712072 17829888 3987 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 4353 3987 660 659 0 3557 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 27344 KiB
Current children cumulated memory: 18776 KiB
[startup+102.3 s]
/proc/loadavg: 3.64 2.60 2.27 5/260 730435
/proc/meminfo: memFree=127979720/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=28132 memory=26392 CPUtime=101.96 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 22722 0 0 0 10193 3 0 0 20 0 1 0 142712072 28807168 6598 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 7033 6598 660 659 0 6237 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 38064 KiB
Current children cumulated memory: 29220 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 2.88 2.38 5/262 730449
/proc/meminfo: memFree=127935444/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=30332 memory=28528 CPUtime=161.78 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 27385 0 0 0 16173 5 0 0 20 0 1 0 142712072 31059968 7132 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 7583 7132 660 659 0 6787 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 40264 KiB
Current children cumulated memory: 31356 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.11 2.50 5/262 730461
/proc/meminfo: memFree=127909704/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=32052 memory=30404 CPUtime=221.6 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 31060 0 0 0 22155 5 0 0 20 0 1 0 142712072 32821248 7601 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 8013 7601 660 659 0 7217 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 41984 KiB
################
# More data... #
################
/proc/loadavg: 4.12 4.12 4.09 5/264 732421
/proc/meminfo: memFree=127457896/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=167176 memory=165624 CPUtime=3092.3 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 104615 0 0 0 309169 61 0 0 20 0 1 0 142712072 171188224 41406 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 41794 41406 660 659 0 40998 0
Current children cumulated CPU time: 3092.3 s
Current children cumulated vsize: 177108 KiB
Current children cumulated memory: 168452 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/265 732720
/proc/meminfo: memFree=127654404/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=167176 memory=165624 CPUtime=3152.1 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 104676 0 0 0 315149 61 0 0 20 0 1 0 142712072 171188224 41406 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 41794 41406 660 659 0 40998 0
Current children cumulated CPU time: 3152.1 s
Current children cumulated vsize: 177108 KiB
Current children cumulated memory: 168452 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 732734
/proc/meminfo: memFree=127618276/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=168672 memory=167120 CPUtime=3211.9 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 105129 0 0 0 321129 61 0 0 20 0 1 0 142712072 172720128 41780 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 42168 41780 660 659 0 41372 0
Current children cumulated CPU time: 3211.9 s
Current children cumulated vsize: 178604 KiB
Current children cumulated memory: 169948 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 732744
/proc/meminfo: memFree=127648696/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=168672 memory=167120 CPUtime=3271.71 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 105206 0 0 0 327110 61 0 0 20 0 1 0 142712072 172720128 41780 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 42168 41780 660 659 0 41372 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 178604 KiB
Current children cumulated memory: 169948 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 732756
/proc/meminfo: memFree=127611364/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=168672 memory=167120 CPUtime=3331.52 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 105271 0 0 0 333091 61 0 0 20 0 1 0 142712072 172720128 41780 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 42168 41780 660 659 0 41372 0
Current children cumulated CPU time: 3331.52 s
Current children cumulated vsize: 178604 KiB
Current children cumulated memory: 169948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/261 732767
/proc/meminfo: memFree=127429164/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=201068 memory=199344 CPUtime=3391.33 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 106284 0 0 0 339071 62 0 0 20 0 1 0 142712072 205893632 49836 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 50267 49836 660 659 0 49471 0
Current children cumulated CPU time: 3391.33 s
Current children cumulated vsize: 211000 KiB
Current children cumulated memory: 202172 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 732778
/proc/meminfo: memFree=127603384/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=168672 memory=167120 CPUtime=3451.14 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 106998 0 0 0 345051 63 0 0 20 0 1 0 142712072 172720128 41780 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 42168 41780 660 659 0 41372 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 178604 KiB
Current children cumulated memory: 169948 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 732788
/proc/meminfo: memFree=127527560/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=173176 memory=171496 CPUtime=3510.94 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 108502 0 0 0 351030 64 0 0 20 0 1 0 142712072 177332224 42874 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 43294 42874 660 659 0 42498 0
Current children cumulated CPU time: 3510.94 s
Current children cumulated vsize: 183108 KiB
Current children cumulated memory: 174324 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/260 732799
/proc/meminfo: memFree=127628732/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=165504 memory=163932 CPUtime=3570.75 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 110244 0 0 0 357009 66 0 0 20 0 1 0 142712072 169476096 40983 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 41376 40983 660 659 0 40580 0
Current children cumulated CPU time: 3570.75 s
Current children cumulated vsize: 175436 KiB
Current children cumulated memory: 166760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 732955
/proc/meminfo: memFree=127912192/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=165504 memory=163952 CPUtime=3600.05 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 110319 0 0 0 359939 66 0 0 20 0 1 0 142712072 169476096 40988 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 41376 40988 660 659 0 40580 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 175436 KiB
Current children cumulated memory: 166780 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.7 s]
# the end of solver process 730379 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.4 s, system=0.67211 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.7 s]
/proc/loadavg: 4.14 4.12 4.09 5/260 732955
/proc/meminfo: memFree=127912192/131524600 swapFree=131071996/131071996
[pid=730379] ppid=730374 vsize=9932 memory=2828 CPUtime=0 cores=0,2
/proc/730379/stat : 730379 (naps-1.03.sh) S 730374 730379 727960 0 -1 4194304 224 243 0 0 0 0 0 0 20 0 1 0 142712072 10170368 707 134679101440 94099450081280 94099451160600 140722696504032 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94099453259056 94099453306244 94099464335360 140722696508336 140722696508461 140722696508461 140722696515528 0
/proc/730379/statm: 2483 707 631 264 0 134 0
[pid=730384] ppid=730379 vsize=165504 memory=163952 CPUtime=3600.05 cores=0,2
/proc/730384/stat : 730384 (naps-1.03) R 730379 730379 727960 0 -1 4194304 110319 0 0 0 359939 66 0 0 20 0 1 0 142712072 169476096 40988 134679101440 4194304 6891213 140726012314400 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 26562560 140726012322753 140726012322865 140726012322865 140726012329931 0
/proc/730384/statm: 41376 40988 660 659 0 40580 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 175436 KiB
Current children cumulated memory: 166780 KiB
Child status: 10
Real time (s): 3611.7
CPU time (s): 3600.07
CPU user time (s): 3599.4
CPU system time (s): 0.67211
CPU usage (%): 99.678
Max. virtual memory (cumulated for all children) (KiB): 217344
Max. memory (cumulated for all children) (KiB): 208540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.4
system time used= 0.67211
maximum resident set size= 205712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110802
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= 42
involuntary context switches= 25194
# summary of solver processes directly reported to runsolver:
# pid: 730379
# total CPU time (s): 3600.07
# total CPU user time (s): 3599.4
# total CPU system time (s): 0.67211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33881 second user time and 18.847 second system time
The end
Begin job on nodeC031 at 2024-07-13 23:17:31 IDJOB=4426697 IDBENCH=143142 IDSOLVER=3043 FILE ID=nodeC031/4426697-1720905438 RUNJOBID= nodeC031-1720905451-730338 SLURM_JOB_ID= 7486090 Free space on /tmp= 890084 MiB SOLVER NAME= NaPS 1.03 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426697-1720905438/watcher-4426697-1720905438 -o /tmp/evaluation-result-4426697-1720905438/solver-4426697-1720905438 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1720905451-730338 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426697-1720905438.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 70531ee5749151dad1953cdd0a25cead RANDOM SEED=2091979857 nodeC031.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 : 3580.960 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.55 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 : 3046.129 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 : 7006.11 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 : 3589.500 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.55 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 : 3513.166 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 : 7006.11 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 : 3245.625 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.55 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 : 3504.558 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 : 7006.11 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 : 3454.411 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 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.55 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 : 3080.586 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 : 7006.11 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 128351964 kB MemAvailable: 129718300 kB Buffers: 327832 kB Cached: 1866500 kB SwapCached: 0 kB Active: 516032 kB Inactive: 2056856 kB Active(anon): 1472 kB Inactive(anon): 414840 kB Active(file): 514560 kB Inactive(file): 1642016 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5284 kB Writeback: 0 kB AnonPages: 376500 kB Mapped: 101504 kB Shmem: 37720 kB KReclaimable: 98812 kB Slab: 201736 kB SReclaimable: 98812 kB SUnreclaim: 102924 kB KernelStack: 3948 kB PageTables: 8992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 711860 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 56576 kB HardwareCorrupted: 0 kB AnonHugePages: 249856 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: 162516 kB DirectMap2M: 12193792 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 890040 MiB End job on nodeC031 at 2024-07-14 00:17:42