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/rand108.sarge.cudf.sarge.log.runsolver ./p2cudf-paranoid-1.9 /home/misc2010/data/icse/sarge/rand108.sarge.cudf /home/misc2010/tmp/201012061533/p2cudf-paranoid-1.9/rand108.sarge.cudf.sarge.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.23 1.19 1.04 6/53 4549 /proc/meminfo: memFree=809188/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2572 CPUtime=0 /proc/4548/stat : 4548 (p2cudf) R 4547 4547 2059 34821 2220 4202496 349 0 0 0 0 0 0 0 25 0 1 0 874449985 2633728 275 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4548/statm: 643 275 234 194 0 29 0 [pid=4549] ppid=4548 vsize=2572 CPUtime=0 /proc/4549/stat : 4549 (p2cudf) R 4548 4547 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 874449985 2633728 41 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/4549/statm: 643 41 0 194 0 29 0 [startup+0.198145 s] /proc/loadavg: 1.23 1.19 1.04 6/53 4549 /proc/meminfo: memFree=809188/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.208143 s] /proc/loadavg: 1.23 1.19 1.04 6/53 4549 /proc/meminfo: memFree=809188/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.308184 s] /proc/loadavg: 1.23 1.19 1.04 6/53 4549 /proc/meminfo: memFree=809188/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+0.708281 s] /proc/loadavg: 1.23 1.19 1.04 6/53 4549 /proc/meminfo: memFree=809188/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5144 [startup+1.50848 s] /proc/loadavg: 1.23 1.19 1.04 4/63 4570 /proc/meminfo: memFree=762548/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=883264 CPUtime=1.44 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 18893 0 1 0 134 10 0 0 25 0 10 0 874449989 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 220816 15810 1732 10 0 217906 0 [pid=4561/tid=4562] ppid=4548 vsize=883264 CPUtime=0.62 /proc/4561/task/4562/stat : 4562 (java) R 4548 4547 2059 34821 2220 4202560 8117 0 1 0 59 3 0 0 25 0 10 0 874449990 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4095847964 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 874449992 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874449992 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874449992 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874449995 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=883264 CPUtime=0.55 /proc/4561/task/4567/stat : 4567 (java) R 4548 4547 2059 34821 2220 4202560 8549 0 0 0 48 7 0 0 24 0 10 0 874449995 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4150320234 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=883264 CPUtime=0.27 /proc/4561/task/4568/stat : 4568 (java) R 4548 4547 2059 34821 2220 4202560 1112 0 0 0 27 0 0 0 22 0 10 0 874449995 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4159301287 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 10 0 874449995 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=883264 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 874449995 904462336 15810 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 888408 [startup+3.10882 s] /proc/loadavg: 1.45 1.23 1.06 3/63 4570 /proc/meminfo: memFree=711784/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=889756 CPUtime=3.05 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 37603 0 1 0 286 19 0 0 25 0 10 0 874449989 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 222439 30247 1762 10 0 219529 0 [pid=4561/tid=4562] ppid=4548 vsize=889756 CPUtime=1.22 /proc/4561/task/4562/stat : 4562 (java) R 4548 4547 2059 34821 2220 4202560 20422 0 1 0 116 6 0 0 25 0 10 0 874449990 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4152343502 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 874449992 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874449992 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874449992 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874449995 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=889756 CPUtime=1.05 /proc/4561/task/4567/stat : 4567 (java) R 4548 4547 2059 34821 2220 4202560 11567 0 0 0 94 11 0 0 24 0 10 0 874449995 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4149069428 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=889756 CPUtime=0.78 /proc/4561/task/4568/stat : 4568 (java) R 4548 4547 2059 34821 2220 4202560 4499 0 0 0 76 2 0 0 23 0 10 0 874449995 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4150298364 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 10 0 874449995 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 874449995 911110144 30247 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 894900 Solver just ended. Dumping a history of the last processes samples [startup+3.20885 s] /proc/loadavg: 1.45 1.23 1.06 3/63 4570 /proc/meminfo: memFree=711784/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=889756 CPUtime=3.15 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 38586 0 1 0 296 19 0 0 25 0 10 0 874449989 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 222439 31230 1762 10 0 219529 0 [pid=4561/tid=4562] ppid=4548 vsize=889756 CPUtime=1.3 /proc/4561/task/4562/stat : 4562 (java) R 4548 4547 2059 34821 2220 4202560 21405 0 1 0 124 6 0 0 25 0 10 0 874449990 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4152786832 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 15 0 10 0 874449992 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 10 0 874449992 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 10 0 874449992 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874449995 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=889756 CPUtime=1.05 /proc/4561/task/4567/stat : 4567 (java) R 4548 4547 2059 34821 2220 4202560 11567 0 0 0 94 11 0 0 24 0 10 0 874449995 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4149069428 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=889756 CPUtime=0.8 /proc/4561/task/4568/stat : 4568 (java) R 4548 4547 2059 34821 2220 4202560 4499 0 0 0 78 2 0 0 23 0 10 0 874449995 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4153478065 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 10 0 874449995 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=889756 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) R 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 10 0 874449995 911110144 31230 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.17 Current children cumulated vsize (KiB) 894900 [startup+4.00912 s] /proc/loadavg: 1.45 1.23 1.06 4/63 4570 /proc/meminfo: memFree=685752/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=890580 CPUtime=3.95 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 44206 0 1 0 374 21 0 0 25 0 11 0 874449989 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 222645 35674 1770 10 0 219735 0 [pid=4561/tid=4562] ppid=4548 vsize=890580 CPUtime=1.6 /proc/4561/task/4562/stat : 4562 (java) R 4548 4547 2059 34821 2220 4202560 25680 0 1 0 152 8 0 0 25 0 11 0 874449990 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4149349973 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 16 0 11 0 874449992 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 874449992 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 874449992 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874449995 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=890580 CPUtime=1.3 /proc/4561/task/4567/stat : 4567 (java) R 4548 4547 2059 34821 2220 4202560 11600 0 0 0 119 11 0 0 25 0 11 0 874449995 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=890580 CPUtime=1.04 /proc/4561/task/4568/stat : 4568 (java) S 4548 4547 2059 34821 2220 4202560 5807 0 0 0 102 2 0 0 24 0 11 0 874449995 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 874449995 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=890580 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 874449995 911953920 35674 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.97 Current children cumulated vsize (KiB) 895724 [startup+4.80433 s] /proc/loadavg: 1.45 1.23 1.06 5/64 4572 /proc/meminfo: memFree=667144/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=890904 CPUtime=4.58 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 44627 0 1 0 437 21 0 0 25 0 11 0 874449989 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 222726 36095 1791 10 0 219816 0 [pid=4561/tid=4562] ppid=4548 vsize=890904 CPUtime=1.76 /proc/4561/task/4562/stat : 4562 (java) S 4548 4547 2059 34821 2220 4202560 26008 0 1 0 168 8 0 0 25 0 11 0 874449990 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=890904 CPUtime=0.02 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 2 0 0 0 15 0 11 0 874449992 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 874449992 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 874449992 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874449995 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=890904 CPUtime=1.51 /proc/4561/task/4567/stat : 4567 (java) S 4548 4547 2059 34821 2220 4202560 11637 0 0 0 140 11 0 0 25 0 11 0 874449995 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=890904 CPUtime=1.28 /proc/4561/task/4568/stat : 4568 (java) S 4548 4547 2059 34821 2220 4202560 5859 0 0 0 126 2 0 0 23 0 11 0 874449995 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 874449995 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 874449995 912285696 36095 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.6 Current children cumulated vsize (KiB) 896048 [startup+5.21044 s] /proc/loadavg: 1.45 1.23 1.06 5/64 4572 /proc/meminfo: memFree=667144/1048576 swapFree=2073612/2097144 [pid=4547] ppid=4546 vsize=2568 CPUtime=0 /proc/4547/stat : 4547 (p2cudf-paranoid) S 4546 4547 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 23 0 1 0 874449984 2629632 272 1283457024 134512640 135304128 4294341008 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4547/statm: 642 272 233 194 0 28 0 [pid=4548] ppid=4547 vsize=2576 CPUtime=0.02 /proc/4548/stat : 4548 (p2cudf) S 4547 4547 2059 34821 2220 4202496 393 2990 0 1 0 0 0 2 25 0 1 0 874449985 2637824 283 1283457024 134512640 135304128 4292691968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4548/statm: 644 283 241 194 0 30 0 [pid=4561] ppid=4548 vsize=890904 CPUtime=4.64 /proc/4561/stat : 4561 (java) S 4548 4547 2059 34821 2220 4202496 44712 0 1 0 443 21 0 0 25 0 11 0 874449989 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4561/statm: 222726 36180 1791 10 0 219816 0 [pid=4561/tid=4562] ppid=4548 vsize=890904 CPUtime=1.76 /proc/4561/task/4562/stat : 4562 (java) S 4548 4547 2059 34821 2220 4202560 26008 0 1 0 168 8 0 0 25 0 11 0 874449990 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4563] ppid=4548 vsize=890904 CPUtime=0.02 /proc/4561/task/4563/stat : 4563 (java) S 4548 4547 2059 34821 2220 4202560 5 0 0 0 2 0 0 0 15 0 11 0 874449992 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 0 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4564] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4564/stat : 4564 (java) S 4548 4547 2059 34821 2220 4202560 9 0 0 0 0 0 0 0 25 0 11 0 874449992 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4565] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4565/stat : 4565 (java) S 4548 4547 2059 34821 2220 4202560 4 0 0 0 0 0 0 0 25 0 11 0 874449992 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4566] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4566/stat : 4566 (java) S 4548 4547 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 11 0 874449995 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4567] ppid=4548 vsize=890904 CPUtime=1.51 /proc/4561/task/4567/stat : 4567 (java) S 4548 4547 2059 34821 2220 4202560 11637 0 0 0 140 11 0 0 25 0 11 0 874449995 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4568] ppid=4548 vsize=890904 CPUtime=1.3 /proc/4561/task/4568/stat : 4568 (java) S 4548 4547 2059 34821 2220 4202560 5860 0 0 0 128 2 0 0 18 0 11 0 874449995 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4569] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4569/stat : 4569 (java) S 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 25 0 11 0 874449995 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 18446612133359097920 0 0 -1 0 0 0 0 [pid=4561/tid=4570] ppid=4548 vsize=890904 CPUtime=0 /proc/4561/task/4570/stat : 4570 (java) R 4548 4547 2059 34821 2220 4202560 2 0 0 0 0 0 0 0 15 0 11 0 874449995 912285696 36180 1283457024 134512640 134550932 4293375824 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.66 Current children cumulated vsize (KiB) 896048 Child status: 0 Real time (s): 5.27738 CPU time (s): 4.72029 CPU user time (s): 4.47228 CPU system time (s): 0.248015 CPU usage (%): 89.444 Max. virtual memory (cumulated for all children) (KiB): 897924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.47228 system time used= 0.248015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48561 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= 332 involuntary context switches= 345 runsolver used 0 second user time and 0.008 second system time The end