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/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//cb0e73b0-0ffd-11df-9e59-00163e2c8d72.cudf /home/misc2010/tmp/201012091704/p2cudf-user-1.10/cb0e73b0-0ffd-11df-9e59-00163e2c8d72.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: 0.99 0.99 0.99 4/38 8879
/proc/meminfo: memFree=411632/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2520 CPUtime=0.01
/proc/8879/stat : 8879 (p2cudf) R 8878 8878 25521 34816 2180 4194304 176 0 0 0 0 1 0 0 25 0 1 0 902047982 2580480 108 1283457024 134512640 135304128 4289572032 18446744073709551615 4160313680 0 0 0 0 0 0 0 17 0 0 0 0
/proc/8879/statm: 630 108 89 194 0 16 0

[startup+0.202438 s]
/proc/loadavg: 0.99 0.99 0.99 4/38 8879
/proc/meminfo: memFree=411632/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.312458 s]
/proc/loadavg: 0.99 0.99 0.99 4/38 8879
/proc/meminfo: memFree=411632/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.402473 s]
/proc/loadavg: 0.99 0.99 0.99 4/38 8879
/proc/meminfo: memFree=411632/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.712515 s]
/proc/loadavg: 0.99 0.99 0.99 4/38 8879
/proc/meminfo: memFree=411632/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.51263 s]
/proc/loadavg: 0.99 0.99 0.99 4/49 8901
/proc/meminfo: memFree=356716/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=883776 CPUtime=1.47
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 21092 0 1 0 138 9 0 0 25 0 10 0 902047986 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 220944 18563 1727 10 0 218034 0
[pid=8892/tid=8893] ppid=8879 vsize=883776 CPUtime=0.89
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 11135 0 1 0 86 3 0 0 25 0 10 0 902047987 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4095612513 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902047988 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902047989 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902047989 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902047991 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=883776 CPUtime=0.29
/proc/8892/task/8898/stat : 8898 (java) R 8879 8878 25521 34816 2180 4202560 3277 0 0 0 27 2 0 0 21 0 10 0 902047991 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4149341989 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=883776 CPUtime=0.26
/proc/8892/task/8899/stat : 8899 (java) R 8879 8878 25521 34816 2180 4202560 5563 0 0 0 23 3 0 0 25 0 10 0 902047991 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4150432878 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902047991 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=883776 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902047991 904986624 18563 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 888924

[startup+3.11286 s]
/proc/loadavg: 0.99 0.99 0.99 4/49 8901
/proc/meminfo: memFree=311972/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=919476 CPUtime=3.07
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 40237 0 1 0 294 13 0 0 25 0 10 0 902047986 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229869 30980 1732 10 0 226959 0
[pid=8892/tid=8893] ppid=8879 vsize=919476 CPUtime=1.05
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 14434 0 1 0 102 3 0 0 25 0 10 0 902047987 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 5 0 0 0 0 0 0 0 18 0 10 0 902047988 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 25 0 10 0 902047989 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 10 0 902047989 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 10 0 902047991 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=919476 CPUtime=1.03
/proc/8892/task/8898/stat : 8898 (java) R 8879 8878 25521 34816 2180 4202560 10142 0 0 0 99 4 0 0 24 0 10 0 902047991 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4148369372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=919476 CPUtime=0.96
/proc/8892/task/8899/stat : 8899 (java) R 8879 8878 25521 34816 2180 4202560 14544 0 0 0 91 5 0 0 25 0 10 0 902047991 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4149672239 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 10 0 902047991 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=919476 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 10 0 902047991 941543424 30980 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 924624

[startup+6.3041 s]
/proc/loadavg: 0.99 0.99 0.99 3/49 8901
/proc/meminfo: memFree=142804/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=918060 CPUtime=6.24
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 87412 0 1 0 586 38 0 0 25 0 11 0 902047986 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229515 77472 1785 10 0 226605 0
[pid=8892/tid=8893] ppid=8879 vsize=918060 CPUtime=2.27
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 50441 0 1 0 204 23 0 0 24 0 11 0 902047987 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=918060 CPUtime=0.25
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 10095 0 0 0 22 3 0 0 15 0 11 0 902047988 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=918060 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902047989 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=918060 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902047989 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=918060 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902047991 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=918060 CPUtime=1.82
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10307 0 0 0 178 4 0 0 16 0 11 0 902047991 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=918060 CPUtime=1.86
/proc/8892/task/8899/stat : 8899 (java) R 8879 8878 25521 34816 2180 4202560 15451 0 0 0 180 6 0 0 24 0 11 0 902047991 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4152060459 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=918060 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902047991 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=918060 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902047991 940093440 77472 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 923208

[startup+12.7055 s]
/proc/loadavg: 0.99 0.99 0.99 2/50 8902
/proc/meminfo: memFree=99272/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917168 CPUtime=12.64
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 87494 0 1 0 1226 38 0 0 25 0 11 0 902047986 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229292 77332 1791 10 0 226382 0
[pid=8892/tid=8893] ppid=8879 vsize=917168 CPUtime=8.14
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 50446 0 1 0 791 23 0 0 25 0 11 0 902047987 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4096881680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917168 CPUtime=0.27
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 10095 0 0 0 24 3 0 0 15 0 11 0 902047988 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917168 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917168 CPUtime=2.18
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15483 0 0 0 212 6 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902048558 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 922316

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

[startup+12.9056 s]
/proc/loadavg: 0.99 0.99 0.99 2/50 8902
/proc/meminfo: memFree=99272/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917168 CPUtime=12.84
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 87494 0 1 0 1246 38 0 0 25 0 11 0 902047986 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229292 77332 1791 10 0 226382 0
[pid=8892/tid=8893] ppid=8879 vsize=917168 CPUtime=8.34
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 50446 0 1 0 811 23 0 0 25 0 11 0 902047987 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4096950355 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917168 CPUtime=0.27
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 10095 0 0 0 24 3 0 0 15 0 11 0 902047988 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917168 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917168 CPUtime=2.18
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15483 0 0 0 212 6 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902047991 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902048558 939180032 77332 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 922316

[startup+14.5059 s]
/proc/loadavg: 0.99 0.99 0.99 2/50 8902
/proc/meminfo: memFree=73852/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917168 CPUtime=14.44
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 93884 0 1 0 1402 42 0 0 25 0 11 0 902047986 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229292 83722 1792 10 0 226382 0
[pid=8892/tid=8893] ppid=8879 vsize=917168 CPUtime=9.73
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 50446 0 1 0 950 23 0 0 25 0 11 0 902047987 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4096825450 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917168 CPUtime=0.47
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 16484 0 0 0 40 7 0 0 15 0 11 0 902047988 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917168 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 11 0 902047991 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917168 CPUtime=2.18
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15484 0 0 0 212 6 0 0 16 0 11 0 902047991 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902047991 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902048558 939180032 83722 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 922316

[startup+16.1063 s]
/proc/loadavg: 0.99 0.99 0.99 2/50 8902
/proc/meminfo: memFree=73852/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917168 CPUtime=16.03
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 93887 0 1 0 1561 42 0 0 25 0 11 0 902047986 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229292 83725 1792 10 0 226382 0
[pid=8892/tid=8893] ppid=8879 vsize=917168 CPUtime=11.29
/proc/8892/task/8893/stat : 8893 (java) R 8879 8878 25521 34816 2180 4202560 50446 0 1 0 1106 23 0 0 25 0 11 0 902047987 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4095608721 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917168 CPUtime=0.47
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 16484 0 0 0 40 7 0 0 15 0 11 0 902047988 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 11 0 902047989 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917168 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 11 0 902047991 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917168 CPUtime=2.22
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15487 0 0 0 216 6 0 0 15 0 11 0 902047991 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 11 0 902047991 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 11 0 902047991 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917168 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 11 0 902048558 939180032 83725 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.06
Current children cumulated vsize (KiB) 922316

[startup+16.9074 s]
/proc/loadavg: 0.99 0.99 0.99 1/51 8903
/proc/meminfo: memFree=73844/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917492 CPUtime=16.5
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 93902 0 1 0 1608 42 0 0 25 0 12 0 902047986 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229373 83740 1792 10 0 226463 0
[pid=8892/tid=8893] ppid=8879 vsize=917492 CPUtime=11.71
/proc/8892/task/8893/stat : 8893 (java) S 8879 8878 25521 34816 2180 4202560 50454 0 1 0 1148 23 0 0 25 0 12 0 902047987 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917492 CPUtime=0.47
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 16484 0 0 0 40 7 0 0 15 0 12 0 902047988 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917492 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917492 CPUtime=2.27
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15490 0 0 0 221 6 0 0 16 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902048558 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8903] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8903/stat : 8903 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 25 0 12 0 902049640 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.53
Current children cumulated vsize (KiB) 922640

[startup+17.1082 s]
/proc/loadavg: 0.99 0.99 0.99 1/51 8903
/proc/meminfo: memFree=73844/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917492 CPUtime=16.52
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 93902 0 1 0 1610 42 0 0 25 0 12 0 902047986 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229373 83740 1792 10 0 226463 0
[pid=8892/tid=8893] ppid=8879 vsize=917492 CPUtime=11.71
/proc/8892/task/8893/stat : 8893 (java) S 8879 8878 25521 34816 2180 4202560 50454 0 1 0 1148 23 0 0 25 0 12 0 902047987 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917492 CPUtime=0.47
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 16484 0 0 0 40 7 0 0 15 0 12 0 902047988 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917492 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917492 CPUtime=2.27
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15490 0 0 0 221 6 0 0 15 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902047991 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902048558 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8903] ppid=8879 vsize=917492 CPUtime=0.01
/proc/8892/task/8903/stat : 8903 (java) R 8879 8878 25521 34816 2180 4202560 4 0 0 0 1 0 0 0 20 0 12 0 902049640 939511808 83740 1283457024 134512640 134550932 4293459728 18446744073709551615 4095626119 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.55
Current children cumulated vsize (KiB) 922640

[startup+17.2082 s]
/proc/loadavg: 0.99 0.99 0.99 1/51 8903
/proc/meminfo: memFree=73844/1048576 swapFree=2095372/2097144
[pid=8878] ppid=8877 vsize=2572 CPUtime=0
/proc/8878/stat : 8878 (p2cudf-user-1.1) S 8877 8878 25521 34816 2180 4202496 379 0 0 0 0 0 0 0 18 0 1 0 902047982 2633728 274 1283457024 134512640 135304128 4292405072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8878/statm: 643 274 233 194 0 29 0
[pid=8879] ppid=8878 vsize=2576 CPUtime=0.03
/proc/8879/stat : 8879 (p2cudf) S 8878 8878 25521 34816 2180 4202496 392 2994 0 1 0 1 1 1 25 0 1 0 902047982 2637824 282 1283457024 134512640 135304128 4289572032 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8879/statm: 644 282 241 194 0 30 0
[pid=8892] ppid=8879 vsize=917492 CPUtime=16.62
/proc/8892/stat : 8892 (java) S 8879 8878 25521 34816 2180 4202496 93910 0 1 0 1616 46 0 0 25 0 12 0 902047986 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8892/statm: 229373 83748 1792 10 0 226463 0
[pid=8892/tid=8893] ppid=8879 vsize=917492 CPUtime=11.71
/proc/8892/task/8893/stat : 8893 (java) S 8879 8878 25521 34816 2180 4202560 50454 0 1 0 1148 23 0 0 25 0 12 0 902047987 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8894] ppid=8879 vsize=917492 CPUtime=0.47
/proc/8892/task/8894/stat : 8894 (java) S 8879 8878 25521 34816 2180 4202560 16484 0 0 0 40 7 0 0 15 0 12 0 902047988 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8895] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8895/stat : 8895 (java) S 8879 8878 25521 34816 2180 4202560 9 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8896] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8896/stat : 8896 (java) S 8879 8878 25521 34816 2180 4202560 6 0 0 0 0 0 0 0 18 0 12 0 902047989 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8897] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8897/stat : 8897 (java) S 8879 8878 25521 34816 2180 4202560 1 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8898] ppid=8879 vsize=917492 CPUtime=2.02
/proc/8892/task/8898/stat : 8898 (java) S 8879 8878 25521 34816 2180 4202560 10352 0 0 0 198 4 0 0 15 0 12 0 902047991 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8899] ppid=8879 vsize=917492 CPUtime=2.32
/proc/8892/task/8899/stat : 8899 (java) S 8879 8878 25521 34816 2180 4202560 15496 0 0 0 226 6 0 0 16 0 12 0 902047991 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8900] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8900/stat : 8900 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 25 0 12 0 902047991 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8901] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8901/stat : 8901 (java) S 8879 8878 25521 34816 2180 4202560 2 0 0 0 0 0 0 0 15 0 12 0 902047991 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8902] ppid=8879 vsize=917492 CPUtime=0
/proc/8892/task/8902/stat : 8902 (java) S 8879 8878 25521 34816 2180 4202560 4 0 0 0 0 0 0 0 24 0 12 0 902048558 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=8892/tid=8903] ppid=8879 vsize=917492 CPUtime=0.07
/proc/8892/task/8903/stat : 8903 (java) R 8879 8878 25521 34816 2180 4202560 6 0 0 0 3 4 0 0 20 0 12 0 902049640 939511808 83748 1283457024 134512640 134550932 4293459728 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.65
Current children cumulated vsize (KiB) 922640

Child status: 0
Real time (s): 17.2749
CPU time (s): 16.721
CPU user time (s): 16.205
CPU system time (s): 0.516032
CPU usage (%): 96.7939
Max. virtual memory (cumulated for all children) (KiB): 929176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.205
system time used= 0.516032
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97699
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= 868
involuntary context switches= 1006

runsolver used 0 second user time and 0 second system time

The end