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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463724-1722355029/watcher-4463724-1722355029 -o /tmp/evaluation-result-4463724-1722355029/solver-4463724-1722355029 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1722352597-14014 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463724-1722355029.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=15890, runsolver pid=15887

[startup+0.100095 s]*
/proc/loadavg: 4.14 4.12 4.02 5/246 15895
/proc/meminfo: memFree=78774816/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=16664 memory=9872 CPUtime=0.1 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 2177 0 0 0 10 0 0 0 20 0 1 0 2100483 17063936 2468 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 4166 2468 436 659 0 3370 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 26596 KiB
Current children cumulated memory: 12664 KiB

[startup+0.213465 s]*
/proc/loadavg: 4.14 4.12 4.02 5/246 15897
/proc/meminfo: memFree=78764240/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=27124 memory=20568 CPUtime=0.21 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 5146 0 0 0 21 0 0 0 20 0 1 0 2100483 27774976 5142 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 6781 5142 468 659 0 5985 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37056 KiB
Current children cumulated memory: 23360 KiB

[startup+0.313606 s]*
/proc/loadavg: 4.14 4.12 4.02 5/246 15897
/proc/meminfo: memFree=78759400/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=27608 memory=24224 CPUtime=0.3 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 6380 0 0 0 30 0 0 0 20 0 1 0 2100483 28270592 6056 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 6902 6056 468 659 0 6106 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37540 KiB
Current children cumulated memory: 27016 KiB

[startup+0.700435 s]
/proc/loadavg: 4.14 4.12 4.02 5/246 15897
/proc/meminfo: memFree=78702880/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=143376 memory=136948 CPUtime=0.69 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 16568 0 0 0 64 5 0 0 20 0 1 0 2100483 146817024 34237 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 35844 34237 468 659 0 35048 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 153308 KiB
Current children cumulated memory: 139740 KiB

[startup+1.50044 s]
/proc/loadavg: 4.14 4.12 4.02 6/246 15897
/proc/meminfo: memFree=78599404/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=440708 memory=390828 CPUtime=1.48 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 64960 0 0 0 134 14 0 0 20 0 1 0 2100483 451284992 97707 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 110177 97707 468 659 0 109381 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 450640 KiB
Current children cumulated memory: 393620 KiB

[startup+3.11341 s]
/proc/loadavg: 4.14 4.12 4.02 5/246 15897
/proc/meminfo: memFree=77925536/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=909736 memory=865536 CPUtime=3.09 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 109400 0 0 0 281 28 0 0 20 0 1 0 2100483 931569664 216384 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 227434 216384 468 659 0 226638 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 919668 KiB
Current children cumulated memory: 868328 KiB

[startup+6.3004 s]
/proc/loadavg: 4.13 4.12 4.02 5/246 15897
/proc/meminfo: memFree=77658964/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1324352 memory=1170588 CPUtime=6.26 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 125944 0 0 0 591 35 0 0 20 0 1 0 2100483 1356136448 292647 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 331088 292647 468 659 0 330292 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1334284 KiB
Current children cumulated memory: 1173380 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.11 4.02 5/246 15898
/proc/meminfo: memFree=77671996/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1209984 memory=1110744 CPUtime=12.64 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 135020 0 0 0 1223 41 0 0 20 0 1 0 2100483 1239023616 277686 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 302496 277686 468 659 0 301700 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1219916 KiB
Current children cumulated memory: 1113536 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.11 4.01 5/246 15900
/proc/meminfo: memFree=77663464/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1209984 memory=1110884 CPUtime=25.4 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 135207 0 0 0 2499 41 0 0 20 0 1 0 2100483 1239023616 277721 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 302496 277721 468 659 0 301700 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1219916 KiB
Current children cumulated memory: 1113676 KiB

[startup+51.1134 s]
/proc/loadavg: 4.13 4.11 4.02 5/246 15905
/proc/meminfo: memFree=77656300/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1209984 memory=1112932 CPUtime=50.93 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 135428 0 0 0 5051 42 0 0 20 0 1 0 2100483 1239023616 278233 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 302496 278233 468 659 0 301700 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1219916 KiB
Current children cumulated memory: 1115724 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.13 4.02 6/248 16084
/proc/meminfo: memFree=77638364/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1209984 memory=1115172 CPUtime=101.95 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 135727 0 0 0 10152 43 0 0 20 0 1 0 2100483 1239023616 278793 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 302496 278793 468 659 0 301700 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1219916 KiB
Current children cumulated memory: 1117964 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.02 5/248 16095
/proc/meminfo: memFree=77620680/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1209984 memory=1118168 CPUtime=161.75 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 136134 0 0 0 16131 44 0 0 20 0 1 0 2100483 1239023616 279542 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 302496 279542 468 659 0 301700 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 1219916 KiB
Current children cumulated memory: 1120960 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.13 4.03 6/248 16108
/proc/meminfo: memFree=77598720/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1260072 memory=1123052 CPUtime=221.55 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 136991 0 0 0 22110 45 0 0 20 0 1 0 2100483 1290313728 280763 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 315018 280763 468 659 0 314222 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 1270004 KiB

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

/proc/15895/statm: 319785 292807 468 659 0 318989 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1174020 KiB

[startup+3162.3 s]
/proc/loadavg: 1.19 1.12 1.39 2/221 17536
/proc/meminfo: memFree=117396000/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1229052 memory=1146588 CPUtime=3151.57 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 160703 0 0 0 315078 79 0 0 20 0 1 0 2100483 1258549248 286647 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 307263 286647 468 659 0 306467 0
Current children cumulated CPU time: 3151.57 s
Current children cumulated vsize: 1238984 KiB
Current children cumulated memory: 1149380 KiB

[startup+3222.3 s]
/proc/loadavg: 1.78 1.30 1.44 2/225 17551
/proc/meminfo: memFree=117391064/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1150676 CPUtime=3211.37 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 161647 0 0 0 321058 79 0 0 20 0 1 0 2100483 1309839360 287669 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 287669 468 659 0 318989 0
Current children cumulated CPU time: 3211.37 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1153468 KiB

[startup+3282.3 s]
/proc/loadavg: 1.38 1.27 1.42 3/225 17562
/proc/meminfo: memFree=117386360/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1154844 CPUtime=3271.16 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 162058 0 0 0 327037 79 0 0 20 0 1 0 2100483 1309839360 288711 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 288711 468 659 0 318989 0
Current children cumulated CPU time: 3271.16 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1157636 KiB

[startup+3342.3 s]
/proc/loadavg: 1.25 1.25 1.41 2/225 17573
/proc/meminfo: memFree=117381680/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1158940 CPUtime=3330.96 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 162438 0 0 0 333017 79 0 0 20 0 1 0 2100483 1309839360 289735 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 289735 468 659 0 318989 0
Current children cumulated CPU time: 3330.96 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1161732 KiB

[startup+3402.3 s]
/proc/loadavg: 1.13 1.22 1.38 2/225 17583
/proc/meminfo: memFree=117376972/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1163036 CPUtime=3390.76 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 162809 0 0 0 338997 79 0 0 20 0 1 0 2100483 1309839360 290759 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 290759 468 659 0 318989 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1165828 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.19 1.36 2/225 17593
/proc/meminfo: memFree=117370168/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1169180 CPUtime=3450.55 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 163160 0 0 0 344976 79 0 0 20 0 1 0 2100483 1309839360 292295 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 292295 468 659 0 318989 0
Current children cumulated CPU time: 3450.55 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1171972 KiB

[startup+3522.3 s]
/proc/loadavg: 1.08 1.17 1.34 3/222 17988
/proc/meminfo: memFree=117364716/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1279140 memory=1173276 CPUtime=3510.35 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 163580 0 0 0 350956 79 0 0 20 0 1 0 2100483 1309839360 293319 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 319785 293319 468 659 0 318989 0
Current children cumulated CPU time: 3510.35 s
Current children cumulated vsize: 1289072 KiB
Current children cumulated memory: 1176068 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.17 1.33 2/221 17999
/proc/meminfo: memFree=117391124/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1229052 memory=1146588 CPUtime=3570.14 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 164102 0 0 0 356933 81 0 0 20 0 1 0 2100483 1258549248 286647 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 307263 286647 468 659 0 306467 0
Current children cumulated CPU time: 3570.14 s
Current children cumulated vsize: 1238984 KiB
Current children cumulated memory: 1149380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 1.08 1.15 1.32 2/221 18004
/proc/meminfo: memFree=117390336/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1229052 memory=1146920 CPUtime=3600.05 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 164496 0 0 0 359923 82 0 0 20 0 1 0 2100483 1258549248 286730 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 307263 286730 468 659 0 306467 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1238984 KiB
Current children cumulated memory: 1149712 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3612.31 s]
# the end of solver process 15890 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.002802 s, system=0.003206 s

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

# cumulated CPU time of all completed processes:  user=3599.24 s, system=0.827447 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3612.3 s]
/proc/loadavg: 1.08 1.15 1.32 2/221 18004
/proc/meminfo: memFree=117390336/131655788 swapFree=131071996/131071996
[pid=15890] ppid=15887 vsize=9932 memory=2792 CPUtime=0 cores=0,2
/proc/15890/stat : 15890 (naps-1.03.sh) S 15887 15890 14004 0 -1 4194304 220 240 0 0 0 0 0 0 20 0 1 0 2100483 10170368 698 134679101440 94911689297920 94911690377240 140721757477264 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94911692475696 94911692522884 94911693205504 140721757479903 140721757480032 140721757480032 140721757487048 0
/proc/15890/statm: 2483 698 621 264 0 134 0
[pid=15895] ppid=15890 vsize=1229052 memory=1146920 CPUtime=3600.05 cores=0,2
/proc/15895/stat : 15895 (naps-1.03a2) R 15890 15890 14004 0 -1 4194304 164496 0 0 0 359923 82 0 0 20 0 1 0 2100483 1258549248 286730 134679101440 4194304 6891597 140734517885072 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30818304 140734517887978 140734517888096 140734517888096 140734517895113 0
/proc/15895/statm: 307263 286730 468 659 0 306467 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1238984 KiB
Current children cumulated memory: 1149712 KiB

Child status: 10

Real time (s): 3612.31
CPU time (s): 3600.07
CPU user time (s): 3599.24
CPU system time (s): 0.827447
CPU usage (%): 99.6613
Max. virtual memory (cumulated for all children) (KiB): 1369212
Max. memory (cumulated for all children) (KiB): 1258264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.24
system time used= 0.827447
maximum resident set size= 1255472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164956
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= 227
involuntary context switches= 25222


# summary of solver processes directly reported to runsolver:
#   pid: 15890,15895
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.24
#   total CPU system time (s): 0.827447

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0324 second user time and 35.0601 second system time

The end