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/201109011757/gj-user-solver-1.0/rand662.cudf.dudf-random.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-random//rand662.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand662.cudf.dudf-random.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

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


[startup+0 s]
/proc/loadavg: 0.85 0.98 0.99 1/33 28678
/proc/meminfo: memFree=838180/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=3020 CPUtime=0
/proc/28678/stat : 28678 (runsolver) D 28677 28678 22717 34817 22717 4202560 73 0 0 0 0 0 0 0 23 0 1 0 72517909 3092480 94 1283457024 134512640 134586868 4294199360 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/28678/statm: 755 94 62 19 0 54 0

[startup+0.188757 s]
/proc/loadavg: 0.85 0.98 0.99 1/33 28678
/proc/meminfo: memFree=838180/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.204731 s]
/proc/loadavg: 0.85 0.98 0.99 1/33 28678
/proc/meminfo: memFree=838180/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.304815 s]
/proc/loadavg: 0.85 0.98 0.99 1/33 28678
/proc/meminfo: memFree=838180/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+0.70482 s]
/proc/loadavg: 0.85 0.98 0.99 1/33 28678
/proc/meminfo: memFree=838180/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2568

[startup+1.51768 s]
/proc/loadavg: 0.85 0.98 0.99 2/43 28688
/proc/meminfo: memFree=816232/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=410672 CPUtime=0.37
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 12343 0 214 0 35 2 0 0 23 0 9 0 72517911 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 102668 11796 2901 10 0 96816 0
[pid=28680/tid=28681] ppid=28678 vsize=410672 CPUtime=0.15
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 4040 0 140 0 15 0 0 0 22 0 9 0 72517933 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=410672 CPUtime=0.18
/proc/28680/task/28682/stat : 28682 (java) R 28678 28678 22717 34817 22717 4202560 6983 0 9 0 16 2 0 0 15 0 9 0 72517955 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4151465912 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=410672 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=410672 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=410672 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=410672 CPUtime=0.04
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 437 0 5 0 4 0 0 0 17 0 9 0 72517978 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=410672 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=410672 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) R 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 17 0 9 0 72517978 420528128 11796 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 413240

[startup+3.10092 s]
/proc/loadavg: 0.86 0.98 0.99 2/43 28688
/proc/meminfo: memFree=737116/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=410804 CPUtime=1.85
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 36160 0 214 0 171 14 0 0 23 0 9 0 72517911 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 102701 35613 2901 10 0 96849 0
[pid=28680/tid=28681] ppid=28678 vsize=410804 CPUtime=0.75
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 9273 0 140 0 71 4 0 0 25 0 9 0 72517933 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4115638119 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=410804 CPUtime=1.05
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 25560 0 9 0 96 9 0 0 16 0 9 0 72517955 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=410804 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=410804 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=410804 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=410804 CPUtime=0.04
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 444 0 5 0 4 0 0 0 15 0 9 0 72517978 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=410804 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=410804 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 420663296 35613 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 413372
heavy processes:

[startup+6.30967 s]
/proc/loadavg: 0.86 0.98 0.99 1/43 28688
/proc/meminfo: memFree=530028/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=410936 CPUtime=4.93
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 69991 0 214 0 469 24 0 0 23 0 9 0 72517911 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 102734 69438 2903 10 0 96882 0
[pid=28680/tid=28681] ppid=28678 vsize=410936 CPUtime=1.61
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 13819 0 140 0 152 9 0 0 25 0 9 0 72517933 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=410936 CPUtime=3.25
/proc/28680/task/28682/stat : 28682 (java) R 28678 28678 22717 34817 22717 4202560 54824 0 9 0 310 15 0 0 16 0 9 0 72517955 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4153170344 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=410936 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=410936 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=410936 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=410936 CPUtime=0.06
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 465 0 5 0 6 0 0 0 15 0 9 0 72517978 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=410936 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=410936 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 420798464 69438 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 413504
heavy processes:

[startup+12.7058 s]
/proc/loadavg: 1.03 1.02 1.00 3/43 28688
/proc/meminfo: memFree=520856/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=439032 CPUtime=11.31
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103869 0 214 0 1091 40 0 0 23 0 9 0 72517911 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 109758 77416 2918 10 0 103903 0
[pid=28680/tid=28681] ppid=28678 vsize=439032 CPUtime=2.6
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14050 0 140 0 250 10 0 0 25 0 9 0 72517933 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=439032 CPUtime=8.62
/proc/28680/task/28682/stat : 28682 (java) R 28678 28678 22717 34817 22717 4202560 88450 0 9 0 833 29 0 0 16 0 9 0 72517955 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4153965984 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=439032 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=439032 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=439032 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=439032 CPUtime=0.07
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 486 0 5 0 7 0 0 0 15 0 9 0 72517978 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=439032 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=439032 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 449568768 77416 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 441600

[startup+25.5097 s]
/proc/loadavg: 1.03 1.02 1.00 2/44 28689
/proc/meminfo: memFree=522088/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=24.11
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103969 0 214 0 2371 40 0 0 23 0 10 0 72517911 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71273 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=14.08
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14072 0 140 0 1398 10 0 0 25 0 10 0 72517933 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4116067886 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=9.9
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 961 29 0 0 15 0 10 0 72517955 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.11
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 557 0 5 0 11 0 0 0 15 0 10 0 72517978 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) R 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71273 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 416856

[startup+51.1068 s]
/proc/loadavg: 1.02 1.01 1.00 2/44 28689
/proc/meminfo: memFree=522088/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=49.67
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103971 0 214 0 4927 40 0 0 23 0 10 0 72517911 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71275 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=38.89
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 3879 10 0 0 25 0 10 0 72517933 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4116223365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=10.65
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1036 29 0 0 15 0 10 0 72517955 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.11
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 558 0 5 0 11 0 0 0 15 0 10 0 72517978 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71275 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 416856

[startup+102.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/44 28689
/proc/meminfo: memFree=522088/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=100.8
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103980 0 214 0 10040 40 0 0 23 0 10 0 72517911 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71284 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=89.32
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 8922 10 0 0 25 0 10 0 72517933 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4116223369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=11.33
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1104 29 0 0 15 0 10 0 72517955 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.8
Current children cumulated vsize (KiB) 416856

[startup+162.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28689
/proc/meminfo: memFree=521964/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=160.75
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103980 0 214 0 16033 42 0 0 23 0 10 0 72517911 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71284 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=148.89
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 14877 12 0 0 25 0 10 0 72517933 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4116217033 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=11.71
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1142 29 0 0 16 0 10 0 72517955 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 416856

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28689
/proc/meminfo: memFree=521964/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=220.65
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103980 0 214 0 22022 43 0 0 23 0 10 0 72517911 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71284 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=208.43
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 20830 13 0 0 25 0 10 0 72517933 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4116217033 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.06
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1177 29 0 0 15 0 10 0 72517955 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 416856

[startup+282.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 28695
/proc/meminfo: memFree=521816/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=280.6
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103980 0 214 0 28015 45 0 0 23 0 10 0 72517911 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71284 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=268.06
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 26791 15 0 0 25 0 10 0 72517933 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4116217033 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.39
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1210 29 0 0 15 0 10 0 72517955 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 280.6
Current children cumulated vsize (KiB) 416856

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

[startup+284.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 28695
/proc/meminfo: memFree=521816/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=283
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103980 0 214 0 28255 45 0 0 23 0 10 0 72517911 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71284 2921 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=270.45
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 27030 15 0 0 25 0 10 0 72517933 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4116217020 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.39
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1210 29 0 0 15 0 10 0 72517955 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72517960 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72517978 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28689] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28689/stat : 28689 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72519298 424230912 71284 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283
Current children cumulated vsize (KiB) 416856

[startup+286.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/46 28695
/proc/meminfo: memFree=521816/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=284.6
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103981 0 214 0 28415 45 0 0 23 0 9 0 72517911 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71285 2922 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=272.04
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 27189 15 0 0 25 0 9 0 72517933 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4116223365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.41
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1212 29 0 0 15 0 9 0 72517955 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.6
Current children cumulated vsize (KiB) 416856

[startup+287.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28695
/proc/meminfo: memFree=521824/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=285.4
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103981 0 214 0 28495 45 0 0 23 0 9 0 72517911 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71285 2922 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=272.84
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 27269 15 0 0 25 0 9 0 72517933 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4116223365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.41
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1212 29 0 0 15 0 9 0 72517955 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.4
Current children cumulated vsize (KiB) 416856

[startup+287.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28695
/proc/meminfo: memFree=521824/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=285.6
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103981 0 214 0 28515 45 0 0 23 0 9 0 72517911 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71285 2922 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=273.04
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 27289 15 0 0 25 0 9 0 72517933 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4116223414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.41
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1212 29 0 0 15 0 9 0 72517955 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.6
Current children cumulated vsize (KiB) 416856

[startup+287.41 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28695
/proc/meminfo: memFree=521824/1048576 swapFree=0/0
[pid=28678] ppid=28677 vsize=2568 CPUtime=0
/proc/28678/stat : 28678 (gj-user-solver-) S 28677 28678 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 24 0 1 0 72517909 2629632 270 1283457024 134512640 135304128 4290569600 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28678/statm: 642 270 229 194 0 29 0
[pid=28680] ppid=28678 vsize=414288 CPUtime=285.7
/proc/28680/stat : 28680 (java) S 28678 28678 22717 34817 22717 4202496 103981 0 214 0 28525 45 0 0 23 0 9 0 72517911 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28680/statm: 103572 71285 2922 10 0 97717 0
[pid=28680/tid=28681] ppid=28678 vsize=414288 CPUtime=273.14
/proc/28680/task/28681/stat : 28681 (java) R 28678 28678 22717 34817 22717 4202560 14073 0 140 0 27299 15 0 0 25 0 9 0 72517933 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4115670927 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28680/tid=28682] ppid=28678 vsize=414288 CPUtime=12.41
/proc/28680/task/28682/stat : 28682 (java) S 28678 28678 22717 34817 22717 4202560 88452 0 9 0 1212 29 0 0 15 0 9 0 72517955 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28683] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28683/stat : 28683 (java) S 28678 28678 22717 34817 22717 4202560 15 0 1 0 0 0 0 0 15 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28684] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28684/stat : 28684 (java) S 28678 28678 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72517960 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28685] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28685/stat : 28685 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 23 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28686] ppid=28678 vsize=414288 CPUtime=0.14
/proc/28680/task/28686/stat : 28686 (java) S 28678 28678 22717 34817 22717 4202560 567 0 5 0 14 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28687] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28687/stat : 28687 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=28680/tid=28688] ppid=28678 vsize=414288 CPUtime=0
/proc/28680/task/28688/stat : 28688 (java) S 28678 28678 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72517978 424230912 71285 1283457024 134512640 134550932 4294049840 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.7
Current children cumulated vsize (KiB) 416856

Child status: 0
Real time (s): 287.5
CPU time (s): 285.758
CPU user time (s): 285.29
CPU system time (s): 0.468029
CPU usage (%): 99.3941
Max. virtual memory (cumulated for all children) (KiB): 441628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.29
system time used= 0.468029
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104370
page faults= 214
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7272
involuntary context switches= 10135

runsolver used 0 second user time and 0.012 second system time

The end