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/rand66.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand66.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand66.cudf.dudf-random.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.99 0.99 3/34 26206
/proc/meminfo: memFree=318772/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) R 26204 26205 19908 34817 19908 4202496 355 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 268 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26205/statm: 642 268 228 194 0 29 0
[pid=26206] ppid=26205 vsize=2568 CPUtime=0
/proc/26206/stat : 26206 (gj-user-solver-) R 26205 26205 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 40 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/26206/statm: 642 40 0 194 0 29 0

[startup+0.133743 s]
/proc/loadavg: 0.85 0.99 0.99 3/34 26206
/proc/meminfo: memFree=318772/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410056 CPUtime=0.12
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 3998 0 1 0 10 2 0 0 25 0 9 0 63867961 419897344 3430 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102514 3430 1923 10 0 96662 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 412624

[startup+0.21374 s]
/proc/loadavg: 0.85 0.99 0.99 3/34 26206
/proc/meminfo: memFree=318772/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410056 CPUtime=0.2
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 4223 0 1 0 18 2 0 0 25 0 9 0 63867961 419897344 3655 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102514 3655 1923 10 0 96662 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412624

[startup+0.313772 s]
/proc/loadavg: 0.85 0.99 0.99 3/34 26206
/proc/meminfo: memFree=318772/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410472 CPUtime=0.3
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 4983 0 1 0 28 2 0 0 25 0 9 0 63867961 420323328 4415 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102618 4415 1938 10 0 96766 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413040

[startup+0.713841 s]
/proc/loadavg: 0.85 0.99 0.99 3/34 26206
/proc/meminfo: memFree=318772/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410744 CPUtime=0.71
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 12844 0 1 0 64 7 0 0 25 0 9 0 63867961 420601856 12093 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102686 12093 2895 10 0 96834 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413312

[startup+1.51396 s]
/proc/loadavg: 0.94 1.01 0.99 2/43 26215
/proc/meminfo: memFree=259568/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410744 CPUtime=1.51
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 27809 0 1 0 143 8 0 0 25 0 9 0 63867961 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102686 27058 2895 10 0 96834 0
[pid=26206/tid=26208] ppid=26205 vsize=410744 CPUtime=0.81
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 6744 0 1 0 78 3 0 0 25 0 9 0 63867962 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=410744 CPUtime=0.66
/proc/26206/task/26209/stat : 26209 (java) R 26205 26205 19908 34817 19908 4202560 19678 0 0 0 62 4 0 0 19 0 9 0 63867962 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4151070211 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=410744 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63867963 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=410744 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63867963 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=410744 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=410744 CPUtime=0.03
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 447 0 0 0 3 0 0 0 16 0 9 0 63867964 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=410744 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=410744 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63867964 420601856 27058 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 413312

[startup+3.12418 s]
/proc/loadavg: 0.94 1.01 0.99 3/43 26215
/proc/meminfo: memFree=185912/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=410888 CPUtime=3.12
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 51570 0 1 0 297 15 0 0 25 0 9 0 63867961 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102722 50738 2917 10 0 96867 0
[pid=26206/tid=26208] ppid=26205 vsize=410888 CPUtime=1.36
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14325 0 1 0 130 6 0 0 25 0 9 0 63867962 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=410888 CPUtime=1.66
/proc/26206/task/26209/stat : 26209 (java) R 26205 26205 19908 34817 19908 4202560 35824 0 0 0 158 8 0 0 15 0 9 0 63867962 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4150691768 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=410888 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63867963 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=410888 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63867963 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=410888 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=410888 CPUtime=0.08
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 481 0 0 0 8 0 0 0 15 0 9 0 63867964 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=410888 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 420749312 50738 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=410888 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) R 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63867964 420749312 50738 1283457024 134512640 134550932 4287957680 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) 413456

[startup+6.31528 s]
/proc/loadavg: 0.94 1.01 0.99 2/44 26216
/proc/meminfo: memFree=115720/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=6.3
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55114 0 1 0 614 16 0 0 25 0 10 0 63867961 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 54273 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=4.28
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 422 6 0 0 25 0 10 0 63867962 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4115246538 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=1.88
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 39285 0 0 0 180 8 0 0 16 0 10 0 63867962 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 535 0 0 0 11 0 0 0 16 0 10 0 63867964 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 54273 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 54273 1283457024 134512640 134550932 4287957680 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) 413780

[startup+12.7066 s]
/proc/loadavg: 0.95 1.01 0.99 2/44 26216
/proc/meminfo: memFree=115728/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=12.69
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55115 0 1 0 1252 17 0 0 25 0 10 0 63867961 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 53293 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=10.56
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 1050 6 0 0 25 0 10 0 63867962 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4115241646 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=1.99
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 39285 0 0 0 190 9 0 0 15 0 10 0 63867962 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 536 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 53293 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 413780

[startup+25.5097 s]
/proc/loadavg: 1.03 1.03 1.00 2/44 26216
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=25.48
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55889 0 1 0 2528 20 0 0 25 0 10 0 63867961 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31198 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=23.1
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 2304 6 0 0 25 0 10 0 63867962 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4115310544 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=2.24
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 212 12 0 0 15 0 10 0 63867962 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 536 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31198 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413780

[startup+51.1058 s]
/proc/loadavg: 1.02 1.02 1.00 2/44 26216
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=51.07
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55890 0 1 0 5087 20 0 0 25 0 10 0 63867961 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31199 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=48.36
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 4830 6 0 0 25 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4115246436 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=2.57
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 245 12 0 0 15 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 537 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413780

[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/46 26219
/proc/meminfo: memFree=204240/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=102.24
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55890 0 1 0 10204 20 0 0 25 0 10 0 63867961 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31199 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=98.96
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 9890 6 0 0 25 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4150107639 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=3.14
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 302 12 0 0 15 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 537 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 413780

[startup+162.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 26225
/proc/meminfo: memFree=204240/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=162.18
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55890 0 1 0 16198 20 0 0 25 0 10 0 63867961 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31199 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=158.38
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 15832 6 0 0 25 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4115365878 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=3.66
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 354 12 0 0 15 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 537 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) R 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 413780

[startup+222.307 s]
/proc/loadavg: 1.00 1.01 1.00 2/45 26227
/proc/meminfo: memFree=204256/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=222.12
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55890 0 1 0 22192 20 0 0 25 0 10 0 63867961 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31199 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=217.72
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 21766 6 0 0 25 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4115340626 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.26
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 414 12 0 0 15 0 10 0 63867962 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 537 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31199 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 413780

[startup+282.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 26227
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=282.08
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55892 0 1 0 28188 20 0 0 25 0 10 0 63867961 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31201 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=277.24
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 27718 6 0 0 25 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4115364218 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.7
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 458 12 0 0 15 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 539 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 413780

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

[startup+283.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 26227
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=282.88
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55892 0 1 0 28268 20 0 0 25 0 10 0 63867961 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31201 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=278.04
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 27798 6 0 0 25 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4115310569 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.71
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 459 12 0 0 16 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 539 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.88
Current children cumulated vsize (KiB) 413780

[startup+284.711 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 26227
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=284.49
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55892 0 1 0 28429 20 0 0 25 0 10 0 63867961 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31201 2914 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=279.64
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 27958 6 0 0 25 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4115254665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.71
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 459 12 0 0 15 0 10 0 63867962 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63867963 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 539 0 0 0 11 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63867964 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26216] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26216/stat : 26216 (java) S 26205 26205 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 63868284 421081088 31201 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.49
Current children cumulated vsize (KiB) 413780

[startup+285.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 26227
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=284.89
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55893 0 1 0 28469 20 0 0 25 0 9 0 63867961 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31202 2915 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=280.04
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 27998 6 0 0 25 0 9 0 63867962 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4115392517 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.71
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 459 12 0 0 15 0 9 0 63867962 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63867963 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63867963 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 539 0 0 0 11 0 0 0 15 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.89
Current children cumulated vsize (KiB) 413780

[startup+285.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 26227
/proc/meminfo: memFree=204264/1048576 swapFree=0/0
[pid=26205] ppid=26204 vsize=2568 CPUtime=0
/proc/26205/stat : 26205 (gj-user-solver-) S 26204 26205 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 25 0 1 0 63867961 2629632 269 1283457024 134512640 135304128 4293619904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/26205/statm: 642 269 229 194 0 29 0
[pid=26206] ppid=26205 vsize=411212 CPUtime=285.09
/proc/26206/stat : 26206 (java) S 26205 26205 19908 34817 19908 4202496 55893 0 1 0 28489 20 0 0 25 0 9 0 63867961 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/26206/statm: 102803 31202 2915 10 0 96948 0
[pid=26206/tid=26208] ppid=26205 vsize=411212 CPUtime=280.24
/proc/26206/task/26208/stat : 26208 (java) R 26205 26205 19908 34817 19908 4202560 14350 0 1 0 28018 6 0 0 25 0 9 0 63867962 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4150107656 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26206/tid=26209] ppid=26205 vsize=411212 CPUtime=4.71
/proc/26206/task/26209/stat : 26209 (java) S 26205 26205 19908 34817 19908 4202560 40059 0 0 0 459 12 0 0 15 0 9 0 63867962 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26210] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26210/stat : 26210 (java) S 26205 26205 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63867963 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26211] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26211/stat : 26211 (java) S 26205 26205 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63867963 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26212] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26212/stat : 26212 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26213] ppid=26205 vsize=411212 CPUtime=0.11
/proc/26206/task/26213/stat : 26213 (java) S 26205 26205 19908 34817 19908 4202560 539 0 0 0 11 0 0 0 15 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26214] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26214/stat : 26214 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=26206/tid=26215] ppid=26205 vsize=411212 CPUtime=0
/proc/26206/task/26215/stat : 26215 (java) S 26205 26205 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63867964 421081088 31202 1283457024 134512640 134550932 4287957680 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.09
Current children cumulated vsize (KiB) 413780

Child status: 0
Real time (s): 285.367
CPU time (s): 285.11
CPU user time (s): 284.894
CPU system time (s): 0.216013
CPU usage (%): 99.9098
Max. virtual memory (cumulated for all children) (KiB): 413780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.894
system time used= 0.216013
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56280
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= 6128
involuntary context switches= 9033

runsolver used 0 second user time and 0 second system time

The end