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

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.85 1.00 0.99 5/38 25019
/proc/meminfo: memFree=802492/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=11360 CPUtime=0
/proc/25018/stat : 25018 (java) R 25017 25017 19908 34817 19908 4202496 917 0 0 0 0 0 0 0 25 0 2 0 63262616 11632640 651 1283457024 134512640 134550932 4293556224 18446744073709551615 4159819368 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 2840 651 285 10 0 1186 0
[pid=25018/tid=25019] ppid=25017 vsize=11360 CPUtime=0
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 63262616 11632640 651 1283457024 134512640 134550932 4293556224 18446744073709551615 4159819368 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.155114 s]
/proc/loadavg: 0.85 1.00 0.99 5/38 25019
/proc/meminfo: memFree=802492/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410068 CPUtime=0.15
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 4316 0 1 0 13 2 0 0 25 0 9 0 63262616 419909632 3747 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102517 3747 1940 10 0 96665 0
[pid=25018/tid=25019] ppid=25017 vsize=410068 CPUtime=0.14
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 3115 0 1 0 12 2 0 0 25 0 9 0 63262616 419909632 3747 1283457024 134512640 134550932 4293556224 18446744073709551615 4115156897 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412632

[startup+0.205119 s]
/proc/loadavg: 0.85 1.00 0.99 5/38 25019
/proc/meminfo: memFree=802492/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410068 CPUtime=0.2
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 4665 0 1 0 18 2 0 0 25 0 9 0 63262616 419909632 4096 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102517 4096 1940 10 0 96665 0
[pid=25018/tid=25019] ppid=25017 vsize=410068 CPUtime=0.18
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 3464 0 1 0 16 2 0 0 25 0 9 0 63262616 419909632 4096 1283457024 134512640 134550932 4293556224 18446744073709551615 4115582571 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) 412632

[startup+0.305136 s]
/proc/loadavg: 0.85 1.00 0.99 5/38 25019
/proc/meminfo: memFree=802492/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410068 CPUtime=0.3
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 5290 0 1 0 26 4 0 0 25 0 9 0 63262616 419909632 4720 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102517 4720 1946 10 0 96665 0
[pid=25018/tid=25019] ppid=25017 vsize=410068 CPUtime=0.27
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 3511 0 1 0 25 2 0 0 25 0 9 0 63262616 419909632 4720 1283457024 134512640 134550932 4293556224 18446744073709551615 4115157976 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) 412632

[startup+0.705212 s]
/proc/loadavg: 0.85 1.00 0.99 5/38 25019
/proc/meminfo: memFree=802492/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410752 CPUtime=0.7
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 12740 0 1 0 65 5 0 0 25 0 9 0 63262616 420610048 11986 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102688 11986 2900 10 0 96836 0
[pid=25018/tid=25019] ppid=25017 vsize=410752 CPUtime=0.45
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 4168 0 1 0 43 2 0 0 25 0 9 0 63262616 420610048 11986 1283457024 134512640 134550932 4293556224 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) 413316

[startup+1.50547 s]
/proc/loadavg: 0.85 1.00 0.99 2/46 25027
/proc/meminfo: memFree=745440/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410752 CPUtime=1.5
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 27356 0 1 0 141 9 0 0 25 0 9 0 63262616 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102688 26602 2900 10 0 96836 0
[pid=25018/tid=25019] ppid=25017 vsize=410752 CPUtime=0.79
/proc/25018/task/25019/stat : 25019 (java) S 25017 25017 19908 34817 19908 4202560 6680 0 1 0 77 2 0 0 25 0 9 0 63262616 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=410752 CPUtime=0.66
/proc/25018/task/25021/stat : 25021 (java) R 25017 25017 19908 34817 19908 4202560 19290 0 0 0 60 6 0 0 19 0 9 0 63262617 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4151803304 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=410752 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63262617 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=410752 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63262617 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=410752 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=410752 CPUtime=0.03
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 20 0 9 0 63262618 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=410752 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=410752 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63262619 420610048 26602 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10589 s]
/proc/loadavg: 0.85 1.00 0.99 3/46 25027
/proc/meminfo: memFree=671908/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=410884 CPUtime=3.09
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 52127 0 1 0 295 14 0 0 25 0 9 0 63262616 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102721 51373 2900 10 0 96869 0
[pid=25018/tid=25019] ppid=25017 vsize=410884 CPUtime=1.4
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 13785 0 1 0 135 5 0 0 25 0 9 0 63262616 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=410884 CPUtime=1.65
/proc/25018/task/25021/stat : 25021 (java) R 25017 25017 19908 34817 19908 4202560 36953 0 0 0 157 8 0 0 16 0 9 0 63262617 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4151422114 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=410884 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63262617 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=410884 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63262617 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=410884 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=410884 CPUtime=0.03
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 449 0 0 0 3 0 0 0 15 0 9 0 63262618 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=410884 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=410884 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63262619 420745216 51373 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 413448

[startup+6.30698 s]
/proc/loadavg: 0.86 1.00 0.99 2/46 25027
/proc/meminfo: memFree=536872/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=439792 CPUtime=6.29
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 78191 0 1 0 604 25 0 0 25 0 9 0 63262616 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 109948 77431 2901 10 0 104096 0
[pid=25018/tid=25019] ppid=25017 vsize=439792 CPUtime=2.27
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 13802 0 1 0 219 8 0 0 25 0 9 0 63262616 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=439792 CPUtime=3.97
/proc/25018/task/25021/stat : 25021 (java) R 25017 25017 19908 34817 19908 4202560 62982 0 0 0 381 16 0 0 16 0 9 0 63262617 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4152916507 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=439792 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 63262617 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=439792 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 63262617 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=439792 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=439792 CPUtime=0.04
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 467 0 0 0 4 0 0 0 15 0 9 0 63262618 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=439792 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=439792 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63262619 450347008 77431 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 442356

[startup+12.7091 s]
/proc/loadavg: 0.95 1.02 1.00 3/47 25028
/proc/meminfo: memFree=532028/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=12.7
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92675 0 1 0 1239 31 0 0 25 0 10 0 63262616 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 70542 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=5.77
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 569 8 0 0 25 0 10 0 63262616 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4115962612 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=6.84
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 662 22 0 0 16 0 10 0 63262617 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.07
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 530 0 0 0 7 0 0 0 16 0 10 0 63262618 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) R 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 70542 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414116

[startup+25.5124 s]
/proc/loadavg: 0.96 1.01 1.00 3/47 25028
/proc/meminfo: memFree=621060/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=25.5
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 2516 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=17.93
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 1785 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115931696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=7.46
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 721 25 0 0 16 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 414116

[startup+51.1081 s]
/proc/loadavg: 0.97 1.01 1.00 2/47 25028
/proc/meminfo: memFree=621060/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=51.05
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 5071 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=42.88
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 4280 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4116033769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=8.06
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 781 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) R 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 414116

[startup+102.31 s]
/proc/loadavg: 0.99 1.01 1.00 2/47 25028
/proc/meminfo: memFree=621060/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=102.22
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 10188 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=93.25
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 9317 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115982464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=8.85
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 860 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 414116

[startup+162.304 s]
/proc/loadavg: 1.04 1.02 1.00 2/49 25033
/proc/meminfo: memFree=621036/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=162.17
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 16183 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=152.38
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 15230 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115733204 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=9.67
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 942 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 414116

[startup+222.307 s]
/proc/loadavg: 1.01 1.01 1.00 2/49 25039
/proc/meminfo: memFree=621036/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=222.12
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 22178 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=211.67
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 21159 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115982474 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.33
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1008 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 414116

[startup+282.312 s]
/proc/loadavg: 1.00 1.01 1.00 2/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=282.09
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 28175 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=271.15
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27107 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115554199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.82
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1057 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 414116

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

[startup+283.112 s]
/proc/loadavg: 1.00 1.01 1.00 2/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=282.89
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 28255 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=271.95
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27187 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4115982847 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.82
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1057 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.89
Current children cumulated vsize (KiB) 414116

[startup+283.912 s]
/proc/loadavg: 1.00 1.00 1.00 2/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=283.69
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 28335 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=272.75
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27267 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4116033769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.82
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1057 25 0 0 15 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.69
Current children cumulated vsize (KiB) 414116

[startup+284.712 s]
/proc/loadavg: 1.00 1.00 1.00 2/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=284.49
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92679 0 1 0 28415 34 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48223 2917 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=273.38
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27330 8 0 0 25 0 10 0 63262616 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4116067644 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.99
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1074 25 0 0 16 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 63262617 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 63262618 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 10 0 63262619 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25028] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25028/stat : 25028 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 63263552 421429248 48223 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.49
Current children cumulated vsize (KiB) 414116

[startup+285.112 s]
/proc/loadavg: 1.00 1.00 1.00 3/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=284.89
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92680 0 1 0 28455 34 0 0 25 0 9 0 63262616 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48224 2918 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=273.78
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27370 8 0 0 25 0 9 0 63262616 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4116118853 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.99
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1074 25 0 0 16 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) R 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63262619 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.89
Current children cumulated vsize (KiB) 414116

[startup+285.212 s]
/proc/loadavg: 1.00 1.00 1.00 3/48 25039
/proc/meminfo: memFree=621052/1048576 swapFree=0/0
[pid=25017] ppid=25016 vsize=2564 CPUtime=0
/proc/25017/stat : 25017 (gj-user-solver-) S 25016 25017 19908 34817 19908 4202496 370 0 0 0 0 0 0 0 18 0 1 0 63262615 2625536 268 1283457024 134512640 135304128 4294541712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25017/statm: 641 268 229 194 0 28 0
[pid=25018] ppid=25017 vsize=411552 CPUtime=284.99
/proc/25018/stat : 25018 (java) S 25017 25017 19908 34817 19908 4202496 92680 0 1 0 28465 34 0 0 25 0 9 0 63262616 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25018/statm: 102888 48224 2918 10 0 97033 0
[pid=25018/tid=25019] ppid=25017 vsize=411552 CPUtime=273.88
/proc/25018/task/25019/stat : 25019 (java) R 25017 25017 19908 34817 19908 4202560 14053 0 1 0 27380 8 0 0 25 0 9 0 63262616 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4150840840 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25018/tid=25021] ppid=25017 vsize=411552 CPUtime=10.99
/proc/25018/task/25021/stat : 25021 (java) S 25017 25017 19908 34817 19908 4202560 77147 0 0 0 1074 25 0 0 16 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 0 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25022] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25022/stat : 25022 (java) S 25017 25017 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25023] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25023/stat : 25023 (java) S 25017 25017 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 63262617 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25024] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25024/stat : 25024 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25025] ppid=25017 vsize=411552 CPUtime=0.1
/proc/25018/task/25025/stat : 25025 (java) S 25017 25017 19908 34817 19908 4202560 534 0 0 0 10 0 0 0 15 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25026] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25026/stat : 25026 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 63262618 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
[pid=25018/tid=25027] ppid=25017 vsize=411552 CPUtime=0
/proc/25018/task/25027/stat : 25027 (java) S 25017 25017 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 15 0 9 0 63262619 421429248 48224 1283457024 134512640 134550932 4293556224 18446744073709551615 4294960130 0 4 0 16800975 18446612133002273856 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.99
Current children cumulated vsize (KiB) 414116

Child status: 0
Real time (s): 285.241
CPU time (s): 285.014
CPU user time (s): 284.666
CPU system time (s): 0.348021
CPU usage (%): 99.9202
Max. virtual memory (cumulated for all children) (KiB): 442356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.666
system time used= 0.348021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93066
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5873
involuntary context switches= 8635

runsolver used 0 second user time and 0 second system time

The end