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 | 18 | 1803.85 | 1809.13 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=20-t=2.opb |
| MD5SUM | 06b87d46bf38d4b028e9a0f41f22c2e8 |
| 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 | 18 |
| Best CPU time to get the best result obtained on this benchmark | 3.31113 |
| 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 | 650 |
| Total number of constraints | 72640 |
| Number of constraints which are clauses | 72620 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 20 |
| 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 | 20 |
| 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 | 22 |
| Number of bits of the biggest sum of numbers | 5 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4517482-1751528604.opb 0.77/0.85 c single stage optimization mode 1803.81/1809.12 o 20 1803.81/1809.12 o 19 1803.81/1809.12 o 18 1803.81/1809.12 s OPTIMUM FOUND 1803.81/1809.12 c _____________________________________________________________________________ 1803.81/1809.12 c std/band forms : 23,0 1803.81/1809.12 c 2cl/3cl ITE-codings : 0,0 1803.81/1809.12 c BDD/srt/adr Max costs : 0,206,0 1803.81/1809.12 c BDDraw/bin/mul/srt/adr: 0,0,0,23,0 1803.81/1809.12 c BDD nodes : 0 1803.81/1809.12 c Es1/CC detections : 0,0 1803.81/1809.12 c CC sort : 23 1803.81/1809.12 c SAT/UNSAT calls : 3,2 1803.81/1809.12 c regenrated variables : 26 1803.81/1809.12 c eliminated fixed lits : 0 1803.81/1809.12 c goal lit flips : 1 1803.81/1809.12 c goal stages : 1 1803.81/1809.12 c goal shrink : 0 1803.81/1809.12 c goal coeff separations: 0 1803.81/1809.12 c restarts : 680650 1803.81/1809.12 c conflicts : 18914884 (10552 /sec) 1803.81/1809.12 c decisions : 67324955 (37559 /sec) 1803.81/1809.12 c propagations : 1333257744 (743792 /sec) 1803.81/1809.12 c inspects : 0 (0 /sec) 1803.81/1809.12 c CPU time (solving tm) : 1793 s (1792 s, SAT 0.08557 s, UNSAT 1792 s) 1803.81/1809.12 c Time for Opt-base : 0.000191 s 1803.81/1809.12 c Steps for Opt-base : 0 1803.81/1809.12 c Time for BDD coding : 0 s 1803.81/1809.12 c Time for srt coding : 0.000656 s 1803.81/1809.12 c _____________________________________________________________________________ 1803.81/1809.12 v x191 x192 x193 x194 x195 x196 x197 x198 -x199 x200 x201 x202 x203 x204 x205 x206 -x207 x208 x209 x210 -x211 -x231 -x251 -x271 -x291 -x311 -x331 -x351 -x371 -x391 -x411 -x431 -x451 -x471 -x491 -x511 -x531 -x551 -x571 -x591 -x212 -x232 -x252 -x272 -x292 -x312 -x332 -x352 -x372 -x392 -x412 -x432 -x452 -x472 -x492 -x512 -x532 -x552 -x572 -x592 -x213 -x233 -x253 -x273 -x293 -x313 -x333 -x353 -x373 -x393 -x413 -x433 -x453 -x473 -x493 -x513 -x533 -x553 -x573 -x593 -x214 -x234 -x254 -x274 -x294 -x314 -x334 -x354 -x374 -x394 -x414 -x434 -x454 -x474 -x494 -x514 -x534 -x554 -x574 -x594 -x215 -x235 -x255 -x275 -x295 -x315 -x335 -x355 -x375 -x395 -x415 -x435 -x455 -x475 -x495 -x515 -x535 -x555 -x575 -x595 -x216 -x236 -x256 -x276 -x296 -x316 -x336 -x356 -x376 -x396 -x416 -x436 -x456 -x476 -x496 -x516 -x536 -x556 -x576 -x596 -x217 -x237 -x257 -x277 -x297 -x317 -x337 -x357 -x377 -x397 -x417 -x437 -x457 -x477 -x497 -x517 -x537 -x557 -x577 -x597 -x218 -x238 -x258 -x278 -x298 -x318 -x338 -x358 -x378 -x398 -x418 -x438 -x458 -x478 -x498 -x518 -x538 -x558 -x578 -x598 -x219 -x239 -x259 -x279 -x299 -x319 -x339 -x359 -x379 -x399 -x419 -x439 -x459 x479 -x499 -x519 -x539 -x559 -x579 -x599 -x220 -x240 -x260 -x280 -x300 -x320 -x340 -x360 -x380 -x400 -x420 -x440 -x460 -x480 -x500 -x520 -x540 -x560 -x580 -x600 -x221 -x241 -x261 -x281 -x301 -x321 -x341 -x361 -x381 -x401 -x421 -x441 -x461 -x481 -x501 -x521 -x541 -x561 -x581 -x601 -x222 -x242 -x262 -x282 -x302 -x322 -x342 -x362 -x382 -x402 -x422 -x442 -x462 -x482 -x502 -x522 -x542 -x562 -x582 -x602 -x223 -x243 -x263 -x283 -x303 -x323 -x343 -x363 -x383 -x403 -x423 -x443 -x463 -x483 -x503 -x523 -x543 -x563 -x583 -x603 -x224 -x244 -x264 -x284 -x304 -x324 -x344 -x364 -x384 -x404 -x424 -x444 -x464 -x484 -x504 -x524 -x544 -x564 -x584 -x604 -x225 -x245 -x265 -x285 -x305 -x325 -x345 -x365 -x385 -x405 -x425 -x445 -x465 -x485 -x505 -x525 -x545 -x565 -x585 -x605 -x226 -x246 -x266 -x286 -x306 -x326 -x346 -x366 -x386 -x406 -x426 -x446 -x466 -x486 -x506 -x526 -x546 -x566 -x586 -x606 -x227 -x247 -x267 -x287 -x307 -x327 -x347 x367 -x387 -x407 -x427 -x447 -x467 -x487 -x507 -x527 -x547 -x567 -x587 -x607 -x228 -x248 -x268 -x288 -x308 -x328 -x348 -x368 -x388 -x408 -x428 -x448 -x468 -x488 -x508 -x528 -x548 -x568 -x588 -x608 -x229 -x249 -x269 -x289 -x309 -x329 -x349 -x369 -x389 -x409 -x429 -x449 -x469 -x489 -x509 -x529 -x549 -x569 -x589 -x609 -x230 -x250 -x270 -x290 -x310 -x330 -x350 -x370 -x390 -x410 -x430 -x450 -x470 -x490 -x510 -x530 -x550 -x570 -x590 -x610 x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 x73 -x74 -x75 x76 -x77 x78 -x79 x80 -x81 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 x95 -x96 -x97 -x98 x99 -x100 -x101 x102 -x103 -x104 -x105 x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 x156 -x157 x158 -x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 -x168 x169 x170 -x171 x172 x173 x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 -x186 x187 -x188 x189 x190 x611 -x612 -x613 x614 -x615 x616 x617 -x618 -x619 x620 x621 -x622 x623 -x624 x625 -x626 -x627 x628 -x629 x630 x631 -x632 x633 -x634 x635 -x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 x645 -x646 x647 -x648 -x649 x650
OK 18
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 (62956 MiB free)
memory of node 1: 64465 MiB (63657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517482-1751528604/watcher-4517482-1751528604 -o /tmp/evaluation-result-4517482-1751528604/solver-4517482-1751528604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76255 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517482-1751528604.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77085, runsolver pid=77082
[startup+0.100097 s]*
/proc/loadavg: 4.14 4.12 4.06 5/254 77089
/proc/meminfo: memFree=129652892/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=4832 memory=3200 CPUtime=0.09 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 343 0 0 0 9 0 0 0 20 0 1 0 68539834 4947968 800 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 1208 800 544 696 0 369 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9024 KiB
Current children cumulated memory: 6272 KiB
[startup+0.213209 s]*
/proc/loadavg: 4.14 4.12 4.06 5/254 77089
/proc/meminfo: memFree=129651128/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=5612 memory=4096 CPUtime=0.2 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 559 0 0 0 20 0 0 0 20 0 1 0 68539834 5746688 1024 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 1403 1024 544 696 0 564 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 9804 KiB
Current children cumulated memory: 7168 KiB
[startup+0.313157 s]*
/proc/loadavg: 4.14 4.12 4.06 5/254 77089
/proc/meminfo: memFree=129651128/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=6532 memory=4864 CPUtime=0.3 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 797 0 0 0 30 0 0 0 20 0 1 0 68539834 6688768 1216 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 1633 1216 544 696 0 794 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 10724 KiB
Current children cumulated memory: 7936 KiB
[startup+0.700333 s]
/proc/loadavg: 4.14 4.12 4.06 6/254 77089
/proc/meminfo: memFree=129649392/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=9736 memory=8188 CPUtime=0.67 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 1674 0 0 0 67 0 0 0 20 0 1 0 68539834 9969664 2047 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 2434 2047 544 696 0 1595 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 13928 KiB
Current children cumulated memory: 11260 KiB
[startup+1.50036 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 77089
/proc/meminfo: memFree=129636036/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=19672 memory=18432 CPUtime=1.46 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 8860 0 0 0 145 1 0 0 20 0 1 0 68539834 20144128 4608 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 4918 4608 640 696 0 4079 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 23864 KiB
Current children cumulated memory: 21504 KiB
[startup+3.1132 s]
/proc/loadavg: 4.14 4.12 4.06 5/254 77089
/proc/meminfo: memFree=129628508/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=25000 memory=23740 CPUtime=3.08 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 14562 0 0 0 305 3 0 0 20 0 1 0 68539834 25600000 5935 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 6250 5935 640 696 0 5411 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 26812 KiB
[startup+6.30033 s]
/proc/loadavg: 4.12 4.11 4.06 5/254 77089
/proc/meminfo: memFree=129620056/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=32976 memory=31652 CPUtime=6.26 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 19663 0 0 0 621 5 0 0 20 0 1 0 68539834 33767424 7913 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 8244 7913 640 696 0 7405 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 37168 KiB
Current children cumulated memory: 34724 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.11 4.06 5/254 77089
/proc/meminfo: memFree=129592852/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=56576 memory=55360 CPUtime=12.63 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 24227 0 0 0 1257 6 0 0 20 0 1 0 68539834 57933824 13840 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 14144 13840 640 696 0 13305 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 60768 KiB
Current children cumulated memory: 58432 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.06 5/254 77089
/proc/meminfo: memFree=129547028/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=92840 memory=91624 CPUtime=25.39 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 29576 0 0 0 2530 9 0 0 20 0 1 0 68539834 95068160 22906 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 23210 22906 640 696 0 22371 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 97032 KiB
Current children cumulated memory: 94696 KiB
[startup+51.1131 s]
/proc/loadavg: 4.12 4.11 4.06 5/254 77089
/proc/meminfo: memFree=129506800/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=103820 memory=97672 CPUtime=50.94 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 39246 0 0 0 5075 19 0 0 20 0 1 0 68539834 106311680 24418 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 25955 24418 640 696 0 25116 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 108012 KiB
Current children cumulated memory: 100744 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/255 77141
/proc/meminfo: memFree=129365968/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=188360 memory=187128 CPUtime=101.95 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 60081 0 0 0 10148 47 0 0 20 0 1 0 68539834 192880640 46782 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 47090 46782 640 696 0 46251 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 192552 KiB
Current children cumulated memory: 190200 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/255 77143
/proc/meminfo: memFree=129239684/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=230280 memory=228972 CPUtime=161.78 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 73267 0 0 0 16102 76 0 0 20 0 1 0 68539834 235806720 57243 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 57570 57243 640 696 0 56731 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 234472 KiB
Current children cumulated memory: 232044 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/255 77146
/proc/meminfo: memFree=129156300/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=250104 memory=248900 CPUtime=221.62 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 84891 0 0 0 22059 103 0 0 20 0 1 0 68539834 256106496 62225 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 62526 62225 640 696 0 61687 0
Current children cumulated CPU time: 221.62 s
################
# More data... #
################
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 828829 0 0 0 158755 1005 0 0 20 0 1 0 68539834 920305664 220616 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 224684 220616 640 696 0 223845 0
Current children cumulated CPU time: 1597.6 s
Current children cumulated vsize: 902928 KiB
Current children cumulated memory: 885536 KiB
[startup+1662.3 s]
/proc/loadavg: 4.12 4.15 4.14 5/254 77320
/proc/meminfo: memFree=128545980/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=911128 memory=902204 CPUtime=1657.43 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 834485 0 0 0 164712 1031 0 0 20 0 1 0 68539834 932995072 225551 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 227782 225551 640 696 0 226943 0
Current children cumulated CPU time: 1657.43 s
Current children cumulated vsize: 915320 KiB
Current children cumulated memory: 905276 KiB
[startup+1722.3 s]
/proc/loadavg: 4.11 4.14 4.13 5/254 77322
/proc/meminfo: memFree=128504676/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1028968 memory=969832 CPUtime=1717.25 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 843643 0 0 0 170656 1069 0 0 20 0 1 0 68539834 1053663232 242458 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 257242 242458 640 696 0 256403 0
Current children cumulated CPU time: 1717.25 s
Current children cumulated vsize: 1033160 KiB
Current children cumulated memory: 972904 KiB
[startup+1782.3 s]
/proc/loadavg: 4.09 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128433708/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1039492 memory=982404 CPUtime=1777.08 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 850855 0 0 0 176595 1113 0 0 20 0 1 0 68539834 1064439808 245601 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 259873 245601 640 696 0 259034 0
Current children cumulated CPU time: 1777.08 s
Current children cumulated vsize: 1043684 KiB
Current children cumulated memory: 985476 KiB
[startup+1809.13 s]
# the end of solver process 77085 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=1792.52 s, system=11.3374 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1792 s]*
/proc/loadavg: 4.08 4.12 4.12 5/254 77324
/proc/meminfo: memFree=128440448/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1039492 memory=982404 CPUtime=1786.76 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 852815 0 0 0 177557 1119 0 0 20 0 1 0 68539834 1064439808 245601 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 259873 245601 640 696 0 259034 0
Current children cumulated CPU time: 1786.76 s
Current children cumulated vsize: 1043684 KiB
Current children cumulated memory: 985476 KiB
[startup+1798.4 s]
/proc/loadavg: 4.07 4.12 4.12 5/254 77324
/proc/meminfo: memFree=128476668/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1042076 memory=987036 CPUtime=1793.13 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 853468 0 0 0 178188 1125 0 0 20 0 1 0 68539834 1067085824 246759 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 260519 246759 640 696 0 259680 0
Current children cumulated CPU time: 1793.13 s
Current children cumulated vsize: 1046268 KiB
Current children cumulated memory: 990108 KiB
[startup+1804.8 s]
/proc/loadavg: 4.15 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128206720/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1799.51 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 178820 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1799.51 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
[startup+1806.4 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128461216/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1801.11 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 178980 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1801.11 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
[startup+1808 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128465772/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1802.71 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 179140 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1802.71 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
[startup+1808.8 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128465772/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1803.5 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 179219 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1803.5 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
[startup+1809 s]*
/proc/loadavg: 4.13 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128465772/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1803.71 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 179240 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1803.71 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
[startup+1809.11 s]
/proc/loadavg: 4.13 4.13 4.13 5/254 77324
/proc/meminfo: memFree=128465772/131382112 swapFree=33010416/33010684
[pid=77085] ppid=77082 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77085/stat : 77085 (naps-1.03a6.sh) S 77082 77085 76243 0 -1 4194304 231 206 0 0 0 0 0 0 20 0 1 0 68539832 4292608 768 18446744073709551615 94076386131968 94076387026501 140723239376944 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94076387265552 94076387313296 94076415262720 140723239385511 140723239385605 140723239385605 140723239391207 0
/proc/77085/statm: 1048 768 704 219 0 110 0
[pid=77089] ppid=77085 vsize=1044792 memory=989752 CPUtime=1803.81 cores=1,3
/proc/77089/stat : 77089 (naps-1.03a6) R 77085 77085 76243 0 -1 4194304 854288 0 0 0 179250 1131 0 0 20 0 1 0 68539834 1069867008 247438 18446744073709551615 4198400 7047149 140727399697696 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 37203968 140727399700852 140727399700966 140727399700966 140727399706569 0
/proc/77089/statm: 261198 247438 640 696 0 260359 0
Current children cumulated CPU time: 1803.81 s
Current children cumulated vsize: 1048984 KiB
Current children cumulated memory: 992824 KiB
Child status: 30
Real time (s): 1809.13
CPU time (s): 1803.85
CPU user time (s): 1792.52
CPU system time (s): 11.3374
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 1337752
Max. memory (cumulated for all children) (KiB): 1281480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.52
system time used= 11.3374
maximum resident set size= 1278408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 854736
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= 186
involuntary context switches= 1921
# summary of solver processes directly reported to runsolver:
# pid: 77085
# total CPU time (s): 1803.85
# total CPU user time (s): 1792.52
# total CPU system time (s): 11.3374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.6048 second user time and 18.625 second system time
The end
Begin job on nodeC005 at 2025-07-03 09:43:24 IDJOB=4517482 IDBENCH=176097 IDSOLVER=3341 FILE ID=nodeC005/4517482-1751528604 RUNJOBID= nodeC005-1751524861-76255 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=20-t=2.opb COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517482-1751528604/watcher-4517482-1751528604 -o /tmp/evaluation-result-4517482-1751528604/solver-4517482-1751528604 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751524861-76255 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4517482-1751528604.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=624422060 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.450 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 : 1596.784 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.983 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 : 1197.235 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 : 3662.386 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 : 3663.028 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 : 3700.000 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 : 1198.236 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: 129652892 kB MemAvailable: 129778372 kB Buffers: 2128 kB Cached: 914472 kB SwapCached: 24 kB Active: 846464 kB Inactive: 267932 kB Active(anon): 212568 kB Inactive(anon): 3164 kB Active(file): 633896 kB Inactive(file): 264768 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 7800 kB Writeback: 64 kB AnonPages: 199592 kB Mapped: 111632 kB Shmem: 17936 kB KReclaimable: 132884 kB Slab: 220052 kB SReclaimable: 132884 kB SUnreclaim: 87168 kB KernelStack: 4092 kB PageTables: 3568 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 540264 kB VmallocTotal: 34359738367 kB VmallocUsed: 149416 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 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= 429464 MiB End job on nodeC005 at 2025-07-03 10:13:34