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/rand314.cudf.s-e-l-s-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand314.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand314.cudf.s-e-l-s-s.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: 0.97 1.05 0.99 4/35 8168
/proc/meminfo: memFree=391224/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=188 CPUtime=0
/proc/8168/stat : 8168 (java) R 8167 8167 4778 34817 4778 4194304 285 0 0 0 0 0 0 0 25 0 1 0 10247955 192512 34 1283457024 134512640 134550932 4294568176 18446744073709551615 4159773406 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8168/statm: 47 34 26 10 0 7 0

[startup+0.123482 s]
/proc/loadavg: 0.97 1.05 0.99 4/35 8168
/proc/meminfo: memFree=391224/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=409800 CPUtime=0.12
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 3724 0 1 0 9 3 0 0 25 0 9 0 10247955 419635200 3156 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102450 3156 1787 10 0 96598 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412364

[startup+0.213486 s]
/proc/loadavg: 0.97 1.05 0.99 4/35 8168
/proc/meminfo: memFree=391224/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=409800 CPUtime=0.21
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 3924 0 1 0 18 3 0 0 25 0 9 0 10247955 419635200 3356 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102450 3356 1787 10 0 96598 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412364

[startup+0.303502 s]
/proc/loadavg: 0.97 1.05 0.99 4/35 8168
/proc/meminfo: memFree=391224/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=410248 CPUtime=0.3
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 4369 0 1 0 27 3 0 0 25 0 9 0 10247955 420093952 3801 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102562 3801 1925 10 0 96710 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412812

[startup+0.713573 s]
/proc/loadavg: 0.97 1.05 0.99 4/35 8168
/proc/meminfo: memFree=391224/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=410720 CPUtime=0.72
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 12889 0 1 0 64 8 0 0 25 0 9 0 10247955 420577280 12136 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102680 12136 2895 10 0 96828 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 413284

[startup+1.51369 s]
/proc/loadavg: 0.97 1.05 0.99 3/44 8177
/proc/meminfo: memFree=331496/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=410720 CPUtime=1.51
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 27701 0 1 0 139 12 0 0 25 0 9 0 10247955 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102680 26948 2896 10 0 96828 0
[pid=8168/tid=8170] ppid=8167 vsize=410720 CPUtime=0.76
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 6829 0 1 0 72 4 0 0 25 0 9 0 10247956 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=410720 CPUtime=0.69
/proc/8168/task/8171/stat : 8171 (java) R 8167 8167 4778 34817 4778 4202560 19496 0 0 0 63 6 0 0 19 0 9 0 10247956 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4152721924 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=410720 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10247956 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=410720 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10247957 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=410720 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=410720 CPUtime=0.04
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 435 0 0 0 4 0 0 0 16 0 9 0 10247958 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=410720 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=410720 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) R 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 10247958 420577280 26948 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413284

[startup+3.1339 s]
/proc/loadavg: 0.98 1.05 0.99 2/44 8177
/proc/meminfo: memFree=256228/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=410852 CPUtime=3.14
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 49331 0 1 0 292 22 0 0 25 0 9 0 10247955 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 102713 48578 2896 10 0 96861 0
[pid=8168/tid=8170] ppid=8167 vsize=410852 CPUtime=1.4
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14253 0 1 0 128 12 0 0 25 0 9 0 10247956 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=410852 CPUtime=1.67
/proc/8168/task/8171/stat : 8171 (java) R 8167 8167 4778 34817 4778 4202560 33699 0 0 0 159 8 0 0 15 0 9 0 10247956 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4153105972 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=410852 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10247956 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=410852 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10247957 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=410852 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=410852 CPUtime=0.04
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 438 0 0 0 4 0 0 0 16 0 9 0 10247958 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=410852 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=410852 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) R 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 10247958 420712448 48578 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 413416

[startup+6.30462 s]
/proc/loadavg: 0.98 1.05 0.99 3/44 8177
/proc/meminfo: memFree=121192/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=435008 CPUtime=6.3
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 76977 0 1 0 606 24 0 0 25 0 9 0 10247955 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 108752 76221 2897 10 0 102900 0
[pid=8168/tid=8170] ppid=8167 vsize=435008 CPUtime=2.34
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14263 0 1 0 222 12 0 0 25 0 9 0 10247956 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=435008 CPUtime=3.89
/proc/8168/task/8171/stat : 8171 (java) R 8167 8167 4778 34817 4778 4202560 61316 0 0 0 378 11 0 0 16 0 9 0 10247956 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4150984168 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=435008 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10247956 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=435008 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10247957 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=435008 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=435008 CPUtime=0.05
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 457 0 0 0 5 0 0 0 15 0 9 0 10247958 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=435008 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=435008 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 10247958 445448192 76221 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 437572

[startup+12.7065 s]
/proc/loadavg: 1.05 1.06 1.00 2/45 8178
/proc/meminfo: memFree=113504/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=12.69
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90952 0 1 0 1237 32 0 0 25 0 10 0 10247955 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 71982 2911 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=5.29
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14508 0 1 0 516 13 0 0 25 0 10 0 10247956 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4115108451 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=7.3
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74994 0 0 0 712 18 0 0 16 0 10 0 10247956 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10247956 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.09
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 505 0 0 0 9 0 0 0 16 0 10 0 10247958 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 71982 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 420028

[startup+25.5098 s]
/proc/loadavg: 1.12 1.08 1.01 2/45 8178
/proc/meminfo: memFree=113504/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=25.48
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90996 0 1 0 2516 32 0 0 25 0 10 0 10247955 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72026 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=17.64
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 1751 13 0 0 25 0 10 0 10247956 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4115173100 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=7.71
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 753 18 0 0 15 0 10 0 10247956 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 539 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72026 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 420028

[startup+51.1065 s]
/proc/loadavg: 1.08 1.07 1.00 2/44 8178
/proc/meminfo: memFree=113512/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=51.06
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 5073 33 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=42.91
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 4277 14 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115147305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=8.02
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 784 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 420028

[startup+102.311 s]
/proc/loadavg: 1.08 1.07 1.00 3/44 8178
/proc/meminfo: memFree=113512/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=102.23
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 10189 34 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=93.47
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 9333 14 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115156170 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=8.63
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 845 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) R 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 420028

[startup+162.307 s]
/proc/loadavg: 1.03 1.06 1.00 2/44 8178
/proc/meminfo: memFree=113512/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=162.17
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 16183 34 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=152.82
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 15268 14 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4150021676 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.22
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 904 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 420028

[startup+222.315 s]
/proc/loadavg: 1.01 1.04 1.00 2/44 8178
/proc/meminfo: memFree=113512/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=222.15
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 22180 35 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=212.51
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 21235 16 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115088857 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.51
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 933 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) R 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 420028

[startup+282.305 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=282.09
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 28172 37 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=272.17
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27199 18 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115189482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 420028

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

[startup+283.205 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=282.99
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 28262 37 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=273.07
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27289 18 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115175552 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.99
Current children cumulated vsize (KiB) 420028

[startup+284.006 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=283.79
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 28342 37 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=273.87
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27369 18 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115190419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.79
Current children cumulated vsize (KiB) 420028

[startup+284.806 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=284.59
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 28422 37 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=274.67
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27449 18 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4115190688 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.59
Current children cumulated vsize (KiB) 420028

[startup+285.006 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=284.79
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 90999 0 1 0 28442 37 0 0 25 0 10 0 10247955 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72029 2915 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=274.87
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27469 18 0 0 25 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4114736663 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10247956 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10247957 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10247958 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8178] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8178/stat : 8178 (java) S 8167 8167 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10249014 427483136 72029 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.79
Current children cumulated vsize (KiB) 420028

[startup+285.106 s]
/proc/loadavg: 1.00 1.03 1.00 2/46 8180
/proc/meminfo: memFree=113240/1048576 swapFree=0/0
[pid=8167] ppid=8166 vsize=2564 CPUtime=0
/proc/8167/stat : 8167 (gj-paranoid-sol) S 8166 8167 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 10247955 2625536 269 1283457024 134512640 135304128 4287560448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8167/statm: 641 269 229 194 0 28 0
[pid=8168] ppid=8167 vsize=417464 CPUtime=284.89
/proc/8168/stat : 8168 (java) S 8167 8167 4778 34817 4778 4202496 91000 0 1 0 28452 37 0 0 25 0 9 0 10247955 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8168/statm: 104366 72030 2916 10 0 98511 0
[pid=8168/tid=8170] ppid=8167 vsize=417464 CPUtime=274.97
/proc/8168/task/8170/stat : 8170 (java) R 8167 8167 4778 34817 4778 4202560 14516 0 1 0 27479 18 0 0 25 0 9 0 10247956 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4114947757 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8168/tid=8171] ppid=8167 vsize=417464 CPUtime=9.8
/proc/8168/task/8171/stat : 8171 (java) S 8167 8167 4778 34817 4778 4202560 74996 0 0 0 962 18 0 0 15 0 9 0 10247956 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8172] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8172/stat : 8172 (java) S 8167 8167 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 9 0 10247956 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8173] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8173/stat : 8173 (java) S 8167 8167 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10247957 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8174] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8174/stat : 8174 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8175] ppid=8167 vsize=417464 CPUtime=0.11
/proc/8168/task/8175/stat : 8175 (java) S 8167 8167 4778 34817 4778 4202560 542 0 0 0 11 0 0 0 15 0 9 0 10247958 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8176] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8176/stat : 8176 (java) S 8167 8167 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10247958 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
[pid=8168/tid=8177] ppid=8167 vsize=417464 CPUtime=0
/proc/8168/task/8177/stat : 8177 (java) S 8167 8167 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 9 0 10247958 427483136 72030 1283457024 134512640 134550932 4294568176 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.89
Current children cumulated vsize (KiB) 420028

Child status: 0
Real time (s): 285.186
CPU time (s): 284.914
CPU user time (s): 284.53
CPU system time (s): 0.384024
CPU usage (%): 99.9047
Max. virtual memory (cumulated for all children) (KiB): 445372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.53
system time used= 0.384024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91389
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= 5904
involuntary context switches= 8709

runsolver used 0 second user time and 0 second system time

The end