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/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/debian-dudf//688250e8-4bb4-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/688250e8-4bb4-11df-a561-00163e7a6f5e.cudf.debian-dudf.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.31 1.30 1.22 5/47 25216
/proc/meminfo: memFree=570944/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=11240 CPUtime=0.01
/proc/25215/stat : 25215 (java) R 25214 25214 2059 34821 2220 4202496 908 0 0 0 0 1 0 0 25 0 2 0 876175301 11509760 642 1283457024 134512640 134550932 4294596832 18446744073709551615 4159647992 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 2810 642 285 10 0 1184 0
[pid=25215/tid=25216] ppid=25214 vsize=11240 CPUtime=0
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 2 0 876175301 11509760 642 1283457024 134512640 134550932 4294596832 18446744073709551615 4159647992 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.135916 s]
/proc/loadavg: 1.31 1.30 1.22 5/47 25216
/proc/meminfo: memFree=570944/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=409992 CPUtime=0.13
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 4040 0 1 0 12 1 0 0 25 0 9 0 876175301 419831808 3505 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102498 3505 1875 10 0 96678 0
[pid=25215/tid=25216] ppid=25214 vsize=409992 CPUtime=0.12
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 2849 0 1 0 12 0 0 0 25 0 9 0 876175301 419831808 3505 1283457024 134512640 134550932 4294596832 18446744073709551615 4151686402 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412560

[startup+0.205928 s]
/proc/loadavg: 1.31 1.30 1.22 5/47 25216
/proc/meminfo: memFree=570944/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=409992 CPUtime=0.21
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 4566 0 1 0 20 1 0 0 25 0 9 0 876175301 419831808 4031 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102498 4031 1875 10 0 96678 0
[pid=25215/tid=25216] ppid=25214 vsize=409992 CPUtime=0.19
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 3375 0 1 0 19 0 0 0 25 0 9 0 876175301 419831808 4031 1283457024 134512640 134550932 4294596832 18446744073709551615 4115110218 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412560

[startup+0.305947 s]
/proc/loadavg: 1.31 1.30 1.22 5/47 25216
/proc/meminfo: memFree=570944/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=410136 CPUtime=0.31
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 5196 0 1 0 30 1 0 0 25 0 9 0 876175301 419979264 4660 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102534 4660 1883 10 0 96714 0
[pid=25215/tid=25216] ppid=25214 vsize=410136 CPUtime=0.28
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 3376 0 1 0 28 0 0 0 25 0 9 0 876175301 419979264 4660 1283457024 134512640 134550932 4294596832 18446744073709551615 4115557703 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412704

[startup+0.70603 s]
/proc/loadavg: 1.31 1.30 1.22 5/47 25216
/proc/meminfo: memFree=570944/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=410736 CPUtime=0.71
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 13093 0 1 0 69 2 0 0 25 0 9 0 876175301 420593664 12379 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102684 12379 2879 10 0 96864 0
[pid=25215/tid=25216] ppid=25214 vsize=410736 CPUtime=0.44
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 4114 0 1 0 44 0 0 0 25 0 9 0 876175301 420593664 12379 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413304

[startup+1.50618 s]
/proc/loadavg: 1.31 1.30 1.22 2/55 25224
/proc/meminfo: memFree=509916/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=410736 CPUtime=1.5
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 29326 0 1 0 145 5 0 0 25 0 9 0 876175301 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102684 28612 2879 10 0 96864 0
[pid=25215/tid=25216] ppid=25214 vsize=410736 CPUtime=0.72
/proc/25215/task/25216/stat : 25216 (java) S 25214 25214 2059 34821 2220 4202560 6930 0 1 0 71 1 0 0 24 0 9 0 876175301 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=410736 CPUtime=0.71
/proc/25215/task/25218/stat : 25218 (java) R 25214 25214 2059 34821 2220 4202560 21007 0 0 0 69 2 0 0 20 0 9 0 876175302 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4151693944 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=410736 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876175302 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=410736 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876175302 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=410736 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175303 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=410736 CPUtime=0.04
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 455 0 0 0 4 0 0 0 19 0 9 0 876175303 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=410736 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175304 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=410736 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876175304 420593664 28612 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413304

[startup+3.1066 s]
/proc/loadavg: 1.31 1.30 1.22 2/55 25224
/proc/meminfo: memFree=429688/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=410868 CPUtime=3.1
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 51746 0 1 0 296 14 0 0 25 0 9 0 876175301 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 102717 51032 2879 10 0 96897 0
[pid=25215/tid=25216] ppid=25214 vsize=410868 CPUtime=1.27
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13842 0 1 0 123 4 0 0 24 0 9 0 876175301 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=410868 CPUtime=1.76
/proc/25215/task/25218/stat : 25218 (java) R 25214 25214 2059 34821 2220 4202560 36511 0 0 0 168 8 0 0 16 0 9 0 876175302 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4151317224 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=410868 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 20 0 9 0 876175302 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=410868 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 24 0 9 0 876175302 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=410868 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175303 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=410868 CPUtime=0.04
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 459 0 0 0 4 0 0 0 15 0 9 0 876175303 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=410868 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175304 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=410868 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876175304 420728832 51032 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413436

[startup+6.30753 s]
/proc/loadavg: 1.52 1.35 1.23 3/55 25224
/proc/meminfo: memFree=299860/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=433176 CPUtime=6.3
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 76518 0 1 0 608 22 0 0 25 0 9 0 876175301 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 108294 75786 2880 10 0 102474 0
[pid=25215/tid=25216] ppid=25214 vsize=433176 CPUtime=2
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13928 0 1 0 196 4 0 0 25 0 9 0 876175301 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=433176 CPUtime=4.21
/proc/25215/task/25218/stat : 25218 (java) R 25214 25214 2059 34821 2220 4202560 61169 0 0 0 405 16 0 0 16 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4152804984 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175303 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=433176 CPUtime=0.06
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 487 0 0 0 6 0 0 0 15 0 9 0 876175303 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175304 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876175304 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 435744

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

[startup+6.40756 s]
/proc/loadavg: 1.52 1.35 1.23 3/55 25224
/proc/meminfo: memFree=299860/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=433176 CPUtime=6.4
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 76518 0 1 0 618 22 0 0 25 0 9 0 876175301 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 108294 75786 2880 10 0 102474 0
[pid=25215/tid=25216] ppid=25214 vsize=433176 CPUtime=2
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13928 0 1 0 196 4 0 0 25 0 9 0 876175301 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=433176 CPUtime=4.31
/proc/25215/task/25218/stat : 25218 (java) R 25214 25214 2059 34821 2220 4202560 61169 0 0 0 415 16 0 0 16 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4152805057 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876175302 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175303 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=433176 CPUtime=0.06
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 487 0 0 0 6 0 0 0 15 0 9 0 876175303 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175304 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=433176 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876175304 443572224 75786 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 435744

[startup+9.61074 s]
/proc/loadavg: 1.52 1.35 1.23 2/56 25225
/proc/meminfo: memFree=299728/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=432944 CPUtime=9.59
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 86730 0 1 0 934 25 0 0 25 0 10 0 876175301 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 108236 75708 2882 10 0 102416 0
[pid=25215/tid=25216] ppid=25214 vsize=432944 CPUtime=3.5
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13949 0 1 0 346 4 0 0 25 0 10 0 876175301 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=432944 CPUtime=5.98
/proc/25215/task/25218/stat : 25218 (java) R 25214 25214 2059 34821 2220 4202560 71318 0 0 0 579 19 0 0 16 0 10 0 876175302 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4153778837 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876175302 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876175302 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175303 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=432944 CPUtime=0.08
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 524 0 0 0 8 0 0 0 15 0 10 0 876175303 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175304 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876175304 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25225] ppid=25214 vsize=432944 CPUtime=0
/proc/25215/task/25225/stat : 25225 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876176075 443334656 75708 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 435512

[startup+11.2112 s]
/proc/loadavg: 1.56 1.36 1.23 2/56 25225
/proc/meminfo: memFree=299976/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=412292 CPUtime=11.2
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 86731 0 1 0 1095 25 0 0 25 0 10 0 876175301 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 103073 70567 2882 10 0 97253 0
[pid=25215/tid=25216] ppid=25214 vsize=412292 CPUtime=4.84
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13949 0 1 0 480 4 0 0 25 0 10 0 876175301 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4115948846 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=412292 CPUtime=6.24
/proc/25215/task/25218/stat : 25218 (java) S 25214 25214 2059 34821 2220 4202560 71318 0 0 0 605 19 0 0 16 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175303 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=412292 CPUtime=0.08
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 525 0 0 0 8 0 0 0 15 0 10 0 876175303 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175304 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) R 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876175304 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25225] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25225/stat : 25225 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876176075 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 414860

[startup+12.0114 s]
/proc/loadavg: 1.56 1.36 1.23 2/56 25225
/proc/meminfo: memFree=299976/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=412292 CPUtime=12
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 86731 0 1 0 1175 25 0 0 25 0 10 0 876175301 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 103073 70567 2882 10 0 97253 0
[pid=25215/tid=25216] ppid=25214 vsize=412292 CPUtime=5.64
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13949 0 1 0 560 4 0 0 25 0 10 0 876175301 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4115969961 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=412292 CPUtime=6.24
/proc/25215/task/25218/stat : 25218 (java) S 25214 25214 2059 34821 2220 4202560 71318 0 0 0 605 19 0 0 16 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876175302 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175303 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=412292 CPUtime=0.08
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 525 0 0 0 8 0 0 0 16 0 10 0 876175303 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876175304 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) S 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 10 0 876175304 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25225] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25225/stat : 25225 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 876176075 422187008 70567 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 414860

[startup+12.4115 s]
/proc/loadavg: 1.56 1.36 1.23 3/56 25225
/proc/meminfo: memFree=299976/1048576 swapFree=2078744/2097144
[pid=25214] ppid=25213 vsize=2568 CPUtime=0
/proc/25214/stat : 25214 (gj-paranoid-sol) S 25213 25214 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 18 0 1 0 876175301 2629632 271 1283457024 134512640 135304128 4291968768 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25214/statm: 642 271 232 194 0 28 0
[pid=25215] ppid=25214 vsize=412292 CPUtime=12.4
/proc/25215/stat : 25215 (java) S 25214 25214 2059 34821 2220 4202496 86734 0 1 0 1215 25 0 0 25 0 9 0 876175301 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25215/statm: 103073 70570 2882 10 0 97253 0
[pid=25215/tid=25216] ppid=25214 vsize=412292 CPUtime=6.04
/proc/25215/task/25216/stat : 25216 (java) R 25214 25214 2059 34821 2220 4202560 13951 0 1 0 600 4 0 0 25 0 9 0 876175301 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4115576776 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25215/tid=25218] ppid=25214 vsize=412292 CPUtime=6.24
/proc/25215/task/25218/stat : 25218 (java) S 25214 25214 2059 34821 2220 4202560 71318 0 0 0 605 19 0 0 16 0 9 0 876175302 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25219] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25219/stat : 25219 (java) S 25214 25214 2059 34821 2220 4202560 19 0 0 0 0 0 0 0 18 0 9 0 876175302 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25220] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25220/stat : 25220 (java) S 25214 25214 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 876175302 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25221] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25221/stat : 25221 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175303 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25222] ppid=25214 vsize=412292 CPUtime=0.08
/proc/25215/task/25222/stat : 25222 (java) S 25214 25214 2059 34821 2220 4202560 526 0 0 0 8 0 0 0 15 0 9 0 876175303 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25223] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25223/stat : 25223 (java) S 25214 25214 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 876175304 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=25215/tid=25224] ppid=25214 vsize=412292 CPUtime=0
/proc/25215/task/25224/stat : 25224 (java) R 25214 25214 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 15 0 9 0 876175304 422187008 70570 1283457024 134512640 134550932 4294596832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 414860

Child status: 0
Real time (s): 12.4854
CPU time (s): 12.4368
CPU user time (s): 12.1808
CPU system time (s): 0.256016
CPU usage (%): 99.6108
Max. virtual memory (cumulated for all children) (KiB): 435744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1808
system time used= 0.256016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87133
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= 887
involuntary context switches= 1004

runsolver used 0 second user time and 0 second system time

The end