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/201108251442/gj-paranoid-solver-1.0/rand58.cudf.s-e-l.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l/rand58.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand58.cudf.s-e-l.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.00 1.01 1.00 5/35 15759
/proc/meminfo: memFree=374308/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=11356 CPUtime=0
/proc/15758/stat : 15758 (java) R 15757 15757 4778 34817 4778 4202496 918 0 0 0 0 0 0 0 25 0 2 0 10938085 11628544 651 1283457024 134512640 134550932 4289748064 18446744073709551615 4159102568 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 2839 651 285 10 0 1185 0
[pid=15758/tid=15759] ppid=15757 vsize=11356 CPUtime=0
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 10938085 11628544 651 1283457024 134512640 134550932 4289748064 18446744073709551615 4159102568 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.145386 s]
/proc/loadavg: 1.00 1.01 1.00 5/35 15759
/proc/meminfo: memFree=374308/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=409796 CPUtime=0.14
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 3776 0 1 0 12 2 0 0 25 0 9 0 10938085 419631104 3207 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102449 3207 1787 10 0 96597 0
[pid=15758/tid=15759] ppid=15757 vsize=409796 CPUtime=0.14
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 2808 0 1 0 12 2 0 0 25 0 9 0 10938085 419631104 3207 1283457024 134512640 134550932 4289748064 18446744073709551615 4114444994 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412368

[startup+0.205397 s]
/proc/loadavg: 1.00 1.01 1.00 5/35 15759
/proc/meminfo: memFree=374308/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=410100 CPUtime=0.2
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 4282 0 1 0 18 2 0 0 25 0 9 0 10938085 419942400 3713 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102525 3713 1928 10 0 96673 0
[pid=15758/tid=15759] ppid=15757 vsize=410100 CPUtime=0.19
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 3087 0 1 0 17 2 0 0 25 0 9 0 10938085 419942400 3713 1283457024 134512640 134550932 4289748064 18446744073709551615 4151217609 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412672

[startup+0.305424 s]
/proc/loadavg: 1.00 1.01 1.00 5/35 15759
/proc/meminfo: memFree=374308/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=410248 CPUtime=0.31
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 5337 0 1 0 27 4 0 0 25 0 9 0 10938085 420093952 4768 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102562 4768 1934 10 0 96710 0
[pid=15758/tid=15759] ppid=15757 vsize=410248 CPUtime=0.26
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 3499 0 1 0 24 2 0 0 25 0 9 0 10938085 420093952 4768 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 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) 412820

[startup+0.705554 s]
/proc/loadavg: 1.00 1.01 1.00 5/35 15759
/proc/meminfo: memFree=374308/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=410680 CPUtime=0.71
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 12920 0 1 0 65 6 0 0 25 0 9 0 10938085 420536320 12166 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102670 12166 2895 10 0 96818 0
[pid=15758/tid=15759] ppid=15757 vsize=410680 CPUtime=0.46
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 4189 0 1 0 44 2 0 0 25 0 9 0 10938085 420536320 12166 1283457024 134512640 134550932 4289748064 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) 413252

[startup+1.50589 s]
/proc/loadavg: 1.08 1.03 1.01 3/43 15767
/proc/meminfo: memFree=315768/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=410812 CPUtime=1.5
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 27728 0 1 0 138 12 0 0 25 0 9 0 10938085 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102703 26974 2896 10 0 96851 0
[pid=15758/tid=15759] ppid=15757 vsize=410812 CPUtime=0.75
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 6781 0 1 0 71 4 0 0 25 0 9 0 10938085 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=410812 CPUtime=0.69
/proc/15758/task/15761/stat : 15761 (java) R 15757 15757 4778 34817 4778 4202560 19574 0 0 0 63 6 0 0 19 0 9 0 10938086 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4152822190 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10938086 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10938086 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=410812 CPUtime=0.04
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 432 0 0 0 4 0 0 0 17 0 9 0 10938087 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10938088 420671488 26974 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413384

[startup+3.1265 s]
/proc/loadavg: 1.08 1.03 1.01 2/43 15767
/proc/meminfo: memFree=241740/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=410812 CPUtime=3.12
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 49253 0 1 0 291 21 0 0 25 0 9 0 10938085 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102703 48496 2897 10 0 96851 0
[pid=15758/tid=15759] ppid=15757 vsize=410812 CPUtime=1.36
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14136 0 1 0 129 7 0 0 25 0 9 0 10938085 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=410812 CPUtime=1.69
/proc/15758/task/15761/stat : 15761 (java) R 15757 15757 4778 34817 4778 4202560 33724 0 0 0 156 13 0 0 15 0 9 0 10938086 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4152815621 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10938086 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10938086 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=410812 CPUtime=0.05
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 452 0 0 0 5 0 0 0 15 0 9 0 10938087 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=410812 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10938088 420671488 48496 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413384

[startup+6.30777 s]
/proc/loadavg: 1.08 1.03 1.01 3/44 15768
/proc/meminfo: memFree=150964/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=6.3
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60125 0 1 0 604 26 0 0 25 0 10 0 10938085 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 59289 2919 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=4.24
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 415 9 0 0 25 0 10 0 10938085 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4115183056 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=1.94
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44268 0 0 0 178 16 0 0 16 0 10 0 10938086 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.11
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 523 0 0 0 11 0 0 0 15 0 10 0 10938087 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 59289 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413720

[startup+12.7091 s]
/proc/loadavg: 1.07 1.03 1.00 2/44 15768
/proc/meminfo: memFree=149236/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=12.7
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60127 0 1 0 1244 26 0 0 25 0 10 0 10938085 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 59291 2919 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=10.62
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 1053 9 0 0 25 0 10 0 10938085 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4115351494 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=1.94
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44268 0 0 0 178 16 0 0 15 0 10 0 10938086 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 525 0 0 0 12 0 0 0 16 0 10 0 10938087 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 59291 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413720

[startup+25.5115 s]
/proc/loadavg: 1.06 1.02 1.00 2/44 15768
/proc/meminfo: memFree=149112/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=25.48
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60141 0 1 0 2522 26 0 0 25 0 10 0 10938085 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 59297 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=23.13
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 2304 9 0 0 25 0 10 0 10938085 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4115237218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=2.22
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 206 16 0 0 15 0 10 0 10938086 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 528 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 59297 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413720

[startup+51.1063 s]
/proc/loadavg: 1.04 1.02 1.00 2/44 15768
/proc/meminfo: memFree=149112/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=51.07
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60142 0 1 0 5081 26 0 0 25 0 10 0 10938085 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 59170 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=48.52
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 4843 9 0 0 25 0 10 0 10938085 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4115406962 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=2.41
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 225 16 0 0 15 0 10 0 10938086 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 529 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 59170 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413720

[startup+102.31 s]
/proc/loadavg: 1.01 1.02 1.00 2/44 15768
/proc/meminfo: memFree=165976/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=102.2
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 10193 27 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=99.27
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 9917 10 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115244836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=2.8
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 264 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 413720

[startup+162.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 15768
/proc/meminfo: memFree=165976/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=162.13
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 16185 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=158.83
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 15873 10 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115264810 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.16
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 300 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 413720

[startup+222.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 15772
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=222.08
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 22180 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=218.4
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 21830 10 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115237496 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.54
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 338 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 413720

[startup+282.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=282.01
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 28173 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=278.15
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 27804 11 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115221940 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 413720

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

[startup+283.206 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=282.91
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 28263 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=279.05
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 27894 11 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115244836 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.91
Current children cumulated vsize (KiB) 413720

[startup+284.006 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=283.71
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 28343 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=279.85
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 27974 11 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115244913 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.71
Current children cumulated vsize (KiB) 413720

[startup+284.807 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=284.51
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 28423 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=280.65
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 28054 11 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115229205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.51
Current children cumulated vsize (KiB) 413720

[startup+285.007 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=284.71
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60143 0 1 0 28443 28 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54939 2914 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=280.85
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 28074 11 0 0 25 0 10 0 10938085 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4115230684 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10938086 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10938087 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10938088 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15768] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15768/stat : 15768 (java) S 15757 15757 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10938463 421015552 54939 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.71
Current children cumulated vsize (KiB) 413720

[startup+285.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 15778
/proc/meminfo: memFree=165952/1048576 swapFree=0/0
[pid=15757] ppid=15756 vsize=2572 CPUtime=0
/proc/15757/stat : 15757 (gj-paranoid-sol) S 15756 15757 4778 34817 4778 4202496 374 0 0 0 0 0 0 0 18 0 1 0 10938085 2633728 270 1283457024 134512640 135304128 4289078400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/15757/statm: 643 270 229 194 0 30 0
[pid=15758] ppid=15757 vsize=411148 CPUtime=284.81
/proc/15758/stat : 15758 (java) S 15757 15757 4778 34817 4778 4202496 60144 0 1 0 28453 28 0 0 25 0 9 0 10938085 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/15758/statm: 102787 54940 2915 10 0 96932 0
[pid=15758/tid=15759] ppid=15757 vsize=411148 CPUtime=280.95
/proc/15758/task/15759/stat : 15759 (java) R 15757 15757 4778 34817 4778 4202560 14389 0 1 0 28084 11 0 0 25 0 9 0 10938085 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4115411333 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=15758/tid=15761] ppid=15757 vsize=411148 CPUtime=3.72
/proc/15758/task/15761/stat : 15761 (java) S 15757 15757 4778 34817 4778 4202560 44279 0 0 0 356 16 0 0 15 0 9 0 10938086 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15762] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15762/stat : 15762 (java) S 15757 15757 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10938086 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15763] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15763/stat : 15763 (java) S 15757 15757 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10938086 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15764] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15764/stat : 15764 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15765] ppid=15757 vsize=411148 CPUtime=0.12
/proc/15758/task/15765/stat : 15765 (java) S 15757 15757 4778 34817 4778 4202560 530 0 0 0 12 0 0 0 15 0 9 0 10938087 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15766] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15766/stat : 15766 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10938087 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=15758/tid=15767] ppid=15757 vsize=411148 CPUtime=0
/proc/15758/task/15767/stat : 15767 (java) S 15757 15757 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10938088 421015552 54940 1283457024 134512640 134550932 4289748064 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.81
Current children cumulated vsize (KiB) 413720

Child status: 0
Real time (s): 285.172
CPU time (s): 284.866
CPU user time (s): 284.558
CPU system time (s): 0.308019
CPU usage (%): 99.8926
Max. virtual memory (cumulated for all children) (KiB): 413720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.558
system time used= 0.308019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60535
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= 5803
involuntary context switches= 8641

runsolver used 0 second user time and 0 second system time

The end