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/201012091434/p2cudf-user-1.10/randf61f65.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randf61f65.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/randf61f65.cudf.difficult.result -changed,-removed,-unmet_recommends,-new 

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.37 1.26 1.12 5/38 2045
/proc/meminfo: memFree=303952/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) R 2043 2044 25521 34816 25544 4202496 361 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0
/proc/2045/stat : 2045 (p2cudf-user-1.1) R 2044 2044 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900606976 2633728 41 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/2045/statm: 643 41 0 194 0 29 0

[startup+0.104908 s]
/proc/loadavg: 1.37 1.26 1.12 5/38 2045
/proc/meminfo: memFree=303952/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.204929 s]
/proc/loadavg: 1.37 1.26 1.12 5/38 2045
/proc/meminfo: memFree=303952/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.304942 s]
/proc/loadavg: 1.37 1.26 1.12 5/38 2045
/proc/meminfo: memFree=303952/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.705 s]
/proc/loadavg: 1.37 1.26 1.12 5/38 2045
/proc/meminfo: memFree=303952/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50511 s]
/proc/loadavg: 1.37 1.26 1.12 5/49 2067
/proc/meminfo: memFree=259508/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878252 CPUtime=1.46
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 18822 0 1 0 136 10 0 0 25 0 10 0 900606979 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219563 14953 1741 10 0 216653 0
[pid=2058/tid=2059] ppid=2045 vsize=878252 CPUtime=0.57
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 8129 0 1 0 51 6 0 0 25 0 10 0 900606980 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4095135798 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 10 0 900606981 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900606982 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900606982 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900606984 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878252 CPUtime=0.56
/proc/2058/task/2064/stat : 2064 (java) R 2045 2044 25521 34816 25544 4202560 6618 0 0 0 52 4 0 0 25 0 10 0 900606984 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4151235665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878252 CPUtime=0.32
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 2961 0 0 0 32 0 0 0 23 0 10 0 900606984 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900606984 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900606984 899330048 14953 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 883396

[startup+3.10572 s]
/proc/loadavg: 1.37 1.26 1.12 2/49 2067
/proc/meminfo: memFree=179016/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878252 CPUtime=3
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 59420 0 1 0 270 30 0 0 25 0 10 0 900606979 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219563 55220 1745 10 0 216653 0
[pid=2058/tid=2059] ppid=2045 vsize=878252 CPUtime=1.55
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 48292 0 1 0 129 26 0 0 25 0 10 0 900606980 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 900606981 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900606982 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900606982 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900606984 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878252 CPUtime=1.04
/proc/2058/task/2064/stat : 2064 (java) R 2045 2044 25521 34816 25544 4202560 7047 0 0 0 100 4 0 0 19 0 10 0 900606984 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4148231744 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878252 CPUtime=0.4
/proc/2058/task/2065/stat : 2065 (java) R 2045 2044 25521 34816 25544 4202560 2967 0 0 0 40 0 0 0 18 0 10 0 900606984 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4147367738 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900606984 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878252 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900606984 899330048 55220 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 883396

[startup+6.30669 s]
/proc/loadavg: 1.42 1.27 1.13 2/50 2068
/proc/meminfo: memFree=11320/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878200 CPUtime=6.2
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 77416 0 1 0 584 36 0 0 25 0 11 0 900606979 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219550 71495 1792 10 0 216640 0
[pid=2058/tid=2059] ppid=2045 vsize=878200 CPUtime=3.1
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 50468 0 1 0 282 28 0 0 25 0 11 0 900606980 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4095945629 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878200 CPUtime=0.32
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 13963 0 0 0 28 4 0 0 16 0 11 0 900606981 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878200 CPUtime=1.86
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7156 0 0 0 182 4 0 0 15 0 11 0 900606984 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878200 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899276800 71495 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 883344

[startup+12.7087 s]
/proc/loadavg: 1.39 1.27 1.13 3/50 2068
/proc/meminfo: memFree=6456/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878200 CPUtime=12.59
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86722 0 1 0 1222 37 0 0 25 0 11 0 900606979 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219550 80801 1792 10 0 216640 0
[pid=2058/tid=2059] ppid=2045 vsize=878200 CPUtime=8.89
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 50469 0 1 0 861 28 0 0 25 0 11 0 900606980 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4096016340 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878200 CPUtime=0.71
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23247 0 0 0 66 5 0 0 15 0 11 0 900606981 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878200 CPUtime=2.08
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7177 0 0 0 204 4 0 0 16 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878200 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) R 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 883344

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

[startup+12.8087 s]
/proc/loadavg: 1.39 1.27 1.13 3/50 2068
/proc/meminfo: memFree=6456/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878200 CPUtime=12.69
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86722 0 1 0 1232 37 0 0 25 0 11 0 900606979 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219550 80801 1792 10 0 216640 0
[pid=2058/tid=2059] ppid=2045 vsize=878200 CPUtime=8.99
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 50469 0 1 0 871 28 0 0 25 0 11 0 900606980 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4095777483 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878200 CPUtime=0.71
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23247 0 0 0 66 5 0 0 15 0 11 0 900606981 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878200 CPUtime=2.08
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7177 0 0 0 204 4 0 0 16 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878200 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899276800 80801 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 883344

[startup+14.4092 s]
/proc/loadavg: 1.35 1.26 1.13 2/50 2068
/proc/meminfo: memFree=5836/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878200 CPUtime=14.29
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86905 0 1 0 1392 37 0 0 25 0 11 0 900606979 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219550 80984 1793 10 0 216640 0
[pid=2058/tid=2059] ppid=2045 vsize=878200 CPUtime=10.29
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 50470 0 1 0 1001 28 0 0 25 0 11 0 900606980 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4095397585 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878200 CPUtime=0.99
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23419 0 0 0 94 5 0 0 16 0 11 0 900606981 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878200 CPUtime=2.1
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7187 0 0 0 206 4 0 0 15 0 11 0 900606984 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878200 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) R 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899276800 80984 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.32
Current children cumulated vsize (KiB) 883344

[startup+15.2094 s]
/proc/loadavg: 1.35 1.26 1.13 2/50 2068
/proc/meminfo: memFree=5836/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878200 CPUtime=15.09
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86906 0 1 0 1472 37 0 0 25 0 11 0 900606979 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219550 80985 1793 10 0 216640 0
[pid=2058/tid=2059] ppid=2045 vsize=878200 CPUtime=11.08
/proc/2058/task/2059/stat : 2059 (java) R 2045 2044 25521 34816 25544 4202560 50470 0 1 0 1080 28 0 0 25 0 11 0 900606980 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4095831465 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878200 CPUtime=0.99
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23419 0 0 0 94 5 0 0 15 0 11 0 900606981 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878200 CPUtime=2.1
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7188 0 0 0 206 4 0 0 15 0 11 0 900606984 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878200 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878200 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899276800 80985 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.12
Current children cumulated vsize (KiB) 883344

[startup+15.6059 s]
/proc/loadavg: 1.35 1.26 1.13 1/51 2069
/proc/meminfo: memFree=5704/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878524 CPUtime=15.21
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86920 0 1 0 1484 37 0 0 25 0 12 0 900606979 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219631 80999 1793 10 0 216721 0
[pid=2058/tid=2059] ppid=2045 vsize=878524 CPUtime=11.19
/proc/2058/task/2059/stat : 2059 (java) S 2045 2044 25521 34816 25544 4202560 50477 0 1 0 1091 28 0 0 25 0 12 0 900606980 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878524 CPUtime=0.99
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23419 0 0 0 94 5 0 0 15 0 12 0 900606981 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900606982 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900606982 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878524 CPUtime=2.12
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7191 0 0 0 208 4 0 0 15 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878524 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900607466 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2069] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2069/stat : 2069 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900608509 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.24
Current children cumulated vsize (KiB) 883668

[startup+15.8059 s]
/proc/loadavg: 1.35 1.26 1.13 1/51 2069
/proc/meminfo: memFree=5704/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878524 CPUtime=15.21
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86920 0 1 0 1484 37 0 0 25 0 12 0 900606979 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219631 80999 1793 10 0 216721 0
[pid=2058/tid=2059] ppid=2045 vsize=878524 CPUtime=11.19
/proc/2058/task/2059/stat : 2059 (java) S 2045 2044 25521 34816 25544 4202560 50477 0 1 0 1091 28 0 0 25 0 12 0 900606980 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878524 CPUtime=0.99
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23419 0 0 0 94 5 0 0 15 0 12 0 900606981 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900606982 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900606982 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878524 CPUtime=2.12
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7191 0 0 0 208 4 0 0 15 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878524 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900606984 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900607466 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2069] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2069/stat : 2069 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900608509 899608576 80999 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.24
Current children cumulated vsize (KiB) 883668

[startup+15.9059 s]
/proc/loadavg: 1.35 1.26 1.13 1/51 2069
/proc/meminfo: memFree=5704/1048576 swapFree=2095372/2097144
[pid=2044] ppid=2043 vsize=2572 CPUtime=0
/proc/2044/stat : 2044 (p2cudf-user-1.1) S 2043 2044 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900606975 2633728 274 1283457024 134512640 135304128 4292954112 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2044/statm: 643 274 233 194 0 29 0
[pid=2045] ppid=2044 vsize=2572 CPUtime=0.03
/proc/2045/stat : 2045 (p2cudf) S 2044 2044 25521 34816 25544 4202496 393 2996 0 1 0 1 2 0 25 0 1 0 900606976 2633728 282 1283457024 134512640 135304128 4287654688 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2045/statm: 643 282 241 194 0 29 0
[pid=2058] ppid=2045 vsize=878524 CPUtime=15.25
/proc/2058/stat : 2058 (java) S 2045 2044 25521 34816 25544 4202496 86921 0 1 0 1487 38 0 0 25 0 11 0 900606979 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/2058/statm: 219631 81000 1793 10 0 216721 0
[pid=2058/tid=2059] ppid=2045 vsize=878524 CPUtime=11.19
/proc/2058/task/2059/stat : 2059 (java) S 2045 2044 25521 34816 25544 4202560 50477 0 1 0 1091 28 0 0 20 0 11 0 900606980 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2060] ppid=2045 vsize=878524 CPUtime=0.99
/proc/2058/task/2060/stat : 2060 (java) S 2045 2044 25521 34816 25544 4202560 23419 0 0 0 94 5 0 0 15 0 11 0 900606981 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 0 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2061] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2061/stat : 2061 (java) S 2045 2044 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900606982 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2062] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2062/stat : 2062 (java) S 2045 2044 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900606982 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2063] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2063/stat : 2063 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2064] ppid=2045 vsize=878524 CPUtime=2.12
/proc/2058/task/2064/stat : 2064 (java) S 2045 2044 25521 34816 25544 4202560 7191 0 0 0 208 4 0 0 16 0 11 0 900606984 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2065] ppid=2045 vsize=878524 CPUtime=0.9
/proc/2058/task/2065/stat : 2065 (java) S 2045 2044 25521 34816 25544 4202560 4714 0 0 0 90 0 0 0 16 0 11 0 900606984 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2066] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2066/stat : 2066 (java) S 2045 2044 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900606984 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2067] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2067/stat : 2067 (java) S 2045 2044 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900606984 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
[pid=2058/tid=2068] ppid=2045 vsize=878524 CPUtime=0
/proc/2058/task/2068/stat : 2068 (java) S 2045 2044 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900607466 899608576 81000 1283457024 134512640 134550932 4290925792 18446744073709551615 4294960130 0 4 0 16800975 18446612133395366976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.28
Current children cumulated vsize (KiB) 883668

Child status: 0
Real time (s): 15.9588
CPU time (s): 15.337
CPU user time (s): 14.8969
CPU system time (s): 0.440027
CPU usage (%): 96.1036
Max. virtual memory (cumulated for all children) (KiB): 885512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8969
system time used= 0.440027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90713
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= 1099
involuntary context switches= 1253

runsolver used 0 second user time and 0 second system time

The end