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/201108241238/gj-trendy-solver-1.0/5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/5698a62c-c731-11df-9bb9-00163e3d3b7c.cudf.dudf-real.result 

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.22 1.18 1.11 5/34 24559
/proc/meminfo: memFree=364500/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) R 24557 24558 1511 34817 1511 4202496 355 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 269 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24558/statm: 642 269 228 194 0 29 0
[pid=24559] ppid=24558 vsize=2568 CPUtime=0
/proc/24559/stat : 24559 (gj-trendy-solve) R 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 41 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24559/statm: 642 41 0 194 0 29 0

[startup+0.205379 s]
/proc/loadavg: 1.22 1.18 1.11 5/34 24559
/proc/meminfo: memFree=364500/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=409796 CPUtime=0.2
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 4085 0 1 0 16 4 0 0 25 0 9 0 4734989 419631104 3511 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102449 3511 1922 10 0 96597 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412364

[startup+0.305397 s]
/proc/loadavg: 1.22 1.18 1.11 5/34 24559
/proc/meminfo: memFree=364500/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=410380 CPUtime=0.3
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 4432 0 1 0 25 5 0 0 25 0 9 0 4734989 420229120 3858 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102595 3858 1944 10 0 96743 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412948

[startup+0.405428 s]
/proc/loadavg: 1.22 1.18 1.11 5/34 24559
/proc/meminfo: memFree=364500/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=410380 CPUtime=0.4
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 6171 0 1 0 32 8 0 0 25 0 9 0 4734989 420229120 5596 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102595 5596 1956 10 0 96743 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 412948

[startup+0.705525 s]
/proc/loadavg: 1.22 1.18 1.11 5/34 24559
/proc/meminfo: memFree=364500/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=410648 CPUtime=0.7
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 12259 0 1 0 60 10 0 0 25 0 9 0 4734989 420503552 11498 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102662 11498 2901 10 0 96810 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413216

[startup+1.50582 s]
/proc/loadavg: 1.22 1.18 1.11 2/43 24568
/proc/meminfo: memFree=305144/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=410780 CPUtime=1.5
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 26554 0 1 0 133 17 0 0 25 0 9 0 4734989 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102695 25793 2901 10 0 96843 0
[pid=24559/tid=24561] ppid=24558 vsize=410780 CPUtime=0.84
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 6786 0 1 0 73 11 0 0 25 0 9 0 4734990 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=410780 CPUtime=0.6
/proc/24559/task/24562/stat : 24562 (java) R 24558 24558 1511 34817 1511 4202560 18380 0 0 0 55 5 0 0 18 0 9 0 4734991 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4151161760 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=410780 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4734991 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=410780 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4734991 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=410780 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4734992 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=410780 CPUtime=0.03
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 447 0 0 0 3 0 0 0 18 0 9 0 4734992 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=410780 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4734992 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=410780 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4734992 420638720 25793 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413348

[startup+3.12626 s]
/proc/loadavg: 1.22 1.18 1.11 3/43 24568
/proc/meminfo: memFree=225412/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=410912 CPUtime=3.12
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 48968 0 1 0 290 22 0 0 25 0 9 0 4734989 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102728 48207 2901 10 0 96876 0
[pid=24559/tid=24561] ppid=24558 vsize=410912 CPUtime=1.5
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14227 0 1 0 137 13 0 0 25 0 9 0 4734990 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=410912 CPUtime=1.56
/proc/24559/task/24562/stat : 24562 (java) R 24558 24558 1511 34817 1511 4202560 33350 0 0 0 148 8 0 0 16 0 9 0 4734991 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4151243087 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=410912 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 4734991 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=410912 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 4734991 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=410912 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4734992 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=410912 CPUtime=0.03
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 450 0 0 0 3 0 0 0 15 0 9 0 4734992 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=410912 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 4734992 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=410912 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) R 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 4734992 420773888 48207 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413480

[startup+6.30712 s]
/proc/loadavg: 1.20 1.18 1.11 3/43 24568
/proc/meminfo: memFree=96700/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=6.28
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71098 0 1 0 602 26 0 0 25 0 10 0 4734989 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70243 2917 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=2.87
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14490 0 1 0 274 13 0 0 25 0 10 0 4734990 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4115464884 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.26
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55137 0 0 0 314 12 0 0 16 0 10 0 4734991 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.13
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 525 0 0 0 12 1 0 0 15 0 10 0 4734992 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70243 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 413816

[startup+12.7092 s]
/proc/loadavg: 1.18 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=12.67
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71353 0 2 0 1240 27 0 0 25 0 10 0 4734989 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70499 2919 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=8.71
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 858 13 0 0 25 0 10 0 4734990 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4115614917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.75
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55249 0 0 0 363 12 0 0 16 0 10 0 4734991 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 561 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70499 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 413816

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

[startup+12.9093 s]
/proc/loadavg: 1.18 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=12.87
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71355 0 2 0 1260 27 0 0 25 0 10 0 4734989 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70501 2921 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=8.88
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 875 13 0 0 25 0 10 0 4734990 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4115138081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.78
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55251 0 0 0 366 12 0 0 16 0 10 0 4734991 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 561 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70501 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 413816

[startup+16.1103 s]
/proc/loadavg: 1.17 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=16.06
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71357 0 2 0 1579 27 0 0 25 0 10 0 4734989 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70503 2921 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=11.99
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 1186 13 0 0 25 0 10 0 4734990 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4115489789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.85
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55251 0 0 0 373 12 0 0 16 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 563 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 413816

[startup+16.9106 s]
/proc/loadavg: 1.17 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=16.86
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71357 0 2 0 1659 27 0 0 25 0 10 0 4734989 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70503 2921 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=12.79
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 1266 13 0 0 25 0 10 0 4734990 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4115610189 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.85
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55251 0 0 0 373 12 0 0 15 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 563 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.86
Current children cumulated vsize (KiB) 413816

[startup+17.7113 s]
/proc/loadavg: 1.17 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=17.66
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71357 0 2 0 1739 27 0 0 25 0 10 0 4734989 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70503 2921 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=13.59
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 1346 13 0 0 25 0 10 0 4734990 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4114994071 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.85
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55251 0 0 0 373 12 0 0 16 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 563 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.66
Current children cumulated vsize (KiB) 413816

[startup+18.1114 s]
/proc/loadavg: 1.17 1.17 1.11 2/44 24569
/proc/meminfo: memFree=93352/1048576 swapFree=0/0
[pid=24558] ppid=24557 vsize=2568 CPUtime=0
/proc/24558/stat : 24558 (gj-trendy-solve) S 24557 24558 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 25 0 1 0 4734989 2629632 270 1283457024 134512640 135304128 4289946912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24558/statm: 642 270 229 194 0 29 0
[pid=24559] ppid=24558 vsize=411248 CPUtime=18.06
/proc/24559/stat : 24559 (java) S 24558 24558 1511 34817 1511 4202496 71357 0 2 0 1779 27 0 0 25 0 10 0 4734989 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24559/statm: 102812 70503 2921 10 0 96957 0
[pid=24559/tid=24561] ppid=24558 vsize=411248 CPUtime=13.99
/proc/24559/task/24561/stat : 24561 (java) R 24558 24558 1511 34817 1511 4202560 14597 0 2 0 1386 13 0 0 25 0 10 0 4734990 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4115562933 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24559/tid=24562] ppid=24558 vsize=411248 CPUtime=3.85
/proc/24559/task/24562/stat : 24562 (java) S 24558 24558 1511 34817 1511 4202560 55251 0 0 0 373 12 0 0 16 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24563] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24563/stat : 24563 (java) S 24558 24558 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24564] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24564/stat : 24564 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 4734991 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24565] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24565/stat : 24565 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24566] ppid=24558 vsize=411248 CPUtime=0.19
/proc/24559/task/24566/stat : 24566 (java) S 24558 24558 1511 34817 1511 4202560 563 0 0 0 18 1 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24567] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24567/stat : 24567 (java) S 24558 24558 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24568] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24568/stat : 24568 (java) S 24558 24558 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 4734992 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24559/tid=24569] ppid=24558 vsize=411248 CPUtime=0
/proc/24559/task/24569/stat : 24569 (java) S 24558 24558 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 4735584 421117952 70503 1283457024 134512640 134550932 4292531904 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.06
Current children cumulated vsize (KiB) 413816

Child status: 0
Real time (s): 18.1966
CPU time (s): 18.1251
CPU user time (s): 17.8331
CPU system time (s): 0.292018
CPU usage (%): 99.6073
Max. virtual memory (cumulated for all children) (KiB): 413816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.8331
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= 71754
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1122
involuntary context switches= 1375

runsolver used 0 second user time and 0 second system time

The end