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/201103021629/p2cudf-paranoid-1.12/rand469.cudf.heavy.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/heavy//rand469.cudf /home/misc2010/tmp/201103021629/p2cudf-paranoid-1.12/rand469.cudf.heavy.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: 0.85 1.03 0.99 5/40 13985
/proc/meminfo: memFree=327568/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2568 CPUtime=0.01
/proc/13985/stat : 13985 (p2cudf-paranoid) R 13984 13984 1684 34817 1684 4202560 7 0 0 0 1 0 0 0 25 0 1 0 68541708 2629632 43 1283457024 134512640 135304128 4290661904 18446744073709551615 4158743749 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/13985/statm: 642 43 4 194 0 29 0

[startup+0.201727 s]
/proc/loadavg: 0.85 1.03 0.99 5/40 13985
/proc/meminfo: memFree=327568/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.311747 s]
/proc/loadavg: 0.85 1.03 0.99 5/40 13985
/proc/meminfo: memFree=327568/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.411764 s]
/proc/loadavg: 0.85 1.03 0.99 5/40 13985
/proc/meminfo: memFree=327568/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+0.711858 s]
/proc/loadavg: 0.85 1.03 0.99 5/40 13985
/proc/meminfo: memFree=327568/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5144

[startup+1.51208 s]
/proc/loadavg: 0.94 1.05 0.99 3/51 14007
/proc/meminfo: memFree=278676/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=879924 CPUtime=1.47
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 20965 0 1 0 139 8 0 0 25 0 10 0 68541712 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 219981 17482 1724 10 0 217072 0
[pid=13998/tid=13999] ppid=13985 vsize=879924 CPUtime=0.69
/proc/13998/task/13999/stat : 13999 (java) R 13985 13984 1684 34817 1684 4202560 10217 0 1 0 64 5 0 0 24 0 10 0 68541712 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4095308665 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 7 0 0 0 0 0 0 0 17 0 10 0 68541714 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=879924 CPUtime=0.31
/proc/13998/task/14004/stat : 14004 (java) R 13985 13984 1684 34817 1684 4202560 2458 0 0 0 31 0 0 0 25 0 10 0 68541717 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=879924 CPUtime=0.45
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 7212 0 0 0 43 2 0 0 25 0 10 0 68541717 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68541717 901042176 17482 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 885068

[startup+3.11243 s]
/proc/loadavg: 0.94 1.05 0.99 3/51 14007
/proc/meminfo: memFree=133844/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=879924 CPUtime=3.07
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 62155 0 1 0 281 26 0 0 25 0 10 0 68541712 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 219981 57060 1744 10 0 217072 0
[pid=13998/tid=13999] ppid=13985 vsize=879924 CPUtime=1.65
/proc/13998/task/13999/stat : 13999 (java) R 13985 13984 1684 34817 1684 4202560 49685 0 1 0 143 22 0 0 25 0 10 0 68541712 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4095555812 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 7 0 0 0 0 0 0 0 15 0 10 0 68541714 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=879924 CPUtime=0.52
/proc/13998/task/14004/stat : 14004 (java) R 13985 13984 1684 34817 1684 4202560 2548 0 0 0 52 0 0 0 19 0 10 0 68541717 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4147208432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=879924 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 10 0 68541717 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68541717 901042176 57060 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 885068

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

[startup+3.31247 s]
/proc/loadavg: 0.94 1.05 0.99 3/51 14007
/proc/meminfo: memFree=133844/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=879924 CPUtime=3.27
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 68986 0 1 0 300 27 0 0 25 0 10 0 68541712 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 219981 63891 1745 10 0 217072 0
[pid=13998/tid=13999] ppid=13985 vsize=879924 CPUtime=1.68
/proc/13998/task/13999/stat : 13999 (java) R 13985 13984 1684 34817 1684 4202560 50192 0 1 0 146 22 0 0 25 0 10 0 68541712 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=879924 CPUtime=0.15
/proc/13998/task/14000/stat : 14000 (java) R 13985 13984 1684 34817 1684 4202560 6331 0 0 0 14 1 0 0 15 0 10 0 68541714 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4149162360 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 8 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 25 0 10 0 68541714 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=879924 CPUtime=0.53
/proc/13998/task/14004/stat : 14004 (java) S 13985 13984 1684 34817 1684 4202560 2548 0 0 0 53 0 0 0 19 0 10 0 68541717 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=879924 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 10 0 68541717 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 10 0 68541717 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=879924 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 10 0 68541717 901042176 63891 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 885068

[startup+4.10281 s]
/proc/loadavg: 0.94 1.05 0.99 4/51 14007
/proc/meminfo: memFree=59940/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=880248 CPUtime=4.05
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 75101 0 1 0 374 31 0 0 25 0 11 0 68541712 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 220062 70006 1759 10 0 217153 0
[pid=13998/tid=13999] ppid=13985 vsize=880248 CPUtime=1.95
/proc/13998/task/13999/stat : 13999 (java) R 13985 13984 1684 34817 1684 4202560 50253 0 1 0 171 24 0 0 25 0 11 0 68541712 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=880248 CPUtime=0.3
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 12329 0 0 0 26 4 0 0 16 0 11 0 68541714 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=880248 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68541714 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=880248 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68541714 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=880248 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68541717 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=880248 CPUtime=0.91
/proc/13998/task/14004/stat : 14004 (java) S 13985 13984 1684 34817 1684 4202560 2600 0 0 0 91 0 0 0 15 0 11 0 68541717 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=880248 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 11 0 68541717 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=880248 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 11 0 68541717 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=880248 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 11 0 68541717 901373952 70006 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 885392

[startup+4.9055 s]
/proc/loadavg: 0.94 1.05 0.99 3/52 14008
/proc/meminfo: memFree=53360/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=880572 CPUtime=4.49
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 75157 0 1 0 418 31 0 0 25 0 12 0 68541712 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 220143 70062 1770 10 0 217234 0
[pid=13998/tid=13999] ppid=13985 vsize=880572 CPUtime=2.13
/proc/13998/task/13999/stat : 13999 (java) S 13985 13984 1684 34817 1684 4202560 50263 0 1 0 189 24 0 0 25 0 12 0 68541712 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=880572 CPUtime=0.3
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 12329 0 0 0 26 4 0 0 16 0 12 0 68541714 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68541714 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68541714 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68541717 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=880572 CPUtime=1.17
/proc/13998/task/14004/stat : 14004 (java) S 13985 13984 1684 34817 1684 4202560 2639 0 0 0 117 0 0 0 15 0 12 0 68541717 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=880572 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 12 0 68541717 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 12 0 68541717 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 12 0 68541717 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14008] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14008/stat : 14008 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 24 0 12 0 68542102 901705728 70062 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 885716

[startup+5.10819 s]
/proc/loadavg: 0.94 1.05 0.99 3/52 14008
/proc/meminfo: memFree=53360/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=880572 CPUtime=4.54
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 75160 0 1 0 422 32 0 0 25 0 12 0 68541712 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 220143 70065 1771 10 0 217234 0
[pid=13998/tid=13999] ppid=13985 vsize=880572 CPUtime=2.13
/proc/13998/task/13999/stat : 13999 (java) S 13985 13984 1684 34817 1684 4202560 50263 0 1 0 189 24 0 0 25 0 12 0 68541712 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=880572 CPUtime=0.3
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 12329 0 0 0 26 4 0 0 16 0 12 0 68541714 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 12 0 68541714 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 12 0 68541714 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 12 0 68541717 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=880572 CPUtime=1.2
/proc/13998/task/14004/stat : 14004 (java) S 13985 13984 1684 34817 1684 4202560 2642 0 0 0 120 0 0 0 15 0 12 0 68541717 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=880572 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 12 0 68541717 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 12 0 68541717 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 12 0 68541717 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14008] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14008/stat : 14008 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 24 0 12 0 68542102 901705728 70065 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 885716

[startup+5.20152 s]
/proc/loadavg: 0.94 1.05 0.99 3/52 14008
/proc/meminfo: memFree=53360/1048576 swapFree=0/0
[pid=13984] ppid=13983 vsize=2568 CPUtime=0
/proc/13984/stat : 13984 (p2cudf-paranoid) S 13983 13984 1684 34817 1684 4202496 373 0 0 0 0 0 0 0 18 0 1 0 68541708 2629632 269 1283457024 134512640 135304128 4290661904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13984/statm: 642 269 230 194 0 29 0
[pid=13985] ppid=13984 vsize=2576 CPUtime=0.03
/proc/13985/stat : 13985 (p2cudf) S 13984 13984 1684 34817 1684 4202496 391 3016 0 1 1 0 2 0 25 0 1 0 68541708 2637824 281 1283457024 134512640 135304128 4291598080 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/13985/statm: 644 281 239 194 0 31 0
[pid=13998] ppid=13985 vsize=880572 CPUtime=4.6
/proc/13998/stat : 13998 (java) S 13985 13984 1684 34817 1684 4202496 75163 0 1 0 426 34 0 0 25 0 11 0 68541712 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13998/statm: 220143 70068 1773 10 0 217234 0
[pid=13998/tid=13999] ppid=13985 vsize=880572 CPUtime=2.13
/proc/13998/task/13999/stat : 13999 (java) S 13985 13984 1684 34817 1684 4202560 50263 0 1 0 189 24 0 0 19 0 11 0 68541712 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14000] ppid=13985 vsize=880572 CPUtime=0.3
/proc/13998/task/14000/stat : 14000 (java) S 13985 13984 1684 34817 1684 4202560 12329 0 0 0 26 4 0 0 16 0 11 0 68541714 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 0 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14001] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14001/stat : 14001 (java) S 13985 13984 1684 34817 1684 4202560 9 0 0 0 0 0 0 0 18 0 11 0 68541714 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14002] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14002/stat : 14002 (java) S 13985 13984 1684 34817 1684 4202560 6 0 0 0 0 0 0 0 18 0 11 0 68541714 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14003] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14003/stat : 14003 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 25 0 11 0 68541717 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14004] ppid=13985 vsize=880572 CPUtime=1.22
/proc/13998/task/14004/stat : 14004 (java) S 13985 13984 1684 34817 1684 4202560 2643 0 0 0 122 0 0 0 15 0 11 0 68541717 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14005] ppid=13985 vsize=880572 CPUtime=0.88
/proc/13998/task/14005/stat : 14005 (java) S 13985 13984 1684 34817 1684 4202560 8844 0 0 0 86 2 0 0 16 0 11 0 68541717 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14006] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14006/stat : 14006 (java) S 13985 13984 1684 34817 1684 4202560 0 0 0 0 0 0 0 0 25 0 11 0 68541717 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14007] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14007/stat : 14007 (java) S 13985 13984 1684 34817 1684 4202560 1 0 0 0 0 0 0 0 15 0 11 0 68541717 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
[pid=13998/tid=14008] ppid=13985 vsize=880572 CPUtime=0
/proc/13998/task/14008/stat : 14008 (java) S 13985 13984 1684 34817 1684 4202560 4 0 0 0 0 0 0 0 24 0 11 0 68542102 901705728 70068 1283457024 134512640 134550932 4290305120 18446744073709551615 4294960130 0 4 0 16800975 18446612133237747904 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 885716

Child status: 0
Real time (s): 5.24864
CPU time (s): 4.67629
CPU user time (s): 4.29227
CPU system time (s): 0.384024
CPU usage (%): 89.0953
Max. virtual memory (cumulated for all children) (KiB): 887908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.29227
system time used= 0.384024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78968
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= 605
involuntary context switches= 585

runsolver used 0 second user time and 0 second system time

The end