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/rand176.cudf.s-e-l-s-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s-s//rand176.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand176.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.98 0.91 0.54 5/34 5278
/proc/meminfo: memFree=390936/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) R 5276 5277 4778 34817 4778 4202496 355 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 268 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5277/statm: 642 268 228 194 0 29 0
[pid=5278] ppid=5277 vsize=2568 CPUtime=0
/proc/5278/stat : 5278 (gj-paranoid-sol) R 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 40 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/5278/statm: 642 40 0 194 0 29 0

[startup+0.185074 s]
/proc/loadavg: 0.98 0.91 0.54 5/34 5278
/proc/meminfo: memFree=390936/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=409796 CPUtime=0.18
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 4007 0 1 0 18 0 0 0 25 0 9 0 10013226 419631104 3439 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102449 3439 1906 10 0 96597 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 412364

[startup+0.205068 s]
/proc/loadavg: 0.98 0.91 0.54 5/34 5278
/proc/meminfo: memFree=390936/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=409796 CPUtime=0.2
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 4052 0 1 0 20 0 0 0 25 0 9 0 10013226 419631104 3484 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102449 3484 1906 10 0 96597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412364

[startup+0.305088 s]
/proc/loadavg: 0.98 0.91 0.54 5/34 5278
/proc/meminfo: memFree=390936/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=410244 CPUtime=0.3
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 4399 0 1 0 30 0 0 0 25 0 9 0 10013226 420089856 3831 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102561 3831 1926 10 0 96709 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412812

[startup+0.705169 s]
/proc/loadavg: 0.98 0.91 0.54 5/34 5278
/proc/meminfo: memFree=390936/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=410684 CPUtime=0.7
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 12880 0 1 0 66 4 0 0 25 0 9 0 10013226 420540416 12127 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102671 12127 2895 10 0 96819 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413252

[startup+1.5053 s]
/proc/loadavg: 0.98 0.91 0.54 3/43 5287
/proc/meminfo: memFree=331332/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=410816 CPUtime=1.5
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 26832 0 1 0 139 11 0 0 25 0 9 0 10013226 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102704 26079 2896 10 0 96852 0
[pid=5278/tid=5280] ppid=5277 vsize=410816 CPUtime=0.77
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 6823 0 1 0 76 1 0 0 25 0 9 0 10013226 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=410816 CPUtime=0.66
/proc/5278/task/5281/stat : 5281 (java) R 5277 5277 4778 34817 4778 4202560 18631 0 0 0 57 9 0 0 19 0 9 0 10013227 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4151527352 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10013227 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10013227 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013228 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=410816 CPUtime=0.05
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 439 0 0 0 5 0 0 0 16 0 9 0 10013228 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013229 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10013229 420675584 26079 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413384

[startup+3.10559 s]
/proc/loadavg: 0.98 0.91 0.54 2/43 5287
/proc/meminfo: memFree=256064/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=410816 CPUtime=3.1
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 48581 0 1 0 292 18 0 0 25 0 9 0 10013226 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 102704 47828 2896 10 0 96852 0
[pid=5278/tid=5280] ppid=5277 vsize=410816 CPUtime=1.4
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 13638 0 1 0 136 4 0 0 25 0 9 0 10013226 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4115733201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=410816 CPUtime=1.63
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 33562 0 0 0 150 13 0 0 17 0 9 0 10013227 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10013227 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10013227 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013228 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=410816 CPUtime=0.05
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 442 0 0 0 5 0 0 0 16 0 9 0 10013228 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013229 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=410816 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10013229 420675584 47828 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413384

[startup+6.3066 s]
/proc/loadavg: 1.06 0.92 0.54 3/43 5287
/proc/meminfo: memFree=120912/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=433388 CPUtime=6.3
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 76565 0 1 0 602 28 0 0 25 0 9 0 10013226 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 108347 75809 2897 10 0 102495 0
[pid=5278/tid=5280] ppid=5277 vsize=433388 CPUtime=2.35
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14257 0 1 0 231 4 0 0 25 0 9 0 10013226 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=433388 CPUtime=3.88
/proc/5278/task/5281/stat : 5281 (java) R 5277 5277 4778 34817 4778 4202560 60908 0 0 0 365 23 0 0 16 0 9 0 10013227 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4151330227 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=433388 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10013227 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=433388 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10013227 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=433388 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013228 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=433388 CPUtime=0.05
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 461 0 0 0 5 0 0 0 15 0 9 0 10013228 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=433388 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013229 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=433388 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10013229 443789312 75809 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 435956

[startup+12.7085 s]
/proc/loadavg: 1.14 0.94 0.55 2/44 5288
/proc/meminfo: memFree=113340/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=12.7
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90802 0 1 0 1234 36 0 0 25 0 10 0 10013226 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 71981 2911 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=5.27
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14501 0 1 0 522 5 0 0 25 0 10 0 10013226 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4116009344 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=7.33
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74847 0 0 0 703 30 0 0 16 0 10 0 10013227 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.08
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 510 0 0 0 8 0 0 0 15 0 10 0 10013228 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 71981 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 420024

[startup+25.5047 s]
/proc/loadavg: 1.10 0.94 0.56 2/44 5288
/proc/meminfo: memFree=113340/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=25.48
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90843 0 1 0 2512 36 0 0 25 0 10 0 10013226 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72022 2912 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=17.62
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 1757 5 0 0 25 0 10 0 10013226 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4116093617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=7.74
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74847 0 0 0 744 30 0 0 15 0 10 0 10013227 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.11
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 544 0 0 0 11 0 0 0 15 0 10 0 10013228 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72022 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 420024

[startup+51.1044 s]
/proc/loadavg: 1.07 0.95 0.57 2/44 5288
/proc/meminfo: memFree=113340/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=51.05
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 5069 36 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=42.84
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 4279 5 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4115657623 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=8.08
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 778 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 420024

[startup+102.308 s]
/proc/loadavg: 1.03 0.95 0.59 2/44 5288
/proc/meminfo: memFree=113340/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=102.22
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 10185 37 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=93.41
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 9335 6 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116090121 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=8.68
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 838 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 420024

[startup+162.305 s]
/proc/loadavg: 1.05 0.97 0.62 2/44 5288
/proc/meminfo: memFree=113216/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=162.18
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 16181 37 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=152.44
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 15238 6 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116214853 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=9.61
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 931 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 420024

[startup+222.314 s]
/proc/loadavg: 1.02 0.97 0.64 2/46 5290
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=222.15
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 22178 37 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=211.78
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 21172 6 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116009332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.24
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 994 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 420024

[startup+282.31 s]
/proc/loadavg: 1.00 0.97 0.66 3/46 5296
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=282.1
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 28170 40 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=271.09
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 27100 9 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116083375 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.88
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 1058 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 420024

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

[startup+283.211 s]
/proc/loadavg: 1.00 0.97 0.66 2/46 5296
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=283
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 28260 40 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=271.99
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 27190 9 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4115418874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.88
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 1058 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283
Current children cumulated vsize (KiB) 420024

[startup+284.011 s]
/proc/loadavg: 1.00 0.97 0.66 2/46 5296
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=283.81
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 28341 40 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=272.79
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 27270 9 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116093038 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.88
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 1058 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) R 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.81
Current children cumulated vsize (KiB) 420024

[startup+284.811 s]
/proc/loadavg: 1.00 0.97 0.66 2/46 5296
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=284.61
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90848 0 1 0 28421 40 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72027 2914 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=273.59
/proc/5278/task/5280/stat : 5280 (java) R 5277 5277 4778 34817 4778 4202560 14508 0 1 0 27350 9 0 0 25 0 10 0 10013226 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4116076592 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.88
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 1058 30 0 0 15 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10013227 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 547 0 0 0 12 0 0 0 15 0 10 0 10013228 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) S 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 10013229 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5288] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5288/stat : 5288 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 10014288 427474944 72027 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (KiB) 420024

[startup+285.207 s]
/proc/loadavg: 1.00 0.97 0.66 3/46 5296
/proc/meminfo: memFree=113068/1048576 swapFree=0/0
[pid=5277] ppid=5276 vsize=2568 CPUtime=0
/proc/5277/stat : 5277 (gj-paranoid-sol) S 5276 5277 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10013226 2629632 269 1283457024 134512640 135304128 4289383616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/5277/statm: 642 269 229 194 0 29 0
[pid=5278] ppid=5277 vsize=417456 CPUtime=284.97
/proc/5278/stat : 5278 (java) S 5277 5277 4778 34817 4778 4202496 90850 0 1 0 28457 40 0 0 25 0 9 0 10013226 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/5278/statm: 104364 72029 2915 10 0 98509 0
[pid=5278/tid=5280] ppid=5277 vsize=417456 CPUtime=273.95
/proc/5278/task/5280/stat : 5280 (java) S 5277 5277 4778 34817 4778 4202560 14508 0 1 0 27386 9 0 0 25 0 9 0 10013226 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5281] ppid=5277 vsize=417456 CPUtime=10.88
/proc/5278/task/5281/stat : 5281 (java) S 5277 5277 4778 34817 4778 4202560 74849 0 0 0 1058 30 0 0 15 0 9 0 10013227 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5282] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5282/stat : 5282 (java) S 5277 5277 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10013227 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5283] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5283/stat : 5283 (java) S 5277 5277 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10013227 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5284] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5284/stat : 5284 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013228 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5285] ppid=5277 vsize=417456 CPUtime=0.12
/proc/5278/task/5285/stat : 5285 (java) S 5277 5277 4778 34817 4778 4202560 548 0 0 0 12 0 0 0 15 0 9 0 10013228 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5286] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5286/stat : 5286 (java) S 5277 5277 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10013229 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=5278/tid=5287] ppid=5277 vsize=417456 CPUtime=0
/proc/5278/task/5287/stat : 5287 (java) R 5277 5277 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 10013229 427474944 72029 1283457024 134512640 134550932 4294287536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.97
Current children cumulated vsize (KiB) 420024

Child status: 0
Real time (s): 285.233
CPU time (s): 284.994
CPU user time (s): 284.574
CPU system time (s): 0.420026
CPU usage (%): 99.916
Max. virtual memory (cumulated for all children) (KiB): 445352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.574
system time used= 0.420026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91237
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= 5957
involuntary context switches= 8792

runsolver used 0 second user time and 0 second system time

The end