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/8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/8b0e7c16-bab4-11e0-a883-00163e1e087d.cudf.dudf-real.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: 1.08 1.02 1.01 5/36 772
/proc/meminfo: memFree=369636/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=11356 CPUtime=0.01
/proc/771/stat : 771 (java) R 770 770 22717 34817 22717 4202496 918 0 0 0 0 1 0 0 25 0 2 0 73236861 11628544 651 1283457024 134512640 134550932 4289930256 18446744073709551615 4158963304 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 2839 651 285 10 0 1185 0
[pid=771/tid=772] ppid=770 vsize=11356 CPUtime=0
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 2 0 73236862 11628544 651 1283457024 134512640 134550932 4289930256 18446744073709551615 4158963304 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.175368 s]
/proc/loadavg: 1.08 1.02 1.01 5/36 772
/proc/meminfo: memFree=369636/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410068 CPUtime=0.17
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 4429 0 1 0 14 3 0 0 25 0 9 0 73236861 419909632 3857 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102517 3857 1935 10 0 96665 0
[pid=771/tid=772] ppid=770 vsize=410068 CPUtime=0.16
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 3227 0 1 0 14 2 0 0 25 0 9 0 73236862 419909632 3857 1283457024 134512640 134550932 4289930256 18446744073709551615 4114736141 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 412636

[startup+0.205326 s]
/proc/loadavg: 1.08 1.02 1.01 5/36 772
/proc/meminfo: memFree=369636/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410068 CPUtime=0.21
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 4620 0 1 0 18 3 0 0 25 0 9 0 73236861 419909632 4048 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102517 4048 1935 10 0 96665 0
[pid=771/tid=772] ppid=770 vsize=410068 CPUtime=0.19
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 3418 0 1 0 17 2 0 0 25 0 9 0 73236862 419909632 4048 1283457024 134512640 134550932 4289930256 18446744073709551615 4114321235 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412636

[startup+0.305346 s]
/proc/loadavg: 1.08 1.02 1.01 5/36 772
/proc/meminfo: memFree=369636/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410208 CPUtime=0.31
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 5291 0 1 0 28 3 0 0 25 0 9 0 73236861 420052992 4718 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102552 4718 1941 10 0 96700 0
[pid=771/tid=772] ppid=770 vsize=410208 CPUtime=0.28
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 3513 0 1 0 26 2 0 0 25 0 9 0 73236862 420052992 4718 1283457024 134512640 134550932 4289930256 18446744073709551615 4114321998 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412776

[startup+0.705466 s]
/proc/loadavg: 1.08 1.02 1.01 5/36 772
/proc/meminfo: memFree=369636/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410748 CPUtime=0.7
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 12807 0 1 0 65 5 0 0 25 0 9 0 73236861 420605952 12047 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102687 12047 2901 10 0 96835 0
[pid=771/tid=772] ppid=770 vsize=410748 CPUtime=0.47
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 4185 0 1 0 45 2 0 0 25 0 9 0 73236862 420605952 12047 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413316

[startup+1.50574 s]
/proc/loadavg: 1.08 1.02 1.01 2/44 780
/proc/meminfo: memFree=312024/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410748 CPUtime=1.5
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 26341 0 1 0 143 7 0 0 25 0 9 0 73236861 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102687 25581 2901 10 0 96835 0
[pid=771/tid=772] ppid=770 vsize=410748 CPUtime=0.84
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 6729 0 1 0 82 2 0 0 25 0 9 0 73236862 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=410748 CPUtime=0.62
/proc/771/task/774/stat : 774 (java) R 770 770 22717 34817 22717 4202560 18227 0 0 0 58 4 0 0 18 0 9 0 73236862 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4150568888 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=410748 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73236863 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=410748 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73236863 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=410748 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=410748 CPUtime=0.02
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 443 0 0 0 2 0 0 0 21 0 9 0 73236864 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=410748 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=410748 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73236864 420605952 25581 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10607 s]
/proc/loadavg: 1.07 1.02 1.00 2/44 780
/proc/meminfo: memFree=238616/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=410880 CPUtime=3.1
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 47727 0 1 0 296 14 0 0 25 0 9 0 73236861 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102720 46967 2901 10 0 96868 0
[pid=771/tid=772] ppid=770 vsize=410880 CPUtime=1.5
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 13386 0 1 0 146 4 0 0 25 0 9 0 73236862 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4114735387 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=410880 CPUtime=1.54
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 32952 0 0 0 146 8 0 0 16 0 9 0 73236862 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=410880 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 73236863 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=410880 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 73236863 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=410880 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=410880 CPUtime=0.03
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 447 0 0 0 3 0 0 0 15 0 9 0 73236864 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=410880 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=410880 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73236864 420741120 46967 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30721 s]
/proc/loadavg: 1.07 1.02 1.00 3/44 780
/proc/meminfo: memFree=103952/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=6.3
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71011 0 1 0 608 22 0 0 25 0 10 0 73236861 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70157 2918 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=2.83
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14371 0 1 0 279 4 0 0 25 0 10 0 73236862 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4115167368 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=3.33
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55177 0 0 0 317 16 0 0 16 0 10 0 73236862 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.11
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 517 0 0 0 11 0 0 0 15 0 10 0 73236864 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70157 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 413916

[startup+12.709 s]
/proc/loadavg: 1.07 1.02 1.00 2/45 781
/proc/meminfo: memFree=100480/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=12.7
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71159 0 1 0 1248 22 0 0 25 0 10 0 73236861 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70305 2919 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=8.53
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14378 0 1 0 849 4 0 0 25 0 10 0 73236862 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=4
/proc/771/task/774/stat : 774 (java) R 770 770 22717 34817 22717 4202560 55280 0 0 0 384 16 0 0 16 0 10 0 73236862 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4150960734 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.14
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 555 0 0 0 14 0 0 0 16 0 10 0 73236864 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70305 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413916

[startup+25.503 s]
/proc/loadavg: 1.05 1.01 1.00 2/45 781
/proc/meminfo: memFree=100480/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=25.49
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71166 0 1 0 2527 22 0 0 25 0 10 0 73236861 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70312 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=20.89
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 2085 4 0 0 25 0 10 0 73236862 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4115172989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=4.43
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 427 16 0 0 16 0 10 0 73236862 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.14
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 559 0 0 0 14 0 0 0 15 0 10 0 73236864 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70312 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413916

[startup+51.1086 s]
/proc/loadavg: 1.03 1.01 1.00 2/44 781
/proc/meminfo: memFree=100364/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=51.07
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71170 0 1 0 5085 22 0 0 25 0 10 0 73236861 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70316 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=46.21
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 4617 4 0 0 25 0 10 0 73236862 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4115321276 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=4.68
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 452 16 0 0 16 0 10 0 73236862 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.15
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 563 0 0 0 15 0 0 0 15 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 413916

[startup+102.311 s]
/proc/loadavg: 1.01 1.01 1.00 2/44 781
/proc/meminfo: memFree=100364/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=102.2
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71170 0 1 0 10198 22 0 0 25 0 10 0 73236861 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70316 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=96.97
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 9692 5 0 0 25 0 10 0 73236862 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4115326008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=5.06
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 490 16 0 0 15 0 10 0 73236862 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.15
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 563 0 0 0 15 0 0 0 15 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70316 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 413916

[startup+162.307 s]
/proc/loadavg: 1.05 1.02 1.00 2/44 781
/proc/meminfo: memFree=100240/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=162.16
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71176 0 1 0 16192 24 0 0 25 0 10 0 73236861 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70322 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=156.48
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 15642 6 0 0 25 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4115326021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=5.48
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 532 16 0 0 16 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 413916

[startup+222.311 s]
/proc/loadavg: 1.02 1.01 1.00 2/44 781
/proc/meminfo: memFree=100240/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=222.1
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71176 0 1 0 22186 24 0 0 25 0 10 0 73236861 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70322 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=216.02
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 21596 6 0 0 25 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4114957484 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=5.89
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 573 16 0 0 15 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 413916

[startup+282.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 784
/proc/meminfo: memFree=100092/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=282.06
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71176 0 1 0 28182 24 0 0 25 0 10 0 73236861 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70322 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=275.64
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 27558 6 0 0 25 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4115321289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=6.22
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 606 16 0 0 15 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 413916

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

[startup+283.006 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 784
/proc/meminfo: memFree=100092/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=282.76
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71176 0 1 0 28252 24 0 0 25 0 10 0 73236861 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70322 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=276.32
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 27626 6 0 0 25 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4115321289 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=6.24
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 608 16 0 0 16 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.76
Current children cumulated vsize (KiB) 413916

[startup+284.606 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 784
/proc/meminfo: memFree=100092/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=284.36
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71176 0 1 0 28412 24 0 0 25 0 10 0 73236861 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70322 2922 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=277.92
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 27786 6 0 0 25 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4115326008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=6.24
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 608 16 0 0 15 0 10 0 73236862 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 73236863 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 73236864 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=781] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/781/stat : 781 (java) S 770 770 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 73237451 421220352 70322 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.36
Current children cumulated vsize (KiB) 413916

[startup+285.407 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 784
/proc/meminfo: memFree=100092/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=285.15
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71177 0 1 0 28491 24 0 0 25 0 9 0 73236861 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70323 2923 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=278.7
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 27864 6 0 0 25 0 9 0 73236862 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4115326021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=6.26
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 610 16 0 0 16 0 9 0 73236862 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73236863 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73236863 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.15
Current children cumulated vsize (KiB) 413916

[startup+285.607 s]
/proc/loadavg: 1.00 1.01 1.00 2/46 784
/proc/meminfo: memFree=100092/1048576 swapFree=0/0
[pid=770] ppid=769 vsize=2568 CPUtime=0
/proc/770/stat : 770 (gj-user-solver-) S 769 770 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 73236861 2629632 270 1283457024 134512640 135304128 4289004496 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/770/statm: 642 270 229 194 0 29 0
[pid=771] ppid=770 vsize=411348 CPUtime=285.35
/proc/771/stat : 771 (java) S 770 770 22717 34817 22717 4202496 71177 0 1 0 28511 24 0 0 25 0 9 0 73236861 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/771/statm: 102837 70323 2923 10 0 96982 0
[pid=771/tid=772] ppid=770 vsize=411348 CPUtime=278.9
/proc/771/task/772/stat : 772 (java) R 770 770 22717 34817 22717 4202560 14379 0 1 0 27884 6 0 0 25 0 9 0 73236862 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4115326021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=771/tid=774] ppid=770 vsize=411348 CPUtime=6.26
/proc/771/task/774/stat : 774 (java) S 770 770 22717 34817 22717 4202560 55282 0 0 0 610 16 0 0 16 0 9 0 73236862 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=775] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/775/stat : 775 (java) S 770 770 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 9 0 73236863 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=776] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/776/stat : 776 (java) S 770 770 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 73236863 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=777] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/777/stat : 777 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=778] ppid=770 vsize=411348 CPUtime=0.16
/proc/771/task/778/stat : 778 (java) S 770 770 22717 34817 22717 4202560 569 0 0 0 16 0 0 0 15 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=779] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/779/stat : 779 (java) S 770 770 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=771/tid=780] ppid=770 vsize=411348 CPUtime=0
/proc/771/task/780/stat : 780 (java) S 770 770 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 73236864 421220352 70323 1283457024 134512640 134550932 4289930256 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.35
Current children cumulated vsize (KiB) 413916

Child status: 0
Real time (s): 285.677
CPU time (s): 285.406
CPU user time (s): 285.158
CPU system time (s): 0.248015
CPU usage (%): 99.9051
Max. virtual memory (cumulated for all children) (KiB): 413916

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

runsolver used 0 second user time and 0.012 second system time

The end