Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS-PB16 1.02b5 | SAT (TO) | 18 | 3600.08 | 3609.3 |
| 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 | 49.4743 |
| 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.00 c NaPS 1.02b5. 0.00/0.00 c Input file name: HOME/instance-4449729-1721403115.opb 3600.07/3609.30 o 19 3600.07/3609.30 o 18 3600.07/3609.30 c 3600.07/3609.30 c *** TERMINATED *** by signal 15 3600.07/3609.30 s SATISFIABLE 3600.07/3609.30 c _____________________________________________________________________________ 3600.07/3609.30 c 3600.07/3609.30 c std/band forms : 23,0 3600.07/3609.30 c 2cl/3cl ITE-codings : 360,0 3600.07/3609.30 c BDD/srt/adr Max costs : 37,206,0 3600.07/3609.30 c BDDraw/bin/mul/srt/adr: 20,0,0,3,0 3600.07/3609.30 c BDD nodes : 760 3600.07/3609.30 c Es1/CC detections : 0,0 3600.07/3609.30 c SAT/UNSAT calls : 2,1 3600.07/3609.30 c regenrated variables : 152 3600.07/3609.30 c restarts : 311974 3600.07/3609.30 c conflicts : 26079084 (7247 /sec) 3600.07/3609.30 c decisions : 721923195 (200614 /sec) 3600.07/3609.30 c propagations : 3337687079 (927503 /sec) 3600.07/3609.30 c inspects : 0 (0 /sec) 3600.07/3609.30 c CPU time (solving tm) : 3599 s (3598 s) 3600.07/3609.30 c Time for Opt-base : 3.2e-05 s 3600.07/3609.30 c _____________________________________________________________________________ 3600.07/3609.30 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: 63968 MiB (62720 MiB free)
memory of node 1: 64473 MiB (63457 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449729-1721403115/watcher-4449729-1721403115 -o /tmp/evaluation-result-4449729-1721403115/solver-4449729-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721403128-1019518 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449729-1721403115.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1019570, runsolver pid=1019562
Current StackSize limit: 8192 KiB
[startup+0.100695 s]*
/proc/loadavg: 3.06 3.08 3.04 7/260 1019598
/proc/meminfo: memFree=129194880/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=8368 memory=5508 CPUtime=0.1 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 527 0 0 0 10 0 0 0 20 0 1 0 192477720 8568832 1377 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 2092 1377 405 379 0 1626 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18300 KiB
Current children cumulated memory: 8196 KiB
[startup+0.212696 s]*
/proc/loadavg: 3.06 3.08 3.04 4/257 1019606
/proc/meminfo: memFree=129189148/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=9228 memory=6412 CPUtime=0.2 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 778 0 0 0 20 0 0 0 20 0 1 0 192477720 9449472 1603 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 2307 1603 405 379 0 1841 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19160 KiB
Current children cumulated memory: 9100 KiB
[startup+0.305695 s]*
/proc/loadavg: 3.06 3.08 3.04 7/259 1019612
/proc/meminfo: memFree=129186216/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=10324 memory=7476 CPUtime=0.28 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 1061 0 0 0 28 0 0 0 20 0 1 0 192477720 10571776 1869 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 2581 1869 405 379 0 2115 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 20256 KiB
Current children cumulated memory: 10164 KiB
[startup+0.700179 s]
/proc/loadavg: 3.06 3.08 3.04 5/263 1019648
/proc/meminfo: memFree=129178772/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=12492 memory=10288 CPUtime=0.66 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 1993 0 0 0 66 0 0 0 20 0 1 0 192477720 12791808 2572 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 3123 2572 421 379 0 2657 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 22424 KiB
Current children cumulated memory: 12976 KiB
[startup+1.50019 s]
/proc/loadavg: 3.06 3.08 3.04 5/263 1019648
/proc/meminfo: memFree=129162196/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=16900 memory=14348 CPUtime=1.45 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 4049 0 0 0 145 0 0 0 20 0 1 0 192477720 17305600 3587 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 4225 3587 421 379 0 3759 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 26832 KiB
Current children cumulated memory: 17036 KiB
[startup+3.10596 s]
/proc/loadavg: 3.14 3.10 3.04 5/263 1019648
/proc/meminfo: memFree=129131268/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=23976 memory=22828 CPUtime=3.06 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 4737 0 0 0 305 1 0 0 20 0 1 0 192477720 24551424 5707 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 5994 5707 421 379 0 5528 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 33908 KiB
Current children cumulated memory: 25516 KiB
[startup+6.30022 s]
/proc/loadavg: 3.14 3.10 3.04 5/263 1019648
/proc/meminfo: memFree=129112200/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=23980 memory=23256 CPUtime=6.25 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 5526 0 0 0 624 1 0 0 20 0 1 0 192477720 24555520 5814 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 5995 5814 421 379 0 5529 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 33912 KiB
Current children cumulated memory: 25944 KiB
[startup+12.7003 s]
/proc/loadavg: 3.29 3.13 3.06 5/263 1019649
/proc/meminfo: memFree=129069852/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=46232 memory=44848 CPUtime=12.63 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 6889 0 0 0 1261 2 0 0 20 0 1 0 192477720 47341568 11212 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 11558 11212 421 379 0 11092 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 56164 KiB
Current children cumulated memory: 47536 KiB
[startup+25.5003 s]
/proc/loadavg: 3.45 3.17 3.07 5/263 1019651
/proc/meminfo: memFree=129021792/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=52272 memory=51268 CPUtime=25.4 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 8010 0 0 0 2538 2 0 0 20 0 1 0 192477720 53526528 12817 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 13068 12817 421 379 0 12602 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 62204 KiB
Current children cumulated memory: 53956 KiB
[startup+51.1061 s]
/proc/loadavg: 3.70 3.26 3.10 5/263 1019656
/proc/meminfo: memFree=128966432/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=89896 memory=86384 CPUtime=50.95 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 9421 0 0 0 5091 4 0 0 20 0 1 0 192477720 92053504 21596 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 22474 21596 421 379 0 22008 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 99828 KiB
Current children cumulated memory: 89072 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 3.44 3.17 5/262 1019666
/proc/meminfo: memFree=128852860/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=139216 memory=129720 CPUtime=102.03 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 12754 0 0 0 10194 9 0 0 20 0 1 0 192477720 142557184 32430 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 34804 32430 421 379 0 34338 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 149148 KiB
Current children cumulated memory: 132408 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.56 3.23 5/262 1019677
/proc/meminfo: memFree=128784044/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=139216 memory=138348 CPUtime=161.88 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 16212 0 0 0 16174 14 0 0 20 0 1 0 192477720 142557184 34587 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 34804 34587 421 379 0 34338 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 149148 KiB
Current children cumulated memory: 141036 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 3.66 3.29 5/260 1019687
/proc/meminfo: memFree=128762828/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=170036 memory=148316 CPUtime=221.74 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 20884 0 0 0 22152 22 0 0 20 0 1 0 192477720 174116864 37079 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 42509 37079 421 379 0 42043 0
Current children cumulated CPU time: 221.74 s
################
# More data... #
################
/proc/loadavg: 4.15 4.10 4.09 5/262 1020989
/proc/meminfo: memFree=127804480/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=598608 memory=472344 CPUtime=3094.34 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 66647 0 0 0 309298 136 0 0 20 0 1 0 192477720 612974592 118086 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 149652 118086 421 379 0 149186 0
Current children cumulated CPU time: 3094.34 s
Current children cumulated vsize: 608540 KiB
Current children cumulated memory: 475032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/262 1021000
/proc/meminfo: memFree=127796308/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=599032 memory=493116 CPUtime=3154.19 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 66857 0 0 0 315283 136 0 0 20 0 1 0 192477720 613408768 123279 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 149758 123279 421 379 0 149292 0
Current children cumulated CPU time: 3154.19 s
Current children cumulated vsize: 608964 KiB
Current children cumulated memory: 495804 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 1021394
/proc/meminfo: memFree=127752712/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=600528 memory=514636 CPUtime=3214.04 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 67245 0 0 0 321267 137 0 0 20 0 1 0 192477720 614940672 128659 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 150132 128659 421 379 0 149666 0
Current children cumulated CPU time: 3214.04 s
Current children cumulated vsize: 610460 KiB
Current children cumulated memory: 517324 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 1021404
/proc/meminfo: memFree=127675644/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=602020 memory=538224 CPUtime=3273.89 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 67787 0 0 0 327252 137 0 0 20 0 1 0 192477720 616468480 134556 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 150505 134556 421 379 0 150039 0
Current children cumulated CPU time: 3273.89 s
Current children cumulated vsize: 611952 KiB
Current children cumulated memory: 540912 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/261 1021415
/proc/meminfo: memFree=127681308/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=522436 CPUtime=3333.74 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 68619 0 0 0 333232 142 0 0 20 0 1 0 192477720 659427328 130609 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 130609 421 379 0 160527 0
Current children cumulated CPU time: 3333.74 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 525124 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/261 1021594
/proc/meminfo: memFree=127710656/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=542928 CPUtime=3393.58 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 68873 0 0 0 339216 142 0 0 20 0 1 0 192477720 659427328 135732 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 135732 421 379 0 160527 0
Current children cumulated CPU time: 3393.58 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 545616 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 1021605
/proc/meminfo: memFree=127607052/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=563424 CPUtime=3453.44 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 69135 0 0 0 345201 143 0 0 20 0 1 0 192477720 659427328 140856 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 140856 421 379 0 160527 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 566112 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/261 1021673
/proc/meminfo: memFree=127655968/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=585960 CPUtime=3513.28 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 69411 0 0 0 351185 143 0 0 20 0 1 0 192477720 659427328 146490 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 146490 421 379 0 160527 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 588648 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/261 1021684
/proc/meminfo: memFree=127724964/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=538696 CPUtime=3573.14 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 70227 0 0 0 357164 150 0 0 20 0 1 0 192477720 659427328 134674 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 134674 421 379 0 160527 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 541384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/261 1021688
/proc/meminfo: memFree=127643740/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=548956 CPUtime=3600.07 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 70359 0 0 0 359857 150 0 0 20 0 1 0 192477720 659427328 137239 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 137239 421 379 0 160527 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 551644 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.3 s]
# the end of solver process 1019570 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.58 s, system=1.50857 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.3 s]
/proc/loadavg: 4.17 4.11 4.09 5/261 1021688
/proc/meminfo: memFree=127643740/131524600 swapFree=131071996/131071996
[pid=1019570] ppid=1019562 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/1019570/stat : 1019570 (naps-1.02b5.sh) S 1019562 1019570 1017486 0 -1 4194304 221 246 0 0 0 0 0 0 20 0 1 0 192477719 10170368 672 134679101440 93952951554048 93952952633368 140723921514960 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93952954731824 93952954779012 93952984064000 140723921519582 140723921519709 140723921519709 140723921526726 0
/proc/1019570/statm: 2483 672 593 264 0 134 0
[pid=1019596] ppid=1019570 vsize=643972 memory=548956 CPUtime=3600.07 cores=4,6
/proc/1019596/stat : 1019596 (naps-1.02b5) R 1019570 1019570 1017486 0 -1 4194304 70359 0 0 0 359857 150 0 0 20 0 1 0 192477720 659427328 137239 134679101440 4194304 5746509 140726558368128 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 12480512 140726558372845 140726558372959 140726558372959 140726558379977 0
/proc/1019596/statm: 160993 137239 421 379 0 160527 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 653904 KiB
Current children cumulated memory: 551644 KiB
Child status: 10
Real time (s): 3609.3
CPU time (s): 3600.08
CPU user time (s): 3598.58
CPU system time (s): 1.50857
CPU usage (%): 99.7446
Max. virtual memory (cumulated for all children) (KiB): 997780
Max. memory (cumulated for all children) (KiB): 832040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.58
system time used= 1.50857
maximum resident set size= 829352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70841
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= 124
involuntary context switches= 3707
# summary of solver processes directly reported to runsolver:
# pid: 1019570
# total CPU time (s): 3600.08
# total CPU user time (s): 3598.58
# total CPU system time (s): 1.50857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92586 second user time and 19.4884 second system time
The end
Begin job on nodeC026 at 2024-07-19 17:32:08 IDJOB=4449729 IDBENCH=176097 IDSOLVER=3065 FILE ID=nodeC026/4449729-1721403115 RUNJOBID= nodeC026-1721403128-1019518 SLURM_JOB_ID= 7545449 Free space on /tmp= 890076 MiB SOLVER NAME= NaPS-PB16 1.02b5 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=20-t=2.opb COMMAND LINE= HOME/naps-1.02b5.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449729-1721403115/watcher-4449729-1721403115 -o /tmp/evaluation-result-4449729-1721403115/solver-4449729-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721403128-1019518 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4449729-1721403115.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=679018629 nodeC026.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3786.141 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3721.878 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3610.284 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3689.200 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3619.126 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3637.301 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3766.892 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.74 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3824.110 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7005.45 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129207152 kB MemAvailable: 129735516 kB Buffers: 557576 kB Cached: 818852 kB SwapCached: 0 kB Active: 1068768 kB Inactive: 642216 kB Active(anon): 1468 kB Inactive(anon): 379972 kB Active(file): 1067300 kB Inactive(file): 262244 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23032 kB Writeback: 0 kB AnonPages: 332604 kB Mapped: 106720 kB Shmem: 45912 kB KReclaimable: 77284 kB Slab: 187004 kB SReclaimable: 77284 kB SUnreclaim: 109720 kB KernelStack: 3904 kB PageTables: 9556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 682496 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 67808 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 260820 kB DirectMap2M: 27824128 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 890060 MiB End job on nodeC026 at 2024-07-19 18:32:18