runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand475.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand475.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand475.cudf.user-upgrades.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.21 1.14 1.04 5/35 20743
/proc/meminfo: memFree=412992/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2568 CPUtime=0
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 25 0 1 0 4602161 2629632 272 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/20742/statm: 642 272 231 194 0 29 0
[pid=20743] ppid=20742 vsize=2568 CPUtime=0
/proc/20743/stat : 20743 (p2cudf) R 20742 20741 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 4602161 2629632 119 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20743/statm: 642 119 77 194 0 29 0
[pid=20744] ppid=20743 vsize=2568 CPUtime=0
/proc/20744/stat : 20744 (p2cudf) R 20743 20741 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4602161 2629632 42 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20744/statm: 642 42 0 194 0 29 0

[startup+0.164352 s]
/proc/loadavg: 1.21 1.14 1.04 5/35 20743
/proc/meminfo: memFree=412992/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.204353 s]
/proc/loadavg: 1.21 1.14 1.04 5/35 20743
/proc/meminfo: memFree=412992/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.304381 s]
/proc/loadavg: 1.21 1.14 1.04 5/35 20743
/proc/meminfo: memFree=412992/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.704505 s]
/proc/loadavg: 1.21 1.14 1.04 5/35 20743
/proc/meminfo: memFree=412992/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50478 s]
/proc/loadavg: 1.21 1.14 1.04 5/45 20764
/proc/meminfo: memFree=373408/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879680 CPUtime=1.46
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 21411 0 1 0 142 4 0 0 25 0 10 0 4602164 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219920 18502 1724 10 0 217011 0
[pid=20755/tid=20756] ppid=20742 vsize=879680 CPUtime=0.78
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 11262 0 1 0 74 4 0 0 25 0 10 0 4602165 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4095505863 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4602166 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4602167 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4602167 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602169 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879680 CPUtime=0.55
/proc/20755/task/20761/stat : 20761 (java) R 20742 20741 1511 34817 1511 4202560 7791 0 0 0 55 0 0 0 22 0 10 0 4602169 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4152619585 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879680 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 10 0 4602169 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602170 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4602170 900792320 18502 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 884820

[startup+3.10507 s]
/proc/loadavg: 1.36 1.17 1.05 2/45 20764
/proc/meminfo: memFree=241968/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879680 CPUtime=3.06
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 70754 0 1 0 277 29 0 0 25 0 10 0 4602164 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219920 67845 1743 10 0 217011 0
[pid=20755/tid=20756] ppid=20742 vsize=879680 CPUtime=1.88
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 50091 0 1 0 164 24 0 0 25 0 10 0 4602165 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4095243216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879680 CPUtime=0.21
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 10471 0 0 0 17 4 0 0 16 0 10 0 4602166 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4602167 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4602167 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602169 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879680 CPUtime=0.82
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 7838 0 0 0 82 0 0 0 15 0 10 0 4602169 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879680 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 10 0 4602169 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602170 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879680 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4602170 900792320 67845 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 884820

[startup+6.30549 s]
/proc/loadavg: 1.36 1.17 1.05 2/46 20765
/proc/meminfo: memFree=86712/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=880004 CPUtime=6.26
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 86033 0 1 0 591 35 0 0 25 0 11 0 4602164 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 220001 83124 1779 10 0 217092 0
[pid=20755/tid=20756] ppid=20742 vsize=880004 CPUtime=3.24
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 50284 0 1 0 298 26 0 0 25 0 11 0 4602165 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4095208608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=880004 CPUtime=0.56
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 25328 0 0 0 49 7 0 0 15 0 11 0 4602166 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4602167 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4602167 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602169 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=880004 CPUtime=2.3
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 8063 0 0 0 230 0 0 0 15 0 11 0 4602169 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=880004 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 11 0 4602169 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602170 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4602170 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20765] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20765/stat : 20765 (java) S 20742 20741 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4602671 901124096 83124 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 885144

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

[startup+6.4055 s]
/proc/loadavg: 1.36 1.17 1.05 2/46 20765
/proc/meminfo: memFree=86712/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=880004 CPUtime=6.36
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 86035 0 1 0 601 35 0 0 25 0 11 0 4602164 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 220001 83126 1779 10 0 217092 0
[pid=20755/tid=20756] ppid=20742 vsize=880004 CPUtime=3.32
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 50284 0 1 0 306 26 0 0 25 0 11 0 4602165 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=880004 CPUtime=0.56
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 25328 0 0 0 49 7 0 0 15 0 11 0 4602166 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4602167 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4602167 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602169 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=880004 CPUtime=2.32
/proc/20755/task/20761/stat : 20761 (java) R 20742 20741 1511 34817 1511 4202560 8065 0 0 0 232 0 0 0 16 0 11 0 4602169 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4151619673 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=880004 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 11 0 4602169 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602170 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4602170 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20765] ppid=20742 vsize=880004 CPUtime=0
/proc/20755/task/20765/stat : 20765 (java) S 20742 20741 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4602671 901124096 83126 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 885144

[startup+9.60626 s]
/proc/loadavg: 1.33 1.16 1.05 2/46 20765
/proc/meminfo: memFree=86720/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879172 CPUtime=9.57
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 86061 0 1 0 922 35 0 0 25 0 11 0 4602164 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219793 82949 1783 10 0 216884 0
[pid=20755/tid=20756] ppid=20742 vsize=879172 CPUtime=6.33
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 50285 0 1 0 607 26 0 0 25 0 11 0 4602165 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4095477871 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879172 CPUtime=0.56
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 25328 0 0 0 49 7 0 0 15 0 11 0 4602166 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4602167 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4602167 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602169 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879172 CPUtime=2.52
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 8090 0 0 0 252 0 0 0 15 0 11 0 4602169 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879172 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 11 0 4602169 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602170 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4602170 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20765] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20765/stat : 20765 (java) S 20742 20741 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4602671 900272128 82949 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 884312

[startup+11.2088 s]
/proc/loadavg: 1.33 1.16 1.05 3/46 20765
/proc/meminfo: memFree=62540/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879172 CPUtime=11.16
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 92242 0 1 0 1079 37 0 0 25 0 11 0 4602164 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219793 89130 1788 10 0 216884 0
[pid=20755/tid=20756] ppid=20742 vsize=879172 CPUtime=7.52
/proc/20755/task/20756/stat : 20756 (java) R 20742 20741 1511 34817 1511 4202560 50286 0 1 0 726 26 0 0 25 0 11 0 4602165 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879172 CPUtime=0.89
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 31495 0 0 0 80 9 0 0 16 0 11 0 4602166 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4602167 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4602167 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602169 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879172 CPUtime=2.6
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 8103 0 0 0 260 0 0 0 15 0 11 0 4602169 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879172 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 11 0 4602169 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602170 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4602170 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20765] ppid=20742 vsize=879172 CPUtime=0
/proc/20755/task/20765/stat : 20765 (java) S 20742 20741 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4602671 900272128 89130 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 884312

[startup+11.6048 s]
/proc/loadavg: 1.33 1.16 1.05 3/46 20765
/proc/meminfo: memFree=62540/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879496 CPUtime=11.18
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 92258 0 1 0 1081 37 0 0 25 0 11 0 4602164 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219874 89146 1789 10 0 216965 0
[pid=20755/tid=20756] ppid=20742 vsize=879496 CPUtime=7.52
/proc/20755/task/20756/stat : 20756 (java) S 20742 20741 1511 34817 1511 4202560 50294 0 1 0 726 26 0 0 25 0 11 0 4602165 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879496 CPUtime=0.89
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 31495 0 0 0 80 9 0 0 16 0 11 0 4602166 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4602167 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4602167 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602169 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879496 CPUtime=2.62
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 8106 0 0 0 262 0 0 0 15 0 11 0 4602169 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879496 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 11 0 4602169 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4602170 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) S 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4602170 900603904 89146 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 884636

[startup+11.8048 s]
/proc/loadavg: 1.33 1.16 1.05 3/46 20765
/proc/meminfo: memFree=62540/1048576 swapFree=0/0
[pid=20741] ppid=20740 vsize=2568 CPUtime=0
/proc/20741/stat : 20741 (p2cudf-trendy-1) S 20740 20741 1511 34817 1511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 4602161 2629632 270 1283457024 134512640 135304128 4294496688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20741/statm: 642 270 230 194 0 29 0
[pid=20742] ppid=20741 vsize=2572 CPUtime=0.02
/proc/20742/stat : 20742 (p2cudf) S 20741 20741 1511 34817 1511 4202496 393 3015 0 1 0 0 1 1 25 0 1 0 4602161 2633728 281 1283457024 134512640 135304128 4290196864 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20742/statm: 643 281 239 194 0 30 0
[pid=20755] ppid=20742 vsize=879496 CPUtime=11.23
/proc/20755/stat : 20755 (java) S 20742 20741 1511 34817 1511 4202496 92259 0 1 0 1084 39 0 0 25 0 10 0 4602164 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20755/statm: 219874 89147 1789 10 0 216965 0
[pid=20755/tid=20756] ppid=20742 vsize=879496 CPUtime=7.52
/proc/20755/task/20756/stat : 20756 (java) S 20742 20741 1511 34817 1511 4202560 50294 0 1 0 726 26 0 0 20 0 10 0 4602165 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20757] ppid=20742 vsize=879496 CPUtime=0.89
/proc/20755/task/20757/stat : 20757 (java) S 20742 20741 1511 34817 1511 4202560 31495 0 0 0 80 9 0 0 16 0 10 0 4602166 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20758] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20758/stat : 20758 (java) S 20742 20741 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4602167 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20759] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20759/stat : 20759 (java) S 20742 20741 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4602167 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20760] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20760/stat : 20760 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602169 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20761] ppid=20742 vsize=879496 CPUtime=2.62
/proc/20755/task/20761/stat : 20761 (java) S 20742 20741 1511 34817 1511 4202560 8106 0 0 0 262 0 0 0 16 0 10 0 4602169 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20762] ppid=20742 vsize=879496 CPUtime=0.12
/proc/20755/task/20762/stat : 20762 (java) S 20742 20741 1511 34817 1511 4202560 1277 0 0 0 12 0 0 0 22 0 10 0 4602169 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20763] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20763/stat : 20763 (java) S 20742 20741 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4602170 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=20755/tid=20764] ppid=20742 vsize=879496 CPUtime=0
/proc/20755/task/20764/stat : 20764 (java) R 20742 20741 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4602170 900603904 89147 1283457024 134512640 134550932 4290114576 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 884636

Child status: 0
Real time (s): 11.8272
CPU time (s): 11.2807
CPU user time (s): 10.8527
CPU system time (s): 0.428026
CPU usage (%): 95.3795
Max. virtual memory (cumulated for all children) (KiB): 885144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8527
system time used= 0.428026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96066
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= 1030
involuntary context switches= 1066

runsolver used 0 second user time and 0.012 second system time

The end