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/ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//ed1cc19e-51b7-11e0-8436-00163e1e087d.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/ed1cc19e-51b7-11e0-8436-00163e1e087d.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.21 1.17 1.13 3/36 31604
/proc/meminfo: memFree=572780/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) R 31602 31603 17511 34816 17511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2572 CPUtime=0
/proc/31604/stat : 31604 (p2cudf-user-1.1) R 31603 31603 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 40 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31604/statm: 643 40 0 194 0 30 0

[startup+0.145399 s]
/proc/loadavg: 1.21 1.17 1.13 3/36 31604
/proc/meminfo: memFree=572780/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205401 s]
/proc/loadavg: 1.21 1.17 1.13 3/36 31604
/proc/meminfo: memFree=572780/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305416 s]
/proc/loadavg: 1.21 1.17 1.13 3/36 31604
/proc/meminfo: memFree=572780/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.707869 s]
/proc/loadavg: 1.21 1.17 1.13 3/36 31604
/proc/meminfo: memFree=572780/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50805 s]
/proc/loadavg: 1.21 1.17 1.13 5/47 31626
/proc/meminfo: memFree=517928/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=885696 CPUtime=1.44
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 19335 0 1 0 141 3 0 0 25 0 10 0 46674069 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221424 16728 1724 10 0 218515 0
[pid=31617/tid=31618] ppid=31604 vsize=885696 CPUtime=0.56
/proc/31617/task/31618/stat : 31618 (java) R 31604 31603 17511 34816 17511 4202560 8017 0 1 0 55 1 0 0 25 0 10 0 46674069 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4095414000 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46674071 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46674071 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46674071 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=885696 CPUtime=0.55
/proc/31617/task/31623/stat : 31623 (java) R 31604 31603 17511 34816 17511 4202560 4600 0 0 0 54 1 0 0 25 0 10 0 46674074 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=885696 CPUtime=0.32
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5639 0 0 0 31 1 0 0 22 0 10 0 46674074 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46674074 906952704 16728 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 890836

[startup+3.11855 s]
/proc/loadavg: 1.21 1.17 1.13 2/47 31626
/proc/meminfo: memFree=394920/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=885696 CPUtime=3.05
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 70052 0 1 0 285 20 0 0 25 0 10 0 46674069 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221424 67445 1742 10 0 218515 0
[pid=31617/tid=31618] ppid=31604 vsize=885696 CPUtime=1.53
/proc/31617/task/31618/stat : 31618 (java) R 31604 31603 17511 34816 17511 4202560 50091 0 1 0 135 18 0 0 25 0 10 0 46674069 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=885696 CPUtime=0.2
/proc/31617/task/31619/stat : 31619 (java) R 31604 31603 17511 34816 17511 4202560 8580 0 0 0 20 0 0 0 15 0 10 0 46674071 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4149121400 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46674071 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46674071 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=885696 CPUtime=0.79
/proc/31617/task/31623/stat : 31623 (java) R 31604 31603 17511 34816 17511 4202560 4637 0 0 0 78 1 0 0 20 0 10 0 46674074 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4151934775 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=885696 CPUtime=0.53
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5671 0 0 0 52 1 0 0 15 0 10 0 46674074 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=885696 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46674074 906952704 67445 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 890836

[startup+6.30925 s]
/proc/loadavg: 1.27 1.18 1.14 2/48 31627
/proc/meminfo: memFree=296952/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=886020 CPUtime=6.24
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 73089 0 1 0 602 22 0 0 25 0 11 0 46674069 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221505 70482 1780 10 0 218596 0
[pid=31617/tid=31618] ppid=31604 vsize=886020 CPUtime=3.35
/proc/31617/task/31618/stat : 31618 (java) R 31604 31603 17511 34816 17511 4202560 50276 0 1 0 316 19 0 0 25 0 11 0 46674069 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4096089560 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=886020 CPUtime=0.26
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 11262 0 0 0 26 0 0 0 16 0 11 0 46674071 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46674071 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46674071 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=886020 CPUtime=1.9
/proc/31617/task/31623/stat : 31623 (java) S 31604 31603 17511 34816 17511 4202560 4767 0 0 0 189 1 0 0 15 0 11 0 46674074 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=886020 CPUtime=0.72
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5704 0 0 0 70 2 0 0 15 0 11 0 46674074 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46674074 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31627] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31627/stat : 31627 (java) S 31604 31603 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46674508 907284480 70482 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 891160

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

[startup+7.39964 s]
/proc/loadavg: 1.27 1.18 1.14 2/48 31627
/proc/meminfo: memFree=296836/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=886020 CPUtime=7.33
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 73121 0 1 0 711 22 0 0 25 0 11 0 46674069 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221505 70514 1783 10 0 218596 0
[pid=31617/tid=31618] ppid=31604 vsize=886020 CPUtime=4.17
/proc/31617/task/31618/stat : 31618 (java) R 31604 31603 17511 34816 17511 4202560 50282 0 1 0 398 19 0 0 25 0 11 0 46674069 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4095911824 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=886020 CPUtime=0.26
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 11262 0 0 0 26 0 0 0 16 0 11 0 46674071 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46674071 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46674071 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=886020 CPUtime=2.17
/proc/31617/task/31623/stat : 31623 (java) S 31604 31603 17511 34816 17511 4202560 4793 0 0 0 216 1 0 0 15 0 11 0 46674074 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=886020 CPUtime=0.72
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5704 0 0 0 70 2 0 0 15 0 11 0 46674074 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46674074 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31627] ppid=31604 vsize=886020 CPUtime=0
/proc/31617/task/31627/stat : 31627 (java) S 31604 31603 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46674508 907284480 70514 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 891160

[startup+8.00584 s]
/proc/loadavg: 1.27 1.18 1.14 1/48 31628
/proc/meminfo: memFree=296712/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=886344 CPUtime=7.77
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 73141 0 1 0 755 22 0 0 25 0 11 0 46674069 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221586 70534 1784 10 0 218677 0
[pid=31617/tid=31618] ppid=31604 vsize=886344 CPUtime=4.57
/proc/31617/task/31618/stat : 31618 (java) S 31604 31603 17511 34816 17511 4202560 50290 0 1 0 438 19 0 0 25 0 11 0 46674069 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=886344 CPUtime=0.26
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 11262 0 0 0 26 0 0 0 15 0 11 0 46674071 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46674071 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46674071 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=886344 CPUtime=2.21
/proc/31617/task/31623/stat : 31623 (java) S 31604 31603 17511 34816 17511 4202560 4799 0 0 0 220 1 0 0 16 0 11 0 46674074 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=886344 CPUtime=0.72
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5704 0 0 0 70 2 0 0 15 0 11 0 46674074 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46674074 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31628] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31628/stat : 31628 (java) S 31604 31603 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46674849 907616256 70534 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 891484

[startup+8.41189 s]
/proc/loadavg: 1.27 1.18 1.14 1/48 31628
/proc/meminfo: memFree=296712/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=886344 CPUtime=7.84
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 73143 0 1 0 759 25 0 0 25 0 11 0 46674069 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221586 70536 1784 10 0 218677 0
[pid=31617/tid=31618] ppid=31604 vsize=886344 CPUtime=4.57
/proc/31617/task/31618/stat : 31618 (java) S 31604 31603 17511 34816 17511 4202560 50290 0 1 0 438 19 0 0 25 0 11 0 46674069 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=886344 CPUtime=0.26
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 11262 0 0 0 26 0 0 0 16 0 11 0 46674071 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46674071 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46674071 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=886344 CPUtime=2.22
/proc/31617/task/31623/stat : 31623 (java) S 31604 31603 17511 34816 17511 4202560 4799 0 0 0 221 1 0 0 15 0 11 0 46674074 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=886344 CPUtime=0.72
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5704 0 0 0 70 2 0 0 15 0 11 0 46674074 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46674074 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46674074 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31628] ppid=31604 vsize=886344 CPUtime=0.05
/proc/31617/task/31628/stat : 31628 (java) R 31604 31603 17511 34816 17511 4202560 7 0 0 0 3 2 0 0 21 0 11 0 46674849 907616256 70536 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 891484

[startup+8.51063 s]
/proc/loadavg: 1.27 1.18 1.14 1/48 31628
/proc/meminfo: memFree=296712/1048576 swapFree=0/0
[pid=31603] ppid=31602 vsize=2572 CPUtime=0
/proc/31603/stat : 31603 (p2cudf-user-1.1) S 31602 31603 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46674065 2633728 270 1283457024 134512640 135304128 4286570944 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31603/statm: 643 270 230 194 0 30 0
[pid=31604] ppid=31603 vsize=2568 CPUtime=0.03
/proc/31604/stat : 31604 (p2cudf) S 31603 31603 17511 34816 17511 4202496 389 3011 0 1 0 1 2 0 25 0 1 0 46674065 2629632 279 1283457024 134512640 135304128 4294648224 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31604/statm: 642 279 239 194 0 29 0
[pid=31617] ppid=31604 vsize=886344 CPUtime=7.93
/proc/31617/stat : 31617 (java) S 31604 31603 17511 34816 17511 4202496 73148 0 1 0 765 28 0 0 25 0 10 0 46674069 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31617/statm: 221586 70541 1784 10 0 218677 0
[pid=31617/tid=31618] ppid=31604 vsize=886344 CPUtime=4.57
/proc/31617/task/31618/stat : 31618 (java) S 31604 31603 17511 34816 17511 4202560 50290 0 1 0 438 19 0 0 19 0 10 0 46674069 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31619] ppid=31604 vsize=886344 CPUtime=0.26
/proc/31617/task/31619/stat : 31619 (java) S 31604 31603 17511 34816 17511 4202560 11262 0 0 0 26 0 0 0 16 0 10 0 46674071 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31620] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31620/stat : 31620 (java) S 31604 31603 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46674071 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31621] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31621/stat : 31621 (java) S 31604 31603 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46674071 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31622] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31622/stat : 31622 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31623] ppid=31604 vsize=886344 CPUtime=2.26
/proc/31617/task/31623/stat : 31623 (java) S 31604 31603 17511 34816 17511 4202560 4804 0 0 0 225 1 0 0 15 0 10 0 46674074 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31624] ppid=31604 vsize=886344 CPUtime=0.72
/proc/31617/task/31624/stat : 31624 (java) S 31604 31603 17511 34816 17511 4202560 5704 0 0 0 70 2 0 0 15 0 10 0 46674074 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31625] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31625/stat : 31625 (java) S 31604 31603 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46674074 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31617/tid=31626] ppid=31604 vsize=886344 CPUtime=0
/proc/31617/task/31626/stat : 31626 (java) S 31604 31603 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46674074 907616256 70541 1283457024 134512640 134550932 4289354544 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 891484

Child status: 0
Real time (s): 8.57483
CPU time (s): 7.9925
CPU user time (s): 7.67648
CPU system time (s): 0.316019
CPU usage (%): 93.2088
Max. virtual memory (cumulated for all children) (KiB): 891484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.67648
system time used= 0.316019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76945
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= 968
involuntary context switches= 978

runsolver used 0 second user time and 0 second system time

The end