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/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/dudf-real//4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/4e539b28-d46c-11df-8f4f-00163e3d3b7c.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.00 1.00 1.00 3/35 28833
/proc/meminfo: memFree=775500/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) R 28831 28832 22717 34817 22717 4202496 355 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 268 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28832/statm: 642 268 228 194 0 29 0
[pid=28833] ppid=28832 vsize=2568 CPUtime=0
/proc/28833/stat : 28833 (gj-user-solver-) R 28832 28832 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 40 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/28833/statm: 642 40 0 194 0 29 0

[startup+0.137978 s]
/proc/loadavg: 1.00 1.00 1.00 3/35 28833
/proc/meminfo: memFree=775500/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410104 CPUtime=0.13
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 4056 0 1 0 9 4 0 0 25 0 9 0 72551839 419946496 3484 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102526 3484 1941 10 0 96674 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 412672

[startup+0.208 s]
/proc/loadavg: 1.00 1.00 1.00 3/35 28833
/proc/meminfo: memFree=775500/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410104 CPUtime=0.2
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 4250 0 1 0 16 4 0 0 25 0 9 0 72551839 419946496 3678 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102526 3678 1941 10 0 96674 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412672

[startup+0.30803 s]
/proc/loadavg: 1.00 1.00 1.00 3/35 28833
/proc/meminfo: memFree=775500/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410236 CPUtime=0.3
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 4558 0 1 0 26 4 0 0 25 0 9 0 72551839 420081664 3986 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102559 3986 1944 10 0 96707 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412804

[startup+0.70815 s]
/proc/loadavg: 1.00 1.00 1.00 3/35 28833
/proc/meminfo: memFree=775500/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410648 CPUtime=0.7
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 11682 0 1 0 64 6 0 0 25 0 9 0 72551839 420503552 10923 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102662 10923 2901 10 0 96810 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.50844 s]
/proc/loadavg: 1.00 1.00 1.00 3/44 28842
/proc/meminfo: memFree=715960/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410780 CPUtime=1.5
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 25566 0 1 0 139 11 0 0 25 0 9 0 72551839 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102695 24807 2901 10 0 96843 0
[pid=28833/tid=28835] ppid=28832 vsize=410780 CPUtime=0.82
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 6822 0 1 0 78 4 0 0 25 0 9 0 72551840 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=410780 CPUtime=0.62
/proc/28833/task/28836/stat : 28836 (java) R 28832 28832 22717 34817 22717 4202560 17355 0 0 0 56 6 0 0 18 0 9 0 72551841 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4150642616 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=410780 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72551841 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=410780 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72551841 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=410780 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=410780 CPUtime=0.05
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 448 0 0 0 5 0 0 0 15 0 9 0 72551842 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=410780 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=410780 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72551842 420638720 24807 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.10891 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28842
/proc/meminfo: memFree=641320/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=410912 CPUtime=3.1
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 47515 0 1 0 296 14 0 0 25 0 9 0 72551839 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102728 46756 2901 10 0 96876 0
[pid=28833/tid=28835] ppid=28832 vsize=410912 CPUtime=1.46
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 12725 0 1 0 140 6 0 0 25 0 9 0 72551840 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4114786316 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=410912 CPUtime=1.57
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 33397 0 0 0 150 7 0 0 16 0 9 0 72551841 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=410912 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72551841 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=410912 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72551841 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=410912 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=410912 CPUtime=0.05
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 452 0 0 0 5 0 0 0 15 0 9 0 72551842 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=410912 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=410912 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72551842 420773888 46756 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413480

[startup+6.30976 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28843
/proc/meminfo: memFree=526612/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411248 CPUtime=6.29
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 65771 0 1 0 609 20 0 0 25 0 10 0 72551839 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102812 64927 2928 10 0 96957 0
[pid=28833/tid=28835] ppid=28832 vsize=411248 CPUtime=4.12
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14551 0 1 0 406 6 0 0 25 0 10 0 72551840 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4115282072 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411248 CPUtime=2.02
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 49717 0 0 0 189 13 0 0 16 0 10 0 72551841 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72551841 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411248 CPUtime=0.13
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 558 0 0 0 13 0 0 0 15 0 10 0 72551842 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) R 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411248 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421117952 64927 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413816

[startup+12.7113 s]
/proc/loadavg: 1.00 1.00 1.00 3/45 28843
/proc/meminfo: memFree=520908/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=12.69
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67189 0 1 0 1249 20 0 0 25 0 10 0 72551839 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66336 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=9.78
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 972 6 0 0 25 0 10 0 72551840 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4114915879 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=2.75
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 262 13 0 0 15 0 10 0 72551841 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.14
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 562 0 0 0 14 0 0 0 16 0 10 0 72551842 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) R 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66336 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414476

[startup+25.5049 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28843
/proc/meminfo: memFree=520784/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=25.47
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67190 0 1 0 2527 20 0 0 25 0 10 0 72551839 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66337 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=21.91
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 2185 6 0 0 25 0 10 0 72551840 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4115331563 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=3.41
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 328 13 0 0 15 0 10 0 72551841 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72551841 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.14
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 563 0 0 0 14 0 0 0 15 0 10 0 72551842 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66337 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 414476

[startup+51.1127 s]
/proc/loadavg: 1.00 1.00 1.00 2/45 28843
/proc/meminfo: memFree=520660/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=51.06
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67197 0 1 0 5081 25 0 0 25 0 10 0 72551839 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66344 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=47.2
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 4709 11 0 0 25 0 10 0 72551840 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4115391621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=3.7
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 357 13 0 0 15 0 10 0 72551841 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72551841 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.14
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 570 0 0 0 14 0 0 0 15 0 10 0 72551842 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66344 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 414476

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520668/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=102.22
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67202 0 1 0 10196 26 0 0 25 0 10 0 72551839 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66349 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=98.04
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 9792 12 0 0 25 0 10 0 72551840 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4115383053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=4.01
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 388 13 0 0 15 0 10 0 72551841 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 15 0 10 0 72551841 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.14
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 575 0 0 0 14 0 0 0 16 0 10 0 72551842 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66349 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 414476

[startup+162.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=162.16
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67205 0 1 0 16188 28 0 0 25 0 10 0 72551839 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66352 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=157.52
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 15739 13 0 0 25 0 10 0 72551840 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4115383049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=4.45
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 432 13 0 0 16 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 578 0 0 0 15 0 0 0 15 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) R 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 414476

[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=222.1
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67205 0 1 0 22182 28 0 0 25 0 10 0 72551839 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66352 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=217.11
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 21698 13 0 0 25 0 10 0 72551840 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4115383053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=4.8
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 467 13 0 0 16 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 578 0 0 0 15 0 0 0 15 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66352 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 414476

[startup+282.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=282.05
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67206 0 1 0 28177 28 0 0 25 0 10 0 72551839 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66353 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=276.7
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 27657 13 0 0 25 0 10 0 72551840 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4115391608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=5.16
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 503 13 0 0 15 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 579 0 0 0 15 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 414476

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

[startup+282.912 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=282.65
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67206 0 1 0 28237 28 0 0 25 0 10 0 72551839 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66353 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=277.29
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 27716 13 0 0 25 0 10 0 72551840 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4115383049 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=5.17
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 504 13 0 0 16 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 579 0 0 0 15 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.65
Current children cumulated vsize (KiB) 414476

[startup+284.512 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=284.25
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67206 0 1 0 28397 28 0 0 25 0 10 0 72551839 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66353 2922 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=278.89
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 27876 13 0 0 25 0 10 0 72551840 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4115391621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=5.17
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 504 13 0 0 15 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72551841 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 579 0 0 0 15 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 10 0 72551842 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28843] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28843/stat : 28843 (java) S 28832 28832 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72552271 421793792 66353 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.25
Current children cumulated vsize (KiB) 414476

[startup+285.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=285.05
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67207 0 1 0 28477 28 0 0 25 0 9 0 72551839 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66354 2923 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=279.67
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 27954 13 0 0 25 0 9 0 72551840 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4115391608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=5.18
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 505 13 0 0 16 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 579 0 0 0 15 0 0 0 15 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.05
Current children cumulated vsize (KiB) 414476

[startup+285.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/44 28843
/proc/meminfo: memFree=520544/1048576 swapFree=0/0
[pid=28832] ppid=28831 vsize=2568 CPUtime=0
/proc/28832/stat : 28832 (gj-user-solver-) S 28831 28832 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 25 0 1 0 72551839 2629632 269 1283457024 134512640 135304128 4294181056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28832/statm: 642 269 229 194 0 29 0
[pid=28833] ppid=28832 vsize=411908 CPUtime=285.24
/proc/28833/stat : 28833 (java) S 28832 28832 22717 34817 22717 4202496 67207 0 1 0 28496 28 0 0 25 0 9 0 72551839 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28833/statm: 102977 66354 2923 10 0 97122 0
[pid=28833/tid=28835] ppid=28832 vsize=411908 CPUtime=279.87
/proc/28833/task/28835/stat : 28835 (java) R 28832 28832 22717 34817 22717 4202560 14552 0 1 0 27974 13 0 0 25 0 9 0 72551840 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4115391621 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28833/tid=28836] ppid=28832 vsize=411908 CPUtime=5.18
/proc/28833/task/28836/stat : 28836 (java) S 28832 28832 22717 34817 22717 4202560 51130 0 0 0 505 13 0 0 16 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28837] ppid=28832 vsize=411908 CPUtime=0.01
/proc/28833/task/28837/stat : 28837 (java) S 28832 28832 22717 34817 22717 4202560 15 0 0 0 1 0 0 0 15 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28838] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28838/stat : 28838 (java) S 28832 28832 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 9 0 72551841 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28839] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28839/stat : 28839 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28840] ppid=28832 vsize=411908 CPUtime=0.15
/proc/28833/task/28840/stat : 28840 (java) S 28832 28832 22717 34817 22717 4202560 579 0 0 0 15 0 0 0 15 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28841] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28841/stat : 28841 (java) S 28832 28832 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=28833/tid=28842] ppid=28832 vsize=411908 CPUtime=0
/proc/28833/task/28842/stat : 28842 (java) S 28832 28832 22717 34817 22717 4202560 2 0 0 0 0 0 0 0 15 0 9 0 72551842 421793792 66354 1283457024 134512640 134550932 4293341008 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 285.24
Current children cumulated vsize (KiB) 414476

Child status: 0
Real time (s): 285.562
CPU time (s): 285.278
CPU user time (s): 284.986
CPU system time (s): 0.292018
CPU usage (%): 99.9005
Max. virtual memory (cumulated for all children) (KiB): 414476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.986
system time used= 0.292018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67600
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= 6732
involuntary context switches= 9807

runsolver used 0 second user time and 0.012 second system time

The end