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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=324757, runsolver pid=324748
Current StackSize limit: 8192 KiB


[startup+0.100835 s]*
/proc/loadavg: 0.84 1.35 1.86 7/264 324787
/proc/meminfo: memFree=126347500/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=21204 memory=18044 CPUtime=0.08 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 4985 0 0 0 8 0 0 0 20 0 1 0 44148248 21712896 4511 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 5301 4511 468 659 0 4505 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 31136 KiB
Current children cumulated memory: 20652 KiB

[startup+0.206533 s]*
/proc/loadavg: 0.84 1.35 1.86 7/264 324787
/proc/meminfo: memFree=126272476/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=42528 memory=37508 CPUtime=0.19 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 9349 0 0 0 18 1 0 0 20 0 1 0 44148248 43548672 9377 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 10632 9377 468 659 0 9836 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52460 KiB
Current children cumulated memory: 40116 KiB

[startup+0.306618 s]*
/proc/loadavg: 0.84 1.35 1.86 7/264 324787
/proc/meminfo: memFree=126235092/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=59520 memory=52720 CPUtime=0.29 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 12628 0 0 0 27 2 0 0 20 0 1 0 44148248 60948480 13180 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 14880 13180 468 659 0 14084 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 69452 KiB
Current children cumulated memory: 55328 KiB

[startup+0.700251 s]
/proc/loadavg: 0.84 1.35 1.86 7/264 324787
/proc/meminfo: memFree=126187072/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=75532 memory=65160 CPUtime=0.68 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 15125 0 0 0 65 3 0 0 20 0 1 0 44148248 77344768 16290 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 18883 16290 468 659 0 18087 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 85464 KiB
Current children cumulated memory: 67768 KiB

[startup+1.50022 s]
/proc/loadavg: 1.17 1.41 1.87 7/264 324787
/proc/meminfo: memFree=126123008/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=71108 memory=62436 CPUtime=1.48 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 15613 0 0 0 145 3 0 0 20 0 1 0 44148248 72814592 15609 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 17777 15609 468 659 0 16981 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81040 KiB
Current children cumulated memory: 65044 KiB

[startup+3.10646 s]
/proc/loadavg: 1.17 1.41 1.87 7/264 324787
/proc/meminfo: memFree=125974356/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=89852 memory=70628 CPUtime=3.08 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 16293 0 0 0 304 4 0 0 20 0 1 0 44148248 92008448 17657 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 22463 17657 468 659 0 21667 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 99784 KiB
Current children cumulated memory: 73236 KiB

[startup+6.3002 s]
/proc/loadavg: 1.40 1.45 1.88 7/264 324787
/proc/meminfo: memFree=125906252/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=108708 memory=74896 CPUtime=6.26 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 16831 0 0 0 622 4 0 0 20 0 1 0 44148248 111316992 18724 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 27177 18724 468 659 0 26381 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 118640 KiB
Current children cumulated memory: 77504 KiB

[startup+12.7002 s]
/proc/loadavg: 1.61 1.49 1.90 7/264 324789
/proc/meminfo: memFree=125778588/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=158028 memory=119368 CPUtime=12.66 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 17395 0 0 0 1260 6 0 0 20 0 1 0 44148248 161820672 29842 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 39507 29842 468 659 0 38711 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 167960 KiB
Current children cumulated memory: 121976 KiB

[startup+25.5003 s]
/proc/loadavg: 1.98 1.58 1.92 7/264 324792
/proc/meminfo: memFree=125780500/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=108708 memory=84084 CPUtime=25.42 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 18788 0 0 0 2534 8 0 0 20 0 1 0 44148248 111316992 21021 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 27177 21021 468 659 0 26381 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 118640 KiB
Current children cumulated memory: 86692 KiB

[startup+51.1065 s]
/proc/loadavg: 2.83 1.83 1.99 7/264 324797
/proc/meminfo: memFree=125694832/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=158028 memory=121960 CPUtime=50.97 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 21891 0 0 0 5084 13 0 0 20 0 1 0 44148248 161820672 30490 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 39507 30490 468 659 0 38711 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 167960 KiB
Current children cumulated memory: 124568 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.16 2.10 7/266 324866
/proc/meminfo: memFree=125552552/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=238936 memory=180648 CPUtime=102.04 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 26487 0 0 0 10184 20 0 0 20 0 1 0 44148248 244670464 45162 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 59734 45162 468 659 0 58938 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 248868 KiB
Current children cumulated memory: 183256 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.53 2.23 7/266 324876
/proc/meminfo: memFree=125473808/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=238936 memory=186528 CPUtime=161.9 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 29692 0 0 0 16164 26 0 0 20 0 1 0 44148248 244670464 46632 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 59734 46632 468 659 0 58938 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 248868 KiB
Current children cumulated memory: 189136 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.82 2.35 7/266 324887
/proc/meminfo: memFree=125435656/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=238936 memory=209280 CPUtime=221.75 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 31444 0 0 0 22144 31 0 0 20 0 1 0 44148248 244670464 52320 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 59734 52320 468 659 0 58938 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 248868 KiB

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

/proc/324772/statm: 171188 144558 468 659 0 170392 0
Current children cumulated CPU time: 3094.37 s
Current children cumulated vsize: 694684 KiB
Current children cumulated memory: 580840 KiB

[startup+3162.3 s]
/proc/loadavg: 4.05 4.11 4.09 7/261 325998
/proc/meminfo: memFree=124197544/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=688772 memory=601980 CPUtime=3154.22 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 124641 0 0 0 315224 198 0 0 20 0 1 0 44148248 705302528 150495 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 172193 150495 468 659 0 171397 0
Current children cumulated CPU time: 3154.22 s
Current children cumulated vsize: 698704 KiB
Current children cumulated memory: 604588 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/261 326009
/proc/meminfo: memFree=124197664/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=692692 memory=623432 CPUtime=3214.06 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 125681 0 0 0 321207 199 0 0 20 0 1 0 44148248 709316608 155858 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 173173 155858 468 659 0 172377 0
Current children cumulated CPU time: 3214.06 s
Current children cumulated vsize: 702624 KiB
Current children cumulated memory: 626040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.09 7/261 326019
/proc/meminfo: memFree=124058868/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=700488 memory=648488 CPUtime=3273.91 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 127615 0 0 0 327191 200 0 0 20 0 1 0 44148248 717299712 162122 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 175122 162122 468 659 0 174326 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 710420 KiB
Current children cumulated memory: 651096 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.09 7/261 326029
/proc/meminfo: memFree=124080688/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=568564 memory=489076 CPUtime=3333.75 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 129021 0 0 0 333172 203 0 0 20 0 1 0 44148248 582209536 122269 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 142141 122269 468 659 0 141345 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 578496 KiB
Current children cumulated memory: 491684 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.09 7/259 326424
/proc/meminfo: memFree=124245768/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=568564 memory=517972 CPUtime=3393.59 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 129188 0 0 0 339156 203 0 0 20 0 1 0 44148248 582209536 129493 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 142141 129493 468 659 0 141345 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 578496 KiB
Current children cumulated memory: 520580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/259 326435
/proc/meminfo: memFree=124099464/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=568564 memory=544596 CPUtime=3453.44 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 129271 0 0 0 345140 204 0 0 20 0 1 0 44148248 582209536 136149 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 142141 136149 468 659 0 141345 0
Current children cumulated CPU time: 3453.44 s
Current children cumulated vsize: 578496 KiB
Current children cumulated memory: 547204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.14 4.10 7/259 326445
/proc/meminfo: memFree=124761500/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=700992 memory=569188 CPUtime=3513.27 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 129934 0 0 0 351123 204 0 0 20 0 1 0 44148248 717815808 142297 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 175248 142297 468 659 0 174452 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 710924 KiB
Current children cumulated memory: 571796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/261 326625
/proc/meminfo: memFree=124614640/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=702508 memory=588932 CPUtime=3573.13 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 130533 0 0 0 357108 205 0 0 20 0 1 0 44148248 719368192 147233 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 175627 147233 468 659 0 174831 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 712440 KiB
Current children cumulated memory: 591540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/255 326639
/proc/meminfo: memFree=125262752/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=703856 memory=607628 CPUtime=3600.05 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 130852 0 0 0 359800 205 0 0 20 0 1 0 44148248 720748544 151907 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 175964 151907 468 659 0 175168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 713788 KiB
Current children cumulated memory: 610236 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002822 s, system=0.000356 s

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

# cumulated CPU time of all completed processes:  user=3598.01 s, system=2.06374 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+3609.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/255 326639
/proc/meminfo: memFree=125262752/131524600 swapFree=131056028/131071996
[pid=324757] ppid=324748 vsize=9932 memory=2608 CPUtime=0 cores=5,7
/proc/324757/stat : 324757 (naps-1.03.sh) S 324748 324757 324698 0 -1 4194304 218 240 0 0 0 0 0 0 20 0 1 0 44148247 10170368 652 134679101440 94406949855232 94406950934552 140734866002768 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94406953033008 94406953080196 94406972682240 140734866007005 140734866007134 140734866007134 140734866014152 0
/proc/324757/statm: 2483 652 573 264 0 134 0
[pid=324772] ppid=324757 vsize=703856 memory=607628 CPUtime=3600.05 cores=5,7
/proc/324772/stat : 324772 (naps-1.03) R 324757 324757 324698 0 -1 4194304 130852 0 0 0 359800 205 0 0 20 0 1 0 44148248 720748544 151907 134679101440 4194304 6891597 140721619717280 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 11296768 140721619719150 140721619719266 140721619719266 140721619726283 0
/proc/324772/statm: 175964 151907 468 659 0 175168 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 713788 KiB
Current children cumulated memory: 610236 KiB

Child status: 10

Real time (s): 3609.31
CPU time (s): 3600.07
CPU user time (s): 3598.01
CPU system time (s): 2.06374
CPU usage (%): 99.7441
Max. virtual memory (cumulated for all children) (KiB): 946196
Max. memory (cumulated for all children) (KiB): 757392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.01
system time used= 2.06374
maximum resident set size= 756892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131310
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= 194
involuntary context switches= 4331


# summary of solver processes directly reported to runsolver:
#   pid: 324757,324772
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.01
#   total CPU system time (s): 2.06374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10815 second user time and 20.7112 second system time

The end