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: 64059 MiB (63342 MiB free)
  memory of node 1: 64510 MiB (60989 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463534-1722351741/watcher-4463534-1722351741 -o /tmp/evaluation-result-4463534-1722351741/solver-4463534-1722351741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722351741-14225 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463534-1722351741.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=14269, runsolver pid=14263

[startup+0.100098 s]*
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=127292360/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=12824 memory=11528 CPUtime=0.1 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 2562 0 0 0 9 1 0 0 20 0 1 0 1770999 13131776 2816 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 3206 2816 612 659 0 2410 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22756 KiB
Current children cumulated memory: 14216 KiB

[startup+0.215531 s]*
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=127241440/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=18000 memory=16544 CPUtime=0.21 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 3860 0 0 0 20 1 0 0 20 0 1 0 1770999 18432000 4136 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 4500 4136 612 659 0 3704 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27932 KiB
Current children cumulated memory: 19232 KiB

[startup+0.315364 s]*
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=127217372/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=33928 memory=31944 CPUtime=0.31 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 7912 0 0 0 28 3 0 0 20 0 1 0 1770999 34742272 7986 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 8482 7986 612 659 0 7686 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43860 KiB
Current children cumulated memory: 34632 KiB

[startup+0.700465 s]
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=127193468/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=47864 memory=46300 CPUtime=0.68 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 11472 0 0 0 63 5 0 0 20 0 1 0 1770999 49012736 11575 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 11966 11575 644 659 0 11170 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57796 KiB
Current children cumulated memory: 48988 KiB

[startup+1.50045 s]
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=127098800/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=69492 memory=64612 CPUtime=1.47 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 18919 0 0 0 140 7 0 0 20 0 1 0 1770999 71159808 16153 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 17373 16153 660 659 0 16577 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 79424 KiB
Current children cumulated memory: 67300 KiB

[startup+3.11442 s]
/proc/loadavg: 1.04 1.12 1.65 5/252 14304
/proc/meminfo: memFree=126895016/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=82336 memory=80880 CPUtime=3.08 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 24451 0 0 0 299 9 0 0 20 0 1 0 1770999 84312064 20220 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 20584 20220 660 659 0 19788 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92268 KiB
Current children cumulated memory: 83568 KiB

[startup+6.30034 s]
/proc/loadavg: 1.36 1.18 1.67 5/252 14304
/proc/meminfo: memFree=126877520/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=108208 memory=96332 CPUtime=6.26 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 24804 0 0 0 616 10 0 0 20 0 1 0 1770999 110804992 24083 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 27052 24083 660 659 0 26256 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 118140 KiB
Current children cumulated memory: 99020 KiB

[startup+12.7003 s]
/proc/loadavg: 1.57 1.23 1.68 5/252 14305
/proc/meminfo: memFree=126848136/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=108208 memory=96332 CPUtime=12.64 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 24806 0 0 0 1254 10 0 0 20 0 1 0 1770999 110804992 24083 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 27052 24083 660 659 0 26256 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 118140 KiB
Current children cumulated memory: 99020 KiB

[startup+25.5004 s]
/proc/loadavg: 2.11 1.37 1.72 5/252 14307
/proc/meminfo: memFree=126845616/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=108208 memory=96528 CPUtime=25.39 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 24820 0 0 0 2529 10 0 0 20 0 1 0 1770999 110804992 24132 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 27052 24132 660 659 0 26256 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 118140 KiB
Current children cumulated memory: 99216 KiB

[startup+51.1142 s]
/proc/loadavg: 2.83 1.60 1.79 5/252 14311
/proc/meminfo: memFree=126833844/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=118536 memory=107200 CPUtime=50.89 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 25452 0 0 0 5079 10 0 0 20 0 1 0 1770999 121380864 26800 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 29634 26800 660 659 0 28838 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 128468 KiB
Current children cumulated memory: 109888 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 1.98 1.91 5/250 14320
/proc/meminfo: memFree=126822816/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=118536 memory=107200 CPUtime=101.91 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 25532 0 0 0 10181 10 0 0 20 0 1 0 1770999 121380864 26800 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 29634 26800 660 659 0 28838 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 128468 KiB
Current children cumulated memory: 109888 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.37 2.05 5/250 14331
/proc/meminfo: memFree=126804044/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=131736 memory=120336 CPUtime=161.7 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 27217 0 0 0 16157 13 0 0 20 0 1 0 1770999 134897664 30084 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 32934 30084 660 659 0 32138 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 141668 KiB
Current children cumulated memory: 123024 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.69 2.18 6/247 14341
/proc/meminfo: memFree=126800884/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=131736 memory=120400 CPUtime=221.48 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 27259 0 0 0 22135 13 0 0 20 0 1 0 1770999 134897664 30100 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 32934 30100 660 659 0 32138 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 141668 KiB

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

/proc/loadavg: 4.16 4.27 4.22 5/244 15462
/proc/meminfo: memFree=126464784/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=201504 memory=190296 CPUtime=3032.03 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 114694 0 0 0 303088 115 0 0 20 0 1 0 1770999 206340096 47574 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 50376 47574 660 659 0 49580 0
Current children cumulated CPU time: 3032.03 s
Current children cumulated vsize: 211436 KiB
Current children cumulated memory: 192984 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.25 4.22 5/244 15472
/proc/meminfo: memFree=126400588/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=297204 memory=285868 CPUtime=3091.83 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 117793 0 0 0 309063 120 0 0 20 0 1 0 1770999 304336896 71467 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 74301 71467 660 659 0 73505 0
Current children cumulated CPU time: 3091.83 s
Current children cumulated vsize: 307136 KiB
Current children cumulated memory: 288556 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/244 15482
/proc/meminfo: memFree=126419692/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=267144 memory=255696 CPUtime=3151.65 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 119546 0 0 0 315042 123 0 0 20 0 1 0 1770999 273555456 63924 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 66786 63924 660 659 0 65990 0
Current children cumulated CPU time: 3151.65 s
Current children cumulated vsize: 277076 KiB
Current children cumulated memory: 258384 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.20 4.20 5/242 15875
/proc/meminfo: memFree=126441696/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=228132 memory=216796 CPUtime=3211.44 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 120832 0 0 0 321019 125 0 0 20 0 1 0 1770999 233607168 54199 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 57033 54199 660 659 0 56237 0
Current children cumulated CPU time: 3211.44 s
Current children cumulated vsize: 238064 KiB
Current children cumulated memory: 219484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.18 4.19 5/242 15885
/proc/meminfo: memFree=126237268/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=291456 memory=279952 CPUtime=3271.25 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 122162 0 0 0 326995 130 0 0 20 0 1 0 1770999 298450944 69988 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 72864 69988 660 659 0 72068 0
Current children cumulated CPU time: 3271.25 s
Current children cumulated vsize: 301388 KiB
Current children cumulated memory: 282640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.18 6/242 15895
/proc/meminfo: memFree=126267772/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=261552 memory=250032 CPUtime=3331.05 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 124566 0 0 0 332968 137 0 0 20 0 1 0 1770999 267829248 62508 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 65388 62508 660 659 0 64592 0
Current children cumulated CPU time: 3331.05 s
Current children cumulated vsize: 271484 KiB
Current children cumulated memory: 252720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.18 5/244 16076
/proc/meminfo: memFree=126311768/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=228132 memory=216796 CPUtime=3390.86 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 125517 0 0 0 338947 139 0 0 20 0 1 0 1770999 233607168 54199 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 57033 54199 660 659 0 56237 0
Current children cumulated CPU time: 3390.86 s
Current children cumulated vsize: 238064 KiB
Current children cumulated memory: 219484 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/244 16087
/proc/meminfo: memFree=126248772/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=268380 memory=256944 CPUtime=3450.65 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 126873 0 0 0 344924 141 0 0 20 0 1 0 1770999 274821120 64236 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 67095 64236 660 659 0 66299 0
Current children cumulated CPU time: 3450.65 s
Current children cumulated vsize: 278312 KiB
Current children cumulated memory: 259632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/246 16112
/proc/meminfo: memFree=126277520/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=264740 memory=253368 CPUtime=3510.45 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 128954 0 0 0 350901 144 0 0 20 0 1 0 1770999 271093760 63342 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 66185 63342 660 659 0 65389 0
Current children cumulated CPU time: 3510.45 s
Current children cumulated vsize: 274672 KiB
Current children cumulated memory: 256056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/246 16122
/proc/meminfo: memFree=126292368/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=201964 memory=190756 CPUtime=3570.26 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 131418 0 0 0 356877 149 0 0 20 0 1 0 1770999 206811136 47689 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 50491 47689 660 659 0 49695 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 211896 KiB
Current children cumulated memory: 193444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.10 4.14 4.17 6/246 16428
/proc/meminfo: memFree=126870524/131655788 swapFree=131071996/131071996
[pid=14269] ppid=14263 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/14269/stat : 14269 (naps-1.03.sh) S 14263 14269 14215 0 -1 4194304 220 244 0 0 0 0 0 0 20 0 1 0 1770998 10170368 672 134679101440 94569374863360 94569375942680 140726731903248 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94569378041136 94569378088324 94569399463936 140726731912167 140726731912292 140726731912292 140726731919304 0
/proc/14269/statm: 2483 672 592 264 0 134 0
[pid=14276] ppid=14269 vsize=197856 memory=186648 CPUtime=3600.05 cores=0,2
/proc/14276/stat : 14276 (naps-1.03a2) R 14269 14269 14215 0 -1 4194304 132195 0 0 0 359855 150 0 0 20 0 1 0 1770999 202604544 46662 134679101440 4194304 6891597 140735633124128 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 9093120 140735633130482 140735633130596 140735633130596 140735633137609 0
/proc/14276/statm: 49464 46662 660 659 0 48668 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 207788 KiB
Current children cumulated memory: 189336 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.56 s, system=1.51778 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): 3612.2
CPU time (s): 3600.07
CPU user time (s): 3598.56
CPU system time (s): 1.51778
CPU usage (%): 99.6642
Max. virtual memory (cumulated for all children) (KiB): 419512
Max. memory (cumulated for all children) (KiB): 355016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.56
system time used= 1.51778
maximum resident set size= 398136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132674
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= 54
involuntary context switches= 24654


# summary of solver processes directly reported to runsolver:
#   pid: 14269
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.56
#   total CPU system time (s): 1.51778

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7302 second user time and 39.3375 second system time

The end