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/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.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.84 0.96 0.98 5/36 3519
/proc/meminfo: memFree=362812/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=11360 CPUtime=0
/proc/3518/stat : 3518 (java) R 3517 3517 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 25 0 2 0 68742411 11632640 651 1283457024 134512640 134550932 4286851440 18446744073709551615 4159442536 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 2840 651 285 10 0 1186 0
[pid=3518/tid=3519] ppid=3517 vsize=11360 CPUtime=0
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 68742411 11632640 651 1283457024 134512640 134550932 4286851440 18446744073709551615 4159442536 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.135289 s]
/proc/loadavg: 0.84 0.96 0.98 5/36 3519
/proc/meminfo: memFree=362812/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=409920 CPUtime=0.13
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 3866 0 1 0 10 3 0 0 25 0 9 0 68742411 419758080 3298 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102480 3298 1900 10 0 96628 0
[pid=3518/tid=3519] ppid=3517 vsize=409920 CPUtime=0.11
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 2769 0 1 0 10 1 0 0 25 0 9 0 68742411 419758080 3298 1283457024 134512640 134550932 4286851440 18446744073709551615 4150832115 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412488

[startup+0.205299 s]
/proc/loadavg: 0.84 0.96 0.98 5/36 3519
/proc/meminfo: memFree=362812/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=410072 CPUtime=0.2
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 4327 0 1 0 17 3 0 0 25 0 9 0 68742411 419913728 3759 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102518 3759 1929 10 0 96666 0
[pid=3518/tid=3519] ppid=3517 vsize=410072 CPUtime=0.17
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 3127 0 1 0 16 1 0 0 25 0 9 0 68742411 419913728 3759 1283457024 134512640 134550932 4286851440 18446744073709551615 4115203930 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412640

[startup+0.305321 s]
/proc/loadavg: 0.84 0.96 0.98 5/36 3519
/proc/meminfo: memFree=362812/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=410208 CPUtime=0.3
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 5301 0 1 0 27 3 0 0 25 0 9 0 68742411 420052992 4731 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102552 4731 1946 10 0 96700 0
[pid=3518/tid=3519] ppid=3517 vsize=410208 CPUtime=0.26
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 3511 0 1 0 25 1 0 0 25 0 9 0 68742411 420052992 4731 1283457024 134512640 134550932 4286851440 18446744073709551615 4114799758 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412776

[startup+0.705412 s]
/proc/loadavg: 0.84 0.96 0.98 5/36 3519
/proc/meminfo: memFree=362812/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=410756 CPUtime=0.7
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 11437 0 1 0 67 3 0 0 25 0 9 0 68742411 420614144 10683 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102689 10683 2900 10 0 96837 0
[pid=3518/tid=3519] ppid=3517 vsize=410756 CPUtime=0.51
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 4200 0 1 0 50 1 0 0 25 0 9 0 68742411 420614144 10683 1283457024 134512640 134550932 4286851440 18446744073709551615 4115263616 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413324

[startup+1.50609 s]
/proc/loadavg: 0.84 0.96 0.98 3/44 3527
/proc/meminfo: memFree=304828/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=410756 CPUtime=1.5
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 24488 0 1 0 142 8 0 0 25 0 9 0 68742411 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102689 23734 2900 10 0 96837 0
[pid=3518/tid=3519] ppid=3517 vsize=410756 CPUtime=0.84
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 6808 0 1 0 81 3 0 0 25 0 9 0 68742411 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=410756 CPUtime=0.6
/proc/3518/task/3521/stat : 3521 (java) R 3517 3517 19908 34817 19908 4202560 16298 0 0 0 57 3 0 0 18 0 9 0 68742412 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4151045162 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=410756 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 68742412 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=410756 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 68742412 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=410756 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=410756 CPUtime=0.04
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 443 0 0 0 4 0 0 0 20 0 9 0 68742414 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=410756 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=410756 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 68742414 420614144 23734 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.10652 s]
/proc/loadavg: 0.84 0.96 0.98 2/44 3527
/proc/meminfo: memFree=229932/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=410888 CPUtime=3.09
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 45820 0 1 0 292 17 0 0 25 0 9 0 68742411 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102722 45066 2900 10 0 96870 0
[pid=3518/tid=3519] ppid=3517 vsize=410888 CPUtime=1.44
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 11035 0 1 0 138 6 0 0 25 0 9 0 68742411 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4115203920 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=410888 CPUtime=1.6
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 33398 0 0 0 150 10 0 0 16 0 9 0 68742412 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=410888 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 68742412 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=410888 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 68742412 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=410888 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=410888 CPUtime=0.04
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 448 0 0 0 4 0 0 0 15 0 9 0 68742414 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=410888 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=410888 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 68742414 420749312 45066 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413456

[startup+6.30753 s]
/proc/loadavg: 0.85 0.96 0.98 2/45 3528
/proc/meminfo: memFree=115604/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=6.29
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 65703 0 1 0 602 27 0 0 25 0 10 0 68742411 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64856 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=3.28
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 319 9 0 0 25 0 10 0 68742411 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4115549552 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=2.88
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 49695 0 0 0 272 16 0 0 16 0 10 0 68742412 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 533 0 0 0 10 0 0 0 16 0 10 0 68742414 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64856 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413792

[startup+12.709 s]
/proc/loadavg: 0.87 0.96 0.98 2/45 3528
/proc/meminfo: memFree=115480/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=12.7
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 65705 0 1 0 1242 28 0 0 25 0 10 0 68742411 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64858 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=9.68
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 958 10 0 0 25 0 10 0 68742411 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4115687977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=2.88
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 49695 0 0 0 272 16 0 0 15 0 10 0 68742412 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 535 0 0 0 10 0 0 0 16 0 10 0 68742414 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64858 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413792

[startup+25.5125 s]
/proc/loadavg: 0.89 0.97 0.98 2/45 3528
/proc/meminfo: memFree=115356/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=25.5
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 65708 0 1 0 2522 28 0 0 25 0 10 0 68742411 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64861 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=22.22
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 2212 10 0 0 25 0 10 0 68742411 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4115688885 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=3.14
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 49695 0 0 0 298 16 0 0 15 0 10 0 68742412 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 538 0 0 0 10 0 0 0 16 0 10 0 68742414 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64861 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 413792

[startup+51.1086 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=116108/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=51.08
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 65805 0 1 0 5079 29 0 0 25 0 10 0 68742411 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64525 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=47.33
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 4723 10 0 0 25 0 10 0 68742411 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4115687977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=3.6
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 49791 0 0 0 344 16 0 0 15 0 10 0 68742412 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64525 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 413792

[startup+102.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115612/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=102.26
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 10196 30 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=97.81
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 9770 11 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115642454 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=4.31
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 415 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 413792

[startup+162.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115612/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=162.21
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 16191 30 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=157.29
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 15718 11 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115639394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=4.77
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 461 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 413792

[startup+222.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=222.18
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 22188 30 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=216.8
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 21669 11 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115631373 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.24
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 508 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 413792

[startup+282.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=282.16
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 28185 31 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=276.31
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27619 12 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115725524 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 413792

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

[startup+283.213 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=283.06
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 28275 31 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=277.21
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27709 12 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115653504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.06
Current children cumulated vsize (KiB) 413792

[startup+284.003 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=283.85
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 28354 31 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=278
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27788 12 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115688874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.85
Current children cumulated vsize (KiB) 413792

[startup+284.803 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=284.65
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 28434 31 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=278.8
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27868 12 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115614488 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.65
Current children cumulated vsize (KiB) 413792

[startup+285.003 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=284.85
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66429 0 1 0 28454 31 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64779 2918 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=279
/proc/3518/task/3519/stat : 3519 (java) R 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27888 12 0 0 25 0 10 0 68742411 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4115725193 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 68742412 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 539 0 0 0 10 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 68742414 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3528] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3528/stat : 3528 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 68742898 421093376 64779 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.85
Current children cumulated vsize (KiB) 413792

[startup+285.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 3528
/proc/meminfo: memFree=115488/1048576 swapFree=0/0
[pid=3517] ppid=3516 vsize=2568 CPUtime=0
/proc/3517/stat : 3517 (gj-user-solver-) S 3516 3517 19908 34817 19908 4202496 371 0 0 0 0 0 0 0 18 0 1 0 68742411 2629632 269 1283457024 134512640 135304128 4294271264 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3517/statm: 642 269 229 194 0 29 0
[pid=3518] ppid=3517 vsize=411224 CPUtime=284.95
/proc/3518/stat : 3518 (java) S 3517 3517 19908 34817 19908 4202496 66431 0 1 0 28464 31 0 0 25 0 9 0 68742411 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3518/statm: 102806 64781 2919 10 0 96951 0
[pid=3518/tid=3519] ppid=3517 vsize=411224 CPUtime=279.1
/proc/3518/task/3519/stat : 3519 (java) S 3517 3517 19908 34817 19908 4202560 14531 0 1 0 27898 12 0 0 25 0 9 0 68742411 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3521] ppid=3517 vsize=411224 CPUtime=5.7
/proc/3518/task/3521/stat : 3521 (java) S 3517 3517 19908 34817 19908 4202560 50415 0 0 0 554 16 0 0 15 0 9 0 68742412 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 0 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3522] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3522/stat : 3522 (java) S 3517 3517 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 15 0 9 0 68742412 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3523] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3523/stat : 3523 (java) S 3517 3517 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 68742412 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3524] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3524/stat : 3524 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3525] ppid=3517 vsize=411224 CPUtime=0.1
/proc/3518/task/3525/stat : 3525 (java) S 3517 3517 19908 34817 19908 4202560 540 0 0 0 10 0 0 0 15 0 9 0 68742414 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3526] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3526/stat : 3526 (java) S 3517 3517 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 68742414 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
[pid=3518/tid=3527] ppid=3517 vsize=411224 CPUtime=0
/proc/3518/task/3527/stat : 3527 (java) S 3517 3517 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 68742414 421093376 64781 1283457024 134512640 134550932 4286851440 18446744073709551615 4294960130 0 4 0 16800975 18446612132933240640 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.95
Current children cumulated vsize (KiB) 413792

Child status: 0
Real time (s): 285.137
CPU time (s): 284.97
CPU user time (s): 284.642
CPU system time (s): 0.32802
CPU usage (%): 99.9414
Max. virtual memory (cumulated for all children) (KiB): 413792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.642
system time used= 0.32802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66819
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= 5763
involuntary context switches= 8496

runsolver used 0 second user time and 0 second system time

The end