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/randaafcce.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/randaafcce.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.49 1.34 1.23 5/47 30202 /proc/meminfo: memFree=745048/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2572 CPUtime=0 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 358 0 0 0 0 0 0 0 25 0 1 0 876527450 2633728 275 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/30201/statm: 643 275 234 194 0 29 0 [pid=30202] ppid=30201 vsize=2572 CPUtime=0 /proc/30202/stat : 30202 (p2cudf) R 30201 30200 2059 34821 2220 4202560 92 0 0 0 0 0 0 0 25 0 1 0 876527450 2633728 117 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30202/statm: 643 117 75 194 0 29 0 [pid=30203] ppid=30202 vsize=2572 CPUtime=0 /proc/30203/stat : 30203 (p2cudf) R 30202 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 876527450 2633728 42 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/30203/statm: 643 42 0 194 0 29 0 [startup+0.163911 s] /proc/loadavg: 1.49 1.34 1.23 5/47 30202 /proc/meminfo: memFree=745048/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.213951 s] /proc/loadavg: 1.49 1.34 1.23 5/47 30202 /proc/meminfo: memFree=745048/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.30395 s] /proc/loadavg: 1.49 1.34 1.23 5/47 30202 /proc/meminfo: memFree=745048/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+0.704031 s] /proc/loadavg: 1.49 1.34 1.23 5/47 30202 /proc/meminfo: memFree=745048/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5152 [startup+1.50423 s] /proc/loadavg: 1.49 1.34 1.23 5/57 30223 /proc/meminfo: memFree=698400/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=877956 CPUtime=1.46 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 17127 0 1 0 136 10 0 0 25 0 10 0 876527453 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219489 13293 1732 10 0 216579 0 [pid=30214/tid=30215] ppid=30201 vsize=877956 CPUtime=0.54 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4202560 6609 0 1 0 48 6 0 0 25 0 10 0 876527454 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 17 0 10 0 876527455 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876527456 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876527456 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876527458 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=877956 CPUtime=0.63 /proc/30214/task/30220/stat : 30220 (java) R 30201 30200 2059 34821 2220 4202560 8707 0 0 0 59 4 0 0 23 0 10 0 876527458 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4149656249 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=877956 CPUtime=0.28 /proc/30214/task/30221/stat : 30221 (java) R 30201 30200 2059 34821 2220 4202560 697 0 0 0 28 0 0 0 21 0 10 0 876527458 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4151740557 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876527458 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=877956 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876527458 899026944 13293 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 883108 [startup+3.10622 s] /proc/loadavg: 1.49 1.34 1.23 1/57 30223 /proc/meminfo: memFree=648792/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=877296 CPUtime=2.93 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 66927 0 1 0 255 38 0 0 25 0 10 0 876527453 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219324 60991 1733 10 0 216414 0 [pid=30214/tid=30215] ppid=30201 vsize=877296 CPUtime=1.5 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4202560 50250 0 1 0 120 30 0 0 25 0 10 0 876527454 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=877296 CPUtime=0.09 /proc/30214/task/30216/stat : 30216 (java) R 30201 30200 2059 34821 2220 4202560 4001 0 0 0 7 2 0 0 16 0 10 0 876527455 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4149397688 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 876527456 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 876527456 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=877296 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 10 0 876527458 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=877296 CPUtime=0.64 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 2841 0 0 0 62 2 0 0 17 0 10 0 876527458 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876527458 898351104 60991 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 882448 [startup+6.32035 s] /proc/loadavg: 1.53 1.35 1.23 5/57 30223 /proc/meminfo: memFree=361276/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=877296 CPUtime=6.03 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 98709 0 1 0 548 55 0 0 25 0 10 0 876527453 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219324 90125 1766 10 0 216414 0 [pid=30214/tid=30215] ppid=30201 vsize=877296 CPUtime=2.77 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4202560 50408 0 1 0 246 31 0 0 25 0 10 0 876527454 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=877296 CPUtime=0.75 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 32859 0 0 0 59 16 0 0 16 0 10 0 876527455 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876527456 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876527456 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=877296 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 10 0 876527458 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=877296 CPUtime=1.8 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 5604 0 0 0 177 3 0 0 15 0 10 0 876527458 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876527458 898351104 90125 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 882448 Solver just ended. Dumping a history of the last processes samples [startup+6.40606 s] /proc/loadavg: 1.53 1.35 1.23 5/57 30223 /proc/meminfo: memFree=361276/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=877296 CPUtime=6.12 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 98753 0 1 0 557 55 0 0 25 0 10 0 876527453 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219324 90169 1766 10 0 216414 0 [pid=30214/tid=30215] ppid=30201 vsize=877296 CPUtime=2.85 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4202560 50452 0 1 0 254 31 0 0 25 0 10 0 876527454 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4096135715 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=877296 CPUtime=0.75 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 32859 0 0 0 59 16 0 0 16 0 10 0 876527455 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 876527456 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 876527456 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=877296 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 10 0 876527458 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=877296 CPUtime=1.81 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 5604 0 0 0 178 3 0 0 15 0 10 0 876527458 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 876527458 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=877296 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) R 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 876527458 898351104 90169 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 882448 [startup+8.00641 s] /proc/loadavg: 1.53 1.35 1.23 3/62 30231 /proc/meminfo: memFree=363344/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=879240 CPUtime=7.72 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 98880 0 1 0 717 55 0 0 25 0 11 0 876527453 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219810 90296 1792 10 0 216900 0 [pid=30214/tid=30215] ppid=30201 vsize=879240 CPUtime=3.89 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4202560 50473 0 1 0 358 31 0 0 25 0 11 0 876527454 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4096404216 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=879240 CPUtime=0.75 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 32859 0 0 0 59 16 0 0 15 0 11 0 876527455 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=879240 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 11 0 876527458 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=879240 CPUtime=2.37 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 5686 0 0 0 234 3 0 0 15 0 11 0 876527458 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876527458 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30231] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30231/stat : 30231 (java) S 30201 30200 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 23 0 11 0 876528206 900341760 90296 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.74 Current children cumulated vsize (KiB) 884392 [startup+8.80445 s] /proc/loadavg: 1.57 1.36 1.24 1/58 30234 /proc/meminfo: memFree=363252/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=879240 CPUtime=8.2 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 98898 0 1 0 764 56 0 0 25 0 11 0 876527453 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219810 90314 1792 10 0 216900 0 [pid=30214/tid=30215] ppid=30201 vsize=879240 CPUtime=4.25 /proc/30214/task/30215/stat : 30215 (java) S 30201 30200 2059 34821 2220 4202560 50479 0 1 0 394 31 0 0 25 0 11 0 876527454 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=879240 CPUtime=0.76 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 32859 0 0 0 60 16 0 0 16 0 11 0 876527455 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=879240 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=879240 CPUtime=2.48 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 5698 0 0 0 244 4 0 0 15 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30234] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30234/stat : 30234 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876528299 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.22 Current children cumulated vsize (KiB) 884392 [startup+9.01215 s] /proc/loadavg: 1.57 1.36 1.24 1/58 30234 /proc/meminfo: memFree=363252/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=879240 CPUtime=8.21 /proc/30214/stat : 30214 (java) S 30201 30200 2059 34821 2220 4202496 98898 0 1 0 765 56 0 0 25 0 11 0 876527453 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 219810 90314 1792 10 0 216900 0 [pid=30214/tid=30215] ppid=30201 vsize=879240 CPUtime=4.25 /proc/30214/task/30215/stat : 30215 (java) S 30201 30200 2059 34821 2220 4202560 50479 0 1 0 394 31 0 0 25 0 11 0 876527454 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30216] ppid=30201 vsize=879240 CPUtime=0.76 /proc/30214/task/30216/stat : 30216 (java) S 30201 30200 2059 34821 2220 4202560 32859 0 0 0 60 16 0 0 16 0 11 0 876527455 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30217] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30217/stat : 30217 (java) S 30201 30200 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30218] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30218/stat : 30218 (java) S 30201 30200 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 876527456 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30219] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30219/stat : 30219 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30220] ppid=30201 vsize=879240 CPUtime=0.69 /proc/30214/task/30220/stat : 30220 (java) S 30201 30200 2059 34821 2220 4202560 8726 0 0 0 65 4 0 0 22 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30221] ppid=30201 vsize=879240 CPUtime=2.49 /proc/30214/task/30221/stat : 30221 (java) S 30201 30200 2059 34821 2220 4202560 5698 0 0 0 245 4 0 0 15 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30222] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30222/stat : 30222 (java) S 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30223] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30223/stat : 30223 (java) S 30201 30200 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 876527458 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0 [pid=30214/tid=30234] ppid=30201 vsize=879240 CPUtime=0 /proc/30214/task/30234/stat : 30234 (java) R 30201 30200 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 20 0 11 0 876528299 900341760 90314 1283457024 134512640 134550932 4294520928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.23 Current children cumulated vsize (KiB) 884392 [startup+9.10453 s] /proc/loadavg: 1.57 1.36 1.24 1/58 30234 /proc/meminfo: memFree=363252/1048576 swapFree=2078744/2097144 [pid=30200] ppid=30199 vsize=2576 CPUtime=0 /proc/30200/stat : 30200 (p2cudf-paranoid) S 30199 30200 2059 34821 2220 4202496 378 0 0 0 0 0 0 0 22 0 1 0 876527449 2637824 274 1283457024 134512640 135304128 4290127232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30200/statm: 644 274 233 194 0 30 0 [pid=30201] ppid=30200 vsize=2576 CPUtime=0.02 /proc/30201/stat : 30201 (p2cudf) S 30200 30200 2059 34821 2220 4202496 393 2997 0 1 0 0 0 2 25 0 1 0 876527450 2637824 283 1283457024 134512640 135304128 4292700160 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30201/statm: 644 283 241 194 0 30 0 [pid=30214] ppid=30201 vsize=0 CPUtime=8.27 /proc/30214/stat : 30214 (java) Z 30201 30200 2059 34821 2220 4203532 98903 0 1 0 767 60 0 0 18 0 2 0 876527453 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/30214/statm: 0 0 0 0 0 0 0 [pid=30214/tid=30215] ppid=30201 vsize=0 CPUtime=4.27 /proc/30214/task/30215/stat : 30215 (java) R 30201 30200 2059 34821 2220 4203588 50480 0 1 0 394 33 0 0 20 0 2 0 876527454 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.29 Current children cumulated vsize (KiB) 5152 Child status: 0 Real time (s): 9.11217 CPU time (s): 8.30452 CPU user time (s): 7.67648 CPU system time (s): 0.628039 CPU usage (%): 91.1365 Max. virtual memory (cumulated for all children) (KiB): 886032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.67648 system time used= 0.628039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102693 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= 1038 involuntary context switches= 1062 runsolver used 0 second user time and 0.012 second system time The end