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/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.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.20 1.15 1.08 5/38 937
/proc/meminfo: memFree=330084/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) R 935 936 25521 34816 25544 4202496 360 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2568 CPUtime=0
/proc/937/stat : 937 (p2cudf-user-1.1) R 936 936 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 40 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/937/statm: 642 40 0 194 0 28 0

[startup+0.184578 s]
/proc/loadavg: 1.20 1.15 1.08 5/38 937
/proc/meminfo: memFree=330084/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.204579 s]
/proc/loadavg: 1.20 1.15 1.08 5/38 937
/proc/meminfo: memFree=330084/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.304604 s]
/proc/loadavg: 1.20 1.15 1.08 5/38 937
/proc/meminfo: memFree=330084/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.704682 s]
/proc/loadavg: 1.20 1.15 1.08 5/38 937
/proc/meminfo: memFree=330084/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50488 s]
/proc/loadavg: 1.20 1.15 1.08 4/49 959
/proc/meminfo: memFree=291420/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=870304 CPUtime=1.46
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 16297 0 1 0 142 4 0 0 25 0 10 0 900587400 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 217576 13994 1735 10 0 214666 0
[pid=950/tid=951] ppid=937 vsize=870304 CPUtime=0.79
/proc/950/task/951/stat : 951 (java) R 937 936 25521 34816 25544 4202560 9136 0 1 0 76 3 0 0 25 0 10 0 900587401 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4149755290 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900587403 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900587403 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900587403 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=870304 CPUtime=0.39
/proc/950/task/956/stat : 956 (java) R 937 936 25521 34816 25544 4202560 3429 0 0 0 39 0 0 0 23 0 10 0 900587406 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4149178051 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=870304 CPUtime=0.27
/proc/950/task/957/stat : 957 (java) R 937 936 25521 34816 25544 4202560 2618 0 0 0 26 1 0 0 25 0 10 0 900587406 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4149443042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=870304 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 10 0 900587406 891191296 13994 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 875452

[startup+3.1055 s]
/proc/loadavg: 1.20 1.15 1.08 2/49 959
/proc/meminfo: memFree=225424/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=878332 CPUtime=3.01
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 47309 0 1 0 282 19 0 0 25 0 10 0 900587400 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219583 43137 1764 10 0 216673 0
[pid=950/tid=951] ppid=937 vsize=878332 CPUtime=1.47
/proc/950/task/951/stat : 951 (java) R 937 936 25521 34816 25544 4202560 36154 0 1 0 134 13 0 0 25 0 10 0 900587401 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900587403 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900587403 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900587403 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=878332 CPUtime=0.66
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3525 0 0 0 66 0 0 0 15 0 10 0 900587406 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=878332 CPUtime=0.87
/proc/950/task/957/stat : 957 (java) R 937 936 25521 34816 25544 4202560 6516 0 0 0 82 5 0 0 22 0 10 0 900587406 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4152294165 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=878332 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 10 0 900587406 899411968 43137 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 883480

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

[startup+3.20556 s]
/proc/loadavg: 1.20 1.15 1.08 2/49 959
/proc/meminfo: memFree=225424/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=879832 CPUtime=3.11
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 47709 0 1 0 292 19 0 0 25 0 10 0 900587400 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219958 43537 1764 10 0 217048 0
[pid=950/tid=951] ppid=937 vsize=879832 CPUtime=1.47
/proc/950/task/951/stat : 951 (java) R 937 936 25521 34816 25544 4202560 36154 0 1 0 134 13 0 0 25 0 10 0 900587401 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900587403 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900587403 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900587403 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=879832 CPUtime=0.66
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3525 0 0 0 66 0 0 0 15 0 10 0 900587406 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=879832 CPUtime=0.97
/proc/950/task/957/stat : 957 (java) R 937 936 25521 34816 25544 4202560 6916 0 0 0 92 5 0 0 22 0 10 0 900587406 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4152047528 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900587406 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=879832 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 10 0 900587406 900947968 43537 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 884980

[startup+4.8059 s]
/proc/loadavg: 1.26 1.17 1.08 2/50 960
/proc/meminfo: memFree=106612/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=877776 CPUtime=4.71
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 62126 0 1 0 447 24 0 0 25 0 11 0 900587400 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219444 56014 1787 10 0 216534 0
[pid=950/tid=951] ppid=937 vsize=877776 CPUtime=2.11
/proc/950/task/951/stat : 951 (java) R 937 936 25521 34816 25544 4202560 49071 0 1 0 194 17 0 0 25 0 11 0 900587401 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4096712297 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 11 0 900587403 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 11 0 900587403 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900587403 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900587406 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=877776 CPUtime=1.08
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3586 0 0 0 108 0 0 0 15 0 11 0 900587406 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=877776 CPUtime=1.5
/proc/950/task/957/stat : 957 (java) R 937 936 25521 34816 25544 4202560 8351 0 0 0 144 6 0 0 22 0 11 0 900587406 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4152971163 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900587406 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900587406 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=960] ppid=937 vsize=877776 CPUtime=0
/proc/950/task/960/stat : 960 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900587828 898842624 56014 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 882924

[startup+5.60489 s]
/proc/loadavg: 1.26 1.17 1.08 1/51 961
/proc/meminfo: memFree=58244/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=878100 CPUtime=5.32
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 73100 0 1 0 506 26 0 0 25 0 12 0 900587400 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219525 66988 1791 10 0 216615 0
[pid=950/tid=951] ppid=937 vsize=878100 CPUtime=2.38
/proc/950/task/951/stat : 951 (java) S 937 936 25521 34816 25544 4202560 50472 0 1 0 220 18 0 0 25 0 12 0 900587401 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=878100 CPUtime=0.22
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 9557 0 0 0 21 1 0 0 16 0 12 0 900587403 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900587403 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=878100 CPUtime=0.01
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 12 0 900587403 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900587406 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=878100 CPUtime=1.17
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3597 0 0 0 117 0 0 0 16 0 12 0 900587406 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=878100 CPUtime=1.52
/proc/950/task/957/stat : 957 (java) S 937 936 25521 34816 25544 4202560 8355 0 0 0 146 6 0 0 17 0 12 0 900587406 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900587406 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 12 0 900587406 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=960] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/960/stat : 960 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900587828 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=961] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/961/stat : 961 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900587940 899174400 66988 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 883248

[startup+6.01089 s]
/proc/loadavg: 1.26 1.17 1.08 1/51 961
/proc/meminfo: memFree=58244/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=878100 CPUtime=5.39
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 73103 0 1 0 510 29 0 0 25 0 12 0 900587400 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219525 66991 1791 10 0 216615 0
[pid=950/tid=951] ppid=937 vsize=878100 CPUtime=2.38
/proc/950/task/951/stat : 951 (java) S 937 936 25521 34816 25544 4202560 50472 0 1 0 220 18 0 0 25 0 12 0 900587401 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=878100 CPUtime=0.22
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 9557 0 0 0 21 1 0 0 16 0 12 0 900587403 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900587403 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=878100 CPUtime=0.01
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 12 0 900587403 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900587406 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=878100 CPUtime=1.17
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3597 0 0 0 117 0 0 0 16 0 12 0 900587406 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=878100 CPUtime=1.54
/proc/950/task/957/stat : 957 (java) S 937 936 25521 34816 25544 4202560 8357 0 0 0 148 6 0 0 16 0 12 0 900587406 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900587406 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 12 0 900587406 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=960] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/960/stat : 960 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900587828 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=961] ppid=937 vsize=878100 CPUtime=0.05
/proc/950/task/961/stat : 961 (java) R 937 936 25521 34816 25544 4202560 5 0 0 0 2 3 0 0 20 0 12 0 900587940 899174400 66991 1283457024 134512640 134550932 4291669344 18446744073709551615 4095686962 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 883248

[startup+6.1049 s]
/proc/loadavg: 1.26 1.17 1.08 1/51 961
/proc/meminfo: memFree=58244/1048576 swapFree=2095372/2097144
[pid=936] ppid=935 vsize=2568 CPUtime=0
/proc/936/stat : 936 (p2cudf-user-1.1) S 935 936 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900587397 2629632 273 1283457024 134512640 135304128 4287453840 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/936/statm: 642 273 233 194 0 28 0
[pid=937] ppid=936 vsize=2580 CPUtime=0.03
/proc/937/stat : 937 (p2cudf) S 936 936 25521 34816 25544 4202496 395 2992 0 1 0 1 2 0 25 0 1 0 900587397 2641920 283 1283457024 134512640 135304128 4288996400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/937/statm: 645 283 241 194 0 31 0
[pid=950] ppid=937 vsize=878100 CPUtime=5.47
/proc/950/stat : 950 (java) S 937 936 25521 34816 25544 4202496 73108 0 1 0 516 31 0 0 25 0 11 0 900587400 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/950/statm: 219525 66996 1791 10 0 216615 0
[pid=950/tid=951] ppid=937 vsize=878100 CPUtime=2.38
/proc/950/task/951/stat : 951 (java) S 937 936 25521 34816 25544 4202560 50472 0 1 0 220 18 0 0 19 0 11 0 900587401 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=952] ppid=937 vsize=878100 CPUtime=0.22
/proc/950/task/952/stat : 952 (java) S 937 936 25521 34816 25544 4202560 9557 0 0 0 21 1 0 0 16 0 11 0 900587403 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=953] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/953/stat : 953 (java) S 937 936 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900587403 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=954] ppid=937 vsize=878100 CPUtime=0.01
/proc/950/task/954/stat : 954 (java) S 937 936 25521 34816 25544 4202560 6 0 0 0 1 0 0 0 18 0 11 0 900587403 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=955] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/955/stat : 955 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900587406 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=956] ppid=937 vsize=878100 CPUtime=1.17
/proc/950/task/956/stat : 956 (java) S 937 936 25521 34816 25544 4202560 3597 0 0 0 117 0 0 0 16 0 11 0 900587406 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=957] ppid=937 vsize=878100 CPUtime=1.56
/proc/950/task/957/stat : 957 (java) S 937 936 25521 34816 25544 4202560 8361 0 0 0 150 6 0 0 16 0 11 0 900587406 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=958] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/958/stat : 958 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900587406 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=959] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/959/stat : 959 (java) S 937 936 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 15 0 11 0 900587406 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=950/tid=960] ppid=937 vsize=878100 CPUtime=0
/proc/950/task/960/stat : 960 (java) S 937 936 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900587828 899174400 66996 1283457024 134512640 134550932 4291669344 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 883248

Child status: 0
Real time (s): 6.14539
CPU time (s): 5.53235
CPU user time (s): 5.18832
CPU system time (s): 0.344021
CPU usage (%): 90.0244
Max. virtual memory (cumulated for all children) (KiB): 885328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.18832
system time used= 0.344021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76896
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= 756
involuntary context switches= 781

runsolver used 0 second user time and 0 second system time

The end