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: 63665 MiB (58026 MiB free)
  memory of node 1: 64507 MiB (45479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524638-1751616154/watcher-4524638-1751616154 -o /tmp/evaluation-result-4524638-1751616154/solver-4524638-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86496 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524638-1751616154.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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=86539, runsolver pid=86535

[startup+0.100064 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105944632/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=24236 memory=22548 CPUtime=0.07 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 5702 0 0 0 7 0 0 0 20 0 1 0 77294289 24817664 5637 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 6059 5637 608 696 0 5220 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28428 KiB
Current children cumulated memory: 25492 KiB

[startup+0.205706 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105924156/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=34676 memory=31956 CPUtime=0.18 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 8443 0 0 0 17 1 0 0 20 0 1 0 77294289 35508224 7989 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 8669 7989 608 696 0 7830 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38868 KiB
Current children cumulated memory: 34900 KiB

[startup+0.305798 s]*
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105907776/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=36000 memory=33300 CPUtime=0.28 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 11471 0 0 0 27 1 0 0 20 0 1 0 77294289 36864000 8325 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 9000 8325 608 696 0 8161 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40192 KiB
Current children cumulated memory: 36244 KiB

[startup+0.700153 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105887048/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=38648 memory=36612 CPUtime=0.66 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 13787 0 0 0 65 1 0 0 20 0 1 0 77294289 39575552 9153 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 9662 9153 640 696 0 8823 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 42840 KiB
Current children cumulated memory: 39556 KiB

[startup+1.50014 s]
/proc/loadavg: 0.53 0.98 1.47 5/269 86566
/proc/meminfo: memFree=105875272/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=42744 memory=40920 CPUtime=1.46 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 14356 0 0 0 145 1 0 0 20 0 1 0 77294289 43769856 10230 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 10686 10230 640 696 0 9847 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 46936 KiB
Current children cumulated memory: 43864 KiB

[startup+3.10533 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105871140/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=42744 memory=40920 CPUtime=3.06 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 14359 0 0 0 305 1 0 0 20 0 1 0 77294289 43769856 10230 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 10686 10230 640 696 0 9847 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 46936 KiB
Current children cumulated memory: 43864 KiB

[startup+6.30013 s]
/proc/loadavg: 0.81 1.04 1.49 5/269 86566
/proc/meminfo: memFree=105869720/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=42744 memory=40920 CPUtime=6.25 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 14360 0 0 0 624 1 0 0 20 0 1 0 77294289 43769856 10230 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 10686 10230 640 696 0 9847 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 46936 KiB
Current children cumulated memory: 43864 KiB

[startup+12.7001 s]
/proc/loadavg: 1.30 1.13 1.52 5/269 86566
/proc/meminfo: memFree=105870224/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=43640 memory=41688 CPUtime=12.64 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 14556 0 0 0 1262 2 0 0 20 0 1 0 77294289 44687360 10422 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 10910 10422 640 696 0 10071 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 47832 KiB
Current children cumulated memory: 44632 KiB

[startup+25.5002 s]
/proc/loadavg: 1.79 1.24 1.55 5/269 86566
/proc/meminfo: memFree=105849212/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=49712 memory=47716 CPUtime=25.4 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 19017 0 0 0 2538 2 0 0 20 0 1 0 77294289 50905088 11929 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 12428 11929 640 696 0 11589 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 53904 KiB
Current children cumulated memory: 50660 KiB

[startup+51.1054 s]
/proc/loadavg: 2.54 1.47 1.61 5/269 86566
/proc/meminfo: memFree=105837052/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=54788 memory=52812 CPUtime=50.95 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 19266 0 0 0 5092 3 0 0 20 0 1 0 77294289 56102912 13203 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 13697 13203 640 696 0 12858 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 58980 KiB
Current children cumulated memory: 55756 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.91 1.76 5/269 86568
/proc/meminfo: memFree=105757364/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=74668 memory=72776 CPUtime=102.01 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 26955 0 0 0 10196 5 0 0 20 0 1 0 77294289 76460032 18194 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 18667 18194 640 696 0 17828 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 78860 KiB
Current children cumulated memory: 75720 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.32 1.91 5/269 86570
/proc/meminfo: memFree=105699788/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=81636 memory=79820 CPUtime=161.87 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 28896 0 0 0 16180 7 0 0 20 0 1 0 77294289 83595264 19955 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 20409 19955 640 696 0 19570 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 85828 KiB
Current children cumulated memory: 82764 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.05 5/269 86572
/proc/meminfo: memFree=105741276/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=81636 memory=79820 CPUtime=221.73 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 28918 0 0 0 22166 7 0 0 20 0 1 0 77294289 83595264 19955 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 20409 19955 640 696 0 19570 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 85828 KiB

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

/proc/loadavg: 4.11 4.12 4.03 5/268 86713
/proc/meminfo: memFree=105340836/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=212928 memory=211488 CPUtime=3093.52 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 76851 0 0 0 309261 91 0 0 20 0 1 0 77294289 218038272 52872 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 53232 52872 640 696 0 52393 0
Current children cumulated CPU time: 3093.52 s
Current children cumulated vsize: 217120 KiB
Current children cumulated memory: 214432 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/269 86716
/proc/meminfo: memFree=105240696/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=212928 memory=211488 CPUtime=3153.34 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 77877 0 0 0 315241 93 0 0 20 0 1 0 77294289 218038272 52872 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 53232 52872 640 696 0 52393 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 217120 KiB
Current children cumulated memory: 214432 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 5/268 86718
/proc/meminfo: memFree=105261332/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=212928 memory=211488 CPUtime=3213.16 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 78683 0 0 0 321221 95 0 0 20 0 1 0 77294289 218038272 52872 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 53232 52872 640 696 0 52393 0
Current children cumulated CPU time: 3213.16 s
Current children cumulated vsize: 217120 KiB
Current children cumulated memory: 214432 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.03 5/268 86720
/proc/meminfo: memFree=105196616/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=269284 memory=267780 CPUtime=3272.98 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 79943 0 0 0 327200 98 0 0 20 0 1 0 77294289 275746816 66945 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 67321 66945 640 696 0 66482 0
Current children cumulated CPU time: 3272.98 s
Current children cumulated vsize: 273476 KiB
Current children cumulated memory: 270724 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/268 86722
/proc/meminfo: memFree=105234708/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=250636 memory=249132 CPUtime=3332.8 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 80658 0 0 0 333180 100 0 0 20 0 1 0 77294289 256651264 62283 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 62659 62283 640 696 0 61820 0
Current children cumulated CPU time: 3332.8 s
Current children cumulated vsize: 254828 KiB
Current children cumulated memory: 252076 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 5/269 86725
/proc/meminfo: memFree=105269688/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=254068 memory=252564 CPUtime=3392.63 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 80900 0 0 0 339161 102 0 0 20 0 1 0 77294289 260165632 63141 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 63517 63141 640 696 0 62678 0
Current children cumulated CPU time: 3392.63 s
Current children cumulated vsize: 258260 KiB
Current children cumulated memory: 255508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86727
/proc/meminfo: memFree=105237432/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=263456 memory=261952 CPUtime=3452.45 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 81362 0 0 0 345141 104 0 0 20 0 1 0 77294289 269778944 65488 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 65864 65488 640 696 0 65025 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 267648 KiB
Current children cumulated memory: 264896 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 5/268 86740
/proc/meminfo: memFree=105183792/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=263296 memory=261792 CPUtime=3512.27 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 82186 0 0 0 351121 106 0 0 20 0 1 0 77294289 269615104 65448 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 65824 65448 640 696 0 64985 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 267488 KiB
Current children cumulated memory: 264736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/268 86744
/proc/meminfo: memFree=105197144/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=257504 memory=256000 CPUtime=3572.1 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 83477 0 0 0 357101 109 0 0 20 0 1 0 77294289 263684096 64000 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 64376 64000 640 696 0 63537 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 261696 KiB
Current children cumulated memory: 258944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.11 4.09 4.04 2/253 86774
/proc/meminfo: memFree=105738464/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=256832 memory=255328 CPUtime=3600.02 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 83722 0 0 0 359892 110 0 0 20 0 1 0 77294289 262995968 63832 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 64208 63832 640 696 0 63369 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 261024 KiB
Current children cumulated memory: 258272 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.93 s, system=1.10416 s

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

[startup+3610.3 s]
/proc/loadavg: 4.11 4.09 4.04 2/253 86774
/proc/meminfo: memFree=105738464/131249988 swapFree=33010160/33010684
[pid=86539] ppid=86535 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/86539/stat : 86539 (naps-1.03a6.sh) S 86535 86539 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294287 4292608 736 18446744073709551615 94258859507712 94258860402245 140729140444880 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94258860641296 94258860689040 94258882703360 140729140451749 140729140451843 140729140451843 140729140457447 0
/proc/86539/statm: 1048 736 672 219 0 110 0
[pid=86549] ppid=86539 vsize=256832 memory=255328 CPUtime=3600.02 cores=4,6
/proc/86549/stat : 86549 (naps-1.03a6) R 86539 86539 86480 0 -1 4194304 83722 0 0 0 359892 110 0 0 20 0 1 0 77294289 262995968 63832 18446744073709551615 4198400 7047149 140720535229024 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 40652800 140720535234930 140720535235044 140720535235044 140720535240649 0
/proc/86549/statm: 64208 63832 640 696 0 63369 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 261024 KiB
Current children cumulated memory: 258272 KiB

Child status: 10

Real time (s): 3610.3
CPU time (s): 3600.03
CPU user time (s): 3598.93
CPU system time (s): 1.10416
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 387880
Max. memory (cumulated for all children) (KiB): 385104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.93
system time used= 1.10417
maximum resident set size= 382160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84167
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= 203
involuntary context switches= 1597


# summary of solver processes directly reported to runsolver:
#   pid: 86539
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.93
#   total CPU system time (s): 1.10416

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.15475 second user time and 16.0275 second system time

The end