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/e381ba7e-a192-11e0-8647-00163e1e087d.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//e381ba7e-a192-11e0-8647-00163e1e087d.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/e381ba7e-a192-11e0-8647-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.41 1.23 1.14 6/35 31015
/proc/meminfo: memFree=622232/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) R 31013 31014 17511 34816 17511 4202496 357 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2572 CPUtime=0
/proc/31015/stat : 31015 (p2cudf-user-1.1) R 31014 31014 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 41 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31015/statm: 643 41 0 194 0 30 0

[startup+0.196244 s]
/proc/loadavg: 1.41 1.23 1.14 6/35 31015
/proc/meminfo: memFree=622232/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.206238 s]
/proc/loadavg: 1.41 1.23 1.14 6/35 31015
/proc/meminfo: memFree=622232/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.306258 s]
/proc/loadavg: 1.41 1.23 1.14 6/35 31015
/proc/meminfo: memFree=622232/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+0.706356 s]
/proc/loadavg: 1.41 1.23 1.14 6/35 31015
/proc/meminfo: memFree=622232/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5140

[startup+1.50654 s]
/proc/loadavg: 1.41 1.23 1.14 3/46 31037
/proc/meminfo: memFree=567132/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
[pid=31028] ppid=31015 vsize=901184 CPUtime=1.47
/proc/31028/stat : 31028 (java) S 31015 31014 17511 34816 17511 4202496 26459 0 1 0 141 6 0 0 25 0 10 0 46641023 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31028/statm: 225296 22413 1722 10 0 222387 0
[pid=31028/tid=31029] ppid=31015 vsize=901184 CPUtime=0.8
/proc/31028/task/31029/stat : 31029 (java) R 31015 31014 17511 34816 17511 4202560 10460 0 1 0 78 2 0 0 25 0 10 0 46641024 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4095095838 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31028/tid=31030] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31030/stat : 31030 (java) S 31015 31014 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46641026 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31031] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31031/stat : 31031 (java) S 31015 31014 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46641026 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31032] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31032/stat : 31032 (java) S 31015 31014 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46641026 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31033] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31033/stat : 31033 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31034] ppid=31015 vsize=901184 CPUtime=0.42
/proc/31028/task/31034/stat : 31034 (java) R 31015 31014 17511 34816 17511 4202560 9185 0 0 0 40 2 0 0 25 0 10 0 46641029 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31028/tid=31035] ppid=31015 vsize=901184 CPUtime=0.22
/proc/31028/task/31035/stat : 31035 (java) R 31015 31014 17511 34816 17511 4202560 5735 0 0 0 21 1 0 0 20 0 10 0 46641029 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4149678690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31028/tid=31036] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31036/stat : 31036 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31037] ppid=31015 vsize=901184 CPUtime=0
/proc/31028/task/31037/stat : 31037 (java) S 31015 31014 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46641029 922812416 22413 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 906324

[startup+3.10692 s]
/proc/loadavg: 1.41 1.23 1.14 3/46 31037
/proc/meminfo: memFree=497196/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
[pid=31028] ppid=31015 vsize=898688 CPUtime=3.07
/proc/31028/stat : 31028 (java) S 31015 31014 17511 34816 17511 4202496 66363 0 1 0 283 24 0 0 25 0 10 0 46641023 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31028/statm: 224672 62076 1742 10 0 221763 0
[pid=31028/tid=31029] ppid=31015 vsize=898688 CPUtime=1.7
/proc/31028/task/31029/stat : 31029 (java) R 31015 31014 17511 34816 17511 4202560 50068 0 1 0 150 20 0 0 25 0 10 0 46641024 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4094792993 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31028/tid=31030] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31030/stat : 31030 (java) S 31015 31014 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46641026 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31031] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31031/stat : 31031 (java) S 31015 31014 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46641026 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31032] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31032/stat : 31032 (java) S 31015 31014 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46641026 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31033] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31033/stat : 31033 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31034] ppid=31015 vsize=898688 CPUtime=0.65
/proc/31028/task/31034/stat : 31034 (java) S 31015 31014 17511 34816 17511 4202560 9278 0 0 0 63 2 0 0 21 0 10 0 46641029 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31035] ppid=31015 vsize=898688 CPUtime=0.69
/proc/31028/task/31035/stat : 31035 (java) S 31015 31014 17511 34816 17511 4202560 5938 0 0 0 68 1 0 0 17 0 10 0 46641029 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31036] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31036/stat : 31036 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31037] ppid=31015 vsize=898688 CPUtime=0
/proc/31028/task/31037/stat : 31037 (java) S 31015 31014 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46641029 920256512 62076 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 903828

[startup+6.30577 s]
/proc/loadavg: 1.46 1.25 1.15 3/47 31038
/proc/meminfo: memFree=324464/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
[pid=31028] ppid=31015 vsize=899336 CPUtime=6.05
/proc/31028/stat : 31028 (java) S 31015 31014 17511 34816 17511 4202496 80272 0 1 0 576 29 0 0 25 0 11 0 46641023 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31028/statm: 224834 75985 1778 10 0 221925 0
[pid=31028/tid=31029] ppid=31015 vsize=899336 CPUtime=2.84
/proc/31028/task/31029/stat : 31029 (java) S 31015 31014 17511 34816 17511 4202560 50288 0 1 0 263 21 0 0 25 0 11 0 46641024 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31030] ppid=31015 vsize=899336 CPUtime=0.3
/proc/31028/task/31030/stat : 31030 (java) S 31015 31014 17511 34816 17511 4202560 13487 0 0 0 26 4 0 0 15 0 11 0 46641026 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31031] ppid=31015 vsize=899336 CPUtime=0
/proc/31028/task/31031/stat : 31031 (java) S 31015 31014 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46641026 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31032] ppid=31015 vsize=899336 CPUtime=0
/proc/31028/task/31032/stat : 31032 (java) S 31015 31014 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46641026 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31033] ppid=31015 vsize=899336 CPUtime=0
/proc/31028/task/31033/stat : 31033 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46641029 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31034] ppid=31015 vsize=899336 CPUtime=2.19
/proc/31028/task/31034/stat : 31034 (java) S 31015 31014 17511 34816 17511 4202560 9473 0 0 0 217 2 0 0 16 0 11 0 46641029 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31035] ppid=31015 vsize=899336 CPUtime=0.69
/proc/31028/task/31035/stat : 31035 (java) S 31015 31014 17511 34816 17511 4202560 5938 0 0 0 68 1 0 0 17 0 11 0 46641029 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31036] ppid=31015 vsize=899336 CPUtime=0
/proc/31028/task/31036/stat : 31036 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46641029 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31037] ppid=31015 vsize=899336 CPUtime=0
/proc/31028/task/31037/stat : 31037 (java) S 31015 31014 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46641029 920920064 75985 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 904476

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

[startup+6.70865 s]
/proc/loadavg: 1.46 1.25 1.15 1/47 31039
/proc/meminfo: memFree=325332/1048576 swapFree=0/0
[pid=31014] ppid=31013 vsize=2572 CPUtime=0
/proc/31014/stat : 31014 (p2cudf-user-1.1) S 31013 31014 17511 34816 17511 4202496 376 0 0 0 0 0 0 0 25 0 1 0 46641020 2633728 271 1283457024 134512640 135304128 4289971456 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31014/statm: 643 271 230 194 0 30 0
[pid=31015] ppid=31014 vsize=2568 CPUtime=0.02
/proc/31015/stat : 31015 (p2cudf) S 31014 31014 17511 34816 17511 4202496 391 3018 0 1 0 0 2 0 25 0 1 0 46641020 2629632 280 1283457024 134512640 135304128 4287654656 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31015/statm: 642 280 239 194 0 29 0
[pid=31028] ppid=31015 vsize=897428 CPUtime=6.14
/proc/31028/stat : 31028 (java) S 31015 31014 17511 34816 17511 4202496 80276 0 1 0 584 30 0 0 25 0 10 0 46641023 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31028/statm: 224357 75564 1779 10 0 221448 0
[pid=31028/tid=31029] ppid=31015 vsize=897428 CPUtime=2.84
/proc/31028/task/31029/stat : 31029 (java) S 31015 31014 17511 34816 17511 4202560 50288 0 1 0 263 21 0 0 20 0 10 0 46641024 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31030] ppid=31015 vsize=897428 CPUtime=0.3
/proc/31028/task/31030/stat : 31030 (java) S 31015 31014 17511 34816 17511 4202560 13487 0 0 0 26 4 0 0 16 0 10 0 46641026 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 0 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31031] ppid=31015 vsize=897428 CPUtime=0
/proc/31028/task/31031/stat : 31031 (java) S 31015 31014 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46641026 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31032] ppid=31015 vsize=897428 CPUtime=0
/proc/31028/task/31032/stat : 31032 (java) S 31015 31014 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46641026 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31033] ppid=31015 vsize=897428 CPUtime=0
/proc/31028/task/31033/stat : 31033 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31034] ppid=31015 vsize=897428 CPUtime=2.2
/proc/31028/task/31034/stat : 31034 (java) S 31015 31014 17511 34816 17511 4202560 9476 0 0 0 218 2 0 0 15 0 10 0 46641029 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31035] ppid=31015 vsize=897428 CPUtime=0.69
/proc/31028/task/31035/stat : 31035 (java) S 31015 31014 17511 34816 17511 4202560 5938 0 0 0 68 1 0 0 17 0 10 0 46641029 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31036] ppid=31015 vsize=897428 CPUtime=0
/proc/31028/task/31036/stat : 31036 (java) S 31015 31014 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46641029 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
[pid=31028/tid=31037] ppid=31015 vsize=897428 CPUtime=0
/proc/31028/task/31037/stat : 31037 (java) S 31015 31014 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46641029 918966272 75564 1283457024 134512640 134550932 4291067088 18446744073709551615 4294960130 0 4 0 16800975 18446612133392889664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 902568

Child status: 0
Real time (s): 6.72729
CPU time (s): 6.19239
CPU user time (s): 5.86037
CPU system time (s): 0.33202
CPU usage (%): 92.0488
Max. virtual memory (cumulated for all children) (KiB): 906324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.86037
system time used= 0.33202
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84086
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= 787
involuntary context switches= 781

runsolver used 0 second user time and 0.008 second system time

The end