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/201012091704/p2cudf-user-1.10/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/eeee44ce-5407-11df-b11f-00163e7a6f5e.cudf.debian-dudf.result -changed,-notuptodate,-removed,-new 

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.23 1.08 1.01 5/39 10041
/proc/meminfo: memFree=320756/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2572 CPUtime=0
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 355 0 0 0 0 0 0 0 25 0 1 0 902199835 2633728 274 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/10040/statm: 643 274 234 194 0 29 0
[pid=10041] ppid=10040 vsize=2572 CPUtime=0
/proc/10041/stat : 10041 (p2cudf) R 10040 10039 25521 34816 2180 4202560 92 0 0 0 0 0 0 0 25 0 1 0 902199835 2633728 116 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10041/statm: 643 116 75 194 0 29 0
[pid=10042] ppid=10041 vsize=2572 CPUtime=0
/proc/10042/stat : 10042 (p2cudf) R 10041 10039 25521 34816 2180 4202560 0 0 0 0 0 0 0 0 25 0 1 0 902199836 2633728 41 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/10042/statm: 643 41 0 194 0 29 0

[startup+0.184542 s]
/proc/loadavg: 1.23 1.08 1.01 5/39 10041
/proc/meminfo: memFree=320756/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.204542 s]
/proc/loadavg: 1.23 1.08 1.01 5/39 10041
/proc/meminfo: memFree=320756/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.30458 s]
/proc/loadavg: 1.23 1.08 1.01 5/39 10041
/proc/meminfo: memFree=320756/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.704672 s]
/proc/loadavg: 1.23 1.08 1.01 5/39 10041
/proc/meminfo: memFree=320756/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50493 s]
/proc/loadavg: 1.29 1.10 1.02 4/49 10062
/proc/meminfo: memFree=280136/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=872712 CPUtime=1.44
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 16066 0 1 0 137 7 0 0 25 0 10 0 902199840 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 218178 13530 1744 10 0 215268 0
[pid=10053/tid=10054] ppid=10040 vsize=872712 CPUtime=0.65
/proc/10053/task/10054/stat : 10054 (java) R 10040 10039 25521 34816 2180 4202560 8069 0 1 0 62 3 0 0 25 0 10 0 902199841 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4095718313 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) S 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902199842 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902199843 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902199843 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199845 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=872712 CPUtime=0.26
/proc/10053/task/10059/stat : 10059 (java) R 10040 10039 25521 34816 2180 4202560 2620 0 0 0 26 0 0 0 25 0 10 0 902199845 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4152111351 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=872712 CPUtime=0.51
/proc/10053/task/10060/stat : 10060 (java) R 10040 10039 25521 34816 2180 4202560 4264 0 0 0 48 3 0 0 20 0 10 0 902199846 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4147375136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199846 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=872712 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 902199846 893657088 13530 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 877860

[startup+3.10487 s]
/proc/loadavg: 1.29 1.10 1.02 2/49 10062
/proc/meminfo: memFree=190852/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=875404 CPUtime=2.86
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 43544 0 1 0 273 13 0 0 25 0 10 0 902199840 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 218851 40614 1764 10 0 215941 0
[pid=10053/tid=10054] ppid=10040 vsize=875404 CPUtime=1.35
/proc/10053/task/10054/stat : 10054 (java) R 10040 10039 25521 34816 2180 4202560 34495 0 1 0 126 9 0 0 25 0 10 0 902199841 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) R 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902199842 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902199843 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902199843 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199845 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=875404 CPUtime=0.38
/proc/10053/task/10059/stat : 10059 (java) S 10040 10039 25521 34816 2180 4202560 2775 0 0 0 38 0 0 0 25 0 10 0 902199845 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=875404 CPUtime=1.11
/proc/10053/task/10060/stat : 10060 (java) R 10040 10039 25521 34816 2180 4202560 5161 0 0 0 108 3 0 0 16 0 10 0 902199846 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4152634896 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199846 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=875404 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 902199846 896413696 40614 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 880552

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

[startup+3.2049 s]
/proc/loadavg: 1.29 1.10 1.02 2/49 10062
/proc/meminfo: memFree=190852/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=876572 CPUtime=2.96
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 44480 0 1 0 282 14 0 0 25 0 10 0 902199840 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 219143 40906 1764 10 0 216233 0
[pid=10053/tid=10054] ppid=10040 vsize=876572 CPUtime=1.35
/proc/10053/task/10054/stat : 10054 (java) R 10040 10039 25521 34816 2180 4202560 34495 0 1 0 126 9 0 0 25 0 10 0 902199841 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) R 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902199842 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902199843 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902199843 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199845 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=876572 CPUtime=0.38
/proc/10053/task/10059/stat : 10059 (java) S 10040 10039 25521 34816 2180 4202560 2775 0 0 0 38 0 0 0 25 0 10 0 902199845 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=876572 CPUtime=1.21
/proc/10053/task/10060/stat : 10060 (java) R 10040 10039 25521 34816 2180 4202560 6097 0 0 0 117 4 0 0 16 0 10 0 902199846 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4151711717 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902199846 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=876572 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 10 0 902199846 897609728 40906 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 881720

[startup+4.80533 s]
/proc/loadavg: 1.29 1.10 1.02 4/50 10063
/proc/meminfo: memFree=111808/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=873412 CPUtime=4.56
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 56201 0 1 0 434 22 0 0 25 0 11 0 902199840 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 218353 51949 1789 10 0 215443 0
[pid=10053/tid=10054] ppid=10040 vsize=873412 CPUtime=2.2
/proc/10053/task/10054/stat : 10054 (java) R 10040 10039 25521 34816 2180 4202560 46089 0 1 0 203 17 0 0 25 0 11 0 902199841 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4096328904 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) S 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 16 0 11 0 902199842 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 11 0 902199843 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 11 0 902199843 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902199845 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=873412 CPUtime=0.38
/proc/10053/task/10059/stat : 10059 (java) S 10040 10039 25521 34816 2180 4202560 2775 0 0 0 38 0 0 0 25 0 11 0 902199845 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=873412 CPUtime=1.96
/proc/10053/task/10060/stat : 10060 (java) S 10040 10039 25521 34816 2180 4202560 6220 0 0 0 192 4 0 0 15 0 11 0 902199846 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902199846 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 11 0 902199846 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10063] ppid=10040 vsize=873412 CPUtime=0
/proc/10053/task/10063/stat : 10063 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902200240 894373888 51949 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 878560

[startup+5.60483 s]
/proc/loadavg: 1.18 1.08 1.01 1/51 10064
/proc/meminfo: memFree=103616/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=873736 CPUtime=4.93
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 57598 0 1 0 470 23 0 0 25 0 12 0 902199840 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 218434 53346 1789 10 0 215524 0
[pid=10053/tid=10054] ppid=10040 vsize=873736 CPUtime=2.39
/proc/10053/task/10054/stat : 10054 (java) S 10040 10039 25521 34816 2180 4202560 47464 0 1 0 221 18 0 0 25 0 12 0 902199841 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) S 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 15 0 12 0 902199842 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 12 0 902199843 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902199843 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902199845 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=873736 CPUtime=0.38
/proc/10053/task/10059/stat : 10059 (java) S 10040 10039 25521 34816 2180 4202560 2775 0 0 0 38 0 0 0 25 0 12 0 902199845 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=873736 CPUtime=2.14
/proc/10053/task/10060/stat : 10060 (java) S 10040 10039 25521 34816 2180 4202560 6238 0 0 0 210 4 0 0 16 0 12 0 902199846 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902199846 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 902199846 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10063] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10063/stat : 10063 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902200240 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10064] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10064/stat : 10064 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902200353 894705664 53346 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 878884

[startup+5.80689 s]
/proc/loadavg: 1.18 1.08 1.01 1/51 10064
/proc/meminfo: memFree=103616/1048576 swapFree=2095372/2097144
[pid=10039] ppid=10038 vsize=2572 CPUtime=0
/proc/10039/stat : 10039 (p2cudf-user-1.1) S 10038 10039 25521 34816 2180 4202496 376 0 0 0 0 0 0 0 18 0 1 0 902199835 2633728 272 1283457024 134512640 135304128 4291788464 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10039/statm: 643 272 233 194 0 29 0
[pid=10040] ppid=10039 vsize=2576 CPUtime=0.02
/proc/10040/stat : 10040 (p2cudf) S 10039 10039 25521 34816 2180 4202496 392 2989 0 1 0 0 2 0 25 0 1 0 902199835 2637824 282 1283457024 134512640 135304128 4294056208 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/10040/statm: 644 282 241 194 0 30 0
[pid=10053] ppid=10040 vsize=873736 CPUtime=5.05
/proc/10053/stat : 10053 (java) S 10040 10039 25521 34816 2180 4202496 57849 0 1 0 479 26 0 0 25 0 12 0 902199840 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10053/statm: 218434 53597 1789 10 0 215524 0
[pid=10053/tid=10054] ppid=10040 vsize=873736 CPUtime=2.39
/proc/10053/task/10054/stat : 10054 (java) S 10040 10039 25521 34816 2180 4202560 47464 0 1 0 221 18 0 0 25 0 12 0 902199841 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10055] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10055/stat : 10055 (java) S 10040 10039 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 15 0 12 0 902199842 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 0 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10056] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10056/stat : 10056 (java) S 10040 10039 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 12 0 902199843 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10057] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10057/stat : 10057 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902199843 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10058] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10058/stat : 10058 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902199845 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10059] ppid=10040 vsize=873736 CPUtime=0.38
/proc/10053/task/10059/stat : 10059 (java) S 10040 10039 25521 34816 2180 4202560 2775 0 0 0 38 0 0 0 25 0 12 0 902199845 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10060] ppid=10040 vsize=873736 CPUtime=2.18
/proc/10053/task/10060/stat : 10060 (java) S 10040 10039 25521 34816 2180 4202560 6245 0 0 0 214 4 0 0 16 0 12 0 902199846 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10061] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10061/stat : 10061 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902199846 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10062] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10062/stat : 10062 (java) S 10040 10039 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 15 0 12 0 902199846 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10063] ppid=10040 vsize=873736 CPUtime=0
/proc/10053/task/10063/stat : 10063 (java) S 10040 10039 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902200240 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 18446612133359098816 0 0 -1 0 0 0 0
[pid=10053/tid=10064] ppid=10040 vsize=873736 CPUtime=0.08
/proc/10053/task/10064/stat : 10064 (java) R 10040 10039 25521 34816 2180 4202560 248 0 0 0 5 3 0 0 20 0 12 0 902200353 894705664 53597 1283457024 134512640 134550932 4292466208 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 878884

Child status: 0
Real time (s): 5.87602
CPU time (s): 5.11232
CPU user time (s): 4.8243
CPU system time (s): 0.288018
CPU usage (%): 87.003
Max. virtual memory (cumulated for all children) (KiB): 881720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.8243
system time used= 0.288018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61638
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= 744
involuntary context switches= 739

runsolver used 0 second user time and 0.012 second system time

The end