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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426207-1720901794/watcher-4426207-1720901794 -o /tmp/evaluation-result-4426207-1720901794/solver-4426207-1720901794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1720901806-721179 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426207-1720901794.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=721239, runsolver pid=721236

[startup+0.100059 s]*
/proc/loadavg: 0.24 0.12 0.10 5/258 721258
/proc/meminfo: memFree=129766272/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=23140 memory=19964 CPUtime=0.09 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 5133 0 0 0 9 0 0 0 20 0 1 0 142346492 23695360 4991 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 5785 4991 468 659 0 4989 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33072 KiB
Current children cumulated memory: 22572 KiB

[startup+0.205681 s]*
/proc/loadavg: 0.24 0.12 0.10 5/258 721258
/proc/meminfo: memFree=129731268/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=30372 memory=27092 CPUtime=0.2 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 6882 0 0 0 20 0 0 0 20 0 1 0 142346492 31100928 6773 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 7593 6773 468 659 0 6797 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40304 KiB
Current children cumulated memory: 29700 KiB

[startup+0.305902 s]*
/proc/loadavg: 0.24 0.12 0.10 5/258 721258
/proc/meminfo: memFree=129691836/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=36388 memory=31248 CPUtime=0.29 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 7400 0 0 0 29 0 0 0 20 0 1 0 142346492 37261312 7812 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 9097 7812 468 659 0 8301 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46320 KiB
Current children cumulated memory: 33856 KiB

[startup+0.700271 s]
/proc/loadavg: 0.24 0.12 0.10 5/258 721258
/proc/meminfo: memFree=129659396/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=39108 memory=36196 CPUtime=0.69 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 8150 0 0 0 68 1 0 0 20 0 1 0 142346492 40046592 9049 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 9777 9049 468 659 0 8981 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49040 KiB
Current children cumulated memory: 38804 KiB

[startup+1.50023 s]
/proc/loadavg: 0.24 0.12 0.10 5/258 721258
/proc/meminfo: memFree=129583676/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=40784 memory=33204 CPUtime=1.48 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 8863 0 0 0 147 1 0 0 20 0 1 0 142346492 41762816 8301 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 10196 8301 468 659 0 9400 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 50716 KiB
Current children cumulated memory: 35812 KiB

[startup+3.10561 s]
/proc/loadavg: 0.24 0.12 0.10 5/258 721308
/proc/meminfo: memFree=128898488/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=48320 memory=44068 CPUtime=3.08 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 10060 0 0 0 307 1 0 0 20 0 1 0 142346492 49479680 11017 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 12080 11017 468 659 0 11284 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58252 KiB
Current children cumulated memory: 46676 KiB

[startup+6.30025 s]
/proc/loadavg: 0.62 0.20 0.13 5/259 721311
/proc/meminfo: memFree=127293760/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=66996 memory=62256 CPUtime=6.26 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 10810 0 0 0 625 1 0 0 20 0 1 0 142346492 68603904 15564 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 16749 15564 468 659 0 15953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76928 KiB
Current children cumulated memory: 64864 KiB

[startup+12.7003 s]
/proc/loadavg: 1.05 0.29 0.16 5/259 721311
/proc/meminfo: memFree=125186216/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=66996 memory=64392 CPUtime=12.65 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 11016 0 0 0 1263 2 0 0 20 0 1 0 142346492 68603904 16098 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 16749 16098 468 659 0 15953 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 76928 KiB
Current children cumulated memory: 67000 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 0.53 0.24 6/259 721312
/proc/meminfo: memFree=124735280/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=105476 memory=84812 CPUtime=25.41 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 11571 0 0 0 2539 2 0 0 20 0 1 0 142346492 108007424 21203 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 26369 21203 468 659 0 25573 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 115408 KiB
Current children cumulated memory: 87420 KiB

[startup+51.1058 s]
/proc/loadavg: 2.75 0.84 0.35 5/259 721317
/proc/meminfo: memFree=121742268/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=105476 memory=102776 CPUtime=50.94 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 12032 0 0 0 5091 3 0 0 20 0 1 0 142346492 108007424 25694 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 26369 25694 468 659 0 25573 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 115408 KiB
Current children cumulated memory: 105384 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.34 0.55 5/259 721474
/proc/meminfo: memFree=121804512/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=105476 memory=102776 CPUtime=101.96 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 13681 0 0 0 10190 6 0 0 20 0 1 0 142346492 108007424 25694 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 26369 25694 468 659 0 25573 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 115408 KiB
Current children cumulated memory: 105384 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 1.91 0.79 5/259 721535
/proc/meminfo: memFree=120929720/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=117508 memory=114808 CPUtime=161.75 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 15492 0 0 0 16165 10 0 0 20 0 1 0 142346492 120328192 28702 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 29377 28702 468 659 0 28581 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 127440 KiB
Current children cumulated memory: 117416 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 2.33 1.01 5/262 721550
/proc/meminfo: memFree=120878392/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=117508 memory=115076 CPUtime=221.55 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 16859 0 0 0 22141 14 0 0 20 0 1 0 142346492 120328192 28769 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 29377 28769 468 659 0 28581 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 127440 KiB

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

/proc/loadavg: 4.16 4.12 4.01 5/259 723233
/proc/meminfo: memFree=120387600/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=215944 CPUtime=3032.25 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 76968 0 0 0 303107 118 0 0 20 0 1 0 142346492 272543744 53986 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 53986 468 659 0 65743 0
Current children cumulated CPU time: 3032.25 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 218552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.11 4.01 5/259 723243
/proc/meminfo: memFree=120284868/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=232428 CPUtime=3092.05 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 77034 0 0 0 309086 119 0 0 20 0 1 0 142346492 272543744 58107 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 58107 468 659 0 65743 0
Current children cumulated CPU time: 3092.05 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 235036 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.14 4.02 5/258 723253
/proc/meminfo: memFree=120314360/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=216068 memory=196408 CPUtime=3151.85 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 77998 0 0 0 315065 120 0 0 20 0 1 0 142346492 221253632 49102 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 54017 49102 468 659 0 53221 0
Current children cumulated CPU time: 3151.85 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 199016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.14 4.03 5/260 723267
/proc/meminfo: memFree=120284400/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=217992 CPUtime=3211.65 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 78374 0 0 0 321045 120 0 0 20 0 1 0 142346492 272543744 54498 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 54498 468 659 0 65743 0
Current children cumulated CPU time: 3211.65 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 220600 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.14 4.04 5/260 723278
/proc/meminfo: memFree=120303552/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=236524 CPUtime=3271.46 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 78443 0 0 0 327025 121 0 0 20 0 1 0 142346492 272543744 59131 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 59131 468 659 0 65743 0
Current children cumulated CPU time: 3271.46 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 239132 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.11 4.03 5/260 723288
/proc/meminfo: memFree=120338892/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=216068 memory=202552 CPUtime=3331.25 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 79412 0 0 0 333002 123 0 0 20 0 1 0 142346492 221253632 50638 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 54017 50638 468 659 0 53221 0
Current children cumulated CPU time: 3331.25 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 205160 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.11 4.03 5/260 723299
/proc/meminfo: memFree=120229116/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=222188 CPUtime=3391.05 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 79775 0 0 0 338982 123 0 0 20 0 1 0 142346492 272543744 55547 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 55547 468 659 0 65743 0
Current children cumulated CPU time: 3391.05 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 224796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.04 5/260 723310
/proc/meminfo: memFree=120215752/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=236524 CPUtime=3450.86 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 79843 0 0 0 344962 124 0 0 20 0 1 0 142346492 272543744 59131 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 59131 468 659 0 65743 0
Current children cumulated CPU time: 3450.86 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 239132 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.04 5/258 723320
/proc/meminfo: memFree=120386880/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=216068 memory=200504 CPUtime=3510.65 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 80812 0 0 0 350940 125 0 0 20 0 1 0 142346492 221253632 50126 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 54017 50126 468 659 0 53221 0
Current children cumulated CPU time: 3510.65 s
Current children cumulated vsize: 226000 KiB
Current children cumulated memory: 203112 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.13 4.05 5/258 723330
/proc/meminfo: memFree=120242456/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=266156 memory=234476 CPUtime=3570.45 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 81189 0 0 0 356919 126 0 0 20 0 1 0 142346492 272543744 58619 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 66539 58619 468 659 0 65743 0
Current children cumulated CPU time: 3570.45 s
Current children cumulated vsize: 276088 KiB
Current children cumulated memory: 237084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612 s]*
/proc/loadavg: 4.11 4.12 4.04 4/250 723366
/proc/meminfo: memFree=120691708/131524600 swapFree=131071996/131071996
[pid=721239] ppid=721236 vsize=9932 memory=2608 CPUtime=0 cores=0,2
/proc/721239/stat : 721239 (naps-1.03.sh) S 721236 721239 721169 0 -1 4194304 219 243 0 0 0 0 0 0 20 0 1 0 142346492 10170368 652 134679101440 94401407606784 94401408686104 140735068105168 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94401410784560 94401410831748 94401442004992 140735068111788 140735068111917 140735068111917 140735068118984 0
/proc/721239/statm: 2483 652 573 264 0 134 0
[pid=721244] ppid=721239 vsize=185248 memory=175660 CPUtime=3600.06 cores=0,2
/proc/721244/stat : 721244 (naps-1.03) R 721239 721239 721169 0 -1 4194304 81514 0 0 0 359879 127 0 0 20 0 1 0 142346492 189693952 43915 134679101440 4194304 6891213 140735687533008 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 23113728 140735687541693 140735687541809 140735687541809 140735687548875 0
/proc/721244/statm: 46312 43915 468 659 0 45516 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 195180 KiB
Current children cumulated memory: 178268 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.8 s, system=1.27795 s

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

Child status: 10

Real time (s): 3612.01
CPU time (s): 3600.08
CPU user time (s): 3598.8
CPU system time (s): 1.27795
CPU usage (%): 99.6697
Max. virtual memory (cumulated for all children) (KiB): 325408
Max. memory (cumulated for all children) (KiB): 246240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.8
system time used= 1.27795
maximum resident set size= 282768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81990
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= 26
involuntary context switches= 24684


# summary of solver processes directly reported to runsolver:
#   pid: 721239
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.8
#   total CPU system time (s): 1.27795

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01244 second user time and 17.9199 second system time

The end