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.09 | 3609.11 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo |
| MD5SUM | 40fe69deba25156f693d1482e89859ad |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.00753 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 420 |
| Total number of constraints | 41 |
| Number of soft constraints | 41 |
| Number of constraints which are clauses | 21 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 21 |
| Top cost | 1724 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 1723 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 22 |
| 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-4426729-1720905448.wbo 0.00/0.01 c single stage optimization mode 0.00/0.01 o 897 0.00/0.03 o 205 0.00/0.06 o 32 0.00/0.06 o 4 0.00/0.07 o 2 0.00/0.07 o 1 3600.07/3609.11 c 3600.07/3609.11 c *** TERMINATED *** by signal 15 3600.07/3609.11 s SATISFIABLE 3600.07/3609.11 c _____________________________________________________________________________ 3600.07/3609.11 c std/band forms : 24,0 3600.07/3609.11 c 2cl/3cl ITE-codings : 2111,0 3600.07/3609.11 c BDD/srt/adr Max costs : 6924,224,0 3600.07/3609.11 c BDDraw/bin/mul/srt/adr: 0,0,4,20,0 3600.07/3609.11 c BDD nodes : 2425 3600.07/3609.11 c Es1/CC detections : 0,0 3600.07/3609.11 c CC sort : 20 3600.07/3609.11 c SAT/UNSAT calls : 6,0 3600.07/3609.11 c regenrated variables : 0 3600.07/3609.11 c eliminated fixed lits : 104 3600.07/3609.11 c goal lit flips : 21 3600.07/3609.11 c goal stages : 1 3600.07/3609.11 c goal shrink : 0 3600.07/3609.11 c goal coeff separations: 0 3600.07/3609.11 c restarts : 12 3600.07/3609.11 c conflicts : 404 (0 /sec) 3600.07/3609.11 c decisions : 5507 (2 /sec) 3600.07/3609.11 c propagations : 98035 (27 /sec) 3600.07/3609.11 c inspects : 0 (0 /sec) 3600.07/3609.11 c CPU time (solving tm) : 3600 s (3600 s, SAT 0.03174 s, UNSAT 0 s) 3600.07/3609.11 c Time for Opt-base : 0.001853 s 3600.07/3609.11 c Steps for Opt-base : 1886 3600.07/3609.11 c Time for BDD coding : 0.02167 s 3600.07/3609.11 c Time for srt coding : 0.001386 s 3600.07/3609.11 c _____________________________________________________________________________ 3600.07/3609.11 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
OK 1
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: 64059 MiB (60207 MiB free)
memory of node 1: 64510 MiB (63576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426729-1720905448/watcher-4426729-1720905448 -o /tmp/evaluation-result-4426729-1720905448/solver-4426729-1720905448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726367 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426729-1720905448.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=726545, runsolver pid=726542
[startup+0.100622 s]*
/proc/loadavg: 3.44 3.19 3.11 7/247 726550
/proc/meminfo: memFree=126749780/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=8308 memory=6964 CPUtime=0.1 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 1270 0 0 0 10 0 0 0 20 0 1 0 142702860 8507392 1741 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2077 1741 644 659 0 1281 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18240 KiB
Current children cumulated memory: 9696 KiB
[startup+0.213211 s]*
/proc/loadavg: 3.44 3.19 3.11 6/247 726550
/proc/meminfo: memFree=126749092/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=8320 memory=7028 CPUtime=0.21 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 2140 0 0 0 21 0 0 0 20 0 1 0 142702860 8519680 1757 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2080 1757 660 659 0 1284 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18252 KiB
Current children cumulated memory: 9760 KiB
[startup+0.312982 s]*
/proc/loadavg: 3.44 3.19 3.11 5/247 726550
/proc/meminfo: memFree=126748924/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=8608 memory=7028 CPUtime=0.31 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 2183 0 0 0 31 0 0 0 20 0 1 0 142702860 8814592 1757 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2152 1757 660 659 0 1356 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18540 KiB
Current children cumulated memory: 9760 KiB
[startup+0.700339 s]
/proc/loadavg: 3.44 3.19 3.11 5/247 726550
/proc/meminfo: memFree=126748412/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=8804 memory=7400 CPUtime=0.68 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 2501 0 0 0 68 0 0 0 20 0 1 0 142702860 9015296 1850 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2201 1850 660 659 0 1405 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 18736 KiB
Current children cumulated memory: 10132 KiB
[startup+1.50035 s]
/proc/loadavg: 3.44 3.19 3.11 5/247 726550
/proc/meminfo: memFree=126738484/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=9656 memory=8140 CPUtime=1.48 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 2869 0 0 0 148 0 0 0 20 0 1 0 142702860 9887744 2035 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2414 2035 660 659 0 1618 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 19588 KiB
Current children cumulated memory: 10872 KiB
[startup+3.11283 s]
/proc/loadavg: 3.49 3.20 3.12 5/247 726550
/proc/meminfo: memFree=126655636/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=10404 memory=9028 CPUtime=3.09 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 5390 0 0 0 309 0 0 0 20 0 1 0 142702860 10653696 2257 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 2601 2257 660 659 0 1805 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 20336 KiB
Current children cumulated memory: 11760 KiB
[startup+6.30035 s]
/proc/loadavg: 3.49 3.20 3.12 5/247 726552
/proc/meminfo: memFree=125064512/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=13812 memory=12364 CPUtime=6.26 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 6706 0 0 0 626 0 0 0 20 0 1 0 142702860 14143488 3091 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 3453 3091 660 659 0 2657 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 23744 KiB
Current children cumulated memory: 15096 KiB
[startup+12.7004 s]
/proc/loadavg: 3.64 3.24 3.13 5/247 726552
/proc/meminfo: memFree=124542992/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=20836 memory=19364 CPUtime=12.65 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 11184 0 0 0 1264 1 0 0 20 0 1 0 142702860 21336064 4841 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 5209 4841 660 659 0 4413 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 30768 KiB
Current children cumulated memory: 22096 KiB
[startup+25.5004 s]
/proc/loadavg: 3.70 3.27 3.14 5/247 726555
/proc/meminfo: memFree=123808856/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=22832 memory=21320 CPUtime=25.42 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 16282 0 0 0 2540 2 0 0 20 0 1 0 142702860 23379968 5330 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 5708 5330 660 659 0 4912 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32764 KiB
Current children cumulated memory: 24052 KiB
[startup+51.1131 s]
/proc/loadavg: 3.80 3.33 3.17 5/247 726608
/proc/meminfo: memFree=129195208/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=29292 memory=27916 CPUtime=50.96 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 22386 0 0 0 5093 3 0 0 20 0 1 0 142702860 29995008 6979 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 7323 6979 660 659 0 6527 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 39224 KiB
Current children cumulated memory: 30648 KiB
[startup+102.3 s]
/proc/loadavg: 4.03 3.47 3.23 5/247 726618
/proc/meminfo: memFree=128540912/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=42476 memory=41100 CPUtime=102 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 27864 0 0 0 10195 5 0 0 20 0 1 0 142702860 43495424 10275 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 10619 10275 660 659 0 9823 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 52408 KiB
Current children cumulated memory: 43832 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.59 3.29 5/247 726727
/proc/meminfo: memFree=128408764/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=42476 memory=41172 CPUtime=161.84 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 27895 0 0 0 16178 6 0 0 20 0 1 0 142702860 43495424 10293 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 10619 10293 660 659 0 9823 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 52408 KiB
Current children cumulated memory: 43904 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 3.70 3.34 5/250 726843
/proc/meminfo: memFree=129708052/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=43488 memory=42028 CPUtime=221.7 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 28166 0 0 0 22164 6 0 0 20 0 1 0 142702860 44531712 10507 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 10872 10507 660 659 0 10076 0
Current children cumulated CPU time: 221.7 s
################
# More data... #
################
/proc/loadavg: 4.11 4.19 4.17 5/249 728802
/proc/meminfo: memFree=129221680/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=167264 memory=165960 CPUtime=3094.49 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 68396 0 0 0 309404 45 0 0 20 0 1 0 142702860 171278336 41490 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 41816 41490 660 659 0 41020 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 177196 KiB
Current children cumulated memory: 168692 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/248 728814
/proc/meminfo: memFree=129243468/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=167264 memory=165960 CPUtime=3154.34 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 68457 0 0 0 315389 45 0 0 20 0 1 0 142702860 171278336 41490 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 41816 41490 660 659 0 41020 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 177196 KiB
Current children cumulated memory: 168692 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/251 729125
/proc/meminfo: memFree=129296548/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=173132 memory=171828 CPUtime=3214.19 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 68977 0 0 0 321374 45 0 0 20 0 1 0 142702860 177287168 42957 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 43283 42957 660 659 0 42487 0
Current children cumulated CPU time: 3214.19 s
Current children cumulated vsize: 183064 KiB
Current children cumulated memory: 174560 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.19 4.18 5/251 729137
/proc/meminfo: memFree=129283856/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=173132 memory=171828 CPUtime=3274.05 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 69027 0 0 0 327360 45 0 0 20 0 1 0 142702860 177287168 42957 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 43283 42957 660 659 0 42487 0
Current children cumulated CPU time: 3274.05 s
Current children cumulated vsize: 183064 KiB
Current children cumulated memory: 174560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/249 729148
/proc/meminfo: memFree=129344184/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=173852 memory=172548 CPUtime=3333.9 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 69285 0 0 0 333345 45 0 0 20 0 1 0 142702860 178024448 43137 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 43463 43137 660 659 0 42667 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 183784 KiB
Current children cumulated memory: 175280 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/249 729158
/proc/meminfo: memFree=129309684/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=173852 memory=172548 CPUtime=3393.75 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 69366 0 0 0 339330 45 0 0 20 0 1 0 142702860 178024448 43137 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 43463 43137 660 659 0 42667 0
Current children cumulated CPU time: 3393.75 s
Current children cumulated vsize: 183784 KiB
Current children cumulated memory: 175280 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.18 4.18 5/249 729169
/proc/meminfo: memFree=129307464/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=209092 memory=180324 CPUtime=3453.6 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 69889 0 0 0 345315 45 0 0 20 0 1 0 142702860 214110208 45081 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 52273 45081 660 659 0 51477 0
Current children cumulated CPU time: 3453.6 s
Current children cumulated vsize: 219024 KiB
Current children cumulated memory: 183056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/245 729181
/proc/meminfo: memFree=129321312/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=143096 memory=141664 CPUtime=3513.46 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 71393 0 0 0 351299 47 0 0 20 0 1 0 142702860 146530304 35416 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 35774 35416 660 659 0 34978 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 153028 KiB
Current children cumulated memory: 144396 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/245 729291
/proc/meminfo: memFree=128629764/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=143096 memory=141792 CPUtime=3573.32 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 71446 0 0 0 357285 47 0 0 20 0 1 0 142702860 146530304 35448 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 35774 35448 660 659 0 34978 0
Current children cumulated CPU time: 3573.32 s
Current children cumulated vsize: 153028 KiB
Current children cumulated memory: 144524 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.14 4.17 4.18 5/245 729296
/proc/meminfo: memFree=126302616/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=143096 memory=141792 CPUtime=3600.07 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 71461 0 0 0 359960 47 0 0 20 0 1 0 142702860 146530304 35448 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 35774 35448 660 659 0 34978 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 153028 KiB
Current children cumulated memory: 144524 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.11 s]
# the end of solver process 726545 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.61 s, system=0.47891 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 4.14 4.17 4.18 5/245 729296
/proc/meminfo: memFree=126302616/131655788 swapFree=131071996/131071996
[pid=726545] ppid=726542 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/726545/stat : 726545 (naps-1.03.sh) S 726542 726545 724053 0 -1 4194304 224 239 0 0 0 0 0 0 20 0 1 0 142702860 10170368 683 134679101440 94135628173312 94135629252632 140734703322336 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94135631351088 94135631398276 94135654191104 140734703330224 140734703330349 140734703330349 140734703337416 0
/proc/726545/statm: 2483 683 605 264 0 134 0
[pid=726550] ppid=726545 vsize=143096 memory=141792 CPUtime=3600.07 cores=5,7
/proc/726550/stat : 726550 (naps-1.03) R 726545 726545 724053 0 -1 4194304 71461 0 0 0 359960 47 0 0 20 0 1 0 142702860 146530304 35448 134679101440 4194304 6891213 140735797772704 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 25235456 140735797777345 140735797777457 140735797777457 140735797784523 0
/proc/726550/statm: 35774 35448 660 659 0 34978 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 153028 KiB
Current children cumulated memory: 144524 KiB
Child status: 10
Real time (s): 3609.11
CPU time (s): 3600.09
CPU user time (s): 3599.61
CPU system time (s): 0.47891
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 219024
Max. memory (cumulated for all children) (KiB): 183056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.47891
maximum resident set size= 207676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71938
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= 28
involuntary context switches= 1348
# summary of solver processes directly reported to runsolver:
# pid: 726545
# total CPU time (s): 3600.09
# total CPU user time (s): 3599.61
# total CPU system time (s): 0.47891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7695 second user time and 37.1957 second system time
The end
Begin job on nodeC002 at 2024-07-13 23:17:41 IDJOB=4426729 IDBENCH=143157 IDSOLVER=3043 FILE ID=nodeC002/4426729-1720905448 RUNJOBID= nodeC002-1720905422-726367 SLURM_JOB_ID= 7486068 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS 1.03 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-0-100-0.wbo COMMAND LINE= HOME/naps-1.03.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4426729-1720905448/watcher-4426729-1720905448 -o /tmp/evaluation-result-4426729-1720905448/solver-4426729-1720905448 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720905422-726367 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426729-1720905448.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 40fe69deba25156f693d1482e89859ad RANDOM SEED=1359696335 nodeC002.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 : 0xb00001f cpu MHz : 3673.039 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 3655.195 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.308 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 1197.248 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 3491.693 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 3624.961 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 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 : 0xb00001f cpu MHz : 1197.283 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.38 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 : 0xb00001f cpu MHz : 1197.155 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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126754836 kB MemAvailable: 126737140 kB Buffers: 342572 kB Cached: 486720 kB SwapCached: 0 kB Active: 506528 kB Inactive: 3884836 kB Active(anon): 2748 kB Inactive(anon): 3596696 kB Active(file): 503780 kB Inactive(file): 288140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 5576 kB Writeback: 0 kB AnonPages: 3561376 kB Mapped: 109988 kB Shmem: 37704 kB KReclaimable: 60828 kB Slab: 151528 kB SReclaimable: 60828 kB SUnreclaim: 90700 kB KernelStack: 3980 kB PageTables: 16020 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 4173640 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 48032 kB HardwareCorrupted: 0 kB AnonHugePages: 2271232 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: 160584 kB DirectMap2M: 7084032 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 723756 MiB End job on nodeC002 at 2024-07-14 00:17:50