Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS-PB16 1.02b5 | SAT (TO) | 7 | 3600.09 | 3610.7 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=14-t=9.opb |
| MD5SUM | 5bbd9c37a994af6c8eea19ef18cfb445 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 3558.01 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 427 |
| Total number of constraints | 17423 |
| Number of constraints which are clauses | 17409 |
| Number of constraints which are cardinality constraints (but not clauses) | 14 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 15 |
| Number of terms in the objective function | 14 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 14 |
| Number of bits of the sum of numbers in the objective function | 4 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 16 |
| 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.02b5. 0.00/0.00 c Input file name: HOME/instance-4449799-1721494324.opb 3600.07/3610.70 o 13 3600.07/3610.70 o 7 3600.07/3610.70 c 3600.07/3610.70 c *** TERMINATED *** by signal 15 3600.07/3610.70 s SATISFIABLE 3600.07/3610.70 c _____________________________________________________________________________ 3600.07/3610.70 c 3600.07/3610.70 c std/band forms : 16,0 3600.07/3610.70 c 2cl/3cl ITE-codings : 168,0 3600.07/3610.70 c BDD/srt/adr Max costs : 25,106,0 3600.07/3610.70 c BDDraw/bin/mul/srt/adr: 14,0,0,2,0 3600.07/3610.70 c BDD nodes : 364 3600.07/3610.70 c Es1/CC detections : 0,0 3600.07/3610.70 c SAT/UNSAT calls : 2,0 3600.07/3610.70 c regenrated variables : 22 3600.07/3610.70 c restarts : 3 3600.07/3610.70 c conflicts : 49 (0 /sec) 3600.07/3610.70 c decisions : 702 (0 /sec) 3600.07/3610.70 c propagations : 2854 (1 /sec) 3600.07/3610.70 c inspects : 0 (0 /sec) 3600.07/3610.70 c CPU time (solving tm) : 3598 s (3597 s) 3600.07/3610.70 c Time for Opt-base : 4e-05 s 3600.07/3610.70 c _____________________________________________________________________________ 3600.07/3610.70 v -x92 -x93 -x94 -x95 x96 -x97 x98 x99 x100 -x101 x102 -x103 x104 x105 -x106 -x120 -x134 -x148 -x162 -x176 -x190 x204 -x218 -x232 -x246 -x260 -x274 -x288 -x107 -x121 -x135 -x149 -x163 -x177 x191 -x205 -x219 -x233 -x247 -x261 -x275 -x289 -x108 -x122 -x136 -x150 -x164 -x178 -x192 -x206 -x220 -x234 -x248 -x262 x276 -x290 x109 -x123 -x137 -x151 -x165 -x179 -x193 -x207 -x221 -x235 -x249 -x263 -x277 -x291 -x110 -x124 -x138 -x152 -x166 -x180 -x194 -x208 -x222 -x236 -x250 -x264 -x278 -x292 -x111 x125 -x139 -x153 -x167 -x181 -x195 -x209 -x223 -x237 -x251 -x265 -x279 -x293 -x112 -x126 -x140 -x154 -x168 -x182 -x196 -x210 -x224 -x238 -x252 -x266 -x280 -x294 -x113 -x127 -x141 -x155 -x169 -x183 -x197 -x211 -x225 -x239 -x253 -x267 -x281 -x295 -x114 -x128 -x142 -x156 -x170 -x184 -x198 -x212 -x226 -x240 -x254 -x268 -x282 -x296 -x115 -x129 x143 -x157 -x171 -x185 -x199 -x213 -x227 -x241 -x255 -x269 -x283 -x297 -x116 -x130 -x144 -x158 -x172 -x186 -x200 -x214 -x228 -x242 -x256 -x270 -x284 -x298 -x117 -x131 -x145 x159 -x173 -x187 -x201 -x215 -x229 -x243 -x257 -x271 -x285 -x299 -x118 -x132 -x146 -x160 -x174 -x188 -x202 -x216 -x230 -x244 -x258 -x272 -x286 -x300 -x119 -x133 -x147 -x161 -x175 -x189 -x203 -x217 -x231 -x245 -x259 -x273 -x287 -x301 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 -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
OK 7
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: 64096 MiB (62700 MiB free)
memory of node 1: 64473 MiB (61162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449799-1721494324/watcher-4449799-1721494324 -o /tmp/evaluation-result-4449799-1721494324/solver-4449799-1721494324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721494336-1095028 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449799-1721494324.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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=1095084, runsolver pid=1095077
[startup+0.100097 s]*
/proc/loadavg: 4.09 4.18 4.18 6/248 1095105
/proc/meminfo: memFree=126832020/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=7392 memory=2296 CPUtime=0.1 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 286 0 0 0 10 0 0 0 20 0 1 0 201588199 7569408 574 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 1848 574 405 379 0 1382 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 17324 KiB
Current children cumulated memory: 5144 KiB
[startup+0.21422 s]*
/proc/loadavg: 4.09 4.18 4.18 6/248 1095105
/proc/meminfo: memFree=126823824/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=7728 memory=2908 CPUtime=0.21 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 397 0 0 0 21 0 0 0 20 0 1 0 201588199 7913472 727 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 1932 727 405 379 0 1466 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 17660 KiB
Current children cumulated memory: 5756 KiB
[startup+0.313116 s]*
/proc/loadavg: 4.09 4.18 4.18 6/248 1095105
/proc/meminfo: memFree=126819748/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=8272 memory=3500 CPUtime=0.31 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 528 0 0 0 31 0 0 0 20 0 1 0 201588199 8470528 875 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 2068 875 405 379 0 1602 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18204 KiB
Current children cumulated memory: 6348 KiB
[startup+0.700345 s]
/proc/loadavg: 4.09 4.18 4.18 6/248 1095105
/proc/meminfo: memFree=126817388/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=6504 memory=5624 CPUtime=0.68 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 1455 0 0 0 68 0 0 0 20 0 1 0 201588199 6660096 1406 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 1626 1406 421 379 0 1160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 16436 KiB
Current children cumulated memory: 8472 KiB
[startup+1.50038 s]
/proc/loadavg: 4.09 4.18 4.18 6/248 1095105
/proc/meminfo: memFree=126804204/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=13844 memory=13184 CPUtime=1.47 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 2878 0 0 0 147 0 0 0 20 0 1 0 201588199 14176256 3296 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 3461 3296 421 379 0 2995 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 23776 KiB
Current children cumulated memory: 16032 KiB
[startup+3.11362 s]
/proc/loadavg: 4.08 4.18 4.17 6/248 1095105
/proc/meminfo: memFree=126766608/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=29940 memory=28996 CPUtime=3.08 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 5962 0 0 0 307 1 0 0 20 0 1 0 201588199 30658560 7249 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 7485 7249 421 379 0 7019 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 39872 KiB
Current children cumulated memory: 31844 KiB
[startup+6.30033 s]
/proc/loadavg: 4.08 4.18 4.17 6/248 1095107
/proc/meminfo: memFree=126746272/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=42720 memory=39876 CPUtime=6.27 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 7293 0 0 0 625 2 0 0 20 0 1 0 201588199 43745280 9969 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 10680 9969 421 379 0 10214 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 52652 KiB
Current children cumulated memory: 42724 KiB
[startup+12.7004 s]
/proc/loadavg: 4.07 4.17 4.17 6/248 1095107
/proc/meminfo: memFree=126703364/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=82256 memory=56276 CPUtime=12.65 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 8424 0 0 0 1262 3 0 0 20 0 1 0 201588199 84230144 14069 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 20564 14069 421 379 0 20098 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 92188 KiB
Current children cumulated memory: 59124 KiB
[startup+25.5004 s]
/proc/loadavg: 4.06 4.16 4.17 6/248 1095108
/proc/meminfo: memFree=126647584/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=82256 memory=81392 CPUtime=25.42 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 9175 0 0 0 2537 5 0 0 20 0 1 0 201588199 84230144 20348 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 20564 20348 421 379 0 20098 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 92188 KiB
Current children cumulated memory: 84240 KiB
[startup+51.1138 s]
/proc/loadavg: 4.10 4.17 4.17 6/248 1095113
/proc/meminfo: memFree=126606432/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=82256 memory=81576 CPUtime=50.96 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 10973 0 0 0 5085 11 0 0 20 0 1 0 201588199 84230144 20394 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 20564 20394 421 379 0 20098 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 92188 KiB
Current children cumulated memory: 84424 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.17 4.17 6/248 1095121
/proc/meminfo: memFree=126459104/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=175968 memory=149416 CPUtime=102.01 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 15560 0 0 0 10181 20 0 0 20 0 1 0 201588199 180191232 37354 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 43992 37354 421 379 0 43526 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 185900 KiB
Current children cumulated memory: 152264 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.17 6/248 1095133
/proc/meminfo: memFree=126420144/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=175968 memory=161716 CPUtime=161.85 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 20642 0 0 0 16157 28 0 0 20 0 1 0 201588199 180191232 40429 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 43992 40429 421 379 0 43526 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 185900 KiB
Current children cumulated memory: 164564 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.17 4.17 6/248 1095526
/proc/meminfo: memFree=126392724/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=175968 memory=155572 CPUtime=221.68 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 24858 0 0 0 22132 36 0 0 20 0 1 0 201588199 180191232 38893 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 43992 38893 421 379 0 43526 0
Current children cumulated CPU time: 221.68 s
################
# More data... #
################
/proc/loadavg: 4.14 4.14 4.10 6/248 1096832
/proc/meminfo: memFree=125653348/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=366920 memory=309120 CPUtime=3093.22 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 112076 0 0 0 309101 221 0 0 20 0 1 0 201588199 375726080 77280 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 91730 77280 421 379 0 91264 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 376852 KiB
Current children cumulated memory: 311968 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 6/248 1096843
/proc/meminfo: memFree=125806912/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=285532 memory=282868 CPUtime=3153.03 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 113096 0 0 0 315079 224 0 0 20 0 1 0 201588199 292384768 70717 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 71383 70717 421 379 0 70917 0
Current children cumulated CPU time: 3153.03 s
Current children cumulated vsize: 295464 KiB
Current children cumulated memory: 285716 KiB
[startup+3222.3 s]
/proc/loadavg: 4.40 4.21 4.12 6/245 1096854
/proc/meminfo: memFree=125784404/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=286492 memory=245764 CPUtime=3212.85 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 114319 0 0 0 321058 227 0 0 20 0 1 0 201588199 293367808 61441 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 71623 61441 421 379 0 71157 0
Current children cumulated CPU time: 3212.85 s
Current children cumulated vsize: 296424 KiB
Current children cumulated memory: 248612 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.18 4.11 6/246 1096865
/proc/meminfo: memFree=125664384/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=367880 memory=293460 CPUtime=3272.66 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 115142 0 0 0 327038 228 0 0 20 0 1 0 201588199 376709120 73365 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 91970 73365 421 379 0 91504 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 377812 KiB
Current children cumulated memory: 296308 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.11 6/246 1096875
/proc/meminfo: memFree=125785480/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=286492 memory=249860 CPUtime=3332.46 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 115841 0 0 0 333016 230 0 0 20 0 1 0 201588199 293367808 62465 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 71623 62465 421 379 0 71157 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 296424 KiB
Current children cumulated memory: 252708 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 6/246 1096885
/proc/meminfo: memFree=125691084/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=367880 memory=299604 CPUtime=3392.28 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 116672 0 0 0 338995 233 0 0 20 0 1 0 201588199 376709120 74901 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 91970 74901 421 379 0 91504 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 377812 KiB
Current children cumulated memory: 302452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.10 6/246 1096896
/proc/meminfo: memFree=125706716/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=287452 memory=277204 CPUtime=3452.09 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 117598 0 0 0 344974 235 0 0 20 0 1 0 201588199 294350848 69301 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 71863 69301 421 379 0 71397 0
Current children cumulated CPU time: 3452.09 s
Current children cumulated vsize: 297384 KiB
Current children cumulated memory: 280052 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.18 4.11 6/248 1096910
/proc/meminfo: memFree=125668536/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=368840 memory=316936 CPUtime=3511.91 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 118384 0 0 0 350954 237 0 0 20 0 1 0 201588199 377692160 79234 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 92210 79234 421 379 0 91744 0
Current children cumulated CPU time: 3511.91 s
Current children cumulated vsize: 378772 KiB
Current children cumulated memory: 319784 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.16 4.11 6/248 1096920
/proc/meminfo: memFree=125687820/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=368840 memory=290232 CPUtime=3571.74 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 119740 0 0 0 356933 241 0 0 20 0 1 0 201588199 377692160 72558 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 92210 72558 421 379 0 91744 0
Current children cumulated CPU time: 3571.74 s
Current children cumulated vsize: 378772 KiB
Current children cumulated memory: 293080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.17 4.16 4.11 3/231 1096988
/proc/meminfo: memFree=126384192/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=368840 memory=308744 CPUtime=3600.07 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 119827 0 0 0 359765 242 0 0 20 0 1 0 201588199 377692160 77186 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 92210 77186 421 379 0 91744 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 378772 KiB
Current children cumulated memory: 311592 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.7 s]
# the end of solver process 1095084 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3597.65 s, system=2.43233 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.17 4.16 4.11 3/231 1096988
/proc/meminfo: memFree=126384192/131655788 swapFree=131071996/131071996
[pid=1095084] ppid=1095077 vsize=9932 memory=2848 CPUtime=0 cores=5,7
/proc/1095084/stat : 1095084 (naps-1.02b5.sh) S 1095077 1095084 1095015 0 -1 4194304 224 247 0 0 0 0 0 0 20 0 1 0 201588199 10170368 712 134679101440 93883363450880 93883364530200 140734007470784 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 93883366628656 93883366675844 93883370606592 140734007477214 140734007477341 140734007477341 140734007484358 0
/proc/1095084/statm: 2483 712 637 264 0 134 0
[pid=1095095] ppid=1095084 vsize=368840 memory=308744 CPUtime=3600.07 cores=5,7
/proc/1095095/stat : 1095095 (naps-1.02b5) R 1095084 1095084 1095015 0 -1 4194304 119827 0 0 0 359765 242 0 0 20 0 1 0 201588199 377692160 77186 134679101440 4194304 5746509 140732625935680 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 6059216 6091920 9498624 140732625941485 140732625941599 140732625941599 140732625948617 0
/proc/1095095/statm: 92210 77186 421 379 0 91744 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 378772 KiB
Current children cumulated memory: 311592 KiB
Child status: 10
Real time (s): 3610.7
CPU time (s): 3600.09
CPU user time (s): 3597.65
CPU system time (s): 2.43233
CPU usage (%): 99.7059
Max. virtual memory (cumulated for all children) (KiB): 509000
Max. memory (cumulated for all children) (KiB): 395292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.65
system time used= 2.43233
maximum resident set size= 402776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120313
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= 144
involuntary context switches= 4079
# summary of solver processes directly reported to runsolver:
# pid: 1095084
# total CPU time (s): 3600.09
# total CPU user time (s): 3597.65
# total CPU system time (s): 2.43233
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.323 second user time and 39.9431 second system time
The end
Begin job on nodeC004 at 2024-07-20 18:52:16 IDJOB=4449799 IDBENCH=176142 IDSOLVER=3065 FILE ID=nodeC004/4449799-1721494324 RUNJOBID= nodeC004-1721494336-1095028 SLURM_JOB_ID= 7545803 Free space on /tmp= 723780 MiB SOLVER NAME= NaPS-PB16 1.02b5 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.opb COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449799-1721494324/watcher-4449799-1721494324 -o /tmp/evaluation-result-4449799-1721494324/solver-4449799-1721494324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721494336-1095028 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449799-1721494324.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445 RANDOM SEED=582441568 nodeC004.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 : 3492.216 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 : 6984.29 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 : 1197.308 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.37 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 : 6984.29 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.376 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.37 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 : 1197.308 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 : 6984.29 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 : 1197.309 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.37 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.340 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 : 6984.29 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.330 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.37 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 126842432 kB MemAvailable: 129870504 kB Buffers: 588584 kB Cached: 3254152 kB SwapCached: 0 kB Active: 1293704 kB Inactive: 2893264 kB Active(anon): 3236 kB Inactive(anon): 386884 kB Active(file): 1290468 kB Inactive(file): 2506380 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 14240 kB Writeback: 0 kB AnonPages: 343500 kB Mapped: 107968 kB Shmem: 45892 kB KReclaimable: 142844 kB Slab: 252196 kB SReclaimable: 142844 kB SUnreclaim: 109352 kB KernelStack: 3760 kB PageTables: 10060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 782912 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62944 kB HardwareCorrupted: 0 kB AnonHugePages: 221184 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: 252744 kB DirectMap2M: 29011968 kB DirectMap1G: 106954752 kB Free space on /tmp at the end= 723772 MiB End job on nodeC004 at 2024-07-20 19:52:27