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/rand343.cudf.s-e-l-s.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/incremental/s-e-l-s/rand343.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand343.cudf.s-e-l-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: 1.00 1.04 1.04 3/37 9792
/proc/meminfo: memFree=385440/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=11356 CPUtime=0
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 917 0 0 0 0 0 0 0 25 0 2 0 10400944 11628544 651 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 2839 651 285 10 0 1185 0
[pid=9791/tid=9792] ppid=9790 vsize=11356 CPUtime=0
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 10400944 11628544 651 1283457024 134512640 134550932 4287466032 18446744073709551615 4158922344 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.165307 s]
/proc/loadavg: 1.00 1.04 1.04 3/37 9792
/proc/meminfo: memFree=385440/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410100 CPUtime=0.16
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 4057 0 1 0 13 3 0 0 25 0 9 0 10400944 419942400 3489 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102525 3489 1928 10 0 96673 0
[pid=9791/tid=9792] ppid=9790 vsize=410100 CPUtime=0.14
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 2863 0 1 0 12 2 0 0 25 0 9 0 10400944 419942400 3489 1283457024 134512640 134550932 4287466032 18446744073709551615 4114397662 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412672

[startup+0.205308 s]
/proc/loadavg: 1.00 1.04 1.04 3/37 9792
/proc/meminfo: memFree=385440/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410100 CPUtime=0.2
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 4275 0 1 0 17 3 0 0 25 0 9 0 10400944 419942400 3707 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102525 3707 1928 10 0 96673 0
[pid=9791/tid=9792] ppid=9790 vsize=410100 CPUtime=0.18
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 3081 0 1 0 16 2 0 0 25 0 9 0 10400944 419942400 3707 1283457024 134512640 134550932 4287466032 18446744073709551615 4114252815 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412672

[startup+0.305332 s]
/proc/loadavg: 1.00 1.04 1.04 3/37 9792
/proc/meminfo: memFree=385440/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410248 CPUtime=0.3
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 5338 0 1 0 26 4 0 0 25 0 9 0 10400944 420093952 4770 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102562 4770 1933 10 0 96710 0
[pid=9791/tid=9792] ppid=9790 vsize=410248 CPUtime=0.25
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 3499 0 1 0 23 2 0 0 25 0 9 0 10400944 420093952 4770 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412820

[startup+0.705406 s]
/proc/loadavg: 1.00 1.04 1.04 3/37 9792
/proc/meminfo: memFree=385440/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410684 CPUtime=0.7
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 12897 0 1 0 61 9 0 0 25 0 9 0 10400944 420540416 12144 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102671 12144 2895 10 0 96819 0
[pid=9791/tid=9792] ppid=9790 vsize=410684 CPUtime=0.46
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 4189 0 1 0 43 3 0 0 25 0 9 0 10400944 420540416 12144 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413256

[startup+1.50556 s]
/proc/loadavg: 1.00 1.04 1.04 3/45 9800
/proc/meminfo: memFree=327084/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410816 CPUtime=1.5
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 27915 0 1 0 139 11 0 0 25 0 9 0 10400944 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102704 27162 2896 10 0 96852 0
[pid=9791/tid=9792] ppid=9790 vsize=410816 CPUtime=0.78
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 6829 0 1 0 74 4 0 0 25 0 9 0 10400944 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=410816 CPUtime=0.67
/proc/9791/task/9794/stat : 9794 (java) R 9790 9790 4778 34817 4778 4202560 19714 0 0 0 61 6 0 0 19 0 9 0 10400945 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4150825901 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10400945 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10400945 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=410816 CPUtime=0.03
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 432 0 0 0 3 0 0 0 17 0 9 0 10400946 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10400946 420675584 27162 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413388

[startup+3.1259 s]
/proc/loadavg: 1.08 1.06 1.05 2/45 9800
/proc/meminfo: memFree=251816/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=410816 CPUtime=3.12
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 49342 0 1 0 294 18 0 0 25 0 9 0 10400944 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 102704 48589 2896 10 0 96852 0
[pid=9791/tid=9792] ppid=9790 vsize=410816 CPUtime=1.42
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14254 0 1 0 135 7 0 0 25 0 9 0 10400944 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=410816 CPUtime=1.66
/proc/9791/task/9794/stat : 9794 (java) R 9790 9790 4778 34817 4778 4202560 33713 0 0 0 156 10 0 0 15 0 9 0 10400945 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4153028101 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 10400945 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 10400945 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=410816 CPUtime=0.03
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 435 0 0 0 3 0 0 0 16 0 9 0 10400946 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=410816 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) R 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10400946 420675584 48589 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413388

[startup+6.30674 s]
/proc/loadavg: 1.08 1.06 1.05 3/45 9801
/proc/meminfo: memFree=102404/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=414176 CPUtime=6.3
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 77186 0 1 0 604 26 0 0 25 0 9 0 10400944 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103544 71184 2911 10 0 97689 0
[pid=9791/tid=9792] ppid=9790 vsize=414176 CPUtime=2.39
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14563 0 1 0 231 8 0 0 25 0 9 0 10400944 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4114909575 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=414176 CPUtime=3.82
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 61215 0 0 0 365 17 0 0 17 0 9 0 10400945 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=414176 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 10400945 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=414176 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10400945 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=414176 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=414176 CPUtime=0.08
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 468 0 0 0 8 0 0 0 15 0 9 0 10400946 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=414176 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=414176 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10400946 424116224 71184 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 416748

[startup+12.7093 s]
/proc/loadavg: 1.14 1.07 1.05 2/46 9802
/proc/meminfo: memFree=112812/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=12.71
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82284 0 1 0 1243 28 0 0 25 0 10 0 10400944 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71114 2912 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=7.07
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14592 0 1 0 699 8 0 0 25 0 10 0 10400944 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4115085164 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=5.48
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66220 0 0 0 529 19 0 0 16 0 10 0 10400945 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.14
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 528 0 0 0 14 0 0 0 15 0 10 0 10400946 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71114 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 416436

[startup+25.5036 s]
/proc/loadavg: 1.12 1.07 1.05 2/46 9804
/proc/meminfo: memFree=112812/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=25.49
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82297 0 1 0 2521 28 0 0 25 0 10 0 10400944 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71127 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=19.48
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 1940 8 0 0 25 0 10 0 10400944 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4115078141 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=5.85
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 566 19 0 0 15 0 10 0 10400945 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 538 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71127 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 416436

[startup+51.1066 s]
/proc/loadavg: 1.08 1.06 1.05 2/46 9806
/proc/meminfo: memFree=112812/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=51.02
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 5074 28 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=44.69
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 4461 8 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115010777 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=6.17
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 598 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 416436

[startup+102.311 s]
/proc/loadavg: 1.11 1.07 1.05 2/45 9806
/proc/meminfo: memFree=112828/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=102.22
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 10193 29 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=95.27
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 9518 9 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115085220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=6.78
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 659 19 0 0 16 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 416436

[startup+162.309 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=162.17
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 16188 29 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=154.95
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 15486 9 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115028760 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.06
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 687 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 416436

[startup+222.31 s]
/proc/loadavg: 1.01 1.04 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=222.08
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 22178 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=214.57
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 21447 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115103533 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.35
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 716 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 416436

[startup+282.307 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=282.04
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 28174 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=273.92
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27382 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115093215 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 416436

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

[startup+283.208 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=282.94
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 28264 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=274.82
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27472 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115112608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.94
Current children cumulated vsize (KiB) 416436

[startup+284.008 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=283.74
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 28344 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=275.62
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27552 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115069280 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.74
Current children cumulated vsize (KiB) 416436

[startup+284.808 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=284.54
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 28424 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=276.42
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27632 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115010752 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.54
Current children cumulated vsize (KiB) 416436

[startup+285.008 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=284.74
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82299 0 1 0 28444 30 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71129 2914 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=276.62
/proc/9791/task/9792/stat : 9792 (java) R 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27652 10 0 0 25 0 10 0 10400944 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4115085220 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 10400945 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.15
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 15 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) R 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 10400946 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9791/tid=9802] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9802/stat : 9802 (java) S 9790 9790 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10401792 423796736 71129 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.74
Current children cumulated vsize (KiB) 416436

[startup+285.103 s]
/proc/loadavg: 1.04 1.05 1.04 2/44 9806
/proc/meminfo: memFree=112836/1048576 swapFree=0/0
[pid=9790] ppid=9789 vsize=2572 CPUtime=0
/proc/9790/stat : 9790 (gj-paranoid-sol) S 9789 9790 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 25 0 1 0 10400943 2633728 270 1283457024 134512640 135304128 4291425968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/9790/statm: 643 270 229 194 0 30 0
[pid=9791] ppid=9790 vsize=413864 CPUtime=284.83
/proc/9791/stat : 9791 (java) S 9790 9790 4778 34817 4778 4202496 82300 0 1 0 28453 30 0 0 25 0 9 0 10400944 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/9791/statm: 103466 71130 2915 10 0 97611 0
[pid=9791/tid=9792] ppid=9790 vsize=413864 CPUtime=276.7
/proc/9791/task/9792/stat : 9792 (java) S 9790 9790 4778 34817 4778 4202560 14593 0 1 0 27660 10 0 0 25 0 9 0 10400944 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9794] ppid=9790 vsize=413864 CPUtime=7.95
/proc/9791/task/9794/stat : 9794 (java) S 9790 9790 4778 34817 4778 4202560 66222 0 0 0 776 19 0 0 15 0 9 0 10400945 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9795] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9795/stat : 9795 (java) S 9790 9790 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 15 0 9 0 10400945 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9796] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9796/stat : 9796 (java) S 9790 9790 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 10400945 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9797] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9797/stat : 9797 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9798] ppid=9790 vsize=413864 CPUtime=0.16
/proc/9791/task/9798/stat : 9798 (java) S 9790 9790 4778 34817 4778 4202560 540 0 0 0 16 0 0 0 15 0 9 0 10400946 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9799] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9799/stat : 9799 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 10400946 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=9791/tid=9800] ppid=9790 vsize=413864 CPUtime=0
/proc/9791/task/9800/stat : 9800 (java) S 9790 9790 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 10400946 423796736 71130 1283457024 134512640 134550932 4287466032 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.83
Current children cumulated vsize (KiB) 416436

Child status: 0
Real time (s): 285.147
CPU time (s): 284.858
CPU user time (s): 284.534
CPU system time (s): 0.32402
CPU usage (%): 99.8986
Max. virtual memory (cumulated for all children) (KiB): 437424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.534
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82688
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= 5836
involuntary context switches= 8708

runsolver used 0 second user time and 0 second system time

The end