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/201012070034/p2cudf-trendy-1.9/rand908403.cudf.difficult.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/difficult//rand908403.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/rand908403.cudf.difficult.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: 0.89 0.99 0.99 4/46 32632
/proc/meminfo: memFree=720704/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2568 CPUtime=0
/proc/32631/stat : 32631 (p2cudf) R 32630 32630 4159 34819 4229 4202496 348 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 273 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32631/statm: 642 273 234 194 0 28 0
[pid=32632] ppid=32631 vsize=2568 CPUtime=0
/proc/32632/stat : 32632 (p2cudf) R 32631 32630 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 39 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32632/statm: 642 39 0 194 0 28 0

[startup+0.133453 s]
/proc/loadavg: 0.89 0.99 0.99 4/46 32632
/proc/meminfo: memFree=720704/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2568 CPUtime=0
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 355 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 273 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/32631/statm: 642 273 234 194 0 28 0
[pid=32632] ppid=32631 vsize=2568 CPUtime=0
/proc/32632/stat : 32632 (p2cudf) S 32631 32630 4159 34819 4229 4202560 151 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 145 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 0 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32632/statm: 642 145 104 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7708

[startup+0.205452 s]
/proc/loadavg: 0.89 0.99 0.99 4/46 32632
/proc/meminfo: memFree=720704/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2568 CPUtime=0
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 355 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 273 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/32631/statm: 642 273 234 194 0 28 0
[pid=32632] ppid=32631 vsize=2568 CPUtime=0
/proc/32632/stat : 32632 (p2cudf) S 32631 32630 4159 34819 4229 4202560 151 0 0 0 0 0 0 0 25 0 1 0 884538862 2629632 145 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 0 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32632/statm: 642 145 104 194 0 28 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7708

[startup+0.305457 s]
/proc/loadavg: 0.89 0.99 0.99 4/46 32632
/proc/meminfo: memFree=720704/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.713666 s]
/proc/loadavg: 0.89 0.99 0.99 4/46 32632
/proc/meminfo: memFree=720704/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+1.51323 s]
/proc/loadavg: 0.89 0.99 0.99 3/56 32653
/proc/meminfo: memFree=698444/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=870604 CPUtime=0.7
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 10607 0 77 0 64 6 0 0 23 0 10 0 884538889 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 217651 9180 1738 10 0 214741 0
[pid=32644/tid=32645] ppid=32631 vsize=870604 CPUtime=0.29
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 4741 0 1 0 25 4 0 0 25 0 10 0 884538907 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4095781333 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 19 0 10 0 884538910 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 884538912 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 884538912 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 884538918 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=870604 CPUtime=0.25
/proc/32644/task/32650/stat : 32650 (java) R 32631 32630 4159 34819 4229 4202560 3179 0 0 0 24 1 0 0 22 0 10 0 884538918 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4149148136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=870604 CPUtime=0.15
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 1646 0 0 0 15 0 0 0 19 0 10 0 884538918 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 10 0 884538918 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=870604 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) R 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 16 0 10 0 884538918 891498496 9180 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 875748

[startup+3.1118 s]
/proc/loadavg: 0.89 0.99 0.99 3/56 32653
/proc/meminfo: memFree=657400/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=880824 CPUtime=2.23
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 48001 0 77 0 208 15 0 0 23 0 10 0 884538889 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220206 43191 1741 10 0 217296 0
[pid=32644/tid=32645] ppid=32631 vsize=880824 CPUtime=1.04
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 35612 0 1 0 92 12 0 0 25 0 10 0 884538907 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 15 0 10 0 884538910 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 884538912 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 884538912 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 884538918 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=880824 CPUtime=0.5
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 4196 0 0 0 49 1 0 0 18 0 10 0 884538918 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=880824 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 10 0 884538918 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 10 0 884538918 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=880824 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 884538918 901963776 43191 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 885968
heavy processes:

[startup+6.30593 s]
/proc/loadavg: 0.97 1.00 0.99 2/56 32653
/proc/meminfo: memFree=430124/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881296 CPUtime=5.29
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 79414 0 77 0 503 26 0 0 23 0 11 0 884538889 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220324 72197 1784 10 0 217414 0
[pid=32644/tid=32645] ppid=32631 vsize=881296 CPUtime=2.4
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 50423 0 1 0 222 18 0 0 25 0 11 0 884538907 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4096185754 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881296 CPUtime=0.31
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 13965 0 0 0 30 1 0 0 16 0 11 0 884538910 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881296 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881296 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 884538912 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881296 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881296 CPUtime=1.87
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6831 0 0 0 183 4 0 0 16 0 11 0 884538918 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881296 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881296 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881296 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902447104 72197 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.3
Current children cumulated vsize (KiB) 886440

[startup+12.7072 s]
/proc/loadavg: 0.98 1.00 0.99 2/57 32669
/proc/meminfo: memFree=395032/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=11.68
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88299 0 77 0 1139 29 0 0 23 0 11 0 884538889 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 80902 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=7.88
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 50430 0 1 0 770 18 0 0 25 0 11 0 884538907 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4096402287 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=0.7
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 22777 0 0 0 66 4 0 0 15 0 11 0 884538910 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.4
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 236 4 0 0 15 0 11 0 884538918 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32669] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32669/stat : 32669 (java) S 32631 32630 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 11 0 884539841 902819840 80902 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.69
Current children cumulated vsize (KiB) 886804

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

[startup+19.1086 s]
/proc/loadavg: 0.98 1.00 0.99 2/57 32671
/proc/meminfo: memFree=394164/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=18.08
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88531 0 77 0 1779 29 0 0 23 0 11 0 884538889 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 81134 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=13.96
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 50430 0 1 0 1378 18 0 0 25 0 11 0 884538907 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4096412275 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=0.98
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 23009 0 0 0 94 4 0 0 15 0 11 0 884538910 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884538912 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.43
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 239 4 0 0 16 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32671] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32671/stat : 32671 (java) S 32631 32630 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884540427 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.09
Current children cumulated vsize (KiB) 886804

[startup+22.3091 s]
/proc/loadavg: 0.98 1.00 0.99 2/57 32671
/proc/meminfo: memFree=394164/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=21.28
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88531 0 77 0 2099 29 0 0 23 0 11 0 884538889 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 81134 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=17.16
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 50430 0 1 0 1698 18 0 0 25 0 11 0 884538907 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4096412166 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=0.98
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 23009 0 0 0 94 4 0 0 15 0 11 0 884538910 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884538912 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.43
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 239 4 0 0 16 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32671] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32671/stat : 32671 (java) S 32631 32630 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884540427 902819840 81134 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.29
Current children cumulated vsize (KiB) 886804

[startup+23.1092 s]
/proc/loadavg: 0.98 1.00 0.99 2/57 32671
/proc/meminfo: memFree=393668/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=22.07
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88665 0 77 0 2178 29 0 0 23 0 11 0 884538889 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 81268 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=17.68
/proc/32644/task/32645/stat : 32645 (java) R 32631 32630 4159 34819 4229 4202560 50430 0 1 0 1750 18 0 0 25 0 11 0 884538907 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4096590907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=1.25
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 23143 0 0 0 121 4 0 0 16 0 11 0 884538910 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884538912 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.43
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 239 4 0 0 16 0 11 0 884538918 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32671] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32671/stat : 32671 (java) S 32631 32630 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884540427 902819840 81268 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.08
Current children cumulated vsize (KiB) 886804

[startup+23.9069 s]
/proc/loadavg: 0.98 1.00 0.99 2/57 32671
/proc/meminfo: memFree=393668/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=22.71
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88672 0 77 0 2242 29 0 0 23 0 11 0 884538889 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 81275 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=18.3
/proc/32644/task/32645/stat : 32645 (java) S 32631 32630 4159 34819 4229 4202560 50437 0 1 0 1812 18 0 0 25 0 11 0 884538907 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=1.25
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 23143 0 0 0 121 4 0 0 16 0 11 0 884538910 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884538912 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.45
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 241 4 0 0 15 0 11 0 884538918 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 81275 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.72
Current children cumulated vsize (KiB) 886804

[startup+24.313 s]
/proc/loadavg: 0.98 1.00 0.99 1/57 32672
/proc/meminfo: memFree=393608/1048576 swapFree=2077628/2097144
[pid=32630] ppid=32629 vsize=2572 CPUtime=0
/proc/32630/stat : 32630 (p2cudf-trendy-1) S 32629 32630 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884538862 2633728 274 1283457024 134512640 135304128 4289434848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32630/statm: 643 274 233 194 0 29 0
[pid=32631] ppid=32630 vsize=2572 CPUtime=0.01
/proc/32631/stat : 32631 (p2cudf) S 32630 32630 4159 34819 4229 4202496 392 2836 0 84 0 0 1 0 23 0 1 0 884538862 2633728 281 1283457024 134512640 135304128 4291087968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32631/statm: 643 281 241 194 0 29 0
[pid=32644] ppid=32631 vsize=881660 CPUtime=22.76
/proc/32644/stat : 32644 (java) S 32631 32630 4159 34819 4229 4202496 88673 0 77 0 2246 30 0 0 23 0 11 0 884538889 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32644/statm: 220415 81276 1793 10 0 217505 0
[pid=32644/tid=32645] ppid=32631 vsize=881660 CPUtime=18.3
/proc/32644/task/32645/stat : 32645 (java) S 32631 32630 4159 34819 4229 4202560 50437 0 1 0 1812 18 0 0 25 0 11 0 884538907 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32646] ppid=32631 vsize=881660 CPUtime=1.25
/proc/32644/task/32646/stat : 32646 (java) S 32631 32630 4159 34819 4229 4202560 23143 0 0 0 121 4 0 0 15 0 11 0 884538910 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 0 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32647] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32647/stat : 32647 (java) S 32631 32630 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884538912 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32648] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32648/stat : 32648 (java) S 32631 32630 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884538912 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32649] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32649/stat : 32649 (java) S 32631 32630 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32650] ppid=32631 vsize=881660 CPUtime=2.45
/proc/32644/task/32650/stat : 32650 (java) S 32631 32630 4159 34819 4229 4202560 6881 0 0 0 241 4 0 0 16 0 11 0 884538918 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32651] ppid=32631 vsize=881660 CPUtime=0.69
/proc/32644/task/32651/stat : 32651 (java) S 32631 32630 4159 34819 4229 4202560 7152 0 0 0 67 2 0 0 19 0 11 0 884538918 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32652] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32652/stat : 32652 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 884538918 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32653] ppid=32631 vsize=881660 CPUtime=0
/proc/32644/task/32653/stat : 32653 (java) S 32631 32630 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 884538918 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4294960130 0 4 0 16800975 18446612133392888768 0 0 -1 0 0 0 0
[pid=32644/tid=32672] ppid=32631 vsize=881660 CPUtime=0.04
/proc/32644/task/32672/stat : 32672 (java) R 32631 32630 4159 34819 4229 4202560 1 0 0 0 4 0 0 0 20 0 11 0 884541238 902819840 81276 1283457024 134512640 134550932 4286992672 18446744073709551615 4095402374 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.77
Current children cumulated vsize (KiB) 886804

Child status: 0
Real time (s): 24.3645
CPU time (s): 22.8134
CPU user time (s): 22.4774
CPU system time (s): 0.336021
CPU usage (%): 93.634
Max. virtual memory (cumulated for all children) (KiB): 889200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.4774
system time used= 0.336021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92302
page faults= 161
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2044
involuntary context switches= 1774

runsolver used 0 second user time and 0 second system time

The end