Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS-GM 1.03 | SAT (TO) | 18 | 3600.03 | 3610.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.03. 0.00/0.00 c We set -no-flip-min because your selected sat solver does not support it. 0.00/0.00 c Input file name: HOME/instance-4449726-1721399503.opb 0.98/1.10 c single stage optimization mode 1.28/1.39 o 19 1701.88/1706.74 o 18 3600.01/3610.30 c 3600.01/3610.30 c *** TERMINATED *** by signal 15 3600.01/3610.30 s SATISFIABLE 3600.01/3610.30 c _____________________________________________________________________________ 3600.01/3610.30 c std/band forms : 23,0 3600.01/3610.30 c 2cl/3cl ITE-codings : 0,0 3600.01/3610.30 c BDD/srt/adr Max costs : 0,206,0 3600.01/3610.30 c BDDraw/bin/mul/srt/adr: 0,0,0,23,0 3600.01/3610.30 c BDD nodes : 0 3600.01/3610.30 c Es1/CC detections : 0,0 3600.01/3610.30 c CC sort : 23 3600.01/3610.30 c SAT/UNSAT calls : 2,1 3600.01/3610.30 c regenrated variables : 154 3600.01/3610.30 c eliminated fixed lits : 0 3600.01/3610.30 c goal lit flips : 0 3600.01/3610.30 c goal stages : 1 3600.01/3610.30 c goal shrink : 0 3600.01/3610.30 c goal coeff separations: 0 3600.01/3610.30 c restarts : 352993 3600.01/3610.30 c conflicts : 31194286 (8669 /sec) 3600.01/3610.30 c decisions : 872503577 (242475 /sec) 3600.01/3610.30 c propagations : 3802725097 (1056804 /sec) 3600.01/3610.30 c inspects : 0 (0 /sec) 3600.01/3610.30 c CPU time (solving tm) : 3598 s (3597 s, SAT 0.3153 s, UNSAT 1699 s) 3600.01/3610.30 c Time for Opt-base : 0.000241 s 3600.01/3610.30 c Steps for Opt-base : 0 3600.01/3610.30 c Time for BDD coding : 0 s 3600.01/3610.30 c Time for srt coding : 0.000791 s 3600.01/3610.30 c _____________________________________________________________________________ 3600.01/3610.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: 64059 MiB (62973 MiB free)
memory of node 1: 64510 MiB (61805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449726-1721399503/watcher-4449726-1721399503 -o /tmp/evaluation-result-4449726-1721399503/solver-4449726-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721399515-1013379 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449726-1721399503.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1013451, runsolver pid=1013448
Current StackSize limit: 8192 KiB
[startup+0.100347 s]*
/proc/loadavg: 0.18 0.16 0.10 9/241 1013464
/proc/meminfo: memFree=127771420/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=8648 memory=2672 CPUtime=0.09 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 292 0 0 0 9 0 0 0 20 0 1 0 192108304 8855552 668 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 2162 668 436 659 0 1366 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18580 KiB
Current children cumulated memory: 5412 KiB
[startup+0.212864 s]*
/proc/loadavg: 0.18 0.16 0.10 4/241 1013466
/proc/meminfo: memFree=127769608/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=9180 memory=3184 CPUtime=0.2 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 459 0 0 0 20 0 0 0 20 0 1 0 192108304 9400320 796 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 2295 796 436 659 0 1499 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19112 KiB
Current children cumulated memory: 5924 KiB
[startup+0.312389 s]*
/proc/loadavg: 0.18 0.16 0.10 4/241 1013466
/proc/meminfo: memFree=127765312/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=9704 memory=3684 CPUtime=0.3 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 586 0 0 0 30 0 0 0 20 0 1 0 192108304 9936896 921 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 2426 921 436 659 0 1630 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19636 KiB
Current children cumulated memory: 6424 KiB
[startup+0.700362 s]
/proc/loadavg: 0.18 0.16 0.10 5/241 1013466
/proc/meminfo: memFree=127762288/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=11524 memory=6144 CPUtime=0.67 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 1231 0 0 0 67 0 0 0 20 0 1 0 192108304 11800576 1536 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 2881 1536 436 659 0 2085 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21456 KiB
Current children cumulated memory: 8884 KiB
[startup+1.50035 s]
/proc/loadavg: 0.18 0.16 0.10 6/247 1013508
/proc/meminfo: memFree=127750772/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=14528 memory=11956 CPUtime=1.48 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 2388 0 0 0 147 1 0 0 20 0 1 0 192108304 14876672 2989 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 3632 2989 468 659 0 2836 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 24460 KiB
Current children cumulated memory: 14696 KiB
[startup+3.11295 s]
/proc/loadavg: 0.49 0.22 0.12 5/247 1013508
/proc/meminfo: memFree=127708528/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=26068 memory=21780 CPUtime=3.08 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 4988 0 0 0 307 1 0 0 20 0 1 0 192108304 26693632 5445 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 6517 5445 468 659 0 5721 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 24520 KiB
[startup+6.30039 s]
/proc/loadavg: 0.49 0.22 0.12 5/247 1013508
/proc/meminfo: memFree=127690548/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=26068 memory=24152 CPUtime=6.26 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 5604 0 0 0 625 1 0 0 20 0 1 0 192108304 26693632 6038 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 6517 6038 468 659 0 5721 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 36000 KiB
Current children cumulated memory: 26892 KiB
[startup+12.7004 s]
/proc/loadavg: 1.03 0.35 0.16 5/247 1013509
/proc/meminfo: memFree=127644144/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=41340 memory=38824 CPUtime=12.64 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 6685 0 0 0 1262 2 0 0 20 0 1 0 192108304 42332160 9706 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 10335 9706 468 659 0 9539 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 51272 KiB
Current children cumulated memory: 41564 KiB
[startup+25.5004 s]
/proc/loadavg: 1.49 0.47 0.20 5/247 1013511
/proc/meminfo: memFree=127614724/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=54564 memory=52500 CPUtime=25.41 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 8627 0 0 0 2539 2 0 0 20 0 1 0 192108304 55873536 13125 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 13641 13125 468 659 0 12845 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 64496 KiB
Current children cumulated memory: 55240 KiB
[startup+51.1129 s]
/proc/loadavg: 2.53 0.80 0.32 5/247 1013515
/proc/meminfo: memFree=127540608/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=92380 memory=89248 CPUtime=50.96 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 9788 0 0 0 5092 4 0 0 20 0 1 0 192108304 94597120 22312 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 23095 22312 468 659 0 22299 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 102312 KiB
Current children cumulated memory: 91988 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.37 0.55 5/247 1013574
/proc/meminfo: memFree=127417616/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=141700 memory=128200 CPUtime=102.01 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 11753 0 0 0 10192 9 0 0 20 0 1 0 192108304 145100800 32050 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 35425 32050 468 659 0 34629 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 151632 KiB
Current children cumulated memory: 130940 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 1.90 0.78 5/247 1013587
/proc/meminfo: memFree=127270004/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=141700 memory=138512 CPUtime=161.84 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 14493 0 0 0 16168 16 0 0 20 0 1 0 192108304 145100800 34628 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 35425 34628 468 659 0 34629 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 151632 KiB
Current children cumulated memory: 141252 KiB
[startup+222.3 s]
/proc/loadavg: 4.04 2.30 0.99 6/247 1013600
/proc/meminfo: memFree=127269224/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=172520 memory=150916 CPUtime=221.67 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 18415 0 0 0 22144 23 0 0 20 0 1 0 192108304 176660480 37729 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 43130 37729 468 659 0 42334 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/loadavg: 4.11 4.11 4.00 5/248 1014700
/proc/meminfo: memFree=126182260/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=623960 memory=524980 CPUtime=3093.47 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 78859 0 0 0 309193 154 0 0 20 0 1 0 192108304 638935040 131245 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 155990 131245 468 659 0 155194 0
Current children cumulated CPU time: 3093.47 s
Current children cumulated vsize: 633892 KiB
Current children cumulated memory: 527720 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.01 5/248 1014710
/proc/meminfo: memFree=126230268/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=624384 memory=539608 CPUtime=3153.28 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 79100 0 0 0 315174 154 0 0 20 0 1 0 192108304 639369216 134902 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 156096 134902 468 659 0 155300 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 634316 KiB
Current children cumulated memory: 542348 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.01 5/248 1014721
/proc/meminfo: memFree=126211704/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=625240 memory=552704 CPUtime=3213.08 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 79430 0 0 0 321154 154 0 0 20 0 1 0 192108304 640245760 138176 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 156310 138176 468 659 0 155514 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 635172 KiB
Current children cumulated memory: 555444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.01 5/248 1015117
/proc/meminfo: memFree=126181476/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=625664 memory=507600 CPUtime=3272.89 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 80116 0 0 0 327128 161 0 0 20 0 1 0 192108304 640679936 126900 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 156416 126900 468 659 0 155620 0
Current children cumulated CPU time: 3272.89 s
Current children cumulated vsize: 635596 KiB
Current children cumulated memory: 510340 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.02 6/248 1015127
/proc/meminfo: memFree=126165552/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=626092 memory=526568 CPUtime=3332.73 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 80454 0 0 0 333112 161 0 0 20 0 1 0 192108304 641118208 131642 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 156523 131642 468 659 0 155727 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 636024 KiB
Current children cumulated memory: 529308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.13 4.02 5/247 1015137
/proc/meminfo: memFree=126108444/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=626944 memory=545484 CPUtime=3392.57 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 80616 0 0 0 339095 162 0 0 20 0 1 0 192108304 641990656 136371 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 156736 136371 468 659 0 155940 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 636876 KiB
Current children cumulated memory: 548224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/247 1015316
/proc/meminfo: memFree=126070532/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=668896 memory=592064 CPUtime=3452.41 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 81296 0 0 0 345078 163 0 0 20 0 1 0 192108304 684949504 148016 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 167224 148016 468 659 0 166428 0
Current children cumulated CPU time: 3452.41 s
Current children cumulated vsize: 678828 KiB
Current children cumulated memory: 594804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.03 5/247 1015326
/proc/meminfo: memFree=126149652/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=668896 memory=545208 CPUtime=3512.25 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 82044 0 0 0 351056 169 0 0 20 0 1 0 192108304 684949504 136302 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 167224 136302 468 659 0 166428 0
Current children cumulated CPU time: 3512.25 s
Current children cumulated vsize: 678828 KiB
Current children cumulated memory: 547948 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.03 5/251 1015397
/proc/meminfo: memFree=126147040/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=668896 memory=565760 CPUtime=3572.09 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 82319 0 0 0 357040 169 0 0 20 0 1 0 192108304 684949504 141440 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 167224 141440 468 659 0 166428 0
Current children cumulated CPU time: 3572.09 s
Current children cumulated vsize: 678828 KiB
Current children cumulated memory: 568500 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.3 s]
/proc/loadavg: 4.19 4.14 4.04 5/251 1015400
/proc/meminfo: memFree=126106828/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=668896 memory=573960 CPUtime=3600.01 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 82458 0 0 0 359832 169 0 0 20 0 1 0 192108304 684949504 143490 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 167224 143490 468 659 0 166428 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 678828 KiB
Current children cumulated memory: 576700 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.3 s]
# the end of solver process 1013451 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.33 s, system=1.70103 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.3 s]
/proc/loadavg: 4.19 4.14 4.04 5/251 1015400
/proc/meminfo: memFree=126106828/131655788 swapFree=131071996/131071996
[pid=1013451] ppid=1013448 vsize=9932 memory=2740 CPUtime=0 cores=1,3
/proc/1013451/stat : 1013451 (naps-1.03.sh) S 1013448 1013451 1013367 0 -1 4194304 224 235 0 0 0 0 0 0 20 0 1 0 192108303 10170368 685 134679101440 94022961926144 94022963005464 140732566133648 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94022965103920 94022965151108 94022980706304 140732566139870 140732566139999 140732566139999 140732566147016 0
/proc/1013451/statm: 2483 685 606 264 0 134 0
[pid=1013456] ppid=1013451 vsize=668896 memory=573960 CPUtime=3600.01 cores=1,3
/proc/1013456/stat : 1013456 (naps-1.03) R 1013451 1013451 1013367 0 -1 4194304 82458 0 0 0 359832 169 0 0 20 0 1 0 192108304 684949504 143490 134679101440 4194304 6891213 140722197417984 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 16891904 140722197427183 140722197427299 140722197427299 140722197434315 0
/proc/1013456/statm: 167224 143490 468 659 0 166428 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 678828 KiB
Current children cumulated memory: 576700 KiB
Child status: 10
Real time (s): 3610.3
CPU time (s): 3600.03
CPU user time (s): 3598.33
CPU system time (s): 1.70103
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 1022704
Max. memory (cumulated for all children) (KiB): 835636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.33
system time used= 1.70103
maximum resident set size= 832896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82932
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= 198
involuntary context switches= 3855
# summary of solver processes directly reported to runsolver:
# pid: 1013451
# total CPU time (s): 3600.03
# total CPU user time (s): 3598.33
# total CPU system time (s): 1.70103
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8638 second user time and 36.9799 second system time
The end
Begin job on nodeC002 at 2024-07-19 16:31:55 IDJOB=4449726 IDBENCH=176097 IDSOLVER=3062 FILE ID=nodeC002/4449726-1721399503 RUNJOBID= nodeC002-1721399515-1013379 SLURM_JOB_ID= 7545431 Free space on /tmp= 723760 MiB SOLVER NAME= NaPS-GM 1.03 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.03.sh -GM BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449726-1721399503/watcher-4449726-1721399503 -o /tmp/evaluation-result-4449726-1721399503/solver-4449726-1721399503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721399515-1013379 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449726-1721399503.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 06b87d46bf38d4b028e9a0f41f22c2e8 RANDOM SEED=1818638320 nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.154 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.155 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.229 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.175 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.155 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.353 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.222 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.38 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.154 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127768244 kB MemAvailable: 129861184 kB Buffers: 552584 kB Cached: 2366444 kB SwapCached: 0 kB Active: 979620 kB Inactive: 2307420 kB Active(anon): 2588 kB Inactive(anon): 411316 kB Active(file): 977032 kB Inactive(file): 1896104 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 28852 kB Writeback: 0 kB AnonPages: 368104 kB Mapped: 108648 kB Shmem: 45896 kB KReclaimable: 119668 kB Slab: 226156 kB SReclaimable: 119668 kB SUnreclaim: 106488 kB KernelStack: 3728 kB PageTables: 9972 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 746604 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61920 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 252744 kB DirectMap2M: 34254848 kB DirectMap1G: 101711872 kB Free space on /tmp at the end= 723752 MiB End job on nodeC002 at 2024-07-19 17:32:05