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/201108241238/p2cudf-trendy-1.13/rand77.cudf.s.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/incremental/s/rand77.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand77.cudf.s.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.04 1.04 1.00 5/35 17977
/proc/meminfo: memFree=669560/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2572 CPUtime=0
/proc/17976/stat : 17976 (p2cudf) R 17975 17975 1511 34817 1511 4202496 346 0 0 0 0 0 0 0 25 0 1 0 4081010 2633728 272 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/17976/statm: 643 272 231 194 0 30 0
[pid=17977] ppid=17976 vsize=2572 CPUtime=0
/proc/17977/stat : 17977 (p2cudf) R 17976 17975 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4081010 2633728 41 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/17977/statm: 643 41 0 194 0 30 0

[startup+0.145816 s]
/proc/loadavg: 1.04 1.04 1.00 5/35 17977
/proc/meminfo: memFree=669560/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.205762 s]
/proc/loadavg: 1.04 1.04 1.00 5/35 17977
/proc/meminfo: memFree=669560/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.305773 s]
/proc/loadavg: 1.04 1.04 1.00 5/35 17977
/proc/meminfo: memFree=669560/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.705841 s]
/proc/loadavg: 1.04 1.04 1.00 5/35 17977
/proc/meminfo: memFree=669560/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50595 s]
/proc/loadavg: 1.04 1.04 1.00 4/45 17998
/proc/meminfo: memFree=621544/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=883848 CPUtime=1.47
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 19023 0 1 0 137 10 0 0 25 0 10 0 4081014 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220962 16297 1725 10 0 218053 0
[pid=17989/tid=17990] ppid=17976 vsize=883848 CPUtime=0.8
/proc/17989/task/17990/stat : 17990 (java) R 17976 17975 1511 34817 1511 4202560 8750 0 1 0 74 6 0 0 25 0 10 0 4081014 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4149659428 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 17 0 10 0 4081016 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4081016 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4081016 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=883848 CPUtime=0.47
/proc/17989/task/17995/stat : 17995 (java) R 17976 17975 1511 34817 1511 4202560 7246 0 0 0 45 2 0 0 25 0 10 0 4081019 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=883848 CPUtime=0.18
/proc/17989/task/17996/stat : 17996 (java) R 17976 17975 1511 34817 1511 4202560 1947 0 0 0 18 0 0 0 18 0 10 0 4081019 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4148870978 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=883848 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4081019 905060352 16297 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 888992

[startup+3.10622 s]
/proc/loadavg: 1.04 1.04 1.00 3/45 17998
/proc/meminfo: memFree=572688/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882384 CPUtime=3.08
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 36034 0 1 0 292 16 0 0 25 0 10 0 4081014 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220596 30990 1744 10 0 217687 0
[pid=17989/tid=17990] ppid=17976 vsize=882384 CPUtime=1.28
/proc/17989/task/17990/stat : 17990 (java) R 17976 17975 1511 34817 1511 4202560 22942 0 1 0 117 11 0 0 25 0 10 0 4081014 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4095306594 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882384 CPUtime=0.01
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 7 0 0 0 1 0 0 0 15 0 10 0 4081016 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882384 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 4081016 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882384 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 4081016 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882384 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882384 CPUtime=0.65
/proc/17989/task/17995/stat : 17995 (java) R 17976 17975 1511 34817 1511 4202560 7288 0 0 0 63 2 0 0 24 0 10 0 4081019 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4151803409 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882384 CPUtime=1.09
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 4724 0 0 0 109 0 0 0 16 0 10 0 4081019 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882384 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882384 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4081019 903561216 30990 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 887528

[startup+6.30719 s]
/proc/loadavg: 1.20 1.08 1.01 4/46 17999
/proc/meminfo: memFree=523708/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882036 CPUtime=6.27
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 48012 0 1 0 607 20 0 0 25 0 11 0 4081014 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220509 38284 1772 10 0 217600 0
[pid=17989/tid=17990] ppid=17976 vsize=882036 CPUtime=2.49
/proc/17989/task/17990/stat : 17990 (java) R 17976 17975 1511 34817 1511 4202560 30191 0 1 0 234 15 0 0 25 0 11 0 4081014 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4096550636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882036 CPUtime=0.01
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 7 0 0 0 1 0 0 0 15 0 11 0 4081016 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 11 0 4081016 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4081016 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882036 CPUtime=0.95
/proc/17989/task/17995/stat : 17995 (java) S 17976 17975 1511 34817 1511 4202560 7485 0 0 0 92 3 0 0 23 0 11 0 4081019 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882036 CPUtime=2.8
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 9252 0 0 0 280 0 0 0 16 0 11 0 4081019 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4081019 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17999] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17999/stat : 17999 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4081488 903204864 38284 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 887180

[startup+12.7087 s]
/proc/loadavg: 1.26 1.09 1.02 2/46 17999
/proc/meminfo: memFree=499156/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882036 CPUtime=12.66
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 53863 0 1 0 1244 22 0 0 25 0 11 0 4081014 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220509 44135 1782 10 0 217600 0
[pid=17989/tid=17990] ppid=17976 vsize=882036 CPUtime=7.77
/proc/17989/task/17990/stat : 17990 (java) R 17976 17975 1511 34817 1511 4202560 30384 0 1 0 762 15 0 0 25 0 11 0 4081014 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4096587366 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882036 CPUtime=0.52
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 5605 0 0 0 50 2 0 0 16 0 11 0 4081016 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4081016 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4081016 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882036 CPUtime=1.54
/proc/17989/task/17995/stat : 17995 (java) S 17976 17975 1511 34817 1511 4202560 7543 0 0 0 151 3 0 0 16 0 11 0 4081019 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882036 CPUtime=2.8
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 9252 0 0 0 280 0 0 0 16 0 11 0 4081019 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) R 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4081019 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17999] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17999/stat : 17999 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4081488 903204864 44135 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 887180

[startup+25.5047 s]
/proc/loadavg: 1.27 1.10 1.02 2/46 17999
/proc/meminfo: memFree=498288/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882036 CPUtime=25.44
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 54090 0 1 0 2522 22 0 0 25 0 11 0 4081014 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220509 44362 1782 10 0 217600 0
[pid=17989/tid=17990] ppid=17976 vsize=882036 CPUtime=20.07
/proc/17989/task/17990/stat : 17990 (java) R 17976 17975 1511 34817 1511 4202560 30384 0 1 0 1992 15 0 0 25 0 11 0 4081014 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4096547911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882036 CPUtime=1
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 5832 0 0 0 98 2 0 0 15 0 11 0 4081016 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4081016 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4081016 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882036 CPUtime=1.54
/proc/17989/task/17995/stat : 17995 (java) S 17976 17975 1511 34817 1511 4202560 7543 0 0 0 151 3 0 0 16 0 11 0 4081019 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882036 CPUtime=2.8
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 9252 0 0 0 280 0 0 0 16 0 11 0 4081019 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4081019 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17999] ppid=17976 vsize=882036 CPUtime=0
/proc/17989/task/17999/stat : 17999 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4081488 903204864 44362 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 887180

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

[startup+26.3074 s]
/proc/loadavg: 1.27 1.10 1.02 1/46 18000
/proc/meminfo: memFree=498164/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882360 CPUtime=26.04
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 54102 0 1 0 2582 22 0 0 25 0 11 0 4081014 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220590 44374 1783 10 0 217681 0
[pid=17989/tid=17990] ppid=17976 vsize=882360 CPUtime=20.63
/proc/17989/task/17990/stat : 17990 (java) S 17976 17975 1511 34817 1511 4202560 30391 0 1 0 2048 15 0 0 25 0 11 0 4081014 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882360 CPUtime=1.01
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 5832 0 0 0 99 2 0 0 15 0 11 0 4081016 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 4081016 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 4081016 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882360 CPUtime=1.57
/proc/17989/task/17995/stat : 17995 (java) S 17976 17975 1511 34817 1511 4202560 7543 0 0 0 154 3 0 0 15 0 11 0 4081019 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882360 CPUtime=2.8
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 9252 0 0 0 280 0 0 0 16 0 11 0 4081019 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 4081019 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 4081019 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=18000] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/18000/stat : 18000 (java) S 17976 17975 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 4083621 903536640 44374 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.06
Current children cumulated vsize (KiB) 887504

[startup+26.7074 s]
/proc/loadavg: 1.27 1.10 1.02 1/46 18000
/proc/meminfo: memFree=498164/1048576 swapFree=0/0
[pid=17975] ppid=17974 vsize=2568 CPUtime=0
/proc/17975/stat : 17975 (p2cudf-trendy-1) S 17974 17975 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4081010 2629632 270 1283457024 134512640 135304128 4289268928 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17975/statm: 642 270 230 194 0 29 0
[pid=17976] ppid=17975 vsize=2576 CPUtime=0.02
/proc/17976/stat : 17976 (p2cudf) S 17975 17975 1511 34817 1511 4202496 393 3013 0 1 0 0 2 0 25 0 1 0 4081010 2637824 281 1283457024 134512640 135304128 4289639696 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/17976/statm: 644 281 239 194 0 31 0
[pid=17989] ppid=17976 vsize=882360 CPUtime=26.11
/proc/17989/stat : 17989 (java) S 17976 17975 1511 34817 1511 4202496 54104 0 1 0 2587 24 0 0 25 0 10 0 4081014 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17989/statm: 220590 44376 1783 10 0 217681 0
[pid=17989/tid=17990] ppid=17976 vsize=882360 CPUtime=20.63
/proc/17989/task/17990/stat : 17990 (java) S 17976 17975 1511 34817 1511 4202560 30391 0 1 0 2048 15 0 0 20 0 10 0 4081014 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17991] ppid=17976 vsize=882360 CPUtime=1.01
/proc/17989/task/17991/stat : 17991 (java) S 17976 17975 1511 34817 1511 4202560 5832 0 0 0 99 2 0 0 15 0 10 0 4081016 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17992] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17992/stat : 17992 (java) S 17976 17975 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 4081016 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17993] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17993/stat : 17993 (java) S 17976 17975 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 4081016 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17994] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17994/stat : 17994 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17995] ppid=17976 vsize=882360 CPUtime=1.58
/proc/17989/task/17995/stat : 17995 (java) S 17976 17975 1511 34817 1511 4202560 7543 0 0 0 155 3 0 0 16 0 10 0 4081019 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17996] ppid=17976 vsize=882360 CPUtime=2.8
/proc/17989/task/17996/stat : 17996 (java) S 17976 17975 1511 34817 1511 4202560 9252 0 0 0 280 0 0 0 16 0 10 0 4081019 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17997] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17997/stat : 17997 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 4081019 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=17989/tid=17998] ppid=17976 vsize=882360 CPUtime=0
/proc/17989/task/17998/stat : 17998 (java) S 17976 17975 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 4081019 903536640 44376 1283457024 134512640 134550932 4288272992 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.13
Current children cumulated vsize (KiB) 887504

Child status: 0
Real time (s): 26.749
CPU time (s): 26.1576
CPU user time (s): 25.8976
CPU system time (s): 0.260016
CPU usage (%): 97.7891
Max. virtual memory (cumulated for all children) (KiB): 896008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.8976
system time used= 0.260016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57907
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= 992
involuntary context switches= 1193

runsolver used 0 second user time and 0 second system time

The end