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/1143.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//1143.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/1143.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.66 1.20 1.11 5/35 14615
/proc/meminfo: memFree=607492/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2568 CPUtime=0
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 353 0 0 0 0 0 0 0 25 0 1 0 75781573 2629632 272 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/14614/statm: 642 272 231 194 0 29 0
[pid=14615] ppid=14614 vsize=2568 CPUtime=0
/proc/14615/stat : 14615 (p2cudf) R 14614 14613 29493 34817 29493 4202560 93 0 0 0 0 0 0 0 25 0 1 0 75781573 2629632 119 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/14615/statm: 642 119 77 194 0 29 0
[pid=14616] ppid=14615 vsize=2568 CPUtime=0
/proc/14616/stat : 14616 (p2cudf) R 14615 14613 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75781574 2629632 42 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/14616/statm: 642 42 0 194 0 29 0

[startup+0.184642 s]
/proc/loadavg: 1.66 1.20 1.11 5/35 14615
/proc/meminfo: memFree=607492/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.204665 s]
/proc/loadavg: 1.66 1.20 1.11 5/35 14615
/proc/meminfo: memFree=607492/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.304703 s]
/proc/loadavg: 1.66 1.20 1.11 5/35 14615
/proc/meminfo: memFree=607492/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.704801 s]
/proc/loadavg: 1.66 1.20 1.11 5/35 14615
/proc/meminfo: memFree=607492/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50501 s]
/proc/loadavg: 1.66 1.20 1.11 4/45 14636
/proc/meminfo: memFree=551912/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=887636 CPUtime=1.46
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 25881 0 1 0 138 8 0 0 25 0 10 0 75781577 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 221909 21955 1724 10 0 219000 0
[pid=14627/tid=14628] ppid=14614 vsize=887636 CPUtime=0.8
/proc/14627/task/14628/stat : 14628 (java) R 14614 14613 29493 34817 29493 4202560 13247 0 1 0 74 6 0 0 25 0 10 0 75781577 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4095259650 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 75781579 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75781579 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75781579 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=887636 CPUtime=0.49
/proc/14627/task/14633/stat : 14633 (java) R 14614 14613 29493 34817 29493 4202560 9493 0 0 0 47 2 0 0 25 0 10 0 75781582 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=887636 CPUtime=0.16
/proc/14627/task/14634/stat : 14634 (java) R 14614 14613 29493 34817 29493 4202560 2060 0 0 0 16 0 0 0 17 0 10 0 75781582 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4148039482 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=887636 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75781582 908939264 21955 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 892776

[startup+3.10539 s]
/proc/loadavg: 1.77 1.23 1.12 4/45 14636
/proc/meminfo: memFree=515704/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895568 CPUtime=3.06
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 62328 0 1 0 287 19 0 0 25 0 10 0 75781577 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223892 54480 1740 10 0 220983 0
[pid=14627/tid=14628] ppid=14614 vsize=895568 CPUtime=1.42
/proc/14627/task/14628/stat : 14628 (java) R 14614 14613 29493 34817 29493 4202560 43367 0 1 0 128 14 0 0 25 0 10 0 75781577 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4095727744 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 75781579 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75781579 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75781579 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895568 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 10 0 75781582 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895568 CPUtime=1.12
/proc/14627/task/14634/stat : 14634 (java) S 14614 14613 29493 34817 29493 4202560 8368 0 0 0 110 2 0 0 15 0 10 0 75781582 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75781582 917061632 54480 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 900708

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

[startup+3.21118 s]
/proc/loadavg: 1.77 1.23 1.12 4/45 14636
/proc/meminfo: memFree=515704/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895568 CPUtime=3.16
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 63223 0 1 0 297 19 0 0 25 0 10 0 75781577 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223892 55375 1741 10 0 220983 0
[pid=14627/tid=14628] ppid=14614 vsize=895568 CPUtime=1.46
/proc/14627/task/14628/stat : 14628 (java) R 14614 14613 29493 34817 29493 4202560 44237 0 1 0 132 14 0 0 25 0 10 0 75781577 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14629/stat : 14629 (java) R 14614 14613 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 18 0 10 0 75781579 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75781579 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75781579 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895568 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 10 0 75781582 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895568 CPUtime=1.18
/proc/14627/task/14634/stat : 14634 (java) S 14614 14613 29493 34817 29493 4202560 8393 0 0 0 116 2 0 0 15 0 10 0 75781582 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75781582 917061632 55375 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 900708

[startup+4.01561 s]
/proc/loadavg: 1.77 1.23 1.12 2/45 14636
/proc/meminfo: memFree=389472/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895568 CPUtime=3.97
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 85109 0 1 0 370 27 0 0 25 0 10 0 75781577 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223892 77261 1746 10 0 220983 0
[pid=14627/tid=14628] ppid=14614 vsize=895568 CPUtime=1.57
/proc/14627/task/14628/stat : 14628 (java) R 14614 14613 29493 34817 29493 4202560 50153 0 1 0 138 19 0 0 25 0 10 0 75781577 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895568 CPUtime=0.35
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 15913 0 0 0 32 3 0 0 16 0 10 0 75781579 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75781579 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75781579 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895568 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 10 0 75781582 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895568 CPUtime=1.53
/proc/14627/task/14634/stat : 14634 (java) R 14614 14613 29493 34817 29493 4202560 8455 0 0 0 151 2 0 0 16 0 10 0 75781582 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4151671701 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895568 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75781582 917061632 77261 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 900708

[startup+4.80482 s]
/proc/loadavg: 1.77 1.23 1.12 2/45 14636
/proc/meminfo: memFree=304160/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895892 CPUtime=4.52
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 85229 0 1 0 425 27 0 0 25 0 11 0 75781577 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223973 77381 1761 10 0 221064 0
[pid=14627/tid=14628] ppid=14614 vsize=895892 CPUtime=1.82
/proc/14627/task/14628/stat : 14628 (java) S 14614 14613 29493 34817 29493 4202560 50201 0 1 0 163 19 0 0 25 0 11 0 75781577 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895892 CPUtime=0.35
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 15913 0 0 0 32 3 0 0 15 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895892 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895892 CPUtime=1.83
/proc/14627/task/14634/stat : 14634 (java) S 14614 14613 29493 34817 29493 4202560 8523 0 0 0 181 2 0 0 15 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 901032

[startup+5.00484 s]
/proc/loadavg: 1.77 1.23 1.12 2/45 14636
/proc/meminfo: memFree=304160/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895892 CPUtime=4.52
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 85229 0 1 0 425 27 0 0 25 0 11 0 75781577 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223973 77381 1761 10 0 221064 0
[pid=14627/tid=14628] ppid=14614 vsize=895892 CPUtime=1.82
/proc/14627/task/14628/stat : 14628 (java) S 14614 14613 29493 34817 29493 4202560 50201 0 1 0 163 19 0 0 25 0 11 0 75781577 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895892 CPUtime=0.35
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 15913 0 0 0 32 3 0 0 15 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75781579 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895892 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895892 CPUtime=1.83
/proc/14627/task/14634/stat : 14634 (java) S 14614 14613 29493 34817 29493 4202560 8523 0 0 0 181 2 0 0 15 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75781582 917393408 77381 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 901032

[startup+5.10485 s]
/proc/loadavg: 1.77 1.23 1.12 2/45 14636
/proc/meminfo: memFree=304160/1048576 swapFree=0/0
[pid=14613] ppid=14612 vsize=2564 CPUtime=0
/proc/14613/stat : 14613 (p2cudf-paranoid) S 14612 14613 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 75781573 2625536 270 1283457024 134512640 135304128 4287978368 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14613/statm: 641 270 230 194 0 28 0
[pid=14614] ppid=14613 vsize=2576 CPUtime=0.02
/proc/14614/stat : 14614 (p2cudf) S 14613 14613 29493 34817 29493 4202496 395 3012 0 1 0 0 0 2 25 0 1 0 75781573 2637824 282 1283457024 134512640 135304128 4287751008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14614/statm: 644 282 239 194 0 31 0
[pid=14627] ppid=14614 vsize=895892 CPUtime=4.52
/proc/14627/stat : 14627 (java) S 14614 14613 29493 34817 29493 4202496 85231 0 1 0 425 27 0 0 25 0 10 0 75781577 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14627/statm: 223973 77383 1763 10 0 221064 0
[pid=14627/tid=14628] ppid=14614 vsize=895892 CPUtime=1.82
/proc/14627/task/14628/stat : 14628 (java) S 14614 14613 29493 34817 29493 4202560 50201 0 1 0 163 19 0 0 20 0 10 0 75781577 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14629] ppid=14614 vsize=895892 CPUtime=0.35
/proc/14627/task/14629/stat : 14629 (java) S 14614 14613 29493 34817 29493 4202560 15914 0 0 0 32 3 0 0 16 0 10 0 75781579 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14630] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14630/stat : 14630 (java) S 14614 14613 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75781579 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14631] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14631/stat : 14631 (java) S 14614 14613 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75781579 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14632] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14632/stat : 14632 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14633] ppid=14614 vsize=895892 CPUtime=0.5
/proc/14627/task/14633/stat : 14633 (java) S 14614 14613 29493 34817 29493 4202560 9512 0 0 0 48 2 0 0 25 0 10 0 75781582 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14634] ppid=14614 vsize=895892 CPUtime=1.83
/proc/14627/task/14634/stat : 14634 (java) S 14614 14613 29493 34817 29493 4202560 8523 0 0 0 181 2 0 0 15 0 10 0 75781582 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14635] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14635/stat : 14635 (java) S 14614 14613 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75781582 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
[pid=14627/tid=14636] ppid=14614 vsize=895892 CPUtime=0
/proc/14627/task/14636/stat : 14636 (java) S 14614 14613 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75781582 917393408 77383 1283457024 134512640 134550932 4293031680 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 901032

Child status: 0
Real time (s): 5.15801
CPU time (s): 4.58429
CPU user time (s): 4.25227
CPU system time (s): 0.33202
CPU usage (%): 88.877
Max. virtual memory (cumulated for all children) (KiB): 903484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.25227
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89037
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= 430
involuntary context switches= 418

runsolver used 0.012 second user time and 0 second system time

The end