Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS 1.03 | OPT | 17 | 2296.05 | 2302.64 |
| 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 Input file name: HOME/instance-4449867-1721403115.opb 0.31/0.37 c single stage optimization mode 0.31/0.37 o 19 1497.17/1501.49 o 17 2296.00/2302.63 s OPTIMUM FOUND 2296.00/2302.63 c _____________________________________________________________________________ 2296.00/2302.63 c std/band forms : 22,0 2296.00/2302.63 c 2cl/3cl ITE-codings : 0,0 2296.00/2302.63 c BDD/srt/adr Max costs : 0,196,0 2296.00/2302.63 c BDDraw/bin/mul/srt/adr: 0,0,0,22,0 2296.00/2302.63 c BDD nodes : 0 2296.00/2302.63 c Es1/CC detections : 0,0 2296.00/2302.63 c CC sort : 22 2296.00/2302.63 c SAT/UNSAT calls : 2,3 2296.00/2302.63 c regenrated variables : 0 2296.00/2302.63 c eliminated fixed lits : 0 2296.00/2302.63 c goal lit flips : 0 2296.00/2302.63 c goal stages : 1 2296.00/2302.63 c goal shrink : 0 2296.00/2302.63 c goal coeff separations: 0 2296.00/2302.63 c restarts : 718187 2296.00/2302.63 c conflicts : 25518479 (11158 /sec) 2296.00/2302.63 c decisions : 68344704 (29883 /sec) 2296.00/2302.63 c propagations : 1657637755 (724781 /sec) 2296.00/2302.63 c inspects : 0 (0 /sec) 2296.00/2302.63 c CPU time (solving tm) : 2287 s (2286 s, SAT 0.03459 s, UNSAT 2286 s) 2296.00/2302.63 c Time for Opt-base : 0.000142 s 2296.00/2302.63 c Steps for Opt-base : 0 2296.00/2302.63 c Time for BDD coding : 0 s 2296.00/2302.63 c Time for srt coding : 0.000527 s 2296.00/2302.63 c _____________________________________________________________________________ 2296.00/2302.63 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 (59620 MiB free)
memory of node 1: 64510 MiB (61283 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449867-1721403115/watcher-4449867-1721403115 -o /tmp/evaluation-result-4449867-1721403115/solver-4449867-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721399514-1026464 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4449867-1721403115.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=1028573, runsolver pid=1028570
[startup+0.100095 s]*
/proc/loadavg: 4.15 4.31 4.22 5/250 1028578
/proc/meminfo: memFree=123803548/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=5704 memory=4348 CPUtime=0.1 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 627 0 0 0 10 0 0 0 20 0 1 0 192467555 5840896 1087 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 1426 1087 580 659 0 630 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15636 KiB
Current children cumulated memory: 6992 KiB
[startup+0.213534 s]*
/proc/loadavg: 4.15 4.31 4.22 5/250 1028578
/proc/meminfo: memFree=123801432/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=7548 memory=5936 CPUtime=0.21 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 1124 0 0 0 21 0 0 0 20 0 1 0 192467555 7729152 1484 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 1887 1484 580 659 0 1091 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 17480 KiB
Current children cumulated memory: 8580 KiB
[startup+0.313162 s]*
/proc/loadavg: 4.15 4.31 4.22 5/250 1028578
/proc/meminfo: memFree=123799612/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=9284 memory=7780 CPUtime=0.31 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 1569 0 0 0 31 0 0 0 20 0 1 0 192467555 9506816 1945 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 2321 1945 580 659 0 1525 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19216 KiB
Current children cumulated memory: 10424 KiB
[startup+0.700445 s]
/proc/loadavg: 4.15 4.31 4.22 5/250 1028578
/proc/meminfo: memFree=123793448/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=15364 memory=14212 CPUtime=0.68 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 6433 0 0 0 67 1 0 0 20 0 1 0 192467555 15732736 3553 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 3841 3553 660 659 0 3045 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 25296 KiB
Current children cumulated memory: 16856 KiB
[startup+1.50045 s]
/proc/loadavg: 4.15 4.31 4.22 5/250 1028578
/proc/meminfo: memFree=123791176/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=17904 memory=17016 CPUtime=1.48 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 9760 0 0 0 146 2 0 0 20 0 1 0 192467555 18333696 4254 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 4476 4254 660 659 0 3680 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 27836 KiB
Current children cumulated memory: 19660 KiB
[startup+3.11335 s]
/proc/loadavg: 4.15 4.31 4.22 5/245 1028654
/proc/meminfo: memFree=123878084/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=24816 memory=23624 CPUtime=3.08 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 13780 0 0 0 305 3 0 0 20 0 1 0 192467555 25411584 5906 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 6204 5906 660 659 0 5408 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 34748 KiB
Current children cumulated memory: 26268 KiB
[startup+6.30043 s]
/proc/loadavg: 4.14 4.31 4.22 5/250 1028678
/proc/meminfo: memFree=123861168/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=29196 memory=27524 CPUtime=6.26 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 18002 0 0 0 621 5 0 0 20 0 1 0 192467555 29896704 6881 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 7299 6881 660 659 0 6503 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 39128 KiB
Current children cumulated memory: 30168 KiB
[startup+12.7004 s]
/proc/loadavg: 4.13 4.30 4.22 5/250 1028679
/proc/meminfo: memFree=123853984/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=44520 memory=43328 CPUtime=12.65 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 19831 0 0 0 1259 6 0 0 20 0 1 0 192467555 45588480 10832 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 11130 10832 660 659 0 10334 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 54452 KiB
Current children cumulated memory: 45972 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.29 4.22 5/250 1028682
/proc/meminfo: memFree=123801728/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=65304 memory=64028 CPUtime=25.42 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 26007 0 0 0 2532 10 0 0 20 0 1 0 192467555 66871296 16007 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 16326 16007 660 659 0 15530 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 75236 KiB
Current children cumulated memory: 66672 KiB
[startup+51.1129 s]
/proc/loadavg: 3.78 4.20 4.19 4/242 1028718
/proc/meminfo: memFree=123950072/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=82752 memory=81792 CPUtime=50.95 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 37618 0 0 0 5077 18 0 0 20 0 1 0 192467555 84738048 20448 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 20688 20448 660 659 0 19892 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 92684 KiB
Current children cumulated memory: 84436 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 4.03 4.13 4/240 1028727
/proc/meminfo: memFree=123816972/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=184584 memory=178416 CPUtime=102 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 60839 0 0 0 10153 47 0 0 20 0 1 0 192467555 189014016 44604 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 46146 44604 660 659 0 45350 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 194516 KiB
Current children cumulated memory: 181060 KiB
[startup+162.3 s]
/proc/loadavg: 3.22 3.85 4.06 4/240 1028737
/proc/meminfo: memFree=123801508/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=196884 memory=193200 CPUtime=161.83 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 74116 0 0 0 16110 73 0 0 20 0 1 0 192467555 201609216 48300 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 49221 48300 660 659 0 48425 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 206816 KiB
Current children cumulated memory: 195844 KiB
[startup+222.3 s]
/proc/loadavg: 3.14 3.71 4.00 4/237 1028749
/proc/meminfo: memFree=123753028/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=225084 memory=224152 CPUtime=221.67 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 85998 0 0 0 22069 98 0 0 20 0 1 0 192467555 230486016 56038 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 56271 56038 660 659 0 55475 0
Current children cumulated CPU time: 221.67 s
################
# More data... #
################
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 363204 0 0 0 200858 791 0 0 20 0 1 0 192467555 765374464 182358 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 186859 182358 660 659 0 186063 0
Current children cumulated CPU time: 2016.49 s
Current children cumulated vsize: 757368 KiB
Current children cumulated memory: 732076 KiB
[startup+2082.3 s]
/proc/loadavg: 3.12 3.13 3.25 4/237 1029755
/proc/meminfo: memFree=123291080/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=776040 memory=735884 CPUtime=2076.32 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 368648 0 0 0 206817 815 0 0 20 0 1 0 192467555 794664960 183971 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 194010 183971 660 659 0 193214 0
Current children cumulated CPU time: 2076.32 s
Current children cumulated vsize: 785972 KiB
Current children cumulated memory: 738528 KiB
[startup+2142.3 s]
/proc/loadavg: 3.16 3.14 3.24 4/237 1029765
/proc/meminfo: memFree=123282496/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=786516 memory=749304 CPUtime=2136.17 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 374296 0 0 0 212778 839 0 0 20 0 1 0 192467555 805392384 187326 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 196629 187326 660 659 0 195833 0
Current children cumulated CPU time: 2136.17 s
Current children cumulated vsize: 796448 KiB
Current children cumulated memory: 751948 KiB
[startup+2202.3 s]
/proc/loadavg: 3.12 3.12 3.23 4/237 1029775
/proc/meminfo: memFree=123175104/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=833308 memory=790456 CPUtime=2196 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 385615 0 0 0 218737 863 0 0 20 0 1 0 192467555 853307392 197614 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 208327 197614 660 659 0 207531 0
Current children cumulated CPU time: 2196 s
Current children cumulated vsize: 843240 KiB
Current children cumulated memory: 793100 KiB
[startup+2262.3 s]
/proc/loadavg: 3.15 3.13 3.22 4/237 1029787
/proc/meminfo: memFree=123207908/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=825524 memory=784860 CPUtime=2255.82 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 389444 0 0 0 224698 884 0 0 20 0 1 0 192467555 845336576 196215 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 206381 196215 660 659 0 205585 0
Current children cumulated CPU time: 2255.82 s
Current children cumulated vsize: 835456 KiB
Current children cumulated memory: 787504 KiB
[startup+2302.64 s]
# the end of solver process 1028573 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=2287.09 s, system=8.96299 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2278.4 s]
/proc/loadavg: 3.20 3.14 3.23 4/237 1029789
/proc/meminfo: memFree=123237916/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=827716 memory=787460 CPUtime=2271.88 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 390557 0 0 0 226297 891 0 0 20 0 1 0 192467555 847581184 196865 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 206929 196865 660 659 0 206133 0
Current children cumulated CPU time: 2271.88 s
Current children cumulated vsize: 837648 KiB
Current children cumulated memory: 790104 KiB
[startup+2291.2 s]
/proc/loadavg: 3.15 3.13 3.22 4/239 1029796
/proc/meminfo: memFree=123233700/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2284.64 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391390 0 0 0 227569 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2284.64 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
[startup+2297.6 s]
/proc/loadavg: 3.14 3.13 3.22 4/239 1029796
/proc/meminfo: memFree=123233712/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2291.02 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391496 0 0 0 228207 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2291.02 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
[startup+2300.8 s]
/proc/loadavg: 3.13 3.13 3.22 4/239 1029797
/proc/meminfo: memFree=123235784/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2294.21 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391496 0 0 0 228526 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2294.21 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
[startup+2301.6 s]
/proc/loadavg: 3.13 3.13 3.22 4/239 1029797
/proc/meminfo: memFree=123233680/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2295 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391496 0 0 0 228605 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2295 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
[startup+2302.4 s]
/proc/loadavg: 3.13 3.13 3.22 4/239 1029797
/proc/meminfo: memFree=123233708/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2295.8 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391496 0 0 0 228685 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2295.8 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
[startup+2302.6 s]
/proc/loadavg: 3.13 3.13 3.22 4/239 1029797
/proc/meminfo: memFree=123233708/131655788 swapFree=131071996/131071996
[pid=1028573] ppid=1028570 vsize=9932 memory=2644 CPUtime=0 cores=5,7
/proc/1028573/stat : 1028573 (naps-1.03.sh) S 1028570 1028573 1026451 0 -1 4194304 217 242 0 0 0 0 0 0 20 0 1 0 192467555 10170368 661 134679101440 94623592751104 94623593830424 140731865862544 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94623595928880 94623595976068 94623607586816 140731865871330 140731865871455 140731865871455 140731865878472 0
/proc/1028573/statm: 2483 661 581 264 0 134 0
[pid=1028578] ppid=1028573 vsize=830132 memory=789876 CPUtime=2296 cores=5,7
/proc/1028578/stat : 1028578 (naps-1.03) R 1028573 1028573 1026451 0 -1 4194304 391496 0 0 0 228705 895 0 0 20 0 1 0 192467555 850055168 197469 134679101440 4194304 6891213 140730893248688 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 21200896 140730893251571 140730893251683 140730893251683 140730893258699 0
/proc/1028578/statm: 207533 197469 660 659 0 206737 0
Current children cumulated CPU time: 2296 s
Current children cumulated vsize: 840064 KiB
Current children cumulated memory: 792520 KiB
Child status: 30
Real time (s): 2302.64
CPU time (s): 2296.05
CPU user time (s): 2287.09
CPU system time (s): 8.96299
CPU usage (%): 99.714
Max. virtual memory (cumulated for all children) (KiB): 1068480
Max. memory (cumulated for all children) (KiB): 1020332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2287.09
system time used= 8.96299
maximum resident set size= 1017688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391971
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= 71
involuntary context switches= 1684
# summary of solver processes directly reported to runsolver:
# pid: 1028573
# total CPU time (s): 2296.05
# total CPU user time (s): 2287.09
# total CPU system time (s): 8.96299
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1697 second user time and 24.032 second system time
The end
Begin job on nodeC003 at 2024-07-19 17:32:06 IDJOB=4449867 IDBENCH=176150 IDSOLVER=3063 FILE ID=nodeC003/4449867-1721403115 RUNJOBID= nodeC003-1721399514-1026464 SLURM_JOB_ID= 7545432 Free space on /tmp= 723764 MiB SOLVER NAME= NaPS 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 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449867-1721403115/watcher-4449867-1721403115 -o /tmp/evaluation-result-4449867-1721403115/solver-4449867-1721403115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721399514-1026464 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4449867-1721403115.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb RANDOM SEED=976194533 nodeC003.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 : 3669.608 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.76 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 : 3652.781 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.465 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.76 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.266 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 : 3669.584 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.76 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.897 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.413 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.76 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.227 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: 123806408 kB MemAvailable: 129451496 kB Buffers: 536908 kB Cached: 5891076 kB SwapCached: 0 kB Active: 1026676 kB Inactive: 6134616 kB Active(anon): 1484 kB Inactive(anon): 777712 kB Active(file): 1025192 kB Inactive(file): 5356904 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 6916 kB Writeback: 0 kB AnonPages: 729212 kB Mapped: 115836 kB Shmem: 45896 kB KReclaimable: 206048 kB Slab: 321556 kB SReclaimable: 206048 kB SUnreclaim: 115508 kB KernelStack: 3968 kB PageTables: 11024 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 1139308 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 59072 kB HardwareCorrupted: 0 kB AnonHugePages: 561152 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: 275272 kB DirectMap2M: 31086592 kB DirectMap1G: 104857600 kB Free space on /tmp at the end= 723764 MiB End job on nodeC003 at 2024-07-19 18:10:29