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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463395-1722352416/watcher-4463395-1722352416 -o /tmp/evaluation-result-4463395-1722352416/solver-4463395-1722352416 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722352416-12783 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463395-1722352416.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=12854, runsolver pid=12851
Current StackSize limit: 8192 KiB


[startup+0.100231 s]*
/proc/loadavg: 1.15 1.10 1.34 5/248 12859
/proc/meminfo: memFree=129151044/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=14284 memory=12556 CPUtime=0.1 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 3033 0 0 0 9 1 0 0 20 0 1 0 1612006 14626816 3139 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 3571 3139 596 659 0 2775 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24216 KiB
Current children cumulated memory: 15336 KiB

[startup+0.213847 s]*
/proc/loadavg: 1.15 1.10 1.34 6/248 12859
/proc/meminfo: memFree=129093424/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=30964 memory=28688 CPUtime=0.21 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 7651 0 0 0 19 2 0 0 20 0 1 0 1612006 31707136 7172 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 7741 7172 612 659 0 6945 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40896 KiB
Current children cumulated memory: 31468 KiB

[startup+0.314458 s]*
/proc/loadavg: 1.15 1.10 1.34 6/242 12860
/proc/meminfo: memFree=129070348/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=32312 memory=30392 CPUtime=0.31 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 7996 0 0 0 29 2 0 0 20 0 1 0 1612006 33087488 7598 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 8078 7598 644 659 0 7282 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42244 KiB
Current children cumulated memory: 33172 KiB

[startup+0.700407 s]
/proc/loadavg: 1.15 1.10 1.34 4/242 12867
/proc/meminfo: memFree=129053436/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=39168 memory=36608 CPUtime=0.68 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 9388 0 0 0 65 3 0 0 20 0 1 0 1612006 40108032 9152 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 9792 9152 644 659 0 8996 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49100 KiB
Current children cumulated memory: 39388 KiB

[startup+1.5004 s]
/proc/loadavg: 1.15 1.10 1.34 5/248 12909
/proc/meminfo: memFree=129027876/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=59396 memory=55120 CPUtime=1.47 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 14324 0 0 0 143 4 0 0 20 0 1 0 1612006 60821504 13780 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 14849 13780 660 659 0 14053 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 69328 KiB
Current children cumulated memory: 57900 KiB

[startup+3.11225 s]
/proc/loadavg: 1.15 1.10 1.34 5/248 12909
/proc/meminfo: memFree=128965100/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=57776 memory=53800 CPUtime=3.08 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 16063 0 0 0 302 6 0 0 20 0 1 0 1612006 59162624 13450 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 14444 13450 660 659 0 13648 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 67708 KiB
Current children cumulated memory: 56580 KiB

[startup+6.30035 s]
/proc/loadavg: 1.37 1.15 1.36 5/248 12911
/proc/meminfo: memFree=128991024/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=57776 memory=53800 CPUtime=6.26 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 16066 0 0 0 620 6 0 0 20 0 1 0 1612006 59162624 13450 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 14444 13450 660 659 0 13648 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67708 KiB
Current children cumulated memory: 56580 KiB

[startup+12.7004 s]
/proc/loadavg: 1.59 1.20 1.37 5/248 12911
/proc/meminfo: memFree=128983068/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=57776 memory=53800 CPUtime=12.65 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 16073 0 0 0 1259 6 0 0 20 0 1 0 1612006 59162624 13450 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 14444 13450 660 659 0 13648 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 67708 KiB
Current children cumulated memory: 56580 KiB

[startup+25.5004 s]
/proc/loadavg: 2.19 1.35 1.42 5/248 12914
/proc/meminfo: memFree=128954272/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=66488 memory=62300 CPUtime=25.41 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 17237 0 0 0 2535 6 0 0 20 0 1 0 1612006 68083712 15575 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 16622 15575 660 659 0 15826 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76420 KiB
Current children cumulated memory: 65080 KiB

[startup+51.1129 s]
/proc/loadavg: 2.88 1.58 1.50 5/248 12917
/proc/meminfo: memFree=128929036/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=57288 memory=53348 CPUtime=50.96 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 23094 0 0 0 5086 10 0 0 20 0 1 0 1612006 58662912 13337 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 14322 13337 660 659 0 13526 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 67220 KiB
Current children cumulated memory: 56128 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 1.99 1.64 5/248 12926
/proc/meminfo: memFree=128846300/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=83996 memory=80024 CPUtime=102.01 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 30588 0 0 0 10188 13 0 0 20 0 1 0 1612006 86011904 20006 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 20999 20006 660 659 0 20203 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 93928 KiB
Current children cumulated memory: 82804 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.37 1.80 5/246 12939
/proc/meminfo: memFree=128814636/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=106896 memory=102748 CPUtime=161.85 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 38630 0 0 0 16168 17 0 0 20 0 1 0 1612006 109461504 25687 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 26724 25687 660 659 0 25928 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 116828 KiB
Current children cumulated memory: 105528 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.70 1.95 5/245 12950
/proc/meminfo: memFree=128748336/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=127072 memory=122888 CPUtime=221.69 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 42814 0 0 0 22149 20 0 0 20 0 1 0 1612006 130121728 30722 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 31768 30722 660 659 0 30972 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 137004 KiB

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

/proc/loadavg: 4.08 4.11 4.02 5/246 14673
/proc/meminfo: memFree=127985092/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=255776 memory=252512 CPUtime=3093.99 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 156322 0 0 0 309151 248 0 0 20 0 1 0 1612006 261914624 63128 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 63944 63128 660 659 0 63148 0
Current children cumulated CPU time: 3093.99 s
Current children cumulated vsize: 265708 KiB
Current children cumulated memory: 255292 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.02 5/245 14687
/proc/meminfo: memFree=128102272/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=263288 memory=260024 CPUtime=3153.82 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 159487 0 0 0 315127 255 0 0 20 0 1 0 1612006 269606912 65006 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 65822 65006 660 659 0 65026 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 273220 KiB
Current children cumulated memory: 262804 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.02 5/245 14698
/proc/meminfo: memFree=128082280/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=268416 memory=265152 CPUtime=3213.67 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 161511 0 0 0 321107 260 0 0 20 0 1 0 1612006 274857984 66288 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 67104 66288 660 659 0 66308 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 278348 KiB
Current children cumulated memory: 267932 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.11 4.03 5/245 14708
/proc/meminfo: memFree=127971500/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=270608 memory=267344 CPUtime=3273.51 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 163272 0 0 0 327085 266 0 0 20 0 1 0 1612006 277102592 66836 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 67652 66836 660 659 0 66856 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 280540 KiB
Current children cumulated memory: 270124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.09 4.02 5/245 14720
/proc/meminfo: memFree=127893544/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=257340 memory=254076 CPUtime=3333.35 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 166175 0 0 0 333061 274 0 0 20 0 1 0 1612006 263516160 63519 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64335 63519 660 659 0 63539 0
Current children cumulated CPU time: 3333.35 s
Current children cumulated vsize: 267272 KiB
Current children cumulated memory: 256856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.03 5/245 14731
/proc/meminfo: memFree=127965684/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=259712 memory=256448 CPUtime=3393.18 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 168706 0 0 0 339039 279 0 0 20 0 1 0 1612006 265945088 64112 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64928 64112 660 659 0 64132 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 269644 KiB
Current children cumulated memory: 259228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.03 5/247 14745
/proc/meminfo: memFree=128058240/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=338640 memory=329808 CPUtime=3453.03 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 170814 0 0 0 345017 286 0 0 20 0 1 0 1612006 346767360 82452 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 84660 82452 660 659 0 83864 0
Current children cumulated CPU time: 3453.03 s
Current children cumulated vsize: 348572 KiB
Current children cumulated memory: 332588 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/247 14757
/proc/meminfo: memFree=127968796/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=259416 memory=256152 CPUtime=3512.87 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 173298 0 0 0 350995 292 0 0 20 0 1 0 1612006 265641984 64038 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64854 64038 660 659 0 64058 0
Current children cumulated CPU time: 3512.87 s
Current children cumulated vsize: 269348 KiB
Current children cumulated memory: 258932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/247 14769
/proc/meminfo: memFree=128097216/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=258824 memory=255560 CPUtime=3572.71 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 176343 0 0 0 356969 302 0 0 20 0 1 0 1612006 265035776 63890 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64706 63890 660 659 0 63910 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 268756 KiB
Current children cumulated memory: 258340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.16 4.12 4.04 4/241 14783
/proc/meminfo: memFree=128494348/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=256968 memory=253704 CPUtime=3600.03 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 177257 0 0 0 359699 304 0 0 20 0 1 0 1612006 263135232 63426 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64242 63426 660 659 0 63446 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 266900 KiB
Current children cumulated memory: 256484 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597 s, system=3.05351 s

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

[startup+3609.7 s]
/proc/loadavg: 4.16 4.12 4.04 4/241 14783
/proc/meminfo: memFree=128494348/131655788 swapFree=131071728/131071996
[pid=12854] ppid=12851 vsize=9932 memory=2780 CPUtime=0 cores=5,7
/proc/12854/stat : 12854 (naps-1.03.sh) S 12851 12854 12770 0 -1 4194304 226 243 0 0 0 0 0 0 20 0 1 0 1612005 10170368 695 134679101440 94115152728064 94115153807384 140725083820928 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94115155905840 94115155953028 94115184009216 140725083829219 140725083829344 140725083829344 140725083836360 0
/proc/12854/statm: 2483 695 620 264 0 134 0
[pid=12859] ppid=12854 vsize=256968 memory=253704 CPUtime=3600.03 cores=5,7
/proc/12859/stat : 12859 (naps-1.03a2) R 12854 12854 12770 0 -1 4194304 177257 0 0 0 359699 304 0 0 20 0 1 0 1612006 263135232 63426 134679101440 4194304 6891597 140735053264080 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 37269504 140735053267950 140735053268064 140735053268064 140735053275081 0
/proc/12859/statm: 64242 63426 660 659 0 63446 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 266900 KiB
Current children cumulated memory: 256484 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.05
CPU user time (s): 3597
CPU system time (s): 3.05351
CPU usage (%): 99.7326
Max. virtual memory (cumulated for all children) (KiB): 442080
Max. memory (cumulated for all children) (KiB): 362724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597
system time used= 3.05351
maximum resident set size= 428076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177740
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= 40
involuntary context switches= 5092


# summary of solver processes directly reported to runsolver:
#   pid: 12854
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597
#   total CPU system time (s): 3.05351

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6696 second user time and 35.5216 second system time

The end