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) | 17 | 3600.04 | 3609.12 |
| Name | PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/ normalized-clique-coloring-max-clique-n=19-t=2.opb |
| MD5SUM | 9b7954cd6dc14b590c17dd19cf5c91cb |
| 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 | 17 |
| Best CPU time to get the best result obtained on this benchmark | 59.722 |
| 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 | 589 |
| Total number of constraints | 58881 |
| Number of constraints which are clauses | 58862 |
| Number of constraints which are cardinality constraints (but not clauses) | 19 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 19 |
| 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 | 19 |
| 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 | 21 |
| 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-4449866-1721403112.opb 0.88/0.94 c single stage optimization mode 1.09/1.18 o 18 676.67/678.49 o 17 3600.02/3609.11 c 3600.02/3609.11 c *** TERMINATED *** by signal 15 3600.02/3609.11 s SATISFIABLE 3600.02/3609.11 c _____________________________________________________________________________ 3600.02/3609.11 c std/band forms : 23,0 3600.02/3609.11 c 2cl/3cl ITE-codings : 0,0 3600.02/3609.11 c BDD/srt/adr Max costs : 0,196,0 3600.02/3609.11 c BDDraw/bin/mul/srt/adr: 0,0,0,23,0 3600.02/3609.11 c BDD nodes : 0 3600.02/3609.11 c Es1/CC detections : 0,0 3600.02/3609.11 c CC sort : 23 3600.02/3609.11 c SAT/UNSAT calls : 2,2 3600.02/3609.11 c regenrated variables : 161 3600.02/3609.11 c eliminated fixed lits : 0 3600.02/3609.11 c goal lit flips : 0 3600.02/3609.11 c goal stages : 1 3600.02/3609.11 c goal shrink : 0 3600.02/3609.11 c goal coeff separations: 0 3600.02/3609.11 c restarts : 592146 3600.02/3609.11 c conflicts : 43853967 (12187 /sec) 3600.02/3609.11 c decisions : 1092360524 (303569 /sec) 3600.02/3609.11 c propagations : 5202912930 (1445897 /sec) 3600.02/3609.11 c inspects : 0 (0 /sec) 3600.02/3609.11 c CPU time (solving tm) : 3598 s (3597 s, SAT 0.2494 s, UNSAT 3012 s) 3600.02/3609.11 c Time for Opt-base : 0.000295 s 3600.02/3609.11 c Steps for Opt-base : 0 3600.02/3609.11 c Time for BDD coding : 0 s 3600.02/3609.11 c Time for srt coding : 0.001001 s 3600.02/3609.11 c _____________________________________________________________________________ 3600.02/3609.11 v x172 x173 x174 x175 x176 -x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 -x189 x190 -x191 -x210 -x229 -x248 -x267 -x286 -x305 -x324 -x343 -x362 -x381 -x400 -x419 -x438 -x457 -x476 -x495 -x514 -x533 -x192 -x211 -x230 -x249 -x268 -x287 -x306 -x325 -x344 -x363 -x382 -x401 -x420 -x439 -x458 -x477 -x496 -x515 -x534 -x193 -x212 -x231 -x250 -x269 -x288 -x307 -x326 -x345 -x364 -x383 -x402 -x421 -x440 -x459 -x478 -x497 -x516 -x535 -x194 -x213 -x232 -x251 -x270 -x289 -x308 -x327 -x346 -x365 -x384 -x403 -x422 -x441 -x460 -x479 -x498 -x517 -x536 -x195 -x214 -x233 -x252 -x271 -x290 -x309 -x328 -x347 -x366 -x385 -x404 -x423 -x442 -x461 -x480 -x499 -x518 -x537 -x196 -x215 -x234 -x253 -x272 -x291 -x310 -x329 -x348 -x367 -x386 x405 -x424 -x443 -x462 -x481 -x500 -x519 -x538 -x197 -x216 -x235 -x254 -x273 -x292 -x311 -x330 -x349 -x368 -x387 -x406 -x425 -x444 -x463 -x482 -x501 -x520 -x539 -x198 -x217 -x236 -x255 -x274 -x293 -x312 -x331 -x350 -x369 -x388 -x407 -x426 -x445 -x464 -x483 -x502 -x521 -x540 -x199 -x218 -x237 -x256 -x275 -x294 -x313 -x332 -x351 -x370 -x389 -x408 -x427 -x446 -x465 -x484 -x503 -x522 -x541 -x200 -x219 -x238 -x257 -x276 -x295 -x314 -x333 -x352 -x371 -x390 -x409 -x428 -x447 -x466 -x485 -x504 -x523 -x542 -x201 -x220 -x239 -x258 -x277 -x296 -x315 -x334 -x353 -x372 -x391 -x410 -x429 -x448 -x467 -x486 -x505 -x524 -x543 -x202 -x221 -x240 -x259 -x278 -x297 -x316 -x335 -x354 -x373 -x392 -x411 -x430 -x449 -x468 -x487 -x506 -x525 -x544 -x203 -x222 -x241 -x260 -x279 -x298 -x317 -x336 -x355 -x374 -x393 -x412 -x431 -x450 -x469 -x488 -x507 -x526 -x545 -x204 -x223 -x242 -x261 -x280 -x299 -x318 -x337 -x356 -x375 -x394 -x413 -x432 -x451 -x470 -x489 -x508 -x527 -x546 -x205 -x224 -x243 -x262 -x281 -x300 -x319 -x338 -x357 -x376 -x395 -x414 -x433 -x452 -x471 -x490 -x509 -x528 -x547 -x206 -x225 -x244 -x263 -x282 -x301 -x320 -x339 -x358 -x377 -x396 -x415 -x434 -x453 -x472 -x491 -x510 -x529 -x548 -x207 -x226 -x245 -x264 -x283 -x302 -x321 -x340 -x359 -x378 -x397 -x416 -x435 -x454 -x473 -x492 -x511 -x530 -x549 -x208 -x227 -x246 -x265 -x284 -x303 -x322 -x341 -x360 -x379 -x398 -x417 -x436 -x455 -x474 -x493 -x512 -x531 x550 -x209 -x228 -x247 -x266 -x285 -x304 -x323 -x342 -x361 -x380 -x399 -x418 -x437 -x456 -x475 -x494 -x513 -x532 -x551 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 -x552 x553 x554 -x555 x556 -x557 x558 -x559 -x560 x561 x562 -x563 x564 -x565 -x566 x567 x568 -x569 x570 -x571 -x572 x573 -x574 x575 -x576 x577 x578 -x579 -x580 x581 -x582 x583 -x584 x585 -x586 x587 x588 -x589
OK 17
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 (62739 MiB free)
memory of node 1: 64510 MiB (61359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449866-1721403112/watcher-4449866-1721403112 -o /tmp/evaluation-result-4449866-1721403112/solver-4449866-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721403124-1023144 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449866-1721403112.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=1023217, runsolver pid=1023214
Current StackSize limit: 8192 KiB
[startup+0.100387 s]*
/proc/loadavg: 1.12 1.14 1.08 6/247 1023226
/proc/meminfo: memFree=127072252/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=8668 memory=2672 CPUtime=0.1 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 302 0 0 0 10 0 0 0 20 0 1 0 192467793 8876032 668 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 2167 668 436 659 0 1371 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18600 KiB
Current children cumulated memory: 5368 KiB
[startup+0.212802 s]*
/proc/loadavg: 1.12 1.14 1.08 4/245 1023230
/proc/meminfo: memFree=127073676/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=9324 memory=3344 CPUtime=0.2 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 466 0 0 0 20 0 0 0 20 0 1 0 192467793 9547776 836 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 2331 836 436 659 0 1535 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 19256 KiB
Current children cumulated memory: 6040 KiB
[startup+0.312561 s]*
/proc/loadavg: 1.12 1.14 1.08 4/247 1023236
/proc/meminfo: memFree=127070140/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=9732 memory=3772 CPUtime=0.3 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 587 0 0 0 30 0 0 0 20 0 1 0 192467793 9965568 943 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 2433 943 436 659 0 1637 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 19664 KiB
Current children cumulated memory: 6468 KiB
[startup+0.700333 s]
/proc/loadavg: 1.12 1.14 1.08 4/243 1023253
/proc/meminfo: memFree=127071244/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=11544 memory=6188 CPUtime=0.67 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 1221 0 0 0 67 0 0 0 20 0 1 0 192467793 11821056 1547 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 2886 1547 436 659 0 2090 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 21476 KiB
Current children cumulated memory: 8884 KiB
[startup+1.50036 s]
/proc/loadavg: 1.12 1.14 1.08 4/243 1023255
/proc/meminfo: memFree=127063644/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=15172 memory=12536 CPUtime=1.48 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 2505 0 0 0 147 1 0 0 20 0 1 0 192467793 15536128 3134 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 3793 3134 468 659 0 2997 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 25104 KiB
Current children cumulated memory: 15232 KiB
[startup+3.1123 s]
/proc/loadavg: 1.27 1.17 1.09 4/243 1023255
/proc/meminfo: memFree=127045356/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=21312 memory=19036 CPUtime=3.08 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 4892 0 0 0 307 1 0 0 20 0 1 0 192467793 21823488 4759 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 5328 4759 468 659 0 4532 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 31244 KiB
Current children cumulated memory: 21732 KiB
[startup+6.30034 s]
/proc/loadavg: 1.27 1.17 1.09 4/243 1023255
/proc/meminfo: memFree=127034400/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=26208 memory=23776 CPUtime=6.27 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 6114 0 0 0 625 2 0 0 20 0 1 0 192467793 26836992 5944 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 6552 5944 468 659 0 5756 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36140 KiB
Current children cumulated memory: 26472 KiB
[startup+12.7004 s]
/proc/loadavg: 1.61 1.24 1.11 4/243 1023256
/proc/meminfo: memFree=127004340/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=40696 memory=38452 CPUtime=12.64 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 7626 0 0 0 1262 2 0 0 20 0 1 0 192467793 41672704 9613 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 10174 9613 468 659 0 9378 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 50628 KiB
Current children cumulated memory: 41148 KiB
[startup+25.5004 s]
/proc/loadavg: 1.82 1.30 1.13 4/244 1023259
/proc/meminfo: memFree=126982888/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=53920 memory=51504 CPUtime=25.42 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 8373 0 0 0 2539 3 0 0 20 0 1 0 192467793 55214080 12876 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 13480 12876 468 659 0 12684 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 63852 KiB
Current children cumulated memory: 54200 KiB
[startup+51.113 s]
/proc/loadavg: 2.23 1.44 1.18 4/244 1023264
/proc/meminfo: memFree=126937436/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=104360 memory=91968 CPUtime=50.96 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 9386 0 0 0 5092 4 0 0 20 0 1 0 192467793 106864640 22992 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 26090 22992 468 659 0 25294 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 94664 KiB
[startup+102.3 s]
/proc/loadavg: 2.80 1.73 1.30 4/243 1023273
/proc/meminfo: memFree=126883908/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=128800 memory=114980 CPUtime=102.03 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 12150 0 0 0 10191 12 0 0 20 0 1 0 192467793 131891200 28745 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 32200 28745 468 659 0 31404 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 138732 KiB
Current children cumulated memory: 117676 KiB
[startup+162.3 s]
/proc/loadavg: 2.99 1.98 1.42 4/243 1023283
/proc/meminfo: memFree=126841680/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=159620 memory=135364 CPUtime=161.88 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 16161 0 0 0 16170 18 0 0 20 0 1 0 192467793 163450880 33841 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 39905 33841 468 659 0 39109 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 169552 KiB
Current children cumulated memory: 138060 KiB
[startup+222.3 s]
/proc/loadavg: 3.40 2.27 1.55 4/239 1023294
/proc/meminfo: memFree=126820656/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=159620 memory=135392 CPUtime=221.73 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 19014 0 0 0 22148 25 0 0 20 0 1 0 192467793 163450880 33848 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 39905 33848 468 659 0 39109 0
Current children cumulated CPU time: 221.73 s
################
# More data... #
################
/proc/loadavg: 3.09 3.12 3.07 4/242 1024588
/proc/meminfo: memFree=126138804/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=688564 memory=583104 CPUtime=3094.45 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 81805 0 0 0 309292 153 0 0 20 0 1 0 192467793 705089536 145776 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 172141 145776 468 659 0 171345 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 698496 KiB
Current children cumulated memory: 585800 KiB
[startup+3162.3 s]
/proc/loadavg: 3.14 3.13 3.08 4/242 1024598
/proc/meminfo: memFree=126116564/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=699444 memory=605332 CPUtime=3154.3 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 84009 0 0 0 315276 154 0 0 20 0 1 0 192467793 716230656 151333 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 174861 151333 468 659 0 174065 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 709376 KiB
Current children cumulated memory: 608028 KiB
[startup+3222.3 s]
/proc/loadavg: 3.24 3.15 3.09 4/241 1024992
/proc/meminfo: memFree=126097436/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=703284 memory=620728 CPUtime=3214.16 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 85064 0 0 0 321261 155 0 0 20 0 1 0 192467793 720162816 155182 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 175821 155182 468 659 0 175025 0
Current children cumulated CPU time: 3214.16 s
Current children cumulated vsize: 713216 KiB
Current children cumulated memory: 623424 KiB
[startup+3282.3 s]
/proc/loadavg: 3.20 3.15 3.09 4/240 1025003
/proc/meminfo: memFree=126124580/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=706484 memory=590728 CPUtime=3273.98 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 86326 0 0 0 327237 161 0 0 20 0 1 0 192467793 723439616 147682 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 176621 147682 468 659 0 175825 0
Current children cumulated CPU time: 3273.98 s
Current children cumulated vsize: 716416 KiB
Current children cumulated memory: 593424 KiB
[startup+3342.3 s]
/proc/loadavg: 3.14 3.14 3.09 4/240 1025013
/proc/meminfo: memFree=126047492/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=707764 memory=605700 CPUtime=3333.84 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 86841 0 0 0 333223 161 0 0 20 0 1 0 192467793 724750336 151425 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 176941 151425 468 659 0 176145 0
Current children cumulated CPU time: 3333.84 s
Current children cumulated vsize: 717696 KiB
Current children cumulated memory: 608396 KiB
[startup+3402.3 s]
/proc/loadavg: 3.17 3.16 3.10 4/239 1025191
/proc/meminfo: memFree=126040096/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709044 memory=621204 CPUtime=3393.69 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 87374 0 0 0 339208 161 0 0 20 0 1 0 192467793 726061056 155301 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177261 155301 468 659 0 176465 0
Current children cumulated CPU time: 3393.69 s
Current children cumulated vsize: 718976 KiB
Current children cumulated memory: 623900 KiB
[startup+3462.3 s]
/proc/loadavg: 3.17 3.16 3.10 4/239 1025202
/proc/meminfo: memFree=126026204/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709044 memory=633496 CPUtime=3453.56 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 87681 0 0 0 345194 162 0 0 20 0 1 0 192467793 726061056 158374 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177261 158374 468 659 0 176465 0
Current children cumulated CPU time: 3453.56 s
Current children cumulated vsize: 718976 KiB
Current children cumulated memory: 636192 KiB
[startup+3522.3 s]
/proc/loadavg: 3.11 3.14 3.09 4/241 1025270
/proc/meminfo: memFree=126063004/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709684 memory=649284 CPUtime=3513.41 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 88108 0 0 0 351179 162 0 0 20 0 1 0 192467793 726716416 162321 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177421 162321 468 659 0 176625 0
Current children cumulated CPU time: 3513.41 s
Current children cumulated vsize: 719616 KiB
Current children cumulated memory: 651980 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.13 3.09 4/240 1025280
/proc/meminfo: memFree=126023432/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709684 memory=663688 CPUtime=3573.26 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 88440 0 0 0 357164 162 0 0 20 0 1 0 192467793 726716416 165922 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177421 165922 468 659 0 176625 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 719616 KiB
Current children cumulated memory: 666384 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 3.10 3.13 3.09 4/240 1025283
/proc/meminfo: memFree=126005156/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709684 memory=669836 CPUtime=3600.02 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 88622 0 0 0 359839 163 0 0 20 0 1 0 192467793 726716416 167459 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177421 167459 468 659 0 176625 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 719616 KiB
Current children cumulated memory: 672532 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.12 s]
# the end of solver process 1023217 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3598.4 s, system=1.63849 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.11 s]
/proc/loadavg: 3.10 3.13 3.09 4/240 1025283
/proc/meminfo: memFree=126005156/131655788 swapFree=131071996/131071996
[pid=1023217] ppid=1023214 vsize=9932 memory=2696 CPUtime=0 cores=4,6
/proc/1023217/stat : 1023217 (naps-1.03.sh) S 1023214 1023217 1021251 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 192467792 10170368 674 134679101440 93955370901504 93955371980824 140736969465872 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 93955374079280 93955374126468 93955399077888 140736969470942 140736969471071 140736969471071 140736969478088 0
/proc/1023217/statm: 2483 674 595 264 0 134 0
[pid=1023222] ppid=1023217 vsize=709684 memory=669836 CPUtime=3600.02 cores=4,6
/proc/1023222/stat : 1023222 (naps-1.03) R 1023217 1023217 1021251 0 -1 4194304 88622 0 0 0 359839 163 0 0 20 0 1 0 192467793 726716416 167459 134679101440 4194304 6891213 140729123767648 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 20582400 140729123775471 140729123775587 140729123775587 140729123782603 0
/proc/1023222/statm: 177421 167459 468 659 0 176625 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 719616 KiB
Current children cumulated memory: 672532 KiB
Child status: 10
Real time (s): 3609.12
CPU time (s): 3600.04
CPU user time (s): 3598.4
CPU system time (s): 1.63849
CPU usage (%): 99.7484
Max. virtual memory (cumulated for all children) (KiB): 1060292
Max. memory (cumulated for all children) (KiB): 890188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.4
system time used= 1.63849
maximum resident set size= 887492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89097
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= 240
involuntary context switches= 3911
# summary of solver processes directly reported to runsolver:
# pid: 1023217
# total CPU time (s): 3600.04
# total CPU user time (s): 3598.4
# total CPU system time (s): 1.63849
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 28.3935 second user time and 26.8278 second system time
The end
Begin job on nodeC007 at 2024-07-19 17:32:04 IDJOB=4449866 IDBENCH=176150 IDSOLVER=3062 FILE ID=nodeC007/4449866-1721403112 RUNJOBID= nodeC007-1721403124-1023144 SLURM_JOB_ID= 7545436 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS-GM 1.03 BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-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-4449866-1721403112/watcher-4449866-1721403112 -o /tmp/evaluation-result-4449866-1721403112/solver-4449866-1721403112 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721403124-1023144 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4449866-1721403112.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb RANDOM SEED=1585193454 nodeC007.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.163 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.25 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.320 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.30 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.131 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.25 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.130 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.30 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.129 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.25 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 : 3491.630 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.30 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.415 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.25 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.134 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.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 127076360 kB MemAvailable: 129905604 kB Buffers: 525648 kB Cached: 3140824 kB SwapCached: 0 kB Active: 1073352 kB Inactive: 2933200 kB Active(anon): 1388 kB Inactive(anon): 384580 kB Active(file): 1071964 kB Inactive(file): 2548620 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 23248 kB Writeback: 0 kB AnonPages: 340184 kB Mapped: 109364 kB Shmem: 45896 kB KReclaimable: 97380 kB Slab: 199984 kB SReclaimable: 97380 kB SUnreclaim: 102604 kB KernelStack: 3828 kB PageTables: 9544 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 687412 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 60224 kB HardwareCorrupted: 0 kB AnonHugePages: 370688 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: 279368 kB DirectMap2M: 27936768 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723764 MiB End job on nodeC007 at 2024-07-19 18:32:13