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/201108300820/gj-user-solver-1.0/b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//b2540c52-51b7-11e0-aa4f-00163e1e087d.cudf /home/misc2010/tmp/201108300820/gj-user-solver-1.0/b2540c52-51b7-11e0-aa4f-00163e1e087d.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: 1.19 1.06 1.02 1/34 14879
/proc/meminfo: memFree=982628/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=3020 CPUtime=0
/proc/14879/stat : 14879 (runsolver) D 14878 14879 2160 34817 2160 4202560 72 0 0 0 0 0 0 0 22 0 1 0 57618051 3092480 93 1283457024 134512640 134586868 4292009504 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/14879/statm: 755 93 62 19 0 54 0

[startup+0.145699 s]
/proc/loadavg: 1.19 1.06 1.02 1/34 14879
/proc/meminfo: memFree=982628/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.205697 s]
/proc/loadavg: 1.19 1.06 1.02 1/34 14879
/proc/meminfo: memFree=982628/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.305745 s]
/proc/loadavg: 1.19 1.06 1.02 1/34 14879
/proc/meminfo: memFree=982628/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.705719 s]
/proc/loadavg: 1.19 1.06 1.02 1/34 14879
/proc/meminfo: memFree=982628/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.50581 s]
/proc/loadavg: 1.17 1.06 1.02 4/44 14889
/proc/meminfo: memFree=960152/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=411556 CPUtime=0.34
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 8197 0 223 0 34 0 0 0 22 0 9 0 57618053 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 102889 7806 2097 10 0 97037 0
[pid=14881/tid=14882] ppid=14879 vsize=411556 CPUtime=0.22
/proc/14881/task/14882/stat : 14882 (java) S 14879 14879 2160 34817 2160 4202560 3363 0 150 0 22 0 0 0 19 0 9 0 57618075 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=411556 CPUtime=0.08
/proc/14881/task/14883/stat : 14883 (java) D 14879 14879 2160 34817 2160 4202560 3509 0 12 0 8 0 0 0 16 0 9 0 57618099 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4151214532 0 0 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=411556 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 57618103 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=411556 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 4 0 0 0 0 0 0 0 22 0 9 0 57618103 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=411556 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 57618122 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=411556 CPUtime=0.03
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 443 0 4 0 3 0 0 0 18 0 9 0 57618122 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=411556 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 57618122 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=411556 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 16 0 9 0 57618122 421433344 7806 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 414124

[startup+3.10403 s]
/proc/loadavg: 1.17 1.06 1.02 2/44 14889
/proc/meminfo: memFree=898228/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=411688 CPUtime=1.84
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 35767 0 237 0 175 9 0 0 22 0 9 0 57618053 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 102922 35249 2900 10 0 97070 0
[pid=14881/tid=14882] ppid=14879 vsize=411688 CPUtime=0.76
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 9442 0 150 0 73 3 0 0 18 0 9 0 57618075 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=411688 CPUtime=1.03
/proc/14881/task/14883/stat : 14883 (java) R 14879 14879 2160 34817 2160 4202560 24992 0 26 0 97 6 0 0 16 0 9 0 57618099 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4151438274 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=411688 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 57618103 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=411688 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 57618103 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=411688 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 57618122 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=411688 CPUtime=0.04
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 450 0 4 0 4 0 0 0 15 0 9 0 57618122 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=411688 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 57618122 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=411688 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 57618122 421568512 35249 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 414256
heavy processes:

[startup+6.3144 s]
/proc/loadavg: 1.16 1.05 1.02 2/45 14890
/proc/meminfo: memFree=742112/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=4.84
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 54446 0 244 0 471 13 0 0 22 0 10 0 57618053 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 53850 2922 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=2.98
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 293 5 0 0 21 0 10 0 57618075 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4116054517 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=1.72
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 38643 0 26 0 164 8 0 0 15 0 10 0 57618099 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.13
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 532 0 4 0 13 0 0 0 15 0 10 0 57618122 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 53850 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 414592
heavy processes:

[startup+12.7158 s]
/proc/loadavg: 1.15 1.05 1.01 3/46 14891
/proc/meminfo: memFree=723696/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=11.23
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58897 0 244 0 1110 13 0 0 22 0 10 0 57618053 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 58301 2924 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=9.31
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 926 5 0 0 25 0 10 0 57618075 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4116105528 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=1.79
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43091 0 26 0 171 8 0 0 15 0 10 0 57618099 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.13
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 535 0 4 0 13 0 0 0 15 0 10 0 57618122 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) R 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 58301 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 414592

[startup+25.5085 s]
/proc/loadavg: 1.12 1.05 1.01 2/46 14892
/proc/meminfo: memFree=723636/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=24.02
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58910 0 244 0 2388 14 0 0 22 0 10 0 57618053 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 58306 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=21.91
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 2185 6 0 0 25 0 10 0 57618075 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=1.97
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43102 0 26 0 189 8 0 0 15 0 10 0 57618099 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 537 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 58306 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (KiB) 414592

[startup+51.1137 s]
/proc/loadavg: 1.07 1.05 1.01 2/46 14895
/proc/meminfo: memFree=725124/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=49.62
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58912 0 244 0 4947 15 0 0 22 0 10 0 57618053 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57778 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=47.23
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 4716 7 0 0 25 0 10 0 57618075 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928443 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=2.25
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43102 0 26 0 217 8 0 0 15 0 10 0 57618099 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) R 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.62
Current children cumulated vsize (KiB) 414592

[startup+102.314 s]
/proc/loadavg: 1.03 1.04 1.01 2/46 14900
/proc/meminfo: memFree=724764/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=100.8
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58912 0 244 0 10065 15 0 0 22 0 10 0 57618053 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57778 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=98.15
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 9808 7 0 0 25 0 10 0 57618075 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=2.5
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43102 0 26 0 242 8 0 0 15 0 10 0 57618099 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.8
Current children cumulated vsize (KiB) 414592

[startup+162.307 s]
/proc/loadavg: 1.01 1.03 1.00 2/45 14900
/proc/meminfo: memFree=724780/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=160.75
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58912 0 244 0 16060 15 0 0 22 0 10 0 57618053 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57778 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=157.78
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 15771 7 0 0 25 0 10 0 57618075 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928443 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=2.82
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43102 0 26 0 274 8 0 0 15 0 10 0 57618099 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 414592

[startup+222.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=220.73
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 58912 0 244 0 22058 15 0 0 22 0 10 0 57618053 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57778 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=217.61
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 21754 7 0 0 25 0 10 0 57618075 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=2.98
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43102 0 26 0 290 8 0 0 15 0 10 0 57618099 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57778 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.73
Current children cumulated vsize (KiB) 414592

[startup+282.313 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=280.69
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59014 0 244 0 28054 15 0 0 22 0 10 0 57618053 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57880 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=277.35
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 27728 7 0 0 25 0 10 0 57618075 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.2
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 312 8 0 0 15 0 10 0 57618099 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.69
Current children cumulated vsize (KiB) 414592

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

[startup+283.213 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=281.59
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59014 0 244 0 28144 15 0 0 22 0 10 0 57618053 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57880 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=278.25
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 27818 7 0 0 25 0 10 0 57618075 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.2
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 312 8 0 0 15 0 10 0 57618099 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 281.59
Current children cumulated vsize (KiB) 414592

[startup+284.813 s]
/proc/loadavg: 1.00 1.02 1.00 3/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=283.19
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59014 0 244 0 28304 15 0 0 22 0 10 0 57618053 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57880 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=279.73
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 27966 7 0 0 25 0 10 0 57618075 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.32
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 324 8 0 0 16 0 10 0 57618099 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.19
Current children cumulated vsize (KiB) 414592

[startup+285.613 s]
/proc/loadavg: 1.00 1.02 1.00 2/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=283.99
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59014 0 244 0 28384 15 0 0 22 0 10 0 57618053 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57880 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=280.53
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 28046 7 0 0 25 0 10 0 57618075 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4115928437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.32
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 324 8 0 0 15 0 10 0 57618099 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.99
Current children cumulated vsize (KiB) 414592

[startup+286.013 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=284.39
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59014 0 244 0 28424 15 0 0 22 0 10 0 57618053 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57880 2919 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=280.93
/proc/14881/task/14882/stat : 14882 (java) R 14879 14879 2160 34817 2160 4202560 14383 0 157 0 28086 7 0 0 25 0 10 0 57618075 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4116006959 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.32
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 324 8 0 0 15 0 10 0 57618099 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 10 0 57618103 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 539 0 4 0 14 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 10 0 57618122 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14890] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14890/stat : 14890 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 19 0 10 0 57618511 421912576 57880 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.39
Current children cumulated vsize (KiB) 414592

[startup+286.107 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 14900
/proc/meminfo: memFree=724788/1048576 swapFree=0/0
[pid=14879] ppid=14878 vsize=2568 CPUtime=0
/proc/14879/stat : 14879 (gj-user-solver-) S 14878 14879 2160 34817 2160 4202496 371 0 0 0 0 0 0 0 23 0 1 0 57618051 2629632 269 1283457024 134512640 135304128 4293451856 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14879/statm: 642 269 229 194 0 29 0
[pid=14881] ppid=14879 vsize=412024 CPUtime=284.48
/proc/14881/stat : 14881 (java) S 14879 14879 2160 34817 2160 4202496 59024 0 244 0 28433 15 0 0 22 0 9 0 57618053 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14881/statm: 103006 57890 2920 10 0 97151 0
[pid=14881/tid=14882] ppid=14879 vsize=412024 CPUtime=281.01
/proc/14881/task/14882/stat : 14882 (java) S 14879 14879 2160 34817 2160 4202560 14383 0 157 0 28094 7 0 0 25 0 9 0 57618075 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14883] ppid=14879 vsize=412024 CPUtime=3.32
/proc/14881/task/14883/stat : 14883 (java) S 14879 14879 2160 34817 2160 4202560 43204 0 26 0 324 8 0 0 15 0 9 0 57618099 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14884] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14884/stat : 14884 (java) S 14879 14879 2160 34817 2160 4202560 14 0 1 0 0 0 0 0 15 0 9 0 57618103 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14885] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14885/stat : 14885 (java) S 14879 14879 2160 34817 2160 4202560 5 0 0 0 0 0 0 0 18 0 9 0 57618103 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14886] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14886/stat : 14886 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 21 0 9 0 57618122 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14887] ppid=14879 vsize=412024 CPUtime=0.14
/proc/14881/task/14887/stat : 14887 (java) S 14879 14879 2160 34817 2160 4202560 548 0 4 0 14 0 0 0 16 0 9 0 57618122 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14888] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14888/stat : 14888 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 22 0 9 0 57618122 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=14881/tid=14889] ppid=14879 vsize=412024 CPUtime=0
/proc/14881/task/14889/stat : 14889 (java) S 14879 14879 2160 34817 2160 4202560 1 0 0 0 0 0 0 0 15 0 9 0 57618122 421912576 57890 1283457024 134512640 134550932 4287119792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.48
Current children cumulated vsize (KiB) 414592

Child status: 0
Real time (s): 286.17
CPU time (s): 284.502
CPU user time (s): 284.338
CPU system time (s): 0.16401
CPU usage (%): 99.417
Max. virtual memory (cumulated for all children) (KiB): 414592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.338
system time used= 0.16401
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59410
page faults= 244
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6246
involuntary context switches= 8794

runsolver used 0 second user time and 0 second system time

The end