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/rand375.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand375.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand375.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.16 1.07 1.02 5/36 14461
/proc/meminfo: memFree=457216/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2568 CPUtime=0
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 352 0 0 0 0 0 0 0 18 0 1 0 3324137 2629632 271 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/14459/statm: 642 271 231 194 0 29 0
[pid=14460] ppid=14459 vsize=2568 CPUtime=0
/proc/14460/stat : 14460 (p2cudf) R 14459 14458 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 3324137 2629632 118 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/14460/statm: 642 118 77 194 0 29 0
[pid=14461] ppid=14460 vsize=2568 CPUtime=0
/proc/14461/stat : 14461 (p2cudf) R 14460 14458 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 3324137 2629632 41 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/14461/statm: 642 41 0 194 0 29 0

[startup+0.125665 s]
/proc/loadavg: 1.16 1.07 1.02 5/36 14461
/proc/meminfo: memFree=457216/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.205667 s]
/proc/loadavg: 1.16 1.07 1.02 5/36 14461
/proc/meminfo: memFree=457216/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.305685 s]
/proc/loadavg: 1.16 1.07 1.02 5/36 14461
/proc/meminfo: memFree=457216/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.705776 s]
/proc/loadavg: 1.16 1.07 1.02 5/36 14461
/proc/meminfo: memFree=457216/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.506 s]
/proc/loadavg: 1.39 1.12 1.03 4/45 14481
/proc/meminfo: memFree=418020/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=879680 CPUtime=1.47
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 21386 0 1 0 131 16 0 0 25 0 10 0 3324141 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219920 18478 1724 10 0 217011 0
[pid=14472/tid=14473] ppid=14459 vsize=879680 CPUtime=0.76
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 11240 0 1 0 68 8 0 0 25 0 10 0 3324141 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4094620038 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 17 0 10 0 3324143 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 3324143 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 3324143 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3324146 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=879680 CPUtime=0.55
/proc/14472/task/14478/stat : 14478 (java) R 14459 14458 1511 34817 1511 4202560 7791 0 0 0 51 4 0 0 22 0 10 0 3324146 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4149520199 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=879680 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 21 0 10 0 3324146 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3324146 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=879680 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 3324146 900792320 18478 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884816

[startup+3.10759 s]
/proc/loadavg: 1.39 1.12 1.03 2/45 14481
/proc/meminfo: memFree=285588/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=878620 CPUtime=3.07
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 70944 0 1 0 277 30 0 0 25 0 10 0 3324141 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219655 67608 1743 10 0 216746 0
[pid=14472/tid=14473] ppid=14459 vsize=878620 CPUtime=1.88
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 50091 0 1 0 167 21 0 0 25 0 10 0 3324141 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=878620 CPUtime=0.21
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 10469 0 0 0 21 0 0 0 16 0 10 0 3324143 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=878620 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 3324143 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=878620 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 3324143 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=878620 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3324146 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=878620 CPUtime=0.82
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8031 0 0 0 78 4 0 0 15 0 10 0 3324146 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=878620 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 10 0 3324146 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=878620 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 3324146 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=878620 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 3324146 899706880 67608 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 883756

[startup+6.3072 s]
/proc/loadavg: 1.39 1.12 1.03 2/46 14482
/proc/meminfo: memFree=132068/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=878944 CPUtime=6.27
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 86750 0 1 0 595 32 0 0 25 0 11 0 3324141 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219736 82860 1779 10 0 216827 0
[pid=14472/tid=14473] ppid=14459 vsize=878944 CPUtime=3.24
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 50283 0 1 0 302 22 0 0 25 0 11 0 3324141 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=878944 CPUtime=0.58
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 25326 0 0 0 56 2 0 0 15 0 11 0 3324143 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=878944 CPUtime=2.29
/proc/14472/task/14478/stat : 14478 (java) R 14459 14458 1511 34817 1511 4202560 8783 0 0 0 225 4 0 0 16 0 11 0 3324146 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4151508796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=878944 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) R 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14482] ppid=14459 vsize=878944 CPUtime=0
/proc/14472/task/14482/stat : 14482 (java) S 14459 14458 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 3324647 900038656 82860 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 884080

[startup+12.7122 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109888/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876012 CPUtime=12.67
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 92957 0 1 0 1232 35 0 0 25 0 11 0 3324141 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219003 88334 1788 10 0 216094 0
[pid=14472/tid=14473] ppid=14459 vsize=876012 CPUtime=8.96
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 50286 0 1 0 873 23 0 0 25 0 11 0 3324141 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4095541126 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876012 CPUtime=0.89
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31488 0 0 0 86 3 0 0 15 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876012 CPUtime=2.65
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 261 4 0 0 15 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876012 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14482] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14482/stat : 14482 (java) S 14459 14458 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 3324647 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 881148

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

[startup+12.8122 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109888/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876012 CPUtime=12.77
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 92957 0 1 0 1242 35 0 0 25 0 11 0 3324141 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219003 88334 1788 10 0 216094 0
[pid=14472/tid=14473] ppid=14459 vsize=876012 CPUtime=9.06
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 50286 0 1 0 883 23 0 0 25 0 11 0 3324141 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4095552367 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876012 CPUtime=0.89
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31488 0 0 0 86 3 0 0 15 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876012 CPUtime=2.65
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 261 4 0 0 15 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876012 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14482] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14482/stat : 14482 (java) S 14459 14458 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 3324647 897036288 88334 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 881148

[startup+14.4126 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109392/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876012 CPUtime=14.37
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 93081 0 1 0 1402 35 0 0 25 0 11 0 3324141 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219003 88458 1788 10 0 216094 0
[pid=14472/tid=14473] ppid=14459 vsize=876012 CPUtime=10.37
/proc/14472/task/14473/stat : 14473 (java) R 14459 14458 1511 34817 1511 4202560 50286 0 1 0 1014 23 0 0 25 0 11 0 3324141 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4095548716 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876012 CPUtime=1.18
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31612 0 0 0 115 3 0 0 16 0 11 0 3324143 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876012 CPUtime=2.65
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 261 4 0 0 15 0 11 0 3324146 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876012 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14482] ppid=14459 vsize=876012 CPUtime=0
/proc/14472/task/14482/stat : 14482 (java) S 14459 14458 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 3324647 897036288 88458 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 881148

[startup+14.8065 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109392/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876336 CPUtime=14.74
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 93094 0 1 0 1439 35 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219084 88471 1789 10 0 216175 0
[pid=14472/tid=14473] ppid=14459 vsize=876336 CPUtime=10.68
/proc/14472/task/14473/stat : 14473 (java) S 14459 14458 1511 34817 1511 4202560 50294 0 1 0 1045 23 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876336 CPUtime=1.18
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31612 0 0 0 115 3 0 0 16 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876336 CPUtime=2.71
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 267 4 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876336 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.76
Current children cumulated vsize (KiB) 881472

[startup+15.2065 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109392/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876336 CPUtime=14.74
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 93094 0 1 0 1439 35 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219084 88471 1789 10 0 216175 0
[pid=14472/tid=14473] ppid=14459 vsize=876336 CPUtime=10.68
/proc/14472/task/14473/stat : 14473 (java) S 14459 14458 1511 34817 1511 4202560 50294 0 1 0 1045 23 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876336 CPUtime=1.18
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31612 0 0 0 115 3 0 0 16 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876336 CPUtime=2.71
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 267 4 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876336 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.76
Current children cumulated vsize (KiB) 881472

[startup+15.3065 s]
/proc/loadavg: 1.33 1.11 1.03 2/46 14482
/proc/meminfo: memFree=109392/1048576 swapFree=0/0
[pid=14458] ppid=14457 vsize=2564 CPUtime=0
/proc/14458/stat : 14458 (p2cudf-trendy-1) S 14457 14458 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 3324137 2625536 269 1283457024 134512640 135304128 4291583712 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14458/statm: 641 269 230 194 0 28 0
[pid=14459] ppid=14458 vsize=2572 CPUtime=0.02
/proc/14459/stat : 14459 (p2cudf) S 14458 14458 1511 34817 1511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 3324137 2633728 280 1283457024 134512640 135304128 4289113216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14459/statm: 643 280 239 194 0 30 0
[pid=14472] ppid=14459 vsize=876336 CPUtime=14.75
/proc/14472/stat : 14472 (java) S 14459 14458 1511 34817 1511 4202496 93094 0 1 0 1440 35 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14472/statm: 219084 88471 1789 10 0 216175 0
[pid=14472/tid=14473] ppid=14459 vsize=876336 CPUtime=10.68
/proc/14472/task/14473/stat : 14473 (java) S 14459 14458 1511 34817 1511 4202560 50294 0 1 0 1045 23 0 0 25 0 11 0 3324141 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14474] ppid=14459 vsize=876336 CPUtime=1.18
/proc/14472/task/14474/stat : 14474 (java) S 14459 14458 1511 34817 1511 4202560 31612 0 0 0 115 3 0 0 16 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14475] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14475/stat : 14475 (java) S 14459 14458 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14476] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14476/stat : 14476 (java) S 14459 14458 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 3324143 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14477] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14477/stat : 14477 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14478] ppid=14459 vsize=876336 CPUtime=2.71
/proc/14472/task/14478/stat : 14478 (java) S 14459 14458 1511 34817 1511 4202560 8825 0 0 0 267 4 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14479] ppid=14459 vsize=876336 CPUtime=0.14
/proc/14472/task/14479/stat : 14479 (java) S 14459 14458 1511 34817 1511 4202560 1277 0 0 0 11 3 0 0 20 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14480] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14480/stat : 14480 (java) S 14459 14458 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
[pid=14472/tid=14481] ppid=14459 vsize=876336 CPUtime=0
/proc/14472/task/14481/stat : 14481 (java) S 14459 14458 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 3324146 897368064 88471 1283457024 134512640 134550932 4291060976 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.77
Current children cumulated vsize (KiB) 881472

Child status: 0
Real time (s): 15.384
CPU time (s): 14.8329
CPU user time (s): 14.4409
CPU system time (s): 0.392024
CPU usage (%): 96.4177
Max. virtual memory (cumulated for all children) (KiB): 885456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.4409
system time used= 0.392024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96901
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= 1131
involuntary context switches= 1199

runsolver used 0 second user time and 0 second system time

The end