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/201103031013/p2cudf-paranoid-1.12/991.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//991.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/991.cudf.caixa.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.66 1.69 5/35 8085 /proc/meminfo: memFree=274548/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2564 CPUtime=0 /proc/8084/stat : 8084 (p2cudf) R 8083 8083 29493 34817 29493 4202496 346 0 0 0 0 0 0 0 25 0 1 0 76425420 2625536 271 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/8084/statm: 641 271 231 194 0 28 0 [pid=8085] ppid=8084 vsize=2564 CPUtime=0 /proc/8085/stat : 8085 (p2cudf) R 8084 8083 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 76425420 2625536 40 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/8085/statm: 641 40 0 194 0 28 0 [startup+0.115815 s] /proc/loadavg: 1.49 1.66 1.69 5/35 8085 /proc/meminfo: memFree=274548/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.205822 s] /proc/loadavg: 1.49 1.66 1.69 5/35 8085 /proc/meminfo: memFree=274548/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.305833 s] /proc/loadavg: 1.49 1.66 1.69 5/35 8085 /proc/meminfo: memFree=274548/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+0.705945 s] /proc/loadavg: 1.49 1.66 1.69 5/35 8085 /proc/meminfo: memFree=274548/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5140 [startup+1.50612 s] /proc/loadavg: 1.49 1.66 1.69 4/45 8106 /proc/meminfo: memFree=218908/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 [pid=8097] ppid=8084 vsize=887668 CPUtime=1.46 /proc/8097/stat : 8097 (java) S 8084 8083 29493 34817 29493 4202496 25520 0 1 0 135 11 0 0 25 0 10 0 76425424 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8097/statm: 221917 21596 1725 10 0 219008 0 [pid=8097/tid=8098] ppid=8084 vsize=887668 CPUtime=0.78 /proc/8097/task/8098/stat : 8098 (java) R 8084 8083 29493 34817 29493 4202560 12873 0 1 0 72 6 0 0 25 0 10 0 76425424 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4094997737 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8097/tid=8099] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8099/stat : 8099 (java) S 8084 8083 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 76425426 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8100] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8100/stat : 8100 (java) S 8084 8083 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76425426 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8101] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8101/stat : 8101 (java) S 8084 8083 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76425426 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8102] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8102/stat : 8102 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76425429 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8103] ppid=8084 vsize=887668 CPUtime=0.5 /proc/8097/task/8103/stat : 8103 (java) R 8084 8083 29493 34817 29493 4202560 9498 0 0 0 49 1 0 0 25 0 10 0 76425429 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8097/tid=8104] ppid=8084 vsize=887668 CPUtime=0.16 /proc/8097/task/8104/stat : 8104 (java) R 8084 8083 29493 34817 29493 4202560 2070 0 0 0 13 3 0 0 17 0 10 0 76425429 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4152062607 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8097/tid=8105] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8105/stat : 8105 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76425429 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8106] ppid=8084 vsize=887668 CPUtime=0 /proc/8097/task/8106/stat : 8106 (java) S 8084 8083 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76425429 908972032 21596 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 892808 [startup+3.10596 s] /proc/loadavg: 1.49 1.66 1.69 4/45 8106 /proc/meminfo: memFree=186420/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 [pid=8097] ppid=8084 vsize=894172 CPUtime=3.01 /proc/8097/stat : 8097 (java) S 8084 8083 29493 34817 29493 4202496 60837 0 1 0 275 26 0 0 25 0 11 0 76425424 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8097/statm: 223543 53612 1742 10 0 220634 0 [pid=8097/tid=8098] ppid=8084 vsize=894172 CPUtime=1.43 /proc/8097/task/8098/stat : 8098 (java) S 8084 8083 29493 34817 29493 4202560 42890 0 1 0 129 14 0 0 25 0 11 0 76425424 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8099] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8099/stat : 8099 (java) S 8084 8083 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8100] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8100/stat : 8100 (java) S 8084 8083 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8101] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8101/stat : 8101 (java) S 8084 8083 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8102] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8102/stat : 8102 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8103] ppid=8084 vsize=894172 CPUtime=0.56 /proc/8097/task/8103/stat : 8103 (java) S 8084 8083 29493 34817 29493 4202560 9539 0 0 0 55 1 0 0 22 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8104] ppid=8084 vsize=894172 CPUtime=1 /proc/8097/task/8104/stat : 8104 (java) S 8084 8083 29493 34817 29493 4202560 7325 0 0 0 91 9 0 0 15 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8105] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8105/stat : 8105 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8106] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8106/stat : 8106 (java) S 8084 8083 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 899312 Solver just ended. Dumping a history of the last processes samples [startup+3.20603 s] /proc/loadavg: 1.49 1.66 1.69 4/45 8106 /proc/meminfo: memFree=186420/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 [pid=8097] ppid=8084 vsize=894172 CPUtime=3.01 /proc/8097/stat : 8097 (java) S 8084 8083 29493 34817 29493 4202496 60837 0 1 0 275 26 0 0 25 0 11 0 76425424 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8097/statm: 223543 53612 1742 10 0 220634 0 [pid=8097/tid=8098] ppid=8084 vsize=894172 CPUtime=1.43 /proc/8097/task/8098/stat : 8098 (java) S 8084 8083 29493 34817 29493 4202560 42890 0 1 0 129 14 0 0 25 0 11 0 76425424 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8099] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8099/stat : 8099 (java) S 8084 8083 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8100] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8100/stat : 8100 (java) S 8084 8083 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8101] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8101/stat : 8101 (java) S 8084 8083 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 76425426 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8102] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8102/stat : 8102 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8103] ppid=8084 vsize=894172 CPUtime=0.56 /proc/8097/task/8103/stat : 8103 (java) S 8084 8083 29493 34817 29493 4202560 9539 0 0 0 55 1 0 0 22 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8104] ppid=8084 vsize=894172 CPUtime=1 /proc/8097/task/8104/stat : 8104 (java) S 8084 8083 29493 34817 29493 4202560 7325 0 0 0 91 9 0 0 15 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8105] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8105/stat : 8105 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8106] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8106/stat : 8106 (java) S 8084 8083 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 76425429 915632128 53612 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 899312 [startup+3.60599 s] /proc/loadavg: 1.49 1.66 1.69 1/46 8107 /proc/meminfo: memFree=66256/1048576 swapFree=0/0 [pid=8083] ppid=8082 vsize=2568 CPUtime=0 /proc/8083/stat : 8083 (p2cudf-paranoid) S 8082 8083 29493 34817 29493 4202496 375 0 0 0 0 0 0 0 18 0 1 0 76425420 2629632 271 1283457024 134512640 135304128 4288521232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8083/statm: 642 271 230 194 0 29 0 [pid=8084] ppid=8083 vsize=2572 CPUtime=0.03 /proc/8084/stat : 8084 (p2cudf) S 8083 8083 29493 34817 29493 4202496 394 3017 0 1 0 0 0 3 25 0 1 0 76425420 2633728 281 1283457024 134512640 135304128 4288769104 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/8084/statm: 643 281 239 194 0 30 0 [pid=8097] ppid=8084 vsize=894172 CPUtime=3.01 /proc/8097/stat : 8097 (java) S 8084 8083 29493 34817 29493 4202496 60840 0 1 0 275 26 0 0 25 0 10 0 76425424 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8097/statm: 223543 53615 1744 10 0 220634 0 [pid=8097/tid=8098] ppid=8084 vsize=894172 CPUtime=1.43 /proc/8097/task/8098/stat : 8098 (java) S 8084 8083 29493 34817 29493 4202560 42890 0 1 0 129 14 0 0 20 0 10 0 76425424 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8099] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8099/stat : 8099 (java) S 8084 8083 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 16 0 10 0 76425426 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 0 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8100] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8100/stat : 8100 (java) S 8084 8083 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 76425426 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8101] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8101/stat : 8101 (java) S 8084 8083 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 76425426 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8102] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8102/stat : 8102 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76425429 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8103] ppid=8084 vsize=894172 CPUtime=0.56 /proc/8097/task/8103/stat : 8103 (java) S 8084 8083 29493 34817 29493 4202560 9539 0 0 0 55 1 0 0 22 0 10 0 76425429 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8104] ppid=8084 vsize=894172 CPUtime=1 /proc/8097/task/8104/stat : 8104 (java) S 8084 8083 29493 34817 29493 4202560 7325 0 0 0 91 9 0 0 15 0 10 0 76425429 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8105] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8105/stat : 8105 (java) S 8084 8083 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 76425429 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 [pid=8097/tid=8106] ppid=8084 vsize=894172 CPUtime=0 /proc/8097/task/8106/stat : 8106 (java) S 8084 8083 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 76425429 915632128 53615 1283457024 134512640 134550932 4292511360 18446744073709551615 4294960130 0 4 0 16800975 18446612132758717760 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 899312 Child status: 0 Real time (s): 3.63794 CPU time (s): 3.07619 CPU user time (s): 2.76417 CPU system time (s): 0.312019 CPU usage (%): 84.5587 Max. virtual memory (cumulated for all children) (KiB): 901024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.76417 system time used= 0.312019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 64651 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= 219 involuntary context switches= 192 runsolver used 0 second user time and 0 second system time The end