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/201108251442/gj-paranoid-solver-1.0/rand461.cudf.dudf-random.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-random//rand461.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/rand461.cudf.dudf-random.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.25 1.15 1.04 5/35 17968
/proc/meminfo: memFree=319612/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) R 17966 17967 4778 34817 4778 4202496 356 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 270 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/17967/statm: 644 270 228 194 0 31 0
[pid=17968] ppid=17967 vsize=2576 CPUtime=0
/proc/17968/stat : 17968 (gj-paranoid-sol) R 17967 17967 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 42 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/17968/statm: 644 42 0 194 0 31 0

[startup+0.135187 s]
/proc/loadavg: 1.25 1.15 1.04 5/35 17968
/proc/meminfo: memFree=319612/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=409800 CPUtime=0.14
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 3900 0 1 0 10 4 0 0 25 0 9 0 11088684 419635200 3327 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102450 3327 1910 10 0 96598 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412376

[startup+0.205198 s]
/proc/loadavg: 1.25 1.15 1.04 5/35 17968
/proc/meminfo: memFree=319612/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=409800 CPUtime=0.2
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 4057 0 1 0 16 4 0 0 25 0 9 0 11088684 419635200 3484 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102450 3484 1910 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412376

[startup+0.305279 s]
/proc/loadavg: 1.25 1.15 1.04 5/35 17968
/proc/meminfo: memFree=319612/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=410384 CPUtime=0.3
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 4417 0 1 0 26 4 0 0 25 0 9 0 11088684 420233216 3844 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102596 3844 1932 10 0 96744 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412960

[startup+0.705303 s]
/proc/loadavg: 1.25 1.15 1.04 5/35 17968
/proc/meminfo: memFree=319612/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=410652 CPUtime=0.7
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 11971 0 1 0 63 7 0 0 25 0 9 0 11088684 420507648 11210 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102663 11210 2901 10 0 96811 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413228

[startup+1.50552 s]
/proc/loadavg: 1.31 1.16 1.05 2/44 17977
/proc/meminfo: memFree=260876/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=410784 CPUtime=1.5
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 26729 0 1 0 136 14 0 0 25 0 9 0 11088684 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102696 25968 2901 10 0 96844 0
[pid=17968/tid=17970] ppid=17967 vsize=410784 CPUtime=0.8
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 6751 0 1 0 72 8 0 0 25 0 9 0 11088685 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=410784 CPUtime=0.64
/proc/17968/task/17971/stat : 17971 (java) R 17967 17967 4778 34817 4778 4202560 18586 0 0 0 59 5 0 0 18 0 9 0 11088686 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4151146424 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11088686 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11088686 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=410784 CPUtime=0.04
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 450 0 0 0 4 0 0 0 16 0 9 0 11088687 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11088687 420642816 25968 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413360

[startup+3.11605 s]
/proc/loadavg: 1.31 1.16 1.05 2/44 17977
/proc/meminfo: memFree=188212/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=410784 CPUtime=3.11
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 48926 0 1 0 286 25 0 0 25 0 9 0 11088684 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 102696 48165 2901 10 0 96844 0
[pid=17968/tid=17970] ppid=17967 vsize=410784 CPUtime=1.43
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 13935 0 1 0 131 12 0 0 25 0 9 0 11088685 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=410784 CPUtime=1.61
/proc/17968/task/17971/stat : 17971 (java) R 17967 17967 4778 34817 4778 4202560 33594 0 0 0 150 11 0 0 15 0 9 0 11088686 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4151143453 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11088686 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11088686 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=410784 CPUtime=0.04
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 455 0 0 0 4 0 0 0 16 0 9 0 11088687 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=410784 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11088687 420642816 48165 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413360

[startup+6.30715 s]
/proc/loadavg: 1.36 1.18 1.05 3/44 17977
/proc/meminfo: memFree=52556/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=438900 CPUtime=6.3
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 77986 0 1 0 596 34 0 0 25 0 9 0 11088684 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 109725 77219 2903 10 0 103873 0
[pid=17968/tid=17970] ppid=17967 vsize=438900 CPUtime=2.3
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 13953 0 1 0 218 12 0 0 25 0 9 0 11088685 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=438900 CPUtime=3.9
/proc/17968/task/17971/stat : 17971 (java) R 17967 17967 4778 34817 4778 4202560 62617 0 0 0 370 20 0 0 16 0 9 0 11088686 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4153256357 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=438900 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11088686 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=438900 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11088686 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=438900 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=438900 CPUtime=0.07
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 474 0 0 0 7 0 0 0 16 0 9 0 11088687 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=438900 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=438900 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11088687 449433600 77219 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 441476

[startup+12.7088 s]
/proc/loadavg: 1.41 1.19 1.06 3/45 17978
/proc/meminfo: memFree=45364/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=12.68
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97725 0 1 0 1222 46 0 0 25 0 10 0 11088684 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71176 2917 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=4.41
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 14203 0 1 0 429 12 0 0 25 0 10 0 11088685 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4115705437 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82060 0 0 0 781 33 0 0 16 0 10 0 11088686 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.12
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 515 0 0 0 12 0 0 0 15 0 10 0 11088687 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) R 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11088687 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17978] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11089821 424079360 71176 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 416716

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

[startup+12.8089 s]
/proc/loadavg: 1.41 1.19 1.06 3/45 17978
/proc/meminfo: memFree=45364/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=12.78
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97747 0 1 0 1232 46 0 0 25 0 10 0 11088684 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71198 2918 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=4.5
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 14206 0 1 0 438 12 0 0 25 0 10 0 11088685 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4115698868 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82060 0 0 0 781 33 0 0 16 0 10 0 11088686 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.12
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 534 0 0 0 12 0 0 0 15 0 10 0 11088687 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11088687 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17978] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11089821 424079360 71198 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 416716

[startup+16.0097 s]
/proc/loadavg: 1.38 1.19 1.06 3/45 17978
/proc/meminfo: memFree=45364/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=15.98
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97753 0 1 0 1552 46 0 0 25 0 10 0 11088684 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71204 2918 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=7.69
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 14206 0 1 0 757 12 0 0 25 0 10 0 11088685 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4115711286 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82060 0 0 0 781 33 0 0 16 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.13
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 540 0 0 0 13 0 0 0 15 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) R 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17978] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11089821 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.98
Current children cumulated vsize (KiB) 416716

[startup+16.8099 s]
/proc/loadavg: 1.38 1.19 1.06 2/45 17978
/proc/meminfo: memFree=45364/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=16.78
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97753 0 1 0 1632 46 0 0 25 0 10 0 11088684 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71204 2918 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=8.49
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 14206 0 1 0 837 12 0 0 25 0 10 0 11088685 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4115705414 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82060 0 0 0 781 33 0 0 15 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.13
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 540 0 0 0 13 0 0 0 16 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11088687 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17978] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11089821 424079360 71204 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.78
Current children cumulated vsize (KiB) 416716

[startup+17.21 s]
/proc/loadavg: 1.38 1.19 1.06 2/45 17978
/proc/meminfo: memFree=45364/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=17.18
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97760 0 1 0 1672 46 0 0 25 0 10 0 11088684 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71211 2918 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=8.88
/proc/17968/task/17970/stat : 17970 (java) R 17967 17967 4778 34817 4778 4202560 14206 0 1 0 876 12 0 0 25 0 10 0 11088685 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4115739566 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.14
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82060 0 0 0 781 33 0 0 15 0 10 0 11088686 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11088686 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.14
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 547 0 0 0 14 0 0 0 15 0 10 0 11088687 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11088687 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) R 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11088687 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17968/tid=17978] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17978/stat : 17978 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 10 0 11089821 424079360 71211 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.18
Current children cumulated vsize (KiB) 416716

[startup+17.5062 s]
/proc/loadavg: 1.38 1.19 1.06 1/44 17979
/proc/meminfo: memFree=45372/1048576 swapFree=0/0
[pid=17967] ppid=17966 vsize=2576 CPUtime=0
/proc/17967/stat : 17967 (gj-paranoid-sol) S 17966 17967 4778 34817 4778 4202496 373 0 0 0 0 0 0 0 25 0 1 0 11088684 2637824 271 1283457024 134512640 135304128 4290795040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17967/statm: 644 271 229 194 0 31 0
[pid=17968] ppid=17967 vsize=414140 CPUtime=17.44
/proc/17968/stat : 17968 (java) S 17967 17967 4778 34817 4778 4202496 97774 0 1 0 1698 46 0 0 25 0 9 0 11088684 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17968/statm: 103535 71225 2921 10 0 97680 0
[pid=17968/tid=17970] ppid=17967 vsize=414140 CPUtime=9.08
/proc/17968/task/17970/stat : 17970 (java) S 17967 17967 4778 34817 4778 4202560 14206 0 1 0 896 12 0 0 25 0 9 0 11088685 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17971] ppid=17967 vsize=414140 CPUtime=8.18
/proc/17968/task/17971/stat : 17971 (java) S 17967 17967 4778 34817 4778 4202560 82062 0 0 0 785 33 0 0 16 0 9 0 11088686 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17972] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17972/stat : 17972 (java) S 17967 17967 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11088686 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17973] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17973/stat : 17973 (java) S 17967 17967 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11088686 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17974] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17974/stat : 17974 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17975] ppid=17967 vsize=414140 CPUtime=0.16
/proc/17968/task/17975/stat : 17975 (java) S 17967 17967 4778 34817 4778 4202560 558 0 0 0 16 0 0 0 16 0 9 0 11088687 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17976] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17976/stat : 17976 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11088687 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
[pid=17968/tid=17977] ppid=17967 vsize=414140 CPUtime=0
/proc/17968/task/17977/stat : 17977 (java) S 17967 17967 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 9 0 11088687 424079360 71225 1283457024 134512640 134550932 4291847776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395905408 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.44
Current children cumulated vsize (KiB) 416716

Child status: 0
Real time (s): 17.5363
CPU time (s): 17.4651
CPU user time (s): 16.9811
CPU system time (s): 0.48403
CPU usage (%): 99.5942
Max. virtual memory (cumulated for all children) (KiB): 441476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9811
system time used= 0.48403
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98163
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= 1127
involuntary context switches= 1288

runsolver used 0 second user time and 0 second system time

The end