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/201108251442/p2cudf-paranoid-1.13/rand450.cudf.s-e-l-s.log.runsolver ./p2cudf-paranoid-1.13 /home/misc2010/data/2011/incremental/s-e-l-s/rand450.cudf /home/misc2010/tmp/201108251442/p2cudf-paranoid-1.13/rand450.cudf.s-e-l-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.00 1.15 1.13 5/35 14021
/proc/meminfo: memFree=338164/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2564 CPUtime=0
/proc/14020/stat : 14020 (p2cudf) R 14019 14019 4778 34817 4778 4202496 345 0 0 0 0 0 0 0 25 0 1 0 10633322 2625536 270 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/14020/statm: 641 270 231 194 0 28 0
[pid=14021] ppid=14020 vsize=2564 CPUtime=0
/proc/14021/stat : 14021 (p2cudf) R 14020 14019 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 1 0 10633322 2625536 39 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/14021/statm: 641 39 0 194 0 28 0

[startup+0.135898 s]
/proc/loadavg: 1.00 1.15 1.13 5/35 14021
/proc/meminfo: memFree=338164/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.205909 s]
/proc/loadavg: 1.00 1.15 1.13 5/35 14021
/proc/meminfo: memFree=338164/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.305931 s]
/proc/loadavg: 1.00 1.15 1.13 5/35 14021
/proc/meminfo: memFree=338164/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.706078 s]
/proc/loadavg: 1.00 1.15 1.13 5/35 14021
/proc/meminfo: memFree=338164/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50629 s]
/proc/loadavg: 1.00 1.15 1.13 5/45 14042
/proc/meminfo: memFree=280724/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=898408 CPUtime=1.46
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 25087 0 1 0 135 11 0 0 25 0 10 0 10633325 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 224602 21462 1719 10 0 221693 0
[pid=14033/tid=14034] ppid=14020 vsize=898408 CPUtime=0.78
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 10485 0 1 0 72 6 0 0 25 0 10 0 10633326 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4094672716 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 17 0 10 0 10633327 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 25 0 10 0 10633328 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 10 0 10633328 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10633330 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=898408 CPUtime=0.45
/proc/14033/task/14039/stat : 14039 (java) R 14020 14019 4778 34817 4778 4202560 8947 0 0 0 42 3 0 0 25 0 10 0 10633330 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=898408 CPUtime=0.21
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 4576 0 0 0 20 1 0 0 22 0 10 0 10633330 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10633330 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=898408 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10633330 919969792 21462 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 903548

[startup+3.10669 s]
/proc/loadavg: 1.00 1.15 1.13 2/45 14042
/proc/meminfo: memFree=197396/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=896368 CPUtime=3.05
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 79340 0 1 0 279 26 0 0 25 0 10 0 10633325 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 224092 74593 1732 10 0 221183 0
[pid=14033/tid=14034] ppid=14020 vsize=896368 CPUtime=1.64
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50003 0 1 0 148 16 0 0 25 0 10 0 10633326 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4095141011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=896368 CPUtime=0.29
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 13288 0 0 0 25 4 0 0 16 0 10 0 10633327 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=896368 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 10 0 10633328 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=896368 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 10 0 10633328 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=896368 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10633330 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=896368 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 10 0 10633330 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=896368 CPUtime=0.6
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 5991 0 0 0 58 2 0 0 15 0 10 0 10633330 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=896368 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 10633330 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=896368 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 10 0 10633330 917880832 74593 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 901508

[startup+6.30758 s]
/proc/loadavg: 1.08 1.16 1.13 3/46 14043
/proc/meminfo: memFree=6216/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=896752 CPUtime=6.26
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 96332 0 1 0 592 34 0 0 25 0 11 0 10633325 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 224188 89342 1776 10 0 221279 0
[pid=14033/tid=14034] ppid=14020 vsize=896752 CPUtime=3.09
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50276 0 1 0 291 18 0 0 25 0 11 0 10633326 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4095606219 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=896752 CPUtime=0.65
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 27528 0 0 0 59 6 0 0 16 0 11 0 10633327 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=896752 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=896752 CPUtime=1.99
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8466 0 0 0 193 6 0 0 15 0 11 0 10633330 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14043] ppid=14020 vsize=896752 CPUtime=0
/proc/14033/task/14043/stat : 14043 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10633853 918274048 89342 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 901892

[startup+12.7095 s]
/proc/loadavg: 1.07 1.16 1.13 3/46 14043
/proc/meminfo: memFree=7340/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=894736 CPUtime=12.65
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 96406 0 1 0 1231 34 0 0 25 0 11 0 10633325 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223684 88918 1782 10 0 220775 0
[pid=14033/tid=14034] ppid=14020 vsize=894736 CPUtime=9.01
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50279 0 1 0 883 18 0 0 25 0 11 0 10633326 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4095781356 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=894736 CPUtime=0.65
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 27528 0 0 0 59 6 0 0 15 0 11 0 10633327 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=894736 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=894736 CPUtime=2.46
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8537 0 0 0 240 6 0 0 15 0 11 0 10633330 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14043] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14043/stat : 14043 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10633853 916209664 88918 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 899876

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

[startup+19.1113 s]
/proc/loadavg: 1.06 1.16 1.13 3/46 14043
/proc/meminfo: memFree=5760/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=894736 CPUtime=19.04
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 104083 0 1 0 1868 36 0 0 25 0 11 0 10633325 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223684 96595 1787 10 0 220775 0
[pid=14033/tid=14034] ppid=14020 vsize=894736 CPUtime=14.51
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50280 0 1 0 1433 18 0 0 25 0 11 0 10633326 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4095816038 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=894736 CPUtime=1.08
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 35083 0 0 0 100 8 0 0 15 0 11 0 10633327 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=894736 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=894736 CPUtime=2.92
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8658 0 0 0 286 6 0 0 16 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14043] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14043/stat : 14043 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10633853 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 899876

[startup+20.7117 s]
/proc/loadavg: 1.06 1.16 1.13 2/46 14043
/proc/meminfo: memFree=5760/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=894736 CPUtime=20.63
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 104083 0 1 0 2027 36 0 0 25 0 11 0 10633325 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223684 96595 1787 10 0 220775 0
[pid=14033/tid=14034] ppid=14020 vsize=894736 CPUtime=16.09
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50280 0 1 0 1591 18 0 0 25 0 11 0 10633326 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4094824352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=894736 CPUtime=1.08
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 35083 0 0 0 100 8 0 0 15 0 11 0 10633327 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=894736 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=894736 CPUtime=2.94
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8658 0 0 0 288 6 0 0 16 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) R 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14043] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14043/stat : 14043 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10633853 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 899876

[startup+22.312 s]
/proc/loadavg: 1.06 1.16 1.13 3/46 14043
/proc/meminfo: memFree=5760/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=894736 CPUtime=22.23
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 104083 0 1 0 2187 36 0 0 25 0 11 0 10633325 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223684 96595 1787 10 0 220775 0
[pid=14033/tid=14034] ppid=14020 vsize=894736 CPUtime=17.68
/proc/14033/task/14034/stat : 14034 (java) R 14020 14019 4778 34817 4778 4202560 50280 0 1 0 1750 18 0 0 25 0 11 0 10633326 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4095654149 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=894736 CPUtime=1.08
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 35083 0 0 0 100 8 0 0 16 0 11 0 10633327 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=894736 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=894736 CPUtime=2.94
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8658 0 0 0 288 6 0 0 15 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14043] ppid=14020 vsize=894736 CPUtime=0
/proc/14033/task/14043/stat : 14043 (java) S 14020 14019 4778 34817 4778 4202560 4 0 0 0 0 0 0 0 25 0 11 0 10633853 916209664 96595 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.26
Current children cumulated vsize (KiB) 899876

[startup+23.1073 s]
/proc/loadavg: 1.06 1.16 1.13 1/46 14044
/proc/meminfo: memFree=5636/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=895060 CPUtime=22.86
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 104097 0 1 0 2250 36 0 0 25 0 11 0 10633325 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223765 96609 1788 10 0 220856 0
[pid=14033/tid=14034] ppid=14020 vsize=895060 CPUtime=18.28
/proc/14033/task/14034/stat : 14034 (java) S 14020 14019 4778 34817 4778 4202560 50288 0 1 0 1810 18 0 0 25 0 11 0 10633326 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=895060 CPUtime=1.08
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 35083 0 0 0 100 8 0 0 16 0 11 0 10633327 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=895060 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=895060 CPUtime=2.97
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8658 0 0 0 291 6 0 0 16 0 11 0 10633330 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14044] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14044/stat : 14044 (java) S 14020 14019 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 25 0 11 0 10635616 916541440 96609 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.89
Current children cumulated vsize (KiB) 900200

[startup+23.5154 s]
/proc/loadavg: 1.06 1.16 1.13 1/46 14044
/proc/meminfo: memFree=5636/1048576 swapFree=0/0
[pid=14019] ppid=14018 vsize=2572 CPUtime=0
/proc/14019/stat : 14019 (p2cudf-paranoid) S 14018 14019 4778 34817 4778 4202496 375 0 0 0 0 0 0 0 18 0 1 0 10633321 2633728 271 1283457024 134512640 135304128 4291581664 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14019/statm: 643 271 230 194 0 30 0
[pid=14020] ppid=14019 vsize=2568 CPUtime=0.03
/proc/14020/stat : 14020 (p2cudf) S 14019 14019 4778 34817 4778 4202496 388 3015 0 1 0 0 0 3 25 0 1 0 10633322 2629632 279 1283457024 134512640 135304128 4292231056 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/14020/statm: 642 279 239 194 0 29 0
[pid=14033] ppid=14020 vsize=895060 CPUtime=22.92
/proc/14033/stat : 14033 (java) S 14020 14019 4778 34817 4778 4202496 104098 0 1 0 2256 36 0 0 25 0 11 0 10633325 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/14033/statm: 223765 96610 1788 10 0 220856 0
[pid=14033/tid=14034] ppid=14020 vsize=895060 CPUtime=18.28
/proc/14033/task/14034/stat : 14034 (java) S 14020 14019 4778 34817 4778 4202560 50288 0 1 0 1810 18 0 0 25 0 11 0 10633326 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14035] ppid=14020 vsize=895060 CPUtime=1.08
/proc/14033/task/14035/stat : 14035 (java) S 14020 14019 4778 34817 4778 4202560 35083 0 0 0 100 8 0 0 16 0 11 0 10633327 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 0 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14036] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14036/stat : 14036 (java) S 14020 14019 4778 34817 4778 4202560 8 0 0 0 0 0 0 0 18 0 11 0 10633328 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14037] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14037/stat : 14037 (java) S 14020 14019 4778 34817 4778 4202560 6 0 0 0 0 0 0 0 18 0 11 0 10633328 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14038] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14038/stat : 14038 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14039] ppid=14020 vsize=895060 CPUtime=0.51
/proc/14033/task/14039/stat : 14039 (java) S 14020 14019 4778 34817 4778 4202560 8983 0 0 0 48 3 0 0 25 0 11 0 10633330 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14040] ppid=14020 vsize=895060 CPUtime=2.97
/proc/14033/task/14040/stat : 14040 (java) S 14020 14019 4778 34817 4778 4202560 8658 0 0 0 291 6 0 0 16 0 11 0 10633330 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14041] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14041/stat : 14041 (java) S 14020 14019 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 11 0 10633330 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14042] ppid=14020 vsize=895060 CPUtime=0
/proc/14033/task/14042/stat : 14042 (java) S 14020 14019 4778 34817 4778 4202560 2 0 0 0 0 0 0 0 15 0 11 0 10633330 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4294960130 0 4 0 16800975 18446612133155119552 0 0 -1 0 0 0 0
[pid=14033/tid=14044] ppid=14020 vsize=895060 CPUtime=0.06
/proc/14033/task/14044/stat : 14044 (java) R 14020 14019 4778 34817 4778 4202560 6 0 0 0 6 0 0 0 20 0 11 0 10635616 916541440 96610 1283457024 134512640 134550932 4289043232 18446744073709551615 4094677968 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (KiB) 900200

Child status: 0
Real time (s): 23.5855
CPU time (s): 23.0214
CPU user time (s): 22.5814
CPU system time (s): 0.440027
CPU usage (%): 97.6085
Max. virtual memory (cumulated for all children) (KiB): 905956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5814
system time used= 0.440027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107903
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= 1235
involuntary context switches= 1398

runsolver used 0 second user time and 0 second system time

The end