Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| NaPS naps-1.03a6 | MSAT (TO) | 3600.05 | 3608.8 |
| Name | PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/ normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo |
| MD5SUM | ee6d437ff887b8f66aa5734205ce994a |
| Bench Category | SOFT-LIN (WBO, only soft constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 0.089238 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 600 |
| Total number of constraints | 70 |
| Number of soft constraints | 70 |
| Number of constraints which are clauses | 40 |
| Number of constraints which are cardinality constraints (but not clauses) | 30 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 15 |
| Maximum length of a constraint | 20 |
| Top cost | 3292 |
| Min constraint cost | 1 |
| Max constraint cost | 97 |
| Sum of constraints costs | 3291 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| 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.01 c NaPS 1.03a6. 0.00/0.01 c Input file name: HOME/instance-4524611-1751616154.wbo 0.00/0.01 c Initial goal by soft: 3291 0.00/0.02 c single stage optimization mode 3600.03/3608.80 o 3291 3600.03/3608.80 o 686 3600.03/3608.80 o 371 3600.03/3608.80 o 225 3600.03/3608.80 o 74 3600.03/3608.80 o 37 3600.03/3608.80 o 21 3600.03/3608.80 c 3600.03/3608.80 c *** TERMINATED *** by signal 15 3600.03/3608.80 s SATISFIABLE 3600.03/3608.80 c _____________________________________________________________________________ 3600.03/3608.80 c std/band forms : 37,0 3600.03/3608.80 c 2cl/3cl ITE-codings : 13072,0 3600.03/3608.80 c BDD/srt/adr Max costs : 20322,206,0 3600.03/3608.80 c BDDraw/bin/mul/srt/adr: 0,0,7,30,0 3600.03/3608.80 c BDD nodes : 14111 3600.03/3608.80 c Es1/CC detections : 0,0 3600.03/3608.80 c CC sort : 30 3600.03/3608.80 c SAT/UNSAT calls : 7,0 3600.03/3608.80 c regenrated variables : 0 3600.03/3608.80 c eliminated fixed lits : 77 3600.03/3608.80 c goal lit flips : 0 3600.03/3608.80 c goal stages : 1 3600.03/3608.80 c goal shrink : 0 3600.03/3608.80 c goal coeff separations: 0 3600.03/3608.80 c restarts : 96 3600.03/3608.80 c conflicts : 22922 (6 /sec) 3600.03/3608.80 c decisions : 43279 (12 /sec) 3600.03/3608.80 c propagations : 1812945 (504 /sec) 3600.03/3608.80 c inspects : 0 (0 /sec) 3600.03/3608.80 c CPU time (solving tm) : 3600 s (3600 s, SAT 0.8438 s, UNSAT 0 s) 3600.03/3608.80 c Time for Opt-base : 0.001125 s 3600.03/3608.80 c Steps for Opt-base : 4130 3600.03/3608.80 c Time for BDD coding : 0.04731 s 3600.03/3608.80 c Time for srt coding : 0.000244 s 3600.03/3608.80 c _____________________________________________________________________________ 3600.03/3608.80 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 x551 -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 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
OK 21
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: 63665 MiB (58018 MiB free)
memory of node 1: 64507 MiB (45479 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524611-1751616154/watcher-4524611-1751616154 -o /tmp/evaluation-result-4524611-1751616154/solver-4524611-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86497 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524611-1751616154.wbo
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86554, runsolver pid=86541
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105937764/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=16620 memory=15028 CPUtime=0.07 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 3432 0 0 0 7 0 0 0 20 0 1 0 77294292 17018880 3757 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 4155 3757 608 696 0 3316 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 20812 KiB
Current children cumulated memory: 17972 KiB
[startup+0.205542 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105920376/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=21000 memory=18872 CPUtime=0.19 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 5539 0 0 0 18 1 0 0 20 0 1 0 77294292 21504000 4718 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 5250 4718 608 696 0 4411 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 25192 KiB
Current children cumulated memory: 21816 KiB
[startup+0.305645 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105903744/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=27080 memory=24808 CPUtime=0.28 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 7023 0 0 0 27 1 0 0 20 0 1 0 77294292 27729920 6202 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 6770 6202 608 696 0 5931 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 31272 KiB
Current children cumulated memory: 27752 KiB
[startup+0.700231 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105887048/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=31936 memory=28744 CPUtime=0.67 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 11266 0 0 0 65 2 0 0 20 0 1 0 77294292 32702464 7186 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 7984 7186 608 696 0 7145 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 36128 KiB
Current children cumulated memory: 31688 KiB
[startup+1.50021 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105875272/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=31936 memory=28744 CPUtime=1.47 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 11267 0 0 0 145 2 0 0 20 0 1 0 77294292 32702464 7186 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 7984 7186 608 696 0 7145 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 36128 KiB
Current children cumulated memory: 31688 KiB
[startup+3.10525 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105871140/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=31936 memory=28744 CPUtime=3.07 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 11267 0 0 0 305 2 0 0 20 0 1 0 77294292 32702464 7186 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 7984 7186 608 696 0 7145 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 36128 KiB
Current children cumulated memory: 31688 KiB
[startup+6.30015 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105869720/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=31936 memory=28744 CPUtime=6.25 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 11268 0 0 0 623 2 0 0 20 0 1 0 77294292 32702464 7186 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 7984 7186 608 696 0 7145 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 36128 KiB
Current children cumulated memory: 31688 KiB
[startup+12.7002 s]
/proc/loadavg: 1.30 1.13 1.52 5/269 86566
/proc/meminfo: memFree=105870224/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=34256 memory=30920 CPUtime=12.64 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 11821 0 0 0 1262 2 0 0 20 0 1 0 77294292 35078144 7730 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 8564 7730 608 696 0 7725 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 38448 KiB
Current children cumulated memory: 33864 KiB
[startup+25.5002 s]
/proc/loadavg: 1.79 1.24 1.55 5/269 86566
/proc/meminfo: memFree=105849212/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=34624 memory=31324 CPUtime=25.4 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 13398 0 0 0 2538 2 0 0 20 0 1 0 77294292 35454976 7831 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 8656 7831 608 696 0 7817 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 38816 KiB
Current children cumulated memory: 34268 KiB
[startup+51.1057 s]
/proc/loadavg: 2.54 1.47 1.61 5/269 86566
/proc/meminfo: memFree=105837052/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=44948 memory=41528 CPUtime=50.93 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 17221 0 0 0 5090 3 0 0 20 0 1 0 77294292 46026752 10382 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 11237 10382 608 696 0 10398 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 49140 KiB
Current children cumulated memory: 44472 KiB
[startup+102.3 s]
/proc/loadavg: 3.46 1.91 1.76 5/269 86568
/proc/meminfo: memFree=105757364/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=46264 memory=42936 CPUtime=101.98 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 29835 0 0 0 10190 8 0 0 20 0 1 0 77294292 47374336 10734 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 11566 10734 608 696 0 10727 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 50456 KiB
Current children cumulated memory: 45880 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 2.32 1.91 5/269 86570
/proc/meminfo: memFree=105699788/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=41944 memory=40412 CPUtime=161.83 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 34311 0 0 0 16174 9 0 0 20 0 1 0 77294292 42950656 10103 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 10486 10103 608 696 0 9647 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 46136 KiB
Current children cumulated memory: 43356 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.05 5/269 86572
/proc/meminfo: memFree=105741276/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=53212 memory=51704 CPUtime=221.69 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 42081 0 0 0 22158 11 0 0 20 0 1 0 77294292 54489088 12926 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 13303 12926 608 696 0 12464 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/loadavg: 4.17 4.13 4.03 5/268 86711
/proc/meminfo: memFree=105260772/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=158492 memory=157112 CPUtime=3034.92 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 82821 0 0 0 303455 37 0 0 20 0 1 0 77294292 162295808 39278 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 39623 39278 608 696 0 38784 0
Current children cumulated CPU time: 3034.92 s
Current children cumulated vsize: 162684 KiB
Current children cumulated memory: 160056 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.03 5/268 86713
/proc/meminfo: memFree=105340836/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=101124 memory=99872 CPUtime=3094.77 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 83473 0 0 0 309440 37 0 0 20 0 1 0 77294292 103550976 24968 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 25281 24968 608 696 0 24442 0
Current children cumulated CPU time: 3094.77 s
Current children cumulated vsize: 105316 KiB
Current children cumulated memory: 102816 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/269 86716
/proc/meminfo: memFree=105240696/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=156056 memory=154600 CPUtime=3154.63 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 85408 0 0 0 315424 39 0 0 20 0 1 0 77294292 159801344 38650 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 39014 38650 608 696 0 38175 0
Current children cumulated CPU time: 3154.63 s
Current children cumulated vsize: 160248 KiB
Current children cumulated memory: 157544 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/268 86718
/proc/meminfo: memFree=105261332/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=156056 memory=154600 CPUtime=3214.48 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 85421 0 0 0 321409 39 0 0 20 0 1 0 77294292 159801344 38650 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 39014 38650 608 696 0 38175 0
Current children cumulated CPU time: 3214.48 s
Current children cumulated vsize: 160248 KiB
Current children cumulated memory: 157544 KiB
[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/268 86720
/proc/meminfo: memFree=105196616/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=175820 memory=174392 CPUtime=3274.32 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 86274 0 0 0 327393 39 0 0 20 0 1 0 77294292 180039680 43598 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 43955 43598 608 696 0 43116 0
Current children cumulated CPU time: 3274.32 s
Current children cumulated vsize: 180012 KiB
Current children cumulated memory: 177336 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 86722
/proc/meminfo: memFree=105234708/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=175820 memory=174392 CPUtime=3334.18 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 86333 0 0 0 333379 39 0 0 20 0 1 0 77294292 180039680 43598 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 43955 43598 608 696 0 43116 0
Current children cumulated CPU time: 3334.18 s
Current children cumulated vsize: 180012 KiB
Current children cumulated memory: 177336 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/269 86725
/proc/meminfo: memFree=105269688/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=133684 memory=132280 CPUtime=3394.04 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 87135 0 0 0 339363 41 0 0 20 0 1 0 77294292 136892416 33070 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 33421 33070 608 696 0 32582 0
Current children cumulated CPU time: 3394.04 s
Current children cumulated vsize: 137876 KiB
Current children cumulated memory: 135224 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86727
/proc/meminfo: memFree=105237432/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=115524 memory=114272 CPUtime=3453.89 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 88073 0 0 0 345347 42 0 0 20 0 1 0 77294292 118296576 28568 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 28881 28568 608 696 0 28042 0
Current children cumulated CPU time: 3453.89 s
Current children cumulated vsize: 119716 KiB
Current children cumulated memory: 117216 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/268 86740
/proc/meminfo: memFree=105183792/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=186456 memory=184968 CPUtime=3513.74 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 89422 0 0 0 351330 44 0 0 20 0 1 0 77294292 190930944 46242 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 46614 46242 608 696 0 45775 0
Current children cumulated CPU time: 3513.74 s
Current children cumulated vsize: 190648 KiB
Current children cumulated memory: 187912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86744
/proc/meminfo: memFree=105197144/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=205960 memory=204472 CPUtime=3573.59 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 90598 0 0 0 357314 45 0 0 20 0 1 0 77294292 210903040 51118 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 51490 51118 608 696 0 50651 0
Current children cumulated CPU time: 3573.59 s
Current children cumulated vsize: 210152 KiB
Current children cumulated memory: 207416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.8 s]
/proc/loadavg: 4.11 4.09 4.04 5/267 86744
/proc/meminfo: memFree=105122084/131249988 swapFree=33010160/33010684
[pid=86554] ppid=86541 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/86554/stat : 86554 (naps-1.03a6.sh) S 86541 86554 86480 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 77294290 4292608 736 18446744073709551615 94553168449536 94553169344069 140736209982688 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94553169583120 94553169630864 94553174573056 140736209983909 140736209984003 140736209984003 140736209989607 0
/proc/86554/statm: 1048 736 672 219 0 110 0
[pid=86565] ppid=86554 vsize=173980 memory=172600 CPUtime=3600.03 cores=1,3
/proc/86565/stat : 86565 (naps-1.03a6) R 86554 86554 86480 0 -1 4194304 90598 0 0 0 359958 45 0 0 20 0 1 0 77294292 178155520 43150 18446744073709551615 4198400 7047149 140725962998112 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7573272 7623312 30662656 140725963004274 140725963004388 140725963004388 140725963009993 0
/proc/86565/statm: 43495 43150 608 696 0 42656 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 178172 KiB
Current children cumulated memory: 175544 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3608.8 s]
# the end of solver process 86554 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3599.58 s, system=0.464153 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3608.8
CPU time (s): 3600.05
CPU user time (s): 3599.58
CPU system time (s): 0.464153
CPU usage (%): 99.7574
Max. virtual memory (cumulated for all children) (KiB): 210152
Max. memory (cumulated for all children) (KiB): 207416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.58
system time used= 0.464153
maximum resident set size= 204472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91043
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= 184
involuntary context switches= 1536
# summary of solver processes directly reported to runsolver:
# pid: 86554
# total CPU time (s): 3600.05
# total CPU user time (s): 3599.58
# total CPU system time (s): 0.464153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17728 second user time and 16.4116 second system time
The end
Begin job on nodeC034 at 2025-07-04 10:02:34 IDJOB=4524611 IDBENCH=143141 IDSOLVER=3377 FILE ID=nodeC034/4524611-1751616154 RUNJOBID= nodeC034-1751616154-86497 SLURM_JOB_ID= 9598921 Free space on /tmp= 430800 MiB SOLVER NAME= NaPS naps-1.03a6 BENCH NAME= PB24/WBO/SOFT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr--soft-0-100-0.wbo COMMAND LINE= ./naps-1.03a6.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4524611-1751616154/watcher-4524611-1751616154 -o /tmp/evaluation-result-4524611-1751616154/solver-4524611-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86497 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524611-1751616154.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ee6d437ff887b8f66aa5734205ce994a RANDOM SEED=1107191248 nodeC034 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 : 3601.008 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.53 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 : 3601.648 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.53 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.773 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.53 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.158 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.53 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 : 3600.148 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.53 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 : 3599.758 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.53 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 : 3600.024 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.53 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 : 3594.486 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.53 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249988 kB MemFree: 105982492 kB MemAvailable: 129629944 kB Buffers: 2128 kB Cached: 24385168 kB SwapCached: 36 kB Active: 555888 kB Inactive: 23910568 kB Active(anon): 93020 kB Inactive(anon): 4208 kB Active(file): 462868 kB Inactive(file): 23906360 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010160 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 22040 kB Writeback: 0 kB AnonPages: 82580 kB Mapped: 103988 kB Shmem: 18068 kB KReclaimable: 234528 kB Slab: 328088 kB SReclaimable: 234528 kB SUnreclaim: 93560 kB KernelStack: 4068 kB PageTables: 2816 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635676 kB Committed_AS: 340180 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 22528 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: 189140 kB DirectMap2M: 7970816 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 430780 MiB End job on nodeC034 at 2025-07-04 11:02:43