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/590.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//590.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/590.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.81 1.76 1.68 5/35 22505
/proc/meminfo: memFree=300292/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2572 CPUtime=0
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 353 0 0 0 0 0 0 0 25 0 1 0 76304490 2633728 272 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/22504/statm: 643 272 231 194 0 30 0
[pid=22505] ppid=22504 vsize=2572 CPUtime=0
/proc/22505/stat : 22505 (p2cudf) R 22504 22503 29493 34817 29493 4202560 93 0 0 0 0 0 0 0 25 0 1 0 76304490 2633728 119 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/22505/statm: 643 119 77 194 0 30 0
[pid=22506] ppid=22505 vsize=2572 CPUtime=0
/proc/22506/stat : 22506 (p2cudf) R 22505 22503 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76304490 2633728 42 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/22506/statm: 643 42 0 194 0 30 0

[startup+0.157089 s]
/proc/loadavg: 1.81 1.76 1.68 5/35 22505
/proc/meminfo: memFree=300292/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.207091 s]
/proc/loadavg: 1.81 1.76 1.68 5/35 22505
/proc/meminfo: memFree=300292/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.307112 s]
/proc/loadavg: 1.81 1.76 1.68 5/35 22505
/proc/meminfo: memFree=300292/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+0.707227 s]
/proc/loadavg: 1.81 1.76 1.68 5/35 22505
/proc/meminfo: memFree=300292/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5144

[startup+1.50738 s]
/proc/loadavg: 1.81 1.76 1.68 4/45 22526
/proc/meminfo: memFree=257112/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=884928 CPUtime=1.42
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 18025 0 1 0 134 8 0 0 25 0 10 0 76304498 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221232 14327 1724 10 0 218323 0
[pid=22517/tid=22518] ppid=22504 vsize=884928 CPUtime=0.62
/proc/22517/task/22518/stat : 22518 (java) R 22504 22503 29493 34817 29493 4202560 5890 0 1 0 60 2 0 0 25 0 10 0 76304499 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22519/stat : 22519 (java) S 22504 22503 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76304501 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76304501 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76304501 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=884928 CPUtime=0.5
/proc/22517/task/22523/stat : 22523 (java) R 22504 22503 29493 34817 29493 4202560 8064 0 0 0 48 2 0 0 21 0 10 0 76304504 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4149726598 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=884928 CPUtime=0.28
/proc/22517/task/22524/stat : 22524 (java) R 22504 22503 29493 34817 29493 4202560 2990 0 0 0 26 2 0 0 24 0 10 0 76304504 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4149029284 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=884928 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76304504 906166272 14327 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 890072

[startup+3.10767 s]
/proc/loadavg: 1.81 1.76 1.68 3/45 22526
/proc/meminfo: memFree=186060/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=884756 CPUtime=3.02
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 61927 0 1 0 281 21 0 0 25 0 10 0 76304498 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221189 56880 1741 10 0 218280 0
[pid=22517/tid=22518] ppid=22504 vsize=884756 CPUtime=1.56
/proc/22517/task/22518/stat : 22518 (java) R 22504 22503 29493 34817 29493 4202560 48283 0 1 0 142 14 0 0 25 0 10 0 76304499 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4096108871 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22519/stat : 22519 (java) S 22504 22503 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 15 0 10 0 76304501 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76304501 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76304501 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=884756 CPUtime=1.04
/proc/22517/task/22523/stat : 22523 (java) S 22504 22503 29493 34817 29493 4202560 9502 0 0 0 100 4 0 0 18 0 10 0 76304504 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=884756 CPUtime=0.4
/proc/22517/task/22524/stat : 22524 (java) S 22504 22503 29493 34817 29493 4202560 3061 0 0 0 38 2 0 0 23 0 10 0 76304504 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76304504 905990144 56880 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 889900

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

[startup+3.21772 s]
/proc/loadavg: 1.81 1.76 1.68 3/45 22526
/proc/meminfo: memFree=186060/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=884756 CPUtime=3.13
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 66161 0 1 0 291 22 0 0 25 0 10 0 76304498 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221189 61114 1744 10 0 218280 0
[pid=22517/tid=22518] ppid=22504 vsize=884756 CPUtime=1.59
/proc/22517/task/22518/stat : 22518 (java) R 22504 22503 29493 34817 29493 4202560 50159 0 1 0 145 14 0 0 25 0 10 0 76304499 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=884756 CPUtime=0.04
/proc/22517/task/22519/stat : 22519 (java) R 22504 22503 29493 34817 29493 4202560 2364 0 0 0 4 0 0 0 15 0 10 0 76304501 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4149596536 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76304501 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76304501 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=884756 CPUtime=1.08
/proc/22517/task/22523/stat : 22523 (java) S 22504 22503 29493 34817 29493 4202560 9503 0 0 0 104 4 0 0 17 0 10 0 76304504 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=884756 CPUtime=0.4
/proc/22517/task/22524/stat : 22524 (java) S 22504 22503 29493 34817 29493 4202560 3061 0 0 0 38 2 0 0 23 0 10 0 76304504 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=884756 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76304504 905990144 61114 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 889900

[startup+4.00782 s]
/proc/loadavg: 1.75 1.75 1.67 3/45 22526
/proc/meminfo: memFree=40856/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=885568 CPUtime=3.92
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 81265 0 1 0 364 28 0 0 25 0 10 0 76304498 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221392 74836 1746 10 0 218483 0
[pid=22517/tid=22518] ppid=22504 vsize=885568 CPUtime=1.68
/proc/22517/task/22518/stat : 22518 (java) R 22504 22503 29493 34817 29493 4202560 50174 0 1 0 154 14 0 0 25 0 10 0 76304499 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4095410337 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=885568 CPUtime=0.33
/proc/22517/task/22519/stat : 22519 (java) S 22504 22503 29493 34817 29493 4202560 15863 0 0 0 30 3 0 0 16 0 10 0 76304501 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=885568 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 76304501 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=885568 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76304501 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=885568 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=885568 CPUtime=1.47
/proc/22517/task/22523/stat : 22523 (java) S 22504 22503 29493 34817 29493 4202560 11090 0 0 0 141 6 0 0 16 0 10 0 76304504 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=885568 CPUtime=0.4
/proc/22517/task/22524/stat : 22524 (java) S 22504 22503 29493 34817 29493 4202560 3061 0 0 0 38 2 0 0 23 0 10 0 76304504 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=885568 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76304504 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=885568 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 76304504 906821632 74836 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 890712

[startup+4.40129 s]
/proc/loadavg: 1.75 1.75 1.67 1/46 22527
/proc/meminfo: memFree=6500/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=885892 CPUtime=4.21
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 81295 0 1 0 393 28 0 0 25 0 11 0 76304498 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221473 74866 1747 10 0 218564 0
[pid=22517/tid=22518] ppid=22504 vsize=885892 CPUtime=1.81
/proc/22517/task/22518/stat : 22518 (java) S 22504 22503 29493 34817 29493 4202560 50183 0 1 0 166 15 0 0 25 0 11 0 76304499 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=885892 CPUtime=0.33
/proc/22517/task/22519/stat : 22519 (java) S 22504 22503 29493 34817 29493 4202560 15863 0 0 0 30 3 0 0 16 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=885892 CPUtime=1.63
/proc/22517/task/22523/stat : 22523 (java) S 22504 22503 29493 34817 29493 4202560 11107 0 0 0 157 6 0 0 15 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=885892 CPUtime=0.4
/proc/22517/task/22524/stat : 22524 (java) S 22504 22503 29493 34817 29493 4202560 3061 0 0 0 38 2 0 0 23 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22527] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22527/stat : 22527 (java) S 22504 22503 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76304921 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 891036

[startup+4.80536 s]
/proc/loadavg: 1.75 1.75 1.67 1/46 22527
/proc/meminfo: memFree=6500/1048576 swapFree=0/0
[pid=22503] ppid=22502 vsize=2564 CPUtime=0
/proc/22503/stat : 22503 (p2cudf-paranoid) S 22502 22503 29493 34817 29493 4202496 374 0 0 0 0 0 0 0 18 0 1 0 76304490 2625536 270 1283457024 134512640 135304128 4287753040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22503/statm: 641 270 230 194 0 28 0
[pid=22504] ppid=22503 vsize=2580 CPUtime=0.01
/proc/22504/stat : 22504 (p2cudf) S 22503 22503 29493 34817 29493 4202496 395 3013 0 1 0 0 1 0 25 0 1 0 76304490 2641920 282 1283457024 134512640 135304128 4288345072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22504/statm: 645 282 239 194 0 32 0
[pid=22517] ppid=22504 vsize=885892 CPUtime=4.21
/proc/22517/stat : 22517 (java) S 22504 22503 29493 34817 29493 4202496 81295 0 1 0 393 28 0 0 25 0 11 0 76304498 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22517/statm: 221473 74866 1747 10 0 218564 0
[pid=22517/tid=22518] ppid=22504 vsize=885892 CPUtime=1.81
/proc/22517/task/22518/stat : 22518 (java) S 22504 22503 29493 34817 29493 4202560 50183 0 1 0 166 15 0 0 25 0 11 0 76304499 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22519] ppid=22504 vsize=885892 CPUtime=0.33
/proc/22517/task/22519/stat : 22519 (java) S 22504 22503 29493 34817 29493 4202560 15863 0 0 0 30 3 0 0 15 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22520] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22520/stat : 22520 (java) S 22504 22503 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22521] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22521/stat : 22521 (java) S 22504 22503 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76304501 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22522] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22522/stat : 22522 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22523] ppid=22504 vsize=885892 CPUtime=1.63
/proc/22517/task/22523/stat : 22523 (java) S 22504 22503 29493 34817 29493 4202560 11107 0 0 0 157 6 0 0 15 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22524] ppid=22504 vsize=885892 CPUtime=0.4
/proc/22517/task/22524/stat : 22524 (java) S 22504 22503 29493 34817 29493 4202560 3061 0 0 0 38 2 0 0 23 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22525] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22525/stat : 22525 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22526] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22526/stat : 22526 (java) S 22504 22503 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 76304504 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
[pid=22517/tid=22527] ppid=22504 vsize=885892 CPUtime=0
/proc/22517/task/22527/stat : 22527 (java) S 22504 22503 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76304921 907153408 74866 1283457024 134512640 134550932 4289137488 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 891036

Child status: 0
Real time (s): 4.90501
CPU time (s): 4.26827
CPU user time (s): 3.94825
CPU system time (s): 0.32002
CPU usage (%): 87.0185
Max. virtual memory (cumulated for all children) (KiB): 893656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.94825
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= 85104
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= 444
involuntary context switches= 421

runsolver used 0 second user time and 0.008 second system time

The end