runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3257329-1303468847/watcher-3257329-1303468847 -o /tmp/evaluation-result-3257329-1303468847/solver-3257329-1303468847 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3257329-1303468847.cnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.63 2.17 2.53 4/200 17776
/proc/meminfo: memFree=15738832/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 915 0 0 0 0 0 0 0 22 0 8 0 439300042 105066496 823 33554432000 4194304 7232020 140736081785680 18446744073709551615 254261277381 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 25651 823 637 742 0 18222 0
[pid=17776/tid=17777] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 8 0 439300042 105066496 823 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 439300042 105066496 823 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 8 0 439300042 105066496 823 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 439300042 105066496 823 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 439300042 105066496 824 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 439300042 105066496 826 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=102604 CPUtime=0 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 439300042 105066496 826 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[startup+0.0283379 s]
/proc/loadavg: 1.63 2.17 2.53 4/200 17776
/proc/meminfo: memFree=15738832/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=107796 CPUtime=0.02 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 1952 0 0 0 2 0 0 0 24 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 1084367951 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/17776/statm: 26949 1854 975 742 0 19520 0
[pid=17776/tid=17777] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=107796 CPUtime=0 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 110383104 1854 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 107796
[startup+0.101469 s]
/proc/loadavg: 1.63 2.17 2.53 4/200 17776
/proc/meminfo: memFree=15738832/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=110756 CPUtime=0.1 cores=1,3
/proc/17776/stat : 17776 (mono) S 17774 17776 17709 0 -1 4202496 2578 0 0 0 10 0 0 0 18 0 9 0 439300042 113414144 2480 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/17776/statm: 27689 2480 975 742 0 20260 0
[pid=17776/tid=17777] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 9 0 439300042 113414144 2480 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) R 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) R 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) R 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=110756 CPUtime=0 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) R 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439300042 113414144 2510 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 110756
[startup+0.300291 s]
/proc/loadavg: 1.63 2.17 2.53 4/200 17776
/proc/meminfo: memFree=15738832/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=117808 CPUtime=0.32 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 4048 0 0 0 32 0 0 0 18 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 1084368689 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 29452 3950 975 742 0 22023 0
[pid=17776/tid=17777] ppid=17774 vsize=117808 CPUtime=0 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=117808 CPUtime=0.01 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=117808 CPUtime=0.01 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=117808 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=117808 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=117808 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=117808 CPUtime=0.01 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 439300042 120635392 3950 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 117808
[startup+0.701258 s]
/proc/loadavg: 1.63 2.17 2.53 4/200 17776
/proc/meminfo: memFree=15738832/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=204536 CPUtime=0.77 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 24164 0 0 0 74 3 0 0 18 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 1084393568 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 51134 24066 999 742 0 43705 0
[pid=17776/tid=17777] ppid=17774 vsize=204536 CPUtime=0.01 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 1 0 0 0 17 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=204536 CPUtime=0.02 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 2 0 0 0 17 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=204536 CPUtime=0.03 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 17 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=204536 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=204536 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=204536 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=204536 CPUtime=0.03 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439300042 209444864 24066 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 204536
[startup+1.50112 s]
/proc/loadavg: 1.63 2.17 2.53 4/209 17785
/proc/meminfo: memFree=15627416/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=238008 CPUtime=1.56 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 33456 0 0 0 152 4 0 0 19 0 9 0 439300042 243720192 33358 33554432000 4194304 7232020 140736081785680 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 59502 33359 999 742 0 52073 0
[pid=17776/tid=17777] ppid=17774 vsize=238008 CPUtime=0.01 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 1 0 0 0 17 0 9 0 439300042 243720192 33359 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=238008 CPUtime=0.02 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 2 0 0 0 17 0 9 0 439300042 243720192 33362 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=238008 CPUtime=0.03 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 17 0 9 0 439300042 243720192 33363 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=238008 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 439300042 243720192 33363 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=238008 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 439300042 243720192 33364 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=238008 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 439300042 243720192 33364 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=238008 CPUtime=0.03 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439300042 243720192 33365 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=238008 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 9 0 439300043 243720192 33365 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 238008
[startup+3.10083 s]
/proc/loadavg: 1.63 2.17 2.53 4/209 17785
/proc/meminfo: memFree=15591208/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=254984 CPUtime=3.19 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 38850 0 0 0 314 5 0 0 20 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179098540 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 63746 38752 1024 742 0 56317 0
[pid=17776/tid=17777] ppid=17774 vsize=254984 CPUtime=0.02 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=254984 CPUtime=0.02 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=254984 CPUtime=0.03 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=254984 CPUtime=0.03 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439300042 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 261103616 38752 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 254984
[startup+6.30127 s]
/proc/loadavg: 1.82 2.20 2.54 5/222 17803
/proc/meminfo: memFree=15484728/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=254984 CPUtime=6.39 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 38859 0 0 0 634 5 0 0 25 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179099068 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 63746 38761 1024 742 0 56317 0
[pid=17776/tid=17777] ppid=17774 vsize=254984 CPUtime=0.02 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=254984 CPUtime=0.02 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=254984 CPUtime=0.03 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=254984 CPUtime=0 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439300042 261103616 38761 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 61 0 0 0 15 0 9 0 439300042 630407168 127287 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=615632 CPUtime=0.61 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 61 0 0 0 15 0 9 0 439300042 630407168 127287 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=615632 CPUtime=0.56 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 56 0 0 0 15 0 9 0 439300042 630407168 127287 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=615632 CPUtime=0.7 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 70 0 0 0 16 0 9 0 439300042 630407168 127287 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=615632 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 630407168 127287 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 944.94
Current children cumulated vsize (KiB) 615632
[startup+1002.3 s]
/proc/loadavg: 4.06 4.02 3.55 5/222 17829
/proc/meminfo: memFree=14556332/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1005.07 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 176151 0 0 0 100477 30 0 0 25 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179113519 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 86091 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=0.81 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 81 0 0 0 16 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.67 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 67 0 0 0 15 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=0.8 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 80 0 0 0 15 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.66 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 66 0 0 0 16 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.66 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 66 0 0 0 15 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.64 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 64 0 0 0 15 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=0.73 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 73 0 0 0 16 0 9 0 439300042 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 86091 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1005.07
Current children cumulated vsize (KiB) 624656
[startup+1062.3 s]
/proc/loadavg: 4.02 4.02 3.57 5/222 17831
/proc/meminfo: memFree=14473724/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1065.26 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 185515 0 0 0 106493 33 0 0 25 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179113333 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 89584 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=0.84 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 84 0 0 0 15 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.72 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 72 0 0 0 15 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=0.84 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 84 0 0 0 15 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.72 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 72 0 0 0 16 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.72 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 72 0 0 0 16 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.67 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 67 0 0 0 15 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=0.76 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 76 0 0 0 15 0 9 0 439300042 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 89584 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1065.26
Current children cumulated vsize (KiB) 624656
[startup+1122.3 s]
/proc/loadavg: 4.56 4.16 3.65 5/222 17832
/proc/meminfo: memFree=14358768/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1125.54 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 195465 0 0 0 112519 35 0 0 25 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179094944 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 97692 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=0.92 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 92 0 0 0 15 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.76 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 76 0 0 0 16 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=0.92 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 92 0 0 0 16 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.77 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 77 0 0 0 16 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.77 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 77 0 0 0 15 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.75 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 75 0 0 0 15 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=0.85 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 85 0 0 0 15 0 9 0 439300042 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 97692 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1125.54
Current children cumulated vsize (KiB) 624656
[startup+1182.3 s]
/proc/loadavg: 4.21 4.13 3.67 5/222 17834
/proc/meminfo: memFree=14513496/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1185.77 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 202932 0 0 0 118541 36 0 0 25 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179113333 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 105032 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=0.97 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 97 0 0 0 15 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.83 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 83 0 0 0 16 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=0.97 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 97 0 0 0 15 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.83 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 83 0 0 0 16 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.82 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 82 0 0 0 16 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.85 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 85 0 0 0 16 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=0.89 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 89 0 0 0 15 0 9 0 439300042 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 105032 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1185.77
Current children cumulated vsize (KiB) 624656
[startup+1242.3 s]
/proc/loadavg: 4.07 4.10 3.68 5/222 17845
/proc/meminfo: memFree=14429852/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1245.94 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 210857 0 0 0 124556 38 0 0 25 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179094721 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 112784 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=1.01 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 101 0 0 0 15 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.87 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 87 0 0 0 16 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=1.01 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 101 0 0 0 15 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.85 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 85 0 0 0 15 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.86 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 86 0 0 0 15 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.9 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 90 0 0 0 15 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=0.97 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 97 0 0 0 16 0 9 0 439300042 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 112784 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1245.94
Current children cumulated vsize (KiB) 624656
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.02 4.08 3.70 3/202 17848
/proc/meminfo: memFree=14783024/32951124 swapFree=67111528/67111528
[pid=17776] ppid=17774 vsize=624656 CPUtime=1303.85 cores=1,3
/proc/17776/stat : 17776 (mono) R 17774 17776 17709 0 -1 4202496 219273 0 0 0 130345 40 0 0 25 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 1179113522 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/17776/statm: 156164 121200 1035 742 0 148735 0
[pid=17776/tid=17777] ppid=17774 vsize=624656 CPUtime=1.03 cores=1,3
/proc/17776/task/17777/stat : 17777 (mono) S 17774 17776 17709 0 -1 4202560 4 0 0 0 103 0 0 0 15 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17778] ppid=17774 vsize=624656 CPUtime=0.95 cores=1,3
/proc/17776/task/17778/stat : 17778 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 95 0 0 0 16 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17779] ppid=17774 vsize=624656 CPUtime=1.08 cores=1,3
/proc/17776/task/17779/stat : 17779 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 108 0 0 0 16 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17780] ppid=17774 vsize=624656 CPUtime=0.9 cores=1,3
/proc/17776/task/17780/stat : 17780 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 90 0 0 0 15 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17781] ppid=17774 vsize=624656 CPUtime=0.87 cores=1,3
/proc/17776/task/17781/stat : 17781 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 87 0 0 0 16 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 3 0 0 0
[pid=17776/tid=17782] ppid=17774 vsize=624656 CPUtime=0.97 cores=1,3
/proc/17776/task/17782/stat : 17782 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 97 0 0 0 15 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17783] ppid=17774 vsize=624656 CPUtime=1.03 cores=1,3
/proc/17776/task/17783/stat : 17783 (mono) S 17774 17776 17709 0 -1 4202560 2 0 0 0 103 0 0 0 15 0 9 0 439300042 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273432473 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
[pid=17776/tid=17785] ppid=17774 vsize=624656 CPUtime=0 cores=1,3
/proc/17776/task/17785/stat : 17785 (mono) S 17774 17776 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439300043 639647744 121200 33554432000 4194304 7232020 140736081785680 18446744073709551615 254273440177 0 0 4096 545260780 18446604471117036224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1303.85
Current children cumulated vsize (KiB) 624656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1303.89
CPU user time (s): 1303.46
CPU system time (s): 0.422935
CPU usage (%): 100.296
Max. virtual memory (cumulated for all children) (KiB): 624656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1303.46
system time used= 0.422935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219273
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= 14246
involuntary context switches= 7605
runsolver used 2.02669 second user time and 5.09323 second system time
The end