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/rand438.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand438.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand438.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.10 1.06 1.01 5/38 20087
/proc/meminfo: memFree=482604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2568 CPUtime=0
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 271 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/20085/statm: 642 271 231 194 0 29 0
[pid=20086] ppid=20085 vsize=2568 CPUtime=0
/proc/20086/stat : 20086 (p2cudf) R 20085 20084 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 4588326 2629632 119 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20086/statm: 642 119 77 194 0 29 0
[pid=20087] ppid=20086 vsize=2568 CPUtime=0
/proc/20087/stat : 20087 (p2cudf) R 20086 20084 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4588326 2629632 42 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/20087/statm: 642 42 0 194 0 29 0

[startup+0.185878 s]
/proc/loadavg: 1.10 1.06 1.01 5/38 20087
/proc/meminfo: memFree=482604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.205872 s]
/proc/loadavg: 1.10 1.06 1.01 5/38 20087
/proc/meminfo: memFree=482604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.305886 s]
/proc/loadavg: 1.10 1.06 1.01 5/38 20087
/proc/meminfo: memFree=482604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.705946 s]
/proc/loadavg: 1.10 1.06 1.01 5/38 20087
/proc/meminfo: memFree=482604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50607 s]
/proc/loadavg: 1.10 1.06 1.01 5/47 20107
/proc/meminfo: memFree=440184/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=879688 CPUtime=1.47
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 21061 0 1 0 141 6 0 0 25 0 10 0 4588329 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219922 18152 1724 10 0 217013 0
[pid=20098/tid=20099] ppid=20085 vsize=879688 CPUtime=0.78
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 10911 0 1 0 78 0 0 0 25 0 10 0 4588329 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4095329666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4588331 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4588331 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4588331 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4588334 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=879688 CPUtime=0.56
/proc/20098/task/20104/stat : 20104 (java) R 20085 20084 1511 34817 1511 4202560 7791 0 0 0 52 4 0 0 22 0 10 0 4588334 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4149915375 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=879688 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 10 0 4588334 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4588334 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=879688 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4588334 900800512 18152 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884828

[startup+3.1086 s]
/proc/loadavg: 1.10 1.06 1.01 2/46 20107
/proc/meminfo: memFree=310372/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=878628 CPUtime=3.07
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 71131 0 1 0 289 18 0 0 25 0 10 0 4588329 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219657 67611 1743 10 0 216748 0
[pid=20098/tid=20099] ppid=20085 vsize=878628 CPUtime=1.88
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 50091 0 1 0 176 12 0 0 25 0 10 0 4588329 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=878628 CPUtime=0.22
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 10471 0 0 0 22 0 0 0 16 0 10 0 4588331 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=878628 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 4588331 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=878628 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4588331 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=878628 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4588334 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=878628 CPUtime=0.84
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 8214 0 0 0 80 4 0 0 15 0 10 0 4588334 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=878628 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 10 0 4588334 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=878628 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4588334 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=878628 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 4588334 899715072 67611 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 883768

[startup+6.30692 s]
/proc/loadavg: 1.09 1.06 1.01 2/47 20108
/proc/meminfo: memFree=157604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=878952 CPUtime=6.26
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 86938 0 1 0 604 22 0 0 25 0 11 0 4588329 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219738 82864 1780 10 0 216829 0
[pid=20098/tid=20099] ppid=20085 vsize=878952 CPUtime=3.22
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 50283 0 1 0 310 12 0 0 25 0 11 0 4588329 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4096051928 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=878952 CPUtime=0.56
/proc/20098/task/20100/stat : 20100 (java) R 20085 20084 1511 34817 1511 4202560 25328 0 0 0 54 2 0 0 15 0 11 0 4588331 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4588331 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4588331 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=878952 CPUtime=2.33
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 8968 0 0 0 229 4 0 0 15 0 11 0 4588334 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=878952 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 11 0 4588334 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4588334 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20108] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20108/stat : 20108 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4588836 900046848 82864 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 884092

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

[startup+6.40688 s]
/proc/loadavg: 1.09 1.06 1.01 2/47 20108
/proc/meminfo: memFree=157604/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=878952 CPUtime=6.36
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 86944 0 1 0 614 22 0 0 25 0 11 0 4588329 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219738 82870 1781 10 0 216829 0
[pid=20098/tid=20099] ppid=20085 vsize=878952 CPUtime=3.27
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 50284 0 1 0 315 12 0 0 25 0 11 0 4588329 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4095041924 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=878952 CPUtime=0.56
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 25328 0 0 0 54 2 0 0 16 0 11 0 4588331 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4588331 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4588331 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=878952 CPUtime=2.38
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 8973 0 0 0 234 4 0 0 16 0 11 0 4588334 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=878952 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 11 0 4588334 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4588334 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20108] ppid=20085 vsize=878952 CPUtime=0
/proc/20098/task/20108/stat : 20108 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4588836 900046848 82870 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 884092

[startup+8.01433 s]
/proc/loadavg: 1.09 1.06 1.01 2/47 20108
/proc/meminfo: memFree=159836/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=876052 CPUtime=7.96
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 86965 0 1 0 774 22 0 0 25 0 11 0 4588329 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219013 82166 1784 10 0 216104 0
[pid=20098/tid=20099] ppid=20085 vsize=876052 CPUtime=4.66
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 50284 0 1 0 454 12 0 0 25 0 11 0 4588329 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=876052 CPUtime=0.56
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 25328 0 0 0 54 2 0 0 15 0 11 0 4588331 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4588331 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4588331 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=876052 CPUtime=2.59
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 8994 0 0 0 255 4 0 0 15 0 11 0 4588334 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=876052 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 11 0 4588334 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4588334 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20108] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20108/stat : 20108 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4588836 897077248 82166 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.98
Current children cumulated vsize (KiB) 881192

[startup+9.60736 s]
/proc/loadavg: 1.09 1.06 1.01 2/47 20108
/proc/meminfo: memFree=159844/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=876052 CPUtime=9.56
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 86969 0 1 0 934 22 0 0 25 0 11 0 4588329 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219013 82170 1784 10 0 216104 0
[pid=20098/tid=20099] ppid=20085 vsize=876052 CPUtime=6.24
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4202560 50285 0 1 0 612 12 0 0 25 0 11 0 4588329 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4095958419 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=876052 CPUtime=0.56
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 25328 0 0 0 54 2 0 0 16 0 11 0 4588331 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4588331 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4588331 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=876052 CPUtime=2.61
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 8997 0 0 0 257 4 0 0 15 0 11 0 4588334 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=876052 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 11 0 4588334 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4588334 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20108] ppid=20085 vsize=876052 CPUtime=0
/proc/20098/task/20108/stat : 20108 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4588836 897077248 82170 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.58
Current children cumulated vsize (KiB) 881192

[startup+10.0065 s]
/proc/loadavg: 1.08 1.06 1.01 1/47 20109
/proc/meminfo: memFree=159844/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=876376 CPUtime=9.73
/proc/20098/stat : 20098 (java) S 20085 20084 1511 34817 1511 4202496 86986 0 1 0 951 22 0 0 25 0 11 0 4588329 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 219094 82187 1785 10 0 216185 0
[pid=20098/tid=20099] ppid=20085 vsize=876376 CPUtime=6.37
/proc/20098/task/20099/stat : 20099 (java) S 20085 20084 1511 34817 1511 4202560 50293 0 1 0 625 12 0 0 25 0 11 0 4588329 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20100] ppid=20085 vsize=876376 CPUtime=0.56
/proc/20098/task/20100/stat : 20100 (java) S 20085 20084 1511 34817 1511 4202560 25328 0 0 0 54 2 0 0 16 0 11 0 4588331 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 0 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20101] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20101/stat : 20101 (java) S 20085 20084 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 4588331 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20102] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20102/stat : 20102 (java) S 20085 20084 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4588331 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20103] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20103/stat : 20103 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20104] ppid=20085 vsize=876376 CPUtime=2.65
/proc/20098/task/20104/stat : 20104 (java) S 20085 20084 1511 34817 1511 4202560 9001 0 0 0 261 4 0 0 15 0 11 0 4588334 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20105] ppid=20085 vsize=876376 CPUtime=0.11
/proc/20098/task/20105/stat : 20105 (java) S 20085 20084 1511 34817 1511 4202560 1277 0 0 0 10 1 0 0 23 0 11 0 4588334 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20106] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20106/stat : 20106 (java) S 20085 20084 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4588334 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20107] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20107/stat : 20107 (java) S 20085 20084 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 4588334 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
[pid=20098/tid=20109] ppid=20085 vsize=876376 CPUtime=0
/proc/20098/task/20109/stat : 20109 (java) S 20085 20084 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4589303 897409024 82187 1283457024 134512640 134550932 4289561488 18446744073709551615 4294960130 0 4 0 16800975 18446612132653978944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.75
Current children cumulated vsize (KiB) 881516

[startup+10.4046 s]
/proc/loadavg: 1.08 1.06 1.01 1/47 20109
/proc/meminfo: memFree=159844/1048576 swapFree=0/0
[pid=20084] ppid=20083 vsize=2568 CPUtime=0
/proc/20084/stat : 20084 (p2cudf-trendy-1) S 20083 20084 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 4588325 2629632 269 1283457024 134512640 135304128 4290153872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20084/statm: 642 269 230 194 0 29 0
[pid=20085] ppid=20084 vsize=2572 CPUtime=0.02
/proc/20085/stat : 20085 (p2cudf) S 20084 20084 1511 34817 1511 4202496 390 3015 0 1 0 0 0 2 25 0 1 0 4588325 2633728 280 1283457024 134512640 135304128 4292226928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/20085/statm: 643 280 239 194 0 30 0
[pid=20098] ppid=20085 vsize=0 CPUtime=9.79
/proc/20098/stat : 20098 (java) Z 20085 20084 1511 34817 1511 4203532 86992 0 1 0 955 24 0 0 18 0 2 0 4588329 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/20098/statm: 0 0 0 0 0 0 0
[pid=20098/tid=20099] ppid=20085 vsize=0 CPUtime=6.39
/proc/20098/task/20099/stat : 20099 (java) R 20085 20084 1511 34817 1511 4203588 50293 0 1 0 625 14 0 0 19 0 2 0 4588329 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 5140

Child status: 0
Real time (s): 10.4161
CPU time (s): 9.83661
CPU user time (s): 9.5646
CPU system time (s): 0.272017
CPU usage (%): 94.4365
Max. virtual memory (cumulated for all children) (KiB): 884828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.5646
system time used= 0.272017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90788
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= 978
involuntary context switches= 991

runsolver used 0 second user time and 0.012 second system time

The end