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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456018-1721718387/watcher-4456018-1721718387 -o /tmp/evaluation-result-4456018-1721718387/solver-4456018-1721718387 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721718386-88104 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4456018-1721718387.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=88178, runsolver pid=88167

[startup+0.100083 s]*
/proc/loadavg: 1.45 1.91 2.03 8/261 88185
/proc/meminfo: memFree=107689456/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=17420 memory=15668 CPUtime=0.09 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 3867 0 0 0 9 0 0 0 20 0 1 0 8362843 17838080 3917 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 4355 3917 421 379 0 3889 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 27352 KiB
Current children cumulated memory: 18424 KiB

[startup+0.205267 s]*
/proc/loadavg: 1.45 1.91 2.03 9/261 88185
/proc/meminfo: memFree=107655860/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=21788 memory=18240 CPUtime=0.2 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 4012 0 0 0 20 0 0 0 20 0 1 0 8362843 22310912 4560 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 5447 4560 421 379 0 4981 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31720 KiB
Current children cumulated memory: 20996 KiB

[startup+0.3052 s]*
/proc/loadavg: 1.45 1.91 2.03 8/261 88185
/proc/meminfo: memFree=107644628/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=28864 memory=23920 CPUtime=0.3 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 4401 0 0 0 30 0 0 0 20 0 1 0 8362843 29556736 5980 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 7216 5980 421 379 0 6750 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38796 KiB
Current children cumulated memory: 26676 KiB

[startup+0.700207 s]
/proc/loadavg: 1.45 1.91 2.03 9/261 88185
/proc/meminfo: memFree=107617220/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=30568 memory=26508 CPUtime=0.68 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 5484 0 0 0 68 0 0 0 20 0 1 0 8362843 31301632 6627 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 7642 6627 421 379 0 7176 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40500 KiB
Current children cumulated memory: 29264 KiB

[startup+1.50021 s]
/proc/loadavg: 1.45 1.91 2.03 8/260 88185
/proc/meminfo: memFree=107591512/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=60920 memory=50048 CPUtime=1.48 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 6302 0 0 0 147 1 0 0 20 0 1 0 8362843 62382080 12512 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 15230 12512 421 379 0 14764 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 70852 KiB
Current children cumulated memory: 52804 KiB

[startup+3.10497 s]
/proc/loadavg: 1.45 1.91 2.03 9/260 88185
/proc/meminfo: memFree=107508312/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=68168 memory=46996 CPUtime=3.08 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 6657 0 0 0 307 1 0 0 20 0 1 0 8362843 69804032 11749 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 17042 11749 421 379 0 16576 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 78100 KiB
Current children cumulated memory: 49752 KiB

[startup+6.3002 s]
/proc/loadavg: 1.65 1.95 2.04 8/260 88187
/proc/meminfo: memFree=107413296/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=74456 memory=63320 CPUtime=6.27 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 7913 0 0 0 624 3 0 0 20 0 1 0 8362843 76242944 15830 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 18614 15830 421 379 0 18148 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 84388 KiB
Current children cumulated memory: 66076 KiB

[startup+12.7002 s]
/proc/loadavg: 1.84 1.98 2.05 8/260 88187
/proc/meminfo: memFree=107371948/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=81528 memory=70332 CPUtime=12.64 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 8186 0 0 0 1261 3 0 0 20 0 1 0 8362843 83484672 17583 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 20382 17583 421 379 0 19916 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 91460 KiB
Current children cumulated memory: 73088 KiB

[startup+25.5002 s]
/proc/loadavg: 2.39 2.10 2.09 8/260 88190
/proc/meminfo: memFree=107298128/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=85948 memory=84820 CPUtime=25.39 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 9974 0 0 0 2535 4 0 0 20 0 1 0 8362843 88010752 21205 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 21487 21205 421 379 0 21021 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 95880 KiB
Current children cumulated memory: 87576 KiB

[startup+51.1051 s]
/proc/loadavg: 3.07 2.28 2.15 8/260 88193
/proc/meminfo: memFree=107195364/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=104864 memory=102356 CPUtime=50.9 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 11195 0 0 0 5083 7 0 0 20 0 1 0 8362843 107380736 25589 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 26216 25589 421 379 0 25750 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 114796 KiB
Current children cumulated memory: 105112 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.56 2.25 8/260 88201
/proc/meminfo: memFree=107139120/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=154184 memory=141384 CPUtime=101.91 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 15226 0 0 0 10172 19 0 0 20 0 1 0 8362843 157884416 35346 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 38546 35346 421 379 0 38080 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 164116 KiB
Current children cumulated memory: 144140 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 2.86 2.38 8/260 88211
/proc/meminfo: memFree=107090412/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=154184 memory=147528 CPUtime=161.7 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 18342 0 0 0 16138 32 0 0 20 0 1 0 8362843 157884416 36882 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 38546 36882 421 379 0 38080 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 164116 KiB
Current children cumulated memory: 150284 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 3.07 2.48 8/260 88223
/proc/meminfo: memFree=107086336/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=154184 memory=139336 CPUtime=221.48 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 23098 0 0 0 22103 45 0 0 20 0 1 0 8362843 157884416 34834 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 38546 34834 421 379 0 38080 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 164116 KiB

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

/proc/loadavg: 4.10 4.16 4.10 8/261 89760
/proc/meminfo: memFree=106388952/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291008 memory=272532 CPUtime=3091.4 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 203742 0 0 0 308778 362 0 0 20 0 1 0 8362843 297992192 68133 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72752 68133 421 379 0 72286 0
Current children cumulated CPU time: 3091.4 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 275288 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.10 8/260 89938
/proc/meminfo: memFree=106551472/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=240920 memory=222220 CPUtime=3151.18 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 206374 0 0 0 314751 367 0 0 20 0 1 0 8362843 246702080 55555 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 60230 55555 421 379 0 59764 0
Current children cumulated CPU time: 3151.18 s
Current children cumulated vsize: 250852 KiB
Current children cumulated memory: 224976 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.10 8/261 89949
/proc/meminfo: memFree=106429136/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291008 memory=250004 CPUtime=3210.95 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 208843 0 0 0 320723 372 0 0 20 0 1 0 8362843 297992192 62501 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72752 62501 421 379 0 72286 0
Current children cumulated CPU time: 3210.95 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 252760 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.12 4.09 8/263 89976
/proc/meminfo: memFree=106320980/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291008 memory=272532 CPUtime=3270.72 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 210580 0 0 0 326697 375 0 0 20 0 1 0 8362843 297992192 68133 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72752 68133 421 379 0 72286 0
Current children cumulated CPU time: 3270.72 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 275288 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 8/263 89987
/proc/meminfo: memFree=106422532/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=240920 memory=216076 CPUtime=3330.49 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 213128 0 0 0 332671 378 0 0 20 0 1 0 8362843 246702080 54019 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 60230 54019 421 379 0 59764 0
Current children cumulated CPU time: 3330.49 s
Current children cumulated vsize: 250852 KiB
Current children cumulated memory: 218832 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 8/263 89997
/proc/meminfo: memFree=106233308/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291008 memory=243860 CPUtime=3390.26 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 215686 0 0 0 338643 383 0 0 20 0 1 0 8362843 297992192 60965 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72752 60965 421 379 0 72286 0
Current children cumulated CPU time: 3390.26 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 246616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 8/262 90008
/proc/meminfo: memFree=106468824/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291008 memory=264484 CPUtime=3450.03 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 217421 0 0 0 344617 386 0 0 20 0 1 0 8362843 297992192 66121 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72752 66121 421 379 0 72286 0
Current children cumulated CPU time: 3450.03 s
Current children cumulated vsize: 300940 KiB
Current children cumulated memory: 267240 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 8/261 90019
/proc/meminfo: memFree=106273200/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=291308 memory=282988 CPUtime=3509.8 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 219140 0 0 0 350592 388 0 0 20 0 1 0 8362843 298299392 70747 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 72827 70747 421 379 0 72361 0
Current children cumulated CPU time: 3509.8 s
Current children cumulated vsize: 301240 KiB
Current children cumulated memory: 285744 KiB

[startup+3582.3 s]
/proc/loadavg: 5.01 4.31 4.16 8/259 90031
/proc/meminfo: memFree=106345632/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=241708 memory=231108 CPUtime=3569.56 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 221791 0 0 0 356564 392 0 0 20 0 1 0 8362843 247508992 57777 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 60427 57777 421 379 0 59961 0
Current children cumulated CPU time: 3569.56 s
Current children cumulated vsize: 251640 KiB
Current children cumulated memory: 233864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.9 s]
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107188800/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=292356 memory=281876 CPUtime=3600.05 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 222725 0 0 0 359611 394 0 0 20 0 1 0 8362843 299372544 70469 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 73089 70469 421 379 0 72623 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 302288 KiB
Current children cumulated memory: 284632 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.12 s, system=3.94721 s

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

[startup+3612.9 s]
/proc/loadavg: 5.32 4.47 4.22 5/259 90186
/proc/meminfo: memFree=107188800/131524600 swapFree=131071996/131071996
[pid=88178] ppid=88167 vsize=9932 memory=2756 CPUtime=0 cores=0,2
/proc/88178/stat : 88178 (naps-1.02b5.sh) S 88167 88178 88094 0 -1 4194304 219 239 0 0 0 0 0 0 20 0 1 0 8362843 10170368 689 134679101440 94575307698176 94575308777496 140729811102992 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94575310875952 94575310923140 94575324848128 140729811108831 140729811108958 140729811108958 140729811115974 0
/proc/88178/statm: 2483 689 610 264 0 134 0
[pid=88185] ppid=88178 vsize=292356 memory=281876 CPUtime=3600.05 cores=0,2
/proc/88185/stat : 88185 (naps-1.02b5) R 88178 88178 88094 0 -1 4194304 222725 0 0 0 359611 394 0 0 20 0 1 0 8362843 299372544 70469 134679101440 4194304 5746509 140729790758704 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 16744448 140729790759918 140729790760032 140729790760032 140729790767049 0
/proc/88185/statm: 73089 70469 421 379 0 72623 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 302288 KiB
Current children cumulated memory: 284632 KiB

Child status: 10

Real time (s): 3612.9
CPU time (s): 3600.07
CPU user time (s): 3596.12
CPU system time (s): 3.94721
CPU usage (%): 99.6447
Max. virtual memory (cumulated for all children) (KiB): 381080
Max. memory (cumulated for all children) (KiB): 321272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.12
system time used= 3.94721
maximum resident set size= 323168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223198
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= 28
involuntary context switches= 25222


# summary of solver processes directly reported to runsolver:
#   pid: 88178
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3596.12
#   total CPU system time (s): 3.94721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79279 second user time and 16.6606 second system time

The end