runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand753.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/icse/sarge-etch-lenny-squeeze/rand753.sarge-etch-lenny-squeeze.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/rand753.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.15 1.13 1.10 4/46 19179
/proc/meminfo: memFree=613616/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=10920 CPUtime=0.01
/proc/19179/stat : 19179 (java) R 19178 19178 2059 34821 2220 4202496 903 0 0 0 1 0 0 0 25 0 1 0 875913687 11182080 637 1283457024 134512640 134550932 4289838144 18446744073709551615 134526753 0 0 0 0 0 0 0 17 0 0 0 0
/proc/19179/statm: 2730 637 281 10 0 1104 0

[startup+0.186789 s]
/proc/loadavg: 1.15 1.13 1.10 4/46 19179
/proc/meminfo: memFree=613616/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=409676 CPUtime=0.18
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 3922 0 1 0 18 0 0 0 25 0 9 0 875913687 419508224 3387 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102419 3387 1850 10 0 96599 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412248

[startup+0.206784 s]
/proc/loadavg: 1.15 1.13 1.10 4/46 19179
/proc/meminfo: memFree=613616/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=409676 CPUtime=0.2
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 3984 0 1 0 20 0 0 0 25 0 9 0 875913687 419508224 3449 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102419 3449 1850 10 0 96599 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412248

[startup+0.306824 s]
/proc/loadavg: 1.15 1.13 1.10 4/46 19179
/proc/meminfo: memFree=613616/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=410108 CPUtime=0.3
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 4399 0 1 0 30 0 0 0 25 0 9 0 875913687 419950592 3864 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102527 3864 1876 10 0 96707 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412680

[startup+0.706992 s]
/proc/loadavg: 1.15 1.13 1.10 4/46 19179
/proc/meminfo: memFree=613616/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=410712 CPUtime=0.7
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 12934 0 1 0 67 3 0 0 25 0 9 0 875913687 420569088 12220 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102678 12220 2878 10 0 96858 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413284

[startup+1.50723 s]
/proc/loadavg: 1.13 1.13 1.10 2/55 19188
/proc/meminfo: memFree=554168/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=410844 CPUtime=1.49
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 28469 0 1 0 143 6 0 0 25 0 9 0 875913687 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102711 27755 2879 10 0 96891 0
[pid=19179/tid=19181] ppid=19178 vsize=410844 CPUtime=0.7
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 6778 0 1 0 68 2 0 0 25 0 9 0 875913688 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=410844 CPUtime=0.75
/proc/19179/task/19182/stat : 19182 (java) R 19178 19178 2059 34821 2220 4202560 20293 0 0 0 71 4 0 0 20 0 9 0 875913689 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4151968248 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 20 0 9 0 875913689 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 22 0 9 0 875913689 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=410844 CPUtime=0.02
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 463 0 0 0 2 0 0 0 16 0 9 0 875913690 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875913690 420704256 27755 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 413416

[startup+3.10752 s]
/proc/loadavg: 1.13 1.13 1.10 3/55 19188
/proc/meminfo: memFree=470468/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=410844 CPUtime=3.09
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 54168 0 1 0 295 14 0 0 25 0 9 0 875913687 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102711 53454 2879 10 0 96891 0
[pid=19179/tid=19181] ppid=19178 vsize=410844 CPUtime=1.22
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14027 0 1 0 118 4 0 0 25 0 9 0 875913688 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=410844 CPUtime=1.82
/proc/19179/task/19182/stat : 19182 (java) R 19178 19178 2059 34821 2220 4202560 38740 0 0 0 172 10 0 0 16 0 9 0 875913689 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4151889232 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 20 0 9 0 875913689 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 22 0 9 0 875913689 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=410844 CPUtime=0.02
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 466 0 0 0 2 0 0 0 15 0 9 0 875913690 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=410844 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875913690 420704256 53454 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413416

[startup+6.30852 s]
/proc/loadavg: 1.13 1.13 1.10 2/56 19189
/proc/meminfo: memFree=349560/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=411300 CPUtime=6.3
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 69719 0 1 0 612 18 0 0 25 0 10 0 875913687 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 102825 68985 2884 10 0 97005 0
[pid=19179/tid=19181] ppid=19178 vsize=411300 CPUtime=2.94
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14135 0 1 0 288 6 0 0 25 0 10 0 875913688 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4116180225 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=411300 CPUtime=3.29
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 54119 0 0 0 317 12 0 0 16 0 10 0 875913689 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=411300 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 526 0 0 0 5 0 0 0 15 0 10 0 875913690 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=411300 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 421171200 68985 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413872

[startup+12.7104 s]
/proc/loadavg: 1.11 1.13 1.10 2/56 19189
/proc/meminfo: memFree=325752/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=12.69
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 80292 0 1 0 1248 21 0 0 25 0 10 0 875913687 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74912 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=7.49
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 743 6 0 0 25 0 10 0 875913688 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4116112021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=5.13
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 64687 0 0 0 498 15 0 0 16 0 10 0 875913689 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74912 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 432324

[startup+25.5132 s]
/proc/loadavg: 1.17 1.14 1.10 2/56 19189
/proc/meminfo: memFree=325008/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=25.48
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 94232 0 1 0 2522 26 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=17.69
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 1763 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4116158808 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=7.72
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 78627 0 0 0 752 20 0 0 15 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) R 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 432324

Solver just ended. Dumping a history of the last processes samples

[startup+25.6032 s]
/proc/loadavg: 1.17 1.14 1.10 2/56 19189
/proc/meminfo: memFree=325008/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=25.57
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 94232 0 1 0 2531 26 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=17.78
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 1772 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4116160527 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=7.72
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 78627 0 0 0 752 20 0 0 15 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 432324

[startup+32.0046 s]
/proc/loadavg: 1.14 1.13 1.10 2/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=31.97
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 98876 0 1 0 3170 27 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=23.32
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 2326 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4115376504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=8.58
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 83271 0 0 0 837 21 0 0 15 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.97
Current children cumulated vsize (KiB) 432324

[startup+33.615 s]
/proc/loadavg: 1.14 1.13 1.10 2/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=418532 CPUtime=33.59
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 100715 0 1 0 3332 27 0 0 25 0 10 0 875913687 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 104633 72115 2883 10 0 98813 0
[pid=19179/tid=19181] ppid=19178 vsize=418532 CPUtime=24.7
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 2464 6 0 0 25 0 10 0 875913688 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=418532 CPUtime=8.81
/proc/19179/task/19182/stat : 19182 (java) R 19178 19178 2059 34821 2220 4202560 85110 0 0 0 860 21 0 0 16 0 10 0 875913689 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4150278131 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=418532 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=418532 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 428576768 72115 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33.59
Current children cumulated vsize (KiB) 421104

[startup+34.4152 s]
/proc/loadavg: 1.14 1.13 1.10 3/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=34.39
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 103520 0 1 0 3412 27 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=24.88
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 2482 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4116239683 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=9.44
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 87915 0 0 0 923 21 0 0 16 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.39
Current children cumulated vsize (KiB) 432324

[startup+34.8153 s]
/proc/loadavg: 1.14 1.13 1.10 3/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=34.79
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 103520 0 1 0 3452 27 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=25.28
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 2522 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4116113355 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=9.44
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 87915 0 0 0 923 21 0 0 16 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 34.79
Current children cumulated vsize (KiB) 432324

[startup+35.2153 s]
/proc/loadavg: 1.14 1.13 1.10 2/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=35.19
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 103520 0 1 0 3492 27 0 0 25 0 10 0 875913687 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74920 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=25.68
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14136 0 1 0 2562 6 0 0 25 0 10 0 875913688 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4116239702 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=9.44
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 87915 0 0 0 923 21 0 0 16 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 10 0 875913689 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 530 0 0 0 5 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 875913690 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19189] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19189/stat : 19189 (java) S 19178 19178 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 875914206 440066048 74920 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.19
Current children cumulated vsize (KiB) 432324

[startup+35.3154 s]
/proc/loadavg: 1.14 1.13 1.10 2/56 19189
/proc/meminfo: memFree=325628/1048576 swapFree=2078744/2097144
[pid=19178] ppid=19177 vsize=2572 CPUtime=0
/proc/19178/stat : 19178 (gj-paranoid-sol) S 19177 19178 2059 34821 2220 4202496 374 0 0 0 0 0 0 0 18 0 1 0 875913687 2633728 272 1283457024 134512640 135304128 4293398608 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/19178/statm: 643 272 232 194 0 29 0
[pid=19179] ppid=19178 vsize=429752 CPUtime=35.29
/proc/19179/stat : 19179 (java) S 19178 19178 2059 34821 2220 4202496 103524 0 1 0 3502 27 0 0 25 0 9 0 875913687 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/19179/statm: 107438 74924 2883 10 0 101618 0
[pid=19179/tid=19181] ppid=19178 vsize=429752 CPUtime=25.78
/proc/19179/task/19181/stat : 19181 (java) R 19178 19178 2059 34821 2220 4202560 14138 0 1 0 2572 6 0 0 25 0 9 0 875913688 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4115910208 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19179/tid=19182] ppid=19178 vsize=429752 CPUtime=9.44
/proc/19179/task/19182/stat : 19182 (java) S 19178 19178 2059 34821 2220 4202560 87915 0 0 0 923 21 0 0 15 0 9 0 875913689 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19183] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19183/stat : 19183 (java) S 19178 19178 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 9 0 875913689 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19184] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19184/stat : 19184 (java) S 19178 19178 2059 34821 2220 4202560 7 0 0 0 0 0 0 0 18 0 9 0 875913689 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19185] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19185/stat : 19185 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19186] ppid=19178 vsize=429752 CPUtime=0.05
/proc/19179/task/19186/stat : 19186 (java) S 19178 19178 2059 34821 2220 4202560 532 0 0 0 5 0 0 0 15 0 9 0 875913690 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19187] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19187/stat : 19187 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 875913690 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
[pid=19179/tid=19188] ppid=19178 vsize=429752 CPUtime=0
/proc/19179/task/19188/stat : 19188 (java) S 19178 19178 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 875913690 440066048 74924 1283457024 134512640 134550932 4289838144 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920896 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 35.29
Current children cumulated vsize (KiB) 432324

Child status: 0
Real time (s): 35.363
CPU time (s): 35.3182
CPU user time (s): 35.0222
CPU system time (s): 0.296018
CPU usage (%): 99.8734
Max. virtual memory (cumulated for all children) (KiB): 432352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.0222
system time used= 0.296018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103915
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1289
involuntary context switches= 1661

runsolver used 0 second user time and 0 second system time

The end