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/randa223c3.cudf.impossible.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/impossible//randa223c3.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/randa223c3.cudf.impossible.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.08 1.17 1.17 1/45 29315
/proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=3020 CPUtime=0
/proc/29315/stat : 29315 (runsolver) D 29314 29315 2059 34821 2220 4202560 72 0 0 0 0 0 0 0 22 0 1 0 876501868 3092480 93 1283457024 134512640 134586868 4293804080 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/29315/statm: 755 93 62 19 0 53 0

[startup+0.154155 s]
/proc/loadavg: 1.08 1.17 1.17 1/45 29315
/proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.206098 s]
/proc/loadavg: 1.08 1.17 1.17 1/45 29315
/proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.306129 s]
/proc/loadavg: 1.08 1.17 1.17 1/45 29315
/proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.706158 s]
/proc/loadavg: 1.08 1.17 1.17 1/45 29315
/proc/meminfo: memFree=948172/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.50618 s]
/proc/loadavg: 1.08 1.17 1.17 1/55 29325
/proc/meminfo: memFree=927348/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=410604 CPUtime=0.34
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 7224 0 210 0 33 1 0 0 21 0 9 0 876501878 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 102651 6895 1890 10 0 96831 0
[pid=29317/tid=29318] ppid=29315 vsize=410604 CPUtime=0.29
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 3231 0 142 0 28 1 0 0 19 0 9 0 876501901 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4115047422 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=410604 CPUtime=0.03
/proc/29317/task/29319/stat : 29319 (java) S 29315 29315 2059 34821 2220 4202560 2674 0 0 0 3 0 0 0 16 0 9 0 876501929 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=410604 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 16 0 9 0 876501934 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=410604 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 9 0 876501934 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=410604 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=410604 CPUtime=0.01
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 448 0 6 0 1 0 0 0 18 0 9 0 876501954 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=410604 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=410604 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 16 0 9 0 876501954 420458496 6895 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 413176

[startup+3.12128 s]
/proc/loadavg: 1.08 1.17 1.17 4/55 29325
/proc/meminfo: memFree=864844/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=410736 CPUtime=1.71
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 32781 0 241 0 163 8 0 0 21 0 9 0 876501878 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 102684 32305 2878 10 0 96864 0
[pid=29317/tid=29318] ppid=29315 vsize=410736 CPUtime=0.72
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 9295 0 142 0 69 3 0 0 18 0 9 0 876501901 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=410736 CPUtime=0.96
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 22158 0 31 0 92 4 0 0 15 0 9 0 876501929 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4150780723 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=410736 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=410736 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 9 0 876501934 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=410736 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=410736 CPUtime=0.01
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 457 0 6 0 1 0 0 0 15 0 9 0 876501954 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=410736 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=410736 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 420593664 32305 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 413308
heavy processes:

[startup+6.3047 s]
/proc/loadavg: 1.08 1.17 1.17 3/55 29325
/proc/meminfo: memFree=637388/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=430800 CPUtime=4.7
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 75572 0 241 0 452 18 0 0 21 0 9 0 876501878 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 107700 75096 2879 10 0 101880 0
[pid=29317/tid=29318] ppid=29315 vsize=430800 CPUtime=1.58
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 13919 0 142 0 154 4 0 0 18 0 9 0 876501901 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=430800 CPUtime=3.1
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 60320 0 31 0 296 14 0 0 16 0 9 0 876501929 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4151157240 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=430800 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=430800 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 9 0 876501934 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=430800 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=430800 CPUtime=0.01
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 462 0 6 0 1 0 0 0 15 0 9 0 876501954 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=430800 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=430800 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 441139200 75096 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 433372
heavy processes:

[startup+12.7154 s]
/proc/loadavg: 1.23 1.20 1.18 3/55 29325
/proc/meminfo: memFree=597004/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=421128 CPUtime=11.05
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 107225 0 243 0 1078 27 0 0 21 0 9 0 876501878 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 105282 72781 2880 10 0 99462 0
[pid=29317/tid=29318] ppid=29315 vsize=421128 CPUtime=2.27
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 14001 0 144 0 223 4 0 0 19 0 9 0 876501901 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=421128 CPUtime=8.74
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 91861 0 31 0 851 23 0 0 16 0 9 0 876501929 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4151157240 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=421128 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=421128 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=421128 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=421128 CPUtime=0.03
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 492 0 6 0 3 0 0 0 15 0 9 0 876501954 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=421128 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=421128 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 431235072 72781 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 423700

[startup+25.5084 s]
/proc/loadavg: 1.46 1.25 1.19 3/56 29326
/proc/meminfo: memFree=622484/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=427628 CPUtime=23.8
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 148360 0 244 0 2336 44 0 0 21 0 10 0 876501878 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 106907 74393 2883 10 0 101087 0
[pid=29317/tid=29318] ppid=29315 vsize=427628 CPUtime=7.98
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 14023 0 145 0 794 4 0 0 25 0 10 0 876501901 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=427628 CPUtime=15.74
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 132933 0 31 0 1534 40 0 0 16 0 10 0 876501929 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4151157194 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 10 0 876501934 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 876501934 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 10 0 876501954 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=427628 CPUtime=0.07
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 528 0 6 0 7 0 0 0 15 0 10 0 876501954 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 10 0 876501954 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876501954 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29326] ppid=29315 vsize=427628 CPUtime=0
/proc/29317/task/29326/stat : 29326 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 22 0 10 0 876503879 437891072 74393 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.8
Current children cumulated vsize (KiB) 430200

[startup+51.1145 s]
/proc/loadavg: 1.54 1.28 1.20 3/55 29326
/proc/meminfo: memFree=599180/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=49.37
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179282 0 244 0 4882 55 0 0 21 0 9 0 876501878 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79012 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.11
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2807 4 0 0 25 0 9 0 876501901 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=21.18
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163853 0 31 0 2067 51 0 0 16 0 9 0 876501929 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4152268448 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.07
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 530 0 6 0 7 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.37
Current children cumulated vsize (KiB) 448680

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

[startup+51.2145 s]
/proc/loadavg: 1.54 1.28 1.20 3/55 29326
/proc/meminfo: memFree=599180/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=49.47
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179282 0 244 0 4892 55 0 0 21 0 9 0 876501878 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79012 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.11
/proc/29317/task/29318/stat : 29318 (java) R 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2807 4 0 0 25 0 9 0 876501901 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=21.28
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163853 0 31 0 2077 51 0 0 17 0 9 0 876501929 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4152268437 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.07
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 530 0 6 0 7 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.47
Current children cumulated vsize (KiB) 448680

[startup+54.4154 s]
/proc/loadavg: 1.54 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=52.67
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179282 0 244 0 5212 55 0 0 21 0 9 0 876501878 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79012 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.13
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2809 4 0 0 18 0 9 0 876501901 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=24.45
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163853 0 31 0 2394 51 0 0 21 0 9 0 876501929 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4152447598 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.07
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 530 0 6 0 7 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79012 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 52.67
Current children cumulated vsize (KiB) 448680

[startup+56.0058 s]
/proc/loadavg: 1.49 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=54.26
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179284 0 244 0 5371 55 0 0 21 0 9 0 876501878 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79014 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.14
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2810 4 0 0 18 0 9 0 876501901 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=26.03
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163853 0 31 0 2552 51 0 0 25 0 9 0 876501929 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4151157104 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.08
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 532 0 6 0 8 0 0 0 15 0 9 0 876501954 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79014 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 54.26
Current children cumulated vsize (KiB) 448680

[startup+56.806 s]
/proc/loadavg: 1.49 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=55.06
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179290 0 244 0 5451 55 0 0 21 0 9 0 876501878 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79020 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.14
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2810 4 0 0 18 0 9 0 876501901 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=26.83
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163859 0 31 0 2632 51 0 0 25 0 9 0 876501929 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4151170239 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.08
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 532 0 6 0 8 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.06
Current children cumulated vsize (KiB) 448680

[startup+57.6063 s]
/proc/loadavg: 1.49 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=55.85
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179290 0 244 0 5530 55 0 0 21 0 9 0 876501878 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79020 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.15
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2811 4 0 0 18 0 9 0 876501901 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=27.61
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163859 0 31 0 2710 51 0 0 25 0 9 0 876501929 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4152850192 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.08
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 532 0 6 0 8 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 55.85
Current children cumulated vsize (KiB) 448680

[startup+58.0065 s]
/proc/loadavg: 1.49 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=56.26
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179290 0 244 0 5571 55 0 0 21 0 9 0 876501878 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79020 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.15
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2811 4 0 0 18 0 9 0 876501901 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=28.01
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163859 0 31 0 2750 51 0 0 25 0 9 0 876501929 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4152268486 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.08
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 532 0 6 0 8 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 56.26
Current children cumulated vsize (KiB) 448680

[startup+58.1066 s]
/proc/loadavg: 1.49 1.28 1.20 2/55 29326
/proc/meminfo: memFree=596576/1048576 swapFree=2078744/2097144
[pid=29315] ppid=29314 vsize=2572 CPUtime=0
/proc/29315/stat : 29315 (gj-paranoid-sol) S 29314 29315 2059 34821 2220 4202496 364 0 11 0 0 0 0 0 22 0 1 0 876501868 2633728 272 1283457024 134512640 135304128 4287189760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29315/statm: 643 272 232 194 0 29 0
[pid=29317] ppid=29315 vsize=446108 CPUtime=56.36
/proc/29317/stat : 29317 (java) S 29315 29315 2059 34821 2220 4202496 179290 0 244 0 5581 55 0 0 21 0 9 0 876501878 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29317/statm: 111527 79020 2883 10 0 105707 0
[pid=29317/tid=29318] ppid=29315 vsize=446108 CPUtime=28.15
/proc/29317/task/29318/stat : 29318 (java) S 29315 29315 2059 34821 2220 4202560 14023 0 145 0 2811 4 0 0 18 0 9 0 876501901 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29319] ppid=29315 vsize=446108 CPUtime=28.11
/proc/29317/task/29319/stat : 29319 (java) R 29315 29315 2059 34821 2220 4202560 163859 0 31 0 2760 51 0 0 25 0 9 0 876501929 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4152268442 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29317/tid=29320] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29320/stat : 29320 (java) S 29315 29315 2059 34821 2220 4202560 15 0 1 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29321] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29321/stat : 29321 (java) S 29315 29315 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 9 0 876501934 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29322] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29322/stat : 29322 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 20 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29323] ppid=29315 vsize=446108 CPUtime=0.08
/proc/29317/task/29323/stat : 29323 (java) S 29315 29315 2059 34821 2220 4202560 532 0 6 0 8 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29324] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29324/stat : 29324 (java) S 29315 29315 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 21 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
[pid=29317/tid=29325] ppid=29315 vsize=446108 CPUtime=0
/proc/29317/task/29325/stat : 29325 (java) S 29315 29315 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 876501954 456814592 79020 1283457024 134512640 134550932 4293723168 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 56.36
Current children cumulated vsize (KiB) 448680

Child status: 0
Real time (s): 58.1907
CPU time (s): 56.4075
CPU user time (s): 55.8315
CPU system time (s): 0.576036
CPU usage (%): 96.9356
Max. virtual memory (cumulated for all children) (KiB): 448948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.8315
system time used= 0.576036
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179670
page faults= 255
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2189
involuntary context switches= 2465

runsolver used 0 second user time and 0.008 second system time

The end