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: 64096 MiB (38007 MiB free)
  memory of node 1: 64473 MiB (30258 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463579-1722353285/watcher-4463579-1722353285 -o /tmp/evaluation-result-4463579-1722353285/solver-4463579-1722353285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722352761-13890 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463579-1722353285.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=15023, runsolver pid=15020

[startup+0.100106 s]*
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69897324/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=10700 memory=9360 CPUtime=0.09 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2019 0 0 0 9 0 0 0 20 0 1 0 1925544 10956800 2340 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 2675 2340 612 659 0 1879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20632 KiB
Current children cumulated memory: 12032 KiB

[startup+0.213256 s]*
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69896976/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=10968 memory=9624 CPUtime=0.21 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2077 0 0 0 21 0 0 0 20 0 1 0 1925544 11231232 2406 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 2742 2406 612 659 0 1946 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 20900 KiB
Current children cumulated memory: 12296 KiB

[startup+0.313208 s]*
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69892524/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=11232 memory=9888 CPUtime=0.31 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2129 0 0 0 31 0 0 0 20 0 1 0 1925544 11501568 2472 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 2808 2472 612 659 0 2012 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 21164 KiB
Current children cumulated memory: 12560 KiB

[startup+0.70045 s]
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69887756/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=11976 memory=10416 CPUtime=0.68 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2264 0 0 0 68 0 0 0 20 0 1 0 1925544 12263424 2604 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 2994 2604 612 659 0 2198 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 21908 KiB
Current children cumulated memory: 13088 KiB

[startup+1.50043 s]
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69875440/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=12240 memory=10680 CPUtime=1.48 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2327 0 0 0 148 0 0 0 20 0 1 0 1925544 12533760 2670 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 3060 2670 612 659 0 2264 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22172 KiB
Current children cumulated memory: 13352 KiB

[startup+3.11305 s]
/proc/loadavg: 4.08 3.64 3.01 5/251 15028
/proc/meminfo: memFree=69813356/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=12688 memory=10944 CPUtime=3.09 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2435 0 0 0 309 0 0 0 20 0 1 0 1925544 12992512 2736 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 3172 2736 612 659 0 2376 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 22620 KiB
Current children cumulated memory: 13616 KiB

[startup+6.3004 s]
/proc/loadavg: 4.15 3.66 3.02 5/251 15028
/proc/meminfo: memFree=69321620/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=13488 memory=11736 CPUtime=6.27 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2630 0 0 0 627 0 0 0 20 0 1 0 1925544 13811712 2934 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 3372 2934 612 659 0 2576 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23420 KiB
Current children cumulated memory: 14408 KiB

[startup+12.7004 s]
/proc/loadavg: 4.22 3.68 3.03 5/251 15030
/proc/meminfo: memFree=68144744/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=13884 memory=12264 CPUtime=12.66 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 2745 0 0 0 1266 0 0 0 20 0 1 0 1925544 14217216 3066 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 3471 3066 612 659 0 2675 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 23816 KiB
Current children cumulated memory: 14936 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 3.70 3.05 5/251 15031
/proc/meminfo: memFree=68409188/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=1723152 memory=1664904 CPUtime=25.44 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 175174 0 0 0 2491 53 0 0 20 0 1 0 1925544 1764507648 416226 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 430788 416226 644 659 0 429992 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 1733084 KiB
Current children cumulated memory: 1667576 KiB

[startup+51.113 s]
/proc/loadavg: 4.11 3.72 3.07 5/251 15036
/proc/meminfo: memFree=66736992/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=3714252 memory=3482628 CPUtime=50.99 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 281827 0 0 0 4938 161 0 0 20 0 1 0 1925544 3803394048 870657 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 928563 870657 660 659 0 927767 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 3724184 KiB
Current children cumulated memory: 3485300 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.78 3.13 5/251 15103
/proc/meminfo: memFree=94042408/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2876552 memory=2646092 CPUtime=102.04 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 306980 0 0 0 9986 218 0 0 20 0 1 0 1925544 2945589248 661523 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 719138 661523 660 659 0 718342 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2886484 KiB
Current children cumulated memory: 2648764 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 3.87 3.20 5/252 15171
/proc/meminfo: memFree=103139992/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2807820 memory=2628096 CPUtime=161.87 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 315829 0 0 0 15935 252 0 0 20 0 1 0 1925544 2875207680 657024 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 701955 657024 660 659 0 701159 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2817752 KiB
Current children cumulated memory: 2630768 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.91 3.26 5/252 15181
/proc/meminfo: memFree=99382040/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2896916 memory=2719240 CPUtime=221.68 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 324697 0 0 0 21882 286 0 0 20 0 1 0 1925544 2966441984 679810 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 724229 679810 660 659 0 723433 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2906848 KiB

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

/proc/15028/statm: 724662 689901 660 659 0 723866 0
Current children cumulated CPU time: 3033.06 s
Current children cumulated vsize: 2908580 KiB
Current children cumulated memory: 2762276 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.26 4.16 5/246 16337
/proc/meminfo: memFree=107585892/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2900944 memory=2761900 CPUtime=3092.87 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 464929 0 0 0 308479 808 0 0 20 0 1 0 1925544 2970566656 690475 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725236 690475 660 659 0 724440 0
Current children cumulated CPU time: 3092.87 s
Current children cumulated vsize: 2910876 KiB
Current children cumulated memory: 2764572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.24 4.16 5/248 16351
/proc/meminfo: memFree=107654056/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2900944 memory=2761900 CPUtime=3152.69 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 465818 0 0 0 314460 809 0 0 20 0 1 0 1925544 2970566656 690475 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725236 690475 660 659 0 724440 0
Current children cumulated CPU time: 3152.69 s
Current children cumulated vsize: 2910876 KiB
Current children cumulated memory: 2764572 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.16 5/248 16361
/proc/meminfo: memFree=107347540/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2903536 memory=2764492 CPUtime=3212.5 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 466651 0 0 0 320436 814 0 0 20 0 1 0 1925544 2973220864 691123 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725884 691123 660 659 0 725088 0
Current children cumulated CPU time: 3212.5 s
Current children cumulated vsize: 2913468 KiB
Current children cumulated memory: 2767164 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/248 16374
/proc/meminfo: memFree=107648932/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2901604 memory=2762560 CPUtime=3272.33 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 469351 0 0 0 326411 822 0 0 20 0 1 0 1925544 2971242496 690640 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725401 690640 660 659 0 724605 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 2911536 KiB
Current children cumulated memory: 2765232 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.18 4.15 5/248 16384
/proc/meminfo: memFree=107344988/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2903308 memory=2764264 CPUtime=3332.15 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 470577 0 0 0 332388 827 0 0 20 0 1 0 1925544 2972987392 691066 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725827 691066 660 659 0 725031 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 2913240 KiB
Current children cumulated memory: 2766936 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.14 4.14 5/247 16394
/proc/meminfo: memFree=107639408/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2903308 memory=2764264 CPUtime=3391.96 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 470976 0 0 0 338369 827 0 0 20 0 1 0 1925544 2972987392 691066 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725827 691066 660 659 0 725031 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 2913240 KiB
Current children cumulated memory: 2766936 KiB

[startup+3462.3 s]
/proc/loadavg: 3.77 4.06 4.11 4/240 16820
/proc/meminfo: memFree=114778600/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2903460 memory=2764428 CPUtime=3451.77 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 471777 0 0 0 344345 832 0 0 20 0 1 0 1925544 2973143040 691107 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725865 691107 660 659 0 725069 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 2913392 KiB
Current children cumulated memory: 2767100 KiB

[startup+3522.3 s]
/proc/loadavg: 3.34 3.88 4.05 4/240 16832
/proc/meminfo: memFree=114778288/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2903448 memory=2764416 CPUtime=3511.6 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 472696 0 0 0 350323 837 0 0 20 0 1 0 1925544 2973130752 691104 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 725862 691104 660 659 0 725066 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 2913380 KiB
Current children cumulated memory: 2767088 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.73 3.98 4/240 16843
/proc/meminfo: memFree=114779708/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2905732 memory=2766700 CPUtime=3571.39 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 473743 0 0 0 356297 842 0 0 20 0 1 0 1925544 2975469568 691675 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 726433 691675 660 659 0 725637 0
Current children cumulated CPU time: 3571.39 s
Current children cumulated vsize: 2915664 KiB
Current children cumulated memory: 2769372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 3.10 3.66 3.95 4/240 16847
/proc/meminfo: memFree=114779480/131655788 swapFree=131071996/131071996
[pid=15023] ppid=15020 vsize=9932 memory=2672 CPUtime=0 cores=4,6
/proc/15023/stat : 15023 (naps-1.03.sh) S 15020 15023 13879 0 -1 4194304 218 239 0 0 0 0 0 0 20 0 1 0 1925543 10170368 668 134679101440 94587861540864 94587862620184 140733066925120 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94587864718640 94587864765828 94587894960128 140733066929123 140733066929248 140733066929248 140733066936264 0
/proc/15023/statm: 2483 668 590 264 0 134 0
[pid=15028] ppid=15023 vsize=2905732 memory=2766700 CPUtime=3600.02 cores=4,6
/proc/15028/stat : 15028 (naps-1.03a2) R 15023 15023 13879 0 -1 4194304 473994 0 0 0 359160 842 0 0 20 0 1 0 1925544 2975469568 691675 134679101440 4194304 6891597 140735073319632 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 28106752 140735073321966 140735073322080 140735073322080 140735073329097 0
/proc/15028/statm: 726433 691675 660 659 0 725637 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2915664 KiB
Current children cumulated memory: 2769372 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.02 s]
# the end of solver process 15023 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.00395 s, system=0.003104 s

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

# cumulated CPU time of all completed processes:  user=3591.61 s, system=8.46925 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): 3611.05
CPU time (s): 3600.08
CPU user time (s): 3591.61
CPU system time (s): 8.46925
CPU usage (%): 99.6961
Max. virtual memory (cumulated for all children) (KiB): 4183184
Max. memory (cumulated for all children) (KiB): 3957588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.61
system time used= 8.46925
maximum resident set size= 3954916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 474451
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= 73
involuntary context switches= 1633


# summary of solver processes directly reported to runsolver:
#   pid: 15023,15028
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.61
#   total CPU system time (s): 8.46925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3567 second user time and 36.3938 second system time

The end