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/201108311143/gj-user-solver-1.0/rand18.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand18.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand18.cudf.user-upgrades.result -sum(installedsize) 

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.85 0.97 0.99 4/38 21872
/proc/meminfo: memFree=598556/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=11360 CPUtime=0
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 21 0 2 0 61767183 11632640 651 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 2840 651 285 10 0 1186 0
[pid=21871/tid=21872] ppid=21870 vsize=11360 CPUtime=0
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 61767183 11632640 651 1283457024 134512640 134550932 4293867600 18446744073709551615 4159213160 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.141185 s]
/proc/loadavg: 0.85 0.97 0.99 4/38 21872
/proc/meminfo: memFree=598556/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410068 CPUtime=0.14
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 4234 0 1 0 14 0 0 0 21 0 9 0 61767183 419909632 3665 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102517 3665 1940 10 0 96665 0
[pid=21871/tid=21872] ppid=21870 vsize=410068 CPUtime=0.13
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 3034 0 1 0 13 0 0 0 25 0 9 0 61767183 419909632 3665 1283457024 134512640 134550932 4293867600 18446744073709551615 4114543469 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412632

[startup+0.222014 s]
/proc/loadavg: 0.85 0.97 0.99 4/38 21872
/proc/meminfo: memFree=598556/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410068 CPUtime=0.22
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 5285 0 1 0 22 0 0 0 21 0 9 0 61767183 419909632 4716 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102517 4716 1944 10 0 96665 0
[pid=21871/tid=21872] ppid=21870 vsize=410068 CPUtime=0.19
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 3511 0 1 0 19 0 0 0 25 0 9 0 61767183 419909632 4716 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 412632

[startup+0.311205 s]
/proc/loadavg: 0.85 0.97 0.99 4/38 21872
/proc/meminfo: memFree=598556/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410068 CPUtime=0.3
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 5289 0 1 0 30 0 0 0 21 0 9 0 61767183 419909632 4719 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102517 4719 1946 10 0 96665 0
[pid=21871/tid=21872] ppid=21870 vsize=410068 CPUtime=0.28
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 3511 0 1 0 28 0 0 0 25 0 9 0 61767183 419909632 4719 1283457024 134512640 134550932 4293867600 18446744073709551615 4114565921 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412632

[startup+0.71132 s]
/proc/loadavg: 0.85 0.97 0.99 4/38 21872
/proc/meminfo: memFree=598556/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410752 CPUtime=0.7
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 12739 0 1 0 70 0 0 0 21 0 9 0 61767183 420610048 11985 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102688 11985 2900 10 0 96836 0
[pid=21871/tid=21872] ppid=21870 vsize=410752 CPUtime=0.47
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 4168 0 1 0 47 0 0 0 25 0 9 0 61767183 420610048 11985 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413316

[startup+1.50287 s]
/proc/loadavg: 0.85 0.97 0.99 2/46 21880
/proc/meminfo: memFree=541564/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410752 CPUtime=1.49
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 27346 0 1 0 148 1 0 0 21 0 9 0 61767183 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102688 26592 2900 10 0 96836 0
[pid=21871/tid=21872] ppid=21870 vsize=410752 CPUtime=0.78
/proc/21871/task/21872/stat : 21872 (java) S 21870 21870 19908 34817 19908 4202560 6680 0 1 0 78 0 0 0 25 0 9 0 61767183 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=410752 CPUtime=0.66
/proc/21871/task/21874/stat : 21874 (java) R 21870 21870 19908 34817 19908 4202560 19281 0 0 0 66 0 0 0 19 0 9 0 61767184 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4149467265 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=410752 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61767184 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=410752 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 61767184 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=410752 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=410752 CPUtime=0.03
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 20 0 9 0 61767186 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=410752 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=410752 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 61767186 420610048 26592 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10327 s]
/proc/loadavg: 0.86 0.97 0.99 3/46 21880
/proc/meminfo: memFree=468900/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=410884 CPUtime=3.08
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 51592 0 1 0 296 12 0 0 21 0 9 0 61767183 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102721 50838 2900 10 0 96869 0
[pid=21871/tid=21872] ppid=21870 vsize=410884 CPUtime=1.41
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 13785 0 1 0 135 6 0 0 25 0 9 0 61767183 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=410884 CPUtime=1.63
/proc/21871/task/21874/stat : 21874 (java) R 21870 21870 19908 34817 19908 4202560 36419 0 0 0 157 6 0 0 16 0 9 0 61767184 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4150818744 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=410884 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61767184 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=410884 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 61767184 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=410884 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=410884 CPUtime=0.03
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 449 0 0 0 3 0 0 0 15 0 9 0 61767186 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=410884 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=410884 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 61767186 420745216 50838 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413448

[startup+6.30419 s]
/proc/loadavg: 0.86 0.97 0.99 2/46 21880
/proc/meminfo: memFree=332996/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=439792 CPUtime=6.27
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 78191 0 1 0 604 23 0 0 21 0 9 0 61767183 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 109948 77431 2901 10 0 104096 0
[pid=21871/tid=21872] ppid=21870 vsize=439792 CPUtime=2.28
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 13802 0 1 0 222 6 0 0 25 0 9 0 61767183 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=439792 CPUtime=3.94
/proc/21871/task/21874/stat : 21874 (java) R 21870 21870 19908 34817 19908 4202560 62983 0 0 0 378 16 0 0 16 0 9 0 61767184 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4152310299 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=439792 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 61767184 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=439792 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 61767184 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=439792 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=439792 CPUtime=0.03
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 467 0 0 0 3 0 0 0 15 0 9 0 61767186 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=439792 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=439792 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 61767186 450347008 77431 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 442356

[startup+12.706 s]
/proc/loadavg: 0.95 0.98 0.99 2/47 21881
/proc/meminfo: memFree=328152/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=12.68
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92676 0 1 0 1233 35 0 0 21 0 10 0 61767183 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 68093 2917 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=5.58
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 549 9 0 0 25 0 10 0 61767183 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4115484146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=7.01
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77147 0 0 0 676 25 0 0 16 0 10 0 61767184 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 532 0 0 0 6 0 0 0 16 0 10 0 61767186 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 68093 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414112

[startup+25.5084 s]
/proc/loadavg: 0.96 0.98 0.99 2/47 21881
/proc/meminfo: memFree=412100/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=25.48
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92678 0 1 0 2510 38 0 0 21 0 10 0 61767183 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49473 2917 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=17.93
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 1783 10 0 0 25 0 10 0 61767183 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4115426831 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=7.46
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77147 0 0 0 719 27 0 0 15 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 414112

[startup+51.1138 s]
/proc/loadavg: 0.97 0.98 0.99 2/47 21881
/proc/meminfo: memFree=412100/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=51.07
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92678 0 1 0 5069 38 0 0 21 0 10 0 61767183 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49473 2917 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=42.93
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 4283 10 0 0 25 0 10 0 61767183 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4115362596 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=8.05
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77147 0 0 0 778 27 0 0 15 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49473 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 414112

[startup+102.326 s]
/proc/loadavg: 0.99 0.98 0.99 3/47 21881
/proc/meminfo: memFree=412100/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=102.24
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 10186 38 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=93.07
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 9296 11 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=9.1
/proc/21871/task/21874/stat : 21874 (java) R 21870 21870 19908 34817 19908 4202560 77149 0 0 0 883 27 0 0 16 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4152928629 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 414112

[startup+162.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/47 21881
/proc/meminfo: memFree=412100/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=162.17
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 16179 38 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=152.1
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 15199 11 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115460519 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=9.99
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 972 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 414112

[startup+222.311 s]
/proc/loadavg: 1.07 1.01 1.00 2/47 21881
/proc/meminfo: memFree=412100/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=222.13
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 22175 38 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=211.15
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 21104 11 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115375923 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=10.91
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1064 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 414112

[startup+282.307 s]
/proc/loadavg: 1.03 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=282.1
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 28168 42 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=270.39
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27024 15 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115376625 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 414112

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

[startup+283.107 s]
/proc/loadavg: 1.02 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=282.89
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 28247 42 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=271.19
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27104 15 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115361045 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.9
Current children cumulated vsize (KiB) 414112

[startup+283.907 s]
/proc/loadavg: 1.02 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=283.69
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 28327 42 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=271.99
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27184 15 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115391328 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.7
Current children cumulated vsize (KiB) 414112

[startup+284.707 s]
/proc/loadavg: 1.02 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=284.49
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92680 0 1 0 28407 42 0 0 21 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49475 2919 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=272.79
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27264 15 0 0 25 0 10 0 61767183 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4115426729 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 61767184 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 61767186 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21881] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21881/stat : 21881 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 61768121 421425152 49475 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.5
Current children cumulated vsize (KiB) 414112

[startup+285.107 s]
/proc/loadavg: 1.02 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=284.88
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92681 0 1 0 28446 42 0 0 21 0 9 0 61767183 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49476 2920 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=273.18
/proc/21871/task/21872/stat : 21872 (java) R 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27303 15 0 0 25 0 9 0 61767183 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4115512952 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.06
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 6 0 0 0 15 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.89
Current children cumulated vsize (KiB) 414112

[startup+285.205 s]
/proc/loadavg: 1.02 1.01 1.00 2/49 21887
/proc/meminfo: memFree=412076/1048576 swapFree=0/0
[pid=21870] ppid=21869 vsize=2564 CPUtime=0.01
/proc/21870/stat : 21870 (gj-user-solver-) S 21869 21870 19908 34817 19908 4202496 370 0 0 0 0 1 0 0 21 0 1 0 61767183 2625536 268 1283457024 134512640 135304128 4292247392 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/21870/statm: 641 268 229 194 0 28 0
[pid=21871] ppid=21870 vsize=411548 CPUtime=284.97
/proc/21871/stat : 21871 (java) S 21870 21870 19908 34817 19908 4202496 92681 0 1 0 28454 43 0 0 21 0 9 0 61767183 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/21871/statm: 102887 49476 2920 10 0 97032 0
[pid=21871/tid=21872] ppid=21870 vsize=411548 CPUtime=273.26
/proc/21871/task/21872/stat : 21872 (java) S 21870 21870 19908 34817 19908 4202560 14053 0 1 0 27310 16 0 0 25 0 9 0 61767183 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21874] ppid=21870 vsize=411548 CPUtime=11.63
/proc/21871/task/21874/stat : 21874 (java) S 21870 21870 19908 34817 19908 4202560 77149 0 0 0 1136 27 0 0 15 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 0 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21875] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21875/stat : 21875 (java) S 21870 21870 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21876] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21876/stat : 21876 (java) S 21870 21870 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 61767184 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21877] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21877/stat : 21877 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21878] ppid=21870 vsize=411548 CPUtime=0.08
/proc/21871/task/21878/stat : 21878 (java) S 21870 21870 19908 34817 19908 4202560 534 0 0 0 8 0 0 0 15 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21879] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21879/stat : 21879 (java) S 21870 21870 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
[pid=21871/tid=21880] ppid=21870 vsize=411548 CPUtime=0
/proc/21871/task/21880/stat : 21880 (java) S 21870 21870 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 61767186 421425152 49476 1283457024 134512640 134550932 4293867600 18446744073709551615 4294960130 0 4 0 16800975 18446612132933238848 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.98
Current children cumulated vsize (KiB) 414112

Child status: 0
Real time (s): 285.241
CPU time (s): 285.006
CPU user time (s): 284.55
CPU system time (s): 0.456028
CPU usage (%): 99.9174
Max. virtual memory (cumulated for all children) (KiB): 442356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.55
system time used= 0.456028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93066
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= 5956
involuntary context switches= 8861

runsolver used 0 second user time and 0 second system time

The end