Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS naps-1.03a6 | OPT | 16 | 744.113 | 746.293 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=18-t=2.opb |
| MD5SUM | 5da417552da80e99ebaacbb86c541f7c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 16 |
| Best CPU time to get the best result obtained on this benchmark | 1.94433 |
| 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 | 531 |
| Total number of constraints | 47178 |
| Number of constraints which are clauses | 47160 |
| Number of constraints which are cardinality constraints (but not clauses) | 18 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 19 |
| Number of terms in the objective function | 18 |
| 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 | 18 |
| Number of bits of the sum of numbers in the objective function | 5 |
| Biggest number in a constraint | 2 |
| Number of bits of the biggest number in a constraint | 2 |
| Biggest sum of numbers in a constraint | 20 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.02 c NaPS 1.03a6. 0.00/0.02 c Input file name: HOME/instance-4517528-1751528664.opb 0.67/0.77 c single stage optimization mode 744.00/746.28 o 18 744.00/746.28 o 17 744.00/746.28 o 16 744.00/746.28 s OPTIMUM FOUND 744.00/746.28 c _____________________________________________________________________________ 744.00/746.28 c std/band forms : 21,0 744.00/746.28 c 2cl/3cl ITE-codings : 0,0 744.00/746.28 c BDD/srt/adr Max costs : 0,180,0 744.00/746.28 c BDDraw/bin/mul/srt/adr: 0,0,0,21,0 744.00/746.28 c BDD nodes : 0 744.00/746.28 c Es1/CC detections : 0,0 744.00/746.28 c CC sort : 21 744.00/746.28 c SAT/UNSAT calls : 3,2 744.00/746.28 c regenrated variables : 23 744.00/746.28 c eliminated fixed lits : 0 744.00/746.28 c goal lit flips : 1 744.00/746.28 c goal stages : 1 744.00/746.28 c goal shrink : 0 744.00/746.28 c goal coeff separations: 0 744.00/746.28 c restarts : 437007 744.00/746.28 c conflicts : 10507371 (14196 /sec) 744.00/746.28 c decisions : 34447256 (46539 /sec) 744.00/746.28 c propagations : 587914968 (794293 /sec) 744.00/746.28 c inspects : 0 (0 /sec) 744.00/746.28 c CPU time (solving tm) : 740.2 s (739.4 s, SAT 0.02886 s, UNSAT 739.4 s) 744.00/746.28 c Time for Opt-base : 0.000212 s 744.00/746.28 c Steps for Opt-base : 0 744.00/746.28 c Time for BDD coding : 0 s 744.00/746.28 c Time for srt coding : 0.000821 s 744.00/746.28 c _____________________________________________________________________________ 744.00/746.28 v x154 x155 -x156 x157 x158 x159 x160 -x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 -x172 -x190 -x208 -x226 -x244 -x262 -x280 -x298 -x316 -x334 -x352 -x370 -x388 -x406 -x424 -x442 -x460 -x478 -x173 -x191 -x209 -x227 -x245 -x263 -x281 -x299 -x317 -x335 -x353 -x371 -x389 -x407 -x425 -x443 -x461 -x479 -x174 -x192 -x210 -x228 -x246 -x264 -x282 x300 -x318 -x336 -x354 -x372 -x390 -x408 -x426 -x444 -x462 -x480 -x175 -x193 -x211 -x229 -x247 -x265 -x283 -x301 -x319 -x337 -x355 -x373 -x391 -x409 -x427 -x445 -x463 -x481 -x176 -x194 -x212 -x230 -x248 -x266 -x284 -x302 -x320 -x338 -x356 -x374 -x392 -x410 -x428 -x446 -x464 -x482 -x177 -x195 -x213 -x231 -x249 -x267 -x285 -x303 -x321 -x339 -x357 -x375 -x393 -x411 -x429 -x447 -x465 -x483 -x178 -x196 -x214 -x232 -x250 -x268 -x286 -x304 -x322 -x340 -x358 -x376 -x394 -x412 -x430 -x448 -x466 -x484 -x179 -x197 x215 -x233 -x251 -x269 -x287 -x305 -x323 -x341 -x359 -x377 -x395 -x413 -x431 -x449 -x467 -x485 -x180 -x198 -x216 -x234 -x252 -x270 -x288 -x306 -x324 -x342 -x360 -x378 -x396 -x414 -x432 -x450 -x468 -x486 -x181 -x199 -x217 -x235 -x253 -x271 -x289 -x307 -x325 -x343 -x361 -x379 -x397 -x415 -x433 -x451 -x469 -x487 -x182 -x200 -x218 -x236 -x254 -x272 -x290 -x308 -x326 -x344 -x362 -x380 -x398 -x416 -x434 -x452 -x470 -x488 -x183 -x201 -x219 -x237 -x255 -x273 -x291 -x309 -x327 -x345 -x363 -x381 -x399 -x417 -x435 -x453 -x471 -x489 -x184 -x202 -x220 -x238 -x256 -x274 -x292 -x310 -x328 -x346 -x364 -x382 -x400 -x418 -x436 -x454 -x472 -x490 -x185 -x203 -x221 -x239 -x257 -x275 -x293 -x311 -x329 -x347 -x365 -x383 -x401 -x419 -x437 -x455 -x473 -x491 -x186 -x204 -x222 -x240 -x258 -x276 -x294 -x312 -x330 -x348 -x366 -x384 -x402 -x420 -x438 -x456 -x474 -x492 -x187 -x205 -x223 -x241 -x259 -x277 -x295 -x313 -x331 -x349 -x367 -x385 -x403 -x421 -x439 -x457 -x475 -x493 -x188 -x206 -x224 -x242 -x260 -x278 -x296 -x314 -x332 -x350 -x368 -x386 -x404 -x422 -x440 -x458 -x476 -x494 -x189 -x207 -x225 -x243 -x261 -x279 -x297 -x315 -x333 -x351 -x369 -x387 -x405 -x423 -x441 -x459 -x477 -x495 -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 -x496 x497 -x498 x499 x500 -x501 -x502 x503 -x504 x505 -x506 x507 x508 -x509 -x510 x511 -x512 x513 x514 -x515 -x516 x517 -x518 x519 -x520 x521 x522 -x523 -x524 x525 x526 -x527 -x528 x529 -x530 x531
OK 16
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: 63837 MiB (62936 MiB free)
memory of node 1: 64465 MiB (63559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517528-1751528664/watcher-4517528-1751528664 -o /tmp/evaluation-result-4517528-1751528664/solver-4517528-1751528664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76256 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517528-1751528664.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77136, runsolver pid=77133
[startup+0.100104 s]*
/proc/loadavg: 4.10 4.11 4.06 5/255 77140
/proc/meminfo: memFree=129532088/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=4560 memory=3072 CPUtime=0.09 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 297 0 0 0 9 0 0 0 20 0 1 0 68545749 4669440 768 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 1140 768 544 696 0 301 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 8752 KiB
Current children cumulated memory: 6016 KiB
[startup+0.213878 s]*
/proc/loadavg: 4.10 4.11 4.06 5/255 77140
/proc/meminfo: memFree=129531836/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=5340 memory=3712 CPUtime=0.2 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 466 0 0 0 20 0 0 0 20 0 1 0 68545749 5468160 928 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 1335 928 544 696 0 496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 9532 KiB
Current children cumulated memory: 6656 KiB
[startup+0.313492 s]*
/proc/loadavg: 4.10 4.11 4.06 5/255 77140
/proc/meminfo: memFree=129530072/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=5988 memory=4352 CPUtime=0.3 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 657 0 0 0 30 0 0 0 20 0 1 0 68545749 6131712 1088 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 1497 1088 544 696 0 658 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10180 KiB
Current children cumulated memory: 7296 KiB
[startup+0.700392 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 77140
/proc/meminfo: memFree=129514988/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=8624 memory=6828 CPUtime=0.67 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 1343 0 0 0 67 0 0 0 20 0 1 0 68545749 8830976 1707 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 2156 1707 544 696 0 1317 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 12816 KiB
Current children cumulated memory: 9772 KiB
[startup+1.50044 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 77140
/proc/meminfo: memFree=129513132/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=12524 memory=11436 CPUtime=1.46 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 6956 0 0 0 145 1 0 0 20 0 1 0 68545749 12824576 2859 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 3131 2859 640 696 0 2292 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 16716 KiB
Current children cumulated memory: 14380 KiB
[startup+3.11316 s]
/proc/loadavg: 4.10 4.11 4.06 5/255 77141
/proc/meminfo: memFree=129505160/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=21196 memory=19912 CPUtime=3.07 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 15230 0 0 0 304 3 0 0 20 0 1 0 68545749 21704704 4978 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 5299 4978 640 696 0 4460 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 25388 KiB
Current children cumulated memory: 22856 KiB
[startup+6.30041 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 77141
/proc/meminfo: memFree=129479352/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=24132 memory=22916 CPUtime=6.25 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 24419 0 0 0 620 5 0 0 20 0 1 0 68545749 24711168 5729 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 6033 5729 640 696 0 5194 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 28324 KiB
Current children cumulated memory: 25860 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.10 4.06 5/255 77141
/proc/meminfo: memFree=129445500/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=41864 memory=39196 CPUtime=12.63 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 33450 0 0 0 1255 8 0 0 20 0 1 0 68545749 42868736 9799 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 10466 9799 640 696 0 9627 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 46056 KiB
Current children cumulated memory: 42140 KiB
[startup+25.5004 s]
/proc/loadavg: 4.14 4.12 4.06 5/255 77141
/proc/meminfo: memFree=129391808/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=85704 memory=84012 CPUtime=25.4 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 46106 0 0 0 2525 15 0 0 20 0 1 0 68545749 87760896 21003 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 21426 21003 640 696 0 20587 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 89896 KiB
Current children cumulated memory: 86956 KiB
[startup+51.1133 s]
/proc/loadavg: 4.09 4.11 4.06 5/255 77141
/proc/meminfo: memFree=129312616/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=110920 memory=109416 CPUtime=50.94 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 63322 0 0 0 5068 26 0 0 20 0 1 0 68545749 113582080 27354 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 27730 27354 640 696 0 26891 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 115112 KiB
Current children cumulated memory: 112360 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/255 77143
/proc/meminfo: memFree=129240440/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=185176 memory=177744 CPUtime=101.97 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 89146 0 0 0 10146 51 0 0 20 0 1 0 68545749 189620224 44436 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 46294 44436 640 696 0 45455 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 189368 KiB
Current children cumulated memory: 180688 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/255 77146
/proc/meminfo: memFree=129125708/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=221500 memory=215808 CPUtime=161.79 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 109074 0 0 0 16101 78 0 0 20 0 1 0 68545749 226816000 53952 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 55375 53952 640 696 0 54536 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 225692 KiB
Current children cumulated memory: 218752 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.06 5/255 77148
/proc/meminfo: memFree=129051104/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=230984 memory=228048 CPUtime=221.59 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 124218 0 0 0 22055 104 0 0 20 0 1 0 68545749 236527616 57012 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 57746 57012 640 696 0 56907 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 235176 KiB
################
# More data... #
################
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 204196 0 0 0 51817 255 0 0 20 0 1 0 68545749 404566016 93819 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 98771 93819 640 696 0 97932 0
Current children cumulated CPU time: 520.72 s
Current children cumulated vsize: 399276 KiB
Current children cumulated memory: 378220 KiB
[startup+582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/254 77165
/proc/meminfo: memFree=128677288/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=430596 memory=408900 CPUtime=580.56 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 215011 0 0 0 57770 286 0 0 20 0 1 0 68545749 440930304 102225 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 107649 102225 640 696 0 106810 0
Current children cumulated CPU time: 580.56 s
Current children cumulated vsize: 434788 KiB
Current children cumulated memory: 411844 KiB
[startup+642.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 77169
/proc/meminfo: memFree=128580784/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=474920 memory=450256 CPUtime=640.39 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 233201 0 0 0 63717 322 0 0 20 0 1 0 68545749 486318080 112564 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 118730 112564 640 696 0 117891 0
Current children cumulated CPU time: 640.39 s
Current children cumulated vsize: 479112 KiB
Current children cumulated memory: 453200 KiB
[startup+702.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 77171
/proc/meminfo: memFree=128237336/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=517512 memory=489704 CPUtime=700.22 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 247472 0 0 0 69658 364 0 0 20 0 1 0 68545749 529932288 122426 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 129378 122426 640 696 0 128539 0
Current children cumulated CPU time: 700.22 s
Current children cumulated vsize: 521704 KiB
Current children cumulated memory: 492648 KiB
[startup+746.293 s]
# the end of solver process 77136 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=740.177 s, system=3.93576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+716.8 s]
/proc/loadavg: 4.14 4.12 4.09 5/253 77171
/proc/meminfo: memFree=128471104/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=503424 memory=462932 CPUtime=714.68 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 251989 0 0 0 71097 371 0 0 20 0 1 0 68545749 515506176 115733 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 125856 115733 640 696 0 125017 0
Current children cumulated CPU time: 714.68 s
Current children cumulated vsize: 507616 KiB
Current children cumulated memory: 465876 KiB
[startup+729.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/253 77172
/proc/meminfo: memFree=128429004/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=526916 memory=495288 CPUtime=727.45 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 257224 0 0 0 72363 382 0 0 20 0 1 0 68545749 539561984 123822 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 131729 123822 640 696 0 130890 0
Current children cumulated CPU time: 727.45 s
Current children cumulated vsize: 531108 KiB
Current children cumulated memory: 498232 KiB
[startup+736 s]*
/proc/loadavg: 4.10 4.11 4.09 5/253 77172
/proc/meminfo: memFree=128436136/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=527560 memory=495932 CPUtime=733.85 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 257763 0 0 0 73000 385 0 0 20 0 1 0 68545749 540221440 123983 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 131890 123983 640 696 0 131051 0
Current children cumulated CPU time: 733.85 s
Current children cumulated vsize: 531752 KiB
Current children cumulated memory: 498876 KiB
[startup+742.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/253 77173
/proc/meminfo: memFree=128347020/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=618160 memory=562868 CPUtime=740.21 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 275060 0 0 0 73632 389 0 0 20 0 1 0 68545749 632995840 140717 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 154540 140717 640 696 0 153701 0
Current children cumulated CPU time: 740.21 s
Current children cumulated vsize: 622352 KiB
Current children cumulated memory: 565812 KiB
[startup+744 s]*
/proc/loadavg: 4.09 4.11 4.09 5/253 77173
/proc/meminfo: memFree=128355212/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=618160 memory=562868 CPUtime=741.82 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 275060 0 0 0 73793 389 0 0 20 0 1 0 68545749 632995840 140717 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 154540 140717 640 696 0 153701 0
Current children cumulated CPU time: 741.82 s
Current children cumulated vsize: 622352 KiB
Current children cumulated memory: 565812 KiB
[startup+745.6 s]
/proc/loadavg: 4.16 4.12 4.09 5/253 77173
/proc/meminfo: memFree=128235092/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=619808 memory=564792 CPUtime=743.4 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 275775 0 0 0 73948 392 0 0 20 0 1 0 68545749 634683392 141198 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 154952 141198 640 696 0 154113 0
Current children cumulated CPU time: 743.4 s
Current children cumulated vsize: 624000 KiB
Current children cumulated memory: 567736 KiB
[startup+746 s]*
/proc/loadavg: 4.16 4.12 4.09 5/253 77173
/proc/meminfo: memFree=128347392/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=619808 memory=564792 CPUtime=743.82 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 275775 0 0 0 73990 392 0 0 20 0 1 0 68545749 634683392 141198 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 154952 141198 640 696 0 154113 0
Current children cumulated CPU time: 743.82 s
Current children cumulated vsize: 624000 KiB
Current children cumulated memory: 567736 KiB
[startup+746.2 s]
/proc/loadavg: 4.16 4.12 4.09 5/253 77173
/proc/meminfo: memFree=128347392/131382112 swapFree=33010416/33010684
[pid=77136] ppid=77133 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/77136/stat : 77136 (naps-1.03a6.sh) S 77133 77136 76243 0 -1 4194304 228 203 0 0 0 0 0 0 20 0 1 0 68545747 4292608 736 18446744073709551615 94098449629184 94098450523717 140726799354048 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94098450762768 94098450810512 94098473205760 140726799362471 140726799362565 140726799362565 140726799368167 0
/proc/77136/statm: 1048 736 672 219 0 110 0
[pid=77140] ppid=77136 vsize=619808 memory=564792 CPUtime=744 cores=5,7
/proc/77140/stat : 77140 (naps-1.03a6) R 77136 77136 76243 0 -1 4194304 275775 0 0 0 74008 392 0 0 20 0 1 0 68545749 634683392 141198 18446744073709551615 4198400 7047149 140731024534096 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 11653120 140731024537972 140731024538086 140731024538086 140731024543689 0
/proc/77140/statm: 154952 141198 640 696 0 154113 0
Current children cumulated CPU time: 744 s
Current children cumulated vsize: 624000 KiB
Current children cumulated memory: 567736 KiB
Child status: 30
Real time (s): 746.293
CPU time (s): 744.113
CPU user time (s): 740.177
CPU system time (s): 3.93576
CPU usage (%): 99.7079
Max. virtual memory (cumulated for all children) (KiB): 772200
Max. memory (cumulated for all children) (KiB): 715880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 740.177
system time used= 3.93576
maximum resident set size= 712936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276218
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= 170
involuntary context switches= 891
# summary of solver processes directly reported to runsolver:
# pid: 77136
# total CPU time (s): 744.113
# total CPU user time (s): 740.177
# total CPU system time (s): 3.93576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.79605 second user time and 7.96348 second system time
The end
Begin job on nodeC005 at 2025-07-03 09:44:24 IDJOB=4517528 IDBENCH=176113 IDSOLVER=3341 FILE ID=nodeC005/4517528-1751528664 RUNJOBID= nodeC005-1751524861-76256 SLURM_JOB_ID= 9598652 Free space on /tmp= 429468 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=18-t=2.opb COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517528-1751528664/watcher-4517528-1751528664 -o /tmp/evaluation-result-4517528-1751528664/solver-4517528-1751528664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76256 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517528-1751528664.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 5da417552da80e99ebaacbb86c541f7c RANDOM SEED=945577952 nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3662.734 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 3491.977 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.732 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 3700.000 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 3591.701 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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 : 1198.073 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.324 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 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.252 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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.90 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382112 kB MemFree: 129533848 kB MemAvailable: 129660384 kB Buffers: 2128 kB Cached: 915528 kB SwapCached: 24 kB Active: 942012 kB Inactive: 268988 kB Active(anon): 308116 kB Inactive(anon): 3164 kB Active(file): 633896 kB Inactive(file): 265824 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7020 kB Writeback: 24 kB AnonPages: 296144 kB Mapped: 112008 kB Shmem: 17936 kB KReclaimable: 132884 kB Slab: 220084 kB SReclaimable: 132884 kB SUnreclaim: 87200 kB KernelStack: 4060 kB PageTables: 3836 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 641596 kB VmallocTotal: 34359738367 kB VmallocUsed: 149432 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 184320 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 201544 kB DirectMap2M: 8089600 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 429460 MiB End job on nodeC005 at 2025-07-03 09:56:50