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-trendy-1.12/1084.cudf.caixa.log.runsolver ./p2cudf-trendy-1.12 /home/misc2010/data/misc4/caixa//1084.cudf /home/misc2010/tmp/201103031013/p2cudf-trendy-1.12/1084.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.10 1.08 1.06 5/36 9643 /proc/meminfo: memFree=553844/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2568 CPUtime=0 /proc/9643/stat : 9643 (p2cudf) R 9642 9642 29493 34817 29493 4202496 345 0 0 0 0 0 0 0 25 0 1 0 75289320 2629632 271 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9643/statm: 642 271 231 194 0 29 0 [pid=9644] ppid=9643 vsize=2568 CPUtime=0 /proc/9644/stat : 9644 (p2cudf) R 9643 9642 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75289320 2629632 40 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/9644/statm: 642 40 0 194 0 29 0 [startup+0.121846 s] /proc/loadavg: 1.10 1.08 1.06 5/36 9643 /proc/meminfo: memFree=553844/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.211858 s] /proc/loadavg: 1.10 1.08 1.06 5/36 9643 /proc/meminfo: memFree=553844/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.311882 s] /proc/loadavg: 1.10 1.08 1.06 5/36 9643 /proc/meminfo: memFree=553844/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+0.711993 s] /proc/loadavg: 1.10 1.08 1.06 5/36 9643 /proc/meminfo: memFree=553844/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5136 [startup+1.50226 s] /proc/loadavg: 1.10 1.08 1.06 5/47 9665 /proc/meminfo: memFree=512632/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 [pid=9656] ppid=9643 vsize=881900 CPUtime=1.46 /proc/9656/stat : 9656 (java) S 9643 9642 29493 34817 29493 4202496 18099 0 1 0 139 7 0 0 25 0 10 0 75289323 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9656/statm: 220475 13550 1727 10 0 217566 0 [pid=9656/tid=9657] ppid=9643 vsize=881900 CPUtime=0.61 /proc/9656/task/9657/stat : 9657 (java) R 9643 9642 29493 34817 29493 4202560 5884 0 1 0 59 2 0 0 25 0 10 0 75289324 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9656/tid=9658] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9658/stat : 9658 (java) S 9643 9642 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 15 0 10 0 75289325 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9659] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9659/stat : 9659 (java) S 9643 9642 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 25 0 10 0 75289326 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9660] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9660/stat : 9660 (java) S 9643 9642 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75289326 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9661] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9661/stat : 9661 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75289328 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9662] ppid=9643 vsize=881900 CPUtime=0.55 /proc/9656/task/9662/stat : 9662 (java) R 9643 9642 29493 34817 29493 4202560 8873 0 0 0 52 3 0 0 22 0 10 0 75289328 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4149451225 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9656/tid=9663] ppid=9643 vsize=881900 CPUtime=0.26 /proc/9656/task/9663/stat : 9663 (java) R 9643 9642 29493 34817 29493 4202560 2263 0 0 0 26 0 0 0 24 0 10 0 75289328 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4151299508 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9656/tid=9664] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9664/stat : 9664 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75289328 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9665] ppid=9643 vsize=881900 CPUtime=0 /proc/9656/task/9665/stat : 9665 (java) S 9643 9642 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75289328 903065600 13550 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 887036 [startup+3.10596 s] /proc/loadavg: 1.10 1.08 1.06 4/47 9665 /proc/meminfo: memFree=435752/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 [pid=9656] ppid=9643 vsize=882532 CPUtime=2.86 /proc/9656/stat : 9656 (java) S 9643 9642 29493 34817 29493 4202496 56616 0 1 0 264 22 0 0 25 0 11 0 75289323 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9656/statm: 220633 51844 1744 10 0 217724 0 [pid=9656/tid=9657] ppid=9643 vsize=882532 CPUtime=1.49 /proc/9656/task/9657/stat : 9657 (java) S 9643 9642 29493 34817 29493 4202560 43865 0 1 0 133 16 0 0 25 0 11 0 75289324 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9658] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9658/stat : 9658 (java) S 9643 9642 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 15 0 11 0 75289325 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9659] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9659/stat : 9659 (java) S 9643 9642 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9660] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9660/stat : 9660 (java) S 9643 9642 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9661] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9661/stat : 9661 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9662] ppid=9643 vsize=882532 CPUtime=0.98 /proc/9656/task/9662/stat : 9662 (java) S 9643 9642 29493 34817 29493 4202560 9248 0 0 0 94 4 0 0 19 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9663] ppid=9643 vsize=882532 CPUtime=0.36 /proc/9656/task/9663/stat : 9663 (java) S 9643 9642 29493 34817 29493 4202560 2420 0 0 0 36 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9664] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9664/stat : 9664 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9665] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9665/stat : 9665 (java) S 9643 9642 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 887668 Solver just ended. Dumping a history of the last processes samples [startup+3.20596 s] /proc/loadavg: 1.10 1.08 1.06 4/47 9665 /proc/meminfo: memFree=435752/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 [pid=9656] ppid=9643 vsize=882532 CPUtime=2.86 /proc/9656/stat : 9656 (java) S 9643 9642 29493 34817 29493 4202496 56616 0 1 0 264 22 0 0 25 0 11 0 75289323 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9656/statm: 220633 51844 1744 10 0 217724 0 [pid=9656/tid=9657] ppid=9643 vsize=882532 CPUtime=1.49 /proc/9656/task/9657/stat : 9657 (java) S 9643 9642 29493 34817 29493 4202560 43865 0 1 0 133 16 0 0 25 0 11 0 75289324 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9658] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9658/stat : 9658 (java) S 9643 9642 29493 34817 29493 4202560 5 0 0 0 0 0 0 0 15 0 11 0 75289325 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9659] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9659/stat : 9659 (java) S 9643 9642 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9660] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9660/stat : 9660 (java) S 9643 9642 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9661] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9661/stat : 9661 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9662] ppid=9643 vsize=882532 CPUtime=0.98 /proc/9656/task/9662/stat : 9662 (java) S 9643 9642 29493 34817 29493 4202560 9248 0 0 0 94 4 0 0 19 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9663] ppid=9643 vsize=882532 CPUtime=0.36 /proc/9656/task/9663/stat : 9663 (java) S 9643 9642 29493 34817 29493 4202560 2420 0 0 0 36 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9664] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9664/stat : 9664 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9665] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9665/stat : 9665 (java) S 9643 9642 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75289328 903712768 51844 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 887668 [startup+3.40598 s] /proc/loadavg: 1.10 1.08 1.06 1/48 9667 /proc/meminfo: memFree=352664/1048576 swapFree=0/0 [pid=9642] ppid=9641 vsize=2564 CPUtime=0 /proc/9642/stat : 9642 (p2cudf-trendy-1) S 9641 9642 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 25 0 1 0 75289319 2625536 270 1283457024 134512640 135304128 4288793680 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9642/statm: 641 270 230 194 0 28 0 [pid=9643] ppid=9642 vsize=2572 CPUtime=0.03 /proc/9643/stat : 9643 (p2cudf) S 9642 9642 29493 34817 29493 4202496 391 3015 0 1 0 0 2 1 25 0 1 0 75289320 2633728 280 1283457024 134512640 135304128 4288289744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/9643/statm: 643 280 239 194 0 30 0 [pid=9656] ppid=9643 vsize=882532 CPUtime=2.86 /proc/9656/stat : 9656 (java) S 9643 9642 29493 34817 29493 4202496 56617 0 1 0 264 22 0 0 25 0 11 0 75289323 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/9656/statm: 220633 51845 1744 10 0 217724 0 [pid=9656/tid=9657] ppid=9643 vsize=882532 CPUtime=1.49 /proc/9656/task/9657/stat : 9657 (java) S 9643 9642 29493 34817 29493 4202560 43865 0 1 0 133 16 0 0 25 0 11 0 75289324 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9658] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9658/stat : 9658 (java) S 9643 9642 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 15 0 11 0 75289325 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 0 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9659] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9659/stat : 9659 (java) S 9643 9642 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9660] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9660/stat : 9660 (java) S 9643 9642 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75289326 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9661] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9661/stat : 9661 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9662] ppid=9643 vsize=882532 CPUtime=0.98 /proc/9656/task/9662/stat : 9662 (java) S 9643 9642 29493 34817 29493 4202560 9248 0 0 0 94 4 0 0 19 0 11 0 75289328 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9663] ppid=9643 vsize=882532 CPUtime=0.36 /proc/9656/task/9663/stat : 9663 (java) S 9643 9642 29493 34817 29493 4202560 2420 0 0 0 36 0 0 0 25 0 11 0 75289328 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9664] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9664/stat : 9664 (java) S 9643 9642 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75289328 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 18446612132910123712 0 0 -1 0 0 0 0 [pid=9656/tid=9665] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9665/stat : 9665 (java) R 9643 9642 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75289328 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=9656/tid=9667] ppid=9643 vsize=882532 CPUtime=0 /proc/9656/task/9667/stat : 9667 (java) R 9643 9642 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 21 0 11 0 75289611 903712768 51845 1283457024 134512640 134550932 4292902608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.89 Current children cumulated vsize (KiB) 887668 Child status: 0 Real time (s): 3.4868 CPU time (s): 2.92018 CPU user time (s): 2.66817 CPU system time (s): 0.252015 CPU usage (%): 83.7497 Max. virtual memory (cumulated for all children) (KiB): 889028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.66817 system time used= 0.252015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60425 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= 211 involuntary context switches= 184 runsolver used 0 second user time and 0.008 second system time The end