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/201103031013/p2cudf-paranoid-1.12/4017.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//4017.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/4017.cudf.caixa.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.91 1.84 1.72 5/35 24969
/proc/meminfo: memFree=311888/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2564 CPUtime=0
/proc/24968/stat : 24968 (p2cudf) R 24967 24967 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 76074892 2625536 270 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24968/statm: 641 270 231 194 0 28 0
[pid=24969] ppid=24968 vsize=2564 CPUtime=0
/proc/24969/stat : 24969 (p2cudf) R 24968 24967 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76074892 2625536 39 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24969/statm: 641 39 0 194 0 28 0

[startup+0.165697 s]
/proc/loadavg: 1.91 1.84 1.72 5/35 24969
/proc/meminfo: memFree=311888/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.205701 s]
/proc/loadavg: 1.91 1.84 1.72 5/35 24969
/proc/meminfo: memFree=311888/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.30573 s]
/proc/loadavg: 1.91 1.84 1.72 5/35 24969
/proc/meminfo: memFree=311888/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.705808 s]
/proc/loadavg: 1.91 1.84 1.72 5/35 24969
/proc/meminfo: memFree=311888/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.50601 s]
/proc/loadavg: 1.91 1.84 1.72 5/45 24990
/proc/meminfo: memFree=269452/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880124 CPUtime=1.46
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 18642 0 1 0 136 10 0 0 25 0 10 0 76074895 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220031 14259 1730 10 0 217122 0
[pid=24981/tid=24982] ppid=24968 vsize=880124 CPUtime=0.69
/proc/24981/task/24982/stat : 24982 (java) R 24968 24967 29493 34817 29493 4202560 6894 0 1 0 63 6 0 0 25 0 10 0 76074896 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 16 0 10 0 76074897 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76074898 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76074898 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074900 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880124 CPUtime=0.54
/proc/24981/task/24987/stat : 24987 (java) R 24968 24967 29493 34817 29493 4202560 9116 0 0 0 52 2 0 0 22 0 10 0 76074900 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4149815809 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880124 CPUtime=0.21
/proc/24981/task/24988/stat : 24988 (java) R 24968 24967 29493 34817 29493 4202560 1554 0 0 0 20 1 0 0 24 0 10 0 76074901 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4151832384 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074901 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880124 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76074901 901246976 14259 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 885268

[startup+3.10646 s]
/proc/loadavg: 1.91 1.84 1.72 4/45 24990
/proc/meminfo: memFree=208692/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880156 CPUtime=3.05
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 55740 0 1 0 284 21 0 0 25 0 10 0 76074895 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220039 49121 1743 10 0 217130 0
[pid=24981/tid=24982] ppid=24968 vsize=880156 CPUtime=1.54
/proc/24981/task/24982/stat : 24982 (java) R 24968 24967 29493 34817 29493 4202560 41642 0 1 0 138 16 0 0 25 0 10 0 76074896 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4149056805 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76074897 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76074898 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76074898 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074900 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880156 CPUtime=1.04
/proc/24981/task/24987/stat : 24987 (java) R 24968 24967 29493 34817 29493 4202560 11060 0 0 0 101 3 0 0 20 0 10 0 76074900 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4152513977 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880156 CPUtime=0.45
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1960 0 0 0 44 1 0 0 18 0 10 0 76074901 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074901 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76074901 901279744 49121 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 885300

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

[startup+3.20653 s]
/proc/loadavg: 1.91 1.84 1.72 4/45 24990
/proc/meminfo: memFree=208692/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880156 CPUtime=3.15
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 58362 0 1 0 294 21 0 0 25 0 10 0 76074895 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220039 51743 1743 10 0 217130 0
[pid=24981/tid=24982] ppid=24968 vsize=880156 CPUtime=1.59
/proc/24981/task/24982/stat : 24982 (java) R 24968 24967 29493 34817 29493 4202560 44257 0 1 0 143 16 0 0 25 0 10 0 76074896 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4094967598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 10 0 76074897 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76074898 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76074898 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074900 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880156 CPUtime=1.09
/proc/24981/task/24987/stat : 24987 (java) S 24968 24967 29493 34817 29493 4202560 11067 0 0 0 106 3 0 0 20 0 10 0 76074900 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880156 CPUtime=0.45
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1960 0 0 0 44 1 0 0 18 0 10 0 76074901 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074901 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76074901 901279744 51743 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 885300

[startup+4.01635 s]
/proc/loadavg: 1.91 1.84 1.72 2/45 24990
/proc/meminfo: memFree=95668/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880156 CPUtime=3.95
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 80115 0 1 0 366 29 0 0 25 0 10 0 76074895 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220039 73496 1748 10 0 217130 0
[pid=24981/tid=24982] ppid=24968 vsize=880156 CPUtime=1.75
/proc/24981/task/24982/stat : 24982 (java) R 24968 24967 29493 34817 29493 4202560 50194 0 1 0 155 20 0 0 25 0 10 0 76074896 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880156 CPUtime=0.38
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 15798 0 0 0 34 4 0 0 16 0 10 0 76074897 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 76074898 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76074898 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074900 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880156 CPUtime=1.28
/proc/24981/task/24987/stat : 24987 (java) R 24968 24967 29493 34817 29493 4202560 11082 0 0 0 125 3 0 0 19 0 10 0 76074900 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4151359486 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880156 CPUtime=0.53
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1967 0 0 0 52 1 0 0 15 0 10 0 76074901 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76074901 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880156 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76074901 901279744 73496 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 885300

[startup+4.70591 s]
/proc/loadavg: 2.08 1.88 1.73 3/45 24990
/proc/meminfo: memFree=23192/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880480 CPUtime=4.45
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 80716 0 1 0 416 29 0 0 25 0 11 0 76074895 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220120 73556 1761 10 0 217211 0
[pid=24981/tid=24982] ppid=24968 vsize=880480 CPUtime=1.94
/proc/24981/task/24982/stat : 24982 (java) S 24968 24967 29493 34817 29493 4202560 50204 0 1 0 174 20 0 0 25 0 11 0 76074896 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880480 CPUtime=0.38
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 15798 0 0 0 34 4 0 0 16 0 11 0 76074897 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880480 CPUtime=1.53
/proc/24981/task/24987/stat : 24987 (java) S 24968 24967 29493 34817 29493 4202560 11661 0 0 0 150 3 0 0 19 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880480 CPUtime=0.59
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1975 0 0 0 58 1 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 885624

[startup+4.90597 s]
/proc/loadavg: 2.08 1.88 1.73 3/45 24990
/proc/meminfo: memFree=23192/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880480 CPUtime=4.45
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 80716 0 1 0 416 29 0 0 25 0 11 0 76074895 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220120 73556 1761 10 0 217211 0
[pid=24981/tid=24982] ppid=24968 vsize=880480 CPUtime=1.94
/proc/24981/task/24982/stat : 24982 (java) S 24968 24967 29493 34817 29493 4202560 50204 0 1 0 174 20 0 0 25 0 11 0 76074896 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880480 CPUtime=0.38
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 15798 0 0 0 34 4 0 0 16 0 11 0 76074897 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880480 CPUtime=1.53
/proc/24981/task/24987/stat : 24987 (java) S 24968 24967 29493 34817 29493 4202560 11661 0 0 0 150 3 0 0 19 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880480 CPUtime=0.59
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1975 0 0 0 58 1 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 885624

[startup+5.00597 s]
/proc/loadavg: 2.08 1.88 1.73 3/45 24990
/proc/meminfo: memFree=23192/1048576 swapFree=0/0
[pid=24967] ppid=24966 vsize=2572 CPUtime=0
/proc/24967/stat : 24967 (p2cudf-paranoid) S 24966 24967 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76074892 2633728 271 1283457024 134512640 135304128 4289213616 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24967/statm: 643 271 230 194 0 30 0
[pid=24968] ppid=24967 vsize=2572 CPUtime=0.03
/proc/24968/stat : 24968 (p2cudf) S 24967 24967 29493 34817 29493 4202496 394 3013 0 1 1 0 1 1 25 0 1 0 76074892 2633728 280 1283457024 134512640 135304128 4294943280 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24968/statm: 643 280 239 194 0 30 0
[pid=24981] ppid=24968 vsize=880480 CPUtime=4.45
/proc/24981/stat : 24981 (java) S 24968 24967 29493 34817 29493 4202496 80716 0 1 0 416 29 0 0 25 0 11 0 76074895 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24981/statm: 220120 73556 1761 10 0 217211 0
[pid=24981/tid=24982] ppid=24968 vsize=880480 CPUtime=1.94
/proc/24981/task/24982/stat : 24982 (java) S 24968 24967 29493 34817 29493 4202560 50204 0 1 0 174 20 0 0 25 0 11 0 76074896 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24983] ppid=24968 vsize=880480 CPUtime=0.38
/proc/24981/task/24983/stat : 24983 (java) S 24968 24967 29493 34817 29493 4202560 15798 0 0 0 34 4 0 0 15 0 11 0 76074897 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24984] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24984/stat : 24984 (java) S 24968 24967 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24985] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24985/stat : 24985 (java) S 24968 24967 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76074898 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24986] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24986/stat : 24986 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24987] ppid=24968 vsize=880480 CPUtime=1.53
/proc/24981/task/24987/stat : 24987 (java) S 24968 24967 29493 34817 29493 4202560 11661 0 0 0 150 3 0 0 19 0 11 0 76074900 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24988] ppid=24968 vsize=880480 CPUtime=0.59
/proc/24981/task/24988/stat : 24988 (java) S 24968 24967 29493 34817 29493 4202560 1975 0 0 0 58 1 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24989] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24989/stat : 24989 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=24981/tid=24990] ppid=24968 vsize=880480 CPUtime=0
/proc/24981/task/24990/stat : 24990 (java) S 24968 24967 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76074901 901611520 73556 1283457024 134512640 134550932 4287093088 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 885624

Child status: 0
Real time (s): 5.07675
CPU time (s): 4.53228
CPU user time (s): 4.20426
CPU system time (s): 0.32802
CPU usage (%): 89.2753
Max. virtual memory (cumulated for all children) (KiB): 887000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.20426
system time used= 0.32802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84524
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= 415
involuntary context switches= 398

runsolver used 0 second user time and 0.012 second system time

The end