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/201108251442/p2cudf-paranoid-1.13/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/dudf-real//ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.dudf-real.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.52 1.47 1.34 5/36 27705
/proc/meminfo: memFree=259816/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2568 CPUtime=0
/proc/27704/stat : 27704 (p2cudf) R 27703 27703 4778 34817 4778 4202496 345 0 0 0 0 0 0 0 25 0 1 0 11230933 2629632 270 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27704/statm: 642 270 231 194 0 29 0
[pid=27705] ppid=27704 vsize=2568 CPUtime=0
/proc/27705/stat : 27705 (p2cudf) R 27704 27703 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 11230933 2629632 39 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27705/statm: 642 39 0 194 0 29 0

[startup+0.105832 s]
/proc/loadavg: 1.52 1.47 1.34 5/36 27705
/proc/meminfo: memFree=259816/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205845 s]
/proc/loadavg: 1.52 1.47 1.34 5/36 27705
/proc/meminfo: memFree=259816/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305857 s]
/proc/loadavg: 1.52 1.47 1.34 5/36 27705
/proc/meminfo: memFree=259816/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.706078 s]
/proc/loadavg: 1.52 1.47 1.34 5/36 27705
/proc/meminfo: memFree=259816/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50617 s]
/proc/loadavg: 1.52 1.47 1.34 5/46 27726
/proc/meminfo: memFree=215396/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=882172 CPUtime=1.47
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 21799 0 1 0 139 8 0 0 25 0 10 0 11230936 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220543 18928 1723 10 0 217634 0
[pid=27717/tid=27718] ppid=27704 vsize=882172 CPUtime=0.77
/proc/27717/task/27718/stat : 27718 (java) R 27704 27703 4778 34817 4778 4202560 11055 0 1 0 72 5 0 0 25 0 10 0 11230937 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4095003136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 17 0 10 0 11230938 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 11230939 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11230939 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=882172 CPUtime=0.55
/proc/27717/task/27723/stat : 27723 (java) R 27704 27703 4778 34817 4778 4202560 8109 0 0 0 53 2 0 0 22 0 10 0 11230941 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4151991861 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=882172 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 10 0 11230941 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=882172 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11230941 903344128 18928 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 887312

[startup+3.10661 s]
/proc/loadavg: 1.52 1.47 1.34 2/46 27726
/proc/meminfo: memFree=95860/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=881128 CPUtime=3.07
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 55506 0 1 0 282 25 0 0 25 0 10 0 11230936 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220282 52403 1744 10 0 217373 0
[pid=27717/tid=27718] ppid=27704 vsize=881128 CPUtime=1.54
/proc/27717/task/27718/stat : 27718 (java) R 27704 27703 4778 34817 4778 4202560 44651 0 1 0 132 22 0 0 25 0 10 0 11230937 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4094756547 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 15 0 10 0 11230938 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 11230939 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11230939 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=881128 CPUtime=1.39
/proc/27717/task/27723/stat : 27723 (java) S 27704 27703 4778 34817 4778 4202560 8220 0 0 0 137 2 0 0 16 0 10 0 11230941 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=881128 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 10 0 11230941 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11230941 902275072 52403 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 886268

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

[startup+3.20666 s]
/proc/loadavg: 1.52 1.47 1.34 2/46 27726
/proc/meminfo: memFree=95860/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=881128 CPUtime=3.17
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 56411 0 1 0 291 26 0 0 25 0 10 0 11230936 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220282 53308 1750 10 0 217373 0
[pid=27717/tid=27718] ppid=27704 vsize=881128 CPUtime=1.57
/proc/27717/task/27718/stat : 27718 (java) R 27704 27703 4778 34817 4778 4202560 45543 0 1 0 135 22 0 0 25 0 10 0 11230937 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4159648324 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 15 0 10 0 11230938 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 11230939 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 11230939 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=881128 CPUtime=1.45
/proc/27717/task/27723/stat : 27723 (java) S 27704 27703 4778 34817 4778 4202560 8233 0 0 0 143 2 0 0 15 0 10 0 11230941 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=881128 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 10 0 11230941 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11230941 902275072 53308 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 886268

[startup+4.00694 s]
/proc/loadavg: 1.56 1.47 1.34 2/46 27726
/proc/meminfo: memFree=45268/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=881128 CPUtime=3.96
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 71433 0 1 0 364 32 0 0 25 0 10 0 11230936 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220282 68330 1766 10 0 217373 0
[pid=27717/tid=27718] ppid=27704 vsize=881128 CPUtime=1.89
/proc/27717/task/27718/stat : 27718 (java) R 27704 27703 4778 34817 4778 4202560 50257 0 1 0 163 26 0 0 25 0 10 0 11230937 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4094754179 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=881128 CPUtime=0.24
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 10271 0 0 0 22 2 0 0 16 0 10 0 11230938 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 11230939 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 11230939 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=881128 CPUtime=1.68
/proc/27717/task/27723/stat : 27723 (java) S 27704 27703 4778 34817 4778 4202560 8274 0 0 0 166 2 0 0 16 0 10 0 11230941 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=881128 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 10 0 11230941 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230941 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=881128 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 10 0 11230941 902275072 68330 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 886268

[startup+4.80611 s]
/proc/loadavg: 1.56 1.47 1.34 1/47 27728
/proc/meminfo: memFree=5572/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=881776 CPUtime=4.3
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 71499 0 1 0 398 32 0 0 25 0 11 0 11230936 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220444 68396 1773 10 0 217535 0
[pid=27717/tid=27718] ppid=27704 vsize=881776 CPUtime=2
/proc/27717/task/27718/stat : 27718 (java) S 27704 27703 4778 34817 4778 4202560 50287 0 1 0 174 26 0 0 25 0 11 0 11230937 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=881776 CPUtime=0.24
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 10271 0 0 0 22 2 0 0 16 0 11 0 11230938 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 11230939 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 11230939 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11230941 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=881776 CPUtime=1.91
/proc/27717/task/27723/stat : 27723 (java) S 27704 27703 4778 34817 4778 4202560 8300 0 0 0 189 2 0 0 16 0 11 0 11230941 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=881776 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 11 0 11230941 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11230941 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 11230941 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27728] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27728/stat : 27728 (java) S 27704 27703 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 11 0 11231368 902938624 68396 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 886916

[startup+5.00227 s]
/proc/loadavg: 1.56 1.47 1.34 1/47 27728
/proc/meminfo: memFree=5572/1048576 swapFree=0/0
[pid=27703] ppid=27702 vsize=2568 CPUtime=0
/proc/27703/stat : 27703 (p2cudf-paranoid) S 27702 27703 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 11230932 2629632 271 1283457024 134512640 135304128 4290594240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27703/statm: 642 271 230 194 0 29 0
[pid=27704] ppid=27703 vsize=2572 CPUtime=0.03
/proc/27704/stat : 27704 (p2cudf) S 27703 27703 4778 34817 4778 4202496 388 3015 0 1 0 0 1 2 25 0 1 0 11230933 2633728 279 1283457024 134512640 135304128 4290330000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27704/statm: 643 279 239 194 0 30 0
[pid=27717] ppid=27704 vsize=881776 CPUtime=4.45
/proc/27717/stat : 27717 (java) S 27704 27703 4778 34817 4778 4202496 71508 0 1 0 408 37 0 0 25 0 11 0 11230936 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27717/statm: 220444 68405 1773 10 0 217535 0
[pid=27717/tid=27718] ppid=27704 vsize=881776 CPUtime=2
/proc/27717/task/27718/stat : 27718 (java) S 27704 27703 4778 34817 4778 4202560 50287 0 1 0 174 26 0 0 25 0 11 0 11230937 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27719] ppid=27704 vsize=881776 CPUtime=0.24
/proc/27717/task/27719/stat : 27719 (java) S 27704 27703 4778 34817 4778 4202560 10271 0 0 0 22 2 0 0 16 0 11 0 11230938 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27720] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27720/stat : 27720 (java) S 27704 27703 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 11230939 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27721] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27721/stat : 27721 (java) S 27704 27703 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 11230939 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27722] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27722/stat : 27722 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11230941 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27723] ppid=27704 vsize=881776 CPUtime=1.96
/proc/27717/task/27723/stat : 27723 (java) R 27704 27703 4778 34817 4778 4202560 8307 0 0 0 194 2 0 0 16 0 11 0 11230941 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4148189173 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27717/tid=27724] ppid=27704 vsize=881776 CPUtime=0.12
/proc/27717/task/27724/stat : 27724 (java) S 27704 27703 4778 34817 4778 4202560 1555 0 0 0 12 0 0 0 22 0 11 0 11230941 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27725] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27725/stat : 27725 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 11230941 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27726] ppid=27704 vsize=881776 CPUtime=0
/proc/27717/task/27726/stat : 27726 (java) S 27704 27703 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 15 0 11 0 11230941 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=27717/tid=27728] ppid=27704 vsize=881776 CPUtime=0.08
/proc/27717/task/27728/stat : 27728 (java) R 27704 27703 4778 34817 4778 4202560 7 0 0 0 4 4 0 0 20 0 11 0 11231368 902938624 68405 1283457024 134512640 134550932 4289487712 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 886916

Child status: 0
Real time (s): 5.07973
CPU time (s): 4.54028
CPU user time (s): 4.12026
CPU system time (s): 0.420026
CPU usage (%): 89.3804
Max. virtual memory (cumulated for all children) (KiB): 887312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.12026
system time used= 0.420026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75311
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= 678
involuntary context switches= 659

runsolver used 0 second user time and 0 second system time

The end