Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| NaPS naps-1.03a6 | SAT (TO) | 66 | 3600.06 | 3609.5 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB05/ manquinho/ttp/normalized-circ6_3.opb |
| MD5SUM | 01f07e427327757fda434ad4b1d2038d |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3584.69 |
| 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 | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 3 |
| Number of bits for the biggest coefficient in the objective function | 2 |
| Sum of the numbers in the objective function | 324 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 16 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 324 |
| Number of bits of the biggest sum of numbers | 9 |
| 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.04 c NaPS 1.03a6. 0.00/0.04 c Input file name: HOME/instance-4486416-1751327095.opb 0.05/0.13 c single stage optimization mode 3600.04/3609.50 o 88 3600.04/3609.50 o 86 3600.04/3609.50 o 76 3600.04/3609.50 o 70 3600.04/3609.50 o 66 3600.04/3609.50 c 3600.04/3609.50 c *** TERMINATED *** by signal 15 3600.04/3609.50 s SATISFIABLE 3600.04/3609.50 c _____________________________________________________________________________ 3600.04/3609.50 c std/band forms : 1950,0 3600.04/3609.50 c 2cl/3cl ITE-codings : 10042,0 3600.04/3609.50 c BDD/srt/adr Max costs : 27798,206,0 3600.04/3609.50 c BDDraw/bin/mul/srt/adr: 1686,0,0,264,0 3600.04/3609.50 c BDD nodes : 22136 3600.04/3609.50 c Es1/CC detections : 0,0 3600.04/3609.50 c CC sort : 264 3600.04/3609.50 c SAT/UNSAT calls : 5,1 3600.04/3609.50 c regenrated variables : 0 3600.04/3609.50 c eliminated fixed lits : 0 3600.04/3609.50 c goal lit flips : 0 3600.04/3609.50 c goal stages : 1 3600.04/3609.50 c goal shrink : 0 3600.04/3609.50 c goal coeff separations: 0 3600.04/3609.50 c restarts : 260825 3600.04/3609.50 c conflicts : 7913757 (2198 /sec) 3600.04/3609.50 c decisions : 12357300 (3433 /sec) 3600.04/3609.50 c propagations : 2953525252 (820503 /sec) 3600.04/3609.50 c inspects : 0 (0 /sec) 3600.04/3609.50 c CPU time (solving tm) : 3600 s (3600 s, SAT 19.08 s, UNSAT 691.6 s) 3600.04/3609.50 c Time for Opt-base : 0.000105 s 3600.04/3609.50 c Steps for Opt-base : 0 3600.04/3609.50 c Time for BDD coding : 0.04832 s 3600.04/3609.50 c Time for srt coding : 0.00025 s 3600.04/3609.50 c _____________________________________________________________________________ 3600.04/3609.50 v x361 -x362 -x363 x364 x365 x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 x433 x434 x435 -x436 -x437 x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 x467 x468 x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 x499 -x500 x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 x535 x536 -x537 -x538 x539 -x540 x2 -x38 -x74 -x110 -x146 -x182 -x218 -x254 -x290 -x326 -x3 -x39 -x75 -x111 -x147 -x183 -x219 -x255 x291 -x327 -x4 -x40 -x76 -x112 -x148 -x184 -x220 x256 -x292 -x328 -x5 -x41 -x77 x113 -x149 -x185 -x221 -x257 -x293 -x329 -x6 -x42 -x78 -x114 -x150 -x186 x222 -x258 -x294 -x330 -x7 -x43 -x79 -x115 -x151 -x187 -x223 -x259 -x295 x331 -x9 -x45 -x81 -x117 -x153 x189 -x225 -x261 -x297 -x333 -x10 x46 -x82 -x118 -x154 -x190 -x226 -x262 -x298 -x334 -x11 -x47 -x83 -x119 -x155 -x191 -x227 -x263 x299 -x335 -x12 -x48 -x84 -x120 -x156 -x192 -x228 x264 -x300 -x336 -x13 x49 -x85 -x121 -x157 -x193 -x229 -x265 -x301 -x337 -x14 -x50 x86 -x122 -x158 -x194 -x230 -x266 -x302 -x338 -x16 -x52 -x88 -x124 -x160 -x196 x232 -x268 -x304 -x340 -x17 -x53 -x89 -x125 x161 -x197 -x233 -x269 -x305 -x341 x18 -x54 -x90 -x126 -x162 -x198 -x234 -x270 -x306 -x342 -x19 -x55 -x91 -x127 x163 -x199 -x235 -x271 -x307 -x343 -x20 -x56 -x92 x128 -x164 -x200 -x236 -x272 -x308 -x344 -x21 -x57 -x93 -x129 -x165 -x201 -x237 -x273 -x309 x345 x23 -x59 -x95 -x131 -x167 -x203 -x239 -x275 -x311 -x347 -x24 -x60 -x96 -x132 -x168 x204 -x240 -x276 -x312 -x348 -x25 -x61 -x97 -x133 -x169 x205 -x241 -x277 -x313 -x349 -x26 -x62 -x98 -x134 -x170 -x206 x242 -x278 -x314 -x350 -x27 -x63 -x99 -x135 -x171 -x207 -x243 x279 -x315 -x351 -x28 -x64 x100 -x136 -x172 -x208 -x244 -x280 -x316 -x352 -x30 x66 -x102 -x138 -x174 -x210 -x246 -x282 -x318 -x354 -x31 -x67 x103 -x139 -x175 -x211 -x247 -x283 -x319 -x355 -x32 -x68 -x104 -x140 x176 -x212 -x248 -x284 -x320 -x356 -x33 -x69 -x105 x141 -x177 -x213 -x249 -x285 -x321 -x357 -x34 -x70 -x106 -x142 -x178 -x214 -x250 -x286 x322 -x358 -x35 -x71 -x107 -x143 -x179 -x215 -x251 -x287 -x323 x359 x8 -x44 x80 x116 x152 -x188 x224 -x260 -x296 -x332 -x15 -x51 -x87 x123 -x159 x195 -x231 x267 x303 x339 -x22 x58 x94 -x130 -x166 -x202 x238 x274 x310 -x346 x29 -x65 -x101 x137 x173 -x209 -x245 -x281 x317 x353 x36 x72 -x108 -x144 -x180 x216 x252 x288 -x324 -x360 -x1 x37 x73 -x109 x145 x181 -x217 -x253 -x289 x325
OK 66
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: 63708 MiB (63086 MiB free)
memory of node 1: 64465 MiB (63993 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486416-1751327095/watcher-4486416-1751327095 -o /tmp/evaluation-result-4486416-1751327095/solver-4486416-1751327095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751327094-44966 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4486416-1751327095.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=45012, runsolver pid=45006
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.58 0.95 1.41 5/268 45037
/proc/meminfo: memFree=130115900/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=8128 memory=6620 CPUtime=0.05 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 1215 0 0 0 5 0 0 0 20 0 1 0 48387351 8323072 1655 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 2032 1655 576 696 0 1193 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 12320 KiB
Current children cumulated memory: 9564 KiB
[startup+0.205753 s]*
/proc/loadavg: 0.58 0.95 1.41 5/265 45037
/proc/meminfo: memFree=130103052/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=19328 memory=17404 CPUtime=0.15 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 4154 0 0 0 14 1 0 0 20 0 1 0 48387351 19791872 4351 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 4832 4351 608 696 0 3993 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 23520 KiB
Current children cumulated memory: 20348 KiB
[startup+0.305831 s]*
/proc/loadavg: 0.58 0.95 1.41 6/266 45045
/proc/meminfo: memFree=130094696/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=19380 memory=17488 CPUtime=0.24 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 4427 0 0 0 23 1 0 0 20 0 1 0 48387351 19845120 4372 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 4845 4372 608 696 0 4006 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 23572 KiB
Current children cumulated memory: 20432 KiB
[startup+0.700158 s]
/proc/loadavg: 0.58 0.95 1.41 4/263 45045
/proc/meminfo: memFree=130069296/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=20404 memory=18780 CPUtime=0.63 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 5917 0 0 0 62 1 0 0 20 0 1 0 48387351 20893696 4695 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 5101 4695 608 696 0 4262 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 24596 KiB
Current children cumulated memory: 21724 KiB
[startup+1.50015 s]
/proc/loadavg: 0.58 0.95 1.41 4/263 45045
/proc/meminfo: memFree=129999744/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=18592 memory=17144 CPUtime=1.43 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 6180 0 0 0 142 1 0 0 20 0 1 0 48387351 19038208 4286 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 4648 4286 608 696 0 3809 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 22784 KiB
Current children cumulated memory: 20088 KiB
[startup+3.10485 s]
/proc/loadavg: 0.58 0.95 1.41 5/268 45085
/proc/meminfo: memFree=129705436/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=21248 memory=19676 CPUtime=3.03 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 7189 0 0 0 302 1 0 0 20 0 1 0 48387351 21757952 4919 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 5312 4919 608 696 0 4473 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 25440 KiB
Current children cumulated memory: 22620 KiB
[startup+6.30014 s]
/proc/loadavg: 0.85 1.00 1.43 5/268 45085
/proc/meminfo: memFree=129641224/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=20268 memory=18828 CPUtime=6.21 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 10050 0 0 0 620 1 0 0 20 0 1 0 48387351 20754432 4707 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 5067 4707 608 696 0 4228 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 24460 KiB
Current children cumulated memory: 21772 KiB
[startup+12.7001 s]
/proc/loadavg: 1.11 1.05 1.44 5/268 45085
/proc/meminfo: memFree=129588600/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=23464 memory=21896 CPUtime=12.6 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 14827 0 0 0 1257 3 0 0 20 0 1 0 48387351 24027136 5474 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 5866 5474 608 696 0 5027 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 27656 KiB
Current children cumulated memory: 24840 KiB
[startup+25.5002 s]
/proc/loadavg: 1.75 1.20 1.48 5/268 45085
/proc/meminfo: memFree=129659408/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=25588 memory=24008 CPUtime=25.37 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 17463 0 0 0 2533 4 0 0 20 0 1 0 48387351 26202112 6002 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 6397 6002 608 696 0 5558 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 29780 KiB
Current children cumulated memory: 26952 KiB
[startup+51.1055 s]
/proc/loadavg: 2.52 1.42 1.55 5/268 45086
/proc/meminfo: memFree=129650268/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=34508 memory=32000 CPUtime=50.91 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 24686 0 0 0 5085 6 0 0 20 0 1 0 48387351 35336192 8000 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 8627 8000 608 696 0 7788 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 38700 KiB
Current children cumulated memory: 34944 KiB
[startup+102.3 s]
/proc/loadavg: 3.42 1.84 1.69 5/268 45087
/proc/meminfo: memFree=129563984/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=39272 memory=36864 CPUtime=101.97 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 26690 0 0 0 10190 7 0 0 20 0 1 0 48387351 40214528 9216 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 9818 9216 608 696 0 8979 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 43464 KiB
Current children cumulated memory: 39808 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 2.25 1.84 5/268 45094
/proc/meminfo: memFree=129506432/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=44656 memory=43404 CPUtime=161.82 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 33030 0 0 0 16173 9 0 0 20 0 1 0 48387351 45727744 10851 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 11164 10851 608 696 0 10325 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 48848 KiB
Current children cumulated memory: 46348 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.60 1.99 5/269 45097
/proc/meminfo: memFree=129503924/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=60796 memory=59524 CPUtime=221.67 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 35385 0 0 0 22157 10 0 0 20 0 1 0 48387351 62255104 14881 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 15199 14881 608 696 0 14360 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 64988 KiB
################
# More data... #
################
/proc/loadavg: 4.08 4.12 4.04 5/268 45249
/proc/meminfo: memFree=129165000/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=144608 memory=143144 CPUtime=3094.14 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 53701 0 0 0 309377 37 0 0 20 0 1 0 48387351 148078592 35786 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 36152 35786 608 696 0 35313 0
Current children cumulated CPU time: 3094.14 s
Current children cumulated vsize: 148800 KiB
Current children cumulated memory: 146088 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/267 45256
/proc/meminfo: memFree=129185396/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=145572 memory=144168 CPUtime=3153.99 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 53946 0 0 0 315362 37 0 0 20 0 1 0 48387351 149065728 36042 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 36393 36042 608 696 0 35554 0
Current children cumulated CPU time: 3153.99 s
Current children cumulated vsize: 149764 KiB
Current children cumulated memory: 147112 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/267 45258
/proc/meminfo: memFree=129182300/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=145996 memory=144552 CPUtime=3213.83 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 54052 0 0 0 321346 37 0 0 20 0 1 0 48387351 149499904 36138 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 36499 36138 608 696 0 35660 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 150188 KiB
Current children cumulated memory: 147496 KiB
[startup+3282.3 s]
/proc/loadavg: 4.90 4.31 4.11 5/268 45261
/proc/meminfo: memFree=129118096/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=181208 memory=179832 CPUtime=3273.67 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 54399 0 0 0 327329 38 0 0 20 0 1 0 48387351 185556992 44958 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 45302 44958 608 696 0 44463 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 185400 KiB
Current children cumulated memory: 182776 KiB
[startup+3342.3 s]
/proc/loadavg: 4.46 4.31 4.12 5/268 45263
/proc/meminfo: memFree=129141236/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=151740 memory=150312 CPUtime=3333.52 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 54842 0 0 0 333314 38 0 0 20 0 1 0 48387351 155381760 37578 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 37935 37578 608 696 0 37096 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 155932 KiB
Current children cumulated memory: 153256 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.28 4.12 5/268 45265
/proc/meminfo: memFree=129106636/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=182488 memory=181032 CPUtime=3393.37 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 55375 0 0 0 339298 39 0 0 20 0 1 0 48387351 186867712 45258 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 45622 45258 608 696 0 44783 0
Current children cumulated CPU time: 3393.37 s
Current children cumulated vsize: 186680 KiB
Current children cumulated memory: 183976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.24 4.11 5/267 45269
/proc/meminfo: memFree=129112552/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=182488 memory=181032 CPUtime=3453.22 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 55376 0 0 0 345283 39 0 0 20 0 1 0 48387351 186867712 45258 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 45622 45258 608 696 0 44783 0
Current children cumulated CPU time: 3453.22 s
Current children cumulated vsize: 186680 KiB
Current children cumulated memory: 183976 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.21 4.11 5/267 45271
/proc/meminfo: memFree=129153412/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=113844 memory=112596 CPUtime=3513.07 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 55422 0 0 0 351268 39 0 0 20 0 1 0 48387351 116576256 28149 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 28461 28149 608 696 0 27622 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 118036 KiB
Current children cumulated memory: 115540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.19 4.10 5/266 45273
/proc/meminfo: memFree=129125728/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=161592 memory=160168 CPUtime=3572.91 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 56600 0 0 0 357251 40 0 0 20 0 1 0 48387351 165470208 40042 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 40398 40042 608 696 0 39559 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 165784 KiB
Current children cumulated memory: 163112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.06 4.17 4.10 5/266 45274
/proc/meminfo: memFree=129125648/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=161592 memory=160168 CPUtime=3600.04 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 56600 0 0 0 359964 40 0 0 20 0 1 0 48387351 165470208 40042 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 40398 40042 608 696 0 39559 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 165784 KiB
Current children cumulated memory: 163112 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.5 s]
# the end of solver process 45012 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.65 s, system=0.411351 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.06 4.17 4.10 5/266 45274
/proc/meminfo: memFree=129125648/131249996 swapFree=33005272/33010684
[pid=45012] ppid=45006 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/45012/stat : 45012 (naps-1.03a6.sh) S 45006 45012 44955 0 -1 4194304 228 206 0 2 0 0 0 0 20 0 1 0 48387347 4292608 736 18446744073709551615 94721469100032 94721469994565 140733836443488 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94721470233616 94721470281360 94721490165760 140733836446119 140733836446213 140733836446213 140733836451815 0
/proc/45012/statm: 1048 736 672 219 0 110 0
[pid=45034] ppid=45012 vsize=161592 memory=160168 CPUtime=3600.04 cores=4,6
/proc/45034/stat : 45034 (naps-1.03a6) R 45012 45012 44955 0 -1 4194304 56600 0 0 0 359964 40 0 0 20 0 1 0 48387351 165470208 40042 18446744073709551615 4198400 7047149 140722407202288 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 33501184 140722407205236 140722407205350 140722407205350 140722407210953 0
/proc/45034/statm: 40398 40042 608 696 0 39559 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 165784 KiB
Current children cumulated memory: 163112 KiB
Child status: 10
Real time (s): 3609.5
CPU time (s): 3600.06
CPU user time (s): 3599.65
CPU system time (s): 0.411351
CPU usage (%): 99.7385
Max. virtual memory (cumulated for all children) (KiB): 220572
Max. memory (cumulated for all children) (KiB): 217820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.65
system time used= 0.411351
maximum resident set size= 215004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57047
page faults= 2
swaps= 0
block input operations= 32
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247
involuntary context switches= 1276
# summary of solver processes directly reported to runsolver:
# pid: 45012
# total CPU time (s): 3600.06
# total CPU user time (s): 3599.65
# total CPU system time (s): 0.411351
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45462 second user time and 17.0398 second system time
The end
Begin job on nodeC023 at 2025-07-01 01:44:55 IDJOB=4486416 IDBENCH=147020 IDSOLVER=3341 FILE ID=nodeC023/4486416-1751327095 RUNJOBID= nodeC023-1751327094-44966 SLURM_JOB_ID= 9594365 Free space on /tmp= 433064 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ6_3.opb COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4486416-1751327095/watcher-4486416-1751327095 -o /tmp/evaluation-result-4486416-1751327095/solver-4486416-1751327095 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751327094-44966 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4486416-1751327095.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 01f07e427327757fda434ad4b1d2038d RANDOM SEED=1366485614 nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.402 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.633 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.886 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.882 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3624.504 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3686.539 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.873 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.909 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.78 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 130129800 kB MemAvailable: 129764172 kB Buffers: 1328 kB Cached: 413040 kB SwapCached: 520 kB Active: 185624 kB Inactive: 308376 kB Active(anon): 33424 kB Inactive(anon): 59548 kB Active(file): 152200 kB Inactive(file): 248828 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33005272 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 25048 kB Writeback: 24 kB AnonPages: 82324 kB Mapped: 98408 kB Shmem: 13244 kB KReclaimable: 103072 kB Slab: 190580 kB SReclaimable: 103072 kB SUnreclaim: 87508 kB KernelStack: 3988 kB PageTables: 2968 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 340208 kB VmallocTotal: 34359738367 kB VmallocUsed: 150344 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 197332 kB DirectMap2M: 9011200 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 433036 MiB End job on nodeC023 at 2025-07-01 02:45:04