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: 63968 MiB (63493 MiB free)
  memory of node 1: 64473 MiB (63014 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463367-1722352285/watcher-4463367-1722352285 -o /tmp/evaluation-result-4463367-1722352285/solver-4463367-1722352285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722352283-14555 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463367-1722352285.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14778, runsolver pid=14775

[startup+0.100097 s]*
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129516544/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=31536 memory=28928 CPUtime=0.09 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 7158 0 0 0 9 0 0 0 20 0 1 0 1830408 32292864 7232 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 7884 7232 612 659 0 7088 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41468 KiB
Current children cumulated memory: 31512 KiB

[startup+0.205812 s]*
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129489848/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=36304 memory=33800 CPUtime=0.2 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 8401 0 0 0 19 1 0 0 20 0 1 0 1830408 37175296 8450 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 9076 8450 644 659 0 8280 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46236 KiB
Current children cumulated memory: 36384 KiB

[startup+0.305806 s]*
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129493572/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=38160 memory=35572 CPUtime=0.29 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 11823 0 0 0 28 1 0 0 20 0 1 0 1830408 39075840 8893 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 9540 8893 644 659 0 8744 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 48092 KiB
Current children cumulated memory: 38156 KiB

[startup+0.700269 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129485532/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=55180 memory=50980 CPUtime=0.69 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 15121 0 0 0 67 2 0 0 20 0 1 0 1830408 56504320 12745 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 13795 12745 660 659 0 12999 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65112 KiB
Current children cumulated memory: 53564 KiB

[startup+1.50026 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129465596/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=64092 memory=57840 CPUtime=1.49 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 18235 0 0 0 146 3 0 0 20 0 1 0 1830408 65630208 14460 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 16023 14460 660 659 0 15227 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 74024 KiB
Current children cumulated memory: 60424 KiB

[startup+3.10556 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14785
/proc/meminfo: memFree=129445420/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=76236 memory=65756 CPUtime=3.08 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 19165 0 0 0 305 3 0 0 20 0 1 0 1830408 78065664 16439 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 19059 16439 660 659 0 18263 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 68340 KiB

[startup+6.30024 s]
/proc/loadavg: 1.55 1.58 2.66 5/259 14785
/proc/meminfo: memFree=129439028/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=76236 memory=65756 CPUtime=6.27 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 19165 0 0 0 624 3 0 0 20 0 1 0 1830408 78065664 16439 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 19059 16439 660 659 0 18263 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 68340 KiB

[startup+12.7002 s]
/proc/loadavg: 1.75 1.62 2.66 5/259 14785
/proc/meminfo: memFree=129446092/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=76236 memory=65756 CPUtime=12.66 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 19168 0 0 0 1263 3 0 0 20 0 1 0 1830408 78065664 16439 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 19059 16439 660 659 0 18263 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 68340 KiB

[startup+25.5002 s]
/proc/loadavg: 2.31 1.76 2.69 5/258 14788
/proc/meminfo: memFree=129405060/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=76236 memory=65996 CPUtime=25.43 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 19280 0 0 0 2540 3 0 0 20 0 1 0 1830408 78065664 16499 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 19059 16499 660 659 0 18263 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 86168 KiB
Current children cumulated memory: 68580 KiB

[startup+51.1056 s]
/proc/loadavg: 3.06 1.99 2.74 5/258 14791
/proc/meminfo: memFree=129336540/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=84692 memory=74440 CPUtime=50.97 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 19352 0 0 0 5094 3 0 0 20 0 1 0 1830408 86724608 18610 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 21173 18610 660 659 0 20377 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 94624 KiB
Current children cumulated memory: 77024 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.31 2.82 5/258 14799
/proc/meminfo: memFree=129233204/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=97320 memory=87228 CPUtime=102.04 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 22150 0 0 0 10199 5 0 0 20 0 1 0 1830408 99655680 21807 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 24330 21807 660 659 0 23534 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 107252 KiB
Current children cumulated memory: 89812 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.65 2.90 5/258 14809
/proc/meminfo: memFree=129247328/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=97344 memory=87192 CPUtime=161.9 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 23886 0 0 0 16184 6 0 0 20 0 1 0 1830408 99680256 21798 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 24336 21798 660 659 0 23540 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 107276 KiB
Current children cumulated memory: 89776 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.91 2.98 5/258 14820
/proc/meminfo: memFree=129192100/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=104648 memory=94448 CPUtime=221.76 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 25216 0 0 0 22170 6 0 0 20 0 1 0 1830408 107159552 23612 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 26162 23612 660 659 0 25366 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 114580 KiB

################
# More data... #
################

/proc/loadavg: 4.29 4.25 4.14 5/260 16521
/proc/meminfo: memFree=128559300/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=178480 memory=169236 CPUtime=3094.24 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 123287 0 0 0 309280 144 0 0 20 0 1 0 1830408 182763520 42309 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 44620 42309 660 659 0 43824 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 171820 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.23 4.14 5/258 16531
/proc/meminfo: memFree=128625312/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=178480 memory=169236 CPUtime=3154.08 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 124816 0 0 0 315262 146 0 0 20 0 1 0 1830408 182763520 42309 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 44620 42309 660 659 0 43824 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 171820 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/259 16543
/proc/meminfo: memFree=128574392/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=178480 memory=169236 CPUtime=3213.9 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 125895 0 0 0 321243 147 0 0 20 0 1 0 1830408 182763520 42309 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 44620 42309 660 659 0 43824 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 188412 KiB
Current children cumulated memory: 171820 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.19 4.13 5/256 16553
/proc/meminfo: memFree=128530376/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=218400 memory=208008 CPUtime=3273.74 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 127401 0 0 0 327223 151 0 0 20 0 1 0 1830408 223641600 52002 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 54600 52002 660 659 0 53804 0
Current children cumulated CPU time: 3273.74 s
Current children cumulated vsize: 228332 KiB
Current children cumulated memory: 210592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/256 16563
/proc/meminfo: memFree=128525528/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=219248 memory=208856 CPUtime=3333.58 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 129468 0 0 0 333203 155 0 0 20 0 1 0 1830408 224509952 52214 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 54812 52214 660 659 0 54016 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 229180 KiB
Current children cumulated memory: 211440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.16 4.13 5/256 16575
/proc/meminfo: memFree=128490240/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=221272 memory=210880 CPUtime=3393.41 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 131809 0 0 0 339182 159 0 0 20 0 1 0 1830408 226582528 52720 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 55318 52720 660 659 0 54522 0
Current children cumulated CPU time: 3393.41 s
Current children cumulated vsize: 231204 KiB
Current children cumulated memory: 213464 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/256 16585
/proc/meminfo: memFree=128551580/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=221808 memory=211416 CPUtime=3453.24 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 133866 0 0 0 345161 163 0 0 20 0 1 0 1830408 227131392 52854 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 55452 52854 660 659 0 54656 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 231740 KiB
Current children cumulated memory: 214000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/255 16597
/proc/meminfo: memFree=128543396/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=219164 memory=208772 CPUtime=3513.08 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 136540 0 0 0 351140 168 0 0 20 0 1 0 1830408 224423936 52193 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 54791 52193 660 659 0 53995 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 229096 KiB
Current children cumulated memory: 211356 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.12 5/257 16610
/proc/meminfo: memFree=128560248/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=223024 memory=212632 CPUtime=3572.91 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 138620 0 0 0 357118 173 0 0 20 0 1 0 1830408 228376576 53158 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 55756 53158 660 659 0 54960 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 232956 KiB
Current children cumulated memory: 215216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.12 4.14 4.12 3/241 16678
/proc/meminfo: memFree=129218520/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=220316 memory=209924 CPUtime=3600.04 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 139402 0 0 0 359829 175 0 0 20 0 1 0 1830408 225603584 52481 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 55079 52481 660 659 0 54283 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 230248 KiB
Current children cumulated memory: 212508 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.5 s]
# the end of solver process 14778 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.3 s, system=1.75578 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.5 s]
/proc/loadavg: 4.12 4.14 4.12 3/241 16678
/proc/meminfo: memFree=129218520/131524600 swapFree=131071996/131071996
[pid=14778] ppid=14775 vsize=9932 memory=2584 CPUtime=0 cores=4,6
/proc/14778/stat : 14778 (naps-1.03.sh) S 14775 14778 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830407 10170368 646 134679101440 94822082998272 94822084077592 140722674013888 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94822086176048 94822086223236 94822109900800 140722674021351 140722674021476 140722674021476 140722674028488 0
/proc/14778/statm: 2483 646 566 264 0 134 0
[pid=14783] ppid=14778 vsize=220316 memory=209924 CPUtime=3600.04 cores=4,6
/proc/14783/stat : 14783 (naps-1.03a2) R 14778 14778 14544 0 -1 4194304 139402 0 0 0 359829 175 0 0 20 0 1 0 1830408 225603584 52481 134679101440 4194304 6891597 140731915312448 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 23896064 140731915314162 140731915314276 140731915314276 140731915321289 0
/proc/14783/statm: 55079 52481 660 659 0 54283 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 230248 KiB
Current children cumulated memory: 212508 KiB

Child status: 10

Real time (s): 3609.5
CPU time (s): 3600.05
CPU user time (s): 3598.3
CPU system time (s): 1.75578
CPU usage (%): 99.7382
Max. virtual memory (cumulated for all children) (KiB): 342940
Max. memory (cumulated for all children) (KiB): 320504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.3
system time used= 1.75578
maximum resident set size= 322524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139878
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= 36
involuntary context switches= 1714


# summary of solver processes directly reported to runsolver:
#   pid: 14778
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3598.3
#   total CPU system time (s): 1.75578

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96901 second user time and 18.847 second system time

The end