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/201108291842/p2cudf-user-1.13/19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/19890cfe-db9f-11df-9e6c-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed 

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.22 1.08 0.90 5/38 18718
/proc/meminfo: memFree=761444/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2564 CPUtime=0
/proc/18717/stat : 18717 (p2cudf) R 18716 18716 17511 34816 17511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 46021796 2625536 271 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/18717/statm: 641 271 231 194 0 28 0
[pid=18718] ppid=18717 vsize=2564 CPUtime=0
/proc/18718/stat : 18718 (p2cudf) R 18717 18716 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46021797 2625536 40 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/18718/statm: 641 40 0 194 0 28 0

[startup+0.165467 s]
/proc/loadavg: 1.22 1.08 0.90 5/38 18718
/proc/meminfo: memFree=761444/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205464 s]
/proc/loadavg: 1.22 1.08 0.90 5/38 18718
/proc/meminfo: memFree=761444/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305485 s]
/proc/loadavg: 1.22 1.08 0.90 5/38 18718
/proc/meminfo: memFree=761444/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.70558 s]
/proc/loadavg: 1.22 1.08 0.90 5/38 18718
/proc/meminfo: memFree=761444/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50582 s]
/proc/loadavg: 1.44 1.13 0.92 5/48 18739
/proc/meminfo: memFree=726092/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
[pid=18730] ppid=18717 vsize=884612 CPUtime=1.47
/proc/18730/stat : 18730 (java) S 18717 18716 17511 34816 17511 4202496 22643 0 1 0 142 5 0 0 25 0 10 0 46021800 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18730/statm: 221153 19494 1723 10 0 218244 0
[pid=18730/tid=18731] ppid=18717 vsize=884612 CPUtime=0.78
/proc/18730/task/18731/stat : 18731 (java) R 18717 18716 17511 34816 17511 4202560 11294 0 1 0 74 4 0 0 25 0 10 0 46021801 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4094932180 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18732] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18732/stat : 18732 (java) S 18717 18716 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46021802 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18733] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18733/stat : 18733 (java) S 18717 18716 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46021803 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18734] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18734/stat : 18734 (java) S 18717 18716 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46021803 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18735] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18735/stat : 18735 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46021805 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18736] ppid=18717 vsize=884612 CPUtime=0.55
/proc/18730/task/18736/stat : 18736 (java) R 18717 18716 17511 34816 17511 4202560 9838 0 0 0 54 1 0 0 22 0 10 0 46021805 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4151060219 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18737] ppid=18717 vsize=884612 CPUtime=0.12
/proc/18730/task/18737/stat : 18737 (java) S 18717 18716 17511 34816 17511 4202560 432 0 0 0 12 0 0 0 23 0 10 0 46021805 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18738] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18738/stat : 18738 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46021805 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18739] ppid=18717 vsize=884612 CPUtime=0
/proc/18730/task/18739/stat : 18739 (java) S 18717 18716 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46021805 905842688 19494 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 889752

[startup+3.10629 s]
/proc/loadavg: 1.44 1.13 0.92 3/48 18739
/proc/meminfo: memFree=594528/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
[pid=18730] ppid=18717 vsize=882468 CPUtime=3.06
/proc/18730/stat : 18730 (java) S 18717 18716 17511 34816 17511 4202496 56935 0 1 0 291 15 0 0 25 0 10 0 46021800 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18730/statm: 220617 52767 1744 10 0 217708 0
[pid=18730/tid=18731] ppid=18717 vsize=882468 CPUtime=1.54
/proc/18730/task/18731/stat : 18731 (java) R 18717 18716 17511 34816 17511 4202560 44773 0 1 0 140 14 0 0 25 0 10 0 46021801 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18732] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18732/stat : 18732 (java) S 18717 18716 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46021802 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18733] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18733/stat : 18733 (java) S 18717 18716 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46021803 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18734] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18734/stat : 18734 (java) S 18717 18716 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46021803 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18735] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18735/stat : 18735 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46021805 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18736] ppid=18717 vsize=882468 CPUtime=1.4
/proc/18730/task/18736/stat : 18736 (java) R 18717 18716 17511 34816 17511 4202560 10651 0 0 0 139 1 0 0 16 0 10 0 46021805 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4146839616 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18737] ppid=18717 vsize=882468 CPUtime=0.12
/proc/18730/task/18737/stat : 18737 (java) S 18717 18716 17511 34816 17511 4202560 432 0 0 0 12 0 0 0 22 0 10 0 46021805 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18738] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18738/stat : 18738 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46021805 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18739] ppid=18717 vsize=882468 CPUtime=0
/proc/18730/task/18739/stat : 18739 (java) S 18717 18716 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46021805 903647232 52767 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 887608

[startup+6.30585 s]
/proc/loadavg: 1.44 1.13 0.92 4/49 18742
/proc/meminfo: memFree=493072/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
[pid=18730] ppid=18717 vsize=883116 CPUtime=5.92
/proc/18730/stat : 18730 (java) S 18717 18716 17511 34816 17511 4202496 72875 0 1 0 570 22 0 0 25 0 11 0 46021800 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18730/statm: 220779 68707 1785 10 0 217870 0
[pid=18730/tid=18731] ppid=18717 vsize=883116 CPUtime=2.99
/proc/18730/task/18731/stat : 18731 (java) S 18717 18716 17511 34816 17511 4202560 50292 0 1 0 283 16 0 0 25 0 11 0 46021801 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18732] ppid=18717 vsize=883116 CPUtime=0.23
/proc/18730/task/18732/stat : 18732 (java) S 18717 18716 17511 34816 17511 4202560 10271 0 0 0 19 4 0 0 15 0 11 0 46021802 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18733] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18733/stat : 18733 (java) S 18717 18716 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18734] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18734/stat : 18734 (java) S 18717 18716 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18735] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18735/stat : 18735 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18736] ppid=18717 vsize=883116 CPUtime=2.55
/proc/18730/task/18736/stat : 18736 (java) S 18717 18716 17511 34816 17511 4202560 10795 0 0 0 254 1 0 0 16 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18737] ppid=18717 vsize=883116 CPUtime=0.12
/proc/18730/task/18737/stat : 18737 (java) S 18717 18716 17511 34816 17511 4202560 432 0 0 0 12 0 0 0 22 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18738] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18738/stat : 18738 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18739] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18739/stat : 18739 (java) S 18717 18716 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 888256

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

[startup+6.40583 s]
/proc/loadavg: 1.44 1.13 0.92 4/49 18742
/proc/meminfo: memFree=493072/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
[pid=18730] ppid=18717 vsize=883116 CPUtime=5.92
/proc/18730/stat : 18730 (java) S 18717 18716 17511 34816 17511 4202496 72875 0 1 0 570 22 0 0 25 0 11 0 46021800 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18730/statm: 220779 68707 1785 10 0 217870 0
[pid=18730/tid=18731] ppid=18717 vsize=883116 CPUtime=2.99
/proc/18730/task/18731/stat : 18731 (java) S 18717 18716 17511 34816 17511 4202560 50292 0 1 0 283 16 0 0 25 0 11 0 46021801 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18732] ppid=18717 vsize=883116 CPUtime=0.23
/proc/18730/task/18732/stat : 18732 (java) S 18717 18716 17511 34816 17511 4202560 10271 0 0 0 19 4 0 0 15 0 11 0 46021802 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18733] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18733/stat : 18733 (java) S 18717 18716 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18734] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18734/stat : 18734 (java) S 18717 18716 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18735] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18735/stat : 18735 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18736] ppid=18717 vsize=883116 CPUtime=2.55
/proc/18730/task/18736/stat : 18736 (java) S 18717 18716 17511 34816 17511 4202560 10795 0 0 0 254 1 0 0 16 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18737] ppid=18717 vsize=883116 CPUtime=0.12
/proc/18730/task/18737/stat : 18737 (java) S 18717 18716 17511 34816 17511 4202560 432 0 0 0 12 0 0 0 22 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18738] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18738/stat : 18738 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18739] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18739/stat : 18739 (java) S 18717 18716 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46021805 904310784 68707 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 888256

[startup+6.61182 s]
/proc/loadavg: 1.40 1.12 0.92 4/49 18743
/proc/meminfo: memFree=492700/1048576 swapFree=0/0
[pid=18716] ppid=18715 vsize=2572 CPUtime=0
/proc/18716/stat : 18716 (p2cudf-user-1.1) S 18715 18716 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 18 0 1 0 46021796 2633728 271 1283457024 134512640 135304128 4291524224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18716/statm: 643 271 230 194 0 30 0
[pid=18717] ppid=18716 vsize=2568 CPUtime=0.03
/proc/18717/stat : 18717 (p2cudf) S 18716 18716 17511 34816 17511 4202496 391 3017 0 1 0 0 1 2 25 0 1 0 46021796 2629632 280 1283457024 134512640 135304128 4287875888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/18717/statm: 642 280 239 194 0 29 0
[pid=18730] ppid=18717 vsize=883116 CPUtime=6.02
/proc/18730/stat : 18730 (java) S 18717 18716 17511 34816 17511 4202496 72880 0 1 0 580 22 0 0 25 0 11 0 46021800 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/18730/statm: 220779 68712 1785 10 0 217870 0
[pid=18730/tid=18731] ppid=18717 vsize=883116 CPUtime=2.99
/proc/18730/task/18731/stat : 18731 (java) S 18717 18716 17511 34816 17511 4202560 50292 0 1 0 283 16 0 0 25 0 11 0 46021801 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18732] ppid=18717 vsize=883116 CPUtime=0.23
/proc/18730/task/18732/stat : 18732 (java) S 18717 18716 17511 34816 17511 4202560 10271 0 0 0 19 4 0 0 16 0 11 0 46021802 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 0 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18733] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18733/stat : 18733 (java) S 18717 18716 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18734] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18734/stat : 18734 (java) S 18717 18716 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46021803 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18735] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18735/stat : 18735 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18736] ppid=18717 vsize=883116 CPUtime=2.57
/proc/18730/task/18736/stat : 18736 (java) R 18717 18716 17511 34816 17511 4202560 10798 0 0 0 256 1 0 0 16 0 11 0 46021805 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4149555438 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18737] ppid=18717 vsize=883116 CPUtime=0.12
/proc/18730/task/18737/stat : 18737 (java) S 18717 18716 17511 34816 17511 4202560 432 0 0 0 12 0 0 0 22 0 11 0 46021805 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18738] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18738/stat : 18738 (java) S 18717 18716 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46021805 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 18446612132787396672 0 0 -1 0 0 0 0
[pid=18730/tid=18739] ppid=18717 vsize=883116 CPUtime=0
/proc/18730/task/18739/stat : 18739 (java) R 18717 18716 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46021805 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18730/tid=18743] ppid=18717 vsize=883116 CPUtime=0.09
/proc/18730/task/18743/stat : 18743 (java) R 18717 18716 17511 34816 17511 4202560 6 0 0 0 9 0 0 0 20 0 11 0 46022396 904310784 68712 1283457024 134512640 134550932 4288014832 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 888256

Child status: 0
Real time (s): 6.69218
CPU time (s): 6.12438
CPU user time (s): 5.84837
CPU system time (s): 0.276017
CPU usage (%): 91.5155
Max. virtual memory (cumulated for all children) (KiB): 889752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.84837
system time used= 0.276017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76694
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= 853
involuntary context switches= 847

runsolver used 0.012 second user time and 0 second system time

The end