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/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debian.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/debian//26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.debian.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.00 1.08 0.91 5/39 11271
/proc/meminfo: memFree=649764/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2568 CPUtime=0
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 353 0 0 0 0 0 0 0 18 0 1 0 74794573 2629632 272 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/11269/statm: 642 272 231 194 0 29 0
[pid=11270] ppid=11269 vsize=2568 CPUtime=0
/proc/11270/stat : 11270 (p2cudf) R 11269 11268 29493 34817 29493 4202560 93 0 0 0 0 0 0 0 25 0 1 0 74794573 2629632 119 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/11270/statm: 642 119 77 194 0 29 0
[pid=11271] ppid=11270 vsize=2568 CPUtime=0
/proc/11271/stat : 11271 (p2cudf) R 11270 11268 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 74794573 2629632 42 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/11271/statm: 642 42 0 194 0 29 0

[startup+0.116108 s]
/proc/loadavg: 1.00 1.08 0.91 5/39 11271
/proc/meminfo: memFree=649764/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.206111 s]
/proc/loadavg: 1.00 1.08 0.91 5/39 11271
/proc/meminfo: memFree=649764/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.306127 s]
/proc/loadavg: 1.00 1.08 0.91 5/39 11271
/proc/meminfo: memFree=649764/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.706228 s]
/proc/loadavg: 1.00 1.08 0.91 5/39 11271
/proc/meminfo: memFree=649764/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.5064 s]
/proc/loadavg: 1.16 1.11 0.92 4/48 11291
/proc/meminfo: memFree=599656/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=881984 CPUtime=1.46
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 21695 0 1 0 136 10 0 0 25 0 10 0 74794577 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 220496 18687 1720 10 0 217587 0
[pid=11282/tid=11283] ppid=11269 vsize=881984 CPUtime=0.74
/proc/11282/task/11283/stat : 11283 (java) R 11269 11268 29493 34817 29493 4202560 11368 0 1 0 68 6 0 0 25 0 10 0 74794577 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4094819347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 17 0 10 0 74794579 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 74794579 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 74794579 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=881984 CPUtime=0.45
/proc/11282/task/11288/stat : 11288 (java) R 11269 11268 29493 34817 29493 4202560 7286 0 0 0 41 4 0 0 25 0 10 0 74794582 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=881984 CPUtime=0.26
/proc/11282/task/11289/stat : 11289 (java) S 11269 11268 29493 34817 29493 4202560 1961 0 0 0 26 0 0 0 22 0 10 0 74794582 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=881984 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) S 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74794582 903151616 18687 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 887124

[startup+3.11677 s]
/proc/loadavg: 1.16 1.11 0.92 2/48 11291
/proc/meminfo: memFree=485576/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=878652 CPUtime=3.07
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 73288 0 1 0 272 35 0 0 25 0 10 0 74794577 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219663 69912 1743 10 0 216754 0
[pid=11282/tid=11283] ppid=11269 vsize=878652 CPUtime=1.6
/proc/11282/task/11283/stat : 11283 (java) R 11269 11268 29493 34817 29493 4202560 50068 0 1 0 136 24 0 0 25 0 10 0 74794577 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=878652 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 10 0 74794579 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74794579 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74794579 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=878652 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 10 0 74794582 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=878652 CPUtime=0.66
/proc/11282/task/11289/stat : 11289 (java) R 11269 11268 29493 34817 29493 4202560 2021 0 0 0 66 0 0 0 15 0 10 0 74794582 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4148545697 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) R 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74794582 899739648 69912 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 883792

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

[startup+3.20679 s]
/proc/loadavg: 1.16 1.11 0.92 2/48 11291
/proc/meminfo: memFree=485576/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=878652 CPUtime=3.16
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 73302 0 1 0 281 35 0 0 25 0 10 0 74794577 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219663 69926 1743 10 0 216754 0
[pid=11282/tid=11283] ppid=11269 vsize=878652 CPUtime=1.6
/proc/11282/task/11283/stat : 11283 (java) R 11269 11268 29493 34817 29493 4202560 50068 0 1 0 136 24 0 0 25 0 10 0 74794577 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=878652 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 10 0 74794579 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 10 0 74794579 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 74794579 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=878652 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 10 0 74794582 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=878652 CPUtime=0.74
/proc/11282/task/11289/stat : 11289 (java) R 11269 11268 29493 34817 29493 4202560 2035 0 0 0 74 0 0 0 16 0 10 0 74794582 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4151328202 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 74794582 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=878652 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) S 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 74794582 899739648 69926 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 883792

[startup+4.80738 s]
/proc/loadavg: 1.16 1.11 0.92 2/48 11291
/proc/meminfo: memFree=374720/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=878976 CPUtime=4.76
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 75229 0 1 0 441 35 0 0 25 0 11 0 74794577 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219744 70291 1774 10 0 216835 0
[pid=11282/tid=11283] ppid=11269 vsize=878976 CPUtime=2.24
/proc/11282/task/11283/stat : 11283 (java) R 11269 11268 29493 34817 29493 4202560 50257 0 1 0 200 24 0 0 25 0 11 0 74794577 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=878976 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 11 0 74794579 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=878976 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74794579 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=878976 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74794579 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=878976 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74794582 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=878976 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 11 0 74794582 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=878976 CPUtime=1.7
/proc/11282/task/11289/stat : 11289 (java) S 11269 11268 29493 34817 29493 4202560 3769 0 0 0 170 0 0 0 15 0 11 0 74794582 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=878976 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74794582 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=878976 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) S 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74794582 900071424 70291 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 884116

[startup+5.20606 s]
/proc/loadavg: 1.16 1.11 0.92 2/48 11291
/proc/meminfo: memFree=374720/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=879300 CPUtime=4.92
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 75261 0 1 0 457 35 0 0 25 0 12 0 74794577 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219825 70323 1778 10 0 216916 0
[pid=11282/tid=11283] ppid=11269 vsize=879300 CPUtime=2.27
/proc/11282/task/11283/stat : 11283 (java) S 11269 11268 29493 34817 29493 4202560 50266 0 1 0 203 24 0 0 25 0 12 0 74794577 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=879300 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 12 0 74794579 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74794579 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74794579 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74794582 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=879300 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 12 0 74794582 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=879300 CPUtime=1.83
/proc/11282/task/11289/stat : 11289 (java) S 11269 11268 29493 34817 29493 4202560 3787 0 0 0 183 0 0 0 15 0 12 0 74794582 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74794582 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) S 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74794582 900403200 70323 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 884440

[startup+5.60802 s]
/proc/loadavg: 1.16 1.11 0.92 2/50 11293
/proc/meminfo: memFree=374580/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=879300 CPUtime=5.05
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 75268 0 1 0 466 39 0 0 25 0 12 0 74794577 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219825 70330 1778 10 0 216916 0
[pid=11282/tid=11283] ppid=11269 vsize=879300 CPUtime=2.27
/proc/11282/task/11283/stat : 11283 (java) S 11269 11268 29493 34817 29493 4202560 50266 0 1 0 203 24 0 0 25 0 12 0 74794577 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=879300 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 12 0 74794579 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 12 0 74794579 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 74794579 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74794582 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=879300 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 12 0 74794582 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=879300 CPUtime=1.87
/proc/11282/task/11289/stat : 11289 (java) S 11269 11268 29493 34817 29493 4202560 3792 0 0 0 187 0 0 0 16 0 12 0 74794582 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 74794582 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) S 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 74794582 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11292] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11292/stat : 11292 (java) S 11269 11268 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 74795023 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11293] ppid=11269 vsize=879300 CPUtime=0.08
/proc/11282/task/11293/stat : 11293 (java) R 11269 11268 29493 34817 29493 4202560 7 0 0 0 4 4 0 0 20 0 12 0 74795070 900403200 70330 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 884440

[startup+5.70205 s]
/proc/loadavg: 1.16 1.11 0.92 2/50 11293
/proc/meminfo: memFree=374580/1048576 swapFree=0/0
[pid=11268] ppid=11267 vsize=2564 CPUtime=0
/proc/11268/stat : 11268 (p2cudf-paranoid) S 11267 11268 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 74794573 2625536 270 1283457024 134512640 135304128 4288588752 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11268/statm: 641 270 230 194 0 28 0
[pid=11269] ppid=11268 vsize=2576 CPUtime=0.03
/proc/11269/stat : 11269 (p2cudf) S 11268 11268 29493 34817 29493 4202496 395 3011 0 1 1 0 2 0 25 0 1 0 74794573 2637824 282 1283457024 134512640 135304128 4289651952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11269/statm: 644 282 239 194 0 31 0
[pid=11282] ppid=11269 vsize=879300 CPUtime=5.13
/proc/11282/stat : 11282 (java) S 11269 11268 29493 34817 29493 4202496 75273 0 1 0 471 42 0 0 25 0 11 0 74794577 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11282/statm: 219825 70335 1779 10 0 216916 0
[pid=11282/tid=11283] ppid=11269 vsize=879300 CPUtime=2.27
/proc/11282/task/11283/stat : 11283 (java) S 11269 11268 29493 34817 29493 4202560 50266 0 1 0 203 24 0 0 18 0 11 0 74794577 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11284] ppid=11269 vsize=879300 CPUtime=0.29
/proc/11282/task/11284/stat : 11284 (java) S 11269 11268 29493 34817 29493 4202560 12809 0 0 0 23 6 0 0 16 0 11 0 74794579 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 0 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11285] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11285/stat : 11285 (java) S 11269 11268 29493 34817 29493 4202560 9 0 0 0 0 0 0 0 18 0 11 0 74794579 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11286] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11286/stat : 11286 (java) S 11269 11268 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 74794579 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11287] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11287/stat : 11287 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74794582 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11288] ppid=11269 vsize=879300 CPUtime=0.51
/proc/11282/task/11288/stat : 11288 (java) S 11269 11268 29493 34817 29493 4202560 7313 0 0 0 47 4 0 0 25 0 11 0 74794582 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11289] ppid=11269 vsize=879300 CPUtime=1.89
/proc/11282/task/11289/stat : 11289 (java) S 11269 11268 29493 34817 29493 4202560 3796 0 0 0 189 0 0 0 15 0 11 0 74794582 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11290] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11290/stat : 11290 (java) S 11269 11268 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 74794582 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
[pid=11282/tid=11291] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11291/stat : 11291 (java) R 11269 11268 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 74794582 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11282/tid=11292] ppid=11269 vsize=879300 CPUtime=0
/proc/11282/task/11292/stat : 11292 (java) S 11269 11268 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 74795023 900403200 70335 1283457024 134512640 134550932 4291167488 18446744073709551615 4294960130 0 4 0 16800975 18446612132910121920 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 884440

Child status: 0
Real time (s): 5.7365
CPU time (s): 5.20432
CPU user time (s): 4.7483
CPU system time (s): 0.456028
CPU usage (%): 90.723
Max. virtual memory (cumulated for all children) (KiB): 887124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.7483
system time used= 0.456028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79074
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= 789
involuntary context switches= 767

runsolver used 0 second user time and 0 second system time

The end