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/rand0695fb.cudf.impossible.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/2010/impossible//rand0695fb.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand0695fb.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.62 1.21 0.76 5/52 3267 /proc/meminfo: memFree=433756/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2576 CPUtime=0 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 356 0 0 0 0 0 0 0 25 0 1 0 874353006 2637824 275 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/3266/statm: 644 275 234 194 0 30 0 [pid=3267] ppid=3266 vsize=2576 CPUtime=0 /proc/3267/stat : 3267 (p2cudf) R 3266 3265 2059 34821 2220 4202560 91 0 0 0 0 0 0 0 25 0 1 0 874353006 2637824 117 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/3267/statm: 644 117 75 194 0 30 0 [pid=3268] ppid=3267 vsize=2576 CPUtime=0 /proc/3268/stat : 3268 (p2cudf) R 3267 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 874353006 2637824 42 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/3268/statm: 644 42 0 194 0 30 0 [startup+0.20371 s] /proc/loadavg: 1.62 1.21 0.76 5/52 3267 /proc/meminfo: memFree=433756/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5148 [startup+0.313725 s] /proc/loadavg: 1.62 1.21 0.76 5/52 3267 /proc/meminfo: memFree=433756/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5148 [startup+0.403968 s] /proc/loadavg: 1.62 1.21 0.76 5/52 3267 /proc/meminfo: memFree=433756/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5148 [startup+0.714013 s] /proc/loadavg: 1.62 1.21 0.76 5/52 3267 /proc/meminfo: memFree=433756/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5148 [startup+1.50422 s] /proc/loadavg: 1.62 1.21 0.76 4/62 3288 /proc/meminfo: memFree=390468/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=870304 CPUtime=1.43 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 18106 0 1 0 135 8 0 0 25 0 10 0 874353011 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 217576 16365 1741 10 0 214666 0 [pid=3279/tid=3280] ppid=3266 vsize=870304 CPUtime=0.69 /proc/3279/task/3280/stat : 3280 (java) R 3266 3265 2059 34821 2220 4202560 11402 0 1 0 64 5 0 0 25 0 10 0 874353012 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4095147200 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874353013 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874353014 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874353014 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874353016 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=870304 CPUtime=0.27 /proc/3279/task/3285/stat : 3285 (java) R 3266 3265 2059 34821 2220 4202560 2625 0 0 0 26 1 0 0 25 0 10 0 874353016 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=870304 CPUtime=0.44 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2966 0 0 0 43 1 0 0 21 0 10 0 874353016 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874353016 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874353016 891191296 16365 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 875452 [startup+3.11031 s] /proc/loadavg: 1.73 1.24 0.77 2/62 3288 /proc/meminfo: memFree=238612/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=870304 CPUtime=2.88 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 70800 0 1 0 265 23 0 0 25 0 10 0 874353011 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 217576 69059 1743 10 0 214666 0 [pid=3279/tid=3280] ppid=3266 vsize=870304 CPUtime=1.79 /proc/3279/task/3280/stat : 3280 (java) D 3266 3265 2059 34821 2220 4202560 50235 0 1 0 163 16 0 0 25 0 10 0 874353012 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446744071564252162 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=870304 CPUtime=0.29 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 13857 0 0 0 25 4 0 0 16 0 10 0 874353013 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 874353014 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874353014 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874353016 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=870304 CPUtime=0.32 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 2628 0 0 0 31 1 0 0 17 0 10 0 874353016 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=870304 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 10 0 874353016 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874353016 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=870304 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874353016 891191296 69059 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 875452 [startup+6.30964 s] /proc/loadavg: 1.73 1.24 0.77 2/62 3288 /proc/meminfo: memFree=58052/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=872140 CPUtime=6.04 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 92260 0 1 0 573 31 0 0 25 0 11 0 874353011 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 218035 88807 1773 10 0 215125 0 [pid=3279/tid=3280] ppid=3266 vsize=872140 CPUtime=2.92 /proc/3279/task/3280/stat : 3280 (java) R 3266 3265 2059 34821 2220 4202560 50440 0 1 0 274 18 0 0 25 0 11 0 874353012 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4096071672 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=872140 CPUtime=0.73 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 32858 0 0 0 64 9 0 0 16 0 11 0 874353013 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=872140 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 874353014 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=872140 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 874353014 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=872140 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874353016 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=872140 CPUtime=1.9 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 4881 0 0 0 188 2 0 0 15 0 11 0 874353016 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=872140 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 11 0 874353016 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=872140 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874353016 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=872140 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) R 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874353016 893071360 88807 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 877288 Solver just ended. Dumping a history of the last processes samples [startup+6.5097 s] /proc/loadavg: 1.73 1.24 0.77 2/62 3288 /proc/meminfo: memFree=58052/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=871112 CPUtime=6.24 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 92269 0 1 0 593 31 0 0 25 0 10 0 874353011 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 217778 88582 1774 10 0 214868 0 [pid=3279/tid=3280] ppid=3266 vsize=871112 CPUtime=3.08 /proc/3279/task/3280/stat : 3280 (java) R 3266 3265 2059 34821 2220 4202560 50441 0 1 0 290 18 0 0 25 0 10 0 874353012 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4096083578 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=871112 CPUtime=0.73 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 32858 0 0 0 64 9 0 0 16 0 10 0 874353013 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=871112 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 10 0 874353014 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=871112 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 10 0 874353014 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=871112 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874353016 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=871112 CPUtime=1.94 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 4886 0 0 0 192 2 0 0 15 0 10 0 874353016 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=871112 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 10 0 874353016 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=871112 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 10 0 874353016 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=871112 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874353016 892018688 88582 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 876260 [startup+8.11018 s] /proc/loadavg: 1.67 1.23 0.77 3/63 3295 /proc/meminfo: memFree=58292/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=871760 CPUtime=7.84 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 92325 0 1 0 753 31 0 0 25 0 11 0 874353011 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 217940 88638 1792 10 0 215030 0 [pid=3279/tid=3280] ppid=3266 vsize=871760 CPUtime=4.36 /proc/3279/task/3280/stat : 3280 (java) R 3266 3265 2059 34821 2220 4202560 50446 0 1 0 418 18 0 0 25 0 11 0 874353012 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4095965380 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=871760 CPUtime=0.73 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 32858 0 0 0 64 9 0 0 16 0 11 0 874353013 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 874353014 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 874353014 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874353016 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=871760 CPUtime=2.26 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 4929 0 0 0 224 2 0 0 15 0 11 0 874353016 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=871760 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 11 0 874353016 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874353016 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) R 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874353016 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3279/tid=3295] ppid=3266 vsize=871760 CPUtime=0 /proc/3279/task/3295/stat : 3295 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 24 0 11 0 874353749 892682240 88638 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.86 Current children cumulated vsize (KiB) 876908 [startup+8.90422 s] /proc/loadavg: 1.67 1.23 0.77 1/63 3301 /proc/meminfo: memFree=58292/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=872084 CPUtime=8.5 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 92339 0 1 0 819 31 0 0 25 0 11 0 874353011 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 218021 88652 1792 10 0 215111 0 [pid=3279/tid=3280] ppid=3266 vsize=872084 CPUtime=4.88 /proc/3279/task/3280/stat : 3280 (java) S 3266 3265 2059 34821 2220 4202560 50453 0 1 0 470 18 0 0 25 0 11 0 874353012 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=872084 CPUtime=0.73 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 32858 0 0 0 64 9 0 0 15 0 11 0 874353013 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 874353014 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 874353014 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=872084 CPUtime=2.4 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 4932 0 0 0 238 2 0 0 15 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=872084 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3301] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3301/stat : 3301 (java) S 3266 3265 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 874353884 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.52 Current children cumulated vsize (KiB) 877232 [startup+9.30426 s] /proc/loadavg: 1.67 1.23 0.77 1/63 3301 /proc/meminfo: memFree=58292/1048576 swapFree=2095580/2097144 [pid=3265] ppid=3264 vsize=2568 CPUtime=0 /proc/3265/stat : 3265 (p2cudf-paranoid) S 3264 3265 2059 34821 2220 4202496 377 0 0 0 0 0 0 0 22 0 1 0 874353006 2629632 273 1283457024 134512640 135304128 4294097232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3265/statm: 642 273 233 194 0 28 0 [pid=3266] ppid=3265 vsize=2580 CPUtime=0.02 /proc/3266/stat : 3266 (p2cudf) S 3265 3265 2059 34821 2220 4202496 393 2870 0 1 0 0 2 0 25 0 1 0 874353006 2641920 283 1283457024 134512640 135304128 4288922736 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3266/statm: 645 283 241 194 0 31 0 [pid=3279] ppid=3266 vsize=872084 CPUtime=8.52 /proc/3279/stat : 3279 (java) S 3266 3265 2059 34821 2220 4202496 92339 0 1 0 821 31 0 0 25 0 11 0 874353011 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3279/statm: 218021 88652 1792 10 0 215111 0 [pid=3279/tid=3280] ppid=3266 vsize=872084 CPUtime=4.88 /proc/3279/task/3280/stat : 3280 (java) S 3266 3265 2059 34821 2220 4202560 50453 0 1 0 470 18 0 0 25 0 11 0 874353012 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3281] ppid=3266 vsize=872084 CPUtime=0.73 /proc/3279/task/3281/stat : 3281 (java) S 3266 3265 2059 34821 2220 4202560 32858 0 0 0 64 9 0 0 15 0 11 0 874353013 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 0 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3282] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3282/stat : 3282 (java) S 3266 3265 2059 34821 2220 4202560 10 0 0 0 0 0 0 0 18 0 11 0 874353014 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3283] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3283/stat : 3283 (java) S 3266 3265 2059 34821 2220 4202560 6 0 0 0 0 0 0 0 18 0 11 0 874353014 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3284] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3284/stat : 3284 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3285] ppid=3266 vsize=872084 CPUtime=2.4 /proc/3279/task/3285/stat : 3285 (java) S 3266 3265 2059 34821 2220 4202560 4932 0 0 0 238 2 0 0 15 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3286] ppid=3266 vsize=872084 CPUtime=0.45 /proc/3279/task/3286/stat : 3286 (java) S 3266 3265 2059 34821 2220 4202560 2969 0 0 0 44 1 0 0 20 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3287] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3287/stat : 3287 (java) S 3266 3265 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3288] ppid=3266 vsize=872084 CPUtime=0 /proc/3279/task/3288/stat : 3288 (java) S 3266 3265 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 11 0 874353016 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4294960130 0 4 0 16800975 18446612133182645440 0 0 -1 0 0 0 0 [pid=3279/tid=3301] ppid=3266 vsize=872084 CPUtime=0.01 /proc/3279/task/3301/stat : 3301 (java) R 3266 3265 2059 34821 2220 4202560 4 0 0 0 1 0 0 0 20 0 11 0 874353884 893014016 88652 1283457024 134512640 134550932 4294232080 18446744073709551615 4094981345 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.54 Current children cumulated vsize (KiB) 877232 Child status: 0 Real time (s): 9.37865 CPU time (s): 8.61254 CPU user time (s): 8.26052 CPU system time (s): 0.352022 CPU usage (%): 91.8313 Max. virtual memory (cumulated for all children) (KiB): 879396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.26052 system time used= 0.352022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96006 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= 1116 involuntary context switches= 1136 runsolver used 0 second user time and 0.024001 second system time The end