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/201012061533/p2cudf-paranoid-1.9/rand878003.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/impossible//rand878003.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand878003.cudf.impossible.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.30 1.31 1.23 6/47 25838
/proc/meminfo: memFree=676332/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2572 CPUtime=0
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 355 0 0 0 0 0 0 0 25 0 1 0 876187586 2633728 274 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/25837/statm: 643 274 234 194 0 29 0
[pid=25838] ppid=25837 vsize=2572 CPUtime=0
/proc/25838/stat : 25838 (p2cudf) R 25837 25836 2059 34821 2220 4202560 92 0 0 0 0 0 0 0 25 0 1 0 876187586 2633728 117 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/25838/statm: 643 117 75 194 0 29 0
[pid=25839] ppid=25838 vsize=2572 CPUtime=0
/proc/25839/stat : 25839 (p2cudf) R 25838 25836 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876187587 2633728 42 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/25839/statm: 643 42 0 194 0 29 0

[startup+0.124126 s]
/proc/loadavg: 1.30 1.31 1.23 6/47 25838
/proc/meminfo: memFree=676332/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.204153 s]
/proc/loadavg: 1.30 1.31 1.23 6/47 25838
/proc/meminfo: memFree=676332/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.304179 s]
/proc/loadavg: 1.30 1.31 1.23 6/47 25838
/proc/meminfo: memFree=676332/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+0.704252 s]
/proc/loadavg: 1.30 1.31 1.23 6/47 25838
/proc/meminfo: memFree=676332/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5148

[startup+1.50451 s]
/proc/loadavg: 1.30 1.31 1.23 5/57 25859
/proc/meminfo: memFree=630064/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=877956 CPUtime=1.46
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 17195 0 1 0 141 5 0 0 25 0 10 0 876187590 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219489 13360 1732 10 0 216579 0
[pid=25850/tid=25851] ppid=25837 vsize=877956 CPUtime=0.55
/proc/25850/task/25851/stat : 25851 (java) R 25837 25836 2059 34821 2220 4202560 6676 0 1 0 53 2 0 0 25 0 10 0 876187590 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4095649632 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 17 0 10 0 876187592 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876187592 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876187592 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=877956 CPUtime=0.62
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8699 0 0 0 60 2 0 0 23 0 10 0 876187595 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=877956 CPUtime=0.28
/proc/25850/task/25857/stat : 25857 (java) R 25837 25836 2059 34821 2220 4202560 706 0 0 0 28 0 0 0 22 0 10 0 876187595 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4151656085 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=877956 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876187595 899026944 13360 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 883104

[startup+3.11542 s]
/proc/loadavg: 1.36 1.32 1.23 2/57 25859
/proc/meminfo: memFree=574024/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=877652 CPUtime=3.04
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 71248 0 1 0 282 22 0 0 25 0 10 0 876187590 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219413 65412 1733 10 0 216503 0
[pid=25850/tid=25851] ppid=25837 vsize=877652 CPUtime=1.52
/proc/25850/task/25851/stat : 25851 (java) R 25837 25836 2059 34821 2220 4202560 50251 0 1 0 134 18 0 0 25 0 10 0 876187590 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=877652 CPUtime=0.18
/proc/25850/task/25852/stat : 25852 (java) R 25837 25836 2059 34821 2220 4202560 8336 0 0 0 16 2 0 0 15 0 10 0 876187592 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4150138916 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=877652 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876187592 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=877652 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876187592 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=877652 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=877652 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 10 0 876187595 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=877652 CPUtime=0.65
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 2800 0 0 0 65 0 0 0 18 0 10 0 876187595 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=877652 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=877652 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) R 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876187595 898715648 65412 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 882800

[startup+6.30717 s]
/proc/loadavg: 1.36 1.32 1.23 3/57 25859
/proc/meminfo: memFree=294804/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=877296 CPUtime=6.1
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 98658 0 1 0 573 37 0 0 25 0 10 0 876187590 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219324 90174 1766 10 0 216414 0
[pid=25850/tid=25851] ppid=25837 vsize=877296 CPUtime=2.81
/proc/25850/task/25851/stat : 25851 (java) R 25837 25836 2059 34821 2220 4202560 50457 0 1 0 262 19 0 0 25 0 10 0 876187590 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4095311645 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=877296 CPUtime=0.73
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 32858 0 0 0 60 13 0 0 16 0 10 0 876187592 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=877296 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876187592 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=877296 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876187592 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=877296 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=877296 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 10 0 876187595 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=877296 CPUtime=1.86
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5479 0 0 0 184 2 0 0 15 0 10 0 876187595 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=877296 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876187595 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=877296 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 876187595 898351104 90174 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 882444

[startup+12.709 s]
/proc/loadavg: 1.30 1.31 1.23 2/58 25876
/proc/meminfo: memFree=294548/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=878592 CPUtime=12.49
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 98803 0 1 0 1212 37 0 0 25 0 11 0 876187590 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219648 90319 1793 10 0 216738 0
[pid=25850/tid=25851] ppid=25837 vsize=878592 CPUtime=7.85
/proc/25850/task/25851/stat : 25851 (java) R 25837 25836 2059 34821 2220 4202560 50474 0 1 0 766 19 0 0 25 0 11 0 876187590 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=878592 CPUtime=1.25
/proc/25850/task/25852/stat : 25852 (java) R 25837 25836 2059 34821 2220 4202560 32877 0 0 0 112 13 0 0 16 0 11 0 876187592 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4150151183 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=878592 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 11 0 876187595 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=878592 CPUtime=2.69
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5572 0 0 0 267 2 0 0 15 0 11 0 876187595 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) R 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876187595 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25876] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25876/stat : 25876 (java) S 25837 25836 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876188609 899678208 90319 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 883740

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

[startup+13.4128 s]
/proc/loadavg: 1.30 1.31 1.23 3/58 25876
/proc/meminfo: memFree=256232/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=878592 CPUtime=13.19
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 108374 0 1 0 1281 38 0 0 25 0 11 0 876187590 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219648 99890 1793 10 0 216738 0
[pid=25850/tid=25851] ppid=25837 vsize=878592 CPUtime=8.37
/proc/25850/task/25851/stat : 25851 (java) R 25837 25836 2059 34821 2220 4202560 50474 0 1 0 818 19 0 0 25 0 11 0 876187590 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=878592 CPUtime=1.36
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 42448 0 0 0 122 14 0 0 15 0 11 0 876187592 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=878592 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 11 0 876187595 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=878592 CPUtime=2.75
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5572 0 0 0 273 2 0 0 15 0 11 0 876187595 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876187595 899678208 99890 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 883740

[startup+14.205 s]
/proc/loadavg: 1.30 1.31 1.23 1/58 25882
/proc/meminfo: memFree=256108/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=878592 CPUtime=13.8
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 108381 0 1 0 1342 38 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219648 99897 1793 10 0 216738 0
[pid=25850/tid=25851] ppid=25837 vsize=878592 CPUtime=8.95
/proc/25850/task/25851/stat : 25851 (java) S 25837 25836 2059 34821 2220 4202560 50480 0 1 0 876 19 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=878592 CPUtime=1.36
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 42448 0 0 0 122 14 0 0 16 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=878592 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=878592 CPUtime=2.78
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5573 0 0 0 276 2 0 0 16 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25882] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25882/stat : 25882 (java) S 25837 25836 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876188989 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 883740

[startup+14.405 s]
/proc/loadavg: 1.30 1.31 1.23 1/58 25882
/proc/meminfo: memFree=256108/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=878592 CPUtime=13.8
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 108381 0 1 0 1342 38 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219648 99897 1793 10 0 216738 0
[pid=25850/tid=25851] ppid=25837 vsize=878592 CPUtime=8.95
/proc/25850/task/25851/stat : 25851 (java) S 25837 25836 2059 34821 2220 4202560 50480 0 1 0 876 19 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=878592 CPUtime=1.36
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 42448 0 0 0 122 14 0 0 16 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=878592 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=878592 CPUtime=2.78
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5573 0 0 0 276 2 0 0 16 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25882] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25882/stat : 25882 (java) S 25837 25836 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876188989 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 883740

[startup+14.505 s]
/proc/loadavg: 1.30 1.31 1.23 1/58 25882
/proc/meminfo: memFree=256108/1048576 swapFree=2078744/2097144
[pid=25836] ppid=25835 vsize=2572 CPUtime=0
/proc/25836/stat : 25836 (p2cudf-paranoid) S 25835 25836 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 876187586 2633728 272 1283457024 134512640 135304128 4291309216 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25836/statm: 643 272 233 194 0 29 0
[pid=25837] ppid=25836 vsize=2576 CPUtime=0.02
/proc/25837/stat : 25837 (p2cudf) S 25836 25836 2059 34821 2220 4202496 390 2995 0 1 0 0 1 1 25 0 1 0 876187586 2637824 282 1283457024 134512640 135304128 4292665344 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/25837/statm: 644 282 241 194 0 30 0
[pid=25850] ppid=25837 vsize=878592 CPUtime=13.8
/proc/25850/stat : 25850 (java) S 25837 25836 2059 34821 2220 4202496 108381 0 1 0 1342 38 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/25850/statm: 219648 99897 1793 10 0 216738 0
[pid=25850/tid=25851] ppid=25837 vsize=878592 CPUtime=8.95
/proc/25850/task/25851/stat : 25851 (java) S 25837 25836 2059 34821 2220 4202560 50480 0 1 0 876 19 0 0 25 0 11 0 876187590 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25852] ppid=25837 vsize=878592 CPUtime=1.36
/proc/25850/task/25852/stat : 25852 (java) S 25837 25836 2059 34821 2220 4202560 42448 0 0 0 122 14 0 0 16 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 0 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25853] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25853/stat : 25853 (java) S 25837 25836 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25854] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25854/stat : 25854 (java) S 25837 25836 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876187592 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25855] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25855/stat : 25855 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25856] ppid=25837 vsize=878592 CPUtime=0.68
/proc/25850/task/25856/stat : 25856 (java) S 25837 25836 2059 34821 2220 4202560 8752 0 0 0 66 2 0 0 19 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25857] ppid=25837 vsize=878592 CPUtime=2.78
/proc/25850/task/25857/stat : 25857 (java) S 25837 25836 2059 34821 2220 4202560 5573 0 0 0 276 2 0 0 16 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25858] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25858/stat : 25858 (java) S 25837 25836 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25859] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25859/stat : 25859 (java) S 25837 25836 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 876187595 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
[pid=25850/tid=25882] ppid=25837 vsize=878592 CPUtime=0
/proc/25850/task/25882/stat : 25882 (java) S 25837 25836 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876188989 899678208 99897 1283457024 134512640 134550932 4287879680 18446744073709551615 4294960130 0 4 0 16800975 18446612132549436544 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.82
Current children cumulated vsize (KiB) 883740

Child status: 0
Real time (s): 14.6138
CPU time (s): 13.9089
CPU user time (s): 13.4728
CPU system time (s): 0.436027
CPU usage (%): 95.1765
Max. virtual memory (cumulated for all children) (KiB): 886028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.4728
system time used= 0.436027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112169
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= 1576
involuntary context switches= 1605

runsolver used 0.024001 second user time and 0.004 second system time

The end