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/201012061533/p2cudf-paranoid-1.9/rand7fec8c.cudf.easy.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/easy//rand7fec8c.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand7fec8c.cudf.easy.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.25 1.31 1.23 6/47 25593
/proc/meminfo: memFree=624984/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2576 CPUtime=0
/proc/25592/stat : 25592 (p2cudf) R 25591 25591 2059 34821 2220 4202496 349 0 0 0 0 0 0 0 25 0 1 0 876184965 2637824 275 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25592/statm: 644 275 234 194 0 30 0
[pid=25593] ppid=25592 vsize=2576 CPUtime=0
/proc/25593/stat : 25593 (p2cudf) R 25592 25591 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876184965 2637824 41 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/25593/statm: 644 41 0 194 0 30 0

[startup+0.174321 s]
/proc/loadavg: 1.25 1.31 1.23 6/47 25593
/proc/meminfo: memFree=624984/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.204321 s]
/proc/loadavg: 1.25 1.31 1.23 6/47 25593
/proc/meminfo: memFree=624984/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.304339 s]
/proc/loadavg: 1.25 1.31 1.23 6/47 25593
/proc/meminfo: memFree=624984/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+0.704395 s]
/proc/loadavg: 1.25 1.31 1.23 6/47 25593
/proc/meminfo: memFree=624984/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5152

[startup+1.50456 s]
/proc/loadavg: 1.25 1.31 1.23 4/57 25614
/proc/meminfo: memFree=583672/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
[pid=25605] ppid=25592 vsize=881780 CPUtime=1.45
/proc/25605/stat : 25605 (java) S 25592 25591 2059 34821 2220 4202496 20548 0 1 0 136 9 0 0 25 0 10 0 876184968 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25605/statm: 220445 16940 1729 10 0 217535 0
[pid=25605/tid=25606] ppid=25592 vsize=881780 CPUtime=0.79
/proc/25605/task/25606/stat : 25606 (java) R 25592 25591 2059 34821 2220 4202560 9895 0 1 0 73 6 0 0 25 0 10 0 876184969 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4094948556 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25605/tid=25607] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25607/stat : 25607 (java) S 25592 25591 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876184970 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25608] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25608/stat : 25608 (java) S 25592 25591 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876184971 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25609] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25609/stat : 25609 (java) S 25592 25591 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876184971 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25610] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25610/stat : 25610 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876184973 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25611] ppid=25592 vsize=881780 CPUtime=0.38
/proc/25605/task/25611/stat : 25611 (java) R 25592 25591 2059 34821 2220 4202560 6753 0 0 0 36 2 0 0 23 0 10 0 876184973 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4148705768 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25605/tid=25612] ppid=25592 vsize=881780 CPUtime=0.27
/proc/25605/task/25612/stat : 25612 (java) R 25592 25591 2059 34821 2220 4202560 2787 0 0 0 26 1 0 0 25 0 10 0 876184973 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4149796815 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25605/tid=25613] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25613/stat : 25613 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876184973 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25614] ppid=25592 vsize=881780 CPUtime=0
/proc/25605/task/25614/stat : 25614 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876184973 902942720 16940 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 886932

[startup+3.10444 s]
/proc/loadavg: 1.25 1.31 1.23 4/57 25614
/proc/meminfo: memFree=523568/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
[pid=25605] ppid=25592 vsize=897248 CPUtime=3.01
/proc/25605/stat : 25605 (java) S 25592 25591 2059 34821 2220 4202496 41116 0 1 0 285 16 0 0 25 0 10 0 876184968 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25605/statm: 224312 32685 1732 10 0 221402 0
[pid=25605/tid=25606] ppid=25592 vsize=897248 CPUtime=1.16
/proc/25605/task/25606/stat : 25606 (java) R 25592 25591 2059 34821 2220 4202560 21100 0 1 0 108 8 0 0 25 0 10 0 876184969 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4095646670 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25605/tid=25607] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25607/stat : 25607 (java) S 25592 25591 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 876184970 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25608] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25608/stat : 25608 (java) S 25592 25591 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876184971 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25609] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25609/stat : 25609 (java) S 25592 25591 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876184971 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25610] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25610/stat : 25610 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876184973 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25611] ppid=25592 vsize=897248 CPUtime=0.89
/proc/25605/task/25611/stat : 25611 (java) S 25592 25591 2059 34821 2220 4202560 11917 0 0 0 84 5 0 0 25 0 10 0 876184973 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25612] ppid=25592 vsize=897248 CPUtime=0.94
/proc/25605/task/25612/stat : 25612 (java) S 25592 25591 2059 34821 2220 4202560 6986 0 0 0 92 2 0 0 25 0 10 0 876184973 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25613] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25613/stat : 25613 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876184973 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25614] ppid=25592 vsize=897248 CPUtime=0
/proc/25605/task/25614/stat : 25614 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876184973 918781952 32685 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 902400

[startup+6.30601 s]
/proc/loadavg: 1.31 1.32 1.23 3/58 25616
/proc/meminfo: memFree=399576/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
[pid=25605] ppid=25592 vsize=897896 CPUtime=5.58
/proc/25605/stat : 25605 (java) S 25592 25591 2059 34821 2220 4202496 64958 0 1 0 530 28 0 0 25 0 11 0 876184968 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25605/statm: 224474 56527 1787 10 0 221564 0
[pid=25605/tid=25606] ppid=25592 vsize=897896 CPUtime=1.96
/proc/25605/task/25606/stat : 25606 (java) S 25592 25591 2059 34821 2220 4202560 44492 0 1 0 179 17 0 0 25 0 11 0 876184969 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25607] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25607/stat : 25607 (java) S 25592 25591 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 11 0 876184970 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25608] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25608/stat : 25608 (java) S 25592 25591 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876184971 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25609] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25609/stat : 25609 (java) S 25592 25591 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876184971 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25610] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25610/stat : 25610 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25611] ppid=25592 vsize=897896 CPUtime=1.58
/proc/25605/task/25611/stat : 25611 (java) S 25592 25591 2059 34821 2220 4202560 12013 0 0 0 153 5 0 0 16 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25612] ppid=25592 vsize=897896 CPUtime=1.94
/proc/25605/task/25612/stat : 25612 (java) S 25592 25591 2059 34821 2220 4202560 7138 0 0 0 192 2 0 0 16 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25613] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25613/stat : 25613 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25614] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25614/stat : 25614 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 903048

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

[startup+6.30601 s]
/proc/loadavg: 1.31 1.32 1.23 3/58 25616
/proc/meminfo: memFree=399576/1048576 swapFree=2078744/2097144
[pid=25591] ppid=25590 vsize=2572 CPUtime=0
/proc/25591/stat : 25591 (p2cudf-paranoid) S 25590 25591 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 23 0 1 0 876184964 2633728 273 1283457024 134512640 135304128 4287109808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25591/statm: 643 273 233 194 0 29 0
[pid=25592] ppid=25591 vsize=2580 CPUtime=0.03
/proc/25592/stat : 25592 (p2cudf) S 25591 25591 2059 34821 2220 4202496 393 2998 0 1 0 0 2 1 25 0 1 0 876184965 2641920 283 1283457024 134512640 135304128 4292450256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25592/statm: 645 283 241 194 0 31 0
[pid=25605] ppid=25592 vsize=897896 CPUtime=5.58
/proc/25605/stat : 25605 (java) S 25592 25591 2059 34821 2220 4202496 64958 0 1 0 530 28 0 0 25 0 11 0 876184968 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25605/statm: 224474 56527 1787 10 0 221564 0
[pid=25605/tid=25606] ppid=25592 vsize=897896 CPUtime=1.96
/proc/25605/task/25606/stat : 25606 (java) S 25592 25591 2059 34821 2220 4202560 44492 0 1 0 179 17 0 0 25 0 11 0 876184969 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25607] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25607/stat : 25607 (java) S 25592 25591 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 11 0 876184970 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 0 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25608] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25608/stat : 25608 (java) S 25592 25591 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 876184971 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25609] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25609/stat : 25609 (java) S 25592 25591 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 876184971 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25610] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25610/stat : 25610 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25611] ppid=25592 vsize=897896 CPUtime=1.58
/proc/25605/task/25611/stat : 25611 (java) S 25592 25591 2059 34821 2220 4202560 12013 0 0 0 153 5 0 0 16 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25612] ppid=25592 vsize=897896 CPUtime=1.94
/proc/25605/task/25612/stat : 25612 (java) S 25592 25591 2059 34821 2220 4202560 7138 0 0 0 192 2 0 0 16 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25613] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25613/stat : 25613 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
[pid=25605/tid=25614] ppid=25592 vsize=897896 CPUtime=0
/proc/25605/task/25614/stat : 25614 (java) S 25592 25591 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876184973 919445504 56527 1283457024 134512640 134550932 4290839776 18446744073709551615 4294960130 0 4 0 16800975 18446612133395920000 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 903048

Child status: 0
Real time (s): 6.39909
CPU time (s): 5.69636
CPU user time (s): 5.37634
CPU system time (s): 0.32002
CPU usage (%): 89.0182
Max. virtual memory (cumulated for all children) (KiB): 903520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.37634
system time used= 0.32002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68832
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= 706
involuntary context switches= 727

runsolver used 0.008 second user time and 0 second system time

The end