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/201103021629/p2cudf-trendy-1.12/rand469.cudf.heavy.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/heavy//rand469.cudf /home/misc2010/tmp/201103021629/p2cudf-trendy-1.12/rand469.cudf.heavy.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.39 1.16 1.00 5/42 12857
/proc/meminfo: memFree=319636/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2572 CPUtime=0
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 353 0 0 0 0 0 0 0 18 0 1 0 68508656 2633728 272 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/12855/statm: 643 272 231 194 0 30 0
[pid=12856] ppid=12855 vsize=2572 CPUtime=0
/proc/12856/stat : 12856 (p2cudf) R 12855 12854 1684 34817 1684 4202560 93 0 0 0 0 0 0 0 25 0 1 0 68508656 2633728 119 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/12856/statm: 643 119 77 194 0 30 0
[pid=12857] ppid=12856 vsize=2572 CPUtime=0
/proc/12857/stat : 12857 (p2cudf) R 12856 12854 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 1 0 68508656 2633728 42 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/12857/statm: 643 42 0 194 0 30 0

[startup+0.144898 s]
/proc/loadavg: 1.39 1.16 1.00 5/42 12857
/proc/meminfo: memFree=319636/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.204901 s]
/proc/loadavg: 1.39 1.16 1.00 5/42 12857
/proc/meminfo: memFree=319636/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.304917 s]
/proc/loadavg: 1.39 1.16 1.00 5/42 12857
/proc/meminfo: memFree=319636/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.705036 s]
/proc/loadavg: 1.39 1.16 1.00 5/42 12857
/proc/meminfo: memFree=319636/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50528 s]
/proc/loadavg: 1.39 1.16 1.00 4/51 12877
/proc/meminfo: memFree=265312/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=886940 CPUtime=1.46
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 22672 0 1 0 137 9 0 0 25 0 10 0 68508660 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 221735 19943 1723 10 0 218826 0
[pid=12868/tid=12869] ppid=12855 vsize=886940 CPUtime=0.8
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 11505 0 1 0 75 5 0 0 25 0 10 0 68508660 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4094653369 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 10 0 68508662 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68508662 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68508662 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68508665 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=886940 CPUtime=0.47
/proc/12868/task/12874/stat : 12874 (java) R 12855 12854 1684 34817 1684 4202560 8448 0 0 0 45 2 0 0 25 0 10 0 68508665 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=886940 CPUtime=0.17
/proc/12868/task/12875/stat : 12875 (java) R 12855 12854 1684 34817 1684 4202560 1639 0 0 0 16 1 0 0 18 0 10 0 68508665 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4147409603 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68508665 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=886940 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68508665 908226560 19943 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 892080

[startup+3.1057 s]
/proc/loadavg: 1.44 1.18 1.01 4/51 12877
/proc/meminfo: memFree=172064/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=883276 CPUtime=3.06
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 68475 0 1 0 288 18 0 0 25 0 10 0 68508660 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220819 64921 1742 10 0 217910 0
[pid=12868/tid=12869] ppid=12855 vsize=883276 CPUtime=1.63
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50069 0 1 0 152 11 0 0 25 0 10 0 68508660 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=883276 CPUtime=0.16
/proc/12868/task/12870/stat : 12870 (java) R 12855 12854 1684 34817 1684 4202560 6744 0 0 0 14 2 0 0 18 0 10 0 68508662 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4149357840 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=883276 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68508662 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=883276 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68508662 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=883276 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68508665 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=883276 CPUtime=0.83
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 8532 0 0 0 79 4 0 0 21 0 10 0 68508665 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=883276 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 10 0 68508665 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=883276 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68508665 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=883276 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 10 0 68508665 904474624 64921 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 888416

[startup+6.307 s]
/proc/loadavg: 1.44 1.18 1.01 2/52 12878
/proc/meminfo: memFree=41608/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=6.26
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 75608 0 1 0 606 20 0 0 25 0 11 0 68508660 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 71044 1780 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=3.5
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50260 0 1 0 339 11 0 0 25 0 11 0 68508660 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4095587769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=0.3
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 12534 0 0 0 28 2 0 0 15 0 11 0 68508662 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.01
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9676 0 0 0 195 6 0 0 16 0 11 0 68508665 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 71044 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 888096

[startup+12.7088 s]
/proc/loadavg: 1.37 1.17 1.01 2/51 12878
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=12.65
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85329 0 1 0 1244 21 0 0 25 0 11 0 68508660 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 80765 1788 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=8.63
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50262 0 1 0 852 11 0 0 25 0 11 0 68508660 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4095669174 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=0.92
/proc/12868/task/12870/stat : 12870 (java) R 12855 12854 1684 34817 1684 4202560 22182 0 0 0 89 3 0 0 15 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.66
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9747 0 0 0 260 6 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 888096

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

[startup+12.8088 s]
/proc/loadavg: 1.37 1.17 1.01 2/51 12878
/proc/meminfo: memFree=5280/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=12.75
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85329 0 1 0 1254 21 0 0 25 0 11 0 68508660 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 80765 1788 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=8.73
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50262 0 1 0 862 11 0 0 25 0 11 0 68508660 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4095629244 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=0.92
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22182 0 0 0 89 3 0 0 15 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.66
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9747 0 0 0 260 6 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 80765 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 888096

[startup+19.2101 s]
/proc/loadavg: 1.34 1.17 1.00 2/51 12878
/proc/meminfo: memFree=5736/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=19.15
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85509 0 1 0 1894 21 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 80945 1788 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=14.84
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50262 0 1 0 1473 11 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4095651081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=1.18
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 115 3 0 0 15 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.68
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9747 0 0 0 262 6 0 0 16 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.17
Current children cumulated vsize (KiB) 888096

[startup+20.8104 s]
/proc/loadavg: 1.34 1.17 1.00 2/51 12878
/proc/meminfo: memFree=5736/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=20.75
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85509 0 1 0 2054 21 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 80945 1788 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=16.12
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50262 0 1 0 1601 11 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4095553713 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=1.49
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 146 3 0 0 15 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.69
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9747 0 0 0 263 6 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 888096

[startup+22.4108 s]
/proc/loadavg: 1.31 1.16 1.00 2/51 12878
/proc/meminfo: memFree=5736/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=882956 CPUtime=22.35
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85509 0 1 0 2214 21 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220739 80945 1788 10 0 217830 0
[pid=12868/tid=12869] ppid=12855 vsize=882956 CPUtime=17.72
/proc/12868/task/12869/stat : 12869 (java) R 12855 12854 1684 34817 1684 4202560 50262 0 1 0 1761 11 0 0 25 0 11 0 68508660 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4095669188 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=882956 CPUtime=1.49
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 146 3 0 0 15 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=882956 CPUtime=2.69
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9747 0 0 0 263 6 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=882956 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=882956 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904146944 80945 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.37
Current children cumulated vsize (KiB) 888096

[startup+23.2062 s]
/proc/loadavg: 1.31 1.16 1.00 1/52 12879
/proc/meminfo: memFree=5604/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=883280 CPUtime=22.83
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85524 0 1 0 2262 21 0 0 25 0 12 0 68508660 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220820 80960 1788 10 0 217911 0
[pid=12868/tid=12869] ppid=12855 vsize=883280 CPUtime=18.18
/proc/12868/task/12869/stat : 12869 (java) S 12855 12854 1684 34817 1684 4202560 50270 0 1 0 1807 11 0 0 25 0 12 0 68508660 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=883280 CPUtime=1.49
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 146 3 0 0 16 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=883280 CPUtime=2.71
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9750 0 0 0 265 6 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=883280 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 12 0 68509113 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12879] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12879/stat : 12879 (java) S 12855 12854 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 12 0 68510946 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.85
Current children cumulated vsize (KiB) 888420

[startup+23.4143 s]
/proc/loadavg: 1.31 1.16 1.00 1/52 12879
/proc/meminfo: memFree=5604/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=883280 CPUtime=22.85
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85524 0 1 0 2264 21 0 0 25 0 12 0 68508660 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220820 80960 1788 10 0 217911 0
[pid=12868/tid=12869] ppid=12855 vsize=883280 CPUtime=18.18
/proc/12868/task/12869/stat : 12869 (java) S 12855 12854 1684 34817 1684 4202560 50270 0 1 0 1807 11 0 0 25 0 12 0 68508660 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=883280 CPUtime=1.49
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 146 3 0 0 16 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68508662 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=883280 CPUtime=2.71
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9750 0 0 0 265 6 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=883280 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 12 0 68508665 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 12 0 68509113 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12879] ppid=12855 vsize=883280 CPUtime=0.01
/proc/12868/task/12879/stat : 12879 (java) R 12855 12854 1684 34817 1684 4202560 4 0 0 0 1 0 0 0 20 0 12 0 68510946 904478720 80960 1283457024 134512640 134550932 4293310256 18446744073709551615 4094658813 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 888420

[startup+23.5064 s]
/proc/loadavg: 1.31 1.16 1.00 1/52 12879
/proc/meminfo: memFree=5604/1048576 swapFree=0/0
[pid=12854] ppid=12853 vsize=2564 CPUtime=0
/proc/12854/stat : 12854 (p2cudf-trendy-1) S 12853 12854 1684 34817 1684 4202496 374 0 0 0 0 0 0 0 18 0 1 0 68508656 2625536 269 1283457024 134512640 135304128 4293443776 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12854/statm: 641 269 230 194 0 28 0
[pid=12855] ppid=12854 vsize=2576 CPUtime=0.02
/proc/12855/stat : 12855 (p2cudf) S 12854 12854 1684 34817 1684 4202496 393 3015 0 1 0 0 2 0 25 0 1 0 68508656 2637824 281 1283457024 134512640 135304128 4289746224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12855/statm: 644 281 239 194 0 31 0
[pid=12868] ppid=12855 vsize=883280 CPUtime=22.93
/proc/12868/stat : 12868 (java) S 12855 12854 1684 34817 1684 4202496 85527 0 1 0 2270 23 0 0 25 0 11 0 68508660 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12868/statm: 220820 80963 1789 10 0 217911 0
[pid=12868/tid=12869] ppid=12855 vsize=883280 CPUtime=18.18
/proc/12868/task/12869/stat : 12869 (java) S 12855 12854 1684 34817 1684 4202560 50270 0 1 0 1807 11 0 0 20 0 11 0 68508660 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12870] ppid=12855 vsize=883280 CPUtime=1.49
/proc/12868/task/12870/stat : 12870 (java) S 12855 12854 1684 34817 1684 4202560 22362 0 0 0 146 3 0 0 16 0 11 0 68508662 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 0 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12871] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12871/stat : 12871 (java) S 12855 12854 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68508662 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12872] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12872/stat : 12872 (java) S 12855 12854 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68508662 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12873] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12873/stat : 12873 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12874] ppid=12855 vsize=883280 CPUtime=2.76
/proc/12868/task/12874/stat : 12874 (java) S 12855 12854 1684 34817 1684 4202560 9750 0 0 0 270 6 0 0 15 0 11 0 68508665 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12875] ppid=12855 vsize=883280 CPUtime=0.43
/proc/12868/task/12875/stat : 12875 (java) S 12855 12854 1684 34817 1684 4202560 2056 0 0 0 42 1 0 0 15 0 11 0 68508665 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12876] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12876/stat : 12876 (java) S 12855 12854 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68508665 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12877] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12877/stat : 12877 (java) S 12855 12854 1684 34817 1684 4202560 2 0 0 0 0 0 0 0 15 0 11 0 68508665 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
[pid=12868/tid=12878] ppid=12855 vsize=883280 CPUtime=0
/proc/12868/task/12878/stat : 12878 (java) S 12855 12854 1684 34817 1684 4202560 5 0 0 0 0 0 0 0 25 0 11 0 68509113 904478720 80963 1283457024 134512640 134550932 4293310256 18446744073709551615 4294960130 0 4 0 16800975 18446612133237750592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (KiB) 888420

Child status: 0
Real time (s): 23.5764
CPU time (s): 22.9974
CPU user time (s): 22.7214
CPU system time (s): 0.276017
CPU usage (%): 97.5444
Max. virtual memory (cumulated for all children) (KiB): 892080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7214
system time used= 0.276017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89332
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= 1247
involuntary context switches= 1422

runsolver used 0 second user time and 0.012 second system time

The end