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/f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/f4ebf9e0-360e-11e0-9e6c-00163e3d3b7c.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.85 0.99 0.99 3/38 7002
/proc/meminfo: memFree=542940/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=11356 CPUtime=0
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 919 0 0 0 0 0 0 0 24 0 2 0 69122402 11628544 651 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 2839 651 285 10 0 1185 0
[pid=7001/tid=7002] ppid=7000 vsize=11356 CPUtime=0
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 69122403 11628544 651 1283457024 134512640 134550932 4290147472 18446744073709551615 4158979688 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.135133 s]
/proc/loadavg: 0.85 0.99 0.99 3/38 7002
/proc/meminfo: memFree=542940/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=409916 CPUtime=0.13
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 3875 0 1 0 13 0 0 0 24 0 9 0 69122402 419753984 3305 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102479 3305 1900 10 0 96627 0
[pid=7001/tid=7002] ppid=7000 vsize=409916 CPUtime=0.13
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 2773 0 1 0 13 0 0 0 25 0 9 0 69122403 419753984 3305 1283457024 134512640 134550932 4290147472 18446744073709551615 4114319684 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.205145 s]
/proc/loadavg: 0.85 0.99 0.99 3/38 7002
/proc/meminfo: memFree=542940/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=410204 CPUtime=0.2
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 4333 0 1 0 20 0 0 0 24 0 9 0 69122402 420048896 3763 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102551 3763 1929 10 0 96699 0
[pid=7001/tid=7002] ppid=7000 vsize=410204 CPUtime=0.18
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 3125 0 1 0 18 0 0 0 25 0 9 0 69122403 420048896 3763 1283457024 134512640 134550932 4290147472 18446744073709551615 4114337550 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) 412776

[startup+0.305178 s]
/proc/loadavg: 0.85 0.99 0.99 3/38 7002
/proc/meminfo: memFree=542940/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=410476 CPUtime=0.3
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 5390 0 1 0 30 0 0 0 24 0 9 0 69122402 420327424 4819 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102619 4819 1940 10 0 96767 0
[pid=7001/tid=7002] ppid=7000 vsize=410476 CPUtime=0.26
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 3496 0 1 0 26 0 0 0 25 0 9 0 69122403 420327424 4819 1283457024 134512640 134550932 4290147472 18446744073709551615 4114752419 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) 413048

[startup+0.705298 s]
/proc/loadavg: 0.85 0.99 0.99 3/38 7002
/proc/meminfo: memFree=542940/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=410748 CPUtime=0.7
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 12877 0 1 0 68 2 0 0 24 0 9 0 69122402 420605952 12124 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102687 12124 2895 10 0 96835 0
[pid=7001/tid=7002] ppid=7000 vsize=410748 CPUtime=0.46
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 4184 0 1 0 46 0 0 0 25 0 9 0 69122403 420605952 12124 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413320

[startup+1.50548 s]
/proc/loadavg: 0.85 0.99 0.99 2/46 7010
/proc/meminfo: memFree=484648/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=410748 CPUtime=1.5
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 27807 0 1 0 144 6 0 0 24 0 9 0 69122402 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102687 27054 2895 10 0 96835 0
[pid=7001/tid=7002] ppid=7000 vsize=410748 CPUtime=0.78
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 6776 0 1 0 78 0 0 0 25 0 9 0 69122403 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=410748 CPUtime=0.67
/proc/7001/task/7004/stat : 7004 (java) R 7000 7000 19908 34817 19908 4202560 19647 0 0 0 62 5 0 0 19 0 9 0 69122404 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4150883232 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=410748 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 21 0 9 0 69122404 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=410748 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 21 0 9 0 69122404 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=410748 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=410748 CPUtime=0.03
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 441 0 0 0 3 0 0 0 20 0 9 0 69122405 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=410748 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=410748 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 69122405 420605952 27054 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.10624 s]
/proc/loadavg: 0.85 0.99 0.99 2/46 7010
/proc/meminfo: memFree=410496/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411084 CPUtime=3.1
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42854 0 1 0 296 14 0 0 24 0 10 0 69122402 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102771 42019 2919 10 0 96916 0
[pid=7001/tid=7002] ppid=7000 vsize=411084 CPUtime=1.75
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9790 0 1 0 173 2 0 0 25 0 10 0 69122403 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4115173044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411084 CPUtime=1.22
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31588 0 0 0 112 10 0 0 16 0 10 0 69122404 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411084 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411084 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411084 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411084 CPUtime=0.1
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 529 0 0 0 10 0 0 0 15 0 10 0 69122405 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411084 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411084 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 420950016 42019 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413656

[startup+6.30698 s]
/proc/loadavg: 0.86 0.99 0.99 2/47 7011
/proc/meminfo: memFree=387176/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=6.3
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42876 0 1 0 616 14 0 0 24 0 10 0 69122402 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 42033 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=4.78
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 476 2 0 0 25 0 10 0 69122403 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4115173044 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=1.38
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 128 10 0 0 16 0 10 0 69122404 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 533 0 0 0 12 0 0 0 16 0 10 0 69122405 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 42033 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413788

[startup+12.7081 s]
/proc/loadavg: 0.87 0.99 0.99 2/47 7011
/proc/meminfo: memFree=393128/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=12.7
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 1256 14 0 0 24 0 10 0 69122402 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 40339 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=10.98
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 1096 2 0 0 25 0 10 0 69122403 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4114455031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=1.57
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 147 10 0 0 16 0 10 0 69122404 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 40339 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413788

[startup+25.511 s]
/proc/loadavg: 0.90 0.99 0.99 3/47 7011
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=25.48
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 2532 16 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=23.55
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 2351 4 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115097944 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=1.8
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 169 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 413788

[startup+51.1067 s]
/proc/loadavg: 0.93 0.99 0.99 3/47 7011
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=51.06
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 5090 16 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=48.59
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 4855 4 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115296143 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=2.33
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 222 11 0 0 16 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 413788

[startup+102.308 s]
/proc/loadavg: 0.97 0.99 0.99 2/49 7013
/proc/meminfo: memFree=425344/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=102.24
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 10207 17 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=99.19
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 9915 4 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4114476794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=2.9
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 279 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 413788

[startup+162.321 s]
/proc/loadavg: 1.04 1.00 0.99 2/49 7019
/proc/meminfo: memFree=425344/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=162.21
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 16203 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=158.5
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 15844 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=3.58
/proc/7001/task/7004/stat : 7004 (java) R 7000 7000 19908 34817 19908 4202560 31604 0 0 0 347 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4150963624 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) R 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 413788

[startup+222.304 s]
/proc/loadavg: 1.07 1.01 1.00 2/48 7022
/proc/meminfo: memFree=425360/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=222.17
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 22199 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=217.92
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 21786 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115167429 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.12
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 401 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 413788

[startup+282.308 s]
/proc/loadavg: 1.02 1.01 1.00 2/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=282.09
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 28191 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=277.25
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27719 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115167416 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.7
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 459 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 413788

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

[startup+283.109 s]
/proc/loadavg: 1.02 1.01 1.00 2/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=282.89
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 28271 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=277.94
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27788 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115215082 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.81
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 470 11 0 0 16 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.89
Current children cumulated vsize (KiB) 413788

[startup+283.909 s]
/proc/loadavg: 1.02 1.01 1.00 2/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=283.69
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 28351 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=278.74
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27868 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115283972 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.81
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 470 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) R 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.69
Current children cumulated vsize (KiB) 413788

[startup+284.709 s]
/proc/loadavg: 1.02 1.01 1.00 2/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=284.49
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42877 0 1 0 28431 18 0 0 24 0 10 0 69122402 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32298 2915 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=279.54
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27948 6 0 0 25 0 10 0 69122403 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4115215066 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.81
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 470 11 0 0 15 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 69122404 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 10 0 69122405 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7011] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7011/stat : 7011 (java) S 7000 7000 19908 34817 19908 4202560 4 0 0 0 0 0 0 0 25 0 10 0 69122665 421085184 32298 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.49
Current children cumulated vsize (KiB) 413788

[startup+285.109 s]
/proc/loadavg: 1.02 1.01 1.00 3/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=284.88
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42878 0 1 0 28470 18 0 0 24 0 9 0 69122402 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32299 2916 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=279.94
/proc/7001/task/7002/stat : 7002 (java) R 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27988 6 0 0 25 0 9 0 69122403 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4115167429 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.81
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 470 11 0 0 15 0 9 0 69122404 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 69122404 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 69122404 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.12
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 9 0 69122405 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) R 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 69122405 421085184 32299 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.88
Current children cumulated vsize (KiB) 413788

[startup+285.203 s]
/proc/loadavg: 1.02 1.01 1.00 3/47 7022
/proc/meminfo: memFree=425368/1048576 swapFree=0/0
[pid=7000] ppid=6999 vsize=2572 CPUtime=0
/proc/7000/stat : 7000 (gj-user-solver-) S 6999 7000 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 24 0 1 0 69122402 2633728 271 1283457024 134512640 135304128 4290528656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/7000/statm: 643 271 229 194 0 30 0
[pid=7001] ppid=7000 vsize=411216 CPUtime=284.95
/proc/7001/stat : 7001 (java) S 7000 7000 19908 34817 19908 4202496 42888 0 1 0 28476 19 0 0 24 0 9 0 69122402 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/7001/statm: 102804 32309 2916 10 0 96949 0
[pid=7001/tid=7002] ppid=7000 vsize=411216 CPUtime=279.98
/proc/7001/task/7002/stat : 7002 (java) S 7000 7000 19908 34817 19908 4202560 9792 0 1 0 27992 6 0 0 25 0 9 0 69122403 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7004] ppid=7000 vsize=411216 CPUtime=4.81
/proc/7001/task/7004/stat : 7004 (java) S 7000 7000 19908 34817 19908 4202560 31604 0 0 0 470 11 0 0 15 0 9 0 69122404 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 0 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7005] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7005/stat : 7005 (java) S 7000 7000 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 69122404 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7006] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7006/stat : 7006 (java) S 7000 7000 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 69122404 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7007] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7007/stat : 7007 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7008] ppid=7000 vsize=411216 CPUtime=0.13
/proc/7001/task/7008/stat : 7008 (java) S 7000 7000 19908 34817 19908 4202560 544 0 0 0 13 0 0 0 16 0 9 0 69122405 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7009] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7009/stat : 7009 (java) S 7000 7000 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 69122405 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
[pid=7001/tid=7010] ppid=7000 vsize=411216 CPUtime=0
/proc/7001/task/7010/stat : 7010 (java) S 7000 7000 19908 34817 19908 4202560 2 0 0 0 0 0 0 0 15 0 9 0 69122405 421085184 32309 1283457024 134512640 134550932 4290147472 18446744073709551615 4294960130 0 4 0 16800975 18446612133030003904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.95
Current children cumulated vsize (KiB) 413788

Child status: 0
Real time (s): 285.233
CPU time (s): 284.954
CPU user time (s): 284.762
CPU system time (s): 0.192012
CPU usage (%): 99.9021
Max. virtual memory (cumulated for all children) (KiB): 413788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.762
system time used= 0.192012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43278
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= 6075
involuntary context switches= 8798

runsolver used 0 second user time and 0.008 second system time

The end