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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463365-1722352268/watcher-4463365-1722352268 -o /tmp/evaluation-result-4463365-1722352268/solver-4463365-1722352268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722352256-13663 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463365-1722352268.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 Starting watchdog threadmit, stack expansion wi

Linux Starting watchdog threadmit, stack expansion wi

Current StackSize limit: 8192 KiB

solver pid=13888, runsolver pid=13885

[startup+0.100458 s]*
/proc/loadavg: 1.64 1.98 2.68 5/252 13893
/proc/meminfo: memFree=116741036/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=17556 memory=15864 CPUtime=0.1 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 3944 0 0 0 9 1 0 0 20 0 1 0 1598186 17977344 3966 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 4389 3966 612 659 0 3593 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27488 KiB
Current children cumulated memory: 18552 KiB

[startup+0.213644 s]*
/proc/loadavg: 1.64 1.98 2.68 5/252 13893
/proc/meminfo: memFree=116606240/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=24780 memory=22892 CPUtime=0.21 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 5866 0 0 0 20 1 0 0 20 0 1 0 1598186 25374720 5723 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 6195 5723 644 659 0 5399 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 34712 KiB
Current children cumulated memory: 25580 KiB

[startup+0.313793 s]*
/proc/loadavg: 1.64 1.98 2.68 5/252 13893
/proc/meminfo: memFree=116515648/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=25352 memory=23508 CPUtime=0.3 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 7555 0 0 0 29 1 0 0 20 0 1 0 1598186 25960448 5877 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 6338 5877 660 659 0 5542 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35284 KiB
Current children cumulated memory: 26196 KiB

[startup+0.700462 s]
/proc/loadavg: 1.64 1.98 2.68 5/252 13893
/proc/meminfo: memFree=116486572/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=31728 memory=28768 CPUtime=0.68 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 9351 0 0 0 66 2 0 0 20 0 1 0 1598186 32489472 7192 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 7932 7192 660 659 0 7136 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 31456 KiB

[startup+1.50046 s]
/proc/loadavg: 1.64 1.98 2.68 5/252 13893
/proc/meminfo: memFree=116456360/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=34540 memory=32204 CPUtime=1.48 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 9935 0 0 0 146 2 0 0 20 0 1 0 1598186 35368960 8051 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 8635 8051 660 659 0 7839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 34892 KiB

[startup+3.11324 s]
/proc/loadavg: 1.83 2.01 2.69 5/252 13893
/proc/meminfo: memFree=116333348/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=34540 memory=32352 CPUtime=3.08 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 10185 0 0 0 306 2 0 0 20 0 1 0 1598186 35368960 8088 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 8635 8088 660 659 0 7839 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 35040 KiB

[startup+6.30042 s]
/proc/loadavg: 1.83 2.01 2.69 5/252 13894
/proc/meminfo: memFree=116270240/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=34540 memory=32352 CPUtime=6.26 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 10195 0 0 0 624 2 0 0 20 0 1 0 1598186 35368960 8088 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 8635 8088 660 659 0 7839 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 35040 KiB

[startup+12.7004 s]
/proc/loadavg: 2.17 2.08 2.70 5/252 13894
/proc/meminfo: memFree=116175668/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=42032 memory=39752 CPUtime=12.65 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 11140 0 0 0 1262 3 0 0 20 0 1 0 1598186 43040768 9938 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 10508 9938 660 659 0 9712 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 51964 KiB
Current children cumulated memory: 42440 KiB

[startup+25.5004 s]
/proc/loadavg: 2.45 2.14 2.72 5/252 13897
/proc/meminfo: memFree=113790200/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=38240 memory=35888 CPUtime=25.42 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 11315 0 0 0 2539 3 0 0 20 0 1 0 1598186 39157760 8972 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 9560 8972 660 659 0 8764 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 48172 KiB
Current children cumulated memory: 38576 KiB

[startup+51.1131 s]
/proc/loadavg: 2.98 2.29 2.75 5/252 13951
/proc/meminfo: memFree=111421728/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=54164 memory=51828 CPUtime=50.96 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 16817 0 0 0 5090 6 0 0 20 0 1 0 1598186 55463936 12957 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 13541 12957 660 659 0 12745 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 64096 KiB
Current children cumulated memory: 54516 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.60 2.83 5/252 14009
/proc/meminfo: memFree=111932328/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=58096 memory=55692 CPUtime=102 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 18573 0 0 0 10193 7 0 0 20 0 1 0 1598186 59490304 13923 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 14524 13923 660 659 0 13728 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 68028 KiB
Current children cumulated memory: 58380 KiB

[startup+162.3 s]
/proc/loadavg: 3.99 2.89 2.92 5/249 14019
/proc/meminfo: memFree=109340032/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=64736 memory=63712 CPUtime=161.83 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 20366 0 0 0 16176 7 0 0 20 0 1 0 1598186 66289664 15928 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 16184 15928 660 659 0 15388 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 74668 KiB
Current children cumulated memory: 66400 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.11 3.00 5/249 14030
/proc/meminfo: memFree=99976720/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=65000 memory=63872 CPUtime=221.7 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 20458 0 0 0 22163 7 0 0 20 0 1 0 1598186 66560000 15968 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 16250 15968 660 659 0 15454 0

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

/proc/loadavg: 4.07 4.11 4.09 5/250 15842
/proc/meminfo: memFree=103703836/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=195012 memory=193908 CPUtime=3095.05 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 106290 0 0 0 309418 87 0 0 20 0 1 0 1598186 199692288 48477 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 48753 48477 660 659 0 47957 0
Current children cumulated CPU time: 3095.05 s
Current children cumulated vsize: 204944 KiB
Current children cumulated memory: 196596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/248 15852
/proc/meminfo: memFree=103753664/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=140900 memory=140032 CPUtime=3154.9 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 107579 0 0 0 315402 88 0 0 20 0 1 0 1598186 144281600 35008 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 35225 35008 660 659 0 34429 0
Current children cumulated CPU time: 3154.9 s
Current children cumulated vsize: 150832 KiB
Current children cumulated memory: 142720 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/248 15862
/proc/meminfo: memFree=103752536/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=144780 memory=142100 CPUtime=3214.76 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 111896 0 0 0 321383 93 0 0 20 0 1 0 1598186 148254720 35525 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 36195 35525 660 659 0 35399 0
Current children cumulated CPU time: 3214.76 s
Current children cumulated vsize: 154712 KiB
Current children cumulated memory: 144788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/245 15873
/proc/meminfo: memFree=103770948/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=140128 memory=137880 CPUtime=3274.62 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 114930 0 0 0 327365 97 0 0 20 0 1 0 1598186 143491072 34470 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 35032 34470 660 659 0 34236 0
Current children cumulated CPU time: 3274.62 s
Current children cumulated vsize: 150060 KiB
Current children cumulated memory: 140568 KiB

[startup+3342.3 s]
/proc/loadavg: 4.25 4.15 4.10 5/245 15884
/proc/meminfo: memFree=103730696/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=166900 memory=164692 CPUtime=3334.48 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 118286 0 0 0 333348 100 0 0 20 0 1 0 1598186 170905600 41173 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 41725 41173 660 659 0 40929 0
Current children cumulated CPU time: 3334.48 s
Current children cumulated vsize: 176832 KiB
Current children cumulated memory: 167380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.90 4.35 4.18 5/245 15894
/proc/meminfo: memFree=101983804/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=169764 memory=168768 CPUtime=3394.34 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 119312 0 0 0 339333 101 0 0 20 0 1 0 1598186 173838336 42192 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 42441 42192 660 659 0 41645 0
Current children cumulated CPU time: 3394.34 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 171456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.38 4.30 4.17 5/245 15904
/proc/meminfo: memFree=103707736/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=192200 memory=191200 CPUtime=3454.2 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 119876 0 0 0 345319 101 0 0 20 0 1 0 1598186 196812800 47800 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 48050 47800 660 659 0 47254 0
Current children cumulated CPU time: 3454.2 s
Current children cumulated vsize: 202132 KiB
Current children cumulated memory: 193888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.58 4.36 4.20 5/245 15916
/proc/meminfo: memFree=102382520/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=185172 memory=184176 CPUtime=3514.07 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 120966 0 0 0 351304 103 0 0 20 0 1 0 1598186 189616128 46044 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 46293 46044 660 659 0 45497 0
Current children cumulated CPU time: 3514.07 s
Current children cumulated vsize: 195104 KiB
Current children cumulated memory: 186864 KiB

[startup+3582.3 s]
/proc/loadavg: 4.56 4.41 4.23 5/248 15931
/proc/meminfo: memFree=103704768/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=185172 memory=184284 CPUtime=3573.94 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 121079 0 0 0 357291 103 0 0 20 0 1 0 1598186 189616128 46071 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 46293 46071 660 659 0 45497 0
Current children cumulated CPU time: 3573.94 s
Current children cumulated vsize: 195104 KiB
Current children cumulated memory: 186972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.41 4.39 4.22 5/248 15937
/proc/meminfo: memFree=103720052/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=165492 memory=163272 CPUtime=3600.08 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 122871 0 0 0 359902 106 0 0 20 0 1 0 1598186 169463808 40818 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 41373 40818 660 659 0 40577 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 175424 KiB
Current children cumulated memory: 165960 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.03 s, system=1.06453 s

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

[startup+3608.5 s]
/proc/loadavg: 4.41 4.39 4.22 5/248 15937
/proc/meminfo: memFree=103720052/131655788 swapFree=131071216/131071996
[pid=13888] ppid=13885 vsize=9932 memory=2688 CPUtime=0 cores=4,6
/proc/13888/stat : 13888 (naps-1.03.sh) S 13885 13888 13652 0 -1 4194304 222 234 0 0 0 0 0 0 20 0 1 0 1598186 10170368 672 134679101440 94098963877888 94098964957208 140733489608032 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94098967055664 94098967102852 94098996674560 140733489615843 140733489615968 140733489615968 140733489622984 0
/proc/13888/statm: 2483 672 593 264 0 134 0
[pid=13893] ppid=13888 vsize=165492 memory=163272 CPUtime=3600.08 cores=4,6
/proc/13893/stat : 13893 (naps-1.03a2) R 13888 13888 13652 0 -1 4194304 122871 0 0 0 359902 106 0 0 20 0 1 0 1598186 169463808 40818 134679101440 4194304 6891597 140721583778080 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25448448 140721583780846 140721583780960 140721583780960 140721583787977 0
/proc/13893/statm: 41373 40818 660 659 0 40577 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 175424 KiB
Current children cumulated memory: 165960 KiB

Child status: 10

Real time (s): 3608.5
CPU time (s): 3600.09
CPU user time (s): 3599.03
CPU system time (s): 1.06453
CPU usage (%): 99.7669
Max. virtual memory (cumulated for all children) (KiB): 262028
Max. memory (cumulated for all children) (KiB): 253580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.03
system time used= 1.06453
maximum resident set size= 250892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123341
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= 30
involuntary context switches= 2025


# summary of solver processes directly reported to runsolver:
#   pid: 13888
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.03
#   total CPU system time (s): 1.06453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9804 second user time and 36.7148 second system time

The end