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-3257637-1303470192/watcher-3257637-1303470192 -o /tmp/evaluation-result-3257637-1303470192/solver-3257637-1303470192 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3257637-1303470192.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: 4.04 4.07 3.72 5/213 18052
/proc/meminfo: memFree=15515904/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 918 0 0 0 0 0 0 0 25 0 8 0 439434493 105066496 826 33554432000 4194304 7232020 140734057225200 18446744073709551615 254261277381 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 25651 826 637 742 0 18222 0
[pid=18052/tid=18053] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 826 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 826 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 826 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 826 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 827 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 829 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=102604 CPUtime=0 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 8 0 439434494 105066496 829 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[startup+0.0433281 s]
/proc/loadavg: 4.04 4.07 3.72 5/213 18052
/proc/meminfo: memFree=15515904/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=108436 CPUtime=0.03 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 2095 0 0 0 3 0 0 0 25 0 9 0 439434493 111038464 1997 33554432000 4194304 7232020 140734057225200 18446744073709551615 6230302 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 27109 2000 975 742 0 19680 0
[pid=18052/tid=18053] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2001 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) R 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2003 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) R 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2005 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2006 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2006 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2006 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=108436 CPUtime=0 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) R 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 111038464 2006 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 108436
[startup+0.101316 s]
/proc/loadavg: 4.04 4.07 3.72 5/213 18052
/proc/meminfo: memFree=15515904/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=110528 CPUtime=0.09 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 2451 0 0 0 9 0 0 0 18 0 9 0 439434493 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 6173370 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 27632 2353 975 742 0 20203 0
[pid=18052/tid=18053] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) R 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 0 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=110528 CPUtime=0 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 9 0 439434494 113180672 2353 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 110528
[startup+0.3013 s]
/proc/loadavg: 4.04 4.07 3.72 5/213 18052
/proc/meminfo: memFree=15515904/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=114372 CPUtime=0.29 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 3478 0 0 0 29 0 0 0 18 0 9 0 439434493 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081499675 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 28593 3380 975 742 0 21164 0
[pid=18052/tid=18053] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=114372 CPUtime=0 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 9 0 439434494 117116928 3380 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114372
[startup+0.701181 s]
/proc/loadavg: 4.04 4.07 3.72 5/213 18052
/proc/meminfo: memFree=15515904/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=121308 CPUtime=0.71 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 5088 0 0 0 70 1 0 0 18 0 9 0 439434493 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081528849 0 0 4096 545260780 18446744073709551615 0 0 17 3 0 0 0
/proc/18052/statm: 30327 4990 994 742 0 22898 0
[pid=18052/tid=18053] ppid=18050 vsize=121308 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=121308 CPUtime=0.01 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=121308 CPUtime=0 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=121308 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=121308 CPUtime=0.01 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=121308 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=121308 CPUtime=0 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 439434494 124219392 4990 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 121308
[startup+1.50108 s]
/proc/loadavg: 4.04 4.07 3.72 5/222 18061
/proc/meminfo: memFree=15414408/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=256568 CPUtime=1.54 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 38152 0 0 0 150 4 0 0 18 0 9 0 439434493 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812080 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 64142 38054 1024 742 0 56713 0
[pid=18052/tid=18053] ppid=18050 vsize=256568 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=256568 CPUtime=0.02 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 2 0 0 0 16 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=256568 CPUtime=0.01 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=256568 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=256568 CPUtime=0.02 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=256568 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=256568 CPUtime=0.01 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=256568 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 262725632 38054 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 256568
[startup+3.10079 s]
/proc/loadavg: 4.04 4.07 3.72 7/222 18061
/proc/meminfo: memFree=15360520/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=256888 CPUtime=3.16 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 38660 0 0 0 312 4 0 0 21 0 9 0 439434493 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812016 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 64222 38562 1024 742 0 56793 0
[pid=18052/tid=18053] ppid=18050 vsize=256888 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=256888 CPUtime=0.02 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=256888 CPUtime=0.02 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=256888 CPUtime=0 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=256888 CPUtime=0.03 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 3 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=256888 CPUtime=0 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=256888 CPUtime=0.01 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=256888 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 263053312 38562 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.16
Current children cumulated vsize (KiB) 256888
[startup+6.30122 s]
/proc/loadavg: 4.03 4.07 3.72 5/222 18062
/proc/meminfo: memFree=15347128/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=257080 CPUtime=6.38 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 39361 0 0 0 634 4 0 0 25 0 9 0 439434493 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812057 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 64270 39263 1025 742 0 56841 0
[pid=18052/tid=18053] ppid=18050 vsize=257080 CPUtime=0 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 9 0 439434494 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=257080 CPUtime=0.04 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 439434494 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=257080 CPUtime=0.02 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 2 0 0 0 15 0 9 0 439434494 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=257080 CPUtime=0.01 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 1 0 0 0 15 0 9 0 439434494 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=257080 CPUtime=0.04 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 4 0 0 0 15 0 9 0 439434494 263249920 39263 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 213 0 0 0 15 0 9 0 439434494 578654208 104884 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=565092 CPUtime=1.98 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 198 0 0 0 16 0 9 0 439434494 578654208 104884 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=565092 CPUtime=2.21 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 221 0 0 0 15 0 9 0 439434494 578654208 104884 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=565092 CPUtime=2.15 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 215 0 0 0 15 0 9 0 439434494 578654208 104884 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=565092 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 578654208 104884 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 950.39
Current children cumulated vsize (KiB) 565092
[startup+1002.3 s]
/proc/loadavg: 4.00 4.04 3.92 5/222 18088
/proc/meminfo: memFree=13985616/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=565092 CPUtime=1010.51 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 215998 0 0 0 101013 38 0 0 25 0 9 0 439434493 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081815724 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 141273 114543 1036 742 0 133844 0
[pid=18052/tid=18053] ppid=18050 vsize=565092 CPUtime=1.94 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 194 0 0 0 16 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=565092 CPUtime=2.23 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 223 0 0 0 15 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=565092 CPUtime=2.13 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 213 0 0 0 15 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=565092 CPUtime=2.18 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 218 0 0 0 16 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=565092 CPUtime=1.98 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 198 0 0 0 15 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=565092 CPUtime=2.25 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 225 0 0 0 16 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=565092 CPUtime=2.16 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 216 0 0 0 15 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=565092 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 578654208 114543 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1010.51
Current children cumulated vsize (KiB) 565092
[startup+1062.3 s]
/proc/loadavg: 4.00 4.03 3.92 5/222 18090
/proc/meminfo: memFree=13928308/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=581924 CPUtime=1070.55 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 221130 0 0 0 107016 39 0 0 25 0 9 0 439434493 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081811446 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 145481 119675 1036 742 0 138052 0
[pid=18052/tid=18053] ppid=18050 vsize=581924 CPUtime=1.98 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 198 0 0 0 16 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=581924 CPUtime=2.24 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 224 0 0 0 16 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=581924 CPUtime=2.16 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 216 0 0 0 16 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=581924 CPUtime=2.18 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 218 0 0 0 15 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=581924 CPUtime=1.98 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 198 0 0 0 16 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=581924 CPUtime=2.27 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 227 0 0 0 15 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=581924 CPUtime=2.16 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 216 0 0 0 15 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=581924 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 595890176 119675 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1070.55
Current children cumulated vsize (KiB) 581924
[startup+1122.3 s]
/proc/loadavg: 4.07 4.04 3.93 5/222 18091
/proc/meminfo: memFree=14252660/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=647844 CPUtime=1130.66 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 237520 0 0 0 113024 42 0 0 25 0 9 0 439434493 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812073 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 161961 136065 1036 742 0 154532 0
[pid=18052/tid=18053] ppid=18050 vsize=647844 CPUtime=1.99 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 199 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=647844 CPUtime=2.25 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 225 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=647844 CPUtime=2.16 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 216 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=647844 CPUtime=2.25 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 225 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=647844 CPUtime=2.04 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 204 0 0 0 16 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=647844 CPUtime=2.3 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 230 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=647844 CPUtime=2.18 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 218 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=647844 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 663392256 136065 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1130.66
Current children cumulated vsize (KiB) 647844
[startup+1182.3 s]
/proc/loadavg: 4.09 4.05 3.94 5/222 18093
/proc/meminfo: memFree=14245952/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=672804 CPUtime=1191 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 242839 0 0 0 119057 43 0 0 25 0 9 0 439434493 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812556 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 168201 141384 1036 742 0 160772 0
[pid=18052/tid=18053] ppid=18050 vsize=672804 CPUtime=2.04 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 204 0 0 0 15 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=672804 CPUtime=2.32 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 232 0 0 0 16 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=672804 CPUtime=2.29 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 229 0 0 0 15 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=672804 CPUtime=2.3 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 230 0 0 0 15 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=672804 CPUtime=2.19 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 219 0 0 0 16 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=672804 CPUtime=2.38 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 238 0 0 0 16 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=672804 CPUtime=2.28 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 228 0 0 0 15 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=672804 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 688951296 141384 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1191
Current children cumulated vsize (KiB) 672804
[startup+1242.3 s]
/proc/loadavg: 4.03 4.04 3.94 5/222 18095
/proc/meminfo: memFree=14136056/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=681252 CPUtime=1251.66 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 246768 0 0 0 125123 43 0 0 25 0 9 0 439434493 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081812057 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 170313 145313 1036 742 0 162884 0
[pid=18052/tid=18053] ppid=18050 vsize=681252 CPUtime=2.23 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 223 0 0 0 16 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=681252 CPUtime=2.57 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 257 0 0 0 16 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=681252 CPUtime=2.45 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 245 0 0 0 16 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=681252 CPUtime=2.47 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 247 0 0 0 15 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=681252 CPUtime=2.36 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 236 0 0 0 16 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=681252 CPUtime=2.59 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 259 0 0 0 16 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=681252 CPUtime=2.41 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 241 0 0 0 15 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=681252 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 697602048 145313 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1251.66
Current children cumulated vsize (KiB) 681252
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.71 3.70 3.83 2/180 18150
/proc/meminfo: memFree=15173440/32951124 swapFree=67111528/67111528
[pid=18052] ppid=18050 vsize=690852 CPUtime=1309.77 cores=1,3
/proc/18052/stat : 18052 (mono) R 18050 18052 17709 0 -1 4202496 247727 0 0 0 130934 43 0 0 25 0 9 0 439434493 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 1081821796 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/18052/statm: 172713 146272 1036 742 0 165284 0
[pid=18052/tid=18053] ppid=18050 vsize=690852 CPUtime=2.3 cores=1,3
/proc/18052/task/18053/stat : 18053 (mono) S 18050 18052 17709 0 -1 4202560 4 0 0 0 230 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18054] ppid=18050 vsize=690852 CPUtime=2.72 cores=1,3
/proc/18052/task/18054/stat : 18054 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 272 0 0 0 16 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18055] ppid=18050 vsize=690852 CPUtime=2.49 cores=1,3
/proc/18052/task/18055/stat : 18055 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 249 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 3 0 0 0
[pid=18052/tid=18056] ppid=18050 vsize=690852 CPUtime=2.63 cores=1,3
/proc/18052/task/18056/stat : 18056 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 263 0 0 0 16 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18057] ppid=18050 vsize=690852 CPUtime=2.46 cores=1,3
/proc/18052/task/18057/stat : 18057 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 246 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18058] ppid=18050 vsize=690852 CPUtime=2.67 cores=1,3
/proc/18052/task/18058/stat : 18058 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 267 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18059] ppid=18050 vsize=690852 CPUtime=2.52 cores=1,3
/proc/18052/task/18059/stat : 18059 (mono) S 18050 18052 17709 0 -1 4202560 2 0 0 0 252 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273432473 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
[pid=18052/tid=18061] ppid=18050 vsize=690852 CPUtime=0 cores=1,3
/proc/18052/task/18061/stat : 18061 (mono) S 18050 18052 17709 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 9 0 439434494 707432448 146272 33554432000 4194304 7232020 140734057225200 18446744073709551615 254273440177 0 0 4096 545260780 18446604454225508352 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1309.77
Current children cumulated vsize (KiB) 690852
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.04
CPU time (s): 1309.81
CPU user time (s): 1309.35
CPU system time (s): 0.463929
CPU usage (%): 100.752
Max. virtual memory (cumulated for all children) (KiB): 690852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1309.35
system time used= 0.463929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247727
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= 18882
involuntary context switches= 6506
runsolver used 2.04169 second user time and 5.09123 second system time
The end