0.00/0.01 c NaPS 1.03a6.
0.00/0.01 c Input file name: HOME/instance-4525745-1751624755.wbo
0.00/0.01 c Initial goal by soft: 39275679
7.16/7.29 c single stage optimization mode
3600.09/3610.80 o 33774553
3600.09/3610.80 o 16520667
3600.09/3610.80 o 5932839
3600.09/3610.80 c
3600.09/3610.80 c *** TERMINATED *** by signal 15
3600.09/3610.80 s SATISFIABLE
3600.09/3610.80 c _____________________________________________________________________________
3600.09/3610.80 c std/band forms : 18,0
3600.09/3610.80 c 2cl/3cl ITE-codings : 0,0
3600.09/3610.80 c BDD/srt/adr Max costs : 0,694,1072678
3600.09/3610.80 c BDDraw/bin/mul/srt/adr: 0,0,0,14,4
3600.09/3610.80 c BDD nodes : 0
3600.09/3610.80 c Es1/CC detections : 0,0
3600.09/3610.80 c CC sort : 14
3600.09/3610.80 c SAT/UNSAT calls : 3,0
3600.09/3610.80 c regenrated variables : 15
3600.09/3610.80 c eliminated fixed lits : 0
3600.09/3610.80 c goal lit flips : 0
3600.09/3610.80 c goal stages : 1
3600.09/3610.80 c goal shrink : 0
3600.09/3610.80 c goal coeff separations: 0
3600.09/3610.80 c restarts : 63021
3600.09/3610.80 c conflicts : 1847940 (515 /sec)
3600.09/3610.80 c decisions : 229301483 (63946 /sec)
3600.09/3610.80 c propagations : 9935025707 (2770608 /sec)
3600.09/3610.80 c inspects : 0 (0 /sec)
3600.09/3610.80 c CPU time (solving tm) : 3586 s (3569 s, SAT 2853 s, UNSAT 0 s)
3600.09/3610.80 c Time for Opt-base : 0.000141 s
3600.09/3610.80 c Steps for Opt-base : 0
3600.09/3610.80 c Time for BDD coding : 0 s
3600.09/3610.80 c Time for srt coding : 0.000803 s
3600.09/3610.80 c _____________________________________________________________________________
3600.09/3610.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 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
3600.09/3610.80 v
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 (25436 MiB free)
memory of node 1: 64507 MiB (56340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525745-1751624755/watcher-4525745-1751624755 -o /tmp/evaluation-result-4525745-1751624755/solver-4525745-1751624755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94634 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525745-1751624755.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=95593, runsolver pid=95590
[startup+0.100063 s]*
/proc/loadavg: 4.16 4.14 4.10 5/269 95597
/proc/meminfo: memFree=83739528/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=14032 memory=11916 CPUtime=0.08 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 2867 0 0 0 8 0 0 0 20 0 1 0 78155787 14368768 2979 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 3508 2979 544 696 0 2669 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18224 KiB
Current children cumulated memory: 14860 KiB
[startup+0.205763 s]*
/proc/loadavg: 4.16 4.14 4.10 6/269 95597
/proc/meminfo: memFree=83734020/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=24340 memory=21820 CPUtime=0.18 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 5733 0 0 0 18 0 0 0 20 0 1 0 78155787 24924160 5455 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 6085 5455 544 696 0 5246 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 28532 KiB
Current children cumulated memory: 24764 KiB
[startup+0.305655 s]*
/proc/loadavg: 4.16 4.14 4.10 5/269 95597
/proc/meminfo: memFree=83727972/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=30156 memory=28092 CPUtime=0.29 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 7283 0 0 0 28 1 0 0 20 0 1 0 78155787 30879744 7023 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 7539 7023 544 696 0 6700 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 34348 KiB
Current children cumulated memory: 31036 KiB
[startup+0.70024 s]
/proc/loadavg: 4.16 4.14 4.10 6/269 95597
/proc/meminfo: memFree=83704032/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=76968 memory=74232 CPUtime=0.68 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 17040 0 0 0 65 3 0 0 20 0 1 0 78155787 78815232 18558 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 19242 18558 544 696 0 18403 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81160 KiB
Current children cumulated memory: 77176 KiB
[startup+1.50023 s]
/proc/loadavg: 4.16 4.14 4.10 5/269 95597
/proc/meminfo: memFree=82951228/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=153200 memory=149236 CPUtime=1.47 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 33240 0 0 0 142 5 0 0 20 0 1 0 78155787 156876800 37309 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 38300 37309 544 696 0 37461 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 157392 KiB
Current children cumulated memory: 152180 KiB
[startup+3.10555 s]
/proc/loadavg: 4.16 4.14 4.10 5/268 95597
/proc/meminfo: memFree=82647276/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=285876 memory=281840 CPUtime=3.07 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 63008 0 0 0 296 11 0 0 20 0 1 0 78155787 292737024 70460 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 71469 70460 576 696 0 70630 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 290068 KiB
Current children cumulated memory: 284784 KiB
[startup+6.30023 s]
/proc/loadavg: 4.15 4.14 4.10 5/268 95597
/proc/meminfo: memFree=81858524/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1258412 memory=1224352 CPUtime=6.26 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 218524 0 0 0 580 46 0 0 20 0 1 0 78155787 1288613888 306088 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 314603 306088 576 696 0 313764 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1262604 KiB
Current children cumulated memory: 1227296 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 95597
/proc/meminfo: memFree=83072636/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1537288 memory=1489212 CPUtime=12.64 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 275587 0 0 0 1209 55 0 0 20 0 1 0 78155787 1574182912 372303 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 384322 372303 608 696 0 383483 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1541480 KiB
Current children cumulated memory: 1492156 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.14 4.10 5/268 95597
/proc/meminfo: memFree=84299652/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1900584 memory=1816736 CPUtime=25.41 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 284144 0 0 0 2462 79 0 0 20 0 1 0 78155787 1946198016 454184 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 475146 454184 608 696 0 474307 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1904776 KiB
Current children cumulated memory: 1819680 KiB
[startup+51.1058 s]
/proc/loadavg: 4.27 4.17 4.11 5/268 95598
/proc/meminfo: memFree=88245924/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=2225276 memory=2141816 CPUtime=50.92 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 299577 0 0 0 4973 119 0 0 20 0 1 0 78155787 2278682624 535454 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 556319 535454 640 696 0 555480 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 2229468 KiB
Current children cumulated memory: 2144760 KiB
[startup+102.3 s]
/proc/loadavg: 4.33 4.21 4.13 5/268 95599
/proc/meminfo: memFree=89576376/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1934612 memory=1851396 CPUtime=101.96 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 329594 0 0 0 9983 213 0 0 20 0 1 0 78155787 1981042688 462849 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 483653 462849 640 696 0 482814 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1938804 KiB
Current children cumulated memory: 1854340 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.12 5/268 95601
/proc/meminfo: memFree=89935812/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1936436 memory=1853304 CPUtime=161.77 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 357488 0 0 0 15866 311 0 0 20 0 1 0 78155787 1982910464 463326 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 484109 463326 640 696 0 483270 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1940628 KiB
Current children cumulated memory: 1856248 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.16 4.12 5/268 95603
/proc/meminfo: memFree=87416792/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1939004 memory=1855976 CPUtime=221.59 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 371259 0 0 0 21793 366 0 0 20 0 1 0 78155787 1985540096 463994 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 484751 463994 640 696 0 483912 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/95597/statm: 489517 469409 640 696 0 488678 0
Current children cumulated CPU time: 3033.29 s
Current children cumulated vsize: 1962260 KiB
Current children cumulated memory: 1880580 KiB
[startup+3102.3 s]
/proc/loadavg: 1.12 2.33 3.34 2/245 95839
/proc/meminfo: memFree=127184200/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1958736 memory=1874304 CPUtime=3093.1 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 622363 0 0 0 308008 1302 0 0 20 0 1 0 78155787 2005745664 468576 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 489684 468576 640 696 0 488845 0
Current children cumulated CPU time: 3093.1 s
Current children cumulated vsize: 1962928 KiB
Current children cumulated memory: 1877248 KiB
[startup+3162.3 s]
/proc/loadavg: 1.08 2.10 3.20 2/245 95841
/proc/meminfo: memFree=127189504/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1953356 memory=1868924 CPUtime=3152.93 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 624668 0 0 0 313980 1313 0 0 20 0 1 0 78155787 2000236544 467231 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 488339 467231 640 696 0 487500 0
Current children cumulated CPU time: 3152.93 s
Current children cumulated vsize: 1957548 KiB
Current children cumulated memory: 1871868 KiB
[startup+3222.3 s]
/proc/loadavg: 1.06 1.91 3.06 2/245 95843
/proc/meminfo: memFree=127119504/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=2023264 memory=1944976 CPUtime=3212.74 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 637144 0 0 0 319929 1345 0 0 20 0 1 0 78155787 2071822336 486244 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 505816 486244 640 696 0 504977 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 2027456 KiB
Current children cumulated memory: 1947920 KiB
[startup+3282.3 s]
/proc/loadavg: 1.07 1.76 2.93 2/245 95845
/proc/meminfo: memFree=127172468/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1972564 memory=1886560 CPUtime=3272.55 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 644541 0 0 0 325886 1369 0 0 20 0 1 0 78155787 2019905536 471640 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 493141 471640 640 696 0 492302 0
Current children cumulated CPU time: 3272.55 s
Current children cumulated vsize: 1976756 KiB
Current children cumulated memory: 1889504 KiB
[startup+3342.3 s]
/proc/loadavg: 1.24 1.69 2.84 2/247 95850
/proc/meminfo: memFree=127150228/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1972564 memory=1886560 CPUtime=3332.37 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 645049 0 0 0 331868 1369 0 0 20 0 1 0 78155787 2019905536 471640 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 493141 471640 640 696 0 492302 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 1976756 KiB
Current children cumulated memory: 1889504 KiB
[startup+3402.3 s]
/proc/loadavg: 1.14 1.58 2.72 2/247 95852
/proc/meminfo: memFree=127139832/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1979776 memory=1894412 CPUtime=3392.21 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 647067 0 0 0 337844 1377 0 0 20 0 1 0 78155787 2027290624 473603 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 494944 473603 640 696 0 494105 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 1983968 KiB
Current children cumulated memory: 1897356 KiB
[startup+3462.3 s]
/proc/loadavg: 1.13 1.49 2.62 2/247 95854
/proc/meminfo: memFree=127057784/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=2057584 memory=1978364 CPUtime=3452.02 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 656478 0 0 0 343801 1401 0 0 20 0 1 0 78155787 2106966016 494591 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 514396 494591 640 696 0 513557 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 2061776 KiB
Current children cumulated memory: 1981308 KiB
[startup+3522.3 s]
/proc/loadavg: 1.11 1.41 2.52 2/248 95857
/proc/meminfo: memFree=127121336/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=2005260 memory=1915776 CPUtime=3511.83 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 660892 0 0 0 349770 1413 0 0 20 0 1 0 78155787 2053386240 478944 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 501315 478944 640 696 0 500476 0
Current children cumulated CPU time: 3511.83 s
Current children cumulated vsize: 2009452 KiB
Current children cumulated memory: 1918720 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.35 2.43 2/248 95859
/proc/meminfo: memFree=127145836/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1975272 memory=1891684 CPUtime=3571.66 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 663663 0 0 0 355743 1423 0 0 20 0 1 0 78155787 2022678528 472921 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 493818 472921 640 696 0 492979 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 1979464 KiB
Current children cumulated memory: 1894628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.8 s]
/proc/loadavg: 1.11 1.33 2.39 2/246 95860
/proc/meminfo: memFree=127144776/131250000 swapFree=33008100/33010684
[pid=95593] ppid=95590 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/95593/stat : 95593 (naps-1.03a6.sh) S 95590 95593 94621 0 -1 4194304 229 205 0 0 0 0 0 0 20 0 1 0 78155785 4292608 736 18446744073709551615 93918361481216 93918362375749 140731117729504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93918362614800 93918362662544 93918378049536 140731117734309 140731117734403 140731117734403 140731117740007 0
/proc/95593/statm: 1048 736 672 219 0 110 0
[pid=95597] ppid=95593 vsize=1975272 memory=1891812 CPUtime=3600.09 cores=5,7
/proc/95597/stat : 95597 (naps-1.03a6) R 95593 95593 94621 0 -1 4194304 664006 0 0 0 358586 1423 0 0 20 0 1 0 78155787 2022678528 472953 18446744073709551615 4198400 7047149 140722341653072 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 26791936 140722341656946 140722341657060 140722341657060 140722341662665 0
/proc/95597/statm: 493818 472953 640 696 0 492979 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1979464 KiB
Current children cumulated memory: 1894756 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.8 s]
# the end of solver process 95593 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000408 s, system=0.004261 s
Sleeping 2 seconds
[startup+3610.81 s]
# the end of solver process 95597 was just reported to runsolver
# Child status: 10
# cumulated CPU time of all completed processes: user=3585.87 s, system=14.2481 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 3610.81
CPU time (s): 3600.12
CPU user time (s): 3585.87
CPU system time (s): 14.2481
CPU usage (%): 99.7039
Max. virtual memory (cumulated for all children) (KiB): 2470996
Max. memory (cumulated for all children) (KiB): 2385120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.87
system time used= 14.2481
maximum resident set size= 2382176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664442
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= 462
involuntary context switches= 2029
# summary of solver processes directly reported to runsolver:
# pid: 95593,95597
# total CPU time (s): 3600.12
# total CPU user time (s): 3585.87
# total CPU system time (s): 14.2481
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57397 second user time and 16.7956 second system time
The end
Begin job on nodeC013 at 2025-07-04 12:25:55
IDJOB=4525745
IDBENCH=143884
IDSOLVER=3377
FILE ID=nodeC013/4525745-1751624755
RUNJOBID= nodeC013-1751616753-94634
SLURM_JOB_ID= 9598924
Free space on /tmp= 432128 MiB
SOLVER NAME= NaPS naps-1.03a6
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar7-sub1_wcsp.wbo
COMMAND LINE= ./naps-1.03a6.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525745-1751624755/watcher-4525745-1751624755 -o /tmp/evaluation-result-4525745-1751624755/solver-4525745-1751624755 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751616753-94634 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4525745-1751624755.wbo
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= daf2f1ed087a94b78160429ad112bf14
RANDOM SEED=1751253346
nodeC013 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.852
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.67
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 : 3599.477
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.67
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 : 3598.864
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.67
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 : 3593.236
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.67
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 : 3599.835
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.67
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.818
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.67
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.828
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.67
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 : 3593.759
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 83726840 kB
MemAvailable: 84533368 kB
Buffers: 1668 kB
Cached: 1600012 kB
SwapCached: 1884 kB
Active: 45377580 kB
Inactive: 1235620 kB
Active(anon): 45005284 kB
Inactive(anon): 17628 kB
Active(file): 372296 kB
Inactive(file): 1217992 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33008100 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 12708 kB
Writeback: 52 kB
AnonPages: 45011912 kB
Mapped: 107760 kB
Shmem: 11392 kB
KReclaimable: 110556 kB
Slab: 200612 kB
SReclaimable: 110556 kB
SUnreclaim: 90056 kB
KernelStack: 4304 kB
PageTables: 91272 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 49546724 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26327040 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: 215764 kB
DirectMap2M: 8992768 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432240 MiB
End job on nodeC013 at 2025-07-04 13:26:06