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/201012081559/p2cudf-user-1.10/a83e3164-4c56-11df-bec7-00163e7a6f5e.cudf.upgrades.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/upgrades//a83e3164-4c56-11df-bec7-00163e7a6f5e.cudf /home/misc2010/tmp/201012081559/p2cudf-user-1.10/a83e3164-4c56-11df-bec7-00163e7a6f5e.cudf.upgrades.result -notuptodate,-removed,-changed 

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: 2.94 1.45 0.57 3/45 1947
/proc/meminfo: memFree=181212/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) R 1945 1946 28116 34820 28116 4202496 359 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2568 CPUtime=0
/proc/1947/stat : 1947 (p2cudf-user-1.1) R 1946 1946 28116 34820 28116 4202560 0 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 40 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/1947/statm: 642 40 0 194 0 28 0

[startup+0.104839 s]
/proc/loadavg: 2.94 1.45 0.57 3/45 1947
/proc/meminfo: memFree=181212/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.204872 s]
/proc/loadavg: 2.94 1.45 0.57 3/45 1947
/proc/meminfo: memFree=181212/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.304908 s]
/proc/loadavg: 2.94 1.45 0.57 3/45 1947
/proc/meminfo: memFree=181212/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.70501 s]
/proc/loadavg: 2.94 1.45 0.57 3/45 1947
/proc/meminfo: memFree=181212/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50491 s]
/proc/loadavg: 2.87 1.46 0.58 4/56 1969
/proc/meminfo: memFree=152364/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
[pid=1960] ppid=1947 vsize=867656 CPUtime=1.46
/proc/1960/stat : 1960 (java) S 1947 1946 28116 34820 28116 4202496 16439 0 1 0 137 9 0 0 25 0 10 0 891713173 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1960/statm: 216914 14446 1732 10 0 214004 0
[pid=1960/tid=1961] ppid=1947 vsize=867656 CPUtime=0.77
/proc/1960/task/1961/stat : 1961 (java) R 1947 1946 28116 34820 28116 4202560 10333 0 1 0 71 6 0 0 25 0 10 0 891713174 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4095288665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1960/tid=1962] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1962/stat : 1962 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 17 0 10 0 891713175 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1963] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1963/stat : 1963 (java) S 1947 1946 28116 34820 28116 4202560 9 0 0 0 0 0 0 0 25 0 10 0 891713175 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1964] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1964/stat : 1964 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 25 0 10 0 891713176 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1965] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1965/stat : 1965 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 10 0 891713178 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1966] ppid=1947 vsize=867656 CPUtime=0.6
/proc/1960/task/1966/stat : 1966 (java) S 1947 1946 28116 34820 28116 4202560 4698 0 0 0 58 2 0 0 24 0 10 0 891713178 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1967] ppid=1947 vsize=867656 CPUtime=0.09
/proc/1960/task/1967/stat : 1967 (java) S 1947 1946 28116 34820 28116 4202560 295 0 0 0 8 1 0 0 23 0 10 0 891713178 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1968] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1968/stat : 1968 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 10 0 891713178 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1969] ppid=1947 vsize=867656 CPUtime=0
/proc/1960/task/1969/stat : 1969 (java) S 1947 1946 28116 34820 28116 4202560 2 0 0 0 0 0 0 0 15 0 10 0 891713178 888479744 14446 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 872796

[startup+3.10869 s]
/proc/loadavg: 2.87 1.46 0.58 3/56 1969
/proc/meminfo: memFree=99712/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
[pid=1960] ppid=1947 vsize=871316 CPUtime=3.05
/proc/1960/stat : 1960 (java) S 1947 1946 28116 34820 28116 4202496 29189 0 1 0 291 14 0 0 25 0 10 0 891713173 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1960/statm: 217829 26150 1770 10 0 214919 0
[pid=1960/tid=1961] ppid=1947 vsize=871316 CPUtime=1.28
/proc/1960/task/1961/stat : 1961 (java) R 1947 1946 28116 34820 28116 4202560 20824 0 1 0 119 9 0 0 25 0 10 0 891713174 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1960/tid=1962] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1962/stat : 1962 (java) S 1947 1946 28116 34820 28116 4202560 5 0 0 0 0 0 0 0 15 0 10 0 891713175 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1963] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1963/stat : 1963 (java) S 1947 1946 28116 34820 28116 4202560 9 0 0 0 0 0 0 0 25 0 10 0 891713175 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1964] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1964/stat : 1964 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 25 0 10 0 891713176 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1965] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1965/stat : 1965 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 10 0 891713178 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1966] ppid=1947 vsize=871316 CPUtime=0.81
/proc/1960/task/1966/stat : 1966 (java) R 1947 1946 28116 34820 28116 4202560 4743 0 0 0 79 2 0 0 24 0 10 0 891713178 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4151369159 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1960/tid=1967] ppid=1947 vsize=871316 CPUtime=0.95
/proc/1960/task/1967/stat : 1967 (java) S 1947 1946 28116 34820 28116 4202560 2508 0 0 0 93 2 0 0 15 0 10 0 891713178 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1968] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1968/stat : 1968 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 10 0 891713178 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1969] ppid=1947 vsize=871316 CPUtime=0
/proc/1960/task/1969/stat : 1969 (java) S 1947 1946 28116 34820 28116 4202560 2 0 0 0 0 0 0 0 15 0 10 0 891713178 892227584 26150 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 876456

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

[startup+3.20106 s]
/proc/loadavg: 2.87 1.46 0.58 3/56 1969
/proc/meminfo: memFree=99712/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
[pid=1960] ppid=1947 vsize=871640 CPUtime=3.07
/proc/1960/stat : 1960 (java) S 1947 1946 28116 34820 28116 4202496 29556 0 1 0 293 14 0 0 25 0 11 0 891713173 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1960/statm: 217910 26517 1770 10 0 215000 0
[pid=1960/tid=1961] ppid=1947 vsize=871640 CPUtime=1.29
/proc/1960/task/1961/stat : 1961 (java) S 1947 1946 28116 34820 28116 4202560 21187 0 1 0 120 9 0 0 25 0 11 0 891713174 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1962] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1962/stat : 1962 (java) S 1947 1946 28116 34820 28116 4202560 5 0 0 0 0 0 0 0 15 0 11 0 891713175 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1963] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1963/stat : 1963 (java) S 1947 1946 28116 34820 28116 4202560 9 0 0 0 0 0 0 0 25 0 11 0 891713175 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1964] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1964/stat : 1964 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 25 0 11 0 891713176 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1965] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1965/stat : 1965 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1966] ppid=1947 vsize=871640 CPUtime=0.81
/proc/1960/task/1966/stat : 1966 (java) S 1947 1946 28116 34820 28116 4202560 4743 0 0 0 79 2 0 0 24 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1967] ppid=1947 vsize=871640 CPUtime=0.96
/proc/1960/task/1967/stat : 1967 (java) S 1947 1946 28116 34820 28116 4202560 2508 0 0 0 94 2 0 0 16 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1968] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1968/stat : 1968 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1969] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1969/stat : 1969 (java) S 1947 1946 28116 34820 28116 4202560 2 0 0 0 0 0 0 0 15 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 876780

[startup+3.60504 s]
/proc/loadavg: 2.87 1.46 0.58 1/57 1970
/proc/meminfo: memFree=77632/1048576 swapFree=2080404/2097144
[pid=1946] ppid=1945 vsize=2568 CPUtime=0
/proc/1946/stat : 1946 (p2cudf-user-1.1) S 1945 1946 28116 34820 28116 4202496 377 0 0 0 0 0 0 0 25 0 1 0 891713169 2629632 273 1283457024 134512640 135304128 4289522848 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1946/statm: 642 273 233 194 0 28 0
[pid=1947] ppid=1946 vsize=2572 CPUtime=0.03
/proc/1947/stat : 1947 (p2cudf) S 1946 1946 28116 34820 28116 4202496 392 2994 0 1 1 0 2 0 25 0 1 0 891713169 2633728 282 1283457024 134512640 135304128 4288445376 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1947/statm: 643 282 241 194 0 29 0
[pid=1960] ppid=1947 vsize=871640 CPUtime=3.07
/proc/1960/stat : 1960 (java) S 1947 1946 28116 34820 28116 4202496 29556 0 1 0 293 14 0 0 25 0 11 0 891713173 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1960/statm: 217910 26517 1770 10 0 215000 0
[pid=1960/tid=1961] ppid=1947 vsize=871640 CPUtime=1.29
/proc/1960/task/1961/stat : 1961 (java) S 1947 1946 28116 34820 28116 4202560 21187 0 1 0 120 9 0 0 25 0 11 0 891713174 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1962] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1962/stat : 1962 (java) S 1947 1946 28116 34820 28116 4202560 5 0 0 0 0 0 0 0 15 0 11 0 891713175 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 0 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1963] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1963/stat : 1963 (java) S 1947 1946 28116 34820 28116 4202560 9 0 0 0 0 0 0 0 25 0 11 0 891713175 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1964] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1964/stat : 1964 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 25 0 11 0 891713176 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1965] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1965/stat : 1965 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1966] ppid=1947 vsize=871640 CPUtime=0.81
/proc/1960/task/1966/stat : 1966 (java) S 1947 1946 28116 34820 28116 4202560 4743 0 0 0 79 2 0 0 24 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1967] ppid=1947 vsize=871640 CPUtime=0.96
/proc/1960/task/1967/stat : 1967 (java) S 1947 1946 28116 34820 28116 4202560 2508 0 0 0 94 2 0 0 16 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1968] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1968/stat : 1968 (java) S 1947 1946 28116 34820 28116 4202560 1 0 0 0 0 0 0 0 25 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1969] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1969/stat : 1969 (java) S 1947 1946 28116 34820 28116 4202560 2 0 0 0 0 0 0 0 15 0 11 0 891713178 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
[pid=1960/tid=1970] ppid=1947 vsize=871640 CPUtime=0
/proc/1960/task/1970/stat : 1970 (java) S 1947 1946 28116 34820 28116 4202560 4 0 0 0 0 0 0 0 25 0 11 0 891713483 892559360 26517 1283457024 134512640 134550932 4292230656 18446744073709551615 4294960130 0 4 0 16800975 18446612132432356480 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 876780

Child status: 0
Real time (s): 3.69867
CPU time (s): 3.1282
CPU user time (s): 2.96819
CPU system time (s): 0.16001
CPU usage (%): 84.5763
Max. virtual memory (cumulated for all children) (KiB): 877468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.96819
system time used= 0.16001
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33344
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= 282
involuntary context switches= 269

runsolver used 0 second user time and 0 second system time

The end