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: 63931 MiB (49210 MiB free)
  memory of node 1: 64510 MiB (51365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456035-1721718393/watcher-4456035-1721718393 -o /tmp/evaluation-result-4456035-1721718393/solver-4456035-1721718393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721718393-85780 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456035-1721718393.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=85839, runsolver pid=85829

[startup+0.100088 s]*
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102894072/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=24172 memory=21264 CPUtime=0.09 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 5345 0 0 0 9 0 0 0 20 0 1 0 8367877 24752128 5316 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 6043 5316 468 659 0 5247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 34104 KiB
Current children cumulated memory: 23928 KiB

[startup+0.206863 s]*
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102843764/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=31712 memory=28208 CPUtime=0.2 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 6555 0 0 0 20 0 0 0 20 0 1 0 8367877 32473088 7052 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 7928 7052 468 659 0 7132 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41644 KiB
Current children cumulated memory: 30872 KiB

[startup+0.306597 s]*
/proc/loadavg: 1.44 1.89 2.02 6/263 85863
/proc/meminfo: memFree=102818220/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=36064 memory=31572 CPUtime=0.29 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 6870 0 0 0 29 0 0 0 20 0 1 0 8367877 36929536 7893 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 9016 7893 468 659 0 8220 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 34236 KiB

[startup+0.700219 s]
/proc/loadavg: 1.44 1.89 2.02 5/263 85863
/proc/meminfo: memFree=102762048/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=36064 memory=33096 CPUtime=0.69 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 7760 0 0 0 68 1 0 0 20 0 1 0 8367877 36929536 8274 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 9016 8274 468 659 0 8220 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 35760 KiB

[startup+1.50025 s]
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102665952/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=38784 memory=35732 CPUtime=1.48 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 8429 0 0 0 147 1 0 0 20 0 1 0 8367877 39714816 8933 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 9696 8933 468 659 0 8900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 38396 KiB

[startup+3.10677 s]
/proc/loadavg: 1.65 1.93 2.03 8/263 85863
/proc/meminfo: memFree=102602188/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=47600 memory=43924 CPUtime=3.08 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 8436 0 0 0 307 1 0 0 20 0 1 0 8367877 48742400 10981 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 11900 10981 468 659 0 11104 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 46588 KiB

[startup+6.30025 s]
/proc/loadavg: 1.65 1.93 2.03 8/263 85863
/proc/meminfo: memFree=102572632/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=52712 memory=49700 CPUtime=6.26 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 9628 0 0 0 625 1 0 0 20 0 1 0 8367877 53977088 12425 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 13178 12425 468 659 0 12382 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62644 KiB
Current children cumulated memory: 52364 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.05 8/262 85865
/proc/meminfo: memFree=102473248/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=71388 memory=56864 CPUtime=12.64 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 9905 0 0 0 1262 2 0 0 20 0 1 0 8367877 73101312 14216 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 17847 14216 468 659 0 17051 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 59528 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 2.08 2.08 8/262 85866
/proc/meminfo: memFree=102389972/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=71388 memory=68676 CPUtime=25.39 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 10389 0 0 0 2537 2 0 0 20 0 1 0 8367877 73101312 17169 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 17847 17169 468 659 0 17051 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 71340 KiB

[startup+51.1069 s]
/proc/loadavg: 2.93 2.24 2.13 8/262 85871
/proc/meminfo: memFree=102254424/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=103424 memory=94484 CPUtime=50.91 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 12732 0 0 0 5086 5 0 0 20 0 1 0 8367877 105906176 23621 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 25856 23621 468 659 0 25060 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 97148 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.53 2.24 8/262 85880
/proc/meminfo: memFree=102111704/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=103424 memory=101220 CPUtime=101.94 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 13108 0 0 0 10188 6 0 0 20 0 1 0 8367877 105906176 25305 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 25856 25305 468 659 0 25060 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 103884 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.81 2.36 8/262 85890
/proc/meminfo: memFree=101985196/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=116204 memory=114000 CPUtime=161.74 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 14852 0 0 0 16165 9 0 0 20 0 1 0 8367877 118992896 28500 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 29051 28500 468 659 0 28255 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 126136 KiB
Current children cumulated memory: 116664 KiB

[startup+222.3 s]
/proc/loadavg: 6.15 3.57 2.64 8/262 85902
/proc/meminfo: memFree=101852752/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=116204 memory=114000 CPUtime=221.52 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 15936 0 0 0 22139 13 0 0 20 0 1 0 8367877 118992896 28500 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 29051 28500 468 659 0 28255 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 126136 KiB

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

/proc/loadavg: 4.10 4.09 4.02 8/260 87427
/proc/meminfo: memFree=100770780/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=189924 memory=186460 CPUtime=3031.3 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 63288 0 0 0 303020 110 0 0 20 0 1 0 8367877 194482176 46615 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 47481 46615 468 659 0 46685 0
Current children cumulated CPU time: 3031.3 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 189124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.02 7/260 87439
/proc/meminfo: memFree=100619484/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=220744 memory=211304 CPUtime=3091.06 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 63945 0 0 0 308996 110 0 0 20 0 1 0 8367877 226041856 52826 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 55186 52826 468 659 0 54390 0
Current children cumulated CPU time: 3091.06 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 213968 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.02 7/260 87617
/proc/meminfo: memFree=101218092/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=189924 memory=180316 CPUtime=3150.84 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 64586 0 0 0 314972 112 0 0 20 0 1 0 8367877 194482176 45079 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 47481 45079 468 659 0 46685 0
Current children cumulated CPU time: 3150.84 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 182980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.02 8/260 87627
/proc/meminfo: memFree=101209756/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=270832 memory=220700 CPUtime=3210.61 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 65544 0 0 0 320947 114 0 0 20 0 1 0 8367877 277331968 55175 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 67708 55175 468 659 0 66912 0
Current children cumulated CPU time: 3210.61 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 223364 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.03 7/261 87653
/proc/meminfo: memFree=101040932/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=220744 memory=205152 CPUtime=3270.38 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 66403 0 0 0 326922 116 0 0 20 0 1 0 8367877 226041856 51288 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 55186 51288 468 659 0 54390 0
Current children cumulated CPU time: 3270.38 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 207816 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.02 8/261 87665
/proc/meminfo: memFree=100857028/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=270832 memory=237084 CPUtime=3330.15 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 67950 0 0 0 332896 119 0 0 20 0 1 0 8367877 277331968 59271 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 67708 59271 468 659 0 66912 0
Current children cumulated CPU time: 3330.15 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 239748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.02 8/261 87675
/proc/meminfo: memFree=100941020/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=220744 memory=203104 CPUtime=3389.92 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 69967 0 0 0 338869 123 0 0 20 0 1 0 8367877 226041856 50776 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 55186 50776 468 659 0 54390 0
Current children cumulated CPU time: 3389.92 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 205768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.03 7/260 87685
/proc/meminfo: memFree=100775444/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=270832 memory=232988 CPUtime=3449.69 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 70352 0 0 0 344845 124 0 0 20 0 1 0 8367877 277331968 58247 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 67708 58247 468 659 0 66912 0
Current children cumulated CPU time: 3449.69 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 235652 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 7/260 87697
/proc/meminfo: memFree=100676428/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=221204 memory=217708 CPUtime=3509.46 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 71299 0 0 0 350820 126 0 0 20 0 1 0 8367877 226512896 54427 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 55301 54427 468 659 0 54505 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 231136 KiB
Current children cumulated memory: 220372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.03 7/260 87708
/proc/meminfo: memFree=100574000/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=223628 memory=211708 CPUtime=3569.23 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 73065 0 0 0 356794 129 0 0 20 0 1 0 8367877 228995072 52927 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 55907 52927 468 659 0 55111 0
Current children cumulated CPU time: 3569.23 s
Current children cumulated vsize: 233560 KiB
Current children cumulated memory: 214372 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.06 4.08 4.02 5/258 87863
/proc/meminfo: memFree=100962484/131524600 swapFree=131071996/131071996
[pid=85839] ppid=85829 vsize=9932 memory=2664 CPUtime=0 cores=0,2
/proc/85839/stat : 85839 (naps-1.03.sh) S 85829 85839 85770 0 -1 4194304 225 244 0 0 0 0 0 0 20 0 1 0 8367876 10170368 666 134679101440 94583387848704 94583388928024 140725420590176 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94583391026480 94583391073668 94583400919040 140725420598239 140725420598368 140725420598368 140725420605384 0
/proc/85839/statm: 2483 666 588 264 0 134 0
[pid=85862] ppid=85839 vsize=194088 memory=190040 CPUtime=3600.01 cores=0,2
/proc/85862/stat : 85862 (naps-1.03) R 85839 85839 85770 0 -1 4194304 73925 0 0 0 359870 131 0 0 20 0 1 0 8367877 198746112 47510 134679101440 4194304 6891213 140736991791824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 31498240 140736991798256 140736991798372 140736991798372 140736991805387 0
/proc/85862/statm: 48522 47510 468 659 0 47726 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 204020 KiB
Current children cumulated memory: 192704 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.71 s, system=1.31705 s

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

Child status: 10

Real time (s): 3613.2
CPU time (s): 3600.03
CPU user time (s): 3598.71
CPU system time (s): 1.31705
CPU usage (%): 99.6353
Max. virtual memory (cumulated for all children) (KiB): 332684
Max. memory (cumulated for all children) (KiB): 277712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.71
system time used= 1.31705
maximum resident set size= 280528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74407
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= 78
involuntary context switches= 24697


# summary of solver processes directly reported to runsolver:
#   pid: 85839
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.71
#   total CPU system time (s): 1.31705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05034 second user time and 23.5079 second system time

The end